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

matter resummation round43EXACT_MATTER_ROW_REPRESENTATION_WITH_EVALUATED_TREE_AND_CYCLE_HYBRIDS

Round43: all-order matter row, an evaluated loop, and a canonicality boundary

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

  • validation.json lines 1–847

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/matter-resummation-round43/validation.json

    871b2e8674fa3acd354da45b795515726773e77f797254301abb5dcf9048b589

  • README.md lines 1–95

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/matter-resummation-round43/README.md

    bf43fddb9aa0d4b58d8a39efc6d971849cbea5c2e195db08747d5d23d87df246

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:matter-resummation-round43

mediator covariance 20261005R_PHI_DETERMINED_FOR_V1

Which family representation must the Gate-B mediator carry once the three-family version of Theta_1 is written explicitly?

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

  • contract_index.json lines 1–51

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-covariance-20261005/contract_index.json

    0bc9a07f98af9e83bedce61a0fb03c6e6286f831a18c53bc0da0e97091f5b73d

  • README.md lines 1–43

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-covariance-20261005/README.md

    550889665466c59f92da39e6b56b7b35d3eb2d4dcacb5b0079ff3ee26486e775

  • covariance.py lines 1–151

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-covariance-20261005/covariance.py

    5ef8c4e051c695f9c30ba9109a61503fc720c723e1962d306c8850c0e5d2c90b

  • covariance_results.json lines 1–83

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-covariance-20261005/covariance_results.json

    caa7f370fc32e09c1926f56f81fab2d68789c9784064551d013e3b8eadc89da0

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:mediator-covariance-20261005

mediator rep sieve 20261005SU4_NEUTRAL_FORBIDDEN_ALL_DEGREES; SU3_SO3_A4_NEUTRAL_MIN_DEGREE_2

From how many and which existing source modes can a bosonic, family-singlet Spin(10)-vector (10,1) mediator be built at all (before any spectral search)?

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

  • contract_index.json lines 1–54

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-rep-sieve-20261005/contract_index.json

    21f35b415ccbaa23b22d201f0ac4c1891e7d357787e27ad2f117f3b7b34e61de

  • README.md lines 1–47

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-rep-sieve-20261005/README.md

    148c67fe87db765ba06c175be81338c1ca97164f17f45fcc26abb4b21bef26d8

  • sieve.py lines 1–241

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-rep-sieve-20261005/sieve.py

    fca8b31d866ddf64177695ed4f5a6ccafa59a8b13f84b517383864357101cd03

  • sieve_results.json lines 1–71

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mediator-rep-sieve-20261005/sieve_results.json

    440cbb381235248f873403d148d7a6da2b9c74adad1ca6fd1462784f76addffe

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:mediator-rep-sieve-20261005

memory closure round34CLOSED_MEMORY_EVOLUTION_WITH_SOURCE_RECONSTRUCTION

Round34: closed memory evolution and unchanged physical readouts

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

  • validation.json lines 1–202

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/memory-closure-round34/validation.json

    59b9a55a5167b7766c307ecb08ae705d8e368ebd3e9dfb18e7eea92eda779df9

  • README.md lines 1–116

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/memory-closure-round34/README.md

    c48452adc7372fe1971094e34e31734bef57d2db591d46e93701b75ef5cbb23e

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:memory-closure-round34

microscopic charged car limitONE_SOURCE_INTEGER_CHARGED_CAR_EDGE_LIMIT

A microscopic integer-charged CAR field from the same QWZ source

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

  • README.md lines 1–283

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-charged-car-limit/README.md

    39c613b80a1fe64200d269b782f6fb86c98f92c78058891a6144605e09c4532b

  • diagnostics.json lines 1–668

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-charged-car-limit/diagnostics.json

    610efe348f19f7e53d89186c5b275d5193e36d41466e0175b5926d395cf3b83b

  • verification.json lines 1–198

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-charged-car-limit/verification.json

    9bd1c09c83d8cfe725974afe4415137cd346b8dbf895fa29e67bd8e15c11d698

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:microscopic-charged-car-limit

microscopic energy linearizationANALYTIC_ENERGY_SUBBRIDGE_ONLY

Same-polarization energy linearization: an analytic sub-bridge

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

  • README.md lines 1–214

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-energy-linearization/README.md

    ed787c27035adf55ac813e7a6c0aa9f162b872d24dbe7e5b3b3a45fcff5410dd

  • diagnostics.json lines 1–81

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-energy-linearization/diagnostics.json

    27bfd69597c82fbef25c6431650ed0521e8034db181f25040913e80c47eafd22

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:microscopic-energy-linearization

microscopic fourpoint limitMICROSCOPIC_NEUTRAL_FOURPOINT_COMPARISON_WRITTEN_PROOF

Microscopic neutral four-point limit from the same source

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

  • README.md lines 1–327

    Source checked at this snapshot

    Original location and fingerprint

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

    037599f5778d2697b8f03cd1b288144edd8582e023dda11ed6dfcfd81eef9ab2

  • diagnostics.json lines 1–583

    Source checked at this snapshot

    Original location and fingerprint

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

    a7d1a7310ddaf9e33878e3510e70f3ed5c02db63f0840a3f3a8ab82debbc1e05

  • verification.json lines 1–172

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-fourpoint-limit/verification.json

    9e505ce4ea624a2be4d59ba41a6f042425a172877605b81f5638560aa18b7990

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:microscopic-fourpoint-limit

microscopic neutral limitMICROSCOPIC_NEUTRAL_PAIR_PROOF_WITH_INTERNAL_REVIEW

Microscopic neutral two-point limit: low-energy control of full histories

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

  • README.md lines 1–302

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-neutral-limit/README.md

    d9a689536f654afdcfd7d9df39f08c1e5667adda52b15aeab95bad24f9baac7e

  • diagnostics.json lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-neutral-limit/diagnostics.json

    e41928de0942e53d912b1bd08918ce8aef9d1219f6db68c49bf2429548d66b48

  • holdout_N24.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-neutral-limit/holdout_N24.json

    1c340f55da6270fbbdbc13b2a6abad2e5fcdb4c6260a61dbc0d650f62963e965

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:microscopic-neutral-limit

microscopic twist charge testfinite-charge-improved-field-open

Trägt ein vom Sektorwechsel entkoppelter polarer Träger die halbe Ladung mit messbar kleinerem Ward-Fehler und günstigerer Energie, ohne die bisherigen neutralen Quellenpaare zu verändern?

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

  • contract_index.json lines 1–45

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-twist-charge-test/contract_index.json

    8597201db67e107377237a002188da99694679d6a6867373531e34b888bcf96b

  • validation.json lines 1–997

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-twist-charge-test/validation.json

    6df3d2f3757619c85c0ee717cf5cbb611a7bc495eb3e14c480b96f5b93b7e096

  • PROOF.md lines 1–261

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-twist-charge-test/PROOF.md

    11291681e73ded521c8e7a61f68ea86e83ffb953ac4e8e9adee571aa57c81c28

  • README.md lines 1–95

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-twist-charge-test/README.md

    69c84aa09360183a639d506c91e1c0af8c2a88392535bc8b375723651aca91e8

  • checker.py lines 1–131

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-twist-charge-test/checker.py

    77d26f8dec26740609dd69e5dfb1d7b14db8cb500cd674d3b448de3ef6655f0f

  • validation_optimized.json lines 1–997

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-twist-charge-test/validation_optimized.json

    6df3d2f3757619c85c0ee717cf5cbb611a7bc495eb3e14c480b96f5b93b7e096

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:microscopic-twist-charge-test

minimal runtime reconstruction 20261005NOT_DERIVED

Without inserting AX.MARKCLIFFORD or Theta_1: does the future-equivalence (Hankel/GNS) quotient of the existing P1/P2 source processes yield Cl(4) for the four marks, the bcc filter F, the minimal-doubling kinetic h_W and the quartic -g sum O_A^2 as the minimal executable representation; if not, what is the exact defect and the smallest missing input?

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

  • contract_index.json lines 1–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/contract_index.json

    a5e85c0fd450049c73ea890cfa430666cea1bb54f5961266a6bc317b66810d31

  • README.md lines 1–54

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/README.md

    d23184952d77135895f75afb7ca6928443225acf51c861d49773a590074a906e

  • checker.py lines 1–64

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/checker.py

    025b04cb8b901383df318dfc735b3c573b096593587132d6e5f78656afe7285c

  • filter_uniqueness_results.json lines 1–53

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/filter_uniqueness_results.json

    86786dbc6cf03efbdb2570758fe35ecb52611c4d755e48f76f629d5208128d1b

  • future_equivalence_results.json lines 1–44

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/future_equivalence_results.json

    10e01b0b5acfa87faa2d2a4efd262d8b2f34d37a2a869895e6fcb28d896657b0

  • kinetic_reconstruction_results.json lines 1–436

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/kinetic_reconstruction_results.json

    a73e78c5e0f59d7205b8f8ef6a1b6ec0ebbd3f55c5f0ab1fd0c82b101bc63586

  • mark_clifford_results.json lines 1–172

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/mark_clifford_results.json

    35886573f19324c74c1633472357418b2a71132888ff5008bb47744007d688d2

  • quartic_vertex_results.json lines 1–49

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/quartic_vertex_results.json

    3f0ffb1c5b6ac3e9af43035115cb6fde9ace7bd1f2dd209771b1f0e4fae1f54c

  • results.json lines 1–57

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-runtime-reconstruction-20261005/results.json

    5751fb25865723233d841719d6c11e4c14277b199b308d23c6e37f3d84b1c4a7

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:minimal-runtime-reconstruction-20261005

minimal stability round15PASS

minimal-stability-round15

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

  • validation.json lines 1–238

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-stability-round15/validation.json

    08c07ec0ce359df2995a4d802531b1a80fbd2a73b54973eeb30c842086a56227

  • PROOF.md lines 1–341

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/minimal-stability-round15/PROOF.md

    bc98501655556b9d4981955eeb9874346c3303f33d019cc57c91128bfc8847f2

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:minimal-stability-round15

mixed constraints round11PASS

Finite mixed first-/second-class constraint completion

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

  • validation.json lines 1–120

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-constraints-round11/validation.json

    68ba38a523a2f6987095a00f2abf7714fa8acf219c145a559f2fbe59ef881de8

  • README.md lines 1–434

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-constraints-round11/README.md

    59a16592bd228f9cc0eb85f51c22568ef4cde1232131248b317b2218571eeb52

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:mixed-constraints-round11