The Galois action of the quarter clock
Original ledger classification: Seam mu4 = carrier's Galois group [E]/[C]: 30 squarefree => no order-4 cyclic, so the seam mu4 is the Galois side (Z/30)^x=mu4 x Z2; the mu4 factor IS (Z/5)^x=Gal(Q(zeta5)) (carrier), the Z2 IS (Z/3)^x (family/CP); the Frobenius zeta5->zeta5^2 is the explicit order-4 operator G with G C5 G^-1=C5^2, G^4=I; resolves the v409 asymmetry (seam = automorphism, not a hand) [C]
Recorded statement: The seam mu4 IS the carrier's Galois group (2026-06-25): a positive resolution of the v409/RES.COXETER.SYMMETRY.01 cyclic/Galois asymmetry. In the cyclotomic picture the flavor clocks (sheet/family/carrier/CP) are powers of zeta30 (cyclic…
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.01
Original ledger classification: Seam mu4 = carrier's Galois group [E]/[C]: 30 squarefree => no order-4 cyclic, so the seam mu4 is the Galois side (Z/30)^x=mu4 x Z2; the mu4 factor IS (Z/5)^x=Gal(Q(zeta5)) (carrier), the Z2 IS (Z/3)^x (family/CP); the Frobenius zeta5->zeta5^2 is the explicit order-4 operator G with G C5 G^-1=C5^2, G^4=I; resolves the v409 asymmetry (seam = automorphism, not a hand) [C]
Original claim text
The seam mu4 IS the carrier's Galois group (2026-06-25): a positive resolution of the v409/RES.COXETER.SYMMETRY.01 cyclic/Galois asymmetry. In the cyclotomic picture the flavor clocks (sheet/family/carrier/CP) are powers of zeta30 (cyclic side, order h(E8)=30), but the seam mu4 (i) sits on the Galois side (Z/30)^x (order rank E8=8); v409 flagged this as 'prime-2 is the Galois bridge'. [E] 30=2*3*5 SQUAREFREE => Z/30 has element orders {1,2,3,5,6,10,15,30}, NO order 4, so the seam mu4 (order 4) cannot be a rotation hand and is forced onto the Galois side. [E] (Z/30)^x = (Z/2)^x x (Z/3)^x x (Z/5)^x = 1 x Z/2 x Z/4 = mu4 x Z2 (order phi(30)=8=rank E8); the mu4 (Z/4) factor IS (Z/5)^x (the CARRIER prime 5), the Z2 IS (Z/3)^x (the FAMILY prime 3 = CP conjugation, v316); the order-4 totatives {7,13,17,23} are exactly the generators of (Z/5)^x mod 5. [E] so the seam mu4 = Gal(Q(zeta5)) = (Z/5)^x (the carrier pentagon's automorphisms), realised on the carrier clock C5 (v418) by the Frobenius zeta5->zeta5^2: the explicit order-4 operator G has G C5 G^-1 = C5^2, G^4=I, G^2 C5 G^-2 = C5^-1 (complex conjugation) -- the square seam (atom 2, mu4) and the carrier pentagon (atom 5, mu5) are ONE object. [C] RESOLVES RES.COXETER.SYMMETRY.01: the 2^2=4 is the ORDER of (Z/5)^x (prime-2 and prime-5 meet here), and 'no contraction rate' (v409) is because the seam is an AUTOMORPHISM (|lambda|=1, finite order), not a rotation/transfer hand (consistent with the clock No-Go); Q(zeta30) carries BOTH E8 invariants -- the cyclic hands (h=30) and the Galois gears (rank=8=mu4 x Z2). Figure coxeter_galois. Exact number theory + the explicit Frobenius operator; no new physical number.
Original classification detail
Identity
Dependencies as recorded
RES.COXETER.SYMMETRY.01; ARITH.NORMTRIPLE.01; ARITH.HULL.01; CMNORM.DUAL.01; v409; v418; v403; v316; v223; v415
Open the original ledger source, row 487Location 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 seam [formula in source] is the carrier's Galois group: v419 [formula in source] figure)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.
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- The whole integer skeleton from one pair [formula in source]input 4 origin theory
- 2026-06-25 (The Galois [formula in source] Net bridge: v422)Research changelog; TFPT — Introduction and reading guide
- The whole integer skeleton from one pair [formula in source]Origin Theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v419_seam_galois_carrier.pyRegistered verification module · core
Read the description recorded in the module registry
The seam mu4 IS the carrier's Galois group: a positive resolution of the v409/RES.COXETER.SYMMETRY.01 cyclic/Galois asymmetry. 30=2*3*5 is squarefree so Z/30 has no order-4 element -- the seam mu4 (order 4) cannot be a cyclic hand and is forced onto the Galois side; (Z/30)^x = (Z/2)^x x (Z/3)^x x (Z/5)^x = mu4 x Z2 (order phi(30)=8=rank E8), where the mu4 (Z/4) factor IS (Z/5)^x (carrier 5) and the Z2 IS (Z/3)^x (family/CP); so the seam mu4 = Gal(Q(zeta5)) = (Z/5)^x, the Frobenius zeta5->zeta5^2, realised on the carrier clock C5 (v418) by the explicit order-4 operator G with G C5 G^-1 = C5^2, G^4=I, G^2 C5 G^-2 = C5^-1; resolves v409 (the 2^2=4 is the order of (Z/5)^x; 'no contraction rate' because the seam is an automorphism, not a hand); Q(zeta30) carries both E8 invariants (cyclic h=30, Galois rank=8).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.