TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/FIELD-AND-DOMAIN-REVIEW.txt Original file SHA-256: 4c8ed227097cab138eb7868d973940b333a90ac612e3e4082ae15ae9179de35a Inclusive original lines: 1-175 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 | No new independently evaluated original insertion value is supplied. The 000012 | v252 transition and its transported CAR response are correct conditional 000013 | operator statements already available. The claimed original quantization 000014 | step is the still explicitly retained field-type premise. More decisively, 000015 | the proposed old full beta_D pairing is NOT skew at fixed scalar quarter 000016 | holonomy. Its earlier skew theorem requires the different J-odd connection 000017 | condition. The failure occurs already on the common interior smooth core, 000018 | so it cannot be repaired merely by choosing a closed radial boundary domain. 000019 | The existing full positive Clifford graph/source is not invalidated. 000020 | 000021 | 1. First source identification: which statement is proved? 000022 | 000023 | The original boundary datum in 000024 | documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/ 000025 | 001-section-primitive-core-and-carrier-interface-handoff.tex:65-81 is 000026 | T_bound=(A_+,H_+,D_+,J,Gamma,B_Sigma), 000027 | with regular center, selfadjoint tangential B, product collar and regular 000028 | doubling/Calderon boundary problem. Its doubling theorem:94-145 constructs 000029 | the corresponding geometric scaffold. Those listed conditions do not state 000030 | that this Hilbert space is the physical odd field-test space, prescribe the 000031 | Clifford quantization of the operator, or identify its local insertions with 000032 | those of the already complete operational Seed. 000033 | 000034 | The existing graded_boundary_functor/PROOF.txt:87-104 makes the exact logical 000035 | boundary explicit: IF its geometric graph is the physical covariance, the 000036 | whole CAR word state transports; this physical use of the functor is an 000037 | explicit premise. Its circle group and original OS time are also distinguished 000038 | in lines106-129. The later whole field/R/same-circle-time proof is retained. 000039 | 000040 | [OMITTED: non-scientific conversation or execution metadata] 000041 | [OMITTED: non-scientific conversation or execution metadata] 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 | The original v252/v254 one-form and its real completion really give 000047 | deltaPhi_I nu_R,g=sum_i Ynu_(i,g) nu_L,i. 000048 | The complete chart really gives delta h=-i gamma_F deltaPhi and the algebraic 000049 | CAR scalar response -iYnu_(i,g)||f||^2. These were already followed in 000050 | original_insertions/PROOF.txt:25-51 and primitive_insertions_review/ 000051 | ORIGINAL-INSERTION-REVIEW.txt:section5. They do not read a second value from 000052 | the original source functional. No such independent source value appears 000053 | in the new reply; a script reproducing these same matrix steps cannot 000054 | change that logical input. 000055 | 000056 | The full given Seed already includes its products, state, reflection and 000057 | time. It needs no newly chosen fermion measure. A proposed Pfaffian must 000058 | identify its response with those existing data, rather than replace them. 000059 | 000060 | 2. Reuse the ACTUAL old charge transport, without changing J 000061 | 000062 | Write the established matrices 000063 | N=[[0,-1],[1,0]], Z=diag(1,-1), S=NZ, 000064 | Jhat=I_normal tensor J_F, Jloc=S Jhat, 000065 | A_a=-i partial_theta+a, B_a=Z A_a-S Phi, 000066 | D_a=N(partial_r+B_a). 000067 | J_F is the actual old-antilinear v252 swap/conjugation. The proven identity 000068 | on the common interior smooth core is 000069 | Jloc D_a Jloc^-1=-D_(-a^J), 000070 | where a^J=J_F a J_F^-1, so the transformed tangential operator is 000071 | -A^J=-i partial_theta-a^J. This is the same connection transformation as 000072 | DERIVED-PAIRING.txt:62-81, with the index here denoting the connection a. 000073 | 000074 | If a^J=-a, this gives Jloc D_a=-D_a Jloc. THEN, and on a suitable 000075 | selfadjoint Jloc-stable closed domain, beta(x,y)=_old is 000076 | skew. This condition is explicitly required in DERIVED-PAIRING.txt:97-106. 000077 | A charge connection a=alpha Q with J_F Q J_F^-1=-Q is one existing sufficient 000078 | case. It is not the old scalar holonomy a=alpha I. 000079 | 000080 | For scalar a=alpha I, the actual relation instead is 000081 | Jloc D_alpha Jloc^-1=-D_(-alpha) 000082 | =-D_alpha+2alpha S. 000083 | No assumption about Phi commuting with the connection is used for this 000084 | scalar case, and its given J/oddness properties are retained. 000085 | 000086 | 3. Smallest fixed-quarter skew test 000087 | 000088 | All following test functions can be chosen smooth and compactly supported 000089 | in the collar interior, periodic in theta. Formal adjoints have no boundary 000090 | term on this core. The old complex inner product is linear in its second 000091 | argument. Since Jloc^2=1, the actual transpose relation gives 000092 | beta_alpha(x,y)+beta_alpha(y,x) 000093 | =2alpha 000094 | =2alpha . 000095 | At alpha=1/4 or3/4 this is nonzero. 000096 | 000097 | An explicit diagonal witness does not even require a transpose argument. 000098 | Choose a unit internal u with J_F u=u, a real compactly supported radial 000099 | profile f, a normalized constant circle profile, and the first normal 000100 | component x=f e_R tensor u. Then Jhat x=x. The normal derivative contributes 000101 | an integral of f f', which is zero; the Phi term has orthogonal normal 000102 | components in this pairing. The scalar connection term gives exactly 000103 | beta_alpha(x,x)=alpha ||x||^2 !=0. 000104 | This disproves skewness already on the common minimal differential core. 000105 | 000106 | Every usual local/APS selfadjoint realization of this differential operator 000107 | extends that interior core. A boundary condition cannot remove this witness 000108 | while still claiming the same ordinary operator realization. The earlier 000109 | proof never claimed skewness on all closed original domains; it explicitly 000110 | required a transported selfadjoint J-stable domain and the J-odd connection. 000111 | 000112 | Equivalently on the core the skew part of this particular old bilinear is 000113 | (beta_alpha-beta_alpha^T)/2=beta_0, 000114 | because D_alpha=D_0+alpha S. A Grassmann quadratic built by simply taking 000115 | the antisymmetric part of this SAME beta_alpha therefore drops the scalar 000116 | holonomy term. It cannot then be identified without further input with the 000117 | original fixed-quarter source, whose alpha dependence is retained. 000118 | This is not a theorem that every complex Dirac or Pfaffian representation 000119 | of a quarter-twisted theory loses its holonomy. 000120 | 000121 | 4. Winding, two faces and domains do not erase the parameter distinction 000122 | 000123 | The already established winding W=exp(-i theta) obeys 000124 | W D_(-alpha) W*=D_(1-alpha), 000125 | so W Jloc intertwines D_alpha with -D_(1-alpha). It exchanges the two 000126 | quarter parameters1/4 and3/4. It does not give the fixed-alpha relation 000127 | needed above. An integer winding m would need m=2alpha to return to alpha; 000128 | this is not an integer at either quarter. No new J family is being searched. 000129 | 000130 | In the periodic connection chart, the tangential H1 domains can coincide 000131 | while the operators still differ. In the gauge-equivalent twist chart, 000132 | complex conjugation instead changes the boundary holonomy to its inverse. 000133 | The same-domain AND same-operator identity must be checked for a proposed 000134 | closed realization, not inferred from either chart alone. 000135 | 000136 | The existing two geometrically labeled faces carry C_faces=(C0,-C0) and 000137 | the complete selfdual graph. Those orientation signs give the already 000138 | proved whole charged field/state/R/time map. C0 is not Jloc, and its 000139 | particle/adjoint slots are not a declaration that the source secretly has 000140 | both independent alpha and1-alpha coefficient systems. A proof using 000141 | opposite scalar quarter sectors must display that extra transport and 000142 | identify its joint source; it cannot silently relabel the two boundary faces. 000143 | 000144 | The valid J-odd connection case, a correctly paired sector construction or 000145 | complex independent psi/barpsi quantization are not excluded. They would 000146 | be different explicitly typed input to this proposed Pfaffian identification. 000147 | 000148 | [OMITTED: non-scientific conversation or execution metadata] 000149 | 000150 | The original one-form, deltaB=-S deltaPhi, the whole-chart delta h and the 000151 | real/reflection algebraic identities are retained with their established 000152 | conditions. The standard Duhamel/Dyson expansion also computes the response 000153 | of that GIVEN operator family; it does not turn the circle parameter into 000154 | physical P1 time or independently specify its original source family. 000155 | 000156 | The CAR derivation is representation independent as an algebraic statement. 000157 | It need not be an inner insertion on the old sea domain. The precise result 000158 | is already proved in primitive_insertions_review/UV-INSERTION.txt: the pure 000159 | constant insertion group is not old-sea implementable, whereas the complete 000160 | coupled evolution is implementable in1D and the pure representations are 000161 | equivalent. This does not block the algebraic target response. 000162 | 000163 | Given a full positive CAR graph state, its Wick/Pfaffian correlations are 000164 | already fixed. It is a further identification to assert that this graph is 000165 | the boundary covariance of the proposed fixed-domain beta_D functional, 000166 | or that its unnormalized Pfaffian is the original Z_adm. The original 000167 | source04/008:143-169 assumes the admissible CAR/Pfaffian positivity condition; 000168 | its quotient normalization does not make those identifications by itself. 000169 | 000170 | [OMITTED: non-scientific conversation or execution metadata] 000171 | [OMITTED: non-scientific conversation or execution metadata] 000172 | [OMITTED: non-scientific conversation or execution metadata] 000173 | [OMITTED: non-scientific conversation or execution metadata] 000174 | [OMITTED: non-scientific conversation or execution metadata] 000175 | [OMITTED: non-scientific conversation or execution metadata]