Skip to main content

A registered result in its source context

Original ledger classification: Identity/Lattice [I]/[L]

Recorded statement: the '11' is PASCAL (third, simplest origin; no special math): Pl(K) is the exterior algebra of the family fundamental 4=mu4 (A3=SU(4) fundamental). Lambda^k(4)=C(4,k)=Pascal row 4=(1,4,6,4,1), full sum 2^4=16=dim S+.…

Statement, assumptions and sources

Paper context: Research contracts

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

GATE.UWALL.18

Original ledger classification: Identity/Lattice [I]/[L]

Original claim text

the '11' is PASCAL (third, simplest origin; no special math): Pl(K) is the exterior algebra of the family fundamental 4=mu4 (A3=SU(4) fundamental). Lambda^k(4)=C(4,k)=Pascal row 4=(1,4,6,4,1), full sum 2^4=16=dim S+. |Pl(K)|=(1,4,6)={Lambda^0,Lambda^1,Lambda^2}(4) (distinct exterior powers). ||Pl(K)||_1=11=sum_{k<=2}C(4,k)=cumulative ext of mu4 up to degree 2=deg(u^c) (v44) = 2^4-C(4,3)-C(4,4)=16-g_car. family(x)carrier=15=dim su(4)=Lambda^2(5)+Lambda^4(5)=10+5=N_fam*g_car (three readings). c_u/c_d=g_car*(sum_{k<=2}C(4,k))/(N_fam^2 Delta_Q)=55/117. So 55/117 triply grounded in Pascal/exterior algebra [I]; physical normalisation stays [P]

Original classification detail

Identity/Lattice [I]/[L]

Dependencies as recorded

GATE.UWALL.17; v37; v42; v44

Open the original ledger source, row 114

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.

Registered verification modules

  • v45_family_exterior.pyRegistered verification module · masses
    Read the description recorded in the module registry

    the “11” is Pascal: ‖Pl(K)‖₁ = 11 = 16 − g_car

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

Search later reviewed research for this identifierRead the coverage boundaries