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.
Carrier, families and E8 closure
The published foundation in this area
32 authored claim references lead into the original ledger and paper sections. This source record remains available even where no separate reviewed research packet is attached.
Read the foundational statements and sourcesThe finite compiler combines a five-slot carrier, a selected half-spinor action, D5×A3 and Z4 glue into an E8 lattice closure. This establishes a mathematical construction within its stated choices, not the physical gauge group or a first-principles origin.
- Starting structure in the Atlas orientation
- Under the stated actions, D5×A3 with Z4 glue gives the even unimodular rank-8 E8 lattice; the half-spinor reading depends on the chosen group action.
- Which connection is sought
- Open items include physical boundary realization, a local interacting chiral 3+1D implementation, mirror decoupling, and derivation of the action from the origin.
- How it connects
- E8 carries internal clock, code, flavor, and arithmetic structures. Rank, representation, family count, and spacetime dimension remain distinct types.
Reviewed conclusions to explore
Established in scopeMarked DHR field reconstruction retains neutral words and canonical state/time liftEstablished in scopeActual native clock generates marked source spinor and minimal charge closureEstablished in scopeJoint spinor-meridian source word produces the actual family rootHistorical 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.
39 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
canonical seam fermionization 20261025PARTIAL
Do original A4 spin data determine the local NS/quarter dictionary, and does the retained CAR winding admit a complete E8 sector-changing extension in its actual source frame?
Literal same-geometric-identification order-four A4 Pin lift; spin-reference longitudinal circle without extra flat gauge holonomy; supplied full CAR/positive-time/fold/cocycle dictionary; standard four-D8-module AIA parent. Complete finite-energy affine extension, not a bounded physical local-net endpoint or physical origin theorem.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–91
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/contract_index.json
0f6ee1e3cea481274b4d9372b7d3e801e0897d3c90a50a23b107212ad9b7189b
- PROOF.txt lines 1–235
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/PROOF.txt
adb8dac5389d79f7e1374d491ef848c5cc30d8851f6891c03a668c36f5807769
- check_same_source_affine_defect.py lines 1–372
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/check_same_source_affine_defect.py
0f51ab119938a05184a3f3e11b364dcb4ee02749487829bf65147bc86647131c
- ATLAS-RECEIPT.json lines 1–8
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/ATLAS-RECEIPT.json
46c35da664c52f0538a1338f19219d61d66fe35cd228775337022253443c5a1f
- REPRODUCTION.json lines 1–31
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/REPRODUCTION.json
645b34731fe562fb4ec8c79bdc6aa1a4a9ec8dec320b1f5f53024a2cf496741f
- lattice_source_frame-results.json lines 1–288
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/lattice_source_frame-results.json
3395bbbbc692e2135597b6d6e73afa13460974b361e5014e5b4aaccaea1a4682
- same_source_affine_defect-results.json lines 1–84
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/same_source_affine_defect-results.json
a22b60de5df1e4020cc7a69cb9798c0c9a03ca45d6d3a69e6685568ac7f71f0e
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:canonical-seam-fermionization-20261025
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 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
collective native marginal origin 20261026EXACT_SCOPED_FOURTH_MOMENT_AND_MARGINAL_OBSTRUCTION; PHYSICAL_ORIGIN_OPEN
Does the actual E8/J native source first distinguish its literal five-code through four-register correlations, and can any <=3-local Hamiltonian select that whole code as its exact ground space?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–72
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/collective-native-marginal-origin-20261026/contract_index.json
033743c773229f47803c9d9f3d9183b17436b88ca5158ae6d9af57d7bef16eb1
- PROOF.txt lines 1–100
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/collective-native-marginal-origin-20261026/PROOF.txt
72ff4cac1b6e32d71cc1d4f0fb39fbf59754935f72455b7e5a3ba5ffce0b369e
- check_collective_origin.py lines 1–147
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/collective-native-marginal-origin-20261026/check_collective_origin.py
f05fb2f189f6a7d21a1f423042cef3cc605e2e52aa8c1e64068cb4ba6d4b4218
- dynamics_results.json lines 1–99
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/collective-native-marginal-origin-20261026/dynamics_results.json
4d6ab1df704cb1ace891a30a87e4cad61317265cf7cfaa5ff4e704dbb78a4fd0
- results.json lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/collective-native-marginal-origin-20261026/results.json
af039e7c41aaf067e583d7c90daf9b88cb62bf129ba5caee55d37186f317d606
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:collective-native-marginal-origin-20261026
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
compiler e6 seam readout 20260918PARTIAL
Can the original seam D4 module be completed to the native SU4 family module and E8 algebra, and does the same operator structure connect 16x4 to 27x3?
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/compiler-e6-seam-readout-20260918/contract_index.json
6478c8ffd27d7901d68a22c729993d6bdaa1164bd42a3819dcce231b2140bd97
- PROOF.txt lines 1–233
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-e6-seam-readout-20260918/PROOF.txt
a40b401a71eca7a06fad95bbe0f0f7727e371cd6c9cd4a4f32f453347cfa03d4
- README.md lines 1–19
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-e6-seam-readout-20260918/README.md
0693d19d9ff033906aa6563484eb604b32884ddca4f9f8a6ec9aa73e7ebd1fee
- checker.py lines 1–9
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-e6-seam-readout-20260918/checker.py
8d4c2a5102a535656c124c73d86a52022d2500671e4bf650b2289e38b67e9b31
- replay.json lines 1–16
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-e6-seam-readout-20260918/replay.json
b78e383036c6870e67c9cd292623320fcdb6fe8394b04a86384cbfb5f8c467fc
- certificate.json lines 1–6720
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-e6-seam-readout-20260918/certificate.json
5db57d606a9e452edcd13c263ed28030a101a5c4ff608f1d9958af86d1608e42
- manifest.json lines 1–15
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-e6-seam-readout-20260918/manifest.json
0ebb46b00b093f3e8984f407b4c720a3ae66f5a7dca4aff30b8eb142f124ce70
- source_pins.json lines 1–19
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-e6-seam-readout-20260918/source_pins.json
c1de1a0163930807f9f68914679bf9718c87bc160d1811cad5871496669ecd28
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:compiler-e6-seam-readout-20260918
compiler vacuum current cubic 20260918PARTIAL
Does the original affine E8 vacuum leave the preceding D4 family-density freedom in its current response, and does it fix the marked three-family cubic?
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/compiler-vacuum-current-cubic-20260918/contract_index.json
32daea34ae13bd70618555b6e8d3b1652e9d6fa3355b06c4d14cae508bdd5882
- PROOF.txt lines 1–137
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/PROOF.txt
d65189b806facbb1eb718eec50221bb85b3a8c3417f98fb6627e01c72c98ef62
- README.md lines 1–24
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/README.md
5e6076cb4a97d12cd1252c7d024dc9937f9b3a8e6046db1c3ea28db45cbafc8d
- checker.py lines 1–283
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/checker.py
cfe406a6302c9bec7ceb404074f83e28006351e13dbc4b8a143231d758d8e119
- replay.json lines 1–42
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/replay.json
68087dee8294b2d98f4c83fa7224835fe7a7598798cab75a8cfd66a437a15a3e
- certificate.json lines 1–1008
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/certificate.json
150f27876e19fba789b497d53b1dc02b3d9f2f02704b991cc214cfc8e0ab51eb
- manifest.json lines 1–14
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/manifest.json
6142d33390fb2b130421bc87381938f6fcfa2be6a02f566c1adf0c89cf292dd7
- source_pins.json lines 1–25
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/source_pins.json
a6e3588e75768a37747606d57802c358f1fe7b94752e8691f412261320ed779b
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:compiler-vacuum-current-cubic-20260918
e series compiler closure 20261023PASS
Complete the four compiler follow-ups: full lattice-field lifts of E7 pairs, all E6/E7 compatibility with the native D5+A3 split, exact common covers and actual clock intertwiners, and a common representation dictionary for the existing48,4/3 and5/4.
Fixed original E8 lattice, epsilon, Gaussian J, D5+A3 compiler split, neutral4/5/20 and existing marked cyclic covers and Burau matrices. All four comparisons are solved in this declared mathematical category. The established P1/P2 compiler and seed derivations are retained.
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/e-series-compiler-closure-20261023/contract_index.json
59e20f132794b3bb1cfe049824e494002f0cd198ed93a6d12012aeb9f783f4e4
- THEOREMS.txt lines 1–147
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-compiler-closure-20261023/THEOREMS.txt
361450df688c5dc8fa3b8c69ff6a8d0f35156772bee5ec0acab494eb32d3587f
- field_lift_dictionary.py lines 1–125
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-compiler-closure-20261023/field_lift_dictionary.py
3b9f347c2042d86c14b6a49a60f0dd12783395b5cf12a62b6a0aa5361b44301b
- field-lift-results.json lines 1–2063
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-compiler-closure-20261023/field-lift-results.json
dae08ec52a7e09f13a4935823d6e4bd0ee8ae0baf498927ce98fb96f06bf0be2
- results.json lines 1–108
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-compiler-closure-20261023/results.json
72917f59f8831cd96e9d82f09332cc5ca6b08c65e0a14ee9b3e62b67804dd0b7
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:e-series-compiler-closure-20261023
e series incidence algebra 20261024PASS
Close the supplied independent E6/E7/E8 finite incidence classification against the original marked field lifts and global cover monodromies, and identify whether the tetrahedral incidence retains all E6 information.
Standard E8 roots, regular A2-normal E6 and root-normal E7 systems, actual Weyl action on transported full D5+A3 compiler flags; original cocycle and fixed Jhat sign-lift equivalence; original induced Burau deck local system. No physical-origin or corner-selection claim.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–34
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-incidence-algebra-20261024/contract_index.json
bc741716593a58fc11a9ad7f2d3e1377e48e8d8458022c55f22550f9b3d77a1b
- THEOREMS.txt lines 1–184
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-incidence-algebra-20261024/THEOREMS.txt
e80821d422297cfdfce23e892c1b099cc23505ae22ae92f01dcf77d4062f0a5d
- checker.py lines 1–289
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-incidence-algebra-20261024/checker.py
c7c37ce3ebc3505a6a9953f3f7e156154bbb6479a219942be0921c9e789462f4
- geometry.json lines 1–295735
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-incidence-algebra-20261024/geometry.json
485078e53c7cb2ca5ced035ae1c54073dafb9011add85956572053f2d58c2b3f
- results.json lines 1–714
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-incidence-algebra-20261024/results.json
c97e6c7bb69325e2bcb93f2bc18a3a4f33abb222deb2a6731871d141e442c94a
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:e-series-incidence-algebra-20261024
e series joint source 20261023PASS
Determine the complete joint mathematical compatibility object of the existing compiler flags, E7 pair operations, full lattice fields and marked covers, preserving their actual transitions and all previously proved obstructions.
Fixed original E8 lattice VOA and epsilon, native D5+A3 compiler flags, J/sigma/c/Y, quartic/erasure diagram, existing oriented C2/C3/C4 covers and retained Burau deck module. Transition groups transport marks. Cyclic field lift equivalence is character gauge fixing Jhat. The Burau local system used in the peripheral comparison is induced from its supplied marked cover and deck representation, not an independently geometric Gauss-Manin family.
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/e-series-joint-source-20261023/contract_index.json
06cb8e426fb0997179c5381a5051f64722c7a914ac75d3dc49ba06772aa640cb
- THEOREMS.txt lines 1–201
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-joint-source-20261023/THEOREMS.txt
9ea22e7fa3b640f7b014287adccd49d1ed3605547ac076a43d719458ec501932
- compiler_closure.py lines 1–345
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-joint-source-20261023/compiler_closure.py
25625114efba98d2039254ce183eb23e3596ff831a729ab04f58f1a86d0ec8b6
- results.json lines 1–97
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-joint-source-20261023/results.json
d0d3d03891673eb525b49508a6671d16116027548cd766fbc5a0d9a0c6617b1c
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:e-series-joint-source-20261023
e series quarter clock 20261023PASS
How do the original E6/E7/E8 windows and regular root slices interact with the actual Gaussian quarter clock and the original G31 reflections?
Fixed standard E8 root lattice and actual J with J^2=-I. Root slices, full E7-pair bracket/lattice closure, integral glue quotients, intrinsic square-curve family and double-cover descent for the supplied all-J local system. Normalization prescriptions compared conditionally. No arbitrary Lie-subalgebra embedding classification, no noncentral lift-class result or P1 normalization derivation.
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/e-series-quarter-clock-20261023/contract_index.json
44751eeb32dba01e29d18a4f027eb5d0c3201f9beed9e90588ccac084a118cd4
- PROOF.txt lines 1–286
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-quarter-clock-20261023/PROOF.txt
ac3e95975adb14c82815731b3d8aa0f6e1caf72d25fb749250a5b1bbcd269884
- checker.py lines 1–231
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-quarter-clock-20261023/checker.py
31e9fcf230273955bbf69536c6594255e3c0c53034a87e13ca1d3c56815b0562
- results.json lines 1–212
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-quarter-clock-20261023/results.json
4facde6fe6d8648575f4660e74c448e84453f4e18eb3a367d9df32fb8678f2a6
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:e-series-quarter-clock-20261023