A registered result in its source context
Original ledger classification: Exact [E] translator/bridge/chain/duality identities + [C] typed opens (exact sympy; Smith transforms over Z; Lean addendum green)
Recorded statement: The translator round (one module, 11 checks, ~11 s; discovery probe translator_probe.py 11/11, verdict TRANSLATOR-LANDED). THE TRANSLATOR EXISTS [E, centerpiece]: pulling the corpus RP anti-automorphism theta(X) = Sigma X^T Sigma back…
Statement, assumptions and sources
Paper context: TFPT — Introduction and reading guide
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.TRANSLATOR.01
Original ledger classification: Exact [E] translator/bridge/chain/duality identities + [C] typed opens (exact sympy; Smith transforms over Z; Lean addendum green)
Original claim text
The translator round (one module, 11 checks, ~11 s; discovery probe translator_probe.py 11/11, verdict TRANSLATOR-LANDED). THE TRANSLATOR EXISTS [E, centerpiece]: pulling the corpus RP anti-automorphism theta(X) = Sigma X^T Sigma back along the compiler conjugation and composing with the J-adjoint gives an algebra automorphism phi = Jadj o theta_pull -- and phi is INNER: the intertwiner space is 1-DIMENSIONAL, its generator c is invertible, and phi(A) = c A c^-1 holds EXACTLY on the pair. Hence THE CORPUS RP STRUCTURE IS THE J-ADJOINT COMPOSED WITH THE INNER TWIST BY c -- the RP anti-automorphism is fully expressed in curve language (polarization + one explicit element); the normalization 14c is Z[omega]-INTEGRAL (denominator 14 = 2 x 7, the parabolic dimension). Honest scope: c is unique up to scale by construction but not Gamma-even and not in the word algebra -- its independent geometric identity is the named open (the earlier single-sheet negatives v603/v604 are thereby RESOLVED: the missing object was inner, not a new form; the omega-bar detour was unnecessary). THE SEAM-INFINITY BRIDGE [E]: in the Smith coordinates of coker(1 - T_inf) = Z^2 + (Z/3)^3, the seam lift (-conj omega, -conj omega, 0, -omega) has ZERO free coordinates and torsion coordinates (2,2,0) mod 3: the seam line is a NONZERO pure 3-torsion class of the infinity monodromy cokernel -- the integral seam <-> infinity identification. THE 81 SURVIVES [E]: inside the frame-1 span the order chain O_1 subset (O_joint cap span_1) subset P_1 has indices 3^5 = 243 and 3^4 = 81: joining all four frames refines each frame's order by exactly 3^5 and the residual saturation defect is EXACTLY the v566 index 81. THE J_FIX DUALITY CERTIFIED [E]: C_V^T J_fix = J_fix C_Vdual with the explicit integer C_Vdual = [[1,0,0],[-2,0,0],[2,1,2]] (char x(x-1)(x-2), dual joint trace 3, char(C_U + C_Vdual) = x(x-2)(x-4)); companion Lean addendum in TfptCarrier/CoverEmbedding.lean (Jfix_symmetric, Jfix_det = 72, CV_dual_certificate, CVdual_cubic, dual_joint_trace; lake build green, 3375 jobs). GATE.QGEO does not move; no marker changes. [2026-08-01 XXIV: the mode separation lands -- v606: all three V-eigenlines are pure 3-torsion at infinity with pairwise distinct classes (the selection carrier R could not provide); c's arithmetic-identity route is closed (cubic field S_3, not abelian); see QGEO.MODESEP.01.] [2026-08-01 XXVII: the geometric identity of c is CLOSED -- v609: c = lambda K_1 d with K_1 = J^-1 conj(F_2)^T M^-1 and d the UNIQUE unimodular Z[omega]-integral Gamma-involutive mirror intertwiner of the realized pair; see QGEO.CFACTOR.01.]
Original classification detail
TRANSLATOR-LANDED: theta_corpus = Jadj o inner(c) exact (c unique, 14c integral); seam = nonzero 3-torsion at infinity ((2,2,0) pattern); order chain indices 3^5/3^4 (the 81 survives); J_fix duality certified + Lean; c's geometric identity open; 11/11 checks
Dependencies as recorded
QGEO.EQORDER.01; QGEO.SEAMMARKS.01; QGEO.DUALFORMS.01; QGEO.EMBED.01; v572; v600; v601; v602; v603; v604
Open the original ledger source, row 623Location 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 (XXVI) (the translator factorization lands ( v609 promoted): the geometric identity of [formula in source] is CLOSED — the mirror intertwiner [formula in source] ( [formula in source] ) is unique, unimodular ( [formula in source] ), [formula in source] -integral and [formula in source] -involutive ( [formula in source] exactly), and the v605 element factorizes exactly as [formula in source] with [formula in source] : [formula in source] — all three v605 residuals are now resolved (seam reversal v603, zero-mode rule v607, [formula in source] -identity v609))Research changelog; TFPT — Introduction and reading guide
- Front matter / supportE8 audit and bootstrap
- =150 2026-08-01 (XXI) (the translator round lands ( v605 promoted): the corpus RP anti-automorphism IS the J-adjoint twisted by an explicit inner element [formula in source] ( [formula in source] is inner, [formula in source] unique up to scale, [formula in source] integral over [formula in source] — the single-sheet negatives resolved, the [formula in source] detour unnecessary); the seam is a NONZERO pure 3-torsion class at infinity (torsion coordinates [formula in source] ); the [formula in source] survives frame-joining as the saturation defect (chain indices [formula in source] , [formula in source] ); the [formula in source] duality certified with a Lean addendum)Research changelog; TFPT — Introduction and reading guide
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
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
- Front matter / supportE8 audit and bootstrap
- How to read this documenttfpt 1 architecture e8
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v605_translator.pyRegistered verification module · core
Read the description recorded in the module registry
QGEO.TRANSLATOR.01: die Übersetzer-Runde — DER RP-ÜBERSETZER EXISTIERT: die Korpus-RP-Anti-Automorphie θ(X) = ΣXᵀΣ, zurückgezogen und mit der J-Adjungierten komponiert, ist ein INNERER Automorphismus φ(A) = cAc⁻¹ (Intertwiner-Raum 1-dim, c invertierbar, exakt) — die RP-Struktur ist vollständig in Kurven-Sprache ausgedrückt (Polarisierung + ein explizites Element); 14c ist Z[ω]-INTEGRAL (Nenner 14 = 2·7); die SEAM ist reine 3-TORSION bei ∞ (freie Koordinaten (0,0), Torsion (2,2,0) mod 3 im ∞-Kokern); DIE 81 ÜBERLEBT das Frame-Joining (Ordnungskette O₁ ⊂ O_joint∩span₁ ⊂ P₁ mit Indizes 3⁵ und 3⁴ = 81); J_fix-Dualität zertifiziert (C_VᵀJ_fix = J_fix·C_Vdual ganzzahlig) + Lean-Nachtrag grün (11 checks, ~11 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.