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.

59 matching attempt records

atlas defect synthesis 20261024PARTIAL

Can a cross-Atlas projection reconstruct a common original clock, finite quartic channel and operational structure, and which origin choices are actually removed?

Original Construction-A E8 with actual J and all60 native Gaussian reflections; original quartic tensor constructors. Separately, the already established same-conformal unitary E8 extension and full inner clock conjugacy with transported marks. Finite CP instruments are classified only on the derived six-effect native H5 POVM. No physical source or spacetime promotion.

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

  • contract_index.json lines 1–80

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/contract_index.json

    3acc0a7bc0e23b5a4e904fa1251f438ca5b8e501ff71ad093308bbb4e1c476ef

  • DOILY-QUARTIC.txt lines 1–212

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/DOILY-QUARTIC.txt

    666355194ef46ca3e8768dcb05a6c4158c7f3f9d2a5f64aa10e5eaa94dc6c853

  • doily_quartic_bridge.py lines 1–857

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/doily_quartic_bridge.py

    b99af5f633f10e779454a3f8957b126b0aebf36e07ea24dcba1205bcf1ac8584

  • clock-twisted-results.json lines 1–611

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/clock-twisted-results.json

    4ec82baf9ef0c76ac257c2f247b655a778395915d23edfab07a98e0747594f9b

  • covariant-instruments-results.json lines 1–313

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/covariant-instruments-results.json

    83bdc1184cdf85fc566aef9fc60fbf3a22a3e6e2ea8c32c5f679e704bfe7df85

  • doily_quartic_bridge_results.json lines 1–10440

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/doily_quartic_bridge_results.json

    b3a948920f371a3abfee22a51c6914029ddf851b3b635ee61dd1afc1d5aebc59

  • finite-quadratic-results.json lines 1–283

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/finite-quadratic-results.json

    8f05a9ffbb7f63100e8bb4f1609e25dcf18f93e9e5ad142d980bb681ca63a7b4

  • native_erasure_readout_results.json lines 1–18097

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/native_erasure_readout_results.json

    9756fc536cb8e1f5ce35309b1643d15708ff76325131779dcc18ae97756c98d1

  • native_event_channel_intersection_results.json lines 1–8344

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/native_event_channel_intersection_results.json

    5172e346037813d2407d1be98ff94b64bfbca91dd2a6309f58dc72103cead69f

  • relational_channel_results.json lines 1–2233

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/atlas-defect-synthesis-20261024/relational_channel_results.json

    41fa1b08f7bebcb838e6c26059a760002d451fc4ed392d731b855942878d5e69

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:atlas-defect-synthesis-20261024

charged sector readout clock 20261013PARTIAL

Can the original marked E8 charged response realize the alpha factor with exponent5/4 under the same source time and actual clocks?

Conditional original E8 lattice-VOA vacuum with marked D5/A3 sector, regularized charged state and actual C/J matrices; no microscopic source selection.

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

  • contract_index.json lines 1–67

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-sector-readout-clock-20261013/contract_index.json

    df8084830f684f01ebe0325ac814e7c0d356dc82f6b4da674740dbdad5864e93

  • PROOF.txt lines 1–199

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-sector-readout-clock-20261013/PROOF.txt

    26e6480a6304e4da5be96328e70f5f56c5bee1bfde7e58593a34a273016d09e0

  • checker.py lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-sector-readout-clock-20261013/checker.py

    bf949d11034c1d17322971b58c712c0bef01bb6a3d0e6aa63aeca6d7d41b45d6

  • source_manifest.json lines 1–24

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-sector-readout-clock-20261013/source_manifest.json

    5ce972e36ec7f8f4f7770f6a0ce302f1d6a9020c32e491d25b23cbfa1466695a

  • neutral_source_response.py lines 1–293

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_explorer/neutral_source_response.py

    a6a21749cba24ae6c50c1f4e1cf95bf283c69ec9b2167a7089380188c5cd8898

  • current_block_geometry.py lines 1–2015

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_explorer/current_block_geometry.py

    c9efcac4ba33d4ee3dc20f8c3c69a0f6ff6b2084893a5edf4aaae6c204d9056b

  • certificate.json lines 1–3631

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-integral-triality-20260918/certificate.json

    a342f865bec164ae6dd54e9e7b7c7cc991efcf7a939dda2ecab586b4a6c6cfe3

  • PROOF.txt lines 1–406

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-source-time-audit-20260920/PROOF.txt

    97ddf9206a860c00d797dc62bb23b6d731523ca21c10280592f6c61e8a0b2476

  • README.md lines 1–76

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-readout-flow-deck-20261005/README.md

    62c3fee7d8e34745c2199230f1a8fc04d8d90e77a771d9f0d9b787a801edcc48

  • results.json lines 1–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-sector-readout-clock-20261013/results.json

    548de0930bdfb44e6bc190ba9385b3e37e129e3f47c2f8cdae30f2455d44cfe9

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:charged-sector-readout-clock-20261013

clock bilinear responsefinite-dynamics-derived; slow-vacuum-response-null; no-TFPT-selection

Sind die primitiven Majorana-Bilineare der Clock-Grade exakte Eigenoperatoren der eingefrorenen Quelldynamik, und gibt es am geprüften Quellpunkt eine langsame zahlneutrale Vakuumantwort?

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

  • contract_index.json lines 1–43

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-bilinear-response/contract_index.json

    7bfb0005ba4ed2e27f3aadc3b378945340dfe62b828cb8451bae48ae9dd29088

  • validation.json lines 1–529

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-bilinear-response/validation.json

    c48c85e1609db878701a189ea9ad4cb356aab70be9e6b687e441f2a7a6ffc3a1

  • README.md lines 1–268

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-bilinear-response/README.md

    02a03d46d37cd9cc5039631559559af036ef4f0cb1285a3c16ae5ea821669e8d

  • checker.py lines 1–241

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-bilinear-response/checker.py

    d3098de774f923c15d1d7adf2951cbfc530f6c77a3252610e657b2448a2e8191

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-bilinear-response

clock interaction provenancepartial

Woher könnte die quartische Clock-Wechselwirkung stammen – aus der 16-Majorana-Quelle selbst oder aus einem anderen vorhandenen Parent?

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/clock-interaction-provenance/contract_index.json

    cbf640cd6802872b809500f1576082b33b346fc6aed8e020be66bf109d830afe

  • validation.json lines 1–82

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-interaction-provenance/validation.json

    98c246c6bc78c225726835939f2fa59183b8eb72dca7ca1f3c2e2e10d162c0b2

  • README.md lines 1–268

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-interaction-provenance/README.md

    e40e116d86ee092e26317b2972cff8795fa7a1d22eb6a250e03f1f8c5252fa4c

  • checker.py lines 1–215

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-interaction-provenance/checker.py

    f1bc93d39c8f84f76bff55da901908dcd2ba97975753992464484279ebef3506

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-interaction-provenance

clock jordan response reconstruction 20261015PARTIAL

Do the four actual clock-carrier fields provide a complete source-defined probe menu for arbitrary neutral quadratic response, including off-diagonal alignment?

Original eight-current vacuum Heisenberg sector and same-coordinate C/J/P5; mixed two-point responses to iterated weight-two OPE coefficients. Not a physical detector, charged-sector or complete-source theorem.

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

  • contract_index.json lines 1–64

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-jordan-response-reconstruction-20261015/contract_index.json

    da1619d093fee40604727a62e3d779ffccb787101cc5b2eb10b32c13240bd0ea

  • PROOF.md lines 1–127

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-jordan-response-reconstruction-20261015/PROOF.md

    dd062d2017de70d3b858452a41a7b9089d3b8cb8dd3984af9cec89a6524cdbc0

  • README.md lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-jordan-response-reconstruction-20261015/README.md

    da60243a4d0ba19259a857c229b1ac31ed3fb5fda6c9e709e2ddaa0f6e0c72d1

  • checker.py lines 1–127

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-jordan-response-reconstruction-20261015/checker.py

    0c5701db514bda4dbf6985bb9e70e39c81df8fea3bcf83f351a462d4d554ad1e

  • certificate.json lines 1–5316

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-jordan-response-reconstruction-20261015/certificate.json

    79f6529307c8265ece19d553e84d9bdb325d3b08f009dd0c7dbfcf8634d17dea

  • results.json lines 1–70

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-jordan-response-reconstruction-20261015/results.json

    6655ddf954deefa1c042eac72448ba16825fa71915d542fd06aca01272ad2d92

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-jordan-response-reconstruction-20261015

clock marking auditUNKNOWN

Primitive Clock-Bilineare: Ladung ist keine Verletzung einer Quellen-Symmetrie

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

  • contract_index.json lines 1–23

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-marking-audit/contract_index.json

    0d82c00b91f7df30451864441d0b2b07d440c13c10ed0c5a8d5288cdc9f8c086

  • README.md lines 1–257

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-marking-audit/README.md

    ab024cc558320a3d69b83cb44838c02c2684420ae37cc3b0520588e32ad91454

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-marking-audit

clock neutral accesspass

Was ist der kleinste gerade CAR-Grad einer echten O- und N-invarianten Boundary/Clock-Wechselwirkung, und kann ein expliziter quartischer Zeuge das neutrale primitive Gewicht <A*A> aus einer Randko...

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

  • contract_index.json lines 1–38

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-neutral-access/contract_index.json

    14d5aa4283e9c402fd3d37f24b8526706c7910922314b222c96926e40a525b75

  • validation.json lines 1–116

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-neutral-access/validation.json

    7be4dd211bed75756f0bbd14b77444fd093c0eb9916887171c8090221aa4a775

  • README.md lines 1–248

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-neutral-access/README.md

    e896918f9e3e5d56bf107ae88505b63ce2c8a4a508e2afd22074d025e6a8797d

  • checker.py lines 1–247

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-neutral-access/checker.py

    6f60772c639e9eb19745e363010e8ed0e39ed9cb51b38ca7997f7baecdd48f50

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-neutral-access

clock rotor joint chargeLOCAL_CLOCK_ROTOR_LIFT_IS_GAUGE_TRIVIAL_AND_SPECTRALLY_INCOMPATIBLE

Clock and electric rotor: complete local phase-lift classification

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

  • README.md lines 1–183

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-rotor-joint-charge/README.md

    328afeb003c4bd8cb85e6e16aef7220d86e1f23f1c4e71e00bea54d42b134490

  • diagnostics.json lines 1–75

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-rotor-joint-charge/diagnostics.json

    64b15258c4a56456276ecc174611b034f948aad388bdb58eb1c58540961ae618

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-rotor-joint-charge

clock shell round13PASS

Exact clock-assisted constraints for the chosen finite positive model

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

  • validation.json lines 1–195

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-shell-round13/validation.json

    2700cf745e5317b748191692f879ef496bbe2bd935134351133f76184a56d881

  • README.md lines 1–236

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-shell-round13/README.md

    b54b4c6674873f825c9bfa46cba92af78f8cd3af0cdb318b304e0e3efcf527f1

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-shell-round13

clock source twist transport 20261015PARTIAL

Can the actual Gaussian compiler J act on the retained source time, charge, cocycle and uncompensated quarter transition, either in one fixed source frame or covariantly across its twist orbit?

Exact affine fixed-sector obstruction and phase-corrected order-four covariance in the already stipulated even E8 lattice Fock representation. The entire tuple delta, q and quarter-transition cocharacter is transported. This is not a derivation of physical twist sectors, source selection or switching dynamics.

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

  • contract_index.json lines 1–60

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/contract_index.json

    61149c3819e7291bd082146235ef7a772709ae20eaa0ebce221c1a34e785a42d

  • PROOF.md lines 1–258

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/PROOF.md

    9d3b3ba713b1a2ef450b5287dc15baf7c29fac224365f6b5ee70f39a261baebc

  • README.md lines 1–43

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/README.md

    3eaa2d8992143eaf67c9788b76737732d9ad424640bd5e4c60fc23f66ce859a1

  • checker.py lines 1–206

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/checker.py

    79183b86820c8742b1f244f0ff509f0d6e17706a54c2d35c19ea45da7880e175

  • source_manifest.json lines 1–25

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/source_manifest.json

    8d9c99b1394888e26b9db43266e6768d0e874436a15c4d99b17dadb222df7a56

  • v634_st31_structure.py lines 1–1124

    Source checked at this snapshot

    Original location and fingerprint

    verification/v634_st31_structure.py

    5ff53ed031ca03103187ac22edf723aabce88bee3df1085c52486ecb0044d37c

  • checker.py lines 1–291

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/checker.py

    d18aafbf6d4f6f651afe0533c2b7de3412200fc004d22d0e5bdbdf45260aee76

  • operator_transport_check.py lines 1–289

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/operator_transport_check.py

    33e98e7567b52c9ce82eed8a29fe37428b7d7ff539a6e8e311f0123e4c3e37a1

  • PROOF.txt lines 1–1087

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/PROOF.txt

    7c0cd92dfc5eca88260baae0af9edad66f958a27ce0d15d7965414b3971f8da0

  • contract_index.json lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/contract_index.json

    b19eedaac21fb63a3f0f084a6045ad93a6a2e1643ff8b6c0f66847329c8f4e1b

  • neutral_twist_results.json lines 1–88

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/neutral_twist_results.json

    85a22986ff1ea03024dbdc046391c02b72146e6bc8fb5b5e286a664f22e79ba1

  • results.json lines 1–317

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/results.json

    bf6fe4a411797e1eea4c8e3b4f553650b55e106474cd03715a8bb49172e57367

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-source-twist-transport-20261015

clock vertex round16PASS

clock-vertex-round16

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

  • validation.json lines 1–227

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-vertex-round16/validation.json

    a1df688efd6b9bcf8ac741d2643923c8e1cb0764be62d24b61b522effb0f66c2

  • PROOF.md lines 1–421

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-vertex-round16/PROOF.md

    254d2e5acf0e67a5f9875ec6562745d2f9bb3d61e445370505c10d1a6c929e7e

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-vertex-round16

compiler clock current closure 20260919PARTIAL

In the fixed existing D8 current dictionary, does local covariance under the actual C clock force the selected 128-current spinor completion, and does C descend to the old 60 J-orbit labels?

Fixed original v1 E8 Cartan coordinates and the existing D8/Majorana current dictionary. The closure is conditional on a local covariant C implementation. No changed-Cartan or conjugate compact D8 obstruction, no independent chirality selection, no raw source derivation, and no physical detector or event process is claimed.

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/compiler-clock-current-closure-20260919/contract_index.json

    f06dd6132ad73df296a9a9611a33e71d5a4cbd9a287ca225540bacf3f3950f5d

  • PROOF.txt lines 1–202

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-clock-current-closure-20260919/PROOF.txt

    786817abb2707ee3245b9d6799f8ddc62873b3669889d48d5f395e5cfa2146bf

  • checker.py lines 1–402

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-clock-current-closure-20260919/checker.py

    ec8ba462fdf5146f6d8f59b5c901d3c8337626ebf0516209f6ac7cae5b54a886

  • replay.json lines 1–8

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-clock-current-closure-20260919/replay.json

    717143f931c34a4dcb90414f0ff9026883c2156cf4716779080ebfc9b7b30481

  • certificate.json lines 1–900

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-clock-current-closure-20260919/certificate.json

    ee3b1e62cc75df8e04dd9f52b2d3d31d578d52e936065ffe9ff9f9358ad6346b

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-clock-current-closure-20260919