TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE30-FLAT-FRAME-K-FIRST-REVIEW.txt Original file SHA-256: 268fc3484cd00d5bc6093c4bac8af3b7412c491b0643c7d71a8d7cad01c339ef Inclusive original lines: 1-165 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 | VERDICT 000011 | The original coefficient connection really is flat-trivial on the interior 000012 | disk and on a chosen exterior annulus branch. There is no general K/E8 000013 | obstruction to expressing it in an adapted flat SU3 frame. However, 000014 | H-orthonormality between DIFFERENT metric presentations does not make 000015 | the matrix a compact SU3 automorphism of an unchanged K fiber. The 000016 | candidate's automatic E8-product and radial-derivative assertions do not 000017 | follow from its stated matrix argument. 000018 | 000019 | Transporting the actual metric, volume, principal bundle, all associated 000020 | representations, connection, marks and source coefficients is legitimate 000021 | coordinate transport. It remains a presentation map of those supplied 000022 | data; it does not by itself construct the original P1 local source image. 000023 | 000024 | 1. THE POSITIVE GLOBAL-ON-A-CIRCLE TRIVIALIZATION CLAIM 000025 | 000026 | Retain the actual algebraic solution Psi'=A Psi, Psi(0)=I, 000027 | det Psi=delta(z)=1-z^4, and G=Psi Gbase from 000028 | ORIGINAL-FUCHS-ALGEBRAIC-FRAME.txt. For |z|<1, A is holomorphic and 000029 | Psi is unique, single valued and invertible. For |z|>1, its infinity 000030 | exponents are integral and the old resonance calculation has no log, 000031 | so a chosen exterior continuation is also single valued on an exterior 000032 | annulus. This does not choose a unique continuation PATH from0 through 000033 | the four-puncture region to that annulus. At infinity the displayed row 000034 | frame is meromorphic, not a bounded ordinary frame. 000035 | 000036 | Thus on each fixed circle |z|=rho not equal1 a global flat trivialization 000037 | exists. It supplies more than pointwise monodromy data. This positive 000038 | result is retained. None of it identifies a radius, normal direction or 000039 | physical source boundary simply by the inequality rho not equal1. 000040 | 000041 | 2. WHICH UNITARITY IS ACTUALLY PROVED 000042 | 000043 | The positive flat metric in row coordinates is 000044 | 000045 | H(z)=G(z)^-dagger G(z)^-1. 000046 | 000047 | It obeys G^dagger H G=I. The normalized fundamental matrix instead obeys 000048 | 000049 | Psi(z)^dagger H(z) Psi(z)=Hbase, 000050 | Hbase=Gbase^-dagger Gbase^-1. 000051 | 000052 | Thus Psi is an isometry from the fixed BASE metric to the variable row 000053 | metric, not an H(z)-unitary endomorphism of the same metric fiber. 000054 | Setting C=Hbase^-1/2 gives an H-orthonormal flat frame F=Psi C, but 000055 | 000056 | det F=det(C)(1-z^4). 000057 | 000058 | Any other flat orthonormal frame differs by a constant unitary, so it 000059 | has the same nonconstant determinant modulus up to a constant. On a 000060 | circle of any rho>0 the factor |1-rho^4 exp(4i theta)| varies with theta. 000061 | It is not the determinant of an ordinary SU3-valued matrix in the retained 000062 | row coordinates. In particular det Psi(1/2)=15/16, not a unit modulus1. 000063 | 000064 | Trivial determinant MONODROMY is not zero trace in these coordinates: 000065 | 000066 | tr A=4z^3/(z^4-1)=d(log(1-z^4))/dz, 000067 | 000068 | which is nonzero. Its loop integral is an integer multiple of2pi i, 000069 | giving determinant holonomy1 without making the displayed frame SU3. 000070 | 000071 | 3. THE CORRECT SU3/PRINCIPAL-BUNDLE INTERPRETATION IS AVAILABLE 000072 | 000073 | Let nu_row be the fixed row-coordinate volume covector. Then 000074 | 000075 | nu=(det G)^-1 nu_row 000076 | 000077 | is a global parallel unit-norm volume covector for H on the punctured 000078 | source, because the actual A4 monodromy has determinant1. G is both 000079 | H-orthonormal and has nu(G1,G2,G3)=1. Therefore H AND nu define a 000080 | parallel SU3 reduction; G is its adapted flat frame. This is a valid 000081 | SU3 bundle isomorphism to a fixed flat model when these structures are 000082 | carried along. It is not an ordinary SU3 matrix automorphism relative 000083 | to the unchanged row metric and unchanged row volume. 000084 | 000085 | The distinction has a minimal invariant test: extending Psi by the identity 000086 | on a fourth line gives det diag(Psi,1)=1-z^4, so the FIXED SU4 epsilon 000087 | form is multiplied by this factor. It cannot preserve all fixed K/E8 000088 | products by the asserted SU4 action on an unchanged fiber. Transporting 000089 | the volume/form and its associated products resolves that coordinate 000090 | issue; so can a correctly constructed principal-bundle frame change. 000091 | It must be specified rather than inferred from rank3 isometry alone. 000092 | 000093 | A local scalar normalization delta^-1/3 Psi has determinant1, but then 000094 | its derivative satisfies the shifted equation 000095 | 000096 | (delta^-1/3 Psi)'=(A-(delta'/3delta)I)(delta^-1/3 Psi). 000097 | 000098 | It is not the same displayed original ODE with the trace silently erased. 000099 | On an exterior circle delta has winding4, so this PARTICULAR scalar cube 000100 | root is not single valued. That is not a universal obstruction: the 000101 | parallel volume above, or a nonscalar legitimate frame change transporting 000102 | all structures, already gives the SU3 description without that shortcut. 000103 | 000104 | This review thus permits the positive adapted-frame interpretation and 000105 | rejects only its use as an automatic fixed-K/source action. Original 000106 | determinant powers, clock sections, Phi and all associated E8 maps must 000107 | be transported or individually checked in any proposed identification. 000108 | 000109 | 4. THE RADIAL NORMALIZATION/CONNECTION TERM DOES NOT VANISH 000110 | 000111 | For the holomorphic original frame, z=rho exp(i theta), 000112 | 000113 | partial_rho Psi=exp(i theta) A(z) Psi, 000114 | partial_rho log det Psi 000115 | =-4rho^3 exp(4i theta)/(1-rho^4 exp(4i theta)). 000116 | 000117 | At theta0,rho=1/2 the latter is exactly -8/15, not zero. The constant 000118 | orthonormalization C does not remove this derivative. The norm's radial 000119 | variation is also visible in det H=|det G|^-2. Consequently a rho-dependent 000120 | isometry cannot simply be pulled through a radial derivative as though 000121 | it were constant. If f=F^-1 psi, then 000122 | 000123 | F^-1 partial_rho psi=partial_rho f+(F^-1 partial_rho F)f. 000124 | 000125 | For the ACTUAL flat covariant radial derivative partial_rho-exp(i theta)A 000126 | the two terms cancel, as they should under a legitimate frame change. 000127 | If the given collar instead uses a different product normal derivative, 000128 | its actual connection and identification r versus rho must be supplied. 000129 | 000130 | For a single fixed rho it is possible to extend the frame as constant 000131 | in an independent collar coordinate r, in which case that partial_r is 000132 | unchanged. This is an extension/identification to check against the 000133 | original collar and its two faces, not a consequence of the circle 000134 | trivialization. No claim that every extension is impossible is made. 000135 | 000136 | Similarly, under a rho-dependent conjugation T_rho -> I_rho T_rho I_rho^-1, 000137 | the derivative includes [(partial_rho I_rho)I_rho^-1, T_image]. A claimed 000138 | unchanged radial source response must account for it and for transported 000139 | insertions, state and declared reference. If all these are transported 000140 | covariantly, a cancellation may be genuine; it is not proved by calling 000141 | the single-particle map unitary. 000142 | 000143 | An actual endomorphism coefficient also transforms: Phi_flat=F^-1 Phi_row F 000144 | (with the corresponding full associated representation). A coefficient 000145 | constant in row coordinates does not automatically stay constant in the 000146 | flat frame; that requires the appropriate covariant constancy/commutator 000147 | condition. Conversely a coefficient already specified in the horizontal 000148 | frame must not be mistaken for the same constant row matrix. This is a 000149 | coordinate/source dictionary check, not an exclusion of either valid case. 000150 | 000151 | 5. SCOPE OF THE FIRST FAILURE 000152 | 000153 | The isometry is a useful exact coefficient presentation. It can support 000154 | the single-particle part of a local CAR map with the actual norms and 000155 | representations specified. This note does not certify the proposed 000156 | tensor-product field space, graph inclusion, state, reflection, Phi or 000157 | P1 source action. A unitary change of presentation of supplied data is 000158 | not yet an original identification of those data with another physical 000159 | source. The generic Seed permits compatible local images and transport; 000160 | this result adds no universal fixed-Q or physical-time requirement. 000161 | 000162 | Small exact checks used only det Psi=1-z^4 and the original trace formula: 000163 | det Psi(1/2)=15/16, radial dlogdet at1/2=-8/15, and 000164 | tr A-(log delta)'=0. Existing G, all its differential residuals, the q 000165 | cover, the positive metric and their established clock actions are retained.