Explore the foundations and current research.

UR.COMPILER.FRAME_GROUP.14: Which exact phase-aware finite group is sufficient to carry the .13 recorded frame, and is it the native Weyl D5 group?

Exact finite group and readout compression. No physical spatial dimension, Weyl carrier identification, autonomous record or TOE gate follows.

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

• contract_index.json lines 1–66

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-frame-group-20260919/contract_index.json

  e70773cc99dd2a37530187bcb6e73fc6596406cc233dcb5d1ee88a25bf2ff544

• PROOF.txt lines 1–132

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-frame-group-20260919/PROOF.txt

  60969a33006b3134700a270f1b42b20525c116aaab4a9485350248f109da28f8

• checker.py lines 1–474

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-frame-group-20260919/checker.py

  dfff073fb3505d4c97215953f6ad69e4b4c3bc4fe42557c6deeb187e8af98b22

• artifact_manifest.json lines 1–8

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-frame-group-20260919/artifact_manifest.json

  bd242b282ac4f4854b814f5f71898acfba9f9f74fc440dabbd2bd4894a4d1c92

• certificate.json lines 1–204

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-frame-group-20260919/certificate.json

  d3450ef378d21d2b33051dd84749af490a24b63ae4fc5d14a640edda4d7efaac

• replay_oo.json lines 1–204

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-frame-group-20260919/replay_oo.json

  d3450ef378d21d2b33051dd84749af490a24b63ae4fc5d14a640edda4d7efaac

• replay_validation.json lines 1–11

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-frame-group-20260919/replay_validation.json

  216b2a4bf52d33406e0a9bd278b661bf25a1a9588f2dadb7f8b35ca2885b0e33

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-frame-group-20260919

Does the actual E8 clock representation admit an integral norm-composing triality, and is this structure selected by the source compiler?

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

• contract_index.json lines 1–32

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-integral-triality-20260918/contract_index.json

  54d6580e9413d4c8f5d7a09f031cb6f44d3d7087c477877fbab4369d63360a3d

• PROOF.txt lines 1–89

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-integral-triality-20260918/PROOF.txt

  123e076cff29adcabd0d38bc901ab60976f3d6286589c5e641562f59b1ee70d5

• checker.py lines 1–210

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-integral-triality-20260918/checker.py

  d3fb7b075bb58f2292e7f2092e887644db4df5c7e01640ee4dd2e95bead96223

• certificate.json lines 1–3631

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-integral-triality-20260918/certificate.json

  a342f865bec164ae6dd54e9e7b7c7cc991efcf7a939dda2ecab586b4a6c6cfe3

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-integral-triality-20260918

Two 16D carriers have inequivalent involution types

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

• validation.json lines 1–146

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-involution-types/validation.json

  220ad33a08b3568434c25babd02c6f083493870a38407b6094cccf1c0c586377

• README.md lines 1–173

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-involution-types/README.md

  a1c758533d61a6dd6aa30624556f7e5ef71371deb33c2443446e5259af9e5dcc

• clock_selection_validation.json lines 1–42

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-involution-types/clock_selection_validation.json

  a03d79801b60ac65d6235c4285f0fcdceb4dd6de7e069a6eb36c64f2481a0c83

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-involution-types

compiler-kernel-foundation-20260914

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

• RESULTS.md lines 1–338

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-kernel-foundation-20260914/RESULTS.md

  b38f1299c675481cecab8e972c452affd0a297b97b3340a3d750c744f8b4ed85

• relational_kernel.optimized.json lines 1–275

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-kernel-foundation-20260914/relational_kernel.optimized.json

  2f4f70953e25968c5f0a1371e26927002df3d47ac1aac985d2d705c234e0f2f3

• relational_kernel.json lines 1–275

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-kernel-foundation-20260914/relational_kernel.json

  2f4f70953e25968c5f0a1371e26927002df3d47ac1aac985d2d705c234e0f2f3

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-kernel-foundation-20260914

Can the native clocks and the newly supplied coherent coupled-cell construction derive the local rank-eight current source without independent replicas?

Exact algebra and conditional all-length model theorems. No new physical gate, source-local map, or Theory of Everything. Pasted execution logs were unavailable; formulas and original local source inputs were independently recomputed.

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

• contract_index.json lines 1–35

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-local-current-origin-20260919/contract_index.json

  9cad6bb44b631fc8b2411a84476f53db9ec59bf81f4b137ddccf35a87fd6eda8

• validation.json lines 1–724

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-local-current-origin-20260919/validation.json

  308fb3fbbd44dcd44b18469e29f989727f9f56698d28d37900c3bebd1650c053

• PROOF.txt lines 1–346

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-local-current-origin-20260919/PROOF.txt

  5270d1f86ae6c3d1f7bf11bc49a7b7ffaf098f98223b8addb65d75b9572b3e79

• checker.py lines 1–235

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-local-current-origin-20260919/checker.py

  7a007ca4b248f4e996078eb69ae238cc69a129d78d56307755ea55479735cfcc

• replay.json lines 1–10

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-local-current-origin-20260919/replay.json

  f46266dbd68f117fd3f3445ed9fa2f65255a492e7ee7490035cfd643105b52d3

• review.json lines 1–16

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-local-current-origin-20260919/review.json

  d521f5dab7d9eb0d9de7005acf81ad271b0ffcdd402b8b4c8c2fae138a0a78c5

• source_pins.json lines 1–12

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-local-current-origin-20260919/source_pins.json

  6eb2b49ee76cb62cb3762796c0205bc5fd3a054e27420e473c1f59d374941d53

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-local-current-origin-20260919

Does the integral root-space triality respect the original charged carrier action, and what is the correct native E8 root/CAR/clock dictionary?

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

• contract_index.json lines 1–45

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/contract_index.json

  38c3007af98fafff61e9a0eea3fd2c3a9ac016f87ecce54ab98940f834624d24

• PROOF.txt lines 1–194

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/PROOF.txt

  b5de7459d2c849ea320cc83e2abe6f12af0933fda1917ab5b8d44ddb52fa6de1

• README.md lines 1–29

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/README.md

  824eaa9d5271ddf408865c539cb023e9f7f78eeafa41e909b1f6bf873d5209fa

• checker.py lines 1–17

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/checker.py

  361c08aec54228b032369fd6290b635fe3b92698517c874932f6cb12e0c95594

• replay.json lines 1–13

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/replay.json

  c0805cf0bd957a6d9be77cd0a83a180296a2ccfc13bf4a892ce14f24f6a67ef2

• certificate.json lines 1–7510

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/certificate.json

  eecbeefc433356f079a782dd715f011de6b5b27006d386e1dfcad10146ad6d53

• manifest.json lines 1–16

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/manifest.json

  b8f93e4de02353258f8580a829d5fed0d53052538dbed8409967d5d97102d03b

• source_pins.json lines 1–12

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-native-root-dictionary-20260918/source_pins.json

  5af676917be186c7322e56ac09fcd1a03dee5f6ab170796e84670129b7f8e1ca

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-native-root-dictionary-20260918

Welches Zustands-/Ereignismodell beschreibt die im ursprünglichen Compiler vorhandene Übergangsmatrix K=B/7, und ist ihre Quanten- bzw. Zeitvervollständigung durch die Quelle eindeutig bestimmt?

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

• contract_index.json lines 1–34

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-origin-audit-20260913/contract_index.json

  7bd0230b431165bf4e0f4ce26783846d755886457fe1f213b3072aefe38bbb7d

• README.md lines 1–304

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-origin-audit-20260913/README.md

  8cdf3fe1f7845a12f7f47d4d3538972bee4cd94d6a8582a81fd915a042ddd642

• build_paper.py lines 1–196

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-origin-audit-20260913/build_paper.py

  7f12973cc28170f528d3f947215358a4b8e26b7f8ef7d2aeeb6cf620e91b189a

• verification.json lines 1–448

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-origin-audit-20260913/verification.json

  ca952e676b05865f318894b2e677db50708b566288113088eaab70e6ff9108b0

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-origin-audit-20260913

UR.COMPILER.OVERLAP_PHASE_LOCK.19: Does relative source-phase exchange select a unique state on the genuine overlapping two-source ABC chain, and can its state, readout and Hamiltonian be identified with the existing E8 current structure?

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

• contract_index.json lines 1–75

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/contract_index.json

  c43c5ee8545fd73a19ad93c294bf066af0aa1b7f4f0614b1caededd997a8c40e

• PROOF.txt lines 1–302

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/PROOF.txt

  e24e640c3c341e2f8881993c1bbabd5b8d0f23eeee674a67c6754af33e5ade6d

• phase_balance_check.py lines 1–65

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/phase_balance_check.py

  a3b89171267767cdd868259a39f259616cfa0151d39cdef97e7a52417754737e

• artifact_manifest.json lines 1–30

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/artifact_manifest.json

  e5c6b72bcceaba7711ea5b63d1dc3fc5b6ead8d5b03c4798659f3caced26e1bf

• effective_check.json lines 1–110

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/effective_check.json

  11dcef3e223b0c5a6ea05354a7fc098eb2d2e06b1db9d9e13f54c8c4dc30f699

• integration_adaptations.json lines 1–8

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/integration_adaptations.json

  5769eb4c3bd53319c63fc4b621f175d7b13dcbcff195beb412a06d14d9b80808

• overlap_lift_certificate.json lines 1–78

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/overlap_lift_certificate.json

  164a4c5bf4ba60915d68dae0f7c9085660d470e45f3d08fbe9e0884f44c88f2d

• phase_balance_certificate.json lines 1–26

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/phase_balance_certificate.json

  f31b29d149089b4f9444ac139c6caa990a16dd631f39266b58937f28ef814d91

• quartic_1plus3_check.json lines 1–62

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/quartic_1plus3_check.json

  8057041e190442e1873f393c9418ceb9dd17b2270daf5038a0352b683bbe1970

• replay_certificate.json lines 1–49

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/replay_certificate.json

  42acb512b8cac927fa344d00aeb3afeed521b814ba274d63ea37c6e3848a5d6c

• schur_check.json lines 1–38

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/schur_check.json

  c88cfe56e9e1277f26b75e618d68131c131622c21176c34c3dd255db432ca6b3

• source_manifest.json lines 1–14

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/source_manifest.json

  ebf7352462f457af383cd25a51cc04cf58bc4e810bb255653f7fe487e624096f

• standard_lift_lock_certificate.json lines 1–107

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/standard_lift_lock_certificate.json

  89d5fc9f857d1015197a26fa0bd4cde150a8e2967d7105298d573cff87783c5b

• submitted_claims.json lines 1–38

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-overlap-phase-lock-20260919/submitted_claims.json

  da5c0004c1fc27809e5554593c463c8b326825d7e64ccb18678e97481e4e3b41

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-overlap-phase-lock-20260919

Which claims in the newly supplied pair-sector formulas are independently reconstructible from the existing native sixty-ray source, and what is their exact connection to the C60 reflection clock and .21 Bell10 readout?

Exact finite J=mu=0 results in the named invariant bar4 and mixed 640 sectors, plus an explicit full-240 variational comparison. The actual affine-current phase is retained. No larger full-chain ground theorem, general leakage theorem, physical source process, continuum result, 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–109

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/contract_index.json

  49845a7badcaac7ccdaf2b182165889be5c135b1d4756648301ac63d65fb9806

• PROOF.txt lines 1–207

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/PROOF.txt

  b63d5a7a97c331f0aa0920fb77bded14981be1c6ec735fdc91e3b1536ed5a766

• pair_sector_check.py lines 1–336

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/pair_sector_check.py

  c9fe92f871bcaaba044e8d92b13a28bc791560583684befe8c035b3e05225b27

• source_manifest.json lines 1–18

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/source_manifest.json

  bdcd5047fb3fd6821b92e5c30ec639c153dca98bbd335838a5f95464c96118d6

• replay.json lines 1–16

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/replay.json

  e070c2b2b7d93bb6b7a06c4b58b7eae14fe6f20eefb2b528188503524f1981fa

• artifact_manifest.json lines 1–16

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/artifact_manifest.json

  c2a3037b20f73b22103f11a0a079facb2b8799039269346d56859ce0b91e4931

• integration_adaptations.json lines 1–23

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/integration_adaptations.json

  ad6c82c6c6f10fa9f7061c8607a1922eb3e7f724a2bdc7a6d55f714b6a2399db

• mixed_source_check.json lines 1–161

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/mixed_source_check.json

  89670007dd1f28ff891350fef5ca8a84a99f51f9b24f2e3064852a97b5eee9cf

• pair_sector_check.json lines 1–99

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-pair-sector-audit-20260919/pair_sector_check.json

  5296aefaa9d1fdb91585c1247d3f8f2b701f70cb49d96f86978e2ab8ee700e88

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-pair-sector-audit-20260919

Gesamtpaper v1.2: versionierter Konsolidierungsexport

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

• contract_index.json lines 1–23

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-paper-v1_2-20260914/contract_index.json

  8b57f798d9381cfbf144365b588a44f7fdf963608181bfaf789430092b893f05

• README.md lines 1–32

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-paper-v1_2-20260914/README.md

  a8935ac05720850c0dc135fb324b39f971756a52ae8e12645d58cc73f4c4b8da

• build_paper.py lines 1–205

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-paper-v1_2-20260914/build_paper.py

  d10a7a25ecd01bfd51f6cf47943c22b2ff7c8d8d2ce1a5b4a0679ee0dc03af00

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-paper-v1_2-20260914

Do the original marked E8 roots give one composition-preserving operation, Choi-state and Lorentz-cone dictionary, and does uniform execution recover the original TFPT transport?

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

• contract_index.json lines 1–73

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/contract_index.json

  baa1c6d47d1a955b1f66ec44a0d1f62803a17993960078cea3297b7048d05782

• PROOF.txt lines 1–215

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/PROOF.txt

  c624193a3fde4c2b958387bb7c2477ffa968db6454f8f88b8022c0ce3b568691

• README.md lines 1–29

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/README.md

  2a3167cb5646451a38f9222425ac69c4bd5fb9332af02eb3c753ecba5abbb8fc

• checker.py lines 1–116

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/checker.py

  95221b5e9dba6a9157792ccbeaf534d5ab14b898a52c03d4e8b0933368175cc5

• replay.json lines 1–10

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/replay.json

  43f33fb01e3d7087e6ec1e85823c4a025e1f3a64d72f57bcc7d5a0b85787d45b

• certificate.json lines 1–1478

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/certificate.json

  6683b4ce1f2ecb650873142aac88567ffca1b197454bfe262228267260d7c69e

• manifest.json lines 1–9

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/manifest.json

  daf8c9b18e21c9cb69ce2199d9f42f037da20846668a5ed43c44dbb626d33bd3

• source_pins.json lines 1–8

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-process-reconstruction-20260918/source_pins.json

  72dfce0c354fccf7d2349e7680411b65bcf2285e55bb27449d0e573a92d1d372

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-process-reconstruction-20260918

Can the native fourth-moment S6 representation be lifted without a Pauli carry, and do the complete composition law and existing population/clock data select physical evolution?

Exact finite projective Clifford extension and full mu4 word replay; this is not a physical probability law, quantum universality theorem, continuum limit, or TOE.

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

• contract_index.json lines 1–40

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-quartic-carry-20260919/contract_index.json

  0916af98299459380794ae204b27711ed182563f911b83bc03ab773fd6e9c510

• PROOF.txt lines 1–234

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-quartic-carry-20260919/PROOF.txt

  e38c31499b54bab617e9242eb3056b0d298d5176a164b7c56095fc4977b6048a

• checker.py lines 1–142

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-quartic-carry-20260919/checker.py

  73ef28586dd6d92e6018952adc2786cc5bab485a1fb4789ac41afdcaaecf92ae

• source_pins.json lines 1–5

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/compiler-quartic-carry-20260919/source_pins.json

  eb4fcdc258c0eb058034f3984f5e88c73f02fb09b750ca34d26981704b48dc45

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:compiler-quartic-carry-20260919