=150 2026-07-22 (XI) ( v521 — the RP/ [formula in source] attack on the alignment bit DECIDED and promoted as the ledger row SEAM.BIT.RPBLIND.01: ``free OS positivity does NOT see [formula in source] '' — an honest, decided NEGATIVE result in the v508 style (the celestial/twistor story in tfpt_3 gains Step 22): does free reflection positivity ( v519) or anti-linear [formula in source] existence break for [formula in source] on the deformed mark family [formula in source] — which would DERIVE the v512 alignment bit from OS positivity? NO — (1) the CENSUS \ (exact solvesets, symbolic [formula in source] ): for EVERY [formula in source] exactly the two mark-SWAPPING reflections [formula in source] exist (axes [formula in source] , [formula in source] ; all [formula in source] cut/mark incidence solvesets EMPTY); mark-FIXING reflections exist exactly at [formula in source] (solveset [formula in source] , lost immediately at [formula in source] ); the v510/ v512 counterwitness [formula in source] carries the swap pair exactly; (2) RP IS [formula in source] -BLIND : bond-cut Gram inertias [formula in source] PD for all tested [formula in source] with the full sorted spectra IDENTICAL to [formula in source] digits (deviation [formula in source] ) — the ENTIRE free-RP spectral datum carries ZERO [formula in source] information; the [formula in source] odd- [formula in source] failure (site axes, [formula in source] , [formula in source] ) is a lattice-PLACEMENT artifact: at [formula in source] ALL [formula in source] have mark-compatible BOND axes with PD inertia [formula in source] ; continuum: the OS kernel in axis-adapted coordinates is EXACTLY [formula in source] — the axis position drops out identically (Cauchy–Stieltjes PD); the counterwitness PASSES free RP ( [formula in source] -point Gram [formula in source] ); (3) [formula in source] EXISTENCE IS [formula in source] -BLIND : [formula in source] , deck normalisation and Fock implementability ( [formula in source] , exact [formula in source] ) for every [formula in source] ; the ONLY [formula in source] -sensitive v519 clause ( [formula in source] ) is for [formula in source] not violated but NOT FORMULABLE (a mark-compatible order- [formula in source] rotation exists iff [formula in source] ) — it PRESUPPOSES the bit; same for the clock-tower clause; (4) the battery HAS TEETH at every [formula in source] : family A/antipode fails RP structurally (zero diagonal, [formula in source] ), the chirality– [formula in source] pinning persists ( [formula in source] ND) — RP separates the two real-structure FAMILIES, never the SIDES; (5) precondition controls: hexagonal (marks not concyclic — no seam circle), silver (deck not free), lifting audit (B [formula in source] index relabelling, [formula in source] -blind by construction; B' fails the [formula in source] negative control — discarded); \ FACE \#13 of the v512 equivalence web: the group generated by the admissible OS reflections is [formula in source] for every [formula in source] and closes to [formula in source] exactly at [formula in source] ( [formula in source] the clock) — [formula in source] faces, a typed REFORMULATION of the bit, not a derivation; \ the honest gap: marks decorating the STATE (defect/twist insertions, interacting [formula in source] ) [formula in source] exactly v519's \ scope; VERDICT: KILL exactly as preregistered — the free RP/ [formula in source] battery is the EIGHTH side-blind test on the v512 scoreboard ( [formula in source] ); the alignment bit is NOT derivable from OS positivity and remains genuine discrete input; NO marker moves — the bit stays the one \ carrier input)
Research changelog · TFPT — Introduction and reading guide
v521_seam_bit_rp_blind.py ( SEAM.BIT.RPBLIND.01, 25 checks, [formula in source] 25 s; exact sympy solvesets [formula in source] exact Gram entries [formula in source] exact [formula in source] Fractions; inertia via [formula in source] -digit spectra, tolerance [formula in source] ; deterministic). S the anti-linear census (family D/A, counterwitness, face \#13 closure, cut incidence, side conditions); L the lattice
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/004-source.tex · lines 1 to 31
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit file citation next.txt
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v510_seam_bit_freedom.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation script_registry.csv
literal source filename/path in TeX
- explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit file citation v521_seam_bit_rp_blind.py
literal source filename/path in TeX
- explicit script identifier v508_celestial_wp5e_gamma_pairing.py
literal short identifier uniquely resolves in local script registry