TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/two_face_source_20261029/PROOF.txt
Original file SHA-256: f3f5319b62ba0fe502422ebdfd49e53f6fd08d7a42f84436332c01267e25c5cc
Inclusive original lines: 1-185
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 | TWO FACE SOURCE: ACTUAL REFLECTION, OPPOSITE CURRENTS AND JOINT RESPONSES
000002 | 29 October 2026. Continuation of the existing source contract.
000003 | 
000004 | Requested result and first physical identification
000005 | 
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 | [OMITTED: non-scientific conversation or execution metadata]
000010 | [OMITTED: non-scientific conversation or execution metadata]
000011 | [OMITTED: non-scientific conversation or execution metadata]
000012 | [OMITTED: non-scientific conversation or execution metadata]
000013 | 
000014 | 1. Original source review: the correct coordinate is already specified
000015 | 
000016 | ELLIPTIC-GREEN-RP.txt, lines12-16,74-112,172-196, fixes
000017 |   L=partial_t+B, B=-i partial_s, W=1/2, beta=2W=1,
000018 |   rho_geom(t,s)=(-t,s),
000019 |   Theta psi(t,s)=-barpsi(-t,s), Theta barpsi(t,s)=-psi(-t,s).
000020 | Theta conjugates scalars and reverses the Euclidean word order. It reverses
000021 | normal time, not the spatial s coordinate. Both boundary circles t=0,W are
000022 | fixed on the closed NS torus. The quarter map between two DIFFERENT cuts has
000023 | t'=t,s'=-s and B_- U_Q=-U_Q B_+. These two arrows must not be identified.
000024 | 
000025 | For a neutral bilinear, order reversal and the two field minus signs give
000026 | Theta(:barpsi psi:_t(f))=:barpsi psi:_(-t)(f) for real spatial f, with the
000027 | correspondingly transported source subtraction. On bounded reconstructed
000028 | insertions the candidate is W_t(f) -> W_-t(-f), with no spatial reversal.
000029 | Its spatial profile map is -I, which is symplectic. The prior exclusion of
000030 | the literal -r_s map is valid but does not exclude this original source.
000031 | Nor does it force adding an independent opposite-chiral physical species.
000032 | 
000033 | The older seam-full-collar-reconstruction-20261015/PROOF.txt:33-49 already
000034 | distinguishes deck reflection fixing the two ends from the inner reflection
000035 | exchanging them. For its paired tangential operator RBR=-B,
000036 |   S P_B S=P_(-B), diag(R,R) P_B diag(R,R)=P_(-B),
000037 |   (S diag(R,R)) P_B (diag(R,R) S)=P_B.
000038 | A bare face swap is not the same operation as the source-preserving reflection.
000039 | The old geometric inference R_tau=2P_C-I was already corrected there.
000040 | 
000041 | 2. The same given source contains the full cross covariance
000042 | 
000043 | Reuse the exact NS Green inverse and graph, not a fitted numerical kernel:
000044 |   S(t)=exp(-tB)(I+exp(-beta B))^-1, 0<t<beta,
000045 |   S(W)=(2cosh(WB))^-1=X,
000046 |   C=(I+exp(2WB))^-1,
000047 |   P=[[I-C,X],[X,C]], P=P*=P^2.
000048 | These all-mode identities are the old Green and graph results. The midpoint
000049 | is not missing from the already given free source. HALF-PERIOD-GNS-SEWING.txt
000050 | already realizes its full charged CAR double in the source's own HS space:
000051 |   Omega=sqrt(rho), L_A X=A X, R_A X=X A,
000052 |   Gamma X=Pi X Pi, a_R=L_a, a_L=-Gamma R_a,
000053 |   a_L*=Gamma R_(a*), J_HS X=X*.
000054 | No auxiliary physical particle or freely chosen state is introduced.
000055 | 
000056 | The actual source null relations in a spectral mode t_lambda=exp(-W lambda)
000057 | are (a_R-t_lambda a_L)Omega=0 and
000058 | (a_L*+t_lambda a_R*)Omega=0. CAR then fixes all four covariance blocks above.
000059 | The old projector-state theorem determines every CAR word. These null
000060 | relations hold in the given free realization; their origin for actual
000061 | primitive P1 boundary fields remains to be shown, not postulated here.
000062 | 
000063 | 3. Opposite current orientation follows from the existing right action
000064 | 
000065 | Let W(f) be an already defined bounded neutral current Weyl on the given
000066 | normal source representation. Define bounded partner operations on HS by
000067 |   W_R(f)=L_(W(f)), W_L(f)=R_(W(f)*).
000068 | They commute across the two sides. Since R_A R_B=R_(B A), the original
000069 |   W(f)W(g)=exp(-i sigma(f,g)/2) W(f+g)
000070 | gives exactly
000071 |   W_L(f)W_L(g)=exp(+i sigma(f,g)/2) W_L(f+g).
000072 | The opposite Weyl sign is thus DERIVED on the canonical partner algebra.
000073 | It is not an additional chosen current orientation or a new physical source.
000074 | This does not prove that this algebra is the geometrical P1 second face.
000075 | 
000076 | Directly, J_HS W_R(f) J_HS=W_L(f). This action is conjugate-linear and
000077 | MULTIPLICATIVE. It is not the anti-multiplicative OS Euclidean word rule.
000078 | For finite mode bilinears N(A)=sum A_ij a_i* a_j, Hermitian A, the same
000079 | graded CAR construction gives
000080 |   n_L(A)=tr(A) I-R_(N(A)),
000081 |   j_L(A)=-R_(j(A)), J_HS j_R(A) J_HS=-j_L(A),
000082 | where each current has its actual source mean subtracted. In particular
000083 |   J_HS n_R,j J_HS=I-n_L,j.
000084 | Bare exchange of particle occupations misses this hole contribution.
000085 | Infinite divergent traces are not used: the bounded Weyl formulas above
000086 | define the all-mode result directly with the retained source phases.
000087 | 
000088 | 4. Joint bounded responses and time reflection, without a new Gaussian axiom
000089 | 
000090 | For ANY existing normalized normal density rho, the two-side response is
000091 |   <Omega,W_L(f) W_R(g)Omega>
000092 |     =Tr(sqrt(rho) W(f)* sqrt(rho) W(g)).                (1)
000093 | For a finite list f_i this is the positive HS Gram of
000094 |   V_i=rho^(1/4) W(f_i) rho^(1/4).
000095 | Schatten Holder gives V_i in HS. This is a source-dependent full joint
000096 | functional, not a fit from one-face spectra. It does not imply maximal
000097 | odd-field cross coherence for an interacting source; the old unsaturated
000098 | interaction control and its conclusion remain unchanged.
000099 | 
000100 | There is also an all-mode bounded time-reflection construction on the same
000101 | given source. Let H>=0 be its source Hamiltonian with Z=Tr exp(-beta H)<infinity
000102 | and W=beta/2. For 0<t1<...<tn<W and bounded neutral insertions A1,...,An put
000103 |   K_F=exp(-(W-tn)H) An exp(-(tn-t(n-1))H) ...
000104 |          ... A2 exp(-(t2-t1)H) A1 exp(-t1 H).
000105 | All intermediate heat factors are retained. Schatten Holder gives
000106 |   ||K_F||_2 <= sqrt(Z) product_j ||A_j||.
000107 | Indeed each positive heat length d has Schatten exponent beta/d, and the
000108 | sum of their reciprocal exponents is W/beta=1/2.
000109 | 
000110 | The thermal Euclidean functional, with the reflected word correctly TIME
000111 | ORDERED and each reflected insertion adjointed, is
000112 |   S(Theta F,G)=Tr(K_F* K_G)/Z.                         (2)
000113 | It is reflection positive for any finite linear combination of histories.
000114 | No bare unordered product at opposite times is substituted for this form.
000115 | Equation(2) extends to bounded current Weyls already present in the source
000116 | von Neumann algebra. On the original polynomial free source it matches the
000117 | two charged Green Gram factors; uniform bounded strong-star approximation
000118 | and the positive heat factors extend the normal functional to those Weyls.
000119 | No norm-C* membership of the Weyls or new unsmeared point fields is claimed.
000120 | Only the time-zero insertions A_j are assumed bounded. Their formal imaginary
000121 | time conjugates need not be bounded operators; the heat products define the
000122 | ordered functional without making that invalid domain claim. The bounded
000123 | neutral theorem adds no unproved rule for arbitrary odd Schwinger words.
000124 | 
000125 | Thus the proper normal-time OS reflection is constructed for bounded neutral
000126 | histories of the GIVEN thermal source. It is compatible with the old full
000127 | Green/graded-CAR realization. It does not identify this geometric normal
000128 | time with physical P1 time, or this source with the full shifted Hardy/K_alpha
000129 | or local E8 vacuum. Those are different retained source types.
000130 | 
000131 | 5. Automatic check on the actual existing path
000132 | 
000133 | check_two_face_source.py calls the OLD source_lift, graph_projection and
000134 | double_data. It uses two actual positive NS modes lambda=pi,3pi of the old
000135 | square annulus. With z=exp(-pi/12), W=1/2, beta=1, the exact symbolic
000136 | transfer is T=diag(z^6,z^18), its full exterior lift is
000137 | Q=diag(1,z^6,z^18,z^24), and the density is Q^2/Tr(Q^2).
000138 | This is a reducing finite source block; the symbolic variable is not fitted.
000139 | 
000140 | The check retains the full joint covariance, actual CAR partner signs, both
000141 | sewing null relations, J's scalar/product type, occupation-to-hole action,
000142 | centered bilinear currents, and bounded joint insertion Grams. Independently
000143 | ordered thermal traces with noncommuting even insertions match(2). Both
000144 | charged reflected kernels at t=u=W/3 and the exact midpoint X agree with
000145 | the old original Green formula. The paired collar reflection identities are
000146 | also checked, rather than assuming a bare face swap preserves the source.
000147 | 
000148 | The finite bounded insertions are not claimed to be spatially local or to
000149 | realize an impossible finite nonzero central CCR. The infinite current
000150 | orientation and bounded-Weyl conclusions follow from Sections3-4, not from
000151 | these finite matrix samples. See REVIEW.txt for the independent check.
000152 | 
000153 | 6. What still has to be derived from original P1
000154 | 
000155 | Old paper32 positivity passage only describes a reflected positive CAR form.
000156 | Archived v45 closure source explicitly ASSUMES that the admissible fermionic
000157 | CAR kernel is reflection positive. The primitive boundary datum supplies D+
000158 | and B. Its primitive action is a relative spectral trace. These statements
000159 | do not specify the physical source coupling or its full CAR generating
000160 | functional. The operational seed already contains algebra, state, time and
000161 | reflection. Its forward map does not reconstruct those inputs backwards.
000162 | 
000163 | The remaining original equation is an actual supported, marked field/sewing
000164 | map iota from the source just used to the P1 physical field algebra, with
000165 |   omega_P1(iota(a_L*(f)a_R(g)))=<f,Xg>,
000166 | the same diagonal blocks and correct adjoints, products, reflection and time.
000167 | For a neutral-only claim a suitable closed current/observable subalgebra
000168 | suffices; no individual odd field need be a physical observable. In that
000169 | case the actual P1 bounded joint functional must match(1)-(2) on its image.
000170 | Our construction supplies the explicit comparison functional and reflection;
000171 | it does not manufacture iota or an unspecified fermion measure from c3.
000172 | If the actual source has interacting vertices, its true joint functional
000173 | must be retained instead of imposing the free projector target.
000174 | 
000175 | Established: within the given source, the two-side bounded current algebra,
000176 | its opposite phase, source-dependent joint response and correct normal-time
000177 | reflection now form one explicit construction. Earlier geometric and graded
000178 | source results are reused. No new physical P1 completion is asserted.
000179 | complete_TFPT_solution=false; ledger_changed=false.
000180 | 
000181 | Primary background: H. Araki, On Quasifree States of CAR and Bogoliubov
000182 | Automorphisms, Publ.RIMS6(1970/71), especially Lemma4.3, Definition4.4 and
000183 | the KMS construction. https://ems.press/content/serial-article-files/41673?nt=1
000184 | The explicit bounded partner/thermal trace identities above are derived here;
000185 | the citation does not supply the missing physical P1 source identification.