Skip to main content

Follow the question, attempts and conclusions.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Active mathematical program: marked seam monodromies and lattice lifts

Which marked seam/lattice transport geometries, lift classes and local-coefficient invariants arise from existing clock/reflection/quartic data? First complete case: sign lifts of fourJ representation on CP1 minusμ4.

What has been learned

Established in scope

E6 E7 E8 operator roles, tetrahedral envelopes and actual horizontal time centralizer

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Exactly the fixed native root chart and the given eight-channel time operator. The tetrahedron covers four of1120 E6 and six of120 E7. The Q-neutral E7 has a half-root normal and is not one of those six; Q is not automatically Y. Only ordinary horizontal n=0 modes are classified, not all affine conserved modes. Existing shifted p* sl2 modes and the solved color-center-neutral vacuum selection remain valid. The projector counterexample does not exclude genuine subalgebra inclusions, state restrictions or separately justified physical reductions.

Read the exact result, assumptions and evidence

Result

In the fixed original D5+A3 cut, each of the six pairs among the four E6 systems generates precisely its unique E7:104 union roots close to126, with a common40-root D5. Orthogonal root/Cartan projectors onto E6 and E7 are not Lie homomorphisms, as removed opposite-root pairs with nonzero projected coroot show. For the existing H8=8L0-rho_A7.a0+(2a-1)Q/2, Q-neutral E7 membership is not full horizontal energy symmetry: [H8,J_(e0-e1,0)]=-J_(e0-e1,0). At a=1/4 and3/4 exactly8 ordinary n=0 root modes commute, of type4A1; with8 Cartan modes this horizontal centralizer has dimension16. Complete conformal E7+A1 and E6+A2 windows retain their complements and glued modules. A cut sequence is not a derived physical breaking or time history.

Required assumptions

  • Original D5+A3 compiler split and established seed

    Retain the established P1/P2 compiler with cyclic C4 glue to E8, D5 on the first5 and A3=D3 on the last3 standard coordinates, c3=1/(8pi) and phi_base=(4/3)c3=1/(6pi). No replacement by an optional E7 readout. Cut equivalence is the actual W(D5)xW(A3) action in the fixed chart, without conjugating J.

  • Exact local reconstruction class of the marked C4 glue

    Mathematical object class Ext_H(U): U=V_D5 tensor V_A3 with fixed embedding and sector chart, H=<(s,f)>=C4. Objects are connected local unitary conformal VOA extensions with the same conformal vector and underlying labelled U module exactly the sum of M_h for h in H, each once. Isomorphisms fix U and sector labels. This is an explicit mathematical reconstruction class; membership of primitive P1 is neither assumed nor derived.

  • Four D8 source modules with fixed affine time

    Mathematical parent of the four D8*/D8 modules 0,v,s,c with eight identical Heisenberg oscillators, source charge chart p and N≥0. H=8(N+|p|²/2+delta.p),delta_j=(j+a)/8−1/2,0<a<1,Q=sum p_j. Original quarter cases are a1/4,3/4. Conformal L0, individual Cartan charges and totalQ remain distinct. This mathematical completion does not assume a physical P1 realization of the Ramond space or a local field map.

Original evidence

  • ROLE-AUDIT.txt lines 1–153

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/e_series_role_review/ROLE-AUDIT.txt

    e0d2041a68f53d499844f88d732469afc3ad493a0c7f997ac83a9584c035c270

  • check_roles.py lines 1–93

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/e_series_role_review/check_roles.py

    47cd63f5a4668dfb0ce5d4d4e665106c2d24371c9fd32ea97593e9f04e9daa96

  • role-check-results.json lines 1–135

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/e_series_role_review/role-check-results.json

    a280573489b8e43aebba2959800f42134fc4ed3247ebd074bc744b3929950750

  • ROLE-CHECK-REVIEW.txt lines 1–97

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/e_series_role_review/ROLE-CHECK-REVIEW.txt

    5451b0ccdb7965db4cac9bd82d7b7f69c6ee75eebfb604aa9bfb12f11ab0700e

  • A7-E7-CLOCK-DECOMPOSITION.txt lines 1–175

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/dynamic_reconstruction_20261027/A7-E7-CLOCK-DECOMPOSITION.txt

    62c251a47e1b0b67f034027fec66a5d0ffaab35abf61dcb2e709395c3bc82581

finding:e-series-operational-role-review-and-source-time-centralizer

Established in scope

Recovered complete E6 carrier and unique cubic source correlator

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Actual embedded current algebra and the given local unitary affine source. U1 subscripts denote internal charges. No derivation of a four-dimensional fermionic Yukawa action, particle population, mass or primitive physical P1 source identification. Recovery of completed original results, not a new mathematical first proof.

Read the exact result, assumptions and evidence

Result

The original18 September proofs identify E6 and A2 as mutual centralizers in the actual Chevalley E8 algebra. The48=(16,3) carrier is not E6 closed; its full closure is81=(27,3) with27=16_1+10_-2+1_4. In the given affine vacuum the actual three-current correlator kappa(a,[b,c]) equals d_ABC epsilon_ijk. Its45 cubic candidates have Ward rank44 and hence a unique relative coefficient line. The positive grade-one Gram gives64/48=4/3 its exact equal-norm current-response meaning. Normalized I4/4 is not a vacuum partial trace. These completed original results are recovered into reviewed findings; missing reviewed coverage was not an open derivation.

Required assumptions

  • Original D5+A3 compiler split and established seed

    Retain the established P1/P2 compiler with cyclic C4 glue to E8, D5 on the first5 and A3=D3 on the last3 standard coordinates, c3=1/(8pi) and phi_base=(4/3)c3=1/(6pi). No replacement by an optional E7 readout. Cut equivalence is the actual W(D5)xW(A3) action in the fixed chart, without conjugating J.

  • Exact local reconstruction class of the marked C4 glue

    Mathematical object class Ext_H(U): U=V_D5 tensor V_A3 with fixed embedding and sector chart, H=<(s,f)>=C4. Objects are connected local unitary conformal VOA extensions with the same conformal vector and underlying labelled U module exactly the sum of M_h for h in H, each once. Isomorphisms fix U and sector labels. This is an explicit mathematical reconstruction class; membership of primitive P1 is neither assumed nor derived.

Original evidence

  • PROOF.txt lines 140–198

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-e6-seam-readout-20260918/PROOF.txt

    a40b401a71eca7a06fad95bbe0f0f7727e371cd6c9cd4a4f32f453347cfa03d4

  • PROOF.txt lines 20–105

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-vacuum-current-cubic-20260918/PROOF.txt

    d65189b806facbb1eb718eec50221bb85b3a8c3417f98fb6627e01c72c98ef62

  • ROLE-AUDIT.txt lines 74–111

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/e_series_role_review/ROLE-AUDIT.txt

    e0d2041a68f53d499844f88d732469afc3ad493a0c7f997ac83a9584c035c270

finding:recovered-e6-closed-81-current-module-and-unique-source-cubic

Established in scope

One common inner conjugator for the complete C12 compiler family

In the question: Active mathematical program: marked seam monodromies and lattice lifts

One selected actual admissible chat and its whole power family. All four admissible sign lifts have the same cycle character. No frozen full marked-tuple equivalence or microscopic origin is proved.

Read the exact result, assumptions and evidence

Result

After toralizing actual chat and aligning its ninth power to kappa, all candidates c_t=kappa sigma_t are covered by3^8=6561 cubic torus points. Exactly480 have the full original weight-one character and form one orbit under reflections in52 U roots. Thus chat,Jhat=chat^9,sigmahat=chat^4 are simultaneously conjugate to c_t,kappa,sigma_t. Combining kappa with the old frozen sigma already fails on an explicit root.

Required assumptions

  • Full unitary E8 field conjugacy with transported marks

    Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.

Original evidence

  • NATIVE-CLOCK-CONJUGACY.txt lines 101–171

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/NATIVE-CLOCK-CONJUGACY.txt

    5f208d8d32fdc77e774ec77b5a320f378cfc9e2c8793d4d3d439983aae583a45

  • native_clock_conjugacy.py lines 170–221

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/native_clock_conjugacy.py

    93c50855843792bad67ba86b805048a72ba45dd71a9d958250b6232fafc673dc

finding:native-cyclic-compiler-inner-conjugacy

Established in scope

Native quarter clock is the inner glue-clock class over tetrahedron flags

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Complete torus and Weyl classification plus compact E8 conjugacy, not mere matching spectra. C is not preferred and retains other marks only through their joint transport.

Read the exact result, assumptions and evidence

Result

Five-carrier parity kappa=exp(2pi i v(0)), v=(1/2^5,0^3), acts on the four U glue sectors as1,i,-1,-i and fixes precisely U. Among all65536 torus points modulo4 exactly15120 match actual Jhat; they form one actual W(E8) orbit. Thus C kappa C^-1=Jhat for a full VOA automorphism C. Each two inverse primitive characters share a fixed root lattice D5+A3; the7560 kernels are equivariantly the actual7560 compiler/tetrahedron flags.

Required assumptions

  • Full unitary E8 field conjugacy with transported marks

    Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.

Original evidence

  • NATIVE-CLOCK-CONJUGACY.txt lines 1–101

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/NATIVE-CLOCK-CONJUGACY.txt

    5f208d8d32fdc77e774ec77b5a320f378cfc9e2c8793d4d3d439983aae583a45

  • native_clock_conjugacy.py lines 38–174

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/native_clock_conjugacy.py

    93c50855843792bad67ba86b805048a72ba45dd71a9d958250b6232fafc673dc

finding:native-quarter-glue-inner-conjugacy-and-oriented-tetrahedron-flags

Scoped exclusion

Exactly two scalar extensions over D8, both of order two

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Precisely the given scalar character restricted to fixed D8 subnet. Other source-derived field dictionaries are not excluded.

Read the exact result, assumptions and evidence

Result

The canonical scalar torus character g_q on V_E8 has order2 and fixed VOA V_E7 tensor V_A1. Over fixed V_D8 exactly one further extension gamma g_q exists, with fixed VOA V_D8prime and order2. Their weight-one spectra136/0/112/0 and120/0/128/0 exclude identification with actual native Jhat with60/64/60/64, even under full field conjugacy.

Required assumptions

  • Given scalar quarter twist and explicit charge chart

    Compare the given eight complex current channels, q=(1/4)^8, standard D5+D3 lattice and F=I5+T with T(x,y,z)=(x+y+z,x-y-z,-x+y-z,-x-y+z)/2. Eight channels and their normalization are not derived here from P1. Distinguish a local charged field, scalar monodromy character, flux register and native clock.

  • Full unitary E8 field conjugacy with transported marks

    Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.

Original evidence

  • SCALAR-QUARTER-REPRODUCTION.txt lines 81–150

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/SCALAR-QUARTER-REPRODUCTION.txt

    16e123a72d0d65e48fc1777bbc0b3a10a7585114c3f82bad33c87e0794e15f94

  • source_reproduction.py lines 83–172

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/source_reproduction.py

    ba667dfb7cee7df999876a1da48128d1b86ebfb268b306be397eff59ddea765f

finding:scalar-quarter-two-involutive-e8-extensions

Established in scope

Doubled scalar quarter twist is exactly the marked glue generator

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Given eight-channel chart and marked lattice generator. Squaring a finite disorder operator is not identified with the local vertex field.

Read the exact result, assumptions and evidence

Result

F(2q)=lambda is an actual lattice identity, not only equal norm. s=2q has order4 modulo D5+D3 and order2 modulo D8. The tower U to V_D8 to V_E8 has indices2,2 and mu-indices16,4,1. The older SO16 base with index4 mixes two different inclusions.

Required assumptions

  • Given scalar quarter twist and explicit charge chart

    Compare the given eight complex current channels, q=(1/4)^8, standard D5+D3 lattice and F=I5+T with T(x,y,z)=(x+y+z,x-y-z,-x+y-z,-x-y+z)/2. Eight channels and their normalization are not derived here from P1. Distinguish a local charged field, scalar monodromy character, flux register and native clock.

Original evidence

  • SCALAR-QUARTER-REPRODUCTION.txt lines 28–80

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/SCALAR-QUARTER-REPRODUCTION.txt

    16e123a72d0d65e48fc1777bbc0b3a10a7585114c3f82bad33c87e0794e15f94

  • source_reproduction.py lines 46–81

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/source_reproduction.py

    ba667dfb7cee7df999876a1da48128d1b86ebfb268b306be397eff59ddea765f

finding:double-scalar-quarter-is-marked-glue-with-two-step-index

Established in scope

General lift and cover audit reconciles with the marked originals

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Original ordered lattice cocycle, fixed Jhat marking and explicitly induced Burau deck local system; no independent Gauss-Manin identification or splitting of the full G31 character extension.

Read the exact result, assumptions and evidence

Result

In the original lattice chart SNF(I-J) has invariants1,1,1,1,2,2,2,2:256 J sign lifts yield16 sign-gauge classes and one class if only gauge equivalence is enlarged to quarter phases. Enlarging candidates too gives16 classes. The original additional equation chat^9=fixed S_J has exactly four solutions and one orbit under16 S_J-preserving character gauges. On all five fundamental peripheral loops the original induced Burau comparison has rho_rel=A^(7nu), nu=(1,1,1,1,-4). Faithful order12 proves globally ker(rho_rel)=ker(nu mod12), hence minimal C12. The general C12xC12 degree144 counterexample does not satisfy this factorization.

Required assumptions

  • Joint category of original compiler flags and cover actions

    Retain original E8 lattice VOA products, J/sigma/c/Y, D5+A3 root factors and quartic/erasure diagram. Transitions transport all marks through actual lifts in the original sign extension; they are not fixed-J stabilizers. The Burau peripheral comparison uses the associated local system induced from the existing marked C3 cover and its retained deck module. No independent geometric Gauss-Manin identification, added line correction or selected E6 vertex.

  • Full original G31action and inherited lattice sign extension

    The60actual original complex reflections act on the same original even E8lattice. Study exactly their full preimage in the automorphism group of the lattice group defined by unchanged eps_e8. Kernel A=Hom(E8,Z2), with g.a=a composed g^-1. No scalar replacement, enlarged coefficients or extra square relation for lifted puncture meridians.

Original evidence

  • CLOCK-COVER.txt lines 1–134

    Source checked at this snapshot

    Original location and fingerprint

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

    78db186f0498400dfe76208fe8e6fb0bee27634f6d4a897d6ffc21abadc5a6d6

finding:restricted-clock-lift-and-global-cover-audit-reconciled

Established in scope

Tetrahedron sums reconstruct all E6 data without loss

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Linear data reconstruction on the same finite E6 set with counting inner product. Preserves supplied data; does not generate a distinguished corner, source or physical state law.

Read the exact result, assumptions and evidence

Result

For E6/E7 incidence N and E6/tetrahedron incidence M, every entry satisfies NNt=A_D5+3I and MMt=A_D5+27I. Hence MMt=NNt+24I and for every signal f, norm(Mt f)^2=norm(Nt f)^2+24norm(f)^2. N has rank120 and loses1000 directions300+700; M has rank1120. All tetrahedron sums recover f exactly as (NNt+24I)^(-1)M(Mt f), also through an explicit rational degree3 polynomial. The information theorem does not require irreducible decomposition.

Required assumptions

  • Regular E8 cuts and full compiler flags

    Fix the standard E8 roots with their actual Weyl action. E6 objects are complements of regular A2 root systems and E7 objects complements of root lines. A tetrahedron comprises the four A2 faces of a regular A3 normal system with common D5 core; its D8 incidence requires both factors. Relations are literal root inclusions and intersection sizes. Signals are rational, real or complex functions with counting inner product. Equivalence transports all flags by the Weyl action, without a selected corner or physical source.

Original evidence

  • THEOREMS.txt lines 92–163

    Source checked at this snapshot

    Original location and fingerprint

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

    e80821d422297cfdfce23e892c1b099cc23505ae22ae92f01dcf77d4062f0a5d

finding:tetrahedron-incidence-lossless-e6-reconstruction

Established in scope

Unique D8 frame belongs to the full D5+A3 flag

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Actual full D5+A3 root flags, not uniqueness from the A3 root subsystem alone.

Read the exact result, assumptions and evidence

Result

All135 D8 frames,7560 A3 tetrahedra and their actual incidences were generated. Each full pair of A3 normal system and common D5 core lies in exactly one D8; each D8 contains56 such flags. Bare A3 containment instead gives616 A3 systems per D8, consisting of56 coordinate D3 and560 four-axis A3 chains, and11 D8 per bare A3. Unique tetrahedron-to-frame incidence is therefore a full compiler-flag statement.

Required assumptions

  • Regular E8 cuts and full compiler flags

    Fix the standard E8 roots with their actual Weyl action. E6 objects are complements of regular A2 root systems and E7 objects complements of root lines. A tetrahedron comprises the four A2 faces of a regular A3 normal system with common D5 core; its D8 incidence requires both factors. Relations are literal root inclusions and intersection sizes. Signals are rational, real or complex functions with counting inner product. Equivalence transports all flags by the Weyl action, without a selected corner or physical source.

Original evidence

  • THEOREMS.txt lines 28–55

    Source checked at this snapshot

    Original location and fingerprint

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

    e80821d422297cfdfce23e892c1b099cc23505ae22ae92f01dcf77d4062f0a5d

finding:compiler-d8-frame-requires-full-d5-a3-flag

Established in scope

Complete E6 orbital algebra with five irreducible components

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Complete for regular A2-normal E6 root cuts in standard E8 under its actual Weyl action; not arbitrary Lie-subalgebra embeddings.

Read the exact result, assumptions and evidence

Result

The actual Weyl action is transitive on1120 E6 cuts. An explicit stabilizing E6/A2 reflection subgroup is transitive on each intersection class: D5 with81,D4 with270,A4 with648,A2+A2 with120 neighbours. Including equality these are the full five orbitals. All125 structure constants yield the commutative full commutant. Normalized primitive idempotents have ranks1,35,84,300,700, proving the complete irreducible Weyl decomposition.

Required assumptions

  • Regular E8 cuts and full compiler flags

    Fix the standard E8 roots with their actual Weyl action. E6 objects are complements of regular A2 root systems and E7 objects complements of root lines. A tetrahedron comprises the four A2 faces of a regular A3 normal system with common D5 core; its D8 incidence requires both factors. Relations are literal root inclusions and intersection sizes. Signals are rational, real or complex functions with counting inner product. Equivalence transports all flags by the Weyl action, without a selected corner or physical source.

Original evidence

  • THEOREMS.txt lines 57–89

    Source checked at this snapshot

    Original location and fingerprint

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

    e80821d422297cfdfce23e892c1b099cc23505ae22ae92f01dcf77d4062f0a5d

finding:e8-cut-five-orbital-incidence-algebra-complete

Established in scope

Complete pure mapping class quotient with157696 normal forms

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Ordered four J sign lift stratum and pure mapping classes. No puncture permutations, silently frozen reflection marking quotient, or physical origin theorem.

Read the exact result, assumptions and evidence

Result

For N=I+A, N²=0, b_i² adds N(ci+c_(i+1)) to both adjacent characters. The pure mapping class action on original Gamma classes factors faithfully through C2×C2. Burnside and independent enumeration of all2^20 character gauge classes give157696 orbits with original Gamma class size census1:4096,2:46080,4:107520, weighted total526336. Every normal form is saved.

Required assumptions

  • Active purely mathematical marked-seam program

    Within the stated mathematical scope, marked pairs, lattice transport systems, reflections, clocks and cohomology are independent mathematical objects. Earlier origin/completion tasks are historical, not active. Distinguish new definitions, derived theorems and optional markings.

  • Existing even E8 lattice, Gaussian J and sign lifts

    Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.

  • Four ordered punctures with fixed quarter-clock projection

    X is CP1 minus ordered(1,i,-1,-i), positive meridians product1, fixed rho(gamma_i)=J. Classify all sign lifts into full preimage Gamma of<J>, modulo simultaneous Gamma conjugation with optional prescribed peripheral conjugacy classes. No mapping-class, puncture permutation or additional spatial reflection-equivariance quotient.

  • Pure Hurwitz quotient of the ordered quarter clock stratum

    In addition to original Gamma conjugacy identify ordered four J tuples by pure mapping classes generated by adjacent squared Hurwitz moves b0²,b1², with b_i(x,y)=(xyx^-1,x). No puncture permutations or silently frozen extra reflection marking.

Original evidence

  • THEOREMS.md lines 106–151

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/THEOREMS.md

    666123fe4881001a342ec762bbe42595033b74a015282f774ef17d05903c5f49

  • pure-mapping-class.json lines 1–33

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/results/pure-mapping-class.json

    7f9d6a0a4e49a359a62bf8bb3557188eed70061ab0fe659db4ac636c7b783f9d

finding:quarter-clock-pure-mapping-class-complete-quotient

Established in scope

Native equivariant classes and complete forgetful images

In the question: Active mathematical program: marked seam monodromies and lattice lifts

Complete only in the explicitly fixed native projection and morphism classes. Not all normalizer reflections or primitive physical source/state selection.

Read the exact result, assumptions and evidence

Result

Exact original field relations give binary ranks20,20,24,30 on40,40,40,48 variables for reflections s=0,1, rotation and joint s=0 marking. Character gauge rank4 gives65536,65536,4096,16384 marked classes. Complete forgetful images in original Gamma moduli have2176,2560,256,64 classes. All168 columns independently checked in original cocycle field action and ranks with SymPy GF2; all forgetful image orbits separately enumerated.

Required assumptions

  • Active purely mathematical marked-seam program

    Within the stated mathematical scope, marked pairs, lattice transport systems, reflections, clocks and cohomology are independent mathematical objects. Earlier origin/completion tasks are historical, not active. Distinguish new definitions, derived theorems and optional markings.

  • Existing even E8 lattice, Gaussian J and sign lifts

    Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.

  • Four ordered punctures with fixed quarter-clock projection

    X is CP1 minus ordered(1,i,-1,-i), positive meridians product1, fixed rho(gamma_i)=J. Classify all sign lifts into full preimage Gamma of<J>, modulo simultaneous Gamma conjugation with optional prescribed peripheral conjugacy classes. No mapping-class, puncture permutation or additional spatial reflection-equivariance quotient.

  • Fixed native spatial reflection and rotation markings

    In the original E8 sign lift stratum M_i=D_ci j, additionally mark T=D_t j^s t0 for s=0,1 and/or R=D_r j. T0 is the existing alternating sign isometry. Impose the stated peripheral equivariances and dihedral relation at s=0. Marked morphisms are simultaneous character conjugations with fixed projected operators. Forgetful images use full Gamma conjugacy. No arbitrary normalizer isometries or physical selection.

Original evidence

  • THEOREMS.md lines 5–104

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/THEOREMS.md

    666123fe4881001a342ec762bbe42595033b74a015282f774ef17d05903c5f49

  • independent-check.json lines 1–35

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/results/independent-check.json

    6839380a7739725582aa2ad495215717428680150c07292297fe7012e5be84c4

finding:native-reflection-rotation-lift-classes-and-forgetful-images

Approaches and conclusions

The reviewed decision record says which approach can be reused, which failed in its scope and what a new attempt would have to change.

Reusable result

Reuse proved quarter-clock normal forms

Complete existence/orbit/stabilizer classification proved; extra groups/markings are different explicitly defined problems.

Consequence: For extensions state exact group, peripheral classes, coefficients and equivalence.

Reusable result

Reuse complete E-series compiler dictionary

All four requested follow-ups are decided by complete field lifts, cut classification, maximal actual clock transport and shared projector identities.

Consequence: Open new cases only with explicitly changed object class or marking; retain the established P1/P2 derivation and global nonsplitting.

Reusable result

Reuse complete covariant compiler-cover source

Joint associated object, exact transition composition, minimal Weyl closure, one cyclic lift class and relative12 transport are determined; full field phases do not remove the selection obstruction.

Consequence: For stronger or different goals specify the changed object class or an actually supplied new marking. No freely correcting line twist or silent freezing of every field vector.

Reusable result

Reuse canonical local C4 reconstruction

All products and conformal vacuum data follow within the exact extension class; the internal clock remains distinct from conformal rotation.

Consequence: A stronger origin theorem requires an actual local identification of the primitive source with this class, not another freely constructed field model.

Reusable result

Reuse generator-forced local E8 completion

One supplied generator forces the entire Lagrangian support once; separate sector selection and minimality are eliminated.

Consequence: New hypotheses or maps are required only outside this local conformal class or for primitive source identification.

Reusable result

Reuse complete finite cut algebra and tetrahedron reconstruction

The full five orbitals are classified. MMt=NNt+24I directly proves lossless reconstruction from tetrahedron sums and locates the rank loss of the E7 view.

Consequence: Other cut classes or a distinguished input require explicit new premises; do not replace the proved incidence algebra by numerical coincidences.

Browse all approaches for this question

What is resolved, and what remains

Resolved in scope

Define marked seam category and factor formula

Precise object class, complete proof and reproducible certificate within declared scope.

Resolved in scope

Completely classify quarter-clock four-puncture lifts

Precise object class, complete proof and reproducible certificate within declared scope.

Resolved in scope

Determine central class and all subgroup restrictions

Precise object class, complete proof and reproducible certificate within declared scope.

Resolved in scope

Determine full G0 cocycle and class

Precise object class, complete proof and reproducible certificate within declared scope.

Resolved in scope

Determine native4/5/6local cohomology

Precise object class, complete proof and reproducible certificate within declared scope.

Resolved in scope

Classify unrestricted G31 reflection monodromies

Specify actual peripheral G31 conjugacy classes and completely determine product1 moduli with orbits/stabilizers.

Builds on: Define marked seam category and factor formula; Determine full G0 cocycle and class

Resolved in scope

Determine lift class beyond G0

Evaluate factor formula on an explicitly larger actual group and prove its class.

Builds on: Determine full G0 cocycle and class

Open task

Classify additional reflection/clock equivariance and mapping-class quotients

Define extra markings and morphisms and prove remaining classes relative to the present moduli.

Next investigation: Fixed native T0/JT0 reflection lifts, R=J rotation, joint native case and pure mapping class quotient are now decided in MATH.SEAM.EQUIVARIANCE.SEARCH.01. A larger quotient over all allowed normalizer isometries or jointly transported reflection markings still needs its explicit category and complete classification. Do not promote scoped results to that stronger statement.

Builds on: Completely classify quarter-clock four-puncture lifts

Resolved in scope

Equivariant lifting and divisibility by eight

Full proof and finite evaluation under explicit equivalence.

Resolved in scope

All62clock obstructions and central transport variants

Full proof and finite evaluation under explicit equivalence.

Resolved in scope

Actual group comparison and central pushout exclusion

Full proof and finite evaluation under explicit equivalence.

Resolved in scope

Complete invariants and explicit collisions

Full proof and finite evaluation under explicit equivalence.

Resolved in scope

Determine E7-pair action on all original lattice fields

Compare actual operators or weights; completely solve the fixed object class with explicit proof and direct certificate.

Builds on: Compare E6 and E7 slices with the actual quarter clock; Determine lift class beyond G0

Resolved in scope

Completely connect E6/E7 cuts to the original compiler

Compare actual operators or weights; completely solve the fixed object class with explicit proof and direct certificate.

Builds on: Compare E6 and E7 slices with the actual quarter clock

Resolved in scope

Compare common covers and actual clock carriers

Compare actual operators or weights; completely solve the fixed object class with explicit proof and direct certificate.

Builds on: Compare E6 and E7 slices with the actual quarter clock

Resolved in scope

Prove shared representation consequence for48,4/3 and5/4

Compare actual operators or weights; completely solve the fixed object class with explicit proof and direct certificate.

Builds on: Completely connect E6/E7 cuts to the original compiler

Resolved in scope

Completely decide joint compiler-field-cover construction

Actual common carrier with composing maps, minimal closure and complete lift/periphery/selection compatibility decision in the stated category.

Builds on: Determine E7-pair action on all original lattice fields; Completely connect E6/E7 cuts to the original compiler; Compare common covers and actual clock carriers; Prove shared representation consequence for48,4/3 and5/4

Resolved in scope

Reconstruct canonical local compiler field source from C4

Determine products, state, conformal dynamics and local extension in the exact labelled class without assuming primitive source selection.

Builds on: Completely decide joint compiler-field-cover construction

Resolved in scope

Eliminate redundant sector and multiplicity assumptions

Derive support and multiplicities from the weaker connected local conformal hypotheses and classify all remaining extensions.

Builds on: Reconstruct canonical local compiler field source from C4

Resolved in scope

Classify native equivariant markings

Complete classification with explicit objects, morphisms and direct original certificates.

Builds on: Completely classify quarter-clock four-puncture lifts

Resolved in scope

Classify pure quarter clock mapping class quotient

Complete classification with explicit objects, morphisms and direct original certificates.

Builds on: Completely classify quarter-clock four-puncture lifts

Original historical attempts linked to this question

These are original research records. Their reported verdicts are distinct from the reviewed results above.

e series compiler closure 20261023

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.

Recorded verdict: PASS

Historical inventory; not independently reviewed by this export.

  • 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

e series incidence algebra 20261024

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.

Recorded verdict: PASS

Historical inventory; not independently reviewed by this export.

  • 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

e series joint source 20261023

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.

Recorded verdict: PASS

Historical inventory; not independently reviewed by this export.

  • 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

e series quarter clock 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?

Recorded verdict: PASS

Historical inventory; not independently reviewed by this export.

  • 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

e series source reconstruction 20261024

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.

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • 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

equivariant monodromy 20261023

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

Recorded verdict: PASS

Historical inventory; not independently reviewed by this export.

  • 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

global g31 lattice lift 20261023

Decide splitting of the actual character-valued lattice lift extension over all original G31; completely classify lifts of the original17monodromies and62quarterclock objects.

Recorded verdict: PASS

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/contract_index.json

    c7bbfffdc353264e4944f0a4757662f205972e95818b92d31f4a20e15db2e2dd

  • THEOREMS.txt lines 1–313

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/THEOREMS.txt

    a5db41f218483476fe623f0fc7353df5bfabf5f79af4a3eda58d7e05e0715fc0

  • checker.py lines 1–202

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/checker.py

    e514cada894e9e638b62dd775c2438d9a1133d10ac51ec8332c2e4b43d1a83e0

  • source_manifest.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/source_manifest.json

    40c9e634996b982d0a3d2c798b6f4ac99e4154444a08caa59a4c6939351405ae

  • 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

  • THEORY.txt lines 1–349

    Source checked at this snapshot

    Original location and fingerprint

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

    83f6f464aff89acb5cc4194244a5636d4a4ff62600cdf5ee3c33ded4410f963a

  • THEOREMS.txt lines 1–390

    Source checked at this snapshot

    Original location and fingerprint

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

    e96dab9d854b4fa6c4c93dd7792fa8769d0ee41abdafa0072817d44990ac3b85

  • 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

  • expected_results.json lines 1–6673

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/equivariant-monodromy-20261023/imported/expected_results.json

    c420da48815160eeb64c02082ebeccb7cf0c7e80d6bd1adcba54fab89a019d43

  • results.json lines 1–6673

    Source checked at this snapshot

    Original location and fingerprint

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

    c420da48815160eeb64c02082ebeccb7cf0c7e80d6bd1adcba54fab89a019d43

  • binary-image.json lines 1–115

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/binary-image.json

    9c07a431897e1d6a6183827dac367940d306a057674b4e6c9067175b1633971a

  • burnside-audit.json lines 1–666

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/burnside-audit.json

    03267b27fa1d16ef2c169cb19b76044df9e5984b5cd808b8089a5588a8d372d9

  • maximal-splittings.json lines 1–122

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/maximal-splittings.json

    b766a0ec93af358cce8867a1d90cd59c35b04144eaf2d9bc59f1dca721b82eb9

  • probe-results.json lines 1–287

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/probe-results.json

    1916d51316c5f8bed8b181c121cae88e6ebe2e07581b0f53a76ed2d3a0b40474

  • quarter-character-probe.json lines 1–3288

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/quarter-character-probe.json

    8df23eafb6d543fe5e2d2491564d2bc93976470d13df9872e1a3d3a202296450

  • quarter-lifts.json lines 1–61988

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/quarter-lifts.json

    dffd70b6b8ba4b398d1013487d1283bbdeacecfddbd8bcad8c9dbe68fa6371cc

  • results.json lines 1–1490

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/results.json

    1ef8c8009b8a336e09a67147f0fc5e476ab6e165775bcc8634033fd745b75a9a

  • subgroup-results.json lines 1–574

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/subgroup-results.json

    0aa2c49ec6240b294e868ec711bce675fde50d0eaa96d8826c5bb8d4dfca69ba

  • verification_summary.json lines 1–9

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/global-g31-lattice-lift-20261023/verification_summary.json

    3c3ff30246f413e0d28a65d17d10fcbf1377845a85b22773f97ead7963d8ed73

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

marked seam monodromy 20261023

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.

Recorded verdict: PASS

Historical inventory; not independently reviewed by this export.

  • 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

seam equivariant active search 20261024

Classify native marked quarter-clock reflection and rotation lifts, their forgetful images and the pure mapping class quotient; compare local model construction with exact active hypothesis search.

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–52

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/contract_index.json

    86d3fbc5bc53f096e31b23f2db7ec2cd06e5d0a101c5346222d7c4e3a7e318d4

  • THEOREMS.md lines 1–178

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/THEOREMS.md

    666123fe4881001a342ec762bbe42595033b74a015282f774ef17d05903c5f49

  • checker.py lines 1–10

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/checker.py

    e4f8ea1d058424943681cb4cabb448a775b4af53261713a91f5b995ffff57c31

  • source_manifest.json lines 1–43

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-equivariant-active-search-20261024/source_manifest.json

    3edef66a113eb4ba5d040a5f6a735433ea60e40e161b62084797056cee4b38fc

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5