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

gaussian vacuum filterPASS-UNSCALED / BLOCKED-Fock-implementability

Kann ein allein aus dem Quell-Hamiltonian abgeleiteter Gauß-Filter mit Eichrampen-Kompensation den Zielsektor-Vakuum-Energieüberschuss ohne Zusatzsektor zum Verschwinden bringen, und was bleibt dab...

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

  • contract_index.json lines 1–33

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/gaussian-vacuum-filter/contract_index.json

    c889c2abe2f44af6ef13628ef0f7a2c4381ecb3eeb7a2d34dc050bcbdc978760

  • validation.json lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/gaussian-vacuum-filter/validation.json

    e43ed0349721e0b9a6a43d43efabc59fb9e260951ec0d2020e18b1873aad18d4

  • README.md lines 1–371

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/gaussian-vacuum-filter/README.md

    b481c316e1222e24258754d268c8c60c7235334bc3c8021243b26368e9c28c2a

  • checker.py lines 1–226

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/gaussian-vacuum-filter/checker.py

    4a319e059d25be9f0aace0fbc994c0a1201ac8846a6910962c9379d48248e9fa

  • diagnostics.json lines 1–105

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/gaussian-vacuum-filter/diagnostics.json

    9df8a934620c189c6db0a2d3deddc3c52b2d8c660ce99e14cca6d92e284c6d1a

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:gaussian-vacuum-filter

global g31 lattice lift 20261023PASS

Decide splitting of the actual character-valued lattice lift extension over all original G31; completely classify lifts of the original17monodromies and62quarterclock objects.

Original E8 lattice cocycle and A=Hom(E8,Z2) with nontrivial coefficient action. Global G31 extension, inclusion-minimal16element witness, all22proper subgroup restrictions, ordered original reflection monodromies and exact-order4clock markings. Inner conjugation in the full lift group. No scalar-central replacement and no extra order2relation for lifted puncture meridians.

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

  • contract_index.json lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/contract_index.json

    c7bbfffdc353264e4944f0a4757662f205972e95818b92d31f4a20e15db2e2dd

  • THEOREMS.txt lines 1–313

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/THEOREMS.txt

    a5db41f218483476fe623f0fc7353df5bfabf5f79af4a3eda58d7e05e0715fc0

  • checker.py lines 1–202

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/checker.py

    e514cada894e9e638b62dd775c2438d9a1133d10ac51ec8332c2e4b43d1a83e0

  • source_manifest.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/source_manifest.json

    40c9e634996b982d0a3d2c798b6f4ac99e4154444a08caa59a4c6939351405ae

  • 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

  • THEORY.txt lines 1–349

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/marked-seam-monodromy-20261023/THEORY.txt

    83f6f464aff89acb5cc4194244a5636d4a4ff62600cdf5ee3c33ded4410f963a

  • THEOREMS.txt lines 1–390

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/equivariant-monodromy-20261023/THEOREMS.txt

    e96dab9d854b4fa6c4c93dd7792fa8769d0ee41abdafa0072817d44990ac3b85

  • 01_monodromy.py lines 1–185

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/equivariant-monodromy-20261023/imported/01_monodromy.py

    a01e6b1fc9391cb1c8cb64c3a15c924bd06b538331633d01d2c4f72477e8a370

  • expected_results.json lines 1–6673

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/equivariant-monodromy-20261023/imported/expected_results.json

    c420da48815160eeb64c02082ebeccb7cf0c7e80d6bd1adcba54fab89a019d43

  • results.json lines 1–6673

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/equivariant-monodromy-20261023/imported/work/results.json

    c420da48815160eeb64c02082ebeccb7cf0c7e80d6bd1adcba54fab89a019d43

  • binary-image.json lines 1–115

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/binary-image.json

    9c07a431897e1d6a6183827dac367940d306a057674b4e6c9067175b1633971a

  • burnside-audit.json lines 1–666

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/burnside-audit.json

    03267b27fa1d16ef2c169cb19b76044df9e5984b5cd808b8089a5588a8d372d9

  • maximal-splittings.json lines 1–122

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/maximal-splittings.json

    b766a0ec93af358cce8867a1d90cd59c35b04144eaf2d9bc59f1dca721b82eb9

  • probe-results.json lines 1–287

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/probe-results.json

    1916d51316c5f8bed8b181c121cae88e6ebe2e07581b0f53a76ed2d3a0b40474

  • quarter-character-probe.json lines 1–3288

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/quarter-character-probe.json

    8df23eafb6d543fe5e2d2491564d2bc93976470d13df9872e1a3d3a202296450

  • quarter-lifts.json lines 1–61988

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/quarter-lifts.json

    dffd70b6b8ba4b398d1013487d1283bbdeacecfddbd8bcad8c9dbe68fa6371cc

  • results.json lines 1–1490

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/results.json

    1ef8c8009b8a336e09a67147f0fc5e476ab6e165775bcc8634033fd745b75a9a

  • subgroup-results.json lines 1–574

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/subgroup-results.json

    0aa2c49ec6240b294e868ec711bce675fde50d0eaa96d8826c5bb8d4dfca69ba

  • verification_summary.json lines 1–9

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/verification_summary.json

    3c3ff30246f413e0d28a65d17d10fcbf1377845a85b22773f97ead7963d8ed73

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:global-g31-lattice-lift-20261023

ground state loop responseFIXED_PARENT_SHARPENED_GROUND_COERCIVITY_AND_LOW_ENERGY_WILSON_SPECTRAL_WEIGHT

Ground-state coercivity and nontrivial low-energy Wilson response

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

  • validation.json lines 1–245

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/ground-state-loop-response/validation.json

    707c48a0ec69680aa5a63a694791714ba77780ffdeb540e6578c81ce6270a0b1

  • README.md lines 1–270

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/ground-state-loop-response/README.md

    12aac57ead0b527dc539cae1b436178c260c494a7e0c817c597523ca05dfe591

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:ground-state-loop-response

half charge energy bridgeCONDITIONAL_TARGET_ENERGY_DOMAIN_BRIDGE

Kann die Quellholonomie auf dem konditionalen E8-Ziel beibehalten werden, sodass der verschobene Generator H_sigma dieselben polynomialen Energie-Domänen wie der konforme Standardgenerator L0 liefe...

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/half-charge-energy-bridge/contract_index.json

    a2e764f795dc449f6f42460a507dce66f619442e160c78a9bf674a9bce1e93b0

  • README.md lines 1–159

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-charge-energy-bridge/README.md

    bba81e4db69e6b63f2213f8f360ecda7ec26e2de02653be476fc7325638f47fe

  • checker.py lines 1–102

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-charge-energy-bridge/checker.py

    6848080313c0c9478519d8fb4e725acd421646b4582f817f401dd25c9b5e1389

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:half-charge-energy-bridge

half loop source transportpartial

Lässt sich auf dem vorhandenen Zustandsraum des kleinen Rotor-Parents ohne neue Sektoren ein energieverträglicher Halb-Schritt S mit S²=W konstruieren, und besteht er die Halb-Ladungs- und die präz...

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

  • contract_index.json lines 1–37

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-loop-source-transport/contract_index.json

    18d5f9d4af5d3e44617e573ffa7f68f7f15dcef4b09daa3b71835c1a40b0ac8e

  • validation.json lines 1–1344

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-loop-source-transport/validation.json

    f8e6e52a20c4ee48c5c0b3b50d7a88f76aa5910d4a9ad53470b478d9dfa0b628

  • PROOF.md lines 1–265

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-loop-source-transport/PROOF.md

    ceff4a28310493018e3de61cfa44bd4f692aab4b16685cb2036400bfebce1fbd

  • README.md lines 1–145

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-loop-source-transport/README.md

    74264cda497d0d66b1763ce45abefae47fd13d3e9a2fcdcb70e3f6f63154f084

  • checker.py lines 1–341

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-loop-source-transport/checker.py

    c1b4a9b8f311a7ca465db2d6fa73d716fa58db992f0915f1d242080327fa07a5

  • validation_optimized.json lines 1–1344

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-loop-source-transport/validation_optimized.json

    f8e6e52a20c4ee48c5c0b3b50d7a88f76aa5910d4a9ad53470b478d9dfa0b628

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:half-loop-source-transport

half twist grade carryPASS

Trägt der als Halb-Twist realisierte Ordnung-4-Glue-Vektor auf dem realen QWZ-Zylinder einen echten ganzzahligen Ladungs-Carry, und verschwinden die bei Einschränkung auf eine Kante entstehenden De...

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/half-twist-grade-carry/contract_index.json

    100cad87550a69f745872b7975974a371432f5fb900898508c944709bf9a72a3

  • validation.json lines 1–220

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-twist-grade-carry/validation.json

    68306ccccd20bba83faf37ce9e2705aa97952c11ca3756caf09258c887f8606d

  • README.md lines 1–300

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-twist-grade-carry/README.md

    b90ac8cb7b06d900927c3779788a2751e81890fbed549a41a02398ee82d89b2a

  • checker.py lines 1–320

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-twist-grade-carry/checker.py

    1336ef54c776794f2a587fbd9c7250f069394ae9e509e2e32dc91a357fa8ab47

  • vacuum_diagnostic.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-twist-grade-carry/vacuum_diagnostic.json

    9079ea8d448976c5cef9bc1ad7bcd09abdb5dce618c4d5caa8507d400072c3d5

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:half-twist-grade-carry

higher electric round45EVALUATED_NEXT_ONE_E_AND_FIRST_TWO_E_WITH_SIXTH_ORDER_IDEAL_REMAINDER

Round45: next electric sources with controlled fifth-order matching

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

  • validation.json lines 1–1070

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/higher-electric-round45/validation.json

    ae7e4e3973f3cfaeb7f3d59e663cfbebcc3a63d3b02856c4f968061fd49912ff

  • README.md lines 1–110

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/higher-electric-round45/README.md

    9d16f64fba0572cd1c3f38d7fd05af9737a685691d0aaf97ce0e71407e0fa95b

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:higher-electric-round45

historical two phase source 20260919PARTIAL

Does the historical a_top != a_QCD distinction survive the scoped same-field bound, and what exact rank-one condition is necessary for a photon-active QCD-flat phase?

Historical source distinction plus a conditional local quadratic two-phase theorem and a same-field necessary energy bound; no source selection, complete dynamics, physical spacetime, or empirical fit.

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/historical-two-phase-source-20260919/contract_index.json

    47b65c245d09aea30d077477cae737cd945bd947742ad54db707410cd32bfd7c

  • PROOF.txt lines 1–110

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/historical-two-phase-source-20260919/PROOF.txt

    5ac42a6eea300a8d3a0da0df04472413a45a1183aba00cbb2ae38e65d056e8ab

  • README.md lines 1–19

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/historical-two-phase-source-20260919/README.md

    764e84d6ace2a4925d43990cf0dd2e602a38b0554ca910101c31ac841c3fe406

  • check_joint_constraints.py lines 1–152

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/historical-two-phase-source-20260919/check_joint_constraints.py

    468a9d1481740f573581841e4d5895d49cef02791a514743abda8a16588b6d21

  • source_manifest.json lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/historical-two-phase-source-20260919/source_manifest.json

    cba7307aece62e0f074ebdb9cb27148dbb7fdef58e9abcaf6b93bf46c6a89ea2

  • joint_constraints.json lines 1–72

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/historical-two-phase-source-20260919/joint_constraints.json

    025a4ae7fc901917ec2307ce9c6aeb22f5a8d604e5e9218704fc286787396918

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:historical-two-phase-source-20260919

history determinant solver round25PASS

Exact per-history scalar determinant and solve with cyclic temporal closure and signed original physical updates; O(T d^3) arithmetic only.

Exact per-history scalar determinant and solve with cyclic temporal closure and signed original physical updates; O(T d^3) arithmetic only.

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

  • contract_index.json lines 1–50

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-determinant-solver-round25/contract_index.json

    752d62d874ed83b3570b677196c0073b111aab05747e334e38f34d7f8a82e750

  • validation.json lines 1–496

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-determinant-solver-round25/validation.json

    5ed9586706f373c22ff3aedcdabc390dd74576bbcd50ffdb41965212115c89b0

  • PROOF.md lines 1–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-determinant-solver-round25/PROOF.md

    721af33babf3d85a4648b7f4bad91a3b2d5944ec162f29c91c0c7bbb5bced43f

  • checker.py lines 1–83

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-determinant-solver-round25/checker.py

    94106706e77118227b99349904d7eb1b2a04e81a50bf8cfe2d18fea584993762

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:history-determinant-solver-round25

history reference transportconstruction-proved-rate-unproven

Kann eine endliche quell-polarisierte Referenz mit exakt identischer neutraler Determinante, aber kleinerer voller History-Distanz konstruiert werden, und welche hinreichende Rate I_N folgt daraus ...

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

  • contract_index.json lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-reference-transport/contract_index.json

    8a58be6567d79f28cae0cd2ec9d3ea1d15594ddbb847a88f69b60049e9a4326e

  • README.md lines 1–289

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-reference-transport/README.md

    0771c628f8cffdebd1cf6b31f8720f28c367c383747942d893edba173595612f

  • checker.py lines 1–221

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-reference-transport/checker.py

    17a8a1a3f438a42a4c884e0b93225c8773637a7a2ed8e2e18ddbffb53768d918

  • diagnostics.json lines 1–1012

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-reference-transport/diagnostics.json

    9aacd23d174a28a6a6e17d673940096cbcf5aacfe94a5d651dc6dd2c637fc972

  • holdout_N24.json lines 1–350

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-reference-transport/holdout_N24.json

    be049d51bdf54047b65a1a50148bd94fbe98a5d2974b6ff8bfb65587afda1caf

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:history-reference-transport

history sum control round26PASS

Absolutely convergent neutral history expansion and certified finite tails at fixed finite spatial and Euclidean time regulator in original g=0 scalar/charge model.

Absolutely convergent neutral history expansion and certified finite tails at fixed finite spatial and Euclidean time regulator in original g=0 scalar/charge model.

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

  • contract_index.json lines 1–53

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-sum-control-round26/contract_index.json

    7e8f44a221645fea902af5d553642f1f0ed4000228aa7ea605d85fde06889f6b

  • validation.json lines 1–527

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-sum-control-round26/validation.json

    31a3dda14d57e248ffa60774b2496a3d003c8f840302dbe1c86cf2d9f5f503a0

  • PROOF.md lines 1–198

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-sum-control-round26/PROOF.md

    cd1ea78abaeabd0073fa20e290aebe4599d4a1895552f23d9ef3843064cb6647

  • checker.py lines 1–71

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-sum-control-round26/checker.py

    771396595f191df187072cf239d733116f8268d78d020d25195f1a1f348ce653

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:history-sum-control-round26

homogeneous completion round11PASS

Round11: two different constant-mode problems

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

  • validation.json lines 1–197

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/homogeneous-completion-round11/validation.json

    91cfa5b07f04179513602b383970e22be5da4b71314a872ccf2b73346324997a

  • README.md lines 1–33

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/homogeneous-completion-round11/README.md

    8537a26bd27d4b7780964c7d24e8fa1e3afc92634872bc7c250c74294aaeb8b5

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:homogeneous-completion-round11