TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE39-FN-DISTANCE-ORIGINAL-REVIEW.txt Original file SHA-256: e7c11617456a0e418394a42e53f9ed35584b421e7153e7cc85bb6d9c46189760 Inclusive original lines: 1-139 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 | 000004 | Independent narrow source review, 30 October 2026. No Atlas or registered 000005 | source was changed. 000006 | 000007 | VERDICT 000008 | ------- 000009 | 000010 | [OMITTED: non-scientific conversation or execution metadata] 000011 | 000012 | L_a proportional to dist(alpha+kappa_a,Z) (1) 000013 | 000014 | fails the first original arithmetic test. With the proposed 000015 | 000016 | alpha=1/4, kappa={0,1/3,2/3}, 000017 | 000018 | the three distances are 000019 | 000020 | x={1,3,5}/12. (2) 000021 | 000022 | Every common positive scaling and offset of (2) is an arithmetic 000023 | progression. None of the three original diagonal rows is one: 000024 | 000025 | sorted L_u={0,3,7}, differences 3,4; 000026 | sorted L_d={2,5,7}, differences 3,2; 000027 | sorted L_e={3,5,8}, differences 2,3. (3) 000028 | 000029 | The mismatch remains if the candidate is read in its two-leg form. The 000030 | original matrix exponent is L^L_(f,i)+L^R_(f,j). If both legs use the same 000031 | three distances (2), with the common collar scale ell and arbitrary 000032 | permutations, the centered diagonal sums can only have one of the forms 000033 | 000034 | (-4,0,4), (-2,0,2), (-4,2,2), (-2,-2,4), (0,0,0) 000035 | 000036 | up to a common positive scale. The centered original triples are 000037 | 000038 | L_u: (-10,-1,11)/3, 000039 | L_d: (-8,1,7)/3, 000040 | L_e: (-7,-1,8)/3, (4) 000041 | 000042 | [OMITTED: non-scientific conversation or execution metadata] 000043 | [OMITTED: non-scientific conversation or execution metadata] 000044 | [OMITTED: non-scientific conversation or execution metadata] 000045 | 000046 | 000047 | 1. WHAT THE ORIGINAL LENGTHS MEAN 000048 | --------------------------------- 000049 | 000050 | The original hard-holonomy formula is 000051 | 000052 | (Y_f)_ij=lambda_Y^(L^L_(f,i)+L^R_(f,j)) 000053 | . (5) 000054 | 000055 | It defines D_L,f and D_R,f as diagonal word-length factors, but the displayed 000056 | source does not give a separate numerical decomposition of the diagonal 000057 | totals into L^L and L^R. What it fixes numerically is 000058 | 000059 | L_u^diag=(7,3,0), 000060 | L_d^diag=(7,5,2), 000061 | L_e^diag=(8,5,3). (6) 000062 | 000063 | These totals come from the sector-dependent residue packets 000064 | 000065 | R_u={0,1,3}, R_d={1,2,5}, R_e={2,3,5}, (7) 000066 | 000067 | plus one complete winding of length six in each first-generation direction. 000068 | The same source explicitly interprets them as graph distances on C6. Thus 000069 | the original already carries channel information that is not contained in a 000070 | single universal distance triple (2). 000071 | 000072 | The missing separate L/R split cannot rescue (1): under the candidate's own 000073 | common x_a and ell assumptions the complete permutation calculation gives 000074 | the obstruction (4). Treating L^L and L^R as independently fitted triples 000075 | would abandon the claimed derivation from alpha and kappa. 000076 | 000077 | 000078 | 2. THE KAPPA VALUES ARE NOT YET THE ORIGINAL CIRCLE CLUTCH 000079 | --------------------------------------------------------- 000080 | 000081 | The actual source fixes three different objects that must not be collapsed: 000082 | 000083 | * the scalar charged CAR quarter alpha=1/4 or 3/4; 000084 | * the order-three coefficient/deck action Pc, whose Fourier eigenvalues are 000085 | 1,omega,omega^2; 000086 | * the v117 quarter coefficient matrix KQ with eigenvalues 1,i,-i. 000087 | 000088 | The local Fuchs exponents 0,1/3,2/3 describe puncture monodromy. They do not 000089 | by themselves prove that the tangential collar operator has spectrum 000090 | 000091 | n+alpha+kappa_a, 000092 | 000093 | or that Pc is its clutch. The existing source review states the correct 000094 | conditional form: a nontrivial family clutch MAY produce such shifts, in 000095 | which case the full covariant cross kernel must be used. No checked original 000096 | identity currently equates the Fuchs exponents with the scalar circle clutch. 000097 | 000098 | Therefore (2) is an assumed diagnostic case, not an already fixed original 000099 | boundary spectrum. Even under that favorable assumption, (3)-(4) reject the 000100 | proposed FN identification. 000101 | 000102 | 000103 | 3. SCOPE 000104 | -------- 000105 | 000106 | The exact mode formula 000107 | 000108 | c_(a,n)=1/[2 cosh ell(n+alpha+kappa_a)] (8) 000109 | 000110 | is valid for a collar operator that actually has the displayed shifted 000111 | spectrum. Its large-ell leading term is exp[-ell dist(alpha+kappa_a,Z)]. 000112 | The full sum over n is not this leading exponential, and the original exact 000113 | FN powers are not derived by a leading-mode approximation. 000114 | 000115 | This review rejects only the identification (1), including its common 000116 | two-leg version. It does not reject the already established cover 000117 | pi:C->X_f, the global sign-line dictionary, the whole B_mu endpoint kernel, 000118 | or a future response using the actual full clutch and all modes. Such a 000119 | response would be a different calculation and must reproduce the 000120 | sector-dependent data (6)-(7), rather than relabel the Frobenius exponents as 000121 | the original word lengths. 000122 | 000123 | 000124 | SOURCES CHECKED 000125 | --------------- 000126 | 000127 | [OMITTED: non-scientific conversation or execution metadata] 000128 | [OMITTED: non-scientific conversation or execution metadata] 000129 | [OMITTED: non-scientific conversation or execution metadata] 000130 | [OMITTED: non-scientific conversation or execution metadata] 000131 | [OMITTED: non-scientific conversation or execution metadata] 000132 | [OMITTED: non-scientific conversation or execution metadata] 000133 | [OMITTED: non-scientific conversation or execution metadata] 000134 | [OMITTED: non-scientific conversation or execution metadata] 000135 | [OMITTED: non-scientific conversation or execution metadata] 000136 | [OMITTED: non-scientific conversation or execution metadata] 000137 | [OMITTED: non-scientific conversation or execution metadata] 000138 | [OMITTED: non-scientific conversation or execution metadata] 000139 |