Explore the foundations and current research.

dressed-hopping-round21

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

• validation.json lines 1–371

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/dressed-hopping-round21/validation.json

  f3057ffa2c3756a198af6497fae92d29ff17f3066208fa82271acfd722789a0c

• PROOF.md lines 1–164

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/dressed-hopping-round21/PROOF.md

  772b0a183d600cd2fb6eab4417a55fa6aff84599a4ae3c11c97e59185e7f1c8e

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:dressed-hopping-round21

Complete the four compiler follow-ups: full lattice-field lifts of E7 pairs, all E6/E7 compatibility with the native D5+A3 split, exact common covers and actual clock intertwiners, and a common representation dictionary for the existing48,4/3 and5/4.

Fixed original E8 lattice, epsilon, Gaussian J, D5+A3 compiler split, neutral4/5/20 and existing marked cyclic covers and Burau matrices. All four comparisons are solved in this declared mathematical category. The established P1/P2 compiler and seed derivations are retained.

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

• contract_index.json lines 1–36

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-compiler-closure-20261023/contract_index.json

  59e20f132794b3bb1cfe049824e494002f0cd198ed93a6d12012aeb9f783f4e4

• THEOREMS.txt lines 1–147

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-compiler-closure-20261023/THEOREMS.txt

  361450df688c5dc8fa3b8c69ff6a8d0f35156772bee5ec0acab494eb32d3587f

• field_lift_dictionary.py lines 1–125

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-compiler-closure-20261023/field_lift_dictionary.py

  3b9f347c2042d86c14b6a49a60f0dd12783395b5cf12a62b6a0aa5361b44301b

• field-lift-results.json lines 1–2063

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-compiler-closure-20261023/field-lift-results.json

  dae08ec52a7e09f13a4935823d6e4bd0ee8ae0baf498927ce98fb96f06bf0be2

• results.json lines 1–108

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-compiler-closure-20261023/results.json

  72917f59f8831cd96e9d82f09332cc5ca6b08c65e0a14ee9b3e62b67804dd0b7

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:e-series-compiler-closure-20261023

Close the supplied independent E6/E7/E8 finite incidence classification against the original marked field lifts and global cover monodromies, and identify whether the tetrahedral incidence retains all E6 information.

Standard E8 roots, regular A2-normal E6 and root-normal E7 systems, actual Weyl action on transported full D5+A3 compiler flags; original cocycle and fixed Jhat sign-lift equivalence; original induced Burau deck local system. No physical-origin or corner-selection claim.

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/e-series-incidence-algebra-20261024/contract_index.json

  bc741716593a58fc11a9ad7f2d3e1377e48e8d8458022c55f22550f9b3d77a1b

• THEOREMS.txt lines 1–184

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-incidence-algebra-20261024/THEOREMS.txt

  e80821d422297cfdfce23e892c1b099cc23505ae22ae92f01dcf77d4062f0a5d

• checker.py lines 1–289

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-incidence-algebra-20261024/checker.py

  c7c37ce3ebc3505a6a9953f3f7e156154bbb6479a219942be0921c9e789462f4

• geometry.json lines 1–295735

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-incidence-algebra-20261024/geometry.json

  485078e53c7cb2ca5ced035ae1c54073dafb9011add85956572053f2d58c2b3f

• results.json lines 1–714

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-incidence-algebra-20261024/results.json

  c97e6c7bb69325e2bcb93f2bc18a3a4f33abb222deb2a6731871d141e442c94a

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:e-series-incidence-algebra-20261024

Determine the complete joint mathematical compatibility object of the existing compiler flags, E7 pair operations, full lattice fields and marked covers, preserving their actual transitions and all previously proved obstructions.

Fixed original E8 lattice VOA and epsilon, native D5+A3 compiler flags, J/sigma/c/Y, quartic/erasure diagram, existing oriented C2/C3/C4 covers and retained Burau deck module. Transition groups transport marks. Cyclic field lift equivalence is character gauge fixing Jhat. The Burau local system used in the peripheral comparison is induced from its supplied marked cover and deck representation, not an independently geometric Gauss-Manin family.

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/e-series-joint-source-20261023/contract_index.json

  06cb8e426fb0997179c5381a5051f64722c7a914ac75d3dc49ba06772aa640cb

• THEOREMS.txt lines 1–201

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-joint-source-20261023/THEOREMS.txt

  9ea22e7fa3b640f7b014287adccd49d1ed3605547ac076a43d719458ec501932

• compiler_closure.py lines 1–345

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-joint-source-20261023/compiler_closure.py

  25625114efba98d2039254ce183eb23e3596ff831a729ab04f58f1a86d0ec8b6

• results.json lines 1–97

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-joint-source-20261023/results.json

  d0d3d03891673eb525b49508a6671d16116027548cd766fbc5a0d9a0c6617b1c

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:e-series-joint-source-20261023

How do the original E6/E7/E8 windows and regular root slices interact with the actual Gaussian quarter clock and the original G31 reflections?

Fixed standard E8 root lattice and actual J with J^2=-I. Root slices, full E7-pair bracket/lattice closure, integral glue quotients, intrinsic square-curve family and double-cover descent for the supplied all-J local system. Normalization prescriptions compared conditionally. No arbitrary Lie-subalgebra embedding classification, no noncentral lift-class result or P1 normalization derivation.

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

• contract_index.json lines 1–33

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-quarter-clock-20261023/contract_index.json

  44751eeb32dba01e29d18a4f027eb5d0c3201f9beed9e90588ccac084a118cd4

• PROOF.txt lines 1–286

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-quarter-clock-20261023/PROOF.txt

  ac3e95975adb14c82815731b3d8aa0f6e1caf72d25fb749250a5b1bbcd269884

• checker.py lines 1–231

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-quarter-clock-20261023/checker.py

  31e9fcf230273955bbf69536c6594255e3c0c53034a87e13ca1d3c56815b0562

• results.json lines 1–212

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e-series-quarter-clock-20261023/results.json

  4facde6fe6d8648575f4660e74c448e84453f4e18eb3a367d9df32fb8678f2a6

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:e-series-quarter-clock-20261023

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

Does extremizing the first anisotropic native E8 root moment S8 choose the natural 5+3 and3+2 marking vectors, and how does this compare with finite order4 holonomy?

Only specified natural marking vectors and scalar S8 extremization; no general exclusion of source symmetry breaking or tensor/group-valued selectors.

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/e8-octic-mark-selection-20261013/contract_index.json

  de40adbedf08fc094ae9bceb54ac8cb867de91c3b1d2dfee479a82b4fc25d653

• PROOF.txt lines 1–50

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e8-octic-mark-selection-20261013/PROOF.txt

  72ecba9788861e6eb62bfdec03dfa2c631a94db0ff24147a73265420e3f8eaa0

• checker.py lines 1–95

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e8-octic-mark-selection-20261013/checker.py

  eaa4cc90d7dd73fc7ad25f74449bdd1cbace34db5d8a79f532b63aa9ad388cde

• source_manifest.json lines 1–12

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e8-octic-mark-selection-20261013/source_manifest.json

  db0843458563771c8f0c851c93998f210477967877fbb3672397c9768d0b6805

• v1_e8_glue.py lines 1–145

  Source checked at this snapshot

  Original location and fingerprint

  verification/v1_e8_glue.py

  1978d66a85974e5fa189cf4dec507f9be4c4dcc113e90eb1b33a9aae9259a0d7

• ORIGINAL_V1_RUN.json lines 1–14

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e8-octic-mark-selection-20261013/ORIGINAL_V1_RUN.json

  e584980986e1e7b4f7230f4fc45e685c9950ac4dba9490e66a675e376d0b5118

• results.json lines 1–247

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/e8-octic-mark-selection-20261013/results.json

  5a8fa6ceeef1f29053153b22ec0971dc898ac161259429f84eb366aeb02623c3

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:e8-octic-mark-selection-20261013

Round42: propagated electric sources and a fifth-order error bound

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

• validation.json lines 1–1154

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/electric-propagation-round42/validation.json

  2723c00b167fcc5da44896789eef1d4a6aa5d691afef91dae31db14d5dfc2b98

• README.md lines 1–98

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/electric-propagation-round42/README.md

  df91c3545d2f3ce9748ffc2943aa2666e2ba51926e94c7e8db3346a2d0fa05ab

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:electric-propagation-round42

Round41: nonlinear electric source and a certified correlation witness

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

• validation.json lines 1–1520

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/electric-source-round41/validation.json

  8d888c9f0e283f10311ed57e188f407fa5fae2761fe09c578e6a4625f30d3e15

• README.md lines 1–99

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/electric-source-round41/README.md

  df982ed9ee4cea408b216ba42346299d212da3f96c92d0bcd7a0bfb242f978c5

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:electric-source-round41

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

Can the fixed original EM closure function be proved to have exactly one simple positive root without relying on the numerical derivative scan?

All positive alpha for the exact default v3 EM function; mathematical existence, uniqueness and simplicity under fixed inputs, not their physical selection.

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

• contract_index.json lines 1–51

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/em-positive-root-convexity-20261013/contract_index.json

  3dfe6542dcf79f59905f20afb2ade4ef8406e7274992eb1cc20ee7cab2792cbd

• PROOF.txt lines 1–80

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/em-positive-root-convexity-20261013/PROOF.txt

  c1ad319037418e7745c287132c4065cf6d963af797c5a4c81f12273e486d7b50

• README.md lines 1–5

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/em-positive-root-convexity-20261013/README.md

  d27f6939d99aa02c2dfba2a7b46bba9c2d6014696fd8572530d9391e0f8ab6ca

• checker.py lines 1–61

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/em-positive-root-convexity-20261013/checker.py

  24b14c59cd5dff98e79920b35c71093127f330ff721b46943b6b0e60811945fb

• source_manifest.json lines 1–20

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/em-positive-root-convexity-20261013/source_manifest.json

  6f09422ccb0a713dbaea94c96834079c9c525b1ff590ef9bb16987435f046b97

• ORIGINAL_RUN.json lines 1–15

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/em-positive-root-convexity-20261013/ORIGINAL_RUN.json

  2963fd109a255fd5fe1945d472649ef7cafa01d221e21760b66d0a168169e307

• tfpt_1_architecture_e8.tex lines 1–1

  Source checked at this snapshot

  Original location and fingerprint

  tfpt_1_architecture_e8.tex

  45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5

• v13_open_gates.py lines 1–59

  Source checked at this snapshot

  Original location and fingerprint

  verification/v13_open_gates.py

  892b757498342f24d41683c33a65eba3e1e133d41143b72b66ddb518737bd131

• v3_em_alpha.py lines 1–140

  Source checked at this snapshot

  Original location and fingerprint

  verification/v3_em_alpha.py

  22f769d9f89e74e2279c06b11c75d6da4d7455ef185fb2f79869a30932ebc3e8

• results.json lines 1–56

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/em-positive-root-convexity-20261013/results.json

  28518491a71843f025228bc28c183b71f524740b703a7570cc622c9e60086401

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:em-positive-root-convexity-20261013

Determine strict, peripheral and equivariant central lifts; evaluate all original G31 quarterclocks, integral monodromies, and compare actual sign-lift and reflection groups.

Original 60 G31 reflections, four ordered punctures, 17 simultaneous conjugacy classes, 62 exact-order-four clock markings; existing central Z4 extension with determinant cocycle. Relaxed transport equations and equivalence are explicitly defined. No identification with noncentral lattice lifts or the effective diagonal quotient.

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

• contract_index.json lines 1–31

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/contract_index.json

  1555d4e12b366d7235dab9c14dec87cdea72df2d645c3fdf694b4f61b4507979

• THEOREMS.txt lines 1–390

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/THEOREMS.txt

  e96dab9d854b4fa6c4c93dd7792fa8769d0ee41abdafa0072817d44990ac3b85

• checker.py lines 1–258

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/checker.py

  91927ca2d86a724b387285b8406880df9cca0a46c7931940e5f344a91c230973

• source_manifest.json lines 1–51

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/source_manifest.json

  3325267039f81e3eca4f7dfccca2f1e2ab4381da825fabd17a84e2636eb048e1

• core.py lines 1–111

  Source checked at this snapshot

  Original location and fingerprint

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

  f5b724a04ff535f080d39a014627845d83810f32361adc1721fc97a4d40132d9

• PROOF.txt lines 1–274

  Source checked at this snapshot

  Original location and fingerprint

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

  5b5664c9704e9b607496e37a4819295025310ce82ef11750849bd4f8a2cfd6f7

• 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

• 01_monodromy.py lines 1–185

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/imported/01_monodromy.py

  a01e6b1fc9391cb1c8cb64c3a15c924bd06b538331633d01d2c4f72477e8a370

• 02_clocks.py lines 1–108

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/imported/02_clocks.py

  69ffc2a41e1935ba15906e4cdf9c6a6d224ff026710a139743bf35a8fbd00b9c

• 03_bundles.py lines 1–102

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/imported/03_bundles.py

  2b2a375bcd38b126c9543598f0b842494ae6b00e0e8503f3b6bdb5a0006aab49

• 04_integral.py lines 1–58

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/imported/04_integral.py

  645640c82bf561533b6ede0c03f6c3eb1d17604e58d45da95420e8a2cf9611ff

• 05_cocycle.py lines 1–51

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/imported/05_cocycle.py

  f50bb4969fd41579626536aefed70f3ef050704586ee3ef1a2bbe1919c5530db

• run_checks.py lines 1–50

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/imported/run_checks.py

  f453bc401e229d78944d4e9e232309cd951beb6994936a51aa86d7dd076293d0

• results.json lines 1–5726

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/results.json

  d25e8a6913b100f3b2f4dfd19afc749ff6de73420c4fca79c7b360dfb953aa22

• verification_summary.json lines 1–7

  Source checked at this snapshot

  Original location and fingerprint

  experiments/theory-contracts/equivariant-monodromy-20261023/verification_summary.json

  9bf57da4fe0cbf6a48fc9d63462644cc739c4c264d08a55c0fab6b97042790c6

• findings_overrides.json lines 1–1396

  Source checked at this snapshot

  Original location and fingerprint

  verification/findings_overrides.json

  aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

contract:equivariant-monodromy-20261023