A registered result in its source context
Original ledger classification: Galois<->Net bridge / four-fold mu4 identity [E]/[C]: the seam mu4=Gal(Q(zeta5))=(Z/5)^x is the SAME cyclic Z/4 as the (E8)_1 glue <(1,1)> AND the discriminant disc(A3)=disc(D5)=Z/4 (D5 cyclic because rank 5 odd; D8 even=Klein control); only the carrier prime 5 gives (Z/p)^x=Z/4; glue order 4 => 16/4^2=1=E8 (vs Klein/order-2 => D8 det 4); cyclic Z/4 selects E8, Klein excluded -- the v419 Galois gearbox IS the holomorphic net's glue, a direct Galois->G_net bridge. Deck/divisor=Galois=discriminant=simple-current is a compression per v428 (one object read four ways), not four witnesses [C]
Recorded statement: The Galois<->Net bridge (2026-06-25): the seam mu4 = Gal(Q(zeta5)) is the SAME cyclic Z/4 as the (E8)_1 simple-current glue -- NOT a mere order-4 coincidence -- connecting the Galois gearbox of v419 to G_net/SEAM.EQUIV.01. [E] CARRIER GLUE…
Statement, assumptions and sources
Paper context: Origin Theory
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
SEAM.GALOIS.NET.01
Original ledger classification: Galois<->Net bridge / four-fold mu4 identity [E]/[C]: the seam mu4=Gal(Q(zeta5))=(Z/5)^x is the SAME cyclic Z/4 as the (E8)_1 glue <(1,1)> AND the discriminant disc(A3)=disc(D5)=Z/4 (D5 cyclic because rank 5 odd; D8 even=Klein control); only the carrier prime 5 gives (Z/p)^x=Z/4; glue order 4 => 16/4^2=1=E8 (vs Klein/order-2 => D8 det 4); cyclic Z/4 selects E8, Klein excluded -- the v419 Galois gearbox IS the holomorphic net's glue, a direct Galois->G_net bridge. Deck/divisor=Galois=discriminant=simple-current is a compression per v428 (one object read four ways), not four witnesses [C]
Original claim text
The Galois<->Net bridge (2026-06-25): the seam mu4 = Gal(Q(zeta5)) is the SAME cyclic Z/4 as the (E8)_1 simple-current glue -- NOT a mere order-4 coincidence -- connecting the Galois gearbox of v419 to G_net/SEAM.EQUIV.01. [E] CARRIER GLUE CYCLIC Z/4: disc(A3)=coker(Cartan A3)=Z/4 and disc(D5)=Z/4 (one Smith invariant factor 4 = CYCLIC, not Klein), det=4 each; the D_n discriminant is Z/4 for n ODD and Z2xZ2 for n EVEN, so the carrier D5 (rank 5=g_car, odd) is cyclic while the control D8 (rank 8, even) is Klein -- the cyclicity of the carrier glue is rooted in g_car=5 being odd. [E] CARRIER-GALOIS SAME Z/4: Gal(Q(zeta5))=(Z/5)^x=<2> is cyclic of order 4 (max multiplicative order 4, not Klein); among the atoms only the carrier prime 5 gives order 4 (|(Z/2)^x|=1, |(Z/3)^x|=2, |(Z/5)^x|=4). [E] E8 GLUE CYCLIC Z/4: in disc(D5(+)A3)=Z4xZ4 (order 16=dim S+) the simple current (1,1) has order 4 (cyclic <(1,1)>); the Lagrangian quotient is 16/|glue|^2=16/4^2=1, so the extension is unimodular = (E8)_1 (one primary, holomorphic, v89/v154). [E] CYCLIC vs KLEIN LOAD-BEARING (negative control, v100): the order-4 Klein group Z2xZ2 has max element order 2 (NOT cyclic); the even-rank D8 carries it, and the order-2 halfway glue <(2,2)> gives 16/2^2=4=|disc(D8)|=SO(16) (det Cartan 4, four primaries), NOT E8 (det 1). So cyclic Z/4 -> E8, Klein/order-2 -> D8 -- the carrier-Galois being cyclic Z/4 (5 prime) matches the E8 glue, never the D8 Klein. [C] THE BRIDGE = THE FOUR-FOLD mu4 IDENTITY: ONE cyclic Z/4 threads the four mu4 readings -- the seam deck/divisor mu4 (z->iz, v419), the carrier-Galois Gal(Q(zeta5)) (v419), the discriminant disc(D5)=disc(A3)=Z/4 and the (E8)_1 simple-current glue <(1,1)> (v1/v89/v154) -- so the Galois gearbox (Z/30)^x of v419 IS the simple-current glue of the holomorphic net, a direct bridge from the Galois side to G_net (SEAM.EQUIV.01). All four computably cyclic-Z/4 [E]; the canonical identification (one functorial Z/4) is the [C] bridge, cyclicity forced (5 odd/prime), Klein excluded. Per v428 this four-fold identity is a COMPRESSION (one object read four ways, a unification that makes the carrier less axiomatic), NOT four independent witnesses that multiply. Exact lattice/Galois; no new number.
Original classification detail
Lattice
Dependencies as recorded
SEAM.GALOIS.01; SEAM.EQUIV.01; E8.GLU.01; GATE.METRIC.06; ARITH.HULL.01; v419; v1; v89; v154; v92; v281; v403; v428
Open the original ledger source, row 489Location 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.
- Origin Theory
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-25 (The Galois [formula in source] Net bridge: v422)Research changelog; TFPT — Introduction and reading guide
- 2026-06-25 (External AQFT citations [formula in source] the four-fold [formula in source] identity sharpened)Research changelog; TFPT — Introduction and reading guide
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.
- 2026-06-30 ( v445 — the rigidity FORCING converse: commuting with the order- [formula in source] clock is exactly [formula in source] -block-diagonality, upgrading the rigidity step from ``permit'' to ``force'')Research changelog; TFPT — Introduction and reading guide
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The whole integer skeleton from one pair [formula in source]Origin Theory
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- The whole integer skeleton from one pair [formula in source]origin theory
Registered verification modules
- v422_galois_net_bridge.pyRegistered verification module · core
Read the description recorded in the module registry
The Galois<->Net bridge: the seam mu4 = Gal(Q(zeta5)) is the SAME cyclic Z/4 as the (E8)_1 simple-current glue -- not a mere order-4 coincidence -- connecting the Galois gearbox of v419 to G_net/SEAM.EQUIV.01. disc(A3)=disc(D5)=Z/4 (one SNF invariant factor 4 = cyclic, det 4); D_n disc is Z/4 for n ODD, Z2xZ2 for n EVEN, so the carrier D5 (rank 5=g_car, odd) is cyclic while the control D8 (rank 8, even) is Klein; Gal(Q(zeta5))=(Z/5)^x=<2> is cyclic order 4 (only the carrier prime 5 among the atoms gives order 4); in disc(D5(+)A3)=Z4xZ4 (16=dim S+) the simple current (1,1) is order 4 (cyclic) with Lagrangian quotient 16/4^2=1 => (E8)_1 (1 primary, holomorphic). NEG control: the Klein Z2xZ2 / order-2 halfway <(2,2)> gives 16/2^2=4=|disc(D8)|=SO(16) (det 4), NOT E8 (det 1) -- cyclic Z/4 -> E8, Klein -> D8, so the carrier-Galois matches E8 not D8. The bridge: one cyclic Z/4 threads the seam deck mu4 (v419), Gal(Q(zeta5)) (v419) and the (E8)_1 glue (v1/v89/v154); cyclicity forced by 5, Klein excluded. This is the four-fold mu4 identity (deck/divisor=Galois=discriminant=simple-current); per v428 a COMPRESSION (one object read four ways, a unification that makes the carrier less axiomatic), NOT four independent witnesses that multiply.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.