TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/source-observation-identifiability-20261013/PROOF.txt
Original file SHA-256: b37b7cc9d0454954938fc348337f4da4d2d5c56f178127ad65d94df887ad672d
Inclusive original lines: 54-55
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.

000054 | Original-source scope correction (2026-10-13)
000055 | The profile-free original Gamma_grav=-6 chi_geo^2 Res_{s=1} Z_rel + FP_{s=0} Z_rel in _archive/tfpt-45/source_extracts/02_carrier_source.tex:1840-1873 is fixed once the full operator/reference/domain/continuation family is fixed. W -> W+lambda Q[g] is a mathematical ambiguity of the larger observation class, not automatically an admissible change of this original source functional. No pair of fully admissible original TFPT sources was established by that argument. The missing original-source derivation concerns the common off-shell geometric family and normalization; no extra lambda term is selected or proposed. See original-source-functional-audit-20261013/PROOF.txt and METRIC_SOURCE_AUDIT.txt.