Original ledger status
QGEO.REALIZE.02
THE SEAM COLLAR REALISATION THEOREM, ASSEMBLED AS ONE CENTRAL STATEMENT + REDUCTION CERTIFICATE (the single structural proof obligation of the whole theory, formulated cleanly; NOT a fabricated proof): THEOREM -- given (1) an oriented one-sided RP seam collar, (2) a sheet-odd Calderon involution, (3) quasi-free one-particle seam data with gap (2/3)^6, (4) a faithful D4 action on the boundary marks, (5) four parabolic marks with mu4 character decomposition, (6) an admissible c=8 boundary net, THEN the conformal boundary of the seam collar is Moebius-equivalent to P^1 minus mu4, its H^1 character basis is canonically the generation basis with grading (1,2,3), the seam Calderon contraction is the rank-8 K_Sigma polarisation, and the index-4 simple-current extension is (E8)1. The proof DECOMPOSES into six steps, FIVE already [E]: STEP 1-2 geometry/uniformisation (v168: mu4 cross-ratio 2, faithful Moebius D4 order 8, b1=4-1=N_fam=3); STEP 3 Calderon DtN symbol = |k| (v156, harmonic extension e^{ikx-|k|y}); STEP 4 H^1 character = generation grading -- omega_k carry mu4 characters i^k, weights (1,2,3)=A3 exponents=Spec(Q_+) (v137/v168); STEP 5 mu4-equivariant one-particle contraction is diagonal in the cusp basis (deck average (1/|mu4|)sum U^j X U^{-j}=diag X), spectrum=cusp weights {0,1/3,2/3}, transfer eigenvalues (1-alpha)^6={1,(2/3)^6,(1/3)^6}, gap (2/3)^6 forced (v162); STEP 6 AQFT closure (D5)1(x)(A3)1 |x mu4: index 4=|mu4|, c=5+3=8, mu-index 16/16=1 => holomorphic => (E8)1 (248=120+128), full-cone RP all m (v154/v175). THE ONE OPEN PREMISE [O] (QGEO.REALIZE.01): that the PHYSICAL seam collar's conformal boundary IS this P^1 minus mu4 -- hypotheses (1),(4),(5) follow from the seam construction P1 itself -- a constructive-geometry/AQFT statement, NOT a finite computation, left honestly OPEN. NET: the whole structural residual of the theory reduces to this single realisation premise; everything else in the central theorem is machine-verified
Recorded status: Reduction certificate [E] (five steps established) + [O] (the one realisation premise)
Dependencies, status detail and source
Canonical status: Reduction certificate [E]/[O]: the central theorem reduces to ONE open realisation premise (QGEO.REALIZE.01); five of six steps are [E]
Dependencies: QGEO.REALIZE.01; QGEO.RIGID.01; GATE.METRIC.13; GATE.METRIC.18; QFT.NETRP.01; v137_qplus_cohomology.py; v156_seam_net_construction.py; v162_seam_transport_identification.py; v168_qgeo_rigidity.py; v175_net_existence_full_cone.py
Scripts: v176_seam_collar_realisation.py
Location: tfpt_research_contracts
Original CSV, line 254Original ledger status
SEAM.BIT.FREEDOM.01
THE FREEDOM ATTACK ON THE v506/v507 ALIGNMENT BIT -- THE POSITION HALF OF THE BIT IS TOPOLOGY (2026-07-21; one module, Part A dihedral/fermionic + Part B Moebius/RP-geometry, 30 checks; NO marker moves -- the modulus datum stays [C], SEAM.CLOCK.RIGIDITY.01, SEAM.BIT.ORIGIN.01 and QGEO.REALIZE.01 text-precised only, P2.TYPING.01 R1 halved): v507 left the last identification input as ONE bit with four equivalent faces; the collar deck of the theory is the deck transformation of a COVERING (the Z2 seam of the Moebius double, tfpt_3 'cylinder + one Z2 seam'), and covering decks act FREELY -- a reflection of the circle has fixed points and is never free, so the edge class is EXCLUDED and the fermionic face of the bit FOLLOWS. [E] DIHEDRAL THEOREM: on the N-site seam circle the free involution is UNIQUE = the antipode (N = 16: 17 involutions in D_16, exactly 1 free = shift 8; all 16 reflections have exactly 2 circle fixed points -- sites for even axis, edge midpoints for odd; robustness N = 8, 12); the census is COMPLETE because Aut(C_16) = D_16 exactly (brute force over all 8! permutations at N = 8, propagation argument at N = 16 -- no exotic circle automorphism exists); N = 9 control: D_9 has ZERO free involutions (a Moebius seam circle needs an EVEN carrier count, consistent with 16 = 2^(g_car-1)); QUOTIENT TOPOLOGY (the P1 tie): circle/antipode = CIRCLE (chi = 0, closed), circle/reflection = INTERVAL (chi = 1, two boundary corners) -- origin_theory's Gauss-Bonnet budget 6pi = 2pi+2pi+2pi counts three CLOSED circles, so 'the deck is free on the seam circle' is EXACTLY the established P1 datum 'the seam is a closed circle', not a new premise. [E] NONSPLIT <=> FREE (complete census, exact Cl(16)): ALL 17 involutions of the seam circle implemented -- the free one's NS lift squares to 256 gamma_1...gamma_16 = (-1)^F (nonsplit, 2 square roots in the 32-element dihedral lift group = the Z8 clock tower); ALL 16 reflections have U^2 = SCALAR (2^7 site-axis, 2^8 edge-axis; split, 0 roots) -- the v507 dichotomy holds over the COMPLETE involution census, no exception; chain: deck free => deck = shift 8 => crossing mark pairing (all 28 invariant 4-sets) => U^2 = (-1)^F => central class => the edge/silver arrangement is EXCLUDED; Klein control: the orientation-cover deck is free too (covering vs branched is the discriminator, not Moebius vs Klein); branch control: the pillowcase involution (x,y) -> (-x,-y) has exactly 4 fixed points = the marks and restricts to a REFLECTION on invariant circles -- the edge class IS the restriction of the BRANCHED pillowcase involution: the silver arrangement mistakes the mark-creating branch Z2 for the seam deck. [E] REAL-STRUCTURE CLASSIFICATION (continuum side): the antiholomorphic involutions of P^1 commuting with the celestial deck z -> -z are EXACTLY two families -- mu conj(z), |mu| = 1 (fix locus = a LINE through the deck poles {0, inf}: deck NOT free on it) and mu/conj(z), mu real (mu > 0: fix circle |z| = sqrt(mu) avoiding the poles, deck FREE on it; mu < 0: EMPTY fix locus, no seam); per deck-invariant configuration {+-a, +-b} the mark-fixing real structure is UNIQUE (an antiholomorphic map fixing 3 points pointwise is unique); table: mu4 -> equatorial 1/conj(z), deck FREE (v506 A-S2.9 reproduced); SILVER {+-1, +-(3+2 sqrt 2)} -> real axis THROUGH the poles, deck NOT free; generic-unit {+-1, +-(3+4i)/5} -> equatorial, free WITHOUT harmonicity; hexagonal -> NO mark-fixing real structure at all (cross-ratio complex, marks not concyclic: RP-incompatible, consistent v503); Moebius covering model: the sheet-exchange deck of the cylinder double cover is free on ALL points and restricts to the antipode on the Z2 seam fibre; P1's one-sidedness TYPES the Z2 as the free antipode (quotient RP^2 = the |Z2| of c3 = 1/(|Z2| 2pi chi), v456/v73). [E] HARMONIC + FREE => mu4 EXACTLY: the deck-pair cross-ratio (1-b)^2/(1+b)^2 = -1 solves exactly to b = +-i -- on free-deck seam circles the silver family (harmonic AND edge) is EMPTY, so harmonicity alone becomes SUFFICIENT for the clock. [E] HONEST COUNTERWITNESSES: 'nonsplit => clock' is FALSE -- discrete {0,1,8,9} (shift-invariant, crossing, same nonsplit lift, but the quarter shift does not preserve it) and continuous {+-1, +-(3+4i)/5} (deck free, equatorial, central class, but j = 148176/25 != 1728, no clock): the Fock dichotomy measures the CLASS of the arrangement, not the modulus. PREMISE TYPING [E]/[C]: (P-i) deck = Moebius covering deck => free on the seam circle -- standard covering topology, machine-instantiated (the one-sidedness strand: origin_theory/v456 check 1 [E]; tfpt_3 'cylinder + one Z2 seam' double structure); (P-ii) marks lie on the Theta-fix seam circle = existing REALIZE [C] content (QGEO.REALIZE.02 hypotheses (4)/(5), v264; v506 A-S2.9 [E] for mu4) -- NO new input; AUDIT FINDING documented: 'circle-freeness' was nowhere typed before (only mark-freeness, v216); v507 F1.1 explicitly admitted the reflection reading of the edge class -- v510 closes that door (a reflection is not a covering deck). [C] THE REDUCED REST (verbatim, no overclaim): the alignment bit reduces from 'harmonic AND central' to the square-modulus datum tau = i alone; the position half is topology (edge class excluded), the modulus half stays the one carrier input. No gate closes, no marker moves. CROSS-REFERENCE (2026-07-22, v512/SEAM.TAU.FLAG.01): the modulus half gains the equivalent discrete form 'flag transitivity (V4 -> D4) <=> tau = i' (12-fold exact equivalence web); the counterwitness {+-1, +-(3+4i)/5} is confirmed to pass ALL 7 established unsided tests -- v512.
Recorded status: Formal/Identity [E] (dihedral theorem: unique free involution = antipode, Aut(C_16) = D_16 complete census, quotient topology chi 0 vs 1; complete Cl(16) Fock census NONSPLIT <=> FREE over all 17 involutions; real-structure classification: two deck-commuting families, per-configuration uniqueness table; harmonic + free => b = +-i exactly; counterwitnesses -- sympy exact / exact Cl(16) Fractions, Wolfram-mirrored) + [C] (the square-modulus datum tau = i); SEAM.CLOCK.RIGIDITY.01, SEAM.BIT.ORIGIN.01 and QGEO.REALIZE.01 stay as they are (text precised only), P2.TYPING.01 R1 halved
Dependencies, status detail and source
Canonical status: Bit freedom [E]/[C]: the collar deck is a covering deck, hence FREE on the seam circle; the unique free involution is the antipode (Aut(C_16) = D_16, complete census) and NONSPLIT <=> FREE over all 17 involutions -- the edge/silver class is topologically EXCLUDED (its real structure's fix circle passes through the deck poles; the edge class is the branched pillowcase involution's restriction); harmonic + free => mu4 exactly, but freeness does not give harmonicity (honest counterwitnesses) -- the alignment bit reduces from 'harmonic AND central' to the square-modulus datum tau = i alone: the position half is topology, the modulus half stays the one [C] carrier input; v512 restates the modulus half as the flag-transitivity bit; no marker moves
Dependencies: SEAM.BIT.ORIGIN.01; SEAM.CLOCK.RIGIDITY.01; QGEO.REALIZE.01; QGEO.REALIZE.02; QGEO.RIGID.01; QGEO.EMERGE.LIGHT.01; P2.TYPING.01; v216; v264; v456; v490; v492; v503; v506; v507
Scripts: v510_seam_bit_freedom.py
Location: tfpt_3;tfpt_research_contracts
Original CSV, line 572