TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C57-CAP-TRANSFER-INDEPENDENT-REVIEW.txt Original file SHA-256: 1dd982d1c740bfde0019ad39cf4ae656d7394b238fdadb93627c0364c8eae81e Inclusive original lines: 1-158 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 | C57 CAP TRANSFER: OS UNIT, CAP INSERTION AND THE REAL WEAK CONNECTION 000002 | Independent targeted review, 30 October 2026. 000003 | Verdict: FIRST_IDENTIFICATION_FALSE; GENERAL_CAP_REQUIRES_STATE_AND_SIGNED_COMPRESSION. 000004 | No Atlas, original or existing report edit. 000005 | 000006 | 1. The OS unit cannot produce the nontrivial cap determinant 000007 | The original OS construction defines 000008 | 000009 | (F,G)_OS=_rel, 000010 | T_ell[F]=[tau_ell F]. 000011 | 000012 | The algebra unit is translation invariant: tau_ell 1=1. Therefore 000013 | 000014 | T_ell[1]=[1], 000015 | ([1],T_ell[1])_OS=||[1]||_OS^2=omega_rel(1). (1) 000016 | 000017 | For a normalized source, equation(1) is1. If an unnormalized convention is 000018 | kept, it is the fixed vacuum norm. Within ONE fixed reconstructed OS theory it 000019 | is independent of the semigroup time ell. This is the positive OS unit check, 000020 | not a nontrivial transfer amplitude. 000021 | 000022 | This statement must not be extended across a family in which ell changes the 000023 | collar geometry, the functional omega_ell, the admissible projection or the 000024 | theory itself. In such a family ||[1]||_ell may carry an ell-dependent 000025 | unnormalized scalar. A separately supplied identification could then make that 000026 | scalar equal to a cap factor pointwise. The unit calculation neither forbids 000027 | such an extra source identity nor proves it. It blocks C57's inference of the 000028 | cap determinant from translation of the unit inside the SAME OS semigroup. 000029 | 000030 | The fixed-cap determinant is different. FIXED-CAP-STATE.txt proves 000031 | 000032 | det_F C=, (2) 000033 | 000034 | where Omega0 is the old sea vector represented in the coupled-sea Fock space. 000035 | For nonzero coupling and finite ell it is not stationary under H_exc. Hence it 000036 | cannot be the OS vacuum vector [1], which is fixed by the reconstructed 000037 | semigroup. Equating 000038 | 000039 | Z_rel[0]=([1],T_ell[1])_OS=det_F C 000040 | 000041 | therefore fails at its first identification. It also contradicts the explicit 000042 | ell dependence of det_F C unless the cap is trivial. 000043 | 000044 | The correct OS-shaped insertion is a cap vector [F_cap] representing Omega0: 000045 | 000046 | ([F_cap],T_ell[F_cap])_OS 000047 | =. (3) 000048 | 000049 | Equivalently, if U_0h is the already implementable sea-rotation operator with 000050 | Omega0=U_0h Omega_h, then the right-hand side is 000051 | 000052 | . 000053 | 000054 | This is an inserted relative boundary amplitude. It is not the empty OS word 000055 | and does not determine the absolute original partition scalar, determinant-line 000056 | phase, reference subtraction or Z_adm. This is exactly the distinction retained 000057 | in FIXED-CAP-DETERMINANT.txt and FIXED-CAP-STATE.txt. 000058 | 000059 | 2. General finite-dimensional cap formula 000060 | Let h=h* be the coupled one-particle operator, Ph=1_(-infinity,0)(h), and P0 000061 | the fixed old occupied projection. On a finite mode block let Omega_P0 be its 000062 | old Slater vector and set 000063 | 000064 | E0=Tr(h Ph), 000065 | H_exc=dGamma(h)-E0. 000066 | 000067 | Then exterior functoriality gives the exact cap amplitude 000068 | 000069 | Z_cap(P0,h;ell) 000070 | = 000071 | =exp(ell Tr(h Ph)) 000072 | det_RanP0(P0 exp(-ell h) P0). (4) 000073 | 000074 | The whole-circle version is the Fredholm/determinant-line limit already proved 000075 | for the stated fixed-cap source. Formula(4) displays both indispensable data: 000076 | the signed coupled operator h and the fixed occupied subspace P0. It is not a 000077 | class function of the eigenvalues of h^2 alone. 000078 | 000079 | For the earlier constant scalar-quarter class, 000080 | 000081 | h0=p gamma, h=h0-i gamma Phi, {h0,h-h0}=0, 000082 | 000083 | one has h^2=E^2 and the singular blocks canonically identify old and moving 000084 | occupied spaces. Formula(4) then reduces to the previously proved mode factor 000085 | 000086 | C_p=exp(-ell E) P0 exp(-ell h)P0 000087 | =(I+|p|E^-1)/2 000088 | +(I-|p|E^-1)exp(-2ell E)/2. (5) 000089 | 000090 | Equation(5) is a special anticommuting reduction of (4), not the general cap 000091 | rule. 000092 | 000093 | 3. Why the real weak connection does not obey the old reduction 000094 | For the actual weak source reviewed in 000095 | ACTUAL-WEAK-CONNECTION-AND-JOINT-SOURCE.txt, 000096 | 000097 | h(t)=(pI+tQ)gamma-i gamma D_F, 000098 | Q*=Q, [Q,gamma]=0. 000099 | 000100 | Relative to h0=p gamma, the weak term does not anticommute: 000101 | 000102 | {p gamma,tQ gamma}=2ptQ. (6) 000103 | 000104 | Consequently 000105 | 000106 | h(t)^2=(pI+tQ)^2+D_F^2-it[Q,D_F], 000107 | 000108 | and neither the compression P0 exp(-ell h(t))P0 nor its determinant is fixed by 000109 | the unmarked spectrum of h(t)^2. The exact exponential contains the signed term 000110 | 000111 | exp(-ell h)=cosh(ell |h|)-h |h|^-1 sinh(ell |h|), (7) 000112 | 000113 | with the continuous value on ker h. Compression by P0 retains the second term. 000114 | Replacing (7) by a spectral function of h^2 deletes precisely the old/moving 000115 | cap orientation. 000116 | 000117 | The smallest counterexample uses no new source construction. Take one existing 000118 | two-dimensional cap block, P0=P_-(sigma_z), and compare 000119 | 000120 | h1=E sigma_z, h2=E sigma_x, E>0. 000121 | 000122 | Both have h_i^2=E^2 I and therefore identical h^2 spectra. Formula(4) gives 000123 | 000124 | Z_cap(P0,h1;ell)=1, 000125 | Z_cap(P0,h2;ell)=exp(-ell E)cosh(ell E) 000126 | =(1+exp(-2ell E))/2. (8) 000127 | 000128 | Thus even the complete h^2 operator is insufficient without P0 and the signed 000129 | compression. This two-dimensional pair is a general cap-algebra counterexample 000130 | to the proposed h^2-only inference. It is not asserted to be two complete 000131 | original v252 profiles with every source datum held fixed. The actual weak 000132 | connection is more structured; equation(6) proves only that its old 000133 | anticommuting shortcut is unavailable. Its original cap value must be evaluated 000134 | from formula(4) with the actual P0 and h(t). 000135 | 000136 | 4. Correct retained conclusion 000137 | The new weak-source moment calculation proves that the labelled source h(t), 000138 | its logit and its cross-face block retain relative family orientation at fixed 000139 | p=1/4. This positive result remains intact. To propagate it into the fixed cap, 000140 | use formula(4) with the actual P0 and h(t), or equivalently the inserted vector 000141 | formula(3). One may obtain a compressed operator function involving h^2 and P0, 000142 | but no uncompressed h^2 spectral class function replaces the cap insertion. 000143 | 000144 | No equality to the original absolute Z_rel[0] follows from the reviewed OS unit 000145 | or cap algebra. This is not a universal no-go against an original whole-source 000146 | identity. Establishing one would additionally require the actual family 000147 | identification, normalization, reference, eta/Pfaffian and field-to-operator 000148 | caller. The fixed-cap determinant is already an exact finite relative boundary 000149 | correction and should retain precisely that scope. 000150 | 000151 | [OMITTED: non-scientific conversation or execution metadata] 000152 | [OMITTED: non-scientific conversation or execution metadata] 000153 | [OMITTED: non-scientific conversation or execution metadata] 000154 | [OMITTED: non-scientific conversation or execution metadata] 000155 | [OMITTED: non-scientific conversation or execution metadata] 000156 | [OMITTED: non-scientific conversation or execution metadata] 000157 | [OMITTED: non-scientific conversation or execution metadata] 000158 | [OMITTED: non-scientific conversation or execution metadata]