TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/original_insertions/PROOF.txt
Original file SHA-256: 637007e39986ac8f2ec07a6c2ce96f0d5686171583b226699ea9dfe9ca3bb4fc
Inclusive original lines: 179-188
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.

000179 | 
000180 | There is also an explicit candidate for the geometric product reflection.
000181 | On the old collar r->-r with fiber S preserves D0. For constant Gamma Phi
000182 | the fiber S alone flips that term. If {gamma_F,Phi}=0, the combined fiber
000183 |   R_prod=S tensorgamma_F
000184 | preserves D_Phi together with r reversal. This follows by conjugating both
000185 | normal and tangential symbols and the potential. It is not proof of its
000186 | domain, reference, admissibility or OS positivity. In the original relative
000187 | split an R-odd term can itself be intended, so failure of the bare S symmetry
000188 | is not by itself inadmissibility of that term.