Skip to main content

A registered result in its source context

Original ledger classification: Identity (audit layer)

Recorded statement: anchor-plane Plucker apparatus (anti-numerology): left/right 2x2 minors of B_M=(1^T M; a^T M) and C_M=(M1 Ma) for R,Q,K,L are compiler atoms; ||Pl(K)||_1=11 (localizes the '11' in K), ||Pl_R(K)||_1=Pl(L)_13=26, sum Pl_R(L)=60=cascade…

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

Original ledger classification: Identity (audit layer)

Original claim text

anchor-plane Plucker apparatus (anti-numerology): left/right 2x2 minors of B_M=(1^T M; a^T M) and C_M=(M1 Ma) for R,Q,K,L are compiler atoms; ||Pl(K)||_1=11 (localizes the '11' in K), ||Pl_R(K)||_1=Pl(L)_13=26, sum Pl_R(L)=60=cascade start; inverse col-sums {1,5,6}; quark ratios are anchor-plane Plucker readouts. Identities [I]; physical amplitudes STAY [P]

Original classification detail

Identity (audit layer)

Dependencies as recorded

FLAV.QRATIO.01; AX anchor a

Open the original ledger source, row 59

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 12 linked sections

Registered verification modules

  • v37_plucker_anchor.pyRegistered verification module · flavor
    Read the description recorded in the module registry

    Plücker anchor: ‖Pl(K)‖₁ = 11; pencil det(K+xQ); lepton ring

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.