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
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
equivariant monodromy 20261023PASS
Determine strict, peripheral and equivariant central lifts; evaluate all original G31 quarterclocks, integral monodromies, and compare actual sign-lift and reflection groups.
Original 60 G31 reflections, four ordered punctures, 17 simultaneous conjugacy classes, 62 exact-order-four clock markings; existing central Z4 extension with determinant cocycle. Relaxed transport equations and equivalence are explicitly defined. No identification with noncentral lattice lifts or the effective diagonal quotient.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–31
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/contract_index.json
1555d4e12b366d7235dab9c14dec87cdea72df2d645c3fdf694b4f61b4507979
- THEOREMS.txt lines 1–390
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/THEOREMS.txt
e96dab9d854b4fa6c4c93dd7792fa8769d0ee41abdafa0072817d44990ac3b85
- checker.py lines 1–258
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/checker.py
91927ca2d86a724b387285b8406880df9cca0a46c7931940e5f344a91c230973
- source_manifest.json lines 1–51
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/source_manifest.json
3325267039f81e3eca4f7dfccca2f1e2ab4381da825fabd17a84e2636eb048e1
- core.py lines 1–111
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-quartic-carry-20260919/core.py
f5b724a04ff535f080d39a014627845d83810f32361adc1721fc97a4d40132d9
- PROOF.txt lines 1–274
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/compiler-quartic-holonomy-20260919/PROOF.txt
5b5664c9704e9b607496e37a4819295025310ce82ef11750849bd4f8a2cfd6f7
- THEORY.txt lines 1–349
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/marked-seam-monodromy-20261023/THEORY.txt
83f6f464aff89acb5cc4194244a5636d4a4ff62600cdf5ee3c33ded4410f963a
- checker.py lines 1–466
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/marked-seam-monodromy-20261023/checker.py
e6e7205eb83341ef0f9a2a433bb71be2aea1908faae42552f04f38ba6abcb159
- 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
- 02_clocks.py lines 1–108
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/imported/02_clocks.py
69ffc2a41e1935ba15906e4cdf9c6a6d224ff026710a139743bf35a8fbd00b9c
- 03_bundles.py lines 1–102
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/imported/03_bundles.py
2b2a375bcd38b126c9543598f0b842494ae6b00e0e8503f3b6bdb5a0006aab49
- 04_integral.py lines 1–58
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/imported/04_integral.py
645640c82bf561533b6ede0c03f6c3eb1d17604e58d45da95420e8a2cf9611ff
- 05_cocycle.py lines 1–51
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/imported/05_cocycle.py
f50bb4969fd41579626536aefed70f3ef050704586ee3ef1a2bbe1919c5530db
- run_checks.py lines 1–50
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/imported/run_checks.py
f453bc401e229d78944d4e9e232309cd951beb6994936a51aa86d7dd076293d0
- results.json lines 1–5726
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/results.json
d25e8a6913b100f3b2f4dfd19afc749ff6de73420c4fca79c7b360dfb953aa22
- verification_summary.json lines 1–7
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/equivariant-monodromy-20261023/verification_summary.json
9bf57da4fe0cbf6a48fc9d63462644cc739c4c264d08a55c0fab6b97042790c6
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:equivariant-monodromy-20261023
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
joint source clock field closure 20261102PARTIAL
Does the actual later source M/native order3 sigma admit a minimal common charge closure without E8/selfduality input, and can its marked DHR sector provide canonical charged coordinates?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–41
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/contract_index.json
f3c9a84178c7407cc6c11862b4081b7626880fb09486c20b5ac2a379daa7770c
- PROOF.txt lines 1–161
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/PROOF.txt
1c47843cba2ec556b3419bbdbc1df2bd346b3c962a2c0c555b1254454a863d74
- clock_closure_hnf.py lines 1–124
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/clock_closure_hnf.py
2f8268632283c5e88e4739f767a5839d9c88b2a50dfbf2264cb7a42e120e1fee
- actual-clock-completion-results.json lines 1–300
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/actual-clock-completion-results.json
96b681767d0496950683c125e7e0148f8615b72fb81d467a3fcdc37a3c9bff59
- actual_fold_fixedpoint_results.json lines 1–11077
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/actual_fold_fixedpoint_results.json
0b5619cb4e162708ead76c0ae1d5741af660d813406632b2919034fe5d24c68f
- clock_closure_hnf_result.json lines 1–295
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/clock_closure_hnf_result.json
ca5971b39f742e48b5e807da2ee52e418137aa931c14cf65cec861bd0e390134
- one_field_same_source_result.json lines 1–1329
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/one_field_same_source_result.json
8d3ba3478bfbf0605db4272eda9e3d66b39bf7fb99067a3cfff114744f1202ae
- source_manifest.json lines 1–38
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/joint-source-clock-field-closure-20261102/source_manifest.json
b31a120da2974a72aa44f73dfcb26be4b13bb02b9a6801a7e9f183b2b4bcac36
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:joint-source-clock-field-closure-20261102
marked seam monodromy 20261023PASS
Classify all sign lifts of the native quarter-clock representation on the ordered four-punctured sphere, and determine their actual extension classes and native quartic/exterior cohomology.
Pure mathematics. Full sign-lift preimage of <J> with all four peripheral projections J, prescribed ordered peripheral conjugacy classes and simultaneous conjugation by that preimage. Full factor table on native <J,R>=C4xC2. Not unrestricted G31/W(E8) reflection moduli, a global splitting theorem, a mapping-class quotient or classification of spatial-reflection-equivariant lifts.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–41
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/marked-seam-monodromy-20261023/contract_index.json
e3447f50916764b167c3aa0cac6e00473ca4d73f9b08e96df1051aa326fcaeb8
- THEORY.txt lines 1–349
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/marked-seam-monodromy-20261023/THEORY.txt
83f6f464aff89acb5cc4194244a5636d4a4ff62600cdf5ee3c33ded4410f963a
- checker.py lines 1–466
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/marked-seam-monodromy-20261023/checker.py
e6e7205eb83341ef0f9a2a433bb71be2aea1908faae42552f04f38ba6abcb159
- source_manifest.json lines 1–20
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/marked-seam-monodromy-20261023/source_manifest.json
b93771ee5416083bbd53c4458b6b651f646b4ff2ac42681b895dfec18a768f8c
- v634_st31_structure.py lines 1–1124
Source checked at this snapshot
Original location and fingerprint
verification/v634_st31_structure.py
5ff53ed031ca03103187ac22edf723aabce88bee3df1085c52486ecb0044d37c
- 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
- 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
- process.py lines 1–1037
Source checked at this snapshot
Original location and fingerprint
tfpt_explorer/process.py
e8db5fcd999c9d4c34fbee548aa2c85e1a515cf03663a62355533439ae0f1c94
- results.json lines 1–660
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/marked-seam-monodromy-20261023/results.json
6a7a49be9da3ad1a71c5062a04a63d34e674e6ea1fdafbc451069d225ad7205d
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:marked-seam-monodromy-20261023
native mark memory 20261014PARTIAL
Which marking and response memory follow from the original charge source, and can the derived four-grade factor close under the same Hamiltonian and actual clocks?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–134
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/contract_index.json
cf4ebd4c6bf88c97690a01ee2ad252de024ae7c5af61168447a4230ed4182144
- PROOF.md lines 1–191
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/PROOF.md
10492f2d34e93ffb8db2593b120ef120401e26bd5acc34db0cd9c7e8f15ec364
- README.md lines 1–7
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/README.md
bd8db56e48700e7825e0a961c20e23801ecfb2424f723231d51ef4c8463a2036
- checker.py lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/checker.py
50a3b64a68a585f3eb574b343aff1822210b36c09714469d43f601753ec69d69
- source_manifest.json lines 1–117
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/source_manifest.json
0d4e140fd36126f58cbe5b739c383d7e1df49dd0c94a60fc1a8f5cd634a4bbda
- PROOF.md lines 1–250
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/charged-lift-round16/PROOF.md
a02a9cd73bcfd1382e187531dc218f9b422e4d89504fb57ec56643c5c5d9cfc8
- README.md lines 1–230
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/carrier-module-conjugation/README.md
2f1b9171f4ea03bbe6dc0466834f21d738526b84c559f4008fa17c3e8f42ee70
- PROOF.md lines 1–285
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/local-charge-transport-round20/PROOF.md
6d7059cc75108be2b7262f030b83e2c14c774a950d2f1ccd0f9c5c1b3b5afb5c
- checker.py lines 1–397
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/local-charge-transport-round20/checker.py
e5b56b53e3fbb079947d8f420aa45cfd0190e9ac3ccca9fd42f8797a7438d234
- PROOF.md lines 1–175
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/hopping-source-domain-round20/PROOF.md
b9d5bd67310cfc3176e92e1b72d3609c128566635166adb5df8d582d54bcd624
- PROOF.md lines 1–157
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/scalar-charge-energy-round20/PROOF.md
f54190fffdf3ccc110c5a66d6da0575c7b8ad96a5a880fcb4b6c01f930ccb7b5
- PROOF.md lines 1–198
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/history-sum-control-round26/PROOF.md
cd1ea78abaeabd0073fa20e290aebe4599d4a1895552f23d9ef3843064cb6647
- PROOF.md lines 1–255
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-source-reconstruction-20261014/PROOF.md
d16b6af2c90491ac94eeb4ab04a8c96b072d37bb6bc5015b3db85c023f8a96e2
- 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–199
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/charged-sector-readout-clock-20261013/PROOF.txt
26e6480a6304e4da5be96328e70f5f56c5bee1bfde7e58593a34a273016d09e0
- MEMORY-REVIEW.md lines 1–686
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/MEMORY-REVIEW.md
74314123ad648066b1d86de11e0afac53f8165472619b96fda7b30f0eb92c73b
- MARK-REVIEW.md lines 1–75
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/MARK-REVIEW.md
54b83ea2b6198545558a8efc79fa47eb78b1f9adb609a3ff3cc3837579505651
- results.json lines 1–30
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/results.json
73fe617ec8ffe29822c40e2a38a8cec20742bc50dfe4ae5eaf78f45387f945bc
- carry_check.py lines 1–47
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/carry_check.py
1b14d3977e94618e308756b128bfe8de52e1c282cc5b79dd5462f0b8d2868cc7
- carry-result.json lines 1–33
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/carry-result.json
f5b8e365c11c80967c8469b78ca27fa9e5e3bbaf1aac0e6e31338b34f377aeb8
- clock_probe.py lines 1–93
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/clock_probe.py
24fba1254dd11738448c9e5baa9035a7f5e966d0e9ea2cbddf77345e7e0646cc
- clock-result.json lines 1–193
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/clock-result.json
0438eba443d70e8e4546e8d1d45e63b4bfde0b7cb3beeedbf2f11aa61c7e1147
- CLAUDE-SELECTION-AUDIT.md lines 1–74
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/CLAUDE-SELECTION-AUDIT.md
d154de3d96d6a28a15aa03923916138c587fee96e5816403c285f455ceedb5c5
- spinor_selection_check.py lines 1–37
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/spinor_selection_check.py
da4f220259918bacdf39cf6a20d89d49cf0bad10b318fca8598854716859bf78
- spinor-selection-result.json lines 1–67
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/spinor-selection-result.json
2ad935403c7aa44c690a7a474701b7b08a3ec8e50bd2e2952690c49be26f3871
- CLAUDE-SELECTION-REVIEW.md lines 1–81
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-mark-memory-20261014/CLAUDE-SELECTION-REVIEW.md
b7641433e82bc70c7aa10cd2366cae0afaa048094cee0535b1b29e72f5ba0de2
- TFPT_Gesamtsynthese_2026-09-28.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_explorer/docs/session-2026-09-28/TFPT_Gesamtsynthese_2026-09-28.tex
73097e57a9ba40866a96d110041aea3246085cf54d210096a509fa3de2162510
- tfpt_3_e8_audit_bootstrap.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_3_e8_audit_bootstrap.tex
8fafa428bf8a079d774692514063c51eb62e4fdeb3897a1db40563433b4a3a7c
- v624_external_lattice_audit.py lines 1–261
Source checked at this snapshot
Original location and fingerprint
verification/v624_external_lattice_audit.py
71d0e6fbabad7f3d2187d708638371a2df5722f5a9d5eb80d851e205e577cc9b
- v993_minimal_defect_selector.py lines 1–544
Source checked at this snapshot
Original location and fingerprint
verification/v993_minimal_defect_selector.py
1d39723c8beb6ebc848414a7448c98040c0e3790fd2498d249dee1a682059b2d
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:native-mark-memory-20261014
native observation arity 20261025PARTIAL
At what native tensor stage can the actual clock ovoid labels first be observed, and is the corresponding original erasure response the derivative of the original quartic source?
Actual native G31 on V4, its normal Pauli kernel, original symmetric quartic code, and the six actual E8/J doily ovoid labels. Finite normalized positive operator effects on native tensor powers. Coherent-input formulas use a specified input x^tensor3 and the existing original erasure map. Comparison with the older source-product null locus preserves its declared local E8 field embedding.
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/native-observation-arity-20261025/contract_index.json
6b3cd3f197180218718f2709435bf142397b19762172412fd337e2ee0052bd7c
- NATIVE-OBSERVATION-ARITY.txt lines 1–246
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-observation-arity-20261025/NATIVE-OBSERVATION-ARITY.txt
3beb984ed44fdc1c9aab40626fc19357aaa5a0a15dcaa57259f6d71e487e5b39
- native_observation_arity.py lines 1–888
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-observation-arity-20261025/native_observation_arity.py
9348f26847ff246b7d9c9e1c1f346bb89164fd38936701663a5f896808a31186
- coherent_quartic_response_results.json lines 1–4071
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-observation-arity-20261025/coherent_quartic_response_results.json
0b4387a3808e5d446a2b919eab728beb8ff456776bd6fddf9ee8f44d71c623db
- native_observation_arity_results.json lines 1–221
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-observation-arity-20261025/native_observation_arity_results.json
ef6546964f797e70a07aaf1cb1cc7b28e6e0df72545733072b9aaf08f657a027
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:native-observation-arity-20261025
original source functional audit 20261013PARTIAL
Does the original source selection jointly derive charged operators, state, instruments, continuous clocks and geometry without a new auxiliary model?
Exact historical UV integral-map contradiction and finite native 2x2 instrument ambiguity; current source provenance audit. No full TFPT countermodel, continuous clock/geometry derivation or T1-T8 closure. 2026-10-15: exact seam/charge clutching-class prerequisite audit; no new physical source or full nonuniqueness theorem.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–87
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-source-functional-audit-20261013/contract_index.json
5e74e04c66940d347aab499f737f53811d2aee4d4a258adbaf818de1b2a609ad
- PROOF.txt lines 1–22
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-source-functional-audit-20261013/PROOF.txt
3557744662f96c8cf00907f652695939ab627991e074b17abda4a16ebb75d10c
- README.md lines 1–7
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-source-functional-audit-20261013/README.md
086559ab8e40af5a2a8f6cca748ff19a3363d7b5fab9981d1f4b3113d12c2312
- PROCESS_PREMISES_20261015.txt lines 1–68
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-source-functional-audit-20261013/PROCESS_PREMISES_20261015.txt
d752d5b2406781c819bdd313f81033d1be14c9716dc3b7f4d18897bfbee78900
- instrument_checker.py lines 1–99
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-source-functional-audit-20261013/instrument_checker.py
0aabefd33329bcdabc787a4073021f10e5b168f40a9e38f80ba8a20e81dcdaef
- instrument_results.json lines 1–56
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-source-functional-audit-20261013/instrument_results.json
e2e23d77a6fdc2f13d6d6fa976aff0b30fe14c432f2d9cbf66834d171f5f88d0
- source_manifest.json lines 1–34
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-source-functional-audit-20261013/source_manifest.json
b2ecd8296a07d1ea97fb5bc217c285f1a3cfe2ce2ee4a621a52ff5d0380178bb
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:original-source-functional-audit-20261013
rr continuous clock 20260921PARTIAL
Does the marked RR quarter-turn extend to a continuous symmetry of the unchanged native W process and its interacting response, and does this select physical source time?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-continuous-clock-20260921/contract_index.json
c1fb797ea2ec02cbafcd8929e2f3e8d4fd0d9a7dce4f34aa7b601e446b3522cc
- README.md lines 1–9
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-continuous-clock-20260921/README.md
5e881ef62749423ca233b199b64e4913f20142808e74c8ea0ea8724bd04bd86d
- replay.py lines 1–13
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-continuous-clock-20260921/replay.py
a30f613e7e8df5e22b88dbcfbb8d1e7139032e3dfc0c53ad643375f4e7c6226c
- certificate.json lines 1–390
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-continuous-clock-20260921/certificate.json
d1ce72108dcbb90738f2e046e05407fdff76024aa48fb87f34f1b6bf245f2789
- manifest.json lines 1–14
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-continuous-clock-20260921/manifest.json
eb0bcbbac71bea032fd823bdd4c09c5b9e4603113d0f80981c0f671a0c7e4312
- replay_receipt.json lines 1–6
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-continuous-clock-20260921/replay_receipt.json
a44db52f5b180e36506b72aaf0fececcb29d9520e2128103e2ecd48d465b7f35
- source_pins.json lines 1–12
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-continuous-clock-20260921/source_pins.json
cbf939eb574f5d43f8098f00d220e84f551d6e238d1562f8d0993fa7bee140bb
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:rr-continuous-clock-20260921
rr residue memory 20260921PARTIAL
Does the marked RR residue quotient identify the four marks with a continuously closed source subsystem, and can compatible metric or clock changes repair its missing constant mode?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–93
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/contract_index.json
8d4a1da474493cd4f864915b44bc992ec46a85f2a61881317d7037cfb5356eb7
- README.md lines 1–13
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/README.md
162ccd031bddca0c0e99c1a924fcb84cdf6f794cdddc1f81a9a71b2dd044d44f
- replay.py lines 1–27
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/replay.py
7b131b79f18228e3cd52ea5a76a7c14bab5d77c8081d95bcdfc6e1812960fb69
- hodge_certificate.json lines 1–97
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/hodge_certificate.json
4a3f347f24ebc9f0608fe27dc9f5f16da048f3486fdb56dba9d734dd847f90dd
- manifest.json lines 1–24
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/manifest.json
542dc90737d3f6c6bbab444fada77f6fd329ef93b9c811e7d01410363ffbd136
- replay_receipt.json lines 1–12
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/replay_receipt.json
98988abfd002a477e8c362f34be1b1b65087292c26078a680df213ab04c986ff
- residue_certificate.json lines 1–191
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/residue_certificate.json
b7870867f3b302d8e67e269e7e03a80aec5ee753c1d32040993083bcd9a1f395
- source_snapshots.json lines 1–30
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/rr-residue-memory-20260921/source_snapshots.json
63f5cf220ada9ff8a719ed756bf2562691f41a023f3ca6ff8cd399b72e5b1c00
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:rr-residue-memory-20260921
seam equivariant active search 20261024PARTIAL
Classify native marked quarter-clock reflection and rotation lifts, their forgetful images and the pure mapping class quotient; compare local model construction with exact active hypothesis search.
Original E8 sign cocycle and fixed J,T0. Extra projected reflections J^s T0, s=0,1, and rotation J; simultaneous character conjugation for marked objects, Gamma conjugation after forgetting marks. Pure mapping class quotient of the original unmarked ordered four-J stratum.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–52
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-equivariant-active-search-20261024/contract_index.json
86d3fbc5bc53f096e31b23f2db7ec2cd06e5d0a101c5346222d7c4e3a7e318d4
- THEOREMS.md lines 1–178
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-equivariant-active-search-20261024/THEOREMS.md
666123fe4881001a342ec762bbe42595033b74a015282f774ef17d05903c5f49
- checker.py lines 1–10
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-equivariant-active-search-20261024/checker.py
e4f8ea1d058424943681cb4cabb448a775b4af53261713a91f5b995ffff57c31
- source_manifest.json lines 1–43
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-equivariant-active-search-20261024/source_manifest.json
3edef66a113eb4ba5d040a5f6a735433ea60e40e161b62084797056cee4b38fc
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-equivariant-active-search-20261024
seam joint ward state 20261014EXCLUDED_MARKED_FOLD_COMPLETION
Can one D8-containing even-unimodular extension preserve the source charge/clock class, determinant-only packet response, unchanged fold time, and original vacuum requirement at once?
The verdict EXCLUDED_MARKED_FOLD_COMPLETION applies only to the historical unique-vacuum/unchanged-K/determinant-only comparison class. It does not exclude or downgrade the positive global even-sector factorization W4=U_s R_c proved relative to the stipulated E8 completion. The source-operator addendum starts from the retained original chiral CAR representation on its chosen source circle theta: multiplication by exp(i theta), its fourth power on the folded source-fermion realification V16_source, the folded boundary condition, normal-ordered Q and K_alpha, and the actual v988 finite-cylinder constructor. This source circle is not identified with the P1 seam-core circle; interpreting source winding four as core winding two additionally assumes a double cover. The addendum proves a genuine global charge-four CAR spectral flow, an affine label factorization, and—after the unitary integrable E8 level-one representation Ls is stipulated—a global neutral current-algebra lift R of the affine factor. On the original even D8 Fock sector relative to that stipulated E8 completion, an explicit extension of the ordered source cocycle and the torus factor Z_a prove the global identity W4=U_s R_c. It does not select either representation or the two kappa lift choices from raw P1/P2, identify R_c automatically with the fixed Tits R, extend the equality to an ordinary local odd-CAR/E8 field algebra, turn the global operators into local memory fields, or identify native f/b operators. D8-containing positive even-unimodular lattice extensions with the actual folded D8 currents; the unchanged K(p,N)=|p|^2/2+delta.p+N; the source cocharacter q=(1,...,1); the retained genuinely eight-periodic U(1)-dressed clock and its composition-preserving square C=g^2; and the original determinant-only packet formula in a common carrier/family frame. In Ls, lambda=q/2 is intrinsically a norm-two root, so every genuine E8 lattice isometry transports it as a root; this derives q=2 lambda and unit carrier/family projection norms in the same q frame, but does not select a physical axis, clutch, operator, coupling or statistics. The dressed clock and source-to-field dictionary remain selected premises, not raw P1/P2 derivations. The neutral SU2 statement additionally assumes the standard unitary level-one Ls lattice-current extension. The independent Ls C lift with pair (8,0) is a valid comparison but is not the square of the same unchanged g. The constructive residue bridge additionally retains the prior finite metric N and explicitly marked M3/U3 dictionary; native U3 is not identified with folded source g^2. The triplet-plus-singlet exclusion assumes the separate EXTRA parallel identification. The spectrum/CP corollary is restricted to the old one-A(h), 24-group single-C class (with common h and real coefficients for the CP statement). The six B_F objects are weight labels in a three-dimensional Cartan space; their rank-three h-map is not a complex-linear CCR-preserving isometry of the full native six-boson module. The family-time addendum projects the already retained fold cocharacter delta into the A3 factor of the assumed dressed-clock/E8 frame. Its action is representation-dependent rho_R(delta_F); it is not a P1 derivation, a native W insertion, an adjoint evolution of Cartan residue labels, or a proof of bilocal necessity.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–276
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/contract_index.json
a7a813dd3b60ff4340cc2f6fe8c4bbc780486beeda007117a69359df8adc303a
- 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
- README.md lines 1–219
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/README.md
e6eeeb4a5aba4b0bf65e901d478ce4fa5998b1b7c3cd2d216627b96df152cb35
- 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
- source_manifest.json lines 1–289
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/source_manifest.json
73b36114ca6aba3d2cabcc13294c3cefaf9e3600e0d432a3ced457bbfe7e2b80
- PROOF.md lines 1–180
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/v16-operator-pullback-20261014/PROOF.md
a4802d25255e9bc1ce3cd4a3577c56dd5e81e02fe976d565a8b459a871421a5f
- FOLD-AUDIT.md lines 1–250
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/v16-operator-pullback-20261014/FOLD-AUDIT.md
f237a8c9b7c0b8157b222c2a922f6d0183f39db149a4249c2a6b984f0d29dc8d
- fold-results.json lines 1–286
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json
253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639
- PROOF.txt lines 1–217
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/PROOF.txt
dfa4b094f660d47bc28cf2729e1c12eb29ae0b79cdfda36e72cb40f9406f5714
- 01_boundary_kernel_source.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
_archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex
89afb7d6cd1bb3a74ce4acd2ab43f4d990e7f22d5986c33e3fe90a0abf1260ff
- 02_carrier_source.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
_archive/tfpt-45/source_extracts/02_carrier_source.tex
4783f526a49dfb708d496a3910392bb8aecf2b9c307f9542d3ed113aae2a4faa
- tfpt_3_e8_audit_bootstrap.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_3_e8_audit_bootstrap.tex
8fafa428bf8a079d774692514063c51eb62e4fdeb3897a1db40563433b4a3a7c
- v519_woit_theta_rp_free.py lines 1–1190
Source checked at this snapshot
Original location and fingerprint
verification/v519_woit_theta_rp_free.py
e86e3a055b58051c7978d8f10ee527948bac758fd4665ac216e18a71cc8c1ee9
- PROOF.md lines 1–174
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-boundary-lift-selection-20260922/PROOF.md
2429cb31655e4d0711ba895825d740fe18f6a4e39677a987b61a5cd97c21addd
- PROOF.md lines 1–194
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-joint-spin-family-lift-20260922/PROOF.md
d3ae02543e90d840879808554816f923cc36cab52268a032d1ce29c2569f5bd2
- PROOF.md lines 1–342
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-native-clock-flavor-bridge-20260922/PROOF.md
a3e88f4cb025994fad73d2bb0b6408fd3970f184b05d8606d5c429eb2fb2036b
- certificate.json lines 1–339
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-native-clock-flavor-bridge-20260922/certificate.json
2c38441205553cad0369cf72f2d5ed16944f7c949bfe8268a6a4a07c21eaba25
- PROOF.md lines 1–128
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-three-route-closure-20260922/PROOF.md
dd2e792943a975d490145fc9ae51c2ec43f6bd5e39b58550194e7c59032838a2
- FAMILY.md lines 1–147
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-three-route-closure-20260922/FAMILY.md
93a90ee0098219197dfc7dced537b7b4d728337108ba15dc68bb2a6b9a8d95d1
- family_certificate.json lines 1–93
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-three-route-closure-20260922/family_certificate.json
0ee8f958292b940960b77320f548e8ea7d0afe99347fb69614a3bc464a964d05
- PROOF.md lines 1–372
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-native-retarded-selection-20260922/PROOF.md
e68bd415f03b83bfdd17d819bea40e1432a0cb70e354c0c51ee1c2ad3595ec1c
- certificate.json lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-native-retarded-selection-20260922/certificate.json
ebd0de8e0146594b8befce9346587f3e4f6041061344c7c57e11481a81069b49
- v988_psi_lambda_reduction.py lines 1–326
Source checked at this snapshot
Original location and fingerprint
verification/v988_psi_lambda_reduction.py
eae02e79be5703ccec67f1f11470e3ffd99895b17575c9ce1d553720bd1752cd
- PROOF.txt lines 1–300
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-graded-locality-20260920/PROOF.txt
669309ea7f240397b2eb49c61e02b5224d4b9d1c15d50aeca30668fa97fa41bb
- PROOF.txt lines 1–293
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/PROOF.txt
a5796f90f4fa079badc5a07c451f1ea1028fcff3f258ac3f6992c6ae8d65d7d6
- PROOF.txt lines 1–237
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-z8-parity-descent-20260921/PROOF.txt
4c5ade4da333abb5fd528a02bc3e95158a7b40eaa7c89d7200b77768810320d9
- README.md lines 1–300
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/half-twist-grade-carry/README.md
b90ac8cb7b06d900927c3779788a2751e81890fbed549a41a02398ee82d89b2a
- TEST_RESULTS.md lines 1–55
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/half-twist-grade-carry/TEST_RESULTS.md
7b0dd5996c3bd3115a7a8becd0ca5257d55a8806446642a92fb835a7485ec5d3
- operator-transport-results-optimized.json lines 1–297
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/operator-transport-results-optimized.json
1f202acef93413100202dda629ee0fe05ab0d82a3a24d1ea9b543cabf184ba3c
- projection-results-optimized.json lines 1–1001
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/projection-results-optimized.json
e6d547695814b80926ca9797fccede53d524ccc23a24cdfb6d97edb2b8daae15
- operator-transport-results.json lines 1–297
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/operator-transport-results.json
1f202acef93413100202dda629ee0fe05ab0d82a3a24d1ea9b543cabf184ba3c
- projection-results.json lines 1–1001
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/projection-results.json
e6d547695814b80926ca9797fccede53d524ccc23a24cdfb6d97edb2b8daae15
- results.json lines 1–3781
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-ward-state-20261014/results.json
67fb9789a0c623c5a22a7f94ae2ce32cdfedee2a1bf94ee6bd7107d10e57d903
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-joint-ward-state-20261014