A registered result in its source context
Original ledger classification: Lattice
Recorded statement: H2 splitting type 4=1+1+2; coker R = Z8 (branch fixed)
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
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
FLAV.H2.01
Original ledger classification: Lattice
Original claim text
H2 splitting type 4=1+1+2; coker R = Z8 (branch fixed)
Original classification detail
Lattice
Dependencies as recorded
FLAV.R.01; Mehta-Seshadri (U)
Open the original ledger source, row 16Location 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.
- Standard Model and flavor structure
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.
- Dependency Graphnote carrier rigidity lean4
- 2. −1,138 ist eine echte bessere VariationsgrenzeTFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10
- (5) Axioms P1/P2 — P2 machine-verified, P1 as an interface /Standard Model and flavor structure
- What This Note Is Aboutnote carrier rigidity lean4
- The parabolic-weight computation (resolved this round)tfpt 2 standard model
- What this changes, and what stays openE8 audit and bootstrap
- Appendix: computational verificationtfpt 1 architecture e8
- Research Contract — SEAM.MILNOR.LOCALRING.01 (canonical identification of the seam collar with the reduced Milnor algebra)tfpt research contracts
All 44 linked sections
- Layer 6c — Yukawa Stage C (primitive indecomposable coupling)
- Was die Experimente als Rückbedingungen hinzufügen
- Appendix: computational verification
- 2. −1,138 ist eine echte bessere Variationsgrenze
- Appendix: computational verification
- Research Contract 1 — [formula in source]
- Appendix: computational verification
- Closures that the architecture rests on
- Research Contract — SEAM.MILNOR.LOCALRING.01 (canonical identification of the seam collar with the reduced Milnor algebra)
- The flavor residue matrix is the compiler signature
- Appendix: computational verification
- Research Contract — SEAM.MILNOR.LOCALRING.01 (canonical identification of the seam collar with the reduced Milnor algebra)
- 4.2 Die ersten fünf Glieder sind jetzt exakt bestimmt
- 2. −1,138 ist eine echte bessere Variationsgrenze
- =150 2026-08-30 (CXLIV) (review wave 6 — two exploration probes graduate as v1004– v1005 plus two registrations and display corrections: the Milnor–Frobenius–Gray finite algebra, the circularity-flagged relative pencil, the local-ring identification contract, the Weinberg–Witten spin-2 firewall, and honest rest/SM/gravity wording; suite [formula in source] , ledger [formula in source] : two new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1003). (1) v1004_ milnor_ frobenius_ gray.py ( [formula in source] ): CLASSICAL (cite, no claim) — Milnor algebra of [formula in source] dimension [formula in source] , spectral numbers [formula in source] [formula in source] exponents [formula in source] . NEW-IN-CORPUS EXACT -finite: rank clock [formula in source] table-sum [formula in source] ; [formula in source] ; self-clock iff [formula in source] ; [formula in source] unique among ordered spherical triples; Galois–Gray [formula in source] (binary Gray order [formula in source] ); CP [formula in source] socle/Frobenius; integral dual-number bridge [formula in source] free rank [formula in source] over [formula in source] , basis-dependent. INTERPRETIVE : [formula in source] . Mutants: [formula in source] [formula in source] ; [formula in source] self-clock survives but exponents fail; wrong socle rank [formula in source] . NEW ledger row SEAM.MILNOR.LOCALRING.01 : required canonical geometric/mechanical identification of the raw seam collar / [formula in source] transition bus with [formula in source] preserving dual-number action, Frobenius pairing, Gray torsor, deck action and CP (rank clock and socle-CP as outputs); kill [formula in source] second inequivalent identification or [formula in source] -equivariance failure; currently \ because Milnor algebra [formula in source] exponents are classical and the corpus map is unproven. (2) v1005_ relative_ pencil_ bridges.py ( [formula in source] ): EXACT -finite Hankel [formula in source] [formula in source] Jacobi spec [formula in source] diag [formula in source] (v106/v119) and winding spec [formula in source] [formula in source] fixed plane (v4). EXACT BUT CIRCULARITY-FLAGGED : unique [formula in source] , [formula in source] , factorisation [formula in source] , CM [formula in source] , dual number mod [formula in source] , index [formula in source] SNF [formula in source] — BUT carrier [formula in source] already sits in the column sums of [formula in source] and [formula in source] : NOT a P2 selector until [formula in source] , [formula in source] , [formula in source] are derived from seam geometry independently; AX.P2.01 typing UNCHANGED. INTERPRETIVE : Klein-four SNF [formula in source] only after [formula in source] (side-blind nulls v521, not a theorem). Mutants: [formula in source] fails; perturbed [formula in source] breaks factorisation; [formula in source] breaks Hankel. (3) registrations (no marker moves). NEW GRAV.WEINBERG.WITTEN.01 : binding firewall BEFORE any spin-2 marker move — the microscopic Hamiltonian family must NOT possess a fundamental Lorentz-covariant local conserved [formula in source] ; Lorentz, diffeomorphism Ward identities and the spin-2 mode must emerge in the SAME IR limit; acceptance [formula in source] positive TT density, two helicities, massless pole, emergent diff Ward, universal soft coupling, named evaded Weinberg–Witten premise; kill [formula in source] microscopic covariant local [formula in source] together with a massless composite spin-2 claim; child of T7, cross-link GRAV.SPIN2.EMERGENCE.01 (not back). (4) display corrections (honest wording, no claim changes). Status-at-a-glance: compiler rest [formula in source] now sits NEXT TO the strict-physical-TOE rest (ten-component [formula in source] / eight TFPT.TOE.COMPLETE.01 gates, one line). SM completeness retyped: the discrete Standard-Model structure (charges, families, flavor operators) is derived under the axioms; [formula in source] D existence, chiral measure, mirror gap, couplings and neutrino dynamics are open. Gravity display: ``parameter-free'' headlines replaced by ``the classical covariant field equation carries no free dimensionless Newton coupling under the named QFT/entanglement premises ''. Surfaces: tfpt_research_contracts (new sections MILNOR.LOCALRING, WEINBERG.WITTEN; SPIN2 firewall note; T7 child; v358/v359 keybox titles); tfpt_4_frontier wave-6 paragraph; introduction status card [formula in source] SM/gravity lines; tfpt_2 gravity heading [formula in source] conclusion; website StatusMatrix / WhatTfptClaims / ClaimStack / GravityEmergence / OpenGates / VerificationDag.
- 4.2 Die ersten fünf Glieder sind jetzt exakt bestimmt
- Front matter / support
- 4.2 Die ersten fünf Glieder sind jetzt exakt bestimmt
- The parabolic-weight computation (resolved this round)
- What this changes, and what stays open
- Appendix: computational verification
- Front matter / support
- Closures that the architecture rests on
- What this changes, and what stays open
- Appendix: computational verification
- Headline: the Pascal compiler on five carrier slots
- (5) Axioms P1/P2 — P2 machine-verified, P1 as an interface /
- Headline: the Pascal compiler on five carrier slots
- The flavor residue matrix is the compiler signature
- Research Contract 1 — [formula in source]
- Headline: the Pascal compiler on five carrier slots
- 4.2 Die ersten fünf Glieder sind jetzt exakt bestimmt
- Closures that the architecture rests on
- v4 — Yukawa Stage B
- Appendix: computational verification
- v5 — Yukawa Stage C
Registered verification modules
- v4_flavor_matrix.pyRegistered verification module · flavor
Read the description recorded in the module registry
residue matrix R: det 8, minors (2,3,5), χ_R, Σ L = 40
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.