Skip to main content

The source of the seam alignment bit

Original ledger classification: Formal/Identity [E] (origin theorem: half-period fixed points, rational descent identity, free-involution census in all three stabiliser types; core solve lambda in {-1, 2, 1/2}; CM dictionary; equivalence tetrad + circularity audit; fermion dichotomy: Utilde^2 = 256 gamma-monomial vs +2^7 scalar in exact Cl(16) Fractions, root counts 2 vs 0, arrangement census 28/21 -- sympy exact, Wolfram-mirrored) + [C] (the one alignment bit: which half-period, i.e. the deck position); SEAM.CLOCK.RIGIDITY.01 and QGEO.REALIZE.01 stay as they are, P2.TYPING.01 R1 unchanged

Recorded statement: THE TAUTOLOGY ATTACK ON THE v506 ALIGNMENT BIT, EXECUTED AND REFUTED (2026-07-21; one module, Part A torus origin + Part B fermion dichotomy, 26 checks; NO marker moves -- the bit stays [C], SEAM.CLOCK.RIGIDITY.01 and QGEO.REALIZE.01…

Statement, assumptions and sources

Paper context: TFPT — Introduction and reading guide

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.BIT.ORIGIN.01

Original ledger classification: Formal/Identity [E] (origin theorem: half-period fixed points, rational descent identity, free-involution census in all three stabiliser types; core solve lambda in {-1, 2, 1/2}; CM dictionary; equivalence tetrad + circularity audit; fermion dichotomy: Utilde^2 = 256 gamma-monomial vs +2^7 scalar in exact Cl(16) Fractions, root counts 2 vs 0, arrangement census 28/21 -- sympy exact, Wolfram-mirrored) + [C] (the one alignment bit: which half-period, i.e. the deck position); SEAM.CLOCK.RIGIDITY.01 and QGEO.REALIZE.01 stay as they are, P2.TYPING.01 R1 unchanged

Original claim text

THE TAUTOLOGY ATTACK ON THE v506 ALIGNMENT BIT, EXECUTED AND REFUTED (2026-07-21; one module, Part A torus origin + Part B fermion dichotomy, 26 checks; NO marker moves -- the bit stays [C], SEAM.CLOCK.RIGIDITY.01 and QGEO.REALIZE.01 text-precised only): v506 reduced the last identification input to ONE bit ('the collar deck is the central involution of the mark-D4'). Conjecture under attack: marks and deck both descend from the SAME torus structure (the seam double T^2_tau -> S^2, v214/v260), so the common origin would force the alignment automatically and the bit would be a tautology. [E] ORIGIN THEOREM (die Herkunft): the 4 marks are the fixed points of the hyperelliptic involution w -> -w on C/(Z + tau Z) = the four half-periods Lambda/2Lambda (a 1/3-coefficient never qualifies: 2w in Lambda <=> coefficients in {0, 1/2}); a translation t_c descends to the base sphere iff 2c in Lambda -- exactly the THREE half-period translations (control c = 1/3 fails); the descended maps are the EXPLICIT rational involutions sigma_i(x) = e_i + (e_i-e_j)(e_i-e_k)/(x-e_i) with the exact curve-lift identity prod(sigma_i - e_l) = psi_i^2 prod(x - e_l), psi_i RATIONAL (the p-function addition formula as pure algebra); {id, sigma_1, sigma_2, sigma_3} = Klein V4 = Lambda/2Lambda/{+-1}; CONVERSELY, in ALL three stabiliser types the freely-acting involutions are EXACTLY the three sigma_c (generic V4 (4,3,3), harmonic D4 (8,5,3), hexagonal A4 (12,3,3)) ==> EVERY mark-free collar deck (v216) IS a half-period translation -- the CLASS of the deck is forced, its POSITION is not. [E] CORE SOLVE (symbolic in the Legendre modulus lambda): sigma_c admits a marks-preserving PGL2 square root <=> lambda in {-1} (sigma_1), {2} (sigma_2), {1/2} (sigma_3) -- per half-period exactly ONE solution; intrinsically: the two deck pairs separate each other HARMONICALLY (pair cross-ratio = -1, same solution sets); the union over c is the harmonic orbit {-1, 2, 1/2} <=> j = 1728 <=> tau = i; generic modulus: Stab = V4 abelian, ALL sigma_c central and yet clockless ('central alone is EMPTY' -- the bit is the CONJUNCTION Stab = D4 AND deck central); at tau = i the stabiliser jumps to D4 with sigma_1 central (2 roots = the clock pair) and sigma_2/sigma_3 edge-type (0 roots); the v506 seam deck z -> -z lands on the central sigma_1 = -1/x under ALL 8 mark bijections; CM DICTIONARY: mult-by-i fixes exactly ONE nonzero half-period c* = (1+tau)/2 (mult-by-rho 3-cycles all three -- hexagonal has no distinguished one); the clock lift needs the CM unit i (psi = 2i/(x+1)^2, t^2+1 irreducible over Q) while half-period decks lift RATIONALLY: the clock root exists only WITH CM by Z[i] <=> tau = i. [E] EQUIVALENCE TETRAD + CIRCULARITY AUDIT: 'Uhr existiert' <=> (tau = i AND deck = the CM-fixed half-period translation) <=> (Stab = D4 AND deck central) <=> deck pairs harmonically separated <=> the NS Fock lift is NONSPLIT (Part B); audit: the v493 converse (clock GIVEN => P(iZ) = P(Z) forces a3 = a2 = a1 = 0, j = 1728) is independently re-verified; here NO clock is assumed and existence is SOLVED -- two independently computed converses of ONE equivalence, no circularity. [E] FERMION DICHOTOMY (the new physical face): central arrangement (shift by 8 on the 16-site NS seam): Utilde^2 = 256 gamma_1...gamma_16 => U^2 = (-1)^F, nonsplit Z4 extension, 2 square roots in the 32-element dihedral lift group (the Z8 tower); edge arrangement (reflection j -> 4-j, fixed sites = NON-marks = the silver {0, inf} between neighbour marks): the implementation EXISTS but Utilde_e^2 = +2^7 x 1 => U^2 = +1, the extension SPLITS, 0 roots, no Z8 tower; one-particle level (lam^2+1)^8 vs (lam^2-1)^8; arrangement census: ALL 28 shift-invariant 4-sets cross (central type), ALL 21 mark-free reflection-invariant sets do not; robustness at 8 sites; R-sector edge control splits too. The bit IS a physical extension class (Fidkowski-Kitaev-type) -- distinguished, but not derived: WHICH class nature realises stays the input. [E] SILVER PLACEMENT (in-family witness against the tautology): the v506 counterexample {+-1, +-(3+2 sqrt 2)} = 'tau = i with deck = a NON-CM-fixed half-period translation' (all 8 mark bijections carry its deck to sigma_2/sigma_3, never sigma_1) -- the common torus origin does NOT exclude the misalignment. [C] THE REST (verbatim, no overclaim): the one alignment bit remains a carrier datum; 'no tautology -- the origin forces the CLASS of the deck (half-period translation), not its POSITION'. No gate closes, no marker moves. PRECISION (2026-07-21, v510/SEAM.BIT.FREEDOM.01 -- marker UNCHANGED): the POSITION residual is now typed as topology -- the collar deck is a COVERING deck and covering decks act freely; the unique free involution of the seam circle is the antipode (Aut(C_16) = D_16, complete census), NONSPLIT <=> FREE over all 17 involutions, and the edge class is the restriction of the BRANCHED pillowcase involution, so the edge/silver arrangement is topologically EXCLUDED and the tetrad's position face FOLLOWS (v510); the bit reduces to the square-modulus datum tau = i alone (harmonic + free => mu4 exactly), which stays the one [C] carrier input.

Original classification detail

Bit origin [E]/[C]: marks = half-periods of the seam double, every mark-free collar deck IS a half-period translation (class forced); a marks-preserving root exists iff lambda in {-1, 2, 1/2} <=> deck pairs harmonic <=> tau = i AND deck = the CM-fixed half-period (tetrad closed by the fermionic face: central <=> non-split NS Fock extension U^2 = (-1)^F, edge <=> split U^2 = +1, 0 roots); silver = in-family misalignment witness -- TAUTOLOGY REFUTED, the one alignment bit stays the [C] carrier input (position, not class); no marker moves; v510 types the position half as topology (covering-deck freeness excludes the edge class): the rest is the square-modulus datum tau = i alone

Dependencies as recorded

SEAM.CLOCK.RIGIDITY.01; QGEO.REALIZE.01; QGEO.RIGID.01; QGEO.EMERGE.LIGHT.01; P2.TYPING.01; v117; v168; v214; v215; v216; v260; v490; v492; v493; v499; v503; v506; SEAM.BIT.FREEDOM.01; v510

Open the original ledger source, row 571

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.

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.

All 22 linked sections

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

  • v507_seam_bit_origin.pyRegistered verification module · core
    Read the description recorded in the module registry

    SEAM.BIT.ORIGIN.01: the tautology attack on the v506 alignment bit, executed and refuted -- where do the marks AND the deck come from, and does their common origin force the central alignment? (Part A torus origin + Part B fermion dichotomy in one module; NO marker moves -- the bit stays [C], SEAM.CLOCK.RIGIDITY.01 and QGEO.REALIZE.01 text-precised only.) Exact sympy + exact Cl(16) Fractions, no floats. [E] ORIGIN THEOREM: the 4 marks are the fixed points of the hyperelliptic involution w -> -w on C/(Z + tau Z) = the four half-periods Lambda/2Lambda (a 1/3-coefficient never qualifies); a translation t_c descends to the base sphere iff 2c in Lambda -- exactly the THREE half-period translations (control c = 1/3 fails); the descended maps are the EXPLICIT rational involutions sigma_i(x) = e_i + (e_i-e_j)(e_i-e_k)/(x-e_i) with the exact curve-lift identity prod(sigma_i - e_l) = psi_i^2 prod(x - e_l), psi_i RATIONAL (the p-function addition formula as pure algebra); {id, sigma_1, sigma_2, sigma_3} = Klein V4; CONVERSELY, in ALL three stabiliser types the freely-acting involutions are EXACTLY the three sigma_c (generic V4 (4,3,3), harmonic D4 (8,5,3), hexagonal A4 (12,3,3)) => EVERY mark-free collar deck (v216) IS a half-period translation -- the CLASS of the deck is forced, its POSITION is not. [E] CORE SOLVE (symbolic in the Legendre modulus lambda): sigma_c admits a marks-preserving PGL2 square root <=> lambda in {-1} (sigma_1), {2} (sigma_2), {1/2} (sigma_3) -- per half-period exactly ONE solution; intrinsically: the two deck pairs separate each other HARMONICALLY (pair cross-ratio = -1, same solution sets); the union over c is the harmonic orbit {-1, 2, 1/2} <=> j = 1728 <=> tau = i; generic modulus: Stab = V4 abelian, ALL sigma_c central and yet clockless ('central alone is EMPTY' -- the bit is the CONJUNCTION Stab = D4 AND deck central); at tau = i the stabiliser jumps to D4 with sigma_1 central (2 roots = the clock pair) and sigma_2/sigma_3 edge-type (0 roots); the v506 seam deck z -> -z lands on the central sigma_1 = -1/x under ALL 8 mark bijections; CM DICTIONARY: mult-by-i fixes exactly ONE nonzero half-period c* = (1+tau)/2 (mult-by-rho 3-cycles all three -- hexagonal has no distinguished one); the clock lift needs the CM unit i (psi = 2i/(x+1)^2, t^2+1 irreducible over Q) while half-period decks lift RATIONALLY: the clock root exists only WITH CM by Z[i] <=> tau = i. [E] EQUIVALENCE TETRAD + CIRCULARITY AUDIT: 'clock exists' <=> (tau = i AND deck = the CM-fixed half-period translation) <=> (Stab = D4 AND deck central) <=> deck pairs harmonically separated <=> the NS Fock lift is NONSPLIT (Part B); audit: the v493 converse (clock GIVEN => P(iZ) = P(Z) forces a3 = a2 = a1 = 0, j = 1728) independently re-verified -- two independently computed converses of ONE equivalence, no circularity. [E] FERMION DICHOTOMY (the new physical face): central arrangement (shift by 8 on the 16-site NS seam): Utilde^2 = 256 gamma_1...gamma_16 => U^2 = (-1)^F, nonsplit Z4 extension, 2 square roots in the 32-element dihedral lift group (the Z8 tower); edge arrangement (reflection j -> 4-j, fixed sites = NON-marks = the silver {0, inf} between neighbour marks): the implementation EXISTS but Utilde_e^2 = +2^7 x 1 => U^2 = +1, the extension SPLITS, 0 roots, no Z8 tower; one-particle level (lam^2+1)^8 vs (lam^2-1)^8; arrangement census: ALL 28 shift-invariant 4-sets cross (central type), ALL 21 mark-free reflection-invariant sets do not; robustness at 8 sites; R-sector edge control splits too -- the bit IS a physical extension class (Fidkowski-Kitaev-type): distinguished, but not derived; WHICH class nature realises stays the input. [E] SILVER PLACEMENT (in-family witness against the tautology): the v506 counterexample {+-1, +-(3+2sqrt2)} = 'tau = i with deck = a NON-CM-fixed half-period translation' (all 8 mark bijections carry its deck to sigma_2/sigma_3, never sigma_1) -- the common torus origin does NOT exclude the misalignment. [C] THE REST (verbatim, no overclaim): the one alignment bit remains a carrier datum; no tautology -- the origin forces the CLASS of the deck (half-period translation), not its POSITION. Exact (sympy + Cl(16) Fractions).

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