A registered result in its source context
Original ledger classification: Exact [E] fingerprints + typed candidate [C] (Burau convention validated; Q-identification open)
Recorded statement: Strategy I/II, first executed step -- the mu3-cover of P^1 branched at mu4 (the curve y^3 = x^4 - 1) carries FOUR independent compiler fingerprints (one module, 6 checks, <1 s; discovery probe mu4_cover_model_probe.py 6/6, verdict…
Statement, assumptions and sources
Paper context: E8 audit and bootstrap
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
QGEO.COVER.01
Original ledger classification: Exact [E] fingerprints + typed candidate [C] (Burau convention validated; Q-identification open)
Original claim text
Strategy I/II, first executed step -- the mu3-cover of P^1 branched at mu4 (the curve y^3 = x^4 - 1) carries FOUR independent compiler fingerprints (one module, 6 checks, <1 s; discovery probe mu4_cover_model_probe.py 6/6, verdict FINGERPRINTS-HIT): (1) genus 3 with five cusps (mu4 + infinity; monodromies (w,w,w,w,w^2) multiplying to 1) and Chevalley-Weil H^{1,0} = (1,2) per character -- H_1 is a RANK-3 module over the Eisenstein integers, the compiler's 3-dimensional integral frame; (2) the D4 rotation closes PROJECTIVELY VIA THE DECK: in the reduced Burau model at t = omega (braid relations machine-verified) the rotation braid satisfies r^4 = omega x identity and r^12 = 1; (3) THE TORSION: the cusp-class group is (Z/3)^5 modulo one global relation = (Z/3)^4 of order 81 = 3^4 -- the v566 saturation index with exactly the per-mark Z/3 mechanism the self-code program asked for (four free local classes); det_Z(1 - deck) = 27 complementarily; (4) THE SIGNATURE: the invariant hermitian form of the Burau module is unique up to scale with eigenvalues {-2, 2-2sqrt2, 2+2sqrt2} -- LORENTZ SIGNATURE (1,2), matching the Chevalley-Weil Hodge numbers AND the rank-3 polarization signature of Paper II: Strategy II's first prediction (RP positivity as Hodge/Riemann positivity) confirmed at the form level. First operator pass: the single-cusp Gram has all-integer spectrum {0,0,2}; the compiler V-spectrum {0,1,2} is not yet located -- the operator dictionary (which canonical homology operator is Q/V) and the real-structure/RP map to the v572 Gram data are the NAMED NEXT STEPS. Kill criteria live (Smith/spectral mismatch for I; signature mismatch for II -- not triggered). GATE.QGEO does NOT move; no marker changes. [2026-08-01 XI, the dictionary's first entry: U IS LOCATED -- the cusp Gram (1-T2)(1-T2)^dagger has characteristic polynomial x^2(x-3) = char(U) exactly (the winding operator as a cusp Gram; fifth fingerprint); additional exact structure: opposite-twist products (1-T1)(1-T3) are NILPOTENT (char x^3), and G1+G3 has spectrum {0,1,3}; V/H/Q not located in the scanned canonical ranges (products/sums/omega-twists of length <= 2) -- the V-dictionary likely requires the parabolic flag (the seam-cusp filtration), named as the next step.] [2026-08-01 XIII: dictionary round 2 -- v598: THREE entries now exact (U ~ G2; Q_- ~ G1-G3, the sheet coupling as the diamond-diagonal Gram difference; the binary ladder ~ 1+G1+G3); the grading half absent from 7296 canonical combinations; see QGEO.DICT.01.] [2026-08-01 XV: the real structure is constructed and the invariant form is pinned -- v599: R unique with R^2 = +1, det J = 8 (a sheet-diamond determinant list member), Lorentz (1,2) confirmed exactly; see QGEO.REAL.01.] [2026-08-01 XVI: the operator dictionary lands at ALGEBRA level -- v600: the compiler pair (U, V) realized on the cover with the exact v566 saturation structure (index 81, divisors (1,1,1,3,3,3,3)); the [P]-model of GATE.QGEO has an explicit construction; canonicity and the two-demand derivation stay open; see QGEO.EMBED.01.] [2026-08-01 XXI: the torsion picture completes -- v604: 81 = 3^4 localizes at the finite marks (divisor classes; per-frame word order) and 27 = 3^3 at infinity (monodromy-defect cokernel = equivariant-order cokernel = det(1-deck)); see QGEO.EQORDER.01.] [2026-08-01 XXVIII: the curve's wider landscape is mapped -- v610: the Jacobian splits into a Q(zeta_12)-CM surface (the field of deck AND marks) times the Q(omega)-CM elliptic quotient, point-count-confirmed; the integer-spectrum census honestly relativizes single-char hits (the anchor class is the most frequent nontrivial family; the joint structure is the distinction); see QGEO.LANDSCAPE.01.] [2026-08-01 XXXV: the bedrock direction reverses -- v617: the conformal seam axioms FORCE the mu3-cover (Z4-Mobius rigidity, uniform weights j in {1,2}, genus 3, seam reflections = the v599 pattern); the QGEO.SYM.01 residue narrows to the cyclic-3 choice and the physical<->conformal seam identification; see QGEO.SEAMFORCE.01.]
Original classification detail
FINGERPRINTS-HIT: rank-3 Eisenstein module; projective D4 via deck (r^4 = omega); cusp-class group (Z/3)^4 = 81 with the per-mark mechanism; Lorentz (1,2) polarization (Chevalley-Weil + Paper II simultaneously); single-cusp Gram {0,0,2}; Q/V dictionary and RP map named open; 6/6 checks
Dependencies as recorded
QGEO.INVOL.01; QGEO.WINDING.SELF.01; DIAMOND.PARA.SELFCODE.01; GATE.QGEO.01; v566; v574; v590
Open the original ledger source, row 615Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Architecture, E8 and the electromagnetic fixed point
- Standard Model and flavor structure
- E8 audit and bootstrap
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- =150 2026-08-01 (XX) (the equivariant-order round lands ( v604 promoted): [formula in source] IS an anti-isometry of the polarization ( [formula in source] exact — correcting a diary side remark), [formula in source] restricts to the integer form [formula in source] with [formula in source] ; the four mark frames generate a FULL order of index [formula in source] in [formula in source] ; and the 3-torsion localizes at infinity ( [formula in source] , finite cusps torsion-free): [formula in source] at the marks, [formula in source] at infinity — the integral infinity/order-torsion bridge; translator negatives extended (the [formula in source] -sheet named))Research changelog; TFPT — Introduction and reading guide
- =150 2026-08-01 (X) (Strategy I/II executed: the [formula in source] -cover [formula in source] hits FOUR compiler fingerprints ( v597 promoted) — rank-3 Eisenstein [formula in source] , projective [formula in source] via the deck, cusp-class group [formula in source] of order [formula in source] , and the unique invariant hermitian form of LORENTZ signature [formula in source] matching Paper II's polarization: the first geometric candidate that could close GATE.QGEO and the RP slot with one construction)Research changelog; TFPT — Introduction and reading guide
- =150 2026-08-01 (XI) (the dictionary's first entry: U IS LOCATED — the winding operator appears as a cusp Gram on the [formula in source] -cover; exploration round, documented as a note on QGEO.COVER.01)Research changelog; TFPT — Introduction and reading guide
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- =150 2026-08-01 (XV) (the real structure lands ( v599 promoted): the anti-holomorphic [formula in source] reflection on the [formula in source] -cover exists and is unique up to scale with [formula in source] ; its grading functor closes all three dictionary gaps at char level ( [formula in source] , [formula in source] with the anchor spectrum [formula in source] , [formula in source] ); the [formula in source] -decomposition carries [formula in source] , [formula in source] , [formula in source] ; the joint algebra embedding stays open (quantified negative); and the invariant form has [formula in source] — a sheet-diamond determinant-list member — with Lorentz signature [formula in source] )Research changelog; TFPT — Introduction and reading guide
- =150 2026-08-01 (XVI) (the joint embedding lands ( v600 promoted): the compiler pair [formula in source] is REALIZED on the [formula in source] -cover — a [formula in source] -even degree-2 pair, [formula in source] -integral, seven-word rank [formula in source] , simultaneous conjugation to the compiler pair solved exactly, integer restrictions on the saturated [formula in source] lattice, and saturation index [formula in source] with the exact v566 divisor pattern; canonicity typed open, the gate does not move)Research changelog; TFPT — Introduction and reading guide
- Group-theoretic audits (optional)E8 audit and bootstrap
- =150 2026-08-01 (XXVII) (the curve landscape lands ( v610 promoted): the Jacobian SPLITS into a [formula in source] -CM abelian surface — the field of deck AND marks together — times the [formula in source] -CM elliptic quotient [formula in source] , point-count-confirmed ( [formula in source] exactly for all ten tested [formula in source] mod [formula in source] ); the integer-spectrum census honestly relativizes single-char hits (7894 integer entries — single spectra are cheap; the anchor class is the most frequent nontrivial family at [formula in source] ; the compiler's distinction is the joint structure); two new canonical period resources named)Research changelog; TFPT — Introduction and reading guide
All 10 linked sections
- Group-theoretic audits (optional)
- =150 2026-08-01 (XIII) (the cover dictionary reaches THREE exact entries ( v598 promoted): [formula in source] , [formula in source] — the [formula in source] sheet coupling is the diamond-diagonal Gram difference — and the binary AnchorLadder [formula in source] ; the grading half is absent from [formula in source] canonical combinations, with the real structure as the named suspect)
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- How to read this documenttfpt 1 architecture e8
- How to read this documentArchitecture, E8 and the electromagnetic fixed point
- Research Contract 1 — [formula in source]Research contracts
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Front matter / supportE8 audit and bootstrap
- Front matter / supportE8 audit and bootstrap
- Front matter / supportStandard Model and flavor structure
- Research Contract 1 — [formula in source]tfpt research contracts
All 11 linked sections
Registered verification modules
- v597_mu4_cover_model.pyRegistered verification module · core
Read the description recorded in the module registry
QGEO.COVER.01: Strategie I/II, erster ausgeführter Schritt — der μ₃-Cover y³ = x⁴−1 (verzweigt an μ₄ + ∞) trägt VIER unabhängige Compiler-Fingerprints: (1) Genus 3, H₁ = Rang-3-Modul über den Eisenstein-Zahlen (Chevalley-Weil H^{1,0} = (1,2)); (2) die D₄-Rotation schließt PROJEKTIV ÜBER DEN DECK (r⁴ = ω·1, r¹² = 1, Burau-Modell bei t = ω, Braid-Relationen verifiziert); (3) die Cusp-Klassengruppe ist (Z/3)⁵ mod eine Relation = (Z/3)⁴ der Ordnung 81 = 3⁴ — der v566-Saturationsindex mit exakt dem Pro-Mark-Z/3-Mechanismus; (4) die invariante hermitesche Form ist eindeutig bis Skala mit Eigenwerten {−2, 2−2√2, 2+2√2}: LORENTZ (1,2) — Chevalley-Weil UND Paper-II-Polarisation gleichzeitig (Strategie IIs erste Vorhersage bestätigt); Einzel-Cusp-Gram ganzzahlig {0,0,2}; Q/V-Wörterbuch benannt offen; GATE.QGEO bewegt sich NICHT (6 checks, <1 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.