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
escape round14PASS
escape-round14
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–244
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/escape-round14/validation.json
1857a8e342c586cc5f3cddaa4a51895ac97e8524627cb93bac28142e3d9d558e
- PROOF.md lines 1–379
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/escape-round14/PROOF.md
3e43a6966f921ba704c490d5cab9be6ae8b38985ab28008274d123fe3027a1ef
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:escape-round14
f4 modular period readout 20260914BLOCKED_MISSING_NATIVE_COMPILER
F4 modular period readout: native compiler lane (factorization firewall)
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–551
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/f4-modular-period-readout-20260914/validation.json
dc9c00352e42231959d5dcc88e6cbadc916c26e5e2c678320c1aa8d7d2dce76b
- README.md lines 1–91
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/f4-modular-period-readout-20260914/README.md
93086e3ce00d0f65234afccaf13fd024d1537242182c5269f23a374c85f5f39b
- validation_optimized.json lines 1–551
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/f4-modular-period-readout-20260914/validation_optimized.json
dc9c00352e42231959d5dcc88e6cbadc916c26e5e2c678320c1aa8d7d2dce76b
- replay.json lines 1–39
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/f4-modular-period-readout-20260914/replay.json
69eef1216bd5c770fe5f03a6c779f2fa2c740787f14fad194dcf1f2bbb7e16d3
- source_manifest.json lines 1–27
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/f4-modular-period-readout-20260914/source_manifest.json
91379eae9ea26c4f3caf6fdea741653a6a3925b04bcc1342f87ac8920d115b71
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:f4-modular-period-readout-20260914
family symmetry gateb 20261005REAL_FAMILY_GROUP_REQUIRED
Which family group can be an exact symmetry of the common source process at the moment the Gate-B interaction acts?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–52
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/family-symmetry-gateb-20261005/contract_index.json
86edbc00395540f7a4fdb339e803a07ed25c9d8daa2fc00020d6983451be3750
- README.md lines 1–37
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/family-symmetry-gateb-20261005/README.md
00706b7bfe7bd319ed15e25b638a9d6582af5930f614e36ddee8168cf639958d
- family_symmetry.py lines 1–173
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/family-symmetry-gateb-20261005/family_symmetry.py
d9734def6927fb0bd41dee5061322a211b1592a2559de17c50d8431af6d74e7c
- family_symmetry_results.json lines 1–89
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/family-symmetry-gateb-20261005/family_symmetry_results.json
60a11d28068afa2a232a6bf74b1144503df3640c902bcaeab83e87ef3458befd
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:family-symmetry-gateb-20261005
finite density background round24PASS
finite-density-background-round24
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–471
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/finite-density-background-round24/validation.json
eecc6a678b78162c8f401ffddac59e07cd2b6b1468c3dd26c6e9f9c67dea98eb
- PROOF.md lines 1–143
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/finite-density-background-round24/PROOF.md
0e1ab3d75772d1a92bd432450b44478216a50245282ed3934d2783532e63d72e
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:finite-density-background-round24
firstclass completion round14PASS
firstclass-completion-round14
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–203
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/firstclass-completion-round14/validation.json
c1e3721fce2a8a2aeeb9b6f9f95daaf98e044d6d0fb3f35fe9b550d70a028b37
- PROOF.md lines 1–300
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/firstclass-completion-round14/PROOF.md
1f8ff9e5df3c0d585a586812841d620f5eab3807897bfbfeacf4df91832443ef
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:firstclass-completion-round14
fixpoint ward frontier 20260917TRIVIAL_FROM_EXISTING_E
Fixpunkt-Ward-Suche auf drei Frontier-Ziele — 17. September 2026
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- RESULTS.md lines 1–133
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/fixpoint-ward-frontier-20260917/RESULTS.md
defb109a3e07fcf5323fd0b967d3e778a2d6f4cc934954f35b9b4b36620588eb
- README.md lines 1–187
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/fixpoint-ward-frontier-20260917/README.md
9371914ff7356eecc8790d56397c85b214af5f9fb76e824c9a736054985175a4
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:fixpoint-ward-frontier-20260917
fixpoint ward mpratio 20260917NO_CANDIDATE
Fixpunkt-Ward-Suche für m_p/m_e — 17. September 2026
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- RESULTS.md lines 1–83
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/fixpoint-ward-mpratio-20260917/RESULTS.md
c52b4c0af6af7fb3b0877288adeaeffda12fd9a89ad69a890db337017c5cf49c
- README.md lines 1–143
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/fixpoint-ward-mpratio-20260917/README.md
9386dbcd451572dc69665e4adc64493f5d950540cd5726680b21264feecbae37
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:fixpoint-ward-mpratio-20260917
foundational process classification 20261016PARTIAL_COMPOSITION_THEOREM_AND_OBSERVABILITY_COUNTERMODELS_NO_PHYSICAL_SELECTION
Which joint structural consequences follow from four independently defined finite process classes, with TFPT used only for later comparison?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/foundational-process-classification-20261016/contract_index.json
f42fc2a860d8312a91170a788f7e0b5ebbf013b1d2ecd347b9f740c2ed97a304
- PROOF.txt lines 1–256
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/foundational-process-classification-20261016/PROOF.txt
c478329caf5bfa8bbf69bf066745e9bbb9908d4652d52a428e04b6992bc385fa
- classify_composable.py lines 1–63
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/foundational-process-classification-20261016/classify_composable.py
7e6cbf827c6367cd88b0f75340175729274dc15ae64177f287df2846a5ebbc72
- composition_classification.json lines 1–28014
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/foundational-process-classification-20261016/composition_classification.json
10420916ff8d823fc85b2cd96c2d5c14607dbc85c07d655026c34af2f854fbd6
- observability_results.json lines 1–2308
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/foundational-process-classification-20261016/observability_results.json
b1623b7f16496c0b1b5ac726f40c42dfbbe0b1cc5f88c64ffbac22e903373ca4
- source_manifest.json lines 1–56
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/foundational-process-classification-20261016/source_manifest.json
30d57738313d2d339f37b88bc6b25d1f1f61c46e847809735c83991aa3e5000a
- structural_results.json lines 1–98
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/foundational-process-classification-20261016/structural_results.json
f735d45084480c5018694a885094a82460752694c97892ccf3fd53c7e4a72824
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:foundational-process-classification-20261016
free scalar 3dEXACT_FREE_MATTER_THEORY_CONTRACT_UNPROMOTED
Round 8 — full-3D free-scalar Ward complex on the staggered regulator
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–35
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/free-scalar-3d/validation.json
1c707da3438e8e881c9a37c3dd3deabb26de1bda4572aacb313465e03bcbadf7
- README.md lines 1–344
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/free-scalar-3d/README.md
467ab73b43cf1df335cb732e3fac452d0870be00a04f9ed7140fdb9c96bbc5d1
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:free-scalar-3d
full constraint parent round17PASS
full-constraint-parent-round17
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–237
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/full-constraint-parent-round17/validation.json
99f3785897c79361390d787bd7de72d3d171670dbe354e9abf8142def4aaa385
- PROOF.md lines 1–289
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/full-constraint-parent-round17/PROOF.md
5a7ea4929d2b1a883c4cf0896d285a5894dd7294546626b20a0b0a8461d2ba87
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:full-constraint-parent-round17
full reference control round27PASS
full-reference-control-round27
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–564
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/full-reference-control-round27/validation.json
20d120348cc24d2c50f883129e68aa7f61f0052bf575360e171cb67cdca9f90b
- PROOF.md lines 1–199
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/full-reference-control-round27/PROOF.md
fa672c87b5a3d952e9294e78ecf922905a6c48d750cdbe8d1507ab63953ac691
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:full-reference-control-round27
galerkin control round14PASS
galerkin-control-round14
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- validation.json lines 1–199
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/galerkin-control-round14/validation.json
7c82b44f2b85cfa7179231e5c10389ac9198293deb90b0cf1d887d2b517a36e8
- PROOF.md lines 1–216
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/galerkin-control-round14/PROOF.md
d9505d24de1aea6fe7aadf05408978ddbdb730d6840501d228fa05ccb462b531
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:galerkin-control-round14