2026-07-13 ( v476 — the AP2 compression conjecture of the entropic-action bridge made well-posed on an exactly solvable model: the literal operator-side reading is ill-posed on a pure bulk, the state-side reading is forced, the mismatch is exactly quadratic in the cross-cut correlations and gap-suppressed; AP2 stays , no status moves)
Research changelog · TFPT — Introduction and reading guide
v476_entropic_compression_toy.py ( GRAV.ENTROPIC.COMPRESS.01). The last open work package of the v473 round, exercised on a gapped staggered-mass chain ( [formula in source] ). The seam situation is reproduced (pure bulk: the ground-state covariance is a projection to [formula in source] ; thermal boundary: [formula in source] , Peschel [formula in source] finite, [formula in source] — v155 in the bridge context). Th
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/009-source.tex · lines 239 to 262
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
- 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 SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v476_entropic_compression_toy.py
literal source filename/path in TeX
- explicit script identifier v476_entropic_compression_toy.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 v337_decoupling_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts.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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v473_entropic_action_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry