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

puncture metric joint completion 20261102PARTIAL

Can integral-unimodular common charge completion select the entire positive W(D5) x C4 metric without a chosen residue norm, and how do puncture and glue actions differ?

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

  • contract_index.json lines 1–39

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/contract_index.json

    3e27fd4e16d296d742aee50f00b7f30a7b76ff4c0703f682c1ce959ca371321e

  • PROOF.txt lines 1–159

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/PROOF.txt

    86701d996dc9b5ed2bc228359c45699ac6f458eddfbc7daf152087324f250aa7

  • check_metric_completion.py lines 1–105

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/check_metric_completion.py

    134d39476f035edb504aedaf0e1ea84261adabe63c4b252ba75f8e35944b7e76

  • cyclotomic_parity_result.json lines 1–162

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/cyclotomic_parity_result.json

    a837e9964cd34817c109062c6110ca98f4383b8b5af639a045748123e8dfa95e

  • gluing_test_results.json lines 1–24

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/gluing_test_results.json

    11f2026b6ced3dbade22a4a5e9cdc49e93b4e41502b198d2a7ba045d7493cac7

  • marked_divisor_result.json lines 1–50

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/marked_divisor_result.json

    13378117e68f4e8e8c34106fc16e746f19cabe10509947e6b8b94cca22abc845

  • metric_completion_results.json lines 1–77

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/metric_completion_results.json

    bd079b1eaae3f616b764d1d4dc3ee0d94995e20eb53b7df9593b4f5d75fa0f3d

  • mixed_meridian_current_results.json lines 1–8103

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/mixed_meridian_current_results.json

    22f28d778d8445d2caea2c565588befc513ba9fb1b324a4e6315fa2bb03a7df7

  • review_d4_metric_result.json lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/puncture-metric-joint-completion-20261102/review_d4_metric_result.json

    f3cb2c407f0bb59db9c54a6db5183ca7d4a5d57cfb497bdd109303be7d5a0578

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:puncture-metric-joint-completion-20261102

quotient locality e8 20261014EXCLUDED_IN_UNCHANGED_SOURCE

Does the proposed eightfold fold/multi-interval completion derive physical quotient locality and an E8 field extension from the same source while preserving the quarter phase, state and time?

Known single-complex-charged-CAR representative and the full mass=1, ny=8 QWZ source, with the stipulated canonical common-current time and E8 stress-form premise. The quarter phase is retained. The source-specific analytic spectral obstruction applies to this noninteracting source and a common-Hilbert, source-state/time-preserving limit. The KLM label count is only for KLMVACUUM_REFERENCEV2Z; the actual quarter-source global dual-index is not proved. This is not a derivation from raw P1/P2 or a universal TFPT no-go.

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

  • contract_index.json lines 1–116

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/contract_index.json

    c8db6ca5f7a1f85c3103b72a9b5fb187ebb02bf1b986d814f60e97c49cad3904

  • PROOF.txt lines 1–217

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/PROOF.txt

    dfa4b094f660d47bc28cf2729e1c12eb29ae0b79cdfda36e72cb40f9406f5714

  • README.md lines 1–16

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/README.md

    10fa3b9adaceeb2589d770219225baf96560783479fd5fedb9764348b3c5ad58

  • checker.py lines 1–281

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/checker.py

    7915ec85ace07b805a3537dda41ba5093811c25379471d27c85ee1d5c5f25c1d

  • source_manifest.json lines 1–106

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/source_manifest.json

    8baa94d7be559a1369782cea05195a2f11629ec1b198760dc7bbd66b0e1228ae

  • tfpt_1_architecture_e8.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_1_architecture_e8.tex

    45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5

  • tfpt_research_contracts.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_research_contracts.tex

    1a200aac87d3c57d9e0350ba57ec45b1f7701a92df23f018146efe6a5758184c

  • 01_boundary_kernel_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex

    89afb7d6cd1bb3a74ce4acd2ab43f4d990e7f22d5986c33e3fe90a0abf1260ff

  • 02_carrier_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/02_carrier_source.tex

    4783f526a49dfb708d496a3910392bb8aecf2b9c307f9542d3ed113aae2a4faa

  • v1033_charged_disorder.py lines 1–607

    Source checked at this snapshot

    Original location and fingerprint

    verification/v1033_charged_disorder.py

    5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8

  • checker.py lines 1–187

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-rg-clock-bridge-20260920/checker.py

    5cbd66d67689d9b79d9b9b7d4eaba5214a04b56983b57fa4b185e48ab45bed29

  • PROOF.txt lines 1–255

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-rg-clock-bridge-20260920/PROOF.txt

    58d870d69596b5bd732f400dba8740367ee81b445203a53c8e8559a9f0bdfc35

  • checker.py lines 1–222

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-charged-car-limit/checker.py

    2259bd7d6ab890c8cca562774b1b5cdc574e60fb72a04a8c8c8f6ed8292f113a

  • PROOF.md lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/PROOF.md

    a4802d25255e9bc1ce3cd4a3577c56dd5e81e02fe976d565a8b459a871421a5f

  • FOLD-AUDIT.md lines 1–250

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/FOLD-AUDIT.md

    f237a8c9b7c0b8157b222c2a922f6d0183f39db149a4249c2a6b984f0d29dc8d

  • fold-results.json lines 1–286

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json

    253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639

  • PROOF.md lines 1–252

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/PROOF.md

    c36d30a2bd113554c5902d67d41b595a9615470d39d11feb89f813a994aa9b04

  • ERGEBNIS.md lines 1–209

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/primitive-charged-source-response-20260921/ERGEBNIS.md

    3f3b2e44768bd5985c570d0ada8f0045f722695ce51d0fe01793579936b4f1eb

  • PROOF.txt lines 1–326

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-charged-register-20260920/PROOF.txt

    fcb2a31800cbd7cd59cfe7e0593d2ff469d6087c3142026f0c9e0a40f8d41448

  • PROOF.md lines 1–255

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/PROOF.md

    d16b6af2c90491ac94eeb4ab04a8c96b072d37bb6bc5015b3db85c023f8a96e2

  • microscopic-results.json lines 1–163

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/microscopic-results.json

    5b0327cb1fb3405b57c0a50e13faaa20a76435fcb860da4e6878cc1d69159e6a

  • results.json lines 1–301

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/results.json

    39a126753de55539beed0560abbb19520784406029bc3190fd663941576fc19e

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:quotient-locality-e8-20261014

raw carrier origin gate 20260920PARTIAL

Can the raw primitive polarization and its compression yield the required internal3+2 carrier without another source operator?

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

  • contract_index.json lines 1–58

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/raw-carrier-origin-gate-20260920/contract_index.json

    9d9c50d4d571998f10c05bc996c891368fd2704ea009d476578608a10015e11d

  • PROOF.txt lines 1–184

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/raw-carrier-origin-gate-20260920/PROOF.txt

    352dea875d7e3c8947cdaff12da1732167a90621668b6b1a0331f258896b7d03

  • checker.py lines 1–106

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/raw-carrier-origin-gate-20260920/checker.py

    cb66822ea77aa9571357041a3eb325e0507b1ae5790f1f8bbc89c2686da04251

  • certificate.json lines 1–42

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/raw-carrier-origin-gate-20260920/certificate.json

    a06f11822fd0165ab8b0cf0c3d3e34152c64a44547a1def13a67006c51e4b004

  • source_manifest.json lines 1–13

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/raw-carrier-origin-gate-20260920/source_manifest.json

    c92352fe2f88902310325ea101acc153c992bc0bb65f80ac63c617ecd5828ffb

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:raw-carrier-origin-gate-20260920

reduced locality round11PASS

Round11: actual-source locality and momentum preservation

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/reduced-locality-round11/validation.json

    415eaef38810fe8a5e7a940f809bbf7d0f08f1fffb6b69510305e44fbdb5a6c3

  • PROOF.md lines 1–432

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/reduced-locality-round11/PROOF.md

    a9cb967f3d2084a9b6a74d5e4e16f6faf6c661061701d3a332ec6d1afa54ae78

  • README.md lines 1–35

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/reduced-locality-round11/README.md

    abc93f36456354ea8c71115825b73f85d5b351e29e827e911edd58c397d7183a

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:reduced-locality-round11

reference tail planner round27PASS

reference-tail-planner-round27

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

  • validation.json lines 1–593

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/reference-tail-planner-round27/validation.json

    cf26992dc6178b601d3a11789ecaecec4c4039c525ca8738519cb646d090e58f

  • PROOF.md lines 1–103

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/reference-tail-planner-round27/PROOF.md

    04b6c2973a0e6bcea38759a153c9d222bbdc4010cc991411e2811730581d2bca

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:reference-tail-planner-round27

relational observables round12PASS

Finite reference frames: complete relational algebra and an exact locality boundary

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

  • validation.json lines 1–185

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/relational-observables-round12/validation.json

    20c00a80c11ecb3e76732b7f6b7f6754297f206d60861eabf5dce25c5f7557d6

  • README.md lines 1–215

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/relational-observables-round12/README.md

    b03c7eeceaa8cba879ff1de8a7d42f6010b5476e43dbfc7caba185ef8058981f

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:relational-observables-round12

research 20261027 source ground stateVerdict not recorded

research-20261027-source-ground-state

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

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:research-20261027-source-ground-state

rr continuous clock 20260921PARTIAL

Does the marked RR quarter-turn extend to a continuous symmetry of the unchanged native W process and its interacting response, and does this select physical source time?

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/rr-continuous-clock-20260921/contract_index.json

    c1fb797ea2ec02cbafcd8929e2f3e8d4fd0d9a7dce4f34aa7b601e446b3522cc

  • README.md lines 1–9

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-continuous-clock-20260921/README.md

    5e881ef62749423ca233b199b64e4913f20142808e74c8ea0ea8724bd04bd86d

  • replay.py lines 1–13

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-continuous-clock-20260921/replay.py

    a30f613e7e8df5e22b88dbcfbb8d1e7139032e3dfc0c53ad643375f4e7c6226c

  • certificate.json lines 1–390

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-continuous-clock-20260921/certificate.json

    d1ce72108dcbb90738f2e046e05407fdff76024aa48fb87f34f1b6bf245f2789

  • manifest.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-continuous-clock-20260921/manifest.json

    eb0bcbbac71bea032fd823bdd4c09c5b9e4603113d0f80981c0f671a0c7e4312

  • replay_receipt.json lines 1–6

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-continuous-clock-20260921/replay_receipt.json

    a44db52f5b180e36506b72aaf0fececcb29d9520e2128103e2ecd48d465b7f35

  • source_pins.json lines 1–12

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-continuous-clock-20260921/source_pins.json

    cbf939eb574f5d43f8098f00d220e84f551d6e238d1562f8d0993fa7bee140bb

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:rr-continuous-clock-20260921

rr positive pair source 20260921PARTIAL

UR.RR.POSITIVE_SOURCE.01: Traegt die positive RR-Form mit W eine hergeleitete gemeinsame Quelle, und welche Rekonstruktion sowie Zustands- und Zeitgrenzen folgen?

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

  • contract_index.json lines 1–77

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-positive-pair-source-20260921/contract_index.json

    1dcba193f6df7c9708e3bf75f12498c3f7e8c6202fa8959c5e604a0896a99946

  • README.md lines 1–229

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-positive-pair-source-20260921/README.md

    a8fe2dd086a19907ce6f2528ccc4b1bd50788e5a52a251e30f8f5281f3806a50

  • replay.py lines 1–9

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-positive-pair-source-20260921/replay.py

    bed3c10e72fcad0426d6043a9abb80d8fc6037e81ee466ac221a845f2e274b7d

  • replay.json lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-positive-pair-source-20260921/replay.json

    0c71f06e186585198df2a171527178f8166a57660cca8cd7b01ecd1711fed63b

  • SHA256.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-positive-pair-source-20260921/SHA256.json

    f4e0b77cae86541dea2f403f651732b3ff8c5e164abe9be9c8f9bd0a7d05ce50

  • bridge_certificate.json lines 1–17

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-positive-pair-source-20260921/bridge_certificate.json

    6d4cd0181a08dcb0b62a0bef772b6e604c1cedcd23b4e3803681c13b87b76baf

  • certificate.json lines 1–154

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-positive-pair-source-20260921/certificate.json

    c53f5f25eab8fedcf257b37b1783bf90a2f3a11ebf24b433937e7344aebbcd90

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:rr-positive-pair-source-20260921

rr residue memory 20260921PARTIAL

Does the marked RR residue quotient identify the four marks with a continuously closed source subsystem, and can compatible metric or clock changes repair its missing constant mode?

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

  • contract_index.json lines 1–93

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/contract_index.json

    8d4a1da474493cd4f864915b44bc992ec46a85f2a61881317d7037cfb5356eb7

  • README.md lines 1–13

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/README.md

    162ccd031bddca0c0e99c1a924fcb84cdf6f794cdddc1f81a9a71b2dd044d44f

  • replay.py lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/replay.py

    7b131b79f18228e3cd52ea5a76a7c14bab5d77c8081d95bcdfc6e1812960fb69

  • hodge_certificate.json lines 1–97

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/hodge_certificate.json

    4a3f347f24ebc9f0608fe27dc9f5f16da048f3486fdb56dba9d734dd847f90dd

  • manifest.json lines 1–24

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/manifest.json

    542dc90737d3f6c6bbab444fada77f6fd329ef93b9c811e7d01410363ffbd136

  • replay_receipt.json lines 1–12

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/replay_receipt.json

    98988abfd002a477e8c362f34be1b1b65087292c26078a680df213ab04c986ff

  • residue_certificate.json lines 1–191

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/residue_certificate.json

    b7870867f3b302d8e67e269e7e03a80aec5ee753c1d32040993083bcd9a1f395

  • source_snapshots.json lines 1–30

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-residue-memory-20260921/source_snapshots.json

    63f5cf220ada9ff8a719ed756bf2562691f41a023f3ca6ff8cd399b72e5b1c00

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:rr-residue-memory-20260921

rr three family state 20260921PARTIAL

Does geometric augmentation U yield an exact native three-family sector and preserve the existing Omega/time?

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

  • contract_index.json lines 1–71

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-three-family-state-20260921/contract_index.json

    e7fadaef9dc0bb8086c467b1af44a2ce3c109cb8a3c0a1c2eff5faeb56a56e0f

  • README.md lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-three-family-state-20260921/README.md

    355d998c8be28e22a10aa693a7c871f000040e435ad2afe632d4950c93de0eb0

  • checker.py lines 1–430

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-three-family-state-20260921/checker.py

    8d46e35271d2252dafd0fdd753a4a6fa7320f15b3e37ef440d25d49a66225b5e

  • certificate.json lines 1–174

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-three-family-state-20260921/certificate.json

    80a6cf0b8ed90b2885d604c45f04534c6d3e38868a8d963c3407b28008fb65e8

  • manifest.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-three-family-state-20260921/manifest.json

    54c7c4957ce7258d5367f2dd6fcf3d6131bb992c6e77a86b3f6968f00c4df85e

  • replay_receipt.json lines 1–12

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-three-family-state-20260921/replay_receipt.json

    b5efbbc6feff3acdc03f460e8f8aa2999d4288337bb0b5038cb83d8601f8dcda

  • source_pins.json lines 1–18

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/rr-three-family-state-20260921/source_pins.json

    5e85a3a86ba138c8a55778b5d7d15df8217cbd2a946d2557aa7a3d7d0300ac16

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:rr-three-family-state-20260921

scalar charge energy round20PASS

scalar-charge-energy-round20

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

  • validation.json lines 1–298

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/scalar-charge-energy-round20/validation.json

    4ebea8f07ea9c7a8f5ee7e3441c77471256f5de5ed65940254107afe95608801

  • PROOF.md lines 1–157

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/scalar-charge-energy-round20/PROOF.md

    f54190fffdf3ccc110c5a66d6da0575c7b8ad96a5a880fcb4b6c01f930ccb7b5

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:scalar-charge-energy-round20