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.
Seam, origin and declared inputs
The published foundation in this area
25 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 sourcesTFPT starts from the oriented seam normalization P1 (c3=1/(8π)) and the marked five-slot carrier P2. Integer anchors and later compiler readouts connect these inputs, but do not derive their physical origin or selection.
- Starting structure in the Atlas orientation
- P1 declares c3=1/(8π); P2 declares five carrier slots with a 3+2 marking. The (1,1,2) anchor organizes internal numerical relations.
- Which connection is sought
- The open work is a non-circular source for these inputs, the physical seam, and derivations of their markings and readout rules.
- How it connects
- The declared seeds feed E8, clock, flavor, α, and scale readouts. Shared seeds make those outputs correlated.
Reviewed conclusions to explore
Established in scopeOriginal time and neutral quarter-sea response distinguish global windingEstablished in scopeWhole local original action has neutral and charged global completionsEstablished in scopeAn entire exact process segment retains2245 responses and a free composite responseHistorical 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.
53 matching attempt records
primitive seam operator reconstruction 20261025PARTIAL
Do the original TFPT boundary and QFT papers construct the primitive seam line, its original time, and the full graded source; can their first unsupported identifications be repaired from the existing operators rather than a new source model?
Original archived TFPT 4.5 primitive boundary, carrier, EM and QFT passages, compared with the active P1/P2, Paper2 conditional QFT closure, and explicit lattice completion contracts. Infinite-dimensional analytic operator theorem and exact first-identification countercontrols, not a new physical model.
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/primitive-seam-operator-reconstruction-20261025/contract_index.json
df1056d52a523a73c03d9d60f32cd357590018449da99962716adae6b67cff83
- README.md lines 1–90
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/primitive-seam-operator-reconstruction-20261025/README.md
247f56a7b6126df189ade30e92cfb2ae19c66e1f567ff7213b7c2a3389146390
- SPECTRAL-SEAM-RECONSTRUCTION.txt lines 1–278
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/primitive-seam-operator-reconstruction-20261025/SPECTRAL-SEAM-RECONSTRUCTION.txt
45c472819667e7a981f7da4246d74d31e15104335e941cde0e0893808d674654
- check_first_identifications.py lines 1–97
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/primitive-seam-operator-reconstruction-20261025/check_first_identifications.py
5bf30250dbc65ab3408ccf18f853d62349f2fdb016aa63b41e5c883c2dca9100
- identification-results.json lines 1–43
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/primitive-seam-operator-reconstruction-20261025/identification-results.json
ed089bdaf31a99eb21c46d67adee58aa0021779529c824f4001d0fa895885a80
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:primitive-seam-operator-reconstruction-20261025
quotient locality e8 20261014EXCLUDED_IN_UNCHANGED_SOURCE
Does the proposed eightfold fold/multi-interval completion derive physical quotient locality and an E8 field extension from the same source while preserving the quarter phase, state and time?
Known single-complex-charged-CAR representative and the full mass=1, ny=8 QWZ source, with the stipulated canonical common-current time and E8 stress-form premise. The quarter phase is retained. The source-specific analytic spectral obstruction applies to this noninteracting source and a common-Hilbert, source-state/time-preserving limit. The KLM label count is only for KLMVACUUM_REFERENCEV2Z; the actual quarter-source global dual-index is not proved. This is not a derivation from raw P1/P2 or a universal TFPT no-go.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–116
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/contract_index.json
c8db6ca5f7a1f85c3103b72a9b5fb187ebb02bf1b986d814f60e97c49cad3904
- PROOF.txt lines 1–217
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/PROOF.txt
dfa4b094f660d47bc28cf2729e1c12eb29ae0b79cdfda36e72cb40f9406f5714
- README.md lines 1–16
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/README.md
10fa3b9adaceeb2589d770219225baf96560783479fd5fedb9764348b3c5ad58
- checker.py lines 1–281
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/checker.py
7915ec85ace07b805a3537dda41ba5093811c25379471d27c85ee1d5c5f25c1d
- source_manifest.json lines 1–106
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/source_manifest.json
8baa94d7be559a1369782cea05195a2f11629ec1b198760dc7bbd66b0e1228ae
- tfpt_1_architecture_e8.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_1_architecture_e8.tex
45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5
- tfpt_research_contracts.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_research_contracts.tex
1a200aac87d3c57d9e0350ba57ec45b1f7701a92df23f018146efe6a5758184c
- 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
- v1033_charged_disorder.py lines 1–607
Source checked at this snapshot
Original location and fingerprint
verification/v1033_charged_disorder.py
5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8
- checker.py lines 1–187
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rg-clock-bridge-20260920/checker.py
5cbd66d67689d9b79d9b9b7d4eaba5214a04b56983b57fa4b185e48ab45bed29
- PROOF.txt lines 1–255
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rg-clock-bridge-20260920/PROOF.txt
58d870d69596b5bd732f400dba8740367ee81b445203a53c8e8559a9f0bdfc35
- checker.py lines 1–222
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/microscopic-charged-car-limit/checker.py
2259bd7d6ab890c8cca562774b1b5cdc574e60fb72a04a8c8c8f6ed8292f113a
- 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.md lines 1–252
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/mixed-current-origin-20261014/PROOF.md
c36d30a2bd113554c5902d67d41b595a9615470d39d11feb89f813a994aa9b04
- ERGEBNIS.md lines 1–209
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/primitive-charged-source-response-20260921/ERGEBNIS.md
3f3b2e44768bd5985c570d0ada8f0045f722695ce51d0fe01793579936b4f1eb
- PROOF.txt lines 1–326
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-charged-register-20260920/PROOF.txt
fcb2a31800cbd7cd59cfe7e0593d2ff469d6087c3142026f0c9e0a40f8d41448
- PROOF.md lines 1–255
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-source-reconstruction-20261014/PROOF.md
d16b6af2c90491ac94eeb4ab04a8c96b072d37bb6bc5015b3db85c023f8a96e2
- microscopic-results.json lines 1–163
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/microscopic-results.json
5b0327cb1fb3405b57c0a50e13faaa20a76435fcb860da4e6878cc1d69159e6a
- results.json lines 1–301
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/quotient-locality-e8-20261014/results.json
39a126753de55539beed0560abbb19520784406029bc3190fd663941576fc19e
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:quotient-locality-e8-20261014
seam collar multifield 20261016PARTIAL
Does the corrected search accept the known collar source, and what full multi-field sewing follows from its actual boundary data?
Corrected search classes, exact known-source controls and canonical CAR boundary quantization; no physical source selection from P1/P2.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–125
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/contract_index.json
78eae9d2cbb3ae117a75c80252b096a70e60dbff0a9544952391840e616b9a1e
- PROOF.txt lines 1–698
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt
3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce
- README.md lines 1–97
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/README.md
686c298c08f94294e53130673eeec88e50fad174d1fba50464459881ee822af4
- collar_control.py lines 1–609
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/collar_control.py
4f1ab2edac2f8a1b0a74e424a9e6d0df50bc8e51df89093ba35fc2fe23e7a52d
- source_manifest.json lines 1–308
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/source_manifest.json
229b02abc90b59e3dcec172e43ea4f20ee1bfee49b78c425d2fad08909d6331c
- 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
- 04_qft_source.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
_archive/tfpt-45/source_extracts/04_qft_source.tex
eb63106ae30cab81268f240e3779d511ecd8e4dc869a3eff3f0032f154f3f5de
- 05_metrology_source.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
_archive/tfpt-45/source_extracts/05_metrology_source.tex
c34b090c9121c22870df8a98807f6852f642479c24cd581392a0328d15a0c1c0
- .gitignore lines 1–1
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/.gitignore
32dae3052f331ee34d628ef535709b301259a45df7c7522c4d35dcf49873f00b
- E8-BOUNDARY-DICTIONARY.txt lines 1–128
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/E8-BOUNDARY-DICTIONARY.txt
ed4f112b566060bdaffa8f7490405004ac300a0d2a1be33c8bb3eda3f0614362
- boundary_amplitude.py lines 1–74
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/boundary_amplitude.py
26f54d6c138c5a0a610b687eb448bb40272ffcca242058d9877487764e720f93
- charged_pair_control.py lines 1–337
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/charged_pair_control.py
55160a16005d869e25dfdd9c46aa79a0dadad49e463ba6c6eaf57cbfba678219
- chiral_tail_control.py lines 1–35
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/chiral_tail_control.py
6f31a0b2f3fd93c68d149e7f88585fb1afa9ee3c8c9e3bd0a8d75090719ce2f0
- e8_boundary_response.py lines 1–294
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/e8_boundary_response.py
8a77bef68666dd18470fce78e04881676862075d216587b291c9e2c3761d5e6b
- joint_source.py lines 1–315
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/joint_source.py
20cdd4eb8f1de659fde18676f0865d9acce437d60da63ce947b8ddb901f89c93
- kernel_functional.py lines 1–423
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/kernel_functional.py
c96036b214aa4a4c9c92de0fb8d82669531ae7943119646cc3f89081bce10489
- origin_operator_checks.py lines 1–116
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/origin_operator_checks.py
770582bfd5f9400296076c6bbcb2cf23d06e067e89774c9589106675394746c6
- absolute-quarter-cli-accepted.json lines 1–4003
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-cli-accepted.json
30a4fd212de8c20ee5ea083d44617147dcdf2a04a7c4851f0ea432f7bbe04516
- absolute-quarter-cli-rejected.json lines 1–2020
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-cli-rejected.json
a4a5bab65d1f3e2a6be32ccef37ee805e20c688aa5e91541247c4dc21bea2b39
- absolute-quarter-search-control.json lines 1–32
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-search-control.json
e787a7e34539868dfb76dd4973861ade9f754f6445144232cb96fbb5b70f9e70
- absolute-quarter-source-observables.json lines 1–1977
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-source-observables.json
444f57e774fecfe597c90b178c8ae83eb88871c2fc3e00f2e05090e6945d0495
- charged-pair-control.json lines 1–1053
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/charged-pair-control.json
6c9d3697ce1aab7fbd5fc15ce381c4147fdd090cd2f824e64105f44c471cbefe
- chiral-tail-control.json lines 1–27
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/chiral-tail-control.json
f6a72d70aceeded999886a01d70e4b0c07ac277ced08f16c62cb87b68e16f811
- collar-control.json lines 1–2016
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/collar-control.json
74026b4c698329e1485f3b34249370b23631e5523d9c86e2b103985ca1c0a6c8
- collar-source-observables.json lines 1–105
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/collar-source-observables.json
84809c0a22e234c759d65ef1ec916f5f4fd867d28bf0ad1ff5e760b6be3a40d4
- e8-boundary-response.json lines 1–4705
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/e8-boundary-response.json
8e9e2fe937e0528c48dbf64fcdfe4307aeceab4fb98f574cd95e5ed30b7331fd
- joint-source.json lines 1–101
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/joint-source.json
5666fc3ce49ba6b68f91a47fdfb3524c856172449095a53a05b60af846a589d1
- kernel-functional-control.json lines 1–18
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-control.json
bc337bc31847d809843669d09a4672d0551b8969185d1f8f0788935313943f06
- kernel-functional-max-trace.json lines 1–297
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-max-trace.json
0cb5c522b84960e07ed340f1b78cdfaa5a382e0bb85e33250b85a6c5f84445ef
- kernel-functional-min-trace.json lines 1–286
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-min-trace.json
3d5f9df5216ec07a49c236223610a4285b1a274869009c92c4be3ddf760861ad
- origin-operator-checks.json lines 1–53
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/origin-operator-checks.json
ff2a93a1cd8c3f3bb7dbba0268a3f10bac3af79fcac092c5990c7994b43c6770
- source-sewing.json lines 1–27
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/source-sewing.json
240ce4d700f2bbddf739144154a9114f149a1b15ba1cddb10dd1155a28318c98
- thermal-source-observables.json lines 1–46
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/thermal-source-observables.json
f8441cee682c5c4b3aec0fadddac8ecf187a1d004d9e9bac49116b35cadb2a90
- source_sewing.py lines 1–117
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/source_sewing.py
8138edbc7912b5e4e566a664f323d8e9214e73eed4eb190e7cdf8b223d932090
- test_boundary_amplitude.py lines 1–39
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_boundary_amplitude.py
707194c60893ae1a5910f2d1b0858013bd1eab14b147ab21beb3d00bed82b6d1
- test_charged_pair_control.py lines 1–73
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_charged_pair_control.py
67066c658c8491c97b15155b30193b6d950dcb0feebf1ed380ee510acdde55ea
- test_collar_control.py lines 1–149
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_collar_control.py
d76a9e89281fa018e0126dfca469e3fe18c86e65919a169645c849891f5abb2e
- test_e8_boundary_response.py lines 1–41
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_e8_boundary_response.py
71dcc57f7ca94a46641a9b0dc13256ac0dba8c555993a23b29154c76af30ab37
- test_joint_source.py lines 1–85
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_joint_source.py
c980b3e3f4e9909f933288065afc2e6a4f09942bd07ea397915898e7fadf5326
- test_kernel_functional.py lines 1–158
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_kernel_functional.py
c87fbc815dd9376592f84e2ffa292b8ee8e674cd37240ab3551c8d193b15b3d8
- test_origin_operator_checks.py lines 1–30
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_origin_operator_checks.py
8291b3b0940ffa9d482a653d9e24d5d7f8a8c7056eb108a8e16d065a96766e17
- test_source_sewing.py lines 1–37
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/test_source_sewing.py
be93084319bb8e4af5da5cfb49a4708d4758a6593b71d0cda537caec60702e36
- finite_completion.py lines 1–285
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/finite_completion.py
80f5bae4afe92b6784ed4941524066c2fe5593839e0adbbd7af1eb47646a7f8d
- kernel_search.py lines 1–274
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/kernel_search.py
d158e991b9ad7f2fa2d8011e228589830d90db06fa4e21c919f546dbcd67c315
- run_search.py lines 1–216
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/run_search.py
c5c12550fb2970add6f94c6056d1363ec3de331b272054450b669275f42b3db6
- test_finite_completion.py lines 1–119
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_finite_completion.py
05f57c2b06c1327fd0b940144d1f4641fa5800482d8aecfb3b8fec692d587eb0
- test_kernel_search.py lines 1–334
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_kernel_search.py
2c58e8f3f83f03a83190f26d60574c10175ef7e6e62c7ea278b5bc714344fc89
- test_run_search.py lines 1–81
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_run_search.py
da996de81ffd38048a8e9de65874d19d342abf83a578cfd5a167905ba65d799f
- origin_theory.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
origin_theory.tex
766f68a471d3ecab89f5c73fd1c4880bf62c290e7ccc462889e96f202d26b6cf
- tfpt_1_architecture_e8.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_1_architecture_e8.tex
45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5
- v154_simple_current_theorem.py lines 1–107
Source checked at this snapshot
Original location and fingerprint
verification/v154_simple_current_theorem.py
928aff32e0e5d9d440d326cb6f8a12dbb119d7cf86ccf6c2ea95a469f185e4c5
- v156_seam_net_construction.py lines 1–134
Source checked at this snapshot
Original location and fingerprint
verification/v156_seam_net_construction.py
2d8d86bbc393eda3d4779017111f2d67a4c94644bab9a37e6b6685e58570a4aa
- v15_bootstrap_classification.py lines 1–85
Source checked at this snapshot
Original location and fingerprint
verification/v15_bootstrap_classification.py
4810f624921fdf5e48f451b3fdad241ebdb82a21b69ded41ea892de977769b7e
- v161_one_particle_reduction.py lines 1–185
Source checked at this snapshot
Original location and fingerprint
verification/v161_one_particle_reduction.py
5f68aecdddf9be30df446de0a452b6b7c154615b81a9c604f18c43fa00ee1896
- v162_seam_transport_identification.py lines 1–161
Source checked at this snapshot
Original location and fingerprint
verification/v162_seam_transport_identification.py
1d3a80006bcff439f88b83d7f3b64d03a7b8d9cea15308ca7c68fde86beb5225
- v175_net_existence_full_cone.py lines 1–164
Source checked at this snapshot
Original location and fingerprint
verification/v175_net_existence_full_cone.py
969ccd9c2a6ba5a4edb46219ff3aeeaa5c3e7c67ff01bed49ccc981dc7960426
- v350_bootstrap_inputs_correction.py lines 1–108
Source checked at this snapshot
Original location and fingerprint
verification/v350_bootstrap_inputs_correction.py
ac79766fae9a95a5b5eedd4afc95beb4c3539c2263bd2017b306aebbd791a471
- v351_continuum_realisation_sharpened.py lines 1–97
Source checked at this snapshot
Original location and fingerprint
verification/v351_continuum_realisation_sharpened.py
9c6b24807be4fcf3a87985ffe8feed91229f5a96f42512af68cf52f66a73b76e
- v352_framework_irreducible.py lines 1–92
Source checked at this snapshot
Original location and fingerprint
verification/v352_framework_irreducible.py
563355a4a35e3c8a810f47ca65e70ced7efccaa4ab3151f6036eca4e46618f4c
- v6_bootstrap.py lines 1–50
Source checked at this snapshot
Original location and fingerprint
verification/v6_bootstrap.py
980bf82f5ce2bfdbc6f8eb91e56c704e4330efcc56d7e7ee46fefaef7246158f
- P1-INSERTION-TANGENT.txt lines 1–213
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/P1-INSERTION-TANGENT.txt
b49aa4ec77bc22029545c4f8f2584e80e63fd8bb6b8a0ce8536baf4137d3ea55
- p1_insertion_tangent.py lines 1–195
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/p1_insertion_tangent.py
70b3d0790f40a4834644c806db90fc27402967563e6e8888a8f1192ec539ad00
- p1-insertion-tangent.json lines 1–84
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/p1-insertion-tangent.json
5163ec840291658c28cea12773e81966e614ebb81d0781b88cc5c00f9f87e5b5
- v258_dirac_covariance_induction.py lines 1–161
Source checked at this snapshot
Original location and fingerprint
verification/v258_dirac_covariance_induction.py
16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1
- P1-COVARIANT-INSERTION.txt lines 1–213
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/P1-COVARIANT-INSERTION.txt
ebb9e0cb15cdc017914d8567131c8d8b75855f20e05551b6f7b350989061e152
- p1-covariant-source-jet.json lines 1–11
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/results/p1-covariant-source-jet.json
8f8f9ae5da049b5d110ba74b0c4f042fcab652db69dfe2df8a8867086c23d7ff
- 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
- PROOF.txt lines 1–293
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/PROOF.txt
a5796f90f4fa079badc5a07c451f1ea1028fcff3f258ac3f6992c6ae8d65d7d6
- BOUNDARY-OPERATION-PROOF.txt lines 1–206
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/BOUNDARY-OPERATION-PROOF.txt
a55bc1d8bcda606e274092873dedf00709d40bd093d3ec0e08ce7ff25ecf5a47
- boundary_operation_response.py lines 1–89
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/boundary_operation_response.py
e0be5a934fee1fd72b830d620b4e7bd73781eb85bec035e876d07c86f9f627f3
- boundary_operation_response_results.json lines 1–75
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/boundary_operation_response_results.json
946031d03b8890d51d68466ee643989eee7158f96cca95d1ed7036078ce68680
- ACTION-INTERVENTION-SEWING.txt lines 1–188
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/ACTION-INTERVENTION-SEWING.txt
5ea81ef8271bcde984a81ee2bd5aad6eda25a2f41db988a416136c1fda90b16b
- action_intervention_sewing.py lines 1–64
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/action_intervention_sewing.py
57e55143cbe07cafbc07c4b4214677e29a34ef4580f6d7d2db58b5f4f3956f3d
- action_intervention_sewing_results.json lines 1–74
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/action_intervention_sewing_results.json
74475f408789d593ee45d0d95662b5079962cc54a5dd57d9ef39d61295bce830
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-collar-multifield-20261016
seam constructive search 20261015PARTIAL
Which full charged crossed-defect extensions of the fixed ordered CAR source preserve its marking, W4 composition and supplied time law, and which obligations remain for a joint source/state/event derivation?
Complete finite mu4 character/P-lift classification; global parity equivalence, full T1, positive algebraic state extension and conditional E8 current-group lift. Original source-equivalence is excluded in the unchanged CAR/QWZ Hilbert/Cartan/time scope.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–161
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/contract_index.json
8127cdd77013b6d9cdf3171e0b0291afcec39a58a1830b0a6cbbfa6b05cd26da
- README.md lines 1–90
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/README.md
eb131e4651a9078e2687fe0f22b74ae1d3569c32f4261fe78451d551c4364870
- SYNTHESIS.md lines 1–110
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/SYNTHESIS.md
d112d0054cd1558c0a64f8aebfaa98c942beab9e5688cc9704d31b15cdacb252
- manage.py lines 1–286
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/manage.py
6240fcc88d9d55ac60ceef50c5346496e24a2d300f74e24117a0098337ca0156
- atlas_packet.json lines 1–2127
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/atlas_packet.json
7133b13f8bbe87c069695c09f25ac4cc3ab8afe13bba3962f549af9aeae18b56
- current_run.json lines 1–94
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/current_run.json
a7f0c225664a0aa9bf162282f4b94717a246a937c1034b5795fd0e3fa3244000
- domain_spec.json lines 1–531
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/domain_spec.json
edd613bd6d44516e2e0566b5882bda7112a2892b5c933f42dbd89b569452f10e
- results.json lines 1–165
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/results.json
82df13fe683ad91128a58e79ae01e15858afb6aff01ef004c0421f171ec9f551
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-constructive-search-20261015
seam full collar reconstruction 20261015EXACT_CONDITIONAL_RECONSTRUCTION_WITH_SOURCE_CORRECTION
Which original seam information determines one common field, state and time action without confusing geometric reflection with boundary polarization?
Original geometric-operator audit; exact closed-graph spectral reconstruction for a given selfadjoint product collar, identified boundary faces and known normal length; conditional quasifree CAR state/time connection; finite rational executable inverse and Lean algebra.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–65
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/contract_index.json
5e7a6db049fcaa861eb31f5346f22b26c959e3307668c54043ceb62aa9778802
- PROOF.txt lines 1–221
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/PROOF.txt
9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a
- README.md lines 1–104
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/README.md
2511816f728e878bf04a4e635d0a477b4c1b685c7a80d9afd763cf876c0431b1
- checker.py lines 1–370
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/checker.py
fa635ab362138a2448424b58b3e63460d1221b8080dfe0b531ebb540c1d5e91c
- atlas_snapshot.json lines 1–1032
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/atlas_snapshot.json
3a836de043938acec04e9b8514ed36491bbb32aaf5701fa755f324820e589fde
- input-example.json lines 1–17
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/input-example.json
44c2d483a16bf28fe889c2cf2de3d6e15714eb6104838f42b65a00400ed512d1
- lean-receipt.json lines 1–69
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/lean-receipt.json
e85427c76d6fd78765b822649ad1f26b45c1319eedc632648464037950a8f292
- results.json lines 1–1206
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/results.json
64093dbc6d1c59591caf18f5f3725b6f4d54383be5e55ab7c7db511f1d616407
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-full-collar-reconstruction-20261015
seam gravity source bridge 20261013PARTIAL
Do the cited finite modular-covariance and coefficient identities establish a geometric horizon action and uniquely select the entropy/EH normalization in the Dorau-Much bridge?
Finite modular-covariance checks and a conditional local Cartan-current bridge. The normalization non-identifiability argument applies to the abstract class of normalized fixed-background matter observations; it does not prove multiple admissible realizations of the specified original profile-free gravitational functional.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–47
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-gravity-source-bridge-20261013/contract_index.json
998f92202669756cdebf33d1a4c74b828a556e4a9f14cd49dca97b953d4ce97a
- PROOF.txt lines 1–158
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-gravity-source-bridge-20261013/PROOF.txt
9e9af4e0effd2ed218ca210eaac9edbd83656094ee4f00c5b7d392c7d6b87a5c
- checker.py lines 1–218
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-gravity-source-bridge-20261013/checker.py
b065e6e5e1e8dce04b8ae09118bc4dd8bffdc7ec61d564d4b4f85a5728de6d0c
- results.json lines 1–123
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-gravity-source-bridge-20261013/results.json
c1566205d41cbcbc93468dec22ade7142e0a9592997b8f0764f2cccb9781a31d
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-gravity-source-bridge-20261013
seam joint conjugation 20261015EXACT_COVARIANT_QUARTER_TRANSPORT
What joint particle-hole, sheet, charge, state and time action follows from the actual retained quarter source, and can its marking be derived covariantly?
Actual given chiral source and its exact fold; E8 current lift conditional on the existing extension and coordinate dictionary; original P2 representation audit.
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/seam-joint-conjugation-20261015/contract_index.json
6151a0945514fcd8cf2cfaeb2782250d5369977e705eec4178fda3434c025ab0
- PROOF.txt lines 1–251
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt
bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a
- README.md lines 1–34
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-conjugation-20261015/README.md
b2fd809734563ce870a9710138e864fb5af97a5241c5403b6902d5097ad24420
- checker.py lines 1–212
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-conjugation-20261015/checker.py
7d3e91cc8d70a7828d717cd1b13bc632ea3f2a8c404b3c89fde0d131d6d5d58c
- source_manifest.json lines 1–49
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-conjugation-20261015/source_manifest.json
d36ad8d7291c6d18bde188aa3776a0c4f5798e8acfbead875ccfeb1dde370965
- tfpt_1_architecture_e8.tex lines 1–1
Source checked at this snapshot
Original location and fingerprint
tfpt_1_architecture_e8.tex
45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5
- 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
- v109_sheet_pairing.py lines 1–150
Source checked at this snapshot
Original location and fingerprint
verification/v109_sheet_pairing.py
0db2e76a9221a40f2fbefef954e453ce833c2160e2e411525541266c5286ca7d
- v110_calderon_sheet.py lines 1–131
Source checked at this snapshot
Original location and fingerprint
verification/v110_calderon_sheet.py
b457047610e44c49767be2cd1bcf2303cb483dc1a69fe37ceadc5fdb10274f8b
- v462_seam_spinor_continuum.py lines 1–209
Source checked at this snapshot
Original location and fingerprint
verification/v462_seam_spinor_continuum.py
ded872c95540a51085355cef80a2eb387166ccef8e7e642f81c8ab4cf8e07c59
- v464_seam_oneparticle_rigidity.py lines 1–165
Source checked at this snapshot
Original location and fingerprint
verification/v464_seam_oneparticle_rigidity.py
9d445272cc5025d795c6bd9b2a0dc29ff82fa16f4aeffeb93e5a3142f648a2ea
- PROOF.txt lines 1–253
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt
ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c
- 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
- 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
- README.md lines 1–230
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/carrier-module-conjugation/README.md
2f1b9171f4ea03bbe6dc0466834f21d738526b84c559f4008fa17c3e8f42ee70
- README.md lines 1–247
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/origin-composition-audit/README.md
696f7e90a131652066584c22b7f89cb1b7bc6daa7ebeef2c168daf05508fb800
- results.json lines 1–136
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-conjugation-20261015/results.json
7090d6d7c93b4fb9b48ded9c0cf7afb6166fc53a4bb0191d12d2b7e1b326da55
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-joint-conjugation-20261015
seam joint source origin audit 20261016PARTIAL_SOURCE_DERIVATION_NOT_CLOSED
Does the original source derive time, state and the internal 3+2 carrier together, or do the proposed Higgs/Yukawa repairs assume the missing field map?
Original-source implication audit; exact representation and bundle controls; fixed-background mixed-source identifiability on the reused free Gaussian integration path. No physical source or full P1/P2 countermodel is constructed.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–74
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/contract_index.json
af0672f38049f2211551d47c2ec3ddbc1fc5e9ab49c0ced6e9322847609c5aa4
- PROOF.txt lines 1–229
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/PROOF.txt
f91443b115994302aa3b10d2a6b44131e13c3998b13d47b34aeaa59e25c86315
- check_source_inference.py lines 1–210
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/check_source_inference.py
6f16706cec2e7e341cf62446acdf67f5a72f2512be3bab5195758b7b7539a834
- higgs_variation_results.json lines 1–53
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/higgs_variation_results.json
145be0c2fc685d99bf991293c7649d2fd5965b11fd55d8608227ab5b9c902374
- local_algebra_identifiability_results.json lines 1–42
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/local_algebra_identifiability_results.json
916924a1046235d373a189fcc6297f7c90e26ce0b9fb3d101cf0525fe2dc04ef
- minimality_selfconsistency_results.json lines 1–209
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/minimality_selfconsistency_results.json
707120fe34b177d4675c63bd4a40aa7c51e7ca310090d05748f0ac90ce975385
- process_reconstruction_results.json lines 1–114
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/process_reconstruction_results.json
fae58c30580b6d5bd8e33705714ce0f17e65c49ec14ab96136fbb9ec30d0e788
- process_reconstruction_source_manifest.json lines 1–44
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/process_reconstruction_source_manifest.json
313579e9390ffd0f5c38db5f70802241c06b83b9c18e61fa035ab246caf35295
- results.json lines 1–179
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-joint-source-origin-audit-20261016/results.json
cb512da23d51c77a1c289acc9fff154c0af980f60c226fb053ddb27d5d9adc35
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-joint-source-origin-audit-20261016
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
seam operator synthesis 20261015PARTIAL
Can typed operator programs and simultaneous inverse intertwiner synthesis generate and exactly check shared operator maps without supplying the desired map?
Executable search infrastructure; known five-mode CAR recovery control and synthetic inverse control. No physical 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–56
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-operator-synthesis-20261015/contract_index.json
195956d67785fbc08e7044d9cf265902da788c9adee6293c0ab469d2b8a44276
- README.md lines 1–5
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-operator-synthesis-20261015/README.md
aefd98292048d6c91c9008ec9c60ddfc318ca5863fa448e1db7999aef4f663fb
- README.md lines 1–107
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/README.md
db453a12d7a64e1a30988b61c6ff20ad80863ac8471a3c5a6eb735e876bc76e5
- clifford_search.py lines 1–294
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/clifford_search.py
29a36a9a5e8e3f173348e16539f517c8ac708d2d306ac67fc2402999f8e687a3
- source_manifest.json lines 1–52
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-operator-synthesis-20261015/source_manifest.json
7038ebc7fa3d5f01a1d92a706338da229264aedb822eb248f678ae080e8efcf9
- intertwiner_search.py lines 1–218
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/intertwiner_search.py
a7ae4b4969c4930ab8e587a89fe2144f75ba7376850d2dc03bace8e572260029
- proof_check.py lines 1–168
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/proof_check.py
bb78990a83d4a2e4947a9027bfc428f506bb866bf8eeba329f5796d9ad2f461e
- OperatorTransport.lean lines 1–220
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/lean/OperatorTransport.lean
febc7d1c8d7f9ea33f010d2de7e9c5e949be7a0b53c3acb49040c398b09fa161
- lean-receipt.json lines 1–100
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/lean-receipt.json
f7dbc1b8426909ade3878005265a164f80be6228fffbe51ffe8469e1590a32ed
- results.json lines 1–184
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/runs/recovery-seed7/results.json
e48748a84dda1af6d91e5e9a0a6ac94b0782245ec02586055b3db4c503c67ace
- inverse-control.json lines 1–167
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/runs/inverse-control.json
642ecadca4afa78f32c56d241c4eb4f56954346cbdff8e24d9b789049bdbf6f1
- test_clifford_search.py lines 1–136
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/test_clifford_search.py
4182d98cc8cb7b7399722e98908d85847127f699161db87fc52c52e218a9ec2f
- test_intertwiner_search.py lines 1–99
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/test_intertwiner_search.py
6924908b07038e859871eb6f998230f863bb976f3b606d94235fe73170b7c0c0
- PROOF.txt lines 1–253
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt
ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c
- PROOF.txt lines 1–221
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-full-collar-reconstruction-20261015/PROOF.txt
9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-operator-synthesis-20261015
seam partner original action 20261015EXACT_TYPED_CARRIER_AND_FOLDED_TIME_AUDIT
What does the original P2 carrier actually supply for the source-neutral partner, and which charge, state and time identifications remain distinct?
Original finite carrier representation and stipulated E8 fold, with all field/state/time identifications kept separate.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–69
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/contract_index.json
146bd136ff0d51bc561939bd698ce663478c9f15c336ff9659a7e0c22bc513e9
- PROOF.txt lines 1–253
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt
ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c
- README.md lines 1–5
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/README.md
b46b036477c136c7255f1e364b03105807146d38f98ed7c592a080bd4d43c564
- checker.py lines 1–190
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/checker.py
5525c74b83887380f47e3d9d7c7072c6d99bfcfb632df71ea2f44eec4b3a6ed8
- source_manifest.json lines 1–56
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/source_manifest.json
9ef61b901bacbeb09b63a0eb271572d3f11a85aac79a8933055d7637ea01a747
- results.json lines 1–126
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-partner-original-action-20261015/results.json
28356d0e928d086e1c8ec78260445b2818588ce9b8f3f5725ae915a1a688f623
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-partner-original-action-20261015
seam positive kernel search 20261015PARTIAL
Can unknown positive word kernels be constructed, exactly completed and distinguished without supplying a target Hamiltonian or state?
Executable unknown noncommutative moment search; exact finite CAR/transfer realizations under declared search premises. No physical source-selection proof.
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/seam-positive-kernel-search-20261015/contract_index.json
8c513dfb4ddbd224dcba90d665b6386fe51078477857092bcda7cb4371d8cd77
- README.md lines 1–281
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/README.md
e1d78365d7998faf7dc16d77cca2e78ff504781703a9c046ec4914b7636568b6
- proof_check.py lines 1–477
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/proof_check.py
20ff2f31248842da89c7a48c27ba739e916eeba44f9fb6e66663149de8ac7676
- source_manifest.json lines 1–141
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/source_manifest.json
9b1ae6946663b8dbee18a099738a6516ce6c2dac9abe73401a961bca60655269
- .gitignore lines 1–2
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/.gitignore
e99f6ee4eb88882ea6589ecb717e10a41401763241b246b6821bc091cfe2227e
- exact_certificate.py lines 1–470
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/exact_certificate.py
57753a3efff8b0b9de70cec60b0a4afa96b9e8d1343ee01eb0a49809ffac3840
- finite_completion.py lines 1–285
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/finite_completion.py
80f5bae4afe92b6784ed4941524066c2fe5593839e0adbbd7af1eb47646a7f8d
- kernel_search.py lines 1–274
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/kernel_search.py
d158e991b9ad7f2fa2d8011e228589830d90db06fa4e21c919f546dbcd67c315
- requirements.txt lines 1–6
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/requirements.txt
97632712110f1fb47b72b671bce089c21882d8a1cb10b9420fa4ee29dd90d954
- run_search.py lines 1–216
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/run_search.py
c5c12550fb2970add6f94c6056d1363ec3de331b272054450b669275f42b3db6
- moments.json lines 1–21991
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/moments.json
09562a9a1707f19aca846d815425415d4df24f35343437839f627b333383a879
- next-source-question.json lines 1–182
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/next-source-question.json
bc6d62fe77d170f4d2b8529edea93481e279dcf3ee218a383f0b9940512409d2
- summary.json lines 1–234
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/summary.json
aa8c24455b183c8fa5829199b99706c2249d344a5c7de95f473a33937241ee9f
- moments.json lines 1–21991
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/moments.json
d6446eb7b1558b4f4a0a26481cbde29379011d4c8757fe11f01a949d2a71bbcf
- next-source-question.json lines 1–182
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/next-source-question.json
1db138400d2b6ed3582d8db69b1ff606b52c39df065fc8e0bd764d96058a7230
- summary.json lines 1–234
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/summary.json
888d325dbf8dce87166ad7208834a46e9eb847dec907c7b69f3fefbed0b8ec01
- m1-d3-floor-quarter-tight.json lines 1–2727
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/m1-d3-floor-quarter-tight.json
ea295dc4f1a1e903ca790ec1c5129ac1033c7d8468f8bbb8c4426b364f8acb90
- m1-exact-certificate.json lines 1–526
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/m1-exact-certificate.json
e1f84590a058e41572f1a3c43b40380a560762491b17c1fa471f620e2c2d5334
- moments.json lines 1–21993
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/moments.json
7429db68e991b7c5351361f607ac9fb2dfb62e3c99b6945813fdb5160f5bda9c
- next-source-question.json lines 1–182
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/next-source-question.json
c99e15c79ae87eb26a49220a6a78ddb2dc937356e87e4000081f7cc66f49bd2e
- offline-check.json lines 1–941
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/offline-check.json
eeaa8758e1a2ea68746df225c906e8b9e3a15f73aeece7a3249afa3b0e3d8f08
- summary.json lines 1–237
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/summary.json
9c3068b7828231e0e09e5a6a6a88512b97960c684082670c709bd91f5ea4d402
- test_exact_certificate.py lines 1–104
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_exact_certificate.py
6631553ca2f465b86f9345262995ad77e65296be8dccb24123428615ad7b0363
- test_finite_completion.py lines 1–119
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_finite_completion.py
05f57c2b06c1327fd0b940144d1f4641fa5800482d8aecfb3b8fec692d587eb0
- test_kernel_search.py lines 1–334
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_kernel_search.py
2c58e8f3f83f03a83190f26d60574c10175ef7e6e62c7ea278b5bc714344fc89
- test_proof_check.py lines 1–84
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_proof_check.py
0a628ce474d86fa71fe5ada84857ecc6a943cf020102285a62f960aefc5db744
- test_run_search.py lines 1–81
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_run_search.py
da996de81ffd38048a8e9de65874d19d342abf83a578cfd5a167905ba65d799f
- test_word_algebra.py lines 1–129
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/test_word_algebra.py
66e7ea1db73f43b514130b3979c43d6d8ed5f7be895174132dc857c9f1358454
- word_algebra.py lines 1–135
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-positive-kernel-search-20261015/word_algebra.py
25964ecf2b718372210ddc669ed402677d61cf180c62839a0f3cc9338b1d5254
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:seam-positive-kernel-search-20261015