Skip to main content

The residue matrix and flavour transport budget

Original ledger classification: Lattice

Recorded statement: residue matrix R: det=8; minors {2;3;5}; char poly; SNF diag(1;1;8) (positive invariant factors); ||R||^2=78; sum L=40

Statement, assumptions and sources

Paper context: Architecture, E8 and the electromagnetic fixed point

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.R.01

Original ledger classification: Lattice

Original claim text

residue matrix R: det=8; minors {2;3;5}; char poly; SNF diag(1;1;8) (positive invariant factors); ||R||^2=78; sum L=40

Original classification detail

Lattice

Dependencies as recorded

-

Open the original ledger source, row 13

Location 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.

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.

All 44 linked sections

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.

Fine-structure constantCarrier, families and E8 closureStandard Model and flavorSearch later reviewed research for this identifierRead the coverage boundaries