Skip to main content

Explore the foundations and current research.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Historical attempts

Original experiment and contract metadata. A reported PASS is a historical verdict, not an independently reviewed result. Only explicit Atlas links are used when filtering by research area.

564 matching attempt records

coupled source domain round19PASS

coupled-source-domain-round19

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–287

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/coupled-source-domain-round19/validation.json

    72534f4b81a0e20fc9bf7bd675c1f8868f8060d33d6dd483441d2e30e2c04707

  • PROOF.md lines 1–331

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/coupled-source-domain-round19/PROOF.md

    14fd936de089da50436f342860ae6586fc90108c6bf08c79f991da4123331caf

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:coupled-source-domain-round19

coupled trace round29NONZERO_U_PARTITION_ENCLOSED_AND_GEOMETRIC_SELECTION_BOUNDARY

Round29: genuine scalar-charge coupling through a positive trace

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–196

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/coupled-trace-round29/validation.json

    cb1f7967e1f2ad2d8ae840f094eea43d9ac70f9e3598712b596a844ccafd92e4

  • PROOF.md lines 1–203

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/coupled-trace-round29/PROOF.md

    2b2285c33f55b2ac1acabe007bfbbc8eb5182436c8ca488aebeef6beadd428a7

  • README.md lines 1–98

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/coupled-trace-round29/README.md

    7b15b75bcec6216bdb6985011109c265ca116ae4c5e05499d73b26c7d80ecdf8

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:coupled-trace-round29

covariant domain round13PASS

Actual constraint-characteristic dynamics: normal form and domain barriers

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–150

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/covariant-domain-round13/validation.json

    ef186125bed1baed4eee61d838f972820db3ae44da7a9de33a8231a7aaa38ffa

  • README.md lines 1–401

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/covariant-domain-round13/README.md

    b030155bacd17bb5887e4067cfc5c98e30dde8fe26cb6720aa989ad6f319b781

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:covariant-domain-round13

cross domain synthesis 20261013PARTIAL

Which existing TFPT results constrain a common physical source, and can the existing marked CP channel preserve a fixed three-of-four sector?

Exact finite M4 CP channel and its conditional correlated (16,4) group lift; uniform P/3 state for each rank-three projector. No identified W48 operator map or physical instrument selection.

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • contract_index.json lines 1–79

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cross-domain-synthesis-20261013/contract_index.json

    45766379d9bb401906afa94b4d44117bc63dc8a46e7dd2b9a7a0ff5e916dee44

  • PROOF.md lines 1–89

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cross-domain-synthesis-20261013/PROOF.md

    89618034d62bcea0d59911643e230cb8caa289d8cfc3472fd64201e8f4120830

  • README.md lines 1–111

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cross-domain-synthesis-20261013/README.md

    85ddf73cc9e5ae08828f8fc00bfc078f5cee5a44e1ffd998f467762e8c992af2

  • checker.py lines 1–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cross-domain-synthesis-20261013/checker.py

    0dbc12b4bacfddedbd28956f331cf7a8b0061eff19d2de3fcd6f30ae28fbc44b

  • grade-response-check.json lines 1–12

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cross-domain-synthesis-20261013/grade-response-check.json

    5287ecde833d4425dd0845918a1bb0b1cb4984c502060ebab72b3a1eec6d76bc

  • results.json lines 1–77

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cross-domain-synthesis-20261013/results.json

    8cb7f9978a4dca642bb0dabb6be9bbc97f9d88466cb10b6cdc258aa37c9e666b

  • source_manifest.json lines 1–45

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cross-domain-synthesis-20261013/source_manifest.json

    dd922218e47f84b7d965e0e43aa1c8585ab6b8d3a57dff71725b9d0b4a76cb94

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:cross-domain-synthesis-20261013

cubic charge selection round19PASS

cubic-charge-selection-round19

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–474

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cubic-charge-selection-round19/validation.json

    cf1e9d08e3a99a5c2cb90d9123db4d7f211829f81c1dce96c41151c539a5be17

  • PROOF.md lines 1–333

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cubic-charge-selection-round19/PROOF.md

    0ba7c3711492823556e888b32f3abd28c197aebd795bd01e951c5ddabadf5c6e

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:cubic-charge-selection-round19

cubic resummation round44EVALUATED_FULL_CUBIC_HYBRID_WITH_CERTIFIED_CONFIGURATION_EXIT

Round44: evaluated full-cubic resummation with all-exit error control

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–1367

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cubic-resummation-round44/validation.json

    1b874b1e90be82772786a8594e9bb94ba382c6339a1a9253919d6628a3ce433b

  • README.md lines 1–103

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cubic-resummation-round44/README.md

    8621da033c207afda85aef67a7d85530aba43e985bc45d0c1cb5c5be423cf352

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:cubic-resummation-round44

current fourpoint limitproved

Konvergiert der normal-geordnete geordnete Current-Weyl-Vierpunkt-Kernel für alle sechs neutralen Vorzeichenwörter in L1 auf dem gesamten vierdimensionalen Endpunkt-Torus gegen den expliziten Konti...

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • contract_index.json lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-fourpoint-limit/contract_index.json

    cfd2a71469d9a3ccfa52e131f698cd063afb3cd0868f799017723a2314a6c8e5

  • README.md lines 1–361

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-fourpoint-limit/README.md

    272c12e6794845dd6b269380610b69431198628eede0d3eb9a5793057f623b6c

  • checker.py lines 1–206

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-fourpoint-limit/checker.py

    be54f2cb7eaa05b419d4a8f1e4c4cdee733dee399bcd40278d493439fca746c3

  • diagnostics.json lines 1–374

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-fourpoint-limit/diagnostics.json

    f38129f40d48708b0c3078f9ebde55a5faf6cc279db1fbe8a5ef6d989c58e64f

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:current-fourpoint-limit

current truncation bridgepass

Konvergiert die endliche Fock-Galerkin-Kompression der Referenzstrom-Determinante gleichmäßig in den Endpunkten (inklusive Zentralphase) gegen das Strom-Zweipunktfunktional C_t^cur?

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • contract_index.json lines 1–40

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-truncation-bridge/contract_index.json

    08c62a3e30e97d95a766ff7693a7a074a163a96f71596f9b30d48374c5abe865

  • README.md lines 1–367

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-truncation-bridge/README.md

    73a74a0c0a433f465ed9bc948296338b8573e0b05423dfcd19f9ee17e74d34cb

  • checker.py lines 1–183

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-truncation-bridge/checker.py

    0bcd39189a0b504f181670d4113437f706608b6d43af8267965e70c2ff1d3eda

  • diagnostics.json lines 1–763

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/current-truncation-bridge/diagnostics.json

    1361addb5001285f68214cef5658ce7bc9227dc1ed01e23351e2f6463a241c17

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:current-truncation-bridge

cy joint equivariance round11PASS

Round11: simultaneous elliptic clock and inversion

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–124

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cy-joint-equivariance-round11/validation.json

    95a93cd81206d33a8b545b55b9dc34a334c36ff5461f7c3350113fa5e8af22ae

  • README.md lines 1–25

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cy-joint-equivariance-round11/README.md

    19383f16f47c269341797b7fc539dc06db9314d1d75b725180a79198e25aa552

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:cy-joint-equivariance-round11

cy seam round10PASS

CY seam continuation — Round 10

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–1016

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cy-seam-round10/validation.json

    1a575dc1753e105ebb0a7912b6fa2bf5c0e5adb1ee49efd237e5a43625e1cd90

  • README.md lines 1–106

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/cy-seam-round10/README.md

    a40d56bde8036bfb6ee7c52d69e168bf0094df5627e2c16474914eeec9ac4101

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:cy-seam-round10

det wall hh ruleDET_WALL_HH_RULE_CONDITIONAL

Die fehlende HH-Regel ist die Onsite-DET-Wand: exakte Reduktion

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–54

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/det-wall-hh-rule/validation.json

    b70d4b7d4a2ded286c6dd37995cc7171dd9bff4b0b58696e090e4abd85973d73

  • PROOF.md lines 1–144

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/det-wall-hh-rule/PROOF.md

    740cb5cd102fd768ba0b2331eba18348136640587f730b540a6d62532a067633

  • README.md lines 1–57

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/det-wall-hh-rule/README.md

    f3c50344186ef9ad0ef47a55445cfb27203909549a957e64eb18061b6b2475dd

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:det-wall-hh-rule

direct defect round48DIRECT_FULL_H_DEFECT_CERTIFIES_PINNED_BULK_COLUMN_MORE_TIGHTLY

Round48: direct full-H defect certificate for the pinned cubic column

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

  • validation.json lines 1–467

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/direct-defect-round48/validation.json

    8a7506feea9aa536ba3b2a98b48a4c21ac406cc490716db3211f9fd0c6fdbd96

  • README.md lines 1–61

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/direct-defect-round48/README.md

    b27c356f6c9d8d3b61d42f22cb5824fbcc8835133debf34bdee68df8aa57493d

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:direct-defect-round48