TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/REVIEW-REFLECTION.txt
Original file SHA-256: eaf0ba06f3d7e5a6dc27e8bf6a0b9a446e888f31b9a39b022b308a3401b1756e
Inclusive original lines: 1-19
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.

000001 | Independent analytical review by root, 29 October 2026.
000002 | 
000003 | EVEN-REFLECTION-POSITIVITY.txt was read in full. The actual product factor
000004 | F=S tensor gamma_F satisfies F B F=-B and Ical F=-C0. With the retained
000005 | orientation, Ff=Ical f on Fix(C0), so the cross contraction is -i M.
000006 | The Wick recursion subtracts the actual within-face contractions and is
000007 | triangular on the full Clifford word basis. Its cross-only determinant
000008 | has the displayed sign. For every even degree this sign times (-i)^n is
000009 | exactly +1. The exterior-power Gram blocks are positive, and bounded CAR
000010 | norm closure is legitimate. The odd countercase and fixed parity twist
000011 | are correct. This supplies the missing all-word sign proof without a
000012 | numerical window. Jaffe/Janssens was checked in the author full text.
000013 | 
000014 | The reflection here is explicitly antilinear and MULTIPLICATIVE. An
000015 | antimultiplicative ordinary CAR rule is a different assertion and need not
000016 | be positive even on even words. The original product-reflection matrix is
000017 | preserved, but selecting this source as the physical P1 insertion algebra
000018 | is not proved by its CAR automorphism alone. Normal-dependent backgrounds,
000019 | unbounded point fields, and physical time require their stated extra work.