TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE25-CLUTCH-REAL-TYPE-REVIEW.txt
Original file SHA-256: 7cc827c6925676e8570d5279b33897050dc24efdce8bfa16dea3e3197ec19314
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 | [OMITTED: non-scientific conversation or execution metadata]
000002 | [OMITTED: non-scientific conversation or execution metadata]
000003 | [OMITTED: non-scientific conversation or execution metadata]
000004 | 
000005 | [OMITTED: non-scientific conversation or execution metadata]
000006 | [OMITTED: non-scientific conversation or execution metadata]
000007 | [OMITTED: non-scientific conversation or execution metadata]
000008 | [OMITTED: non-scientific conversation or execution metadata]
000009 | 
000010 | 1. Original orientation and the whole coupled source
000011 | fullv21 introduction:225-247 fixes a seam winding, but the four named
000012 | boundary pieces do not supply the F5 face assignment. The positive scalar
000013 | kernel for h=-A, the negative index/cokernel for h=A, and their orientation
000014 | change are correct GIVEN the convention and that assignment. SF=+1 alone
000015 | does not prove which F5 face represents Gamma_+ or Gamma_-.
000016 | The complete NS/quarter dictionary and primitive u_cov are ALREADY solved
000017 | in BOUNDARY-SOURCE.txt:114-194. They are retained, not newly derived here.
000018 | 
000019 | [OMITTED: non-scientific conversation or execution metadata]
000020 | [OMITTED: non-scientific conversation or execution metadata]
000021 | [OMITTED: non-scientific conversation or execution metadata]
000022 | [OMITTED: non-scientific conversation or execution metadata]
000023 | [OMITTED: non-scientific conversation or execution metadata]
000024 | 
000025 | 2. The decisive complex-type distinction
000026 | FINITE-COUPLED.txt:19-56 and NORMAL-KINETIC-PAIRING.txt:13-30,60-75 give
000027 |   Ical=i_old Gamma_tot, C0=i_old N,
000028 |   T(v,bar(w))=Ev+C0Ew,
000029 |   T^-1 B T=h directsum(-bar(h)).
000030 | C0 is OLD-complex-linear and NEW-complex-antilinear. It exchanges the two
000031 | summands; it is not an already defined antiunitary INSIDE the charged96 h.
000032 | Thus C0 h C0=-h is not a typed statement about the charged h alone.
000033 | 
000034 | [OMITTED: non-scientific conversation or execution metadata]
000035 | [OMITTED: non-scientific conversation or execution metadata]
000036 | [OMITTED: non-scientific conversation or execution metadata]
000037 | [OMITTED: non-scientific conversation or execution metadata]
000038 | [OMITTED: non-scientific conversation or execution metadata]
000039 | [OMITTED: non-scientific conversation or execution metadata]
000040 | [OMITTED: non-scientific conversation or execution metadata]
000041 | [OMITTED: non-scientific conversation or execution metadata]
000042 | 
000043 | 3. Closed kinetic domain and oriented faces, explicitly
000044 | In the bulk T chart use v(ell)=Uv(0) and w(ell)=Uw(0). Then
000045 | the charged cross boundary pairing vanishes by U*U=I, and the actual
000046 | bulk C0 exchanges v and w. It preserves this domain, as required for
000047 |   C0 Dom(L)=Dom(L*), C0 L C0=-L*, L=partial_r+B.
000048 | This is the domain statement of NORMAL-KINETIC-PAIRING.txt:37-58,60-81;
000049 | it is not a declaration that C0 preserves the Cauchy-solution graph.
000050 | 
000051 | In the ORIGINAL oriented T_faces chart its precise equivalent is
000052 |   v1=Uv0, w1=-Uw0,
000053 | since T_faces=(Ev0+C0Ew0,Ev1-C0Ew1).
000054 | Bulk C0 acts there as
000055 |   (v0,v1,w0,w1) -> (w0,-w1,v0,-v1)
000056 | and preserves both displayed clutch equations.
000057 | The boundary CAR adjoint C_faces=diag(C0,-C0) is a different operation:
000058 | it exchanges the charged and conjugate slots without those extra face signs.
000059 | It maps this unitary clutch subspace to its orthogonal complement, as it
000060 | also maps the source Cauchy graph projector G to I-G. These are compatible
000061 | Green/adjoint facts, not contradictory choices of C0.
000062 | 
000063 | 4. The ACTUAL product reflection transports U to U^-1
000064 | Read original_insertions/PROOF.txt:180-188;
000065 | EVEN-REFLECTION-POSITIVITY.txt:18-46;
000066 | GRADED-HS-REFLECTION-AND-TIME.txt:101-136.
000067 | The actual product fiber F=S tensor gamma is OLD-complex-linear, hence
000068 | commutes with the actual old-scalar U, even though it is new-antiunitary.
000069 | R_geo=face_swap tensor F preserves the complete OPEN Cauchy graph and
000070 | its already proved even reflection form. On the oriented four slots it is
000071 |   (v0,v1,w0,w1) -> (-i_old w1,i_old w0,-i_old v1,i_old v0).
000072 | Substitution of v1=Uv0,w1=-Uw0 gives exactly
000073 |   v1'=U^-1 v0', w1'=-U^-1 w0'.
000074 | Thus R_geo carries the clutch family U to U^-1. Antilinearity does not
000075 | automatically cancel this inversion. A theta reversal would additionally
000076 | pull back U to U^-1, but it is not the stated theta-fixed product reflection.
000077 | An actual original domain identification may relate these oppositely
000078 | oriented seam realizations. The OPEN-source RP result remains intact.
000079 | 
000080 | 5. The time claim has only the following demonstrated scope
000081 | For the scalar free block, y(phi)_n=exp(i phi n)y_n is a chosen normalized
000082 | global periodic frame of its moving cokernel line. Relative to that frame,
000083 | exp(itA)y=exp(it alpha)y(t) is correct. Without a specified connection it
000084 | does not define a canonical Berry or OS holonomy, nor a native Clock map.
000085 | For the whole ACTUAL h, [h,U]=U gamma and [h,gamma]=2i Phi. Therefore
000086 |   U_t=exp(it h)U exp(-it h)
000087 | is the relevant given time covariance. With nonzero Phi its family need
000088 | not close at t=2pi: energies sqrt(p_n^2+mu^2) need not have integral spacing.
000089 | The proven assertion is that this given time does not preserve fixed U.
000090 | A universal exclusion of EVERY graph-preserving time is not established.
000091 | 
000092 | [OMITTED: non-scientific conversation or execution metadata]
000093 | [OMITTED: non-scientific conversation or execution metadata]
000094 | [OMITTED: non-scientific conversation or execution metadata]
000095 | [OMITTED: non-scientific conversation or execution metadata]
000096 | [OMITTED: non-scientific conversation or execution metadata]
000097 | [OMITTED: non-scientific conversation or execution metadata]
000098 | [OMITTED: non-scientific conversation or execution metadata]
000099 | [OMITTED: non-scientific conversation or execution metadata]
000100 | [OMITTED: non-scientific conversation or execution metadata]