Explore the foundations and current research.

local-parent-round15

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• validation.json lines 1–232

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-parent-round15/validation.json

  6495add549e687366dc3944cc61dcbe6f0cf75c15ee47b3e23318afb6e1081bb

• PROOF.md lines 1–367

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-parent-round15/PROOF.md

  e5264468f3f3c87ab35f37205cc65370f3639e0c2d34b73399b82cb50b0cccbb

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:local-parent-round15

Round 10: local constrained realization of the positive TT completion

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• validation.json lines 1–173

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-positive-auxiliary/validation.json

  83e40d61924fd898cb71ebdc61a39164e09cd450936e184c9273b31f2e4a022a

• README.md lines 1–408

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-positive-auxiliary/README.md

  5f9ea5bca31c71edbc7ffe9d78178a53cb29d2a849866b6993be30ef9cb8d099

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:local-positive-auxiliary

Round38: an actually evaluated local 3D readout without a giant window

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• validation.json lines 1–288

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-source-round38/validation.json

  7d1160a3264c2f8d5d5c0d0bfbd729f6b26ae0c6ea9c561698ed9059416f5fcf

• README.md lines 1–98

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-source-round38/README.md

  6eaddc4fbf71af8832499703a1a6b88aa90342ca2d03f374456cffda23dc00f5

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:local-source-round38

local-source-stability-round18

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• validation.json lines 1–244

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-source-stability-round18/validation.json

  6b21221e05b7f067e542ca90f099ad5c9a753ef56d0c6373913fcfe4c23331bc

• PROOF.md lines 1–322

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-source-stability-round18/PROOF.md

  2dabc48caf451705123b16a82a9accc8a597743c8fbe34ca094bb62f040aaeef

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:local-source-stability-round18

Round37: explicit local 3D window and rotor error bounds

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• validation.json lines 1–246

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-window-round37/validation.json

  716364baaa08759d6924adf0b11d6e37390520e1578c742ca83e722825d9f8f2

• README.md lines 1–101

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/local-window-round37/README.md

  2ec5e9affad2f3dece0b11fc0e57e3164886734e143e25b5eea3867fa456161a

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:local-window-round37

Without inserting a spin structure: do fermionic grading and the oriented marks force the nontrivial projective lift A4 -> 2T (central element = (-1)^F) instead of the trivial linear action?

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• contract_index.json lines 1–55

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/mark-projective-lift-20261005/contract_index.json

  9e7081c4beb81aad23fbee4dbcb8c17767d1f32a1bab08b7b901ba5e70370b94

• README.md lines 1–46

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/mark-projective-lift-20261005/README.md

  f61fe9c64a39aeaf1c4ff9a23e5bb813a22f1748e9609d49ba5cd76a389c27ee

• lift.py lines 1–331

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/mark-projective-lift-20261005/lift.py

  477ea6b48ed9d8813ac7d320b554bd42b4e72f87ec43b4975b542e21ab0ee2d9

• lift_results.json lines 1–113

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/mark-projective-lift-20261005/lift_results.json

  b4f2a8938cada307179e322c3681d0c4c4649abfca899be26d69fb868d9f761a

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:mark-projective-lift-20261005

Can the actual q*-marked 1+5+10 compiler process and the original seam transfer be joined by one completely positive operator step, and does that step define a product-preserving charged physical time?

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• contract_index.json lines 1–59

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/contract_index.json

  c8a410ebd47948b90ceda86b990ea1b2f72792b2489a8d8208fae3f42ba820a7

• validation.json lines 1–46

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/validation.json

  708929cd906037a7a042319351098deb0c7ae2fc4e47c6c282ab40f568095295

• README.md lines 1–43

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/README.md

  b14170ee897eb9571e22401749df1131426110ff413f36a7e112454398453c4d

• checker.py lines 1–154

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/checker.py

  842c8c715d740ff0927c18c01686014d66fcbec9ea782a68c0024e929eecae98

• certificate_optimized.json lines 1–202

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/certificate_optimized.json

  df1b320372e5f4ee1eb3bf26066f0517c8b175dc6b3f8d238a92505f6551a6d8

• certificate.json lines 1–202

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/certificate.json

  df1b320372e5f4ee1eb3bf26066f0517c8b175dc6b3f8d238a92505f6551a6d8

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:marked-seam-cp-lift-20260921

Classify all sign lifts of the native quarter-clock representation on the ordered four-punctured sphere, and determine their actual extension classes and native quartic/exterior cohomology.

Pure mathematics. Full sign-lift preimage of <J> with all four peripheral projections J, prescribed ordered peripheral conjugacy classes and simultaneous conjugation by that preimage. Full factor table on native <J,R>=C4xC2. Not unrestricted G31/W(E8) reflection moduli, a global splitting theorem, a mapping-class quotient or classification of spatial-reflection-equivariant lifts.

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• contract_index.json lines 1–41

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-monodromy-20261023/contract_index.json

  e3447f50916764b167c3aa0cac6e00473ca4d73f9b08e96df1051aa326fcaeb8

• THEORY.txt lines 1–349

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-monodromy-20261023/THEORY.txt

  83f6f464aff89acb5cc4194244a5636d4a4ff62600cdf5ee3c33ded4410f963a

• checker.py lines 1–466

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-monodromy-20261023/checker.py

  e6e7205eb83341ef0f9a2a433bb71be2aea1908faae42552f04f38ba6abcb159

• source_manifest.json lines 1–20

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-monodromy-20261023/source_manifest.json

  b93771ee5416083bbd53c4458b6b651f646b4ff2ac42681b895dfec18a768f8c

• v634_st31_structure.py lines 1–1124

  Source checked at this snapshot

  Original location and fingerprint

  verification/v634_st31_structure.py

  5ff53ed031ca03103187ac22edf723aabce88bee3df1085c52486ecb0044d37c

• operator_transport_check.py lines 1–289

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/seam-joint-ward-state-20261014/operator_transport_check.py

  33e98e7567b52c9ce82eed8a29fe37428b7d7ff539a6e8e311f0123e4c3e37a1

• checker.py lines 1–206

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-source-twist-transport-20261015/checker.py

  79183b86820c8742b1f244f0ff509f0d6e17706a54c2d35c19ea45da7880e175

• process.py lines 1–1037

  Source checked at this snapshot

  Original location and fingerprint

  tfpt_explorer/process.py

  e8db5fcd999c9d4c34fbee548aa2c85e1a515cf03663a62355533439ae0f1c94

• results.json lines 1–660

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-monodromy-20261023/results.json

  6a7a49be9da3ad1a71c5062a04a63d34e674e6ea1fdafbc451069d225ad7205d

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:marked-seam-monodromy-20261023

Can the existing marked channel and its fixed state select a common original marking, state and event law, and which supplied synthesis formulas survive original-source checks?

Finite marked M4 channel, coherent endpoint dilation, and stationary covariant mixing counterprocesses with identical unperturbed interval channels. Native regulated g=0 scalar/charge histories are prior conditional results, not identified with M4 here.

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• contract_index.json lines 1–99

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/contract_index.json

  2bae6f68f13c29204e4dcc97a01cb73225bafc171553ae500edad1b65290d03a

• PROOF.md lines 1–186

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/PROOF.md

  efabe566ba8c0838ab329b0bae06dbd130cc1941281cd3e623f3e6cd60caefce

• README.md lines 1–7

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/README.md

  4463d081e0de9f7d849e3f041c582542a108f6bc929482204bbf8e641d22e856

• history_identifiability_check.py lines 1–173

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/history_identifiability_check.py

  db05c32421e116d921507fa1cc90c63e7573bb73427682afc49d8f3fd0d0c700

• source_manifest.json lines 1–147

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/source_manifest.json

  b068c0d6da38983eaebdc962f2ce8b0a571728f0c518cf900564a995ad4ee86f

• v3_em_alpha.py lines 1–140

  Source checked at this snapshot

  Original location and fingerprint

  verification/v3_em_alpha.py

  22f769d9f89e74e2279c06b11c75d6da4d7455ef185fb2f79869a30932ebc3e8

• v1024_parent_internal_boundaries.py lines 1–620

  Source checked at this snapshot

  Original location and fingerprint

  verification/v1024_parent_internal_boundaries.py

  ea084268a20960c1d237f5b4625c7ae444567a17983ac5e461276e92e142a9fd

• checker.py lines 1–154

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/checker.py

  842c8c715d740ff0927c18c01686014d66fcbec9ea782a68c0024e929eecae98

• validation.json lines 1–46

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/validation.json

  708929cd906037a7a042319351098deb0c7ae2fc4e47c6c282ab40f568095295

• contract_index.json lines 1–59

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-seam-cp-lift-20260921/contract_index.json

  c8a410ebd47948b90ceda86b990ea1b2f72792b2489a8d8208fae3f42ba820a7

• checker.py lines 1–312

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-clifford-bridge/checker.py

  bf566c57f8f9fd2839c3b9ea6fe9c8ce65cc66c310fb6a4ee3119a8c9329d22d

• validation.json lines 1–157

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-clifford-bridge/validation.json

  a40b338e99cb0bb0e09d63861621d6b228e4ad5afeed7ea0335352ad043d4e0c

• PROOF.md lines 1–326

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/source-register-response-20260920/PROOF.md

  b35681f9ff013832cd9f206944a5702e0d39ffe0d408c82cc95dbc1a5c79fcc4

• checker.py lines 1–383

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/source-register-response-20260920/checker.py

  6dc07de5562e3bb8353b94e934e493927339f6202ae31e9dac2b24c154adac61

• contract_index.json lines 1–55

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/source-register-response-20260920/contract_index.json

  b8eca516db8e8114572b7fde187a353623f3cae5fde76a9fd016bfa5cd51a9b0

• PROOF.txt lines 1–55

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/joint-singlet-pulse-source-20261013/PROOF.txt

  d92843e15417046610e10c59f54e752bc9299f8c80ebad88fc554957877de769

• checker.py lines 1–155

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/joint-singlet-pulse-source-20261013/checker.py

  9d18a48775b5cf8726737bd4a87e94f9b3feccac1aef4c4ea78c0d2081deb975

• contract_index.json lines 1–38

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/joint-singlet-pulse-source-20261013/contract_index.json

  5d53acdfd6e7f74b973ab0b55beaf85d949387a68d9c8a85a9bd2583f5d1fbab

• PROOF.md lines 1–171

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/moving-history-memory-round25/PROOF.md

  a9e11a04aa359c37e38a93b00b638aa114dec4a30f6556722018543a36468375

• checker.py lines 1–87

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/moving-history-memory-round25/checker.py

  77e5552cbd0eebbdbb9e158179245751500c3f4c8efd6f4f9e680a12f2573370

• validation.json lines 1–505

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/moving-history-memory-round25/validation.json

  6b21ec081eb9d3d26526230461979c23c953415eecb212cd5753d67ed4568fcc

• contract_index.json lines 1–49

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/moving-history-memory-round25/contract_index.json

  e90167e93c9c6ed816f8ba312a6164546da4bba1396781d07f19fa5659cc89ab

• PROOF.md lines 1–100

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-determinant-solver-round25/PROOF.md

  721af33babf3d85a4648b7f4bad91a3b2d5944ec162f29c91c0c7bbb5bced43f

• checker.py lines 1–83

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-determinant-solver-round25/checker.py

  94106706e77118227b99349904d7eb1b2a04e81a50bf8cfe2d18fea584993762

• validation.json lines 1–496

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-determinant-solver-round25/validation.json

  5ed9586706f373c22ff3aedcdabc390dd74576bbcd50ffdb41965212115c89b0

• contract_index.json lines 1–50

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-determinant-solver-round25/contract_index.json

  752d62d874ed83b3570b677196c0073b111aab05747e334e38f34d7f8a82e750

• PROOF.md lines 1–198

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-sum-control-round26/PROOF.md

  cd1ea78abaeabd0073fa20e290aebe4599d4a1895552f23d9ef3843064cb6647

• checker.py lines 1–71

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-sum-control-round26/checker.py

  771396595f191df187072cf239d733116f8268d78d020d25195f1a1f348ce653

• validation.json lines 1–527

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-sum-control-round26/validation.json

  31a3dda14d57e248ffa60774b2496a3d003c8f840302dbe1c86cf2d9f5f503a0

• contract_index.json lines 1–53

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/history-sum-control-round26/contract_index.json

  7e8f44a221645fea902af5d553642f1f0ed4000228aa7ea605d85fde06889f6b

• PRUEFUNG-EINGEFUEGTER-TEXT.md lines 1–132

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/PRUEFUNG-EINGEFUEGTER-TEXT.md

  f63f1efc0ad297dd711578f2d630050af88d7b16d3877315027071d547f40bdf

• PASTED-PROCESS-AUDIT.md lines 1–115

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/PASTED-PROCESS-AUDIT.md

  0bd0eb582732fc9b7dc3c338f123ae4b12a18003ca25ecc446cecfb2a8d39439

• endpoint_compression_check.py lines 1–154

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/endpoint_compression_check.py

  068b60640479e27dff3c455a82927937b74f0ad1b42f88d2e4e2190a0c0c6f5e

• instrument_selection_check.py lines 1–153

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/instrument_selection_check.py

  4e92d7431e88bbf6ef0ac6642a3aa96f060881a1a6245d4a57905520bd910ca2

• pasted_formula_check.py lines 1–74

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/pasted_formula_check.py

  8d235b3e153c20eb829643387064a10b2f95e91316ed967dea117c87c7b36d81

• luders_sequence_check.py lines 1–47

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/luders_sequence_check.py

  f0ff6e4ca98e8e4cd57fdacff045c5ea8463c719107e94206e1361f824a11e5c

• PROOF.md lines 1–361

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/source-continuous-marked-time-search-20260922/PROOF.md

  62fd2844ecc3e84134d1400335cf4dd469312305d6cfb3eae427aba01beb0ac8

• endpoint-compression-result.json lines 1–99

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/endpoint-compression-result.json

  5f7ac948ce1ca0f27c08cf1809ef7f12cf4071b257896b1da0c721664e434dcd

• exact-check.json lines 1–253

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/exact-check.json

  8a1fec3bdfd0836ca046787fb3538a51e57c475c8f00d37f9738c02a7229c160

• history-identifiability-result.json lines 1–82

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/history-identifiability-result.json

  b1560d54fd1149d299c6292d79595c9a86b693ae67546b12fb8a8e845a14fa44

• native-determinant-replay.json lines 1–58

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/native-determinant-replay.json

  75118577bc1e6416a6a0d9c87d8f2986760ba2ebe4b2fbd4e9897e2cc986b862

• native-memory-replay.json lines 1–67

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/native-memory-replay.json

  9bb2124fbb64861b8eaf2e258d911de01d48132e3c75319c6ece6ac456f8771c

• pasted-formula-result.json lines 1–37

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/marked-source-history-20261014/pasted-formula-result.json

  802f87423f07c4358ffbf997f9943b7ab5200f52cd9bca9f47db84fc1d117d24

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:marked-source-history-20261014

Schließt die kanonische Algebra der fixierten freien Skalar-Energie- und Stromgeneratoren exakt, und welche Onsite-Potentiale sind bei unverändertem Strom mit der Impuls-Ward-Identität verträglich?

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• contract_index.json lines 1–37

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-current-algebra/contract_index.json

  b77e7fbf61864d1377c4ee3751ac5bb5819fa85d1b6dd49ec127e4dcd864bf4c

• validation.json lines 1–70

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-current-algebra/validation.json

  baaac61a9ab3420dc94b81a8899d2ee5d380627574632c8629feb7c17297b865

• README.md lines 1–191

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-current-algebra/README.md

  3b4ac6c1bb5290a6b70f4a349169667c3dc6f902d4ddae7a72887bd823aa9c76

• current_algebra.py lines 1–154

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-current-algebra/current_algebra.py

  7217785e71e11a5e6f914a6697ea17b26d29ee14840770cdacba57e7e59b39b9

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:matter-current-algebra

matter-geometry-round15

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• validation.json lines 1–370

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-geometry-round15/validation.json

  52cbe9bd07aa722da1f228b623aa3598b1dac91d1c6248c37fde6649c8355946

• PROOF.md lines 1–273

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-geometry-round15/PROOF.md

  707c585ca07f4a675390222ed53fef1d093e938ac6a3d2e3cf33c0825d255f51

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:matter-geometry-round15

Round40: controlled matter hierarchy and certified bulk phase sensitivity

Original historical attempt metadata. A reported PASS is not a reviewed theorem, a fresh run or physical completion.

• validation.json lines 1–1464

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-hierarchy-round40/validation.json

  0c29d86cbdfbe5b8ce51372236d46350df7ac0da6af09d5aa7d2f94f4c39a322

• README.md lines 1–81

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/matter-hierarchy-round40/README.md

  14aefddeec46d1ab8c7e4784dd0dba0ead5213be21465db54cdeda9e5bdac41d

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:matter-hierarchy-round40