Skip to main content

A registered result in its source context

Original ledger classification: Numerical (typing confirmed + honest negative)

Recorded statement: Lambda^2 F bridge test (honest): (1) POSITIVE - for SU(3) the exterior square is the conjugate rep, Lambda^2(M~)=conj(M~) exactly => the exterior leg IS the 3-bar (confirms the Exterior Leg typing); (2) anchor bivector 1^a=(0,1,1),…

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

Original ledger classification: Numerical (typing confirmed + honest negative)

Original claim text

Lambda^2 F bridge test (honest): (1) POSITIVE - for SU(3) the exterior square is the conjugate rep, Lambda^2(M~)=conj(M~) exactly => the exterior leg IS the 3-bar (confirms the Exterior Leg typing); (2) anchor bivector 1^a=(0,1,1), Pl(K)=(-1,6,4) is its image under the 2nd compound of K^T (integer, combinatorial); (3) HONEST NEGATIVE - continuous Lambda^2(M~).(1^a) (moduli ~0.93,0.75,0.75) != integer Pl(K) nor its direction. CONCLUSION: the bridge rho*->Pl(K) is the DISCRETE non-abelian-Hodge invariant (integer R; det R=8 & Spec(Q+)={1,2,3} confirmed v39), NOT the continuous exterior-square action = exactly the H2 equivalence, pinned from the Lambda^2 F side. No c_u/c_d fabricated

Original classification detail

Numerical (typing confirmed + honest negative)

Dependencies as recorded

GATE.UWALL.15; v39; v40

Open the original ledger source, row 116

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

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

    Λ²F bridge: exterior leg = 𝟑̄; discrete H2 invariant

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