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