TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-gravity-source-bridge-20261013/PROOF.txt
Original file SHA-256: 9e9af4e0effd2ed218ca210eaac9edbd83656094ee4f00c5b7d392c7d6b87a5c
Inclusive original lines: 145-156
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000145 | identities. It records raw subprocess exits for v73, v358, and v323, source
000146 | hashes, assignment anchors, numerical residuals, and symbolic outputs. Green
000147 | subprocesses are replays of those verifiers, not new evidence for their physical
000148 | premises. No full suite was run. The theory graph and primer were regenerated
000149 | after this analytic section was added, then checked for freshness; the checker
000150 | remains experiment-only.
000151 | 
000152 | Next theorem needed for the bridge: construct the actual metric-dependent raw
000153 | functional and prove that its conical derivative equals the microscopic horizon
000154 | relative entropy for the intended local region, with the same state, algebra,
000155 | normalization, and regulator. Then derive the local geometric modular action
000156 | and fix the metric-response/area coefficient from the original TFPT principles.