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.
Process and compilation
The published foundation in this area
18 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 sourcesSingle channels, repeated dynamics, measurement events, and continuous embeddings are distinct process laws. A physical parent must jointly specify state, interventions, environment, clock, and records.
- Starting structure in the Atlas orientation
- Finite channels, instruments, discrete and continuous model branches, and checkable records are documented.
- Which connection is sought
- The open work is TFPT-derived selection of state, clock, environment, interventions, and a repeatable event rule.
- How it connects
- The process parent must carry clock, quantum, spacetime, flavor, and gravity layers together; isolated channels do not close it.
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.
12 matching attempt records
canonical seam fermionization 20261025PARTIAL
Do original A4 spin data determine the local NS/quarter dictionary, and does the retained CAR winding admit a complete E8 sector-changing extension in its actual source frame?
Literal same-geometric-identification order-four A4 Pin lift; spin-reference longitudinal circle without extra flat gauge holonomy; supplied full CAR/positive-time/fold/cocycle dictionary; standard four-D8-module AIA parent. Complete finite-energy affine extension, not a bounded physical local-net endpoint or physical origin theorem.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–91
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/contract_index.json
0f6ee1e3cea481274b4d9372b7d3e801e0897d3c90a50a23b107212ad9b7189b
- PROOF.txt lines 1–235
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/PROOF.txt
adb8dac5389d79f7e1374d491ef848c5cc30d8851f6891c03a668c36f5807769
- check_same_source_affine_defect.py lines 1–372
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/check_same_source_affine_defect.py
0f51ab119938a05184a3f3e11b364dcb4ee02749487829bf65147bc86647131c
- ATLAS-RECEIPT.json lines 1–8
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/ATLAS-RECEIPT.json
46c35da664c52f0538a1338f19219d61d66fe35cd228775337022253443c5a1f
- REPRODUCTION.json lines 1–31
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/REPRODUCTION.json
645b34731fe562fb4ec8c79bdc6aa1a4a9ec8dec320b1f5f53024a2cf496741f
- lattice_source_frame-results.json lines 1–288
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/lattice_source_frame-results.json
3395bbbbc692e2135597b6d6e73afa13460974b361e5014e5b4aaccaea1a4682
- same_source_affine_defect-results.json lines 1–84
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/canonical-seam-fermionization-20261025/same_source_affine_defect-results.json
a22b60de5df1e4020cc7a69cb9798c0c9a03ca45d6d3a69e6685568ac7f71f0e
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:canonical-seam-fermionization-20261025
e series source reconstruction 20261024PARTIAL
Reconstruct the canonical local E8 field completion from the already established marked D5+A3/C4 compiler glue; determine which original source and dynamics implications are actually proved.
Fixed unitary U=V_D5 tensor V_A3 and marked h=(1,1) in its discriminant C4xC4. All connected local unitary VOA extensions sharing its conformal vector are classified: U, V_D8 and two labelled V_E8 extensions over fixed U. Occurrence of M_h forces the diagonal V_E8, with support and multiplicities derived rather than assumed. Primitive P1 membership in this local conformal realization is not derived. Historical source/domain audits retain their stated hypotheses.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–103
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-source-reconstruction-20261024/contract_index.json
3ee8e12c1a0aa5c56177540d92e5fc8c7df5c1e0b39308b8cb6f2b2ff8537ee6
- THEOREMS.txt lines 1–517
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-source-reconstruction-20261024/THEOREMS.txt
5c0d7328c583cdbc0a8c358445b57821d5b5722540ca372c1d28052b900eb584
- checker.py lines 1–150
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-source-reconstruction-20261024/checker.py
bcafa389dd53e198ef543a7534c4ca43e66c0f012f8e226cdd5ccb055111a1c5
- microscopic-state-results.json lines 1–52
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-source-reconstruction-20261024/microscopic-state-results.json
eff978bfe35d429c4a331aac18cd937f9afd0dd80981713638b209f66a1e73c2
- native-clock-conjugacy-results.json lines 1–94
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-source-reconstruction-20261024/native-clock-conjugacy-results.json
959c9c618320125c98587c9c958d965ade1cff41ccbdf0ba5b67a68b5326d267
- results.json lines 1–156
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-source-reconstruction-20261024/results.json
e873731efb8ae4198849af25766e779608eb18fb68939a62dd821a624285dba4
- source-reproduction-results.json lines 1–347
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/e-series-source-reconstruction-20261024/source-reproduction-results.json
03337c03e545a2a545ecf2a4b3c935c53a2a53093e4e1011f8b80edadc39727d
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:e-series-source-reconstruction-20261024
elliptic moebius source bridge 20261026PARTIAL
Realize the existing elliptic parity cover as the Moebius orientable double and reproduce the old NS/quarter boundary source without fitted phases or temperature.
Supplied marked square C2 curve with the full lifted base D4 including r=(1/x,i y/x^2), raw flat spin data and expressly free chiral CAR quantization. The full equatorial pullback is a ramified V4/E8 graph, not the old smooth seam circle. The boson-spin pushforward has the P2 holomorphic splitting but a different local cusp connection. Primitive physical source/measure/time and index response are not derived. Continuation: complete holomorphic NS NS Szego spin trace on the actual four-mark carrier, and phase-normalized modular theta-square representation with an exact common v117 intertwiner. Geometric Q is modular S, whereas v117 U matches modular T. Holomorphic kernels are not automatically positive equal-time CAR covariances. Current real-boundary continuation retains actual half-form L2 trace, oblique versus orthogonal Cauchy distinction and fixed-reflection counterexample only on specified free checkerboard algebra. Recovered28Sep proof analytically closes actual v115/v117 ODE through (4,3,2) C4 quotient with U inverse marking; actual puncture image A4 differs from extended S4. Genuine D4 theorem applies to a distinct marked connection. Wall splitting does not exclude stable v117 parabolic bundle. Negative q two-torsion packet and its actual C4 lift identify exact coefficient source. Minimal common root/sign cover has degree48, A4 times C4 group and genus41; geometric quarter differs from commuting compiler clock. Source theta continuation: minimal six-line completion, unique cubic-invariant even S0 and selected beta; Pauli translations rather than Gaussian code contexts. Joint finite lift under imposed beta->J is one centralizer conjugacy class, not automatically physical gauge. Ordinary rigidified determinant-of-cohomology has chi0 and loses spin central sign. Canonical S0-relative Poincare normalization trivializes full marked q norm family via O(Dq)=S0^3. One inverse norm copy restores central phase geometrically. Original boundary selection of that one-copy operation remains open; no physical gate promotion. Continuation27Oct: original z has divisor Dq-Dp and unit winding selects exactly one inverse norm in the explicitly defined relative spin/reference Hardy cable. Physical D_rel/D_ref coefficient and state/polarization identity is not inferred.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–536
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/contract_index.json
17d114993c6ffcd0bcd4f65f67028b8a2ec31faff01141eb689ce698eb2501b4
- README.md lines 1–17
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/README.md
a4ed008ee5d9aa820673c3ae7931711e59b38a1c83dbd83bbac8336204bda598
- THEOREMS.txt lines 1–100
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/THEOREMS.txt
648dc0af6af2ad7f31ca6249af644512b829cdd9241deac0250512928a410290
- check_elliptic_moebius_review.py lines 1–265
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/check_elliptic_moebius_review.py
980cf9a8a6638cf1940e8969800bc61cd000e00916834bef9227547a16db4deb
- PRIOR-ACTIVE-TASK.json lines 1–61
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/PRIOR-ACTIVE-TASK.json
ba1de3770e704c5bfc6b66b7c6bb35f395d5fa23ceca68b595441a97a9ecd4ed
- SESSION-ACTIVE-TASK-BEFORE-CONSOLIDATION.json lines 1–64
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SESSION-ACTIVE-TASK-BEFORE-CONSOLIDATION.json
d5b7b6d4822e14a41207319d07f505de93f6281e05e4c53990f7bb0136f4f575
- SESSION-COVERAGE-20261026.json lines 1–23260
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SESSION-COVERAGE-20261026.json
c5291cf618a4da526c5083ce826897d67c6ca5f7344e08d3f50e9ca5e1da7935
- boundary-source-results.json lines 1–69
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary-source-results.json
00932f60621d41dbe1b3545d7691b00f71b322f0daaf788269b6baec9756dd3a
- c4-triangle-results.json lines 1–42
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/c4-triangle-results.json
612c2c4096eb153173a2d608d973abdf0e04749a1363843190299e164e1241be
- common-cover-compositum-results.json lines 1–25
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/common-cover-compositum-results.json
83862510fea40be29d64d9f8beb5bdc8b03472b25f00b3dc208828394bd359c0
- independent-seam-graph-results.json lines 1–420
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/independent-seam-graph-results.json
e7cb292768c5432840f188c865c81924350fbbc2eb14defacb100be3d82ece6f
- pushforward-anchor-results.json lines 1–18
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/pushforward-anchor-results.json
349eecee55bb0e505d86c172c9092dc22d0d2b886fd001d17664d33c190626d6
- real-boundary-modular-results.json lines 1–40
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/real-boundary-modular-results.json
d17c4687ad401f2d8b83629235c4b2750f96cd25cb0bd29f8a9353ed42a7ff93
- sign-line-cover-results.json lines 1–203
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/sign-line-cover-results.json
708ac56062c090ad0320d6999736998476246d98ba6a1c757a2bac11d21a945f
- spin-transport-cusp-results.json lines 1–33
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/spin-transport-cusp-results.json
0630c3c9ca65d10b083c4ea891f3f294e1e7f78bd31c3b2e6ad207767aeb06ce
- stability-results.json lines 1–145
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/stability-results.json
e894f7531264fc5ab1b647922467c47c878d6c271c8e258f76ac4a7bfe7e24b7
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:elliptic-moebius-source-bridge-20261026
original admissible source closure 20261025PARTIAL
Does the recovered original seam circle canonically determine the minimal line and relative electromagnetic-shaped factor without a heat-to-EM identification, and what original source identities still need proof?
The original fullv21 concrete circle after explicit orientation repair; existing full CAR with matching positive time where invoked; old SF-normalized relative defect action and its exact complete-sector ratio. No substitute continuum field source or free state is selected. The historical UV-profile map exclusion is reused from the 2026-10-13 audit and rechecked on the current registered archival source; it is not a new discovery.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–335
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/contract_index.json
a1daaa051dfcaffd18c15c07c4d0ff4bb15e924324bcc512ed913f75c0a50527
- DIRECT-DEFECT-CLOSURE.txt lines 1–226
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/DIRECT-DEFECT-CLOSURE.txt
84a79c74da8b18387a3d2d8a9928e4a437a608120b52a46c7ede6392cf1128ff
- check_direct_seam_defect.py lines 1–141
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/check_direct_seam_defect.py
071ec49e327bba42134eaf3e679d8e11d604205cb5d3348cfccfd33cc3a7f1ad
- normal-connection-marks-results.json lines 1–106
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/normal-connection-marks-results.json
f5f155dccfe808870db7c95fd650dc2aba34bdbf5752bb930a6220b703dcbf75
- normal-index-transport-results.json lines 1–98
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/normal-index-transport-results.json
f895c5bf54a5a17b696feccb3134931e8ff1c6ece603495045e133f504cd60c8
- ATLAS-CALLIAS-KERNEL-RECEIPT.json lines 1–22
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-CALLIAS-KERNEL-RECEIPT.json
5e486c24c57909ed6ff749c88ce4968397e3dc67242273c2fc429528293ffebf
- ATLAS-CARTAN-FAMILY-RECEIPT.json lines 1–26
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-CARTAN-FAMILY-RECEIPT.json
539a196bdcd6824b8644493a219fda90d4e01c1a6cd0f9a66aa4e6d6d6db1818
- ATLAS-JOINT-LIFT-CLOCK-RECEIPT.json lines 1–34
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-JOINT-LIFT-CLOCK-RECEIPT.json
b0e5eed00a71734e606f1fec42e2458e514c9e4c9a7ad510f1bc69ef240de917
- ATLAS-KMS-RECEIPT.json lines 1–23
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-KMS-RECEIPT.json
cb6362f788356ce823009944a0e5e488a504014b869c71bd948f892202456f40
- ATLAS-NORMAL-CONNECTION-COVER-RECEIPT.json lines 1–23
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-NORMAL-CONNECTION-COVER-RECEIPT.json
ee4fab58b0d39f68397414e2b3c6cbf1244393ba42f7315a421b0fc44e5553a6
- ATLAS-NORMAL-INDEX-RECEIPT.json lines 1–130
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-NORMAL-INDEX-RECEIPT.json
9f0a375ae6306739bda4876f7f7b04eea343c31fbdf5c6ef9d0b4d9896bb3b13
- ATLAS-ORIGINAL-STRESS-RECEIPT.json lines 1–33
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-ORIGINAL-STRESS-RECEIPT.json
8a6f1eea7c78e9cec93b41b5737b67418bf201e6a6032d170cb507e9ebfb970f
- ATLAS-PAIR-INDEX-RECEIPT.json lines 1–10
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-PAIR-INDEX-RECEIPT.json
5d0a128a4d28c3ca92e3dfc98b4cc6484cea63d00457c5a5fc3ffcb7079f5e0d
- ATLAS-PIN-COVER-RECEIPT.json lines 1–25
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-PIN-COVER-RECEIPT.json
60918b0d8354a0ff451090d533edc195611c431722d4728773f4311cf6d229f3
- ATLAS-QUANTUM-OCTIC-RECEIPT.json lines 1–44
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-QUANTUM-OCTIC-RECEIPT.json
d128c3c408558bf7f7ba84055b5f560ee761e9eb05c1cb7395e7a42bb3c5de23
- ATLAS-W8-TWOPOINT-RECEIPT.json lines 1–41
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ATLAS-W8-TWOPOINT-RECEIPT.json
1699281cfa64d55859b821be4d57c8ef4447e05d5123c66e64b5c95a9aa9166f
- cartan-family-dictionary-results.json lines 1–13809
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/cartan-family-dictionary-results.json
1253cf98634cdc2e1f5917a7223c65cfefc71e840e514290eac8bebc84108551
- direct-seam-defect-results.json lines 1–66
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/direct-seam-defect-results.json
d0aeca76d8e95c29e218b2de0907e5c8c37fb0b3ab88c47cc70367844dfa7501
- joint-lift-native-clock-results.json lines 1–4674
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/joint-lift-native-clock-results.json
8d86f0b905ae317362205fab66c49e0e240bd8fff8af30eaed2269f32a7c8de0
- kms-carrier-transport-results.json lines 1–112
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/kms-carrier-transport-results.json
c9958a4b4f428bde6aa11cc072d29d0f25ff39e119951db2e52d9ffccc9e9acd
- mobius-zero-mode-rp-results.json lines 1–35
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/mobius-zero-mode-rp-results.json
f15582e3e800492c208cd7dee83fefd2e81ed73603482c405dc65c8748d5f800
- ns-cover-dirac-rp-results.json lines 1–135
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/ns-cover-dirac-rp-results.json
d1844d0c16d7868f38ab2342f3568b53d1d59c3fa56552a0db33815127101862
- pair-index-results.json lines 1–81
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/pair-index-results.json
eec63376ac978b2c8c09c55bb25f0ca919652ab77cce328c0028e9cf1b925fe2
- pin-winding-descent-results.json lines 1–16
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/pin-winding-descent-results.json
80c9dd257aaab254c6f04e3cb3ceca465e6bded84e790089663bf8a20a4f3e80
- quantum-octic-completion-results.json lines 1–231
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/quantum-octic-completion-results.json
a840c52423424ca586d2273c2c4dce93ad8756c2548110aa1f06e48ff56587d7
- quarter-stress-current-results.json lines 1–70
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/quarter-stress-current-results.json
d80d8494d40ac47751f90ba5dd9480cd20ddc73ea8b906b5d5ce3fcf51155668
- w8-source-twopoint-results.json lines 1–238
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/w8-source-twopoint-results.json
f09f5878dd15315b2aae6f7607e413c8a0e160e990a0e0af1fb84b71f1803fd6
- w8-stress-cyclic-results.json lines 1–514
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-admissible-source-closure-20261025/w8-stress-cyclic-results.json
61c8db670cf327d6c259fbd2af02cba9e0ddf2885e5046c2f73110007070c619
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:original-admissible-source-closure-20261025
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 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 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 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
source rule search 20260930PARTIAL
Do the original P1 normal-spin/winding types and actual SM/clock constraints select a joint source operator? Test the explicit Bott/basic-E8 class map and its actual operator normalization before further response optimization.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–100
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/contract_index.json
4e9c16f56793c3ecdcc789956066b6112a9d9e8876c50b1b91b4a711e8c8ba48
- PROOF.md lines 1–11
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/PROOF.md
9e1243b4a62f1cefac1210cff20838abb3cdfd0d9c96825e87d1b45125be50f4
- README.md lines 1–32
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/README.md
4935ae161d1c83f9b1f7624756fb03e186ca51cc5297207b408c70e7e0765485
- checker.py lines 1–64
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/checker.py
19a4058fc6089ec42b68d9cbfe475b9062209a94b10931b1f151baf16c549133
- boundary_identification_results.json lines 1–47
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/boundary_identification_results.json
1596bdbf35224b642ab6e66d820b1ed686a92f6bbfed01117ec27fda4b7f5463
- native_bott_class_results.json lines 1–41
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/native_bott_class_results.json
bf9d239c8c38af5ebbd8b60798ee46816d96ae96285d2f1a8674e915b88cc216
- native_pair_origin_results.json lines 1–49
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/native_pair_origin_results.json
497de14049670a98d5a9f1eca1b5374f1812ad80bf5478caac3977043735302d
- native_pair_ward_results.json lines 1–9
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/native_pair_ward_results.json
047aea281721ac67f902d423b730c948f1d444b76b17379d392d3dc0cde3e4f6
- native_relative_winding_results.json lines 1–35
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/native_relative_winding_results.json
7210da17544e4dc0efa0f49f3015c435f40c1101abb6101847c5f07f0c0ef838
- native_root_joint_operation_results.json lines 1–62
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/native_root_joint_operation_results.json
57a1a574b7581b2dcf253a8a5b8dd02cffd59021bd274e96198a186d12214e5b
- native_singlet_su2_results.json lines 1–51
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-rule-search-20260930/native_singlet_su2_results.json
58be2c0f2271c69268a4da2f7505d0dfbd526c186d028ccbd6be4fd5c57f86d7
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-rule-search-20260930
source sector reconstruction 20260920PARTIAL
Can the original charged fermionic Gamma NS/R sectors and their odd-field response be reconstructed from the fixed even neighbor L_h with inherited charges, parity, and assigned time?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–98
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/contract_index.json
d83964354a214ca188c2a742a4c75207d1eea0244461d0304fa79814dfe5ea13
- PROOF.txt lines 1–293
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/PROOF.txt
a5796f90f4fa079badc5a07c451f1ea1028fcff3f258ac3f6992c6ae8d65d7d6
- README.md lines 1–181
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/README.md
2396730fd603e1a887bf06b842b3cf29477a1618d23d2eb5a9cbdcabd388d496
- checker.py lines 1–231
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/checker.py
ca0457fbcc5b1cc9dbead088755ce8a2952396833ccf846798f734312c82a847
- source_manifest.json lines 1–61
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/source_manifest.json
fcd6d22371af02eae868a1b995781e78e4bac6552ee56aa4f54ca5c36bcc4416
- SPEC.txt lines 1–29
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/SPEC.txt
a0bca60ac9660a02046c8489ae74fd58273e68c5a938cae0f68ad77bb97d0a90
- REVIEW.txt lines 1–333
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/REVIEW.txt
ab4e5b41c60075b4905f54b685e3db51ee202676098371c13a1b76fd8d94025d
- PRIOR_COVERAGE.txt lines 1–111
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/PRIOR_COVERAGE.txt
5a1067b8aab0a31df09710065d1680eed11a0f2194183838d6f6e6d075a46b15
- certificate.json lines 1–129
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/certificate.json
5596b6cc96d956bac751ddf2825e4d98c3ee70d4b3f548af9d0be7f99ec3d13b
- certificate.optimized.json lines 1–129
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-sector-reconstruction-20260920/certificate.optimized.json
5596b6cc96d956bac751ddf2825e4d98c3ee70d4b3f548af9d0be7f99ec3d13b
- PROOF.txt lines 1–229
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-charged-lift-20260920/PROOF.txt
25fcbdd8f9dbce24b48584146b1670c0e3a7d17091bf8d48a24aff98864eb4c7
- PROOF.md lines 1–397
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-clifford-grade-20260920/PROOF.md
7cfda722c50e6c7d17caccf038e0ffd42d326935f4301ecf466dd9dae2760276
- 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–282
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-dynamics-selection-20260920/PROOF.txt
03c09468b07cc68abd31d7f8d6715dd474564728d053ccb063a67a1ca71c89d2
- PROOF.txt lines 1–237
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/charged-sector-memory-gate-20260920/PROOF.txt
a69c18e858f001dfaab493a67c38c6b83578c7e52ce0bf824d74941eb139473e
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-sector-reconstruction-20260920
source z8 parity descent 20260921PARTIAL
Can the existing gauge parity complete the internal quarter operation without an additional parent and restore the required fermionic matter?
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–84
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-z8-parity-descent-20260921/contract_index.json
f94d9bd3ab76b40cce9087b2a213cf5254331da0e0343e905a9ec48320736976
- validation.json lines 1–11
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-z8-parity-descent-20260921/validation.json
169710a4f1a30ad332b115fead9d125eadbd9f67da13822daf2b3fd9c1b71942
- 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
- checker.py lines 1–241
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-z8-parity-descent-20260921/checker.py
afede86655827a9bd8ef5ddf4584e77be5000ca9fd82aa61ba2c4f0e3d2ff22e
- source_manifest.json lines 1–26
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-z8-parity-descent-20260921/source_manifest.json
8eff78962c73d18b06baf568b77bef937b23e143dc049a4c147bdda6ce82a8a8
- PROOF.txt lines 1–253
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-maxwell-field-transfer-20260921/PROOF.txt
a4c9da48e10f107a046fddb6a5e6d189173c75ed0e66323061f4d8f1d32c9310
- PROOF.txt lines 1–226
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-charged-extension-selection-20260921/PROOF.txt
6bb8cb37f1461d76d9371c813e7e883d142fb27f5066591d37753b9c396d6e9a
- results.json lines 1–359
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/source-z8-parity-descent-20260921/results.json
ce6afc4de0b8a20f9f56ba752ec7dfefb85d2fc7e760340f562e83ceb7acb8b5
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:source-z8-parity-descent-20260921
tfpt unified source derivation 20261029PARTIAL
Combine the actual TFPT source derivation into one scoped chain and reduce neutral source word matching to structural current, state, time and reflection conditions.
Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.
- contract_index.json lines 1–1430
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/contract_index.json
4f4514660ae1c5aa2976169e2e95f736a68a6b1f2e13ed3f827d6b29863016e1
- DERIVATION.txt lines 1–270
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/DERIVATION.txt
244e67a13d177ee04d4a0be211d0983d0efe45e0a4263186fe15da62eaf538fd
- check_current_recognition.py lines 1–187
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/check_current_recognition.py
4f6373a5a7c6559d25dc3fecfdf92ced5128b97a2f9a146278c7272e7f2d7237
- ATLAS-ABSCHLUSS-READBACK-20261030.json lines 1–72
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/ATLAS-ABSCHLUSS-READBACK-20261030.json
d0e70a2495223da71db5b19bf6d955dbc547935ca28ce29d0ca26c74d04bb57a
- ATLAS-ABSCHLUSSPRUEFUNG-20261030.json lines 1–7615
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/ATLAS-ABSCHLUSSPRUEFUNG-20261030.json
de0418bafc155c1638250eb166f89d144589adb9bcb2900da09716b5dc906f90
- ATLAS-AUTHORING-SNAPSHOT-20261030.json lines 1–43279
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/ATLAS-AUTHORING-SNAPSHOT-20261030.json
289b643ab192672c507901e25b3d3eaf869ef537192c782c51ff0cbdbb2f0839
- ATLAS-READBACK.json lines 1–13
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/ATLAS-READBACK.json
571a7463aca837e654f122e61012262eeb6adf61615f2d818608753ed7af9b64
- MULTI-MODEL-ARCHIVE-MANIFEST-20261030.json lines 1–2875
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/MULTI-MODEL-ARCHIVE-MANIFEST-20261030.json
54ea908750fdc579d25eb9a9417f08a599fe68c275b4b5f1ec6be84fb4e6722e
- PRIOR-ACTIVE-TASK.json lines 1–131
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/PRIOR-ACTIVE-TASK.json
edf870c45f93ac7d43fb8c3bfdf5e11a087093215ae5a32b1700cbdd7b10b5b1
- SOURCE-CHAIN.json lines 1–543
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/SOURCE-CHAIN.json
08024c21b1c7a8311137bf70b385ef5ceb6089cd819514a47621a2929a4e77c2
- current-recognition-results.json lines 1–17
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/current-recognition-results.json
4e580a2f7943f1a51a615afdea1aabddf63cc5d315cb9df78067c4fc5995d69c
- findings_overrides.json lines 1–1396
Source checked at this snapshot
Original location and fingerprint
verification/findings_overrides.json
aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5
contract:tfpt-unified-source-derivation-20261029