TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DECK-REFERENCE-AND-ACTION.txt
Original file SHA-256: d392cfc2c0b3b50d39a041c6c1ee8bd3a1e173f80e767f35e05ba82344eaf0f1
Inclusive original lines: 1-100
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 | DECK REFERENCE, ORIGINAL RELATIVE OPERATOR AND THE ACTION TRACE
000002 | Independent exact source review, 29 October 2026
000003 | 
000004 | VERDICT
000005 | 
000006 | The proposed massless reference is an EXACT CONDITIONAL identity for the
000007 | specific full deck action S times normal reflection, with the stated even
000008 | background transport. It does not follow from the fiber matrix S alone,
000009 | and the old free-collar counterexample is not a source-selection theorem
000010 | for the coupled physical deck operator. With the different already given
000011 | product-reflection fiber S tensor gamma_F, the same normal reflection instead
000012 | preserves the whole constant coupled Dirac expression.
000013 | 
000014 | If that conditional massless-reference identification is used literally in
000015 | the primitive full-Hilbert trace, an allowed heat profile already fails at
000016 | Phi=0: f(D_rel)=I and I-f(D_ref) is not compact. This is a small decisive
000017 | failure of that combined identification/trace prescription. It does NOT
000018 | force a unique replacement of the original action by another formula.
000019 | 
000020 | 1. ACTUAL SOURCES READ, NOT JUST THE DISPLAYED CLAIM
000021 | 
000022 | [OMITTED: non-scientific conversation or execution metadata]
000023 | [OMITTED: non-scientific conversation or execution metadata]
000024 | [OMITTED: non-scientific conversation or execution metadata]
000025 | 
000026 | Original displayed even/odd split:
000027 |   paper-source:8027564739689dd02e02f11c:109-170,
000028 |   documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/
000029 |   sections/001-section-primitive-core-and-carrier-interface-handoff.tex.
000030 | Actual lines were reread through hash-validated Atlas read_source. They define
000031 |   D_ref=(D+tau^* D tau^*)/2, D_rel=(D-tau^* D tau^*)/2,
000032 | for the actual doubled datum and its induced involution, not a freely chosen
000033 | fiber swap. Their subsequent asserted universal identification of geometric
000034 | deck with Calderon polarization has the already documented scoped counterexample.
000035 | 
000036 | Old local free deck calculation:
000037 |   finding:geometric-deck-not-calderon-polarization,
000038 |   research-source:7af7894ef3e81fd54f22b386:21-61,
000039 |   experiments/theory-contracts/seam-full-collar-reconstruction-20261015/PROOF.txt.
000040 | The original passage explicitly uses psi(r)->S psi(-r), not S alone. Its
000041 | compact double fixes each of the two boundary components. The separate
000042 | within-cylinder product reflection exchanges the two faces. These maps
000043 | are distinguished explicitly in the actual old text.
000044 | 
000045 | Current coupled coefficient:
000046 |   parentcontract/graded_boundary_functor/FINITE-COUPLED.txt:1-87,
000047 |   EVEN-REFLECTION-POSITIVITY.txt:18-35,
000048 |   charge_transport/DERIVED-PAIRING.txt:17-81.
000049 | These retain actual Phi, gamma_F, J_F, support and complex types.
000050 | 
000051 | Actual trace/action statements:
000052 |   the same original source001:175-242,302-316,350-379;
000053 |   source002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex:103-145.
000054 | The later operational Seed contains its algebra, time, reflection and state;
000055 | no new vacuum/state selection is inferred from an APS operator-domain theorem.
000056 | The old allowed Bernstein profile and its finite moments were already checked
000057 | in paper-source:e52f90f8904893bb361eeba3:300-375. The newer source says any
000058 | DECLARED profile and treats Bernstein realization as an analytic choice.
000059 | 
000060 | 2. FULL NORMAL REFLECTION: EXACT CONDITIONAL REF/REL
000061 | 
000062 | Use the SAME existing matrices and operator
000063 |   N=[[0,-1],[1,0]], Z=diag(1,-1), S=NZ,
000064 |   B_Phi=ZA-S tensor Phi, D_Phi=N(partial_r+B_Phi).
000065 | Normal matrices commute with the internal coefficient. N S=-Z, so
000066 |   D_Phi=D0+Z tensor Phi, D0=N(partial_r+ZA).
000067 | 
000068 | Let R_r pull back r to-r, and assume it preserves the tangential A after
000069 | the actual bundle/domain transport. Write Phi_tau(r,theta)=Phi(-r,theta).
000070 | For tau_S=S R_r, use
000071 |   S N S=-N, S Z S=-Z, R_r partial_r R_r=-partial_r.
000072 | Then exactly
000073 |   tau_S D_Phi tau_S^-1=D0-Z tensor Phi_tau,
000074 |   D_ref=D0+(Z/2) tensor(Phi-Phi_tau),
000075 |   D_rel=(Z/2) tensor(Phi+Phi_tau).                       (1)
000076 | 
000077 | For a constant or otherwise reflection-even Phi, (1) does give
000078 |   D_ref=D0, D_rel=Z tensor Phi=-N S tensor Phi.
000079 | Likewise a reflection-even variation at fixed tau and fixed A has V_ref=0.
000080 | This is a useful positive conditional identity. No change to the tangent
000081 | quarter alpha occurs in this local formula, because r reflection leaves A.
000082 | 
000083 | The omitted base reflection is crucial. For S acting ALONE,
000084 |   S D_Phi S=-N partial_r+NZA-Z tensor Phi,
000085 |   D_ref=NZA, D_rel=N partial_r+Z tensor Phi.              (2)
000086 | Already at Phi=0, (2) is not the claimed massless full Dirac reference.
000087 | Thus a calculation only on a Fourier coefficient B or an internal matrix
000088 | cannot certify the full D_ref statement including its normal derivative.
000089 | 
000090 | 3. THE OTHER GIVEN REFLECTION IS NOT THE SAME DECK ACTION
000091 | 
000092 | The actual coupled graded product-reflection fiber is F=S tensor gamma_F.
000093 | Because gamma_F Phi gamma_F=-Phi,
000094 |   F B_Phi F=-B_Phi.
000095 | Combining this F with a normal reflection in the constant product collar
000096 | therefore gives
000097 |   tau_F D_Phi tau_F^-1=D_Phi,
000098 | and hence D_rel=0, D_ref=D_Phi for that DIFFERENT involution. Its existing
000099 | two-face version includes the actual face exchange. This does not declare
000100 | it to be the primitive geometric deck; it proves why that identification