Target G — the alignment bit and the interacting seam (the first shot that lands)
Red-team audit
Minimal claim. The compiler's residual discrete carrier input is one symmetry-lift bit — flag transitivity of the four marks [formula in source] ( v512) — and the free-seam OS/RP structure that the Woit bridge ( WOIT.OS.TWISTOR.01) builds on survives adversarial attack. The red-team questions are two: can the bit be derived (in which case calling it an input would be a hidden redundancy), and can the OS/RP structure
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_5_redteam/sections/001-section-method.tex · lines 267 to 367
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v512_seam_tau_flag.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 file citation v521_seam_bit_rp_blind.py
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
- explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v525_seam_bit_twist_blind.py
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
- explicit file citation v972_seam_interaction_front.py
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
- 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 v528_seam_bit_twist_class_definition.py
literal source filename/path in TeX
- explicit file citation v534_seam_straddle_cone.py
literal source filename/path in TeX
- explicit script identifier v522_woit_beta1_gso_gauge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v529_seam_interacting_toy_fk.py
literal source filename/path in TeX
- explicit script identifier v972_seam_interaction_front.py
literal short identifier uniquely resolves in local script registry