=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 changelog · TFPT — Introduction and reading guide
Papers. tfpt_5_redteam (Target G [formula in source] method/outcome/title honesty pass); tfpt_1, tfpt_2 and origin_theory (bit-reduction statements [formula in source] ten tests [formula in source] twist-class definition); origin_theory (thermal-seam keybox, horizon chapter); tfpt_horizon_readouts (head keybox third leg); tfpt_3 (title [formula in source] keybox: thirty-step story, measure chain derived); tfpt_resear
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/003-source.tex · lines 209 to 230
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v526_seam_thermal_kms_nariai_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v519_woit_theta_rp_free.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
- explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
- explicit file citation README.md
literal source filename/path in TeX
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v529_seam_interacting_toy_fk.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
- 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 script identifier v523_celestial_wp5e_wm_derived.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v525_seam_bit_twist_blind.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v520_celestial_wp5e_measure_decision.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v528_seam_bit_twist_class_definition.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
- explicit script identifier v58_seam_horizon_chain.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v208_bh_thermodynamics.py
literal short identifier uniquely resolves in local script registry