Explore the foundations and current research.

Exact clock-assisted constraints for the chosen finite positive model

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

• validation.json lines 1–195

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-shell-round13/validation.json

  2700cf745e5317b748191692f879ef496bbe2bd935134351133f76184a56d881

• README.md lines 1–236

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-shell-round13/README.md

  b54b4c6674873f825c9bfa46cba92af78f8cd3af0cdb318b304e0e3efcf527f1

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-shell-round13

Can the actual Gaussian compiler J act on the retained source time, charge, cocycle and uncompensated quarter transition, either in one fixed source frame or covariantly across its twist orbit?

Exact affine fixed-sector obstruction and phase-corrected order-four covariance in the already stipulated even E8 lattice Fock representation. The entire tuple delta, q and quarter-transition cocharacter is transported. This is not a derivation of physical twist sectors, source selection or switching dynamics.

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

• contract_index.json lines 1–60

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-source-twist-transport-20261015/contract_index.json

  61149c3819e7291bd082146235ef7a772709ae20eaa0ebce221c1a34e785a42d

• PROOF.md lines 1–258

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-source-twist-transport-20261015/PROOF.md

  9d3b3ba713b1a2ef450b5287dc15baf7c29fac224365f6b5ee70f39a261baebc

• README.md lines 1–43

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-source-twist-transport-20261015/README.md

  3eaa2d8992143eaf67c9788b76737732d9ad424640bd5e4c60fc23f66ce859a1

• checker.py lines 1–206

  Source checked at this snapshot

  Original location and fingerprint

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

  79183b86820c8742b1f244f0ff509f0d6e17706a54c2d35c19ea45da7880e175

• source_manifest.json lines 1–25

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-source-twist-transport-20261015/source_manifest.json

  8d9c99b1394888e26b9db43266e6768d0e874436a15c4d99b17dadb222df7a56

• v634_st31_structure.py lines 1–1124

  Source checked at this snapshot

  Original location and fingerprint

  verification/v634_st31_structure.py

  5ff53ed031ca03103187ac22edf723aabce88bee3df1085c52486ecb0044d37c

• checker.py lines 1–291

  Source checked at this snapshot

  Original location and fingerprint

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

  d18aafbf6d4f6f651afe0533c2b7de3412200fc004d22d0e5bdbdf45260aee76

• operator_transport_check.py lines 1–289

  Source checked at this snapshot

  Original location and fingerprint

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

  33e98e7567b52c9ce82eed8a29fe37428b7d7ff539a6e8e311f0123e4c3e37a1

• PROOF.txt lines 1–1087

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/seam-joint-ward-state-20261014/PROOF.txt

  7c0cd92dfc5eca88260baae0af9edad66f958a27ce0d15d7965414b3971f8da0

• contract_index.json lines 1–119

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/v16-operator-pullback-20261014/contract_index.json

  b19eedaac21fb63a3f0f084a6045ad93a6a2e1643ff8b6c0f66847329c8f4e1b

• neutral_twist_results.json lines 1–88

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-source-twist-transport-20261015/neutral_twist_results.json

  85a22986ff1ea03024dbdc046391c02b72146e6bc8fb5b5e286a664f22e79ba1

• results.json lines 1–317

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-source-twist-transport-20261015/results.json

  bf6fe4a411797e1eea4c8e3b4f553650b55e106474cd03715a8bb49172e57367

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-source-twist-transport-20261015

clock-vertex-round16

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

• validation.json lines 1–227

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-vertex-round16/validation.json

  a1df688efd6b9bcf8ac741d2643923c8e1cb0764be62d24b61b522effb0f66c2

• PROOF.md lines 1–421

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/clock-vertex-round16/PROOF.md

  254d2e5acf0e67a5f9875ec6562745d2f9bb3d61e445370505c10d1a6c929e7e

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:clock-vertex-round16

cocycle-sign-obstruction-round26

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

• validation.json lines 1–524

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/cocycle-sign-obstruction-round26/validation.json

  6bbaada7282c0899521abefc5e7dbdeee9dd434e1db54098092f6d4eb5e48518

• PROOF.md lines 1–73

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/cocycle-sign-obstruction-round26/PROOF.md

  bfdb5885f6b96889e84d80fcd60e77ee49460761a7616e116f82c31299d90e4b

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:cocycle-sign-obstruction-round26

Round36: one reduced dynamics for a coherent preparation family

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

• validation.json lines 1–2662

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/coherent-family-round36/validation.json

  5efaaa9cebb8c82582db01352a5324f2ff6e07f8b762484d5a77beb33b73cae5

• README.md lines 1–120

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/coherent-family-round36/README.md

  875a263b1c7de9e47f5890bdea4932e256c1c8a0ba094f71222277569e7d49af

• compiled_model.json lines 1–15518

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/coherent-family-round36/compiled_model.json

  c9fbdece838a5386d100cefc50d4a46300f885125a7b28e9360f7e0679402e71

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:coherent-family-round36

Which part of the scalar two-face current bridge survives the original complete Dirac lift, physical boundary domain and chiral-measure identification?

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

• contract_index.json lines 1–61

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collar-current-source-bridge-20261021/contract_index.json

  80de96c729cf3e744da3fdc8ae5da56f3588692de12a8f62dd7602036d92e108

• PROOF.md lines 1–196

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collar-current-source-bridge-20261021/PROOF.md

  2dae051bb6a3ee77cc96bc0d63470ac4875950b46057865d1177e4ed3322e5ac

• checker.py lines 1–132

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collar-current-source-bridge-20261021/checker.py

  c7eb757690bd4ae238812f47bb99449f939a946f74dc89ce00ff5011fad6770a

• dirac_lift_results.json lines 1–54

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collar-current-source-bridge-20261021/dirac_lift_results.json

  f6afbd6af36efd7ffdea93bebd1bbcea296c91efc841ff54725fbe69055e1f4a

• results.json lines 1–170

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collar-current-source-bridge-20261021/results.json

  b7368c956426f1dfa8dbeffc4239805829cac657acd209eadcd120e958578216

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:collar-current-source-bridge-20261021

Does the actual E8/J native source first distinguish its literal five-code through four-register correlations, and can any <=3-local Hamiltonian select that whole code as its exact ground space?

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

• contract_index.json lines 1–72

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collective-native-marginal-origin-20261026/contract_index.json

  033743c773229f47803c9d9f3d9183b17436b88ca5158ae6d9af57d7bef16eb1

• PROOF.txt lines 1–100

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collective-native-marginal-origin-20261026/PROOF.txt

  72ff4cac1b6e32d71cc1d4f0fb39fbf59754935f72455b7e5a3ba5ffce0b369e

• check_collective_origin.py lines 1–147

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collective-native-marginal-origin-20261026/check_collective_origin.py

  f05fb2f189f6a7d21a1f423042cef3cc605e2e52aa8c1e64068cb4ba6d4b4218

• dynamics_results.json lines 1–99

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collective-native-marginal-origin-20261026/dynamics_results.json

  4d6ab1df704cb1ace891a30a87e4cad61317265cf7cfaa5ff4e704dbb78a4fd0

• results.json lines 1–70

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/collective-native-marginal-origin-20261026/results.json

  af039e7c41aaf067e583d7c90daf9b88cb62bf129ba5caee55d37186f317d606

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:collective-native-marginal-origin-20261026

common-domain-round14

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

• validation.json lines 1–158

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-domain-round14/validation.json

  7f68d7d1b46d3b23d451eaa35fcea92aa219cec520140b954e6a9f5115b70994

• PROOF.md lines 1–396

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-domain-round14/PROOF.md

  a25ac3b3762af9f2c18509194670674ff5c1fafc221d2a4518724d842f838870

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:common-domain-round14

Lassen sich die drei Wege – exakter Rotor-Transport mit Rückwirkung, E₈-Rückwärtskonstruktion des Halb-Twists und numerische Robustheit – zu einem gemeinsamen TFPT-selektierten Motor verbinden?

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

• contract_index.json lines 1–52

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-engine-threeway/contract_index.json

  715d2f544a6afb888d4150ba35eb191b088192dee2b173b9873f832cb8f50015

• validation.json lines 1–751

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-engine-threeway/validation.json

  294797b08dc42738deb83771a782e411a66d223b3975f6b06619fda156fde711

• PROOF.md lines 1–215

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-engine-threeway/PROOF.md

  8f4eef899a99074ebe46cf730189df33ae9257634de709d3f386e84f7ec6c555

• README.md lines 1–150

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-engine-threeway/README.md

  e97916a2b5510d6717b430996cfbfed59a5308c8bb010dd31e6060471b0545d3

• cell.py lines 1–263

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-engine-threeway/cell.py

  0a86ae2b150911d461fbdb8d221cb283ce9f52122f75dafd6807c360d26a7862

• validation_optimized.json lines 1–751

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-engine-threeway/validation_optimized.json

  294797b08dc42738deb83771a782e411a66d223b3975f6b06619fda156fde711

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:common-engine-threeway

Can the existing E8 edge coframe, graded native cubic, two-source event reduction and phase response supply one source-derived physical interaction, and what precisely prevents the unmodified candidates from doing so?

Pinned finite source tensors and a selected extended boundary model. QWZ, E8 edge and compiler source remain distinct constructions. None of the algebraic maps is silently identified with a physical common source.

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

• contract_index.json lines 1–64

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/contract_index.json

  508a7cd1fd8119843b981c91f61dc306019ea529032f53f979358bc9ec9b4f42

• validation.json lines 1–80

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/validation.json

  e5c010f9392a8ee1257e473eaed42421e2bd9eb7b13f75a6fedd521a5b1426c2

• README.md lines 1–31

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/README.md

  96536308145acaca2423e65bd744801003443952f1c26fee879bea7df983a9f7

• ERGEBNIS.md lines 1–270

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/ERGEBNIS.md

  ada1ed7484e8ec16e92c663177a591c1cca84da2e5244d4655664218ab0f9ba6

• checker.py lines 1–139

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/checker.py

  bbad6748307fe3efa62b2222a3261ce7a7deccfdcca56118799de8514a06297d

• source_manifest.json lines 1–127

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/source_manifest.json

  d4d1825d090936443b7aa14fbc0aa8a218a62f4fac27152c87620ad77ac4b62d

• manifest.json lines 1–36

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/manifest.json

  354895d9c3f4df03737eb39993415592a6c43ac7de5375bcdddbc7ab19b39621

• results.json lines 1–58

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/common-source-gauge-grade-transfer-20260920/results.json

  6ac353d6d9cc28e84d465030c845937d40d2e933ff8bc88aaadf8b9085428c01

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:common-source-gauge-grade-transfer-20260920

Which two-source bond observables, weak-coupling statements and subsequent three-source binding responses follow exactly from the pinned native source, which global ground claims remain premises, and what affine-current connection is actually defined?

Exact finite pair-source observable algebra and grade-one Cartan observable target; pair weak-coupling stability only under the stated full-space Assumption G; numerical evidence only for the full two-source ground theorem. The three-source addendum proves only an invariant two-packet Hamiltonian and one quartic binding line; its global complement theorem remains reported and unreplayed. No Hamiltonian/current-vacuum transport, physical instrument, spatial continuum or TOE gate is claimed.

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

• contract_index.json lines 1–154

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/contract_index.json

  93c749362eda3d17a15aa629a9ecf94e09b5854db3bf6037d0b530a3d8e0255c

• PROOF.txt lines 1–420

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/PROOF.txt

  67e3d788c0bfe6169bde878a6ebf431dd8c4bc6520620738253ed22eb4587e2a

• checker.py lines 1–255

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/checker.py

  62fd8bb8184ba6e6b9d9c73f4e4692cc409b65616abc2b035a76ba18bd781df6

• source_manifest.json lines 1–97

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/source_manifest.json

  2f3d95ceea66b85eb60eb7f6834320a79045096d4d6e58df7f54d63487e00671

• replay.json lines 1–35

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/replay.json

  7ed8ce9df55c803b4a10e57b0de19bf594a525d6cf1744f8b24f15abd91c2eac

• artifact_manifest.json lines 1–19

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/artifact_manifest.json

  64b212192eb42c1a3427f8d528ac5e8d9ce019c467caa79bc80a59d76a55e2fc

• certificate.json lines 1–802

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/certificate.json

  21d6283cc6e1d342fcc668c24196400249f3e30d91589994ba1362e16ae42d20

• ground_audit.json lines 1–528

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/ground_audit.json

  f3e45d26034d42fdba0752d4844190221202e4e887ea411280d5ee558bf69886

• triple_response.json lines 1–265

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-bond-response-20260919/triple_response.json

  f9471c23376e0359e2d5d9f0c105d1b7e5266a1d1437f7c0279027781a234dc2

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-bond-response-20260919

compiler-boundary-selection-20260914

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

• RESULTS.md lines 1–221

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-boundary-selection-20260914/RESULTS.md

  ca190a3b2d61ad09951a6574467d9acfa5f6ba5db85bad94ac05547e5a249628

• q_record_completion_optimized.json lines 1–84

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-boundary-selection-20260914/q_record_completion_optimized.json

  8ff6847611578c64b36601308cc731d711893745aeeab776cb3a35b8be9188df

• record_selection_optimized.json lines 1–4180

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-boundary-selection-20260914/record_selection_optimized.json

  21840a0932cbcc52f444048e9dcb3fbbb129b19a556a00fb5eac29f166021f53

• q_record_completion.json lines 1–84

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-boundary-selection-20260914/q_record_completion.json

  8ff6847611578c64b36601308cc731d711893745aeeab776cb3a35b8be9188df

• record_replay.json lines 1–34

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-boundary-selection-20260914/record_replay.json

  f685987c4973a2af009417114743691b1a42ffb557812aa6152d6a8b0caae573

• record_selection.json lines 1–4180

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-boundary-selection-20260914/record_selection.json

  21840a0932cbcc52f444048e9dcb3fbbb129b19a556a00fb5eac29f166021f53

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-boundary-selection-20260914