A registered result in its source context
Original ledger classification: Exact [E] uniqueness/unimodularity/integrality/involutivity/factorization identities + [C] the closed-identity reading (exact sympy)
Recorded statement: The translator factorization (one module, 8 checks, ~8 s; discovery probe translator_factorization_probe.py 8/8, verdict C-FACTORIZATION-LANDED). THE MIRROR INTERTWINER [E]: the intertwining system d A = Gamma(A) d for the realized pair (A…
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.CFACTOR.01
Original ledger classification: Exact [E] uniqueness/unimodularity/integrality/involutivity/factorization identities + [C] the closed-identity reading (exact sympy)
Original claim text
The translator factorization (one module, 8 checks, ~8 s; discovery probe translator_factorization_probe.py 8/8, verdict C-FACTORIZATION-LANDED). THE MIRROR INTERTWINER [E]: the intertwining system d A = Gamma(A) d for the realized pair (A in {U_1, V_1^J}; Gamma = the v599 real-structure conjugation) has a 1-DIMENSIONAL solution space -- d exists, is unique up to scale, and intertwines the pair with its mirror image exactly. UNIMODULAR AND INTEGRAL [E]: in the canonical normalization det d = 1 exactly and d is integral over Z[omega]. GAMMA-INVOLUTIVE [E]: Gamma(d) d = 1 exactly -- the mirror twist squares to the identity through d. THE FACTORIZATION [E]: with K_1 = J^-1 conj(F_2)^T M^-1 (the polarization J, the transported RP metric F_2 = g^T Sigma g, the real structure M), the v605 translator element factorizes EXACTLY: c = lambda K_1 d (lambda the free scale), and inner(K_1 d) reproduces phi on the pair -- structurally theta_corpus = Jadj o inner(K_1) o inner(d). THE READING [C]: the geometric identity of c -- the last of the three v605 residuals -- is CLOSED: c is not an unexplained element but the product of the canonical form comparison (polarization x RP metric x real structure) with the unique unimodular integral mirror intertwiner of the realized pair. Honest scope: F_2 carries the corpus datum Sigma by definition of the translator (nothing else could); the v606 arithmetic negative (cubic field S_3) stands as the reason the cyclotomic route had to fail. GATE.QGEO does not move; no marker changes.
Original classification detail
C-FACTORIZATION-LANDED: d unique (1-dim), det 1, Z[omega]-integral, Gamma(d)d = 1; c = lambda K_1 d exact with K_1 = J^-1 conj(F_2)^T M^-1; theta_corpus = Jadj o inner(K_1) o inner(d); c geometrically identified; 8/8 checks
Dependencies as recorded
QGEO.TRANSLATOR.01; QGEO.MODESEP.01; QGEO.REAL.01; v599; v605; v606
Open the original ledger source, row 627Location 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
- 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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v609_translator_factorization.pyRegistered verification module · core
Read the description recorded in the module registry
QGEO.CFACTOR.01: die Übersetzer-Faktorisierung — DIE GEOMETRISCHE IDENTITÄT VON c IST GESCHLOSSEN: der Spiegel-Intertwiner d (dA = Γ(A)d für das realisierte Paar) ist EINDEUTIG (1-dim Lösungsraum), UNIMODULAR (det d = 1), INTEGRAL über Z[ω] und Γ-INVOLUTIV (Γ(d)d = 1 exakt); mit K₁ = J⁻¹·conj(F₂)ᵀ·M⁻¹ faktorisiert das v605-Übersetzer-Element EXAKT: c = λ·K₁·d — θ_corpus = Jadj ∘ inner(K₁) ∘ inner(d): Polarisierung × RP-Metrik × reelle Struktur × kanonischer Spiegel-Intertwiner; der letzte der drei v605-Reste ist aufgelöst (8 checks, ~8 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.