A registered result in its source context
Original ledger classification: Formal/Identity [E] (Pfaffian-exact insertion machinery cross-validated three ways, exact integer incidence frame, exact congruence mechanisms, 40-digit gap-certified inertia/spectrum/energy/parity certificates) + [C] (each lifting is a construction choice, all tested) + [O] (the genuinely interacting A_hol with non-Pfaffian-reducible OS data); the bit stays the one [C] carrier input; NO marker moves
Recorded statement: THE TWIST-STATE ATTACK ON THE ALIGNMENT BIT DECIDED (2026-07-23; one module, 20 checks, ~80 s; an honest, decided NEGATIVE result in the v508 style -- the NINTH side-blind test on the v512 scoreboard, 8 -> 9): do mark-decorated STATES…
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.TWISTBLIND.01
Original ledger classification: Formal/Identity [E] (Pfaffian-exact insertion machinery cross-validated three ways, exact integer incidence frame, exact congruence mechanisms, 40-digit gap-certified inertia/spectrum/energy/parity certificates) + [C] (each lifting is a construction choice, all tested) + [O] (the genuinely interacting A_hol with non-Pfaffian-reducible OS data); the bit stays the one [C] carrier input; NO marker moves
Original claim text
THE TWIST-STATE ATTACK ON THE ALIGNMENT BIT DECIDED (2026-07-23; one module, 20 checks, ~80 s; an honest, decided NEGATIVE result in the v508 style -- the NINTH side-blind test on the v512 scoreboard, 8 -> 9): do mark-decorated STATES (Kadanoff-Ceva twist/defect insertions, sigma-gauge arc decorations, mu4/Bogoliubov bond defects -- the v521 [O] gap, everything Pfaffian/Wick-computable) make RP side-sensitive on M(delta) = {+-1, +-e^(i delta)}? NO. (1) ALL LIFTINGS WELL-DEFINED AND BLIND: (a) sigma-gauge (Z2): sigma o r = sigma on every swap axis makes the twisted Gram a diagonal unitary congruence D M D -- spectra IDENTICAL to untwisted (dev 0.0); (b) Kadanoff-Ceva 4-twist insertion omega(D .)/omega(D): well-defined on the whole N = 32 ladder (omega(D) real nonzero, deck-consistent; the N = 16 odd-m degeneration -- omega(D) = 0 at m = 1, imaginary at m = 3 -- is exactly the C(even) = 0 checkerboard artifact); its RP SPECTRA are the FIRST free-class data of the program that depend on delta (min shift 0.242, pairwise up to 1.05 -- the mark-anchored strings break the v521 rotation-equivalence mechanism), but the INERTIA is (16, 0, 0) PD with the SAME eta = +i for EVERY m = 1..7 incl. pi/2 +- pi/8, both swap axes, even sector (29, 0, 0) -- the decoration sees delta, the positivity does not; (c) the mu4 defect at beta = pi/2 is PURE PLANE GAUGE (one state up to gauge, signed permutation = extended monomial class, RP-invisible like (a)); (c') the genuine Bogoliubov defect at beta = pi/4: the sign pattern becomes a real datum and Theta-compatibility selects EXACTLY 2 of 16 patterns (the crossed pattern forced by the NS wrap signs; the naive alternating pattern FAILS), the winner is pure and genuinely non-monomial (|C(even)| up to 0.45) -- still PD everywhere, spectra again IDENTICAL. STRUCTURE THEOREM (empirical, mechanism exact): the defect planes never straddle a cut bond (marks avoid the cuts), so O block-decomposes across the cut and the Theta precondition turns every twisted Gram into an orthogonal congruence U M U^T -- EVERY Theta-compatible quasi-free mark decoration is RP-spectrally INVISIBLE: the quasi-free class cannot even carry delta into its RP datum; only the insertion FUNCTIONALS do, and there positivity stays blind. (2) SUB-RESULTS: the total defect energy E_def = 1.2752872 for EVERY m (40-digit spread 4e-40) -- delta-blind; the 4-twist Casimir ln|omega(D)| measures delta smoothly (-0.890 .. -1.348) but is EXACTLY mirror-symmetric under m <-> 8-m (dev 1.15e-40) -- the delta <-> pi-delta equivariance makes pi/2 the symmetric point of every invariant readout: a family gauge, never a side selector; the twisted parity <Gamma>_tw = +1 for every m (the (-1)^F/Kramers class untouched by every decoration). (3) TWO BIT-PRESUPPOSING pi/2 STRUCTURES (the harvest): the eta flip +i -> -i on the mark-fixing axes (sigma o r = -sigma, odd sector exactly negated, even sector unchanged); the twist frustration of the mark-fixing mirror (theta maps D_short <-> D_long; the theta-closed symmetrized insertion is Hermitian but INDEFINITE (4, 4, 0) for both eta -- the lattice shadow of the Ising twist field's mirror-oddness) -- both formulable ONLY on the fixing axes existing iff delta = pi/2: they PRESUPPOSE the bit (v512 facet class), no selector. (4) NEGATIVE CONTROLS: the twist-free limit reproduces v519/v521 exactly (dev 0.0); the site cut keeps failing in every decorated state; the v512 counterwitness delta_cw = atan(4/3) is ARC-EQUIVALENT at N = 16 to the blind member delta = pi/4 (identical decorated state, integer incidence) and carries no lattice mark-compatible reflection -- no decorated-state selector can exclude it without excluding a blind member; a single twist string is ODD, omega(D) = 0 identically (twists exist only in mark PAIRS); the deck-breaking two-twist decoration is defective -- the deck-paired FOUR-twist decoration is the minimal well-defined one. VERDICT: KILL exactly as preregistered -- the NINTH side-blind test (8 -> 9); the free-plus-twist class (everything Wick-computable) is EXHAUSTED: only a genuinely INTERACTING A_hol whose OS data are NOT Pfaffian-reducible to the chiral vacuum could still see the bit. The alignment bit remains genuine discrete input. Discovery provenance: seam_alignment_bit_twist_state_probe.py (20/20) in experiments/tfpt-discovery/ (2026-07-23). NO marker moves.
Original classification detail
KILL (honest negative, preregistered): every well-defined mark-decorated state functional in the free-plus-twist class keeps RP positive on the always-existing cuts along the whole M(delta) ladder -- the NINTH side-blind test on the v512 scoreboard (8 -> 9); quasi-free decorations are RP-spectrally invisible (exact congruence mechanism), insertion spectra and the 4-twist Casimir measure delta but never reach the positivity verdict, the only pi/2-exclusive structures presuppose the bit; the free-plus-twist class is EXHAUSTED -- the interacting half is since decided by v529 (SEAM.INT.FKTOY.01): the TENTH side-blind test (9 -> 10) on genuinely non-Wick dynamics, while Kill-Test-2 fires at toy level (RP breaks for every g > 0; straddle law); the alignment bit remains genuine discrete input
Dependencies as recorded
SEAM.BIT.RPBLIND.01; SEAM.TAU.FLAG.01; SEAM.BIT.FREEDOM.01; WOIT.THETA.FREE.01; v510; v512; v519; v521
Open the original ledger source, row 592Location 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.
- E8 audit and bootstrap
- Research contracts
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.
- =150 2026-07-23 (III) ( v525 — the twist-state attack on the alignment bit DECIDED and promoted as the ledger row SEAM.BIT.TWISTBLIND.01: ``mark-decorated states do not see [formula in source] '' — an honest, decided NEGATIVE result (v508 style), the NINTH side-blind test on the v512 scoreboard ( [formula in source] ); the free-plus-twist class (everything Wick-computable) is EXHAUSTED; the celestial/twistor story in tfpt_3 gains Step 26 and the header goes twenty-three [formula in source] twenty-six steps — (1) ALL LIFTINGS WELL-DEFINED AND BLIND : (a) the [formula in source] -gauge arc decoration ( [formula in source] ) satisfies [formula in source] on the swap axes [formula in source] the twisted Gram is a diagonal unitary congruence [formula in source] , spectra IDENTICAL to untwisted (dev [formula in source] ); (b) the Kadanoff–Ceva [formula in source] -twist insertion [formula in source] is well-defined on the [formula in source] ladder ( [formula in source] real nonzero; the [formula in source] odd- [formula in source] degeneration is the [formula in source] checkerboard artifact) and its RP SPECTRA are the FIRST free-class data of the programme that depend on [formula in source] (pairwise up to [formula in source] ) — yet the INERTIA is [formula in source] PD with the same [formula in source] for EVERY [formula in source] : the decoration sees [formula in source] , positivity does not; (c) the [formula in source] twist at [formula in source] is pure plane gauge; (c [formula in source] ) the genuine Bogoliubov defect at [formula in source] : [formula in source] -compatibility selects exactly [formula in source] of [formula in source] sign patterns (NS-wrap-forced), the winner genuinely non-monomial — still PD, spectra identical; STRUCTURE THEOREM (mechanism exact): the defect planes never straddle a cut bond, so every [formula in source] -compatible quasi-free mark decoration is RP-spectrally INVISIBLE; (2) SUB-RESULTS : the defect energy [formula in source] for EVERY [formula in source] (spread [formula in source] ) — [formula in source] -blind; the [formula in source] -twist Casimir [formula in source] measures [formula in source] ( [formula in source] ) but exactly mirror-symmetric under [formula in source] — a family gauge, never a side selector; Kramers [formula in source] for every [formula in source] ; (3) the HARVEST : two bit-presupposing [formula in source] structures (the [formula in source] flip [formula in source] on the mark-fixing axes via [formula in source] ; the twist frustration of the mark-fixing mirror, [formula in source] indefinite for both [formula in source] — the lattice shadow of the Ising twist field's mirror-oddness) — both formulable only on the fixing axes existing iff [formula in source] (the v512 facet class); (4) NEGATIVE CONTROLS : the twist-free limit [formula in source] v519/v521 exactly; the site cut keeps failing; the v512 counterwitness is arc-equivalent at [formula in source] to the blind member [formula in source] — no state selector can exclude it; a single twist has [formula in source] identically; : the door narrows to a genuinely INTERACTING [formula in source] whose OS data are NOT Pfaffian-reducible to the chiral vacuum; Wolfram extension (with v523/v524) [formula in source] (verified engine run 2026-07-23, [formula in source] + base [formula in source] ); suite [formula in source] modules; NO marker moves — the alignment bit remains genuine discrete input)Research changelog; TFPT — Introduction and reading guide
- Sharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )TFPT — Introduction and reading guide
- Research Contract 1 — [formula in source]tfpt research contracts
- Front matter / supportResearch contracts
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Research Contract 1 — [formula in source]tfpt research contracts
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.
- How to read this documenttfpt 1 architecture e8
- Honest statusinput 4 origin theory
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- Target G — the alignment bit and the interacting seam (the first shot that lands)Red-team audit
- Theorem 7 — the [formula in source] lift of the [formula in source] atlasArchitecture, E8 and the electromagnetic fixed point
- Honest statusorigin theory
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- =150 2026-07-24 (I) ( v534 — the straddle cone executed: THE FIRST DYNAMICAL SELECTION OF THE ALIGNMENT BIT — reflection positivity keeps exactly ONE member of the interacting mark family alive, [formula in source] with positive coupling; the literal leading-order cone formalization dies; NO marker moves)Research changelog; TFPT — Introduction and reading guide
All 22 linked sections
- Global computation: the anchor multiset is derived
- The celestial and twistor continuum route
- How to read this document
- Honest status
- =150 2026-07-23 (VIII) (prominence pass — the v519–v529 breakthroughs lifted into the FRAME texts of the papers and the website data layer; purely editorial, NO new modules, NO marker moves — (1) tfpt_5_redteam gains the seam round Target G: the ten-test side-blind scoreboard on the alignment bit ( v512/ v521/ v525/ v529) and the first firing kill test of the programme — the interacting straddle law ( v529), documented as a named threat AND the first hard selection principle for [formula in source] , fenced at toy level; (2) the bit-reduction statements in tfpt_1, tfpt_2 and origin_theory extended from the v512 state to the current state (ten side-blind tests, the twist-class definition with gauge-robust order parameter, ``in principle interferometrically readable'', v528 — the bit stays formal input); (3) the thermal seam lifted into the origin_theory horizon chapter (new keybox: [formula in source] measured, temperature the third leg of [formula in source] , v526) and into the tfpt_horizon_readouts head keybox; (4) tfpt_3 title/keybox now carry the thirty-step story and ``the measure chain is derived'' ( v520/ v523) prominently; (5) tfpt_research_contracts title/intro keybox now show the executed stages of CELEST.SEAM.01 (M1–M3, [formula in source] -chains decided, [formula in source] derived) and WOIT.OS.TWISTOR.01 ( [formula in source] executed, [formula in source] next under the straddle constraint); both contracts stay Open)
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)
- Front matter / support
- Honest status
- The celestial and twistor continuum route
- Front matter / support
- Front matter / support
- Theorem 7 — the [formula in source] lift of the [formula in source] atlas
- Global computation: the anchor multiset is derived
- Theorem 7 — the [formula in source] lift of the [formula in source] atlas
Registered verification modules
- v525_seam_bit_twist_blind.pyRegistered verification module · frontier
Read the description recorded in the module registry
SEAM.BIT.TWISTBLIND.01: the twist-state attack on the alignment bit DECIDED -- 'mark-decorated states do not see delta', an honest, decided NEGATIVE result (v508 style): the NINTH side-blind test on the v512 scoreboard (8 -> 9); the free-plus-twist class (everything Wick-computable) is EXHAUSTED (20 checks, ~80 s). [E] ALL LIFTINGS WELL-DEFINED AND BLIND: (a) sigma-gauge arc decoration (Z2): sigma o r = sigma on the swap axes makes the twisted Gram a diagonal unitary congruence D M D -- spectra IDENTICAL to untwisted (dev 0.0); (b) Kadanoff-Ceva 4-twist insertion omega(D .)/omega(D): well-defined on N = 32 (omega(D) real nonzero; the N = 16 odd-m degeneration is the C(even) = 0 checkerboard artifact); the RP SPECTRA depend on delta for the first time in the program (pairwise up to 1.05), but the INERTIA is (16, 0, 0) PD with the SAME eta = +i for every m -- the decoration sees delta, positivity does not; (c) the mu4 twist at beta = pi/2 is pure plane gauge; (c') genuine Bogoliubov defect beta = pi/4: Theta-compatibility selects exactly 2 of 16 sign patterns (NS-wrap forced), the winner genuinely non-monomial -- still PD, spectra identical. STRUCTURE THEOREM (empirical, mechanism exact): EVERY Theta-compatible quasi-free mark decoration is RP-spectrally INVISIBLE (the defect planes never straddle a cut bond; orthogonal congruence). [E] SUB-RESULTS: the defect energy E_def = 1.2752872 for EVERY m (spread 4e-40) -- delta-blind; the 4-twist Casimir ln|omega(D)| measures delta (-0.890 .. -1.348) but is exactly mirror-symmetric under m <-> 8 - m -- a family gauge, never a side selector; Kramers <Gamma>_tw = +1 for every m. [E] TWO BIT-PRESUPPOSING pi/2 STRUCTURES (the harvest): the eta flip +i -> -i on the mark-fixing axes (sigma o r = -sigma, odd sector exactly negated); the twist frustration of the mark-fixing mirror ((4, 4, 0) indefinite for both eta -- the lattice shadow of the Ising twist field's mirror-oddness) -- both formulable ONLY on the fixing axes existing iff delta = pi/2: they PRESUPPOSE the bit (v512 facet class), no selector. [E] NEGATIVE CONTROLS: the twist-free limit = v519/v521 exactly; the site cut keeps failing in every decorated state; the v512 counterwitness is arc-equivalent at N = 16 to the blind member pi/4 -- no state-level selector can exclude it; a single twist has omega(D) = 0 identically (twists exist only in mark pairs); the deck-paired FOUR-twist decoration is the minimal well-defined one. [O] the door narrows to a genuinely INTERACTING A_hol whose OS data are NOT Pfaffian-reducible to the chiral vacuum -- beyond every Wick-computable class. VERDICT: KILL exactly as preregistered; the alignment bit remains genuine discrete input. Discovery provenance: experiments/tfpt-discovery/seam_alignment_bit_twist_state_probe.py (20/20, 2026-07-23). NO marker moves.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.