2026-06-21 (adversarial-review follow-ups: a structural anti-numerology firewall, an out-of-sample seed cross-validation, an operational data watchdog, and the Target-A holomorphy kill test: v305– v307)
Research changelog · TFPT — Introduction and reading guide
v305_witness_independence.py ( WITNESS.ECON.01, ). The structural anti-numerology firewall complementing the v100 phenomenological null test, against the sharpest self-deception worry (``the same integer counted many times as if independent''). Every headline integer ( [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/017-source.tex · lines 56 to 91
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
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
- explicit script identifier v237_seam_sre_closure.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamScalingLimit.lean
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
- explicit file citation v307_data_watchdog.py
literal source filename/path in TeX
- explicit script identifier v307_data_watchdog.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v305_witness_independence.py
literal source filename/path in TeX
- 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 v143_graded_frobenius.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v306_seed_crossval.py
literal source filename/path in TeX
- explicit file citation freeze_file.csv
literal source filename/path in TeX
- explicit script identifier v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v301_route_a_invertible.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 v100_numerology_null_mc.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred