Exact operator/state result in the given source-time contract,not a P1 OS-time or full F1 derivation. A separating time exists within one quotient sweep;explicit t=pi only for the specified diagnostic interval choice;no uniform lower difference is computed. No sharp-defect class or E8 extension is forced.
Read the exact result, assumptions and evidence
Result
The same U/W4 cannot agree on every original K_alpha-translated neutral bilinear overF^-1J for0<=t<=2pi. Otherwise w=exp(i phi-4i theta) would be constant on all overlapping translated arcs,hence globally constant,contradicting wind(w)=-4. The original quarter-sea kernel is nonzero off diagonal,so appropriate disjoint smooth smearings give a separating expectation already in that state. At least one Hermitian component separates. For I=(pi/2,3pi/2),J=(3pi/4,5pi/4),t=pi gives the kernel phase difference1-exp(i pi/16) at theta1=pi/128,theta2=3pi/128.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given eightfold even CAR quotient with marked charge and source time
Use existing fold eta_r(x)=psi((x+2pi r)/8)/sqrt8, local even rank8 CAR algebra on punctured quotient circle, fixed D8 Cartan chart and q=(1)^8, original current normal ordering/Weyl rule, and declared K_alpha source time. DHR sector labels/local von Neumann statement use standard locally normal even-CAR reference/Haag-dual vacuum-net representation. Assume neither normal local P1 single-interval identification,primitiveOS time,spin-structure sum nor bounded sharp spinor field.
Given single-field quarter CAR source for both alpha values. Not two complete P1 sources,not a measure choice or P1 interval/OS-time identification. Diagnostic bump is not a physical source/reference selection. Retain separately established half-kink/spinor transport.
Read the exact result, assumptions and evidence
Result
The existing Weyl U=W(-phi),phi(theta)=4theta b(8theta mod2pi),with b1 onJ and compactly supported inI away from the quotient cut,is smooth periodic and has charge0. Its adjoint action on ALL CAR words over the eight preimage arcs equals the original global charge4 W4. This is equality of local adjoint responses,not full source amplitudes or normalization.
Required assumptions
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
Given eightfold even CAR quotient with marked charge and source time
Use existing fold eta_r(x)=psi((x+2pi r)/8)/sqrt8, local even rank8 CAR algebra on punctured quotient circle, fixed D8 Cartan chart and q=(1)^8, original current normal ordering/Weyl rule, and declared K_alpha source time. DHR sector labels/local von Neumann statement use standard locally normal even-CAR reference/Haag-dual vacuum-net representation. Assume neither normal local P1 single-interval identification,primitiveOS time,spin-structure sum nor bounded sharp spinor field.
Entire constructed finite family, not all processes or full P1 sources. Floor/gap1/4 are search assumptions. Interval contains attained values, not global extrema. Ten responses are correlated, not independent selectors. Real s analytically covered;rational s additionally serializable. Genuine original q would select only this segment; source map and other freedom remain separate.
Read the exact result, assumptions and evidence
Result
Stored full32D source-clustering endpoints share Omega,all ten Majoranas and quarter. T(s)=(1-s)Tmin+sTmax,0<=s<=1,keeps all2245 supplied moment polynomials constant. The difference annihilates Omega and all ten single-field vectors. The shared positive lower bound and clustering cone persist by convexity. All ten existing separating two-field responses are q(s)=1/4+s/2; this family attains the entire interval[1/4,3/4].
Required assumptions
Declared finite positive kernel search class
Given up to five CAR modes, an extra selfadjoint transfer operation, 0<=T<=I, T Omega=Omega and internal CAR quarter invariance. Five-mode completions additionally use a minimal irreducible Fock representation with pure occupations inferred from searched moments. Objectives, positive floor and cluster gap are declared search choices; neither these nor the representation are presumed consequences of P1/P2.
Software and conditional equality identities. Exact rational contract coefficients differ from rounded solver coefficients. Numerical endpoints are not certified bounds or full processes. Affine identity proves neither existence, original P1 identification, Z0 nor physical uniqueness. Replay shares row generation and is not independently coded semantics.
Read the exact result, assumptions and evidence
Result
An executed withheld-response path now exists in run_search. Queries contain no target and are not imposed as source constraints. Min/max use the same declared moment class. Sparse rational elimination and solver-free replay check conditional affine identities. Full2D controls give [0,1] without added relation and exactly1/3 with a different supplied response. Contradiction, positivity emptiness, complex coefficients, rounding and tampering are checked.66 existing tests passed. CLI control explicitly retains inconclusive rational completion.
Required assumptions
Declared finite positive kernel search class
Given up to five CAR modes, an extra selfadjoint transfer operation, 0<=T<=I, T Omega=Omega and internal CAR quarter invariance. Five-mode completions additionally use a minimal irreducible Fock representation with pure occupations inferred from searched moments. Objectives, positive floor and cluster gap are declared search choices; neither these nor the representation are presumed consequences of P1/P2.
Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
The reviewed decision record says which approach can be reused, which failed in its scope and what a new attempt would have to change.
Reusable result
Obtain composite response from original source and test whole families
More points or unchanged low moments do not decide this segment. Derive a matching composite response or justified class exclusion from the same original common source;retain v534 selector within its conditional scope.
Consequence: Obtain actual original insertion,carrier,state,time,reflection and reference map with full matter source. No candidate value as source axiom,no free FK or Yukawa fit. Retain known four-mark object and resolved subresults.
Test original global continuation with the same source time
Complete local initial agreement does not suffice. The same original transfer must jointly carry future neutral answers and global winding. W4 equals spinor field,h1 from excitation energy,or reflection alone equals collar/reference are not proved shortcuts.
Consequence: Execute actual original sewing/return rule and field/carrier/state/time/reflection map. Retain established G/Clifford/CAR diagrams and modern physical routes;do not universally require the archived collar. No further search software as substitute for derivation.
Reuse existing neutral half-kink transport. New test concerns global completion of whole original W4 and actual source time;it adds no requirement that individual spinor fields be observables.
Original historical attempts linked to this question
These are original research records. Their reported verdicts are distinct from the reviewed results above.
seam positive kernel search 20261015
Can unknown positive word kernels be constructed, exactly completed and distinguished without supplying a target Hamiltonian or state?
Recorded verdict: PARTIAL
Historical inventory; not independently reviewed by this export.
Combine the actual TFPT source derivation into one scoped chain and reduce neutral source word matching to structural current, state, time and reflection conditions.
Recorded verdict: PARTIAL
Historical inventory; not independently reviewed by this export.