Complete linear realization for specified original single-beta L/J alphabet on neutral grade4:204 exact original-vector identities, positive metric,15 source controls and6 structure controls.68 is neither spacetime dimension nor whole E8 source. Values are response amplitudes, not event probabilities. No new Lean formalization, ledger promotion or full physical origin. Old rank10 was only a lower bound.
Read the exact result, assumptions and evidence
Result
Exact original Fock polynomials close under L,J,Jdagger in dimension68. Actual positive metric and adjoint closure prove reachability, observability and minimality for all word lengths in this alphabet. Code5 needs memory63 with J multiplicities18,14,17,14 at1,i,-1,-i. Positive original forms F_w give both old defect Delta=sum F_w and new rank5 clock defect sum(w-1)F_w=-2(F_-1+F_i), with F_i=F_-i and ranks4,5,5,5. Original unit f4 has L² response6144 and LJL response0; bare repeated code compression gives1024. Full nested Schur reconstruction through10 equals direct reduction to5 exactly.
Required assumptions
Given local E8_1 vacuum representation and explicit cocycle
Positive level-one E8 lattice vacuum representation in orthonormal D5+D3 coordinates, declared simple-root cocycle, level-one Heisenberg Ward rules and internal quarter character v=(0^5,1/2^3). Insertions are separated. No raw-P1 pullback or physical time law is assumed or derived from this representation.
Actual native G31 event representation
Use the actual original Hamming/E8/J matrices and60 reflections, their four-dimensional action, characteristic P64=O2(G31), and existing S6 quotient. These are accepted mathematical core data, not a physical source derived from P1 in this round.
Symmetric quartic and actual erasure intertwiner
Use Sym^4 of the native four-representation, the actual five codeword sums, and the existing one-register erasure intertwiner. The symmetric tensor rule and its physical selection are not silently inferred from the full tensor product.
Actual positive Cartan quartic Fock embedding
Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.
Original neutral root-pair moment fields
Use existing E8_1 neutral_source_response reader:64 chirally selected roots, original omission of one SU4 family weight line, B48=12T_E8+R_neut, AR=4P_A2-8P_U1. Family omission is an explicit existing input, not derived here from P1; neither it nor the R port or physical coupling is newly selected.
Original displayed J-equivariant root isometry
Use existing S=_SIMPLE and T=_TARGET_SIMPLE from cartan_source._glue_deck_character_certificate: O=T S^-1/sqrt2 maps actual Construction-A roots r/sqrt2 to original Chevalley roots r/2, preserving metric and J. This is the existing concrete map, not a newly fitted embedding; physical P1 selection stays separate.
Original positive adjoint two-insertion response
Compute o(W_beta), W_beta=E_beta,0 R_neut, with unchanged original real transverse v_beta. Ordered return is positive Fock Gram o(W)*o(W) between code or original trimer states without intermediate projection. Allow W=sum a_beta W_beta for arbitrary complex input coefficients; distinct lattice charges force nonnegative weights |a_beta|². Nonadjoint returns, other complex transverse fields, longer histories or physical instruments are not thereby selected.
Specified ordered response family of original single pair
Examine mathematically specified moments M_n=Pi L_beta^n Pi,n>=0, L_beta=o(W_beta)*o(W_beta), for same original doubled root(0,0,0,0,0,0,-2,-2). Pi/Q only split full amplitudes; no projection is executed. This tests composition/memory of the already determined source, not P1 selection of physical history, coupling, preparation or time. Full coherent multiroot processes must additionally retain nonneutral final charge sectors.
Original single-root return with native Cartan J
Same complete original single-beta S and actual Fock adjoint as SOURCE-RETURN-MEMORY.txt, L=Sdagger S on neutral grade4 dimension726 with the original five quartics. Native linear J with Ju=i u,Jubar=-i ubar and its adjoint retained. Algebraic word responses of this supplied source only; no selected physical history or full E8 alphabet claimed.
Exactly the canonical finite E/Eh corner of the GIVEN kinetic reader. No whole unsmoothed limit, whole J_F/KO field, P1 selection, CP or CKM claim. Any global selfdual half-trace is separate and does not erase sixteen internal components. Preserve existing positive finite-reader/WEDGE path.
Read the exact result, assumptions and evidence
Result
Actual retained face/normal maps give pp=sech(ell/2)L,ph=hp=tanh(ell/2)L,hh=-pp for all six inputs. Finite joint connected CAR block equals g Tr(m_mu m_nu), g=16(2/pi)^2tanh²(ell/2), with actual carrier multiplicity correcting The reviewed. Unstarred same-orientation squares vanish but adjoint norms equal positive gh. Four ordinary real quadratures have the explicitly recorded covariance with strictly positive eigenvalues g(|I02|±|I21|)^2 each twice. Independent symbolic64-dimensional CAR replay checks eleven identities, independently confirmed analytically. A pp-only traceless compression annihilates the filled corner, not the whole operator.
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.
All six original induced inputs at the fixed kinetic NS reader
Evaluate the six existing offdiagonal mu_ab in the original induced NS/Hardy kinetic reader, Phi=0, finite positive ell_NS and half-frequency. Carry actual G_a input and J E^(b-1) output maps, same continuation, metric, spin, both graph faces and normal symbol. Do not identify individual twist lines or assume a physical combination or multiplicative compression of field products.
Canonical finite particle-hole corner of the given kinetic graph
Use canonical E and Eh corners of the given pure kinetic NS/Hardy graph at finite positive ell, actual J and Hom maps and normal projector, unnormalized finite CAR trace with sixteen carriers per family, and ordinary adjoint quadratures. No identification with whole unsmoothed Z or complete J_F/KO field.
Complete six-input alphabet in the given kinetic NS/Hardy reader; global twist sectors remain distinct. Squares alone only generate an embedded two-by-two block. Coefficient accessibility does not identify physical field/CAR products or select whole Yukawa, coupling mix, state or time. Equal-weight sum cancels by cubic phases, not a universal source no-go. Existing wedge/Clifford/KO consumer applies linearly. Continue original common use without imposing this route as a universal P1 gate. The linear finite R moment image does not replace the global spin/R action or source state. Two jet orderings do not select physical V_adm or reduce the entire origin to endpoint placement. Do not replace original provenance with another conditional Gram comparison. Only labeling Fhat as fixed-cusp deltaHol fails; genuine coupling or insertion remains eligible. Scalar response does not establish original source selection.
Read the exact result, assumptions and evidence
Result
Actual G columns and original R lift force G_a=G Pc^(-a) and the two-leg map Common=P^(1-b)ScalarP^a, preserving the stated kinetic NS/Hardy domain, metric, spin and full graph. All54 entries are computed:42 exact support/eta zeros and12 continuous-root periods. The two oriented triples are (1,omega²,omega)F and (1,omega²,omega)N, F=alphaE02+betaE21,N=-i(alphaE12+betaE20), with actual normal projector. Reverse phase follows exactly from the calibrated period. Independent65digit replay and source review confirm all inputs. F and N together generate all nine matrix units of M3(C), even without separately adjoining identity, with scalar common commutant. In the SAME originally marked Bstar frame, Fhat=alphaM0P0-betaP0M0 and Nhat=-Dsign Fhat Dsign, hence Fhat is the original delta jet at both marked endpoints with actual period weights. The finite moment reader intertwines rawR with Ad(W), W²=-I, retaining only its ±1 moment lines. Actual fixed-D resolvent traces are exactly (alpha-beta)delta²/(y³-delta³) forFhat and i(alpha-beta)y delta/(y³-delta³) forNhat. Twenty-one additional exact root checks confirm these identities. Actual fixed-cusp tangent test gives d(M³)[Fhat]=(alpha-beta)I nonzero. At the same time its cyclic centralization is ((alpha-beta)/3)M0 and original scalar resolvent trace is (alpha-beta)t²/(1-t³), with determinant linear response -delta²(alpha-beta). Independently verified exactly.
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.
Unchanged A0* Fuchsian equation and actual C4 clock
Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.
Recovered genus2 cover with retained coefficients
Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.
Relative spin and reference Hardy cable on original three-cover
Compare holomorphic Hardy shifts M_z on S0 tensor L and the same degree-zero coefficient line L over the original pi:C→P1_z. Spin half-forms give boundary norm; Fredholm convention is det kernel tensor inverse det cokernel. Relative line is spin line tensor inverse reference line. This defines a mathematical sewing contract, not an established identification with physical D_rel/D_ref or state.
All six original induced inputs at the fixed kinetic NS reader
Evaluate the six existing offdiagonal mu_ab in the original induced NS/Hardy kinetic reader, Phi=0, finite positive ell_NS and half-frequency. Carry actual G_a input and J E^(b-1) output maps, same continuation, metric, spin, both graph faces and normal symbol. Do not identify individual twist lines or assume a physical combination or multiplicative compression of field products.
Original hard-holonomy contract with pure closed-triangle trace
Read original45 flavor sources defineY from canonical minimal paths of a Hermitian family connection andPi_triangle=Hol12Hol23Hol31 as ordered closed holonomy,delta=argtrace. DisplayedPi includes neitherKstr nor extraZ6operator. Nonreal asymptotic is a readout contract to test,not completed physical derivation. Active source retains absolute wall selector;no automatic physicalconnection=v117.
Original closed real delta transport action
Original EM3 action on its invertible closed epsilon0 branch with real delta, fixed U6 and all three cusps. Use actual common Gbase dictionary U6=diag(M0,-M0) and fixed marked P0. This is not a newly chosen independently projected physical variation.
Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.
Unchanged A0* Fuchsian equation and actual C4 clock
Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.
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.
Scopedexplicitbarekernel/fixedPstr/positiveconsumer,nouniversalphaseveto. GivenSeedstate/timealreadyexist;typedinsertionsaremissingbeforeevaluation. Originalcoherentopenlegorbroaderconnectionallowed. AlgebraicrhocharacterisnotmeasuredCPphase. Actual G-metric P/Q-to-U6 path is now positively closed; no further free metric choice. Fullspine/Pstr/original insertion remain distinct.
Read the exact result, assumptions and evidence
Result
Actual originalchain usesU6,Dy=yI-deltaU6 andfixedcompressionpositiveKstr. ExactDdaggerDdependsonU6+U6daggerandisorientationeven. UnsquaredresolventhasorientedFourierpowersbutdisplayed36sitematrixelementsarerealpolynomials. UnspecifiedVadmdoesnotderiveorientedresponse. v561suppliesrho;4rho/P2/V5arescalardiagnostics,notE8adjointtrace/sourceoperator. Actualv252/F5callhasnoC6representationororientedinsertion. Existingcommon-rayphaseblindnessanddistinctrelative-sourcequadraturesretained. Clarification30Oct: original A=D_fPstr,H=A†A,Kstr=H^-1/2 is fixed Gram normalization. PolarV=AK is isometric, but originalY uses HolK, not HolV. K as coupling coefficient need not be a CAR field isometry. BareU6=1 norm countertest excludes only that misidentification. K has an exact cubic cosine expression and fixedPstr variation δY=(δHol)K+HolδK with resolvent derivative; actualδD/δHol and endpoint variations must come from source.
Required assumptions
Original hard-holonomy contract with pure closed-triangle trace
Read original45 flavor sources defineY from canonical minimal paths of a Hermitian family connection andPi_triangle=Hol12Hol23Hol31 as ordered closed holonomy,delta=argtrace. DisplayedPi includes neitherKstr nor extraZ6operator. Nonreal asymptotic is a readout contract to test,not completed physical derivation. Active source retains absolute wall selector;no automatic physicalconnection=v117.
Actual full v252 gauge lift and original P2 comparison
Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.
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.
Only specified direct Pfaffian candidate at fixed scalar alpha with unchanged operators. No full P1 countermodel or general Pfaffian/TFPT no-go. Preserve given positive whole Clifford source,both faces,products,reflection and circle time. Actual J-odd charge connection or explicitly identified paired sectors are not excluded. Two faces are not automatically two quarter holonomy sectors. New conditional CAR insertion value repeats known target value rather than independently reading original source response.
Read the exact result, assumptions and evidence
Result
Actual old identity gives Jloc Dalpha Jloc^-1=−Dalpha+2alpha S. Thus beta_alpha(x,y)+beta_alpha(y,x)=2alpha<Jhat x,y>. A real compact radial profile in first normal slot with constant circle profile and J_F u=u gives beta_alpha(x,x)=alpha||x||²≠0 at both original quarters. The claimed unchanged beta_Dalpha Pfaffian source is excluded already on the interior smooth core. Old skew theorem at a^J=−a remains valid. Action comparison also requires a log profile with correctly counted full trace; eta alone determines neither magnitude nor source pairing. Later originals allow any declared f but do not thereby select a log profile; existing Frullani bridge explicitly treats scale-measure choice as input.
Required assumptions
Direct full Jloc Pfaffian at unchanged scalar quarter parameter
Test new direct source closure beta_Dalpha=<Jloc.,Dalpha> in existing old-complex collar with N,Z,S=NZ,Jhat=I⊗J_F,Jloc=S Jhat,Dalpha=N(∂r+Z(-i∂theta+alpha I)−S Phi),alpha=1/4 or3/4. Phi retains existing selfadjoint,J_F and oddness identities; fields and scalar quarter parameter remain unchanged. Claim is same antisymmetric Pfaffian source directly equal to primitive spectral action. Do not presume a J-odd charge connection, additional paired holonomy sectors or a new relative log profile as original consequences.
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.
Geometric Clifford boundary with explicit changed complex structure
Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.
All Fourier modes in specified1D circle source,finite K and constant classical odd Phi. No cutoff extrapolation or fitted state. Equivalent representations mean neither identical vacuum nor identical generator domain. Positive P_h sea excitation Hamiltonian is not the thermofield GNS generator of full G_ell state or physical OS time. No higher-dimensional or dynamic bosonic conclusion and no original P1 selection of Phi.
Read the exact result, assumptions and evidence
Result
For actual constant odd V=-i gamma Phi,||[P0(p),V]||HS²=Tr Phi² on every p=n+alpha. The pure insertion group is not implementable in the old sea for all small nonzero parameters. In contrast,||P_-(h)(p)-P0(p)||HS²=(1/2)Tr[I−|p|/sqrt(p²+Phi²)]≤Tr Phi²/(4p²). Thus complete sea Fock representations are equivalent in this1D class and full coupled evolution is implementable. The old sea nevertheless has infinite coupled excitation energy and is outside its energy form domain. The complete two-face G_ell(h) also differs from G_ell(h0) by HS,including crossing blocks.
Required assumptions
Constant odd circle-source coefficient with existing sea and full boundary graph
In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.
Geometric Clifford boundary with explicit changed complex structure
Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.
Complete data of both product-collar faces
A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.
Generic whole four-carrier. A narrow Creation30 or single-root contract needs separate checking; marked2+1 three-plane still gives(s,s,0). Arbitrary additional original torus letters lie outside the two-projector alphabet. No physical Yukawa or mass origin. Retain old symmetric source420 and complete normal-clock hierarchy bound.
Read the exact result, assumptions and evidence
Result
For K(x,w y),w^t=(-1)^n w_rev with inverted group letters. In the native two-phase lepton class generic h gives [[0,Z],[Z^t,0]],hence(s1,s1,s2,s2). Actual g2 roots e4−e6,e4+e6 with family coefficients eta13=1,eta24=2 give det Sym(eta T)=9/4 and squared singular values3,3,3/4,3/4. Both roots are sigma invariant:[ad_h,Ad_sigma]=0 despite nonzero symmetric pairing. Lack of reversal symmetry therefore proves neither noncommutativity nor physical time ordering. The word is already the actual grade-one affine source correlator <Omega,J^x_1 rho(w)J^y_-1 Omega>.
Required assumptions
Native third clock and actual current-word pairing
Given original D5+A3 E8 embedding, native toral third b=(-1,-1,-1,0,0,-1,0,0) and its coherent C12 field lift. Test K(x,w y) on g1 using complex-bilinear invariant K and actual ad_u/group letters. In the lepton pairing the carrier color charges vanish and actual family4 sigma phases have multiplicities2+2. A one-Higgs two-class subclass permits one generic fixed h in g2 and otherwise only functions of those same two sigma projectors. Do not presume physical Weyl-field type, temporal ordering, the arbitrary A3 torus or a marked three-plane.
Full unitary E8 field conjugacy with transported marks
Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.
New automatic use of existing rigidity and whole source map, not a new general GNS/learning algorithm. Same scalar future relative to the declared alphabet; additional P2 insertions must be retained separately. The finite channel decision does not truncate the infinite circle/Fock system. No original P1 source selection; physical interacting successors need not preserve the old free source.
Read the exact result, assumptions and evidence
Result
For one p>0 in the already given constant odd Clifford source the occupation defect D_p on F+ is positive and kerD_p=F+ intersect kerPhi. The existing whole field/state/reflection/same-time map makes every resulting constant channel an identification of all scalar future responses. Known Phi needs only its exact kernel, without exponentiation or directional scanning. A direct actual-v252 control finds no such channels in the existing invertible input; rank-defect controls find2/1 positive and1/0 neutral directions. On nu_R^c tensor C3 the kernel is exactly ker[MR;entrywise_barYnu]; a nonreal control rejects replacement by adjoint.
Required assumptions
Fixed local quarter channel in a constant odd source coefficient
Given the existing Clifford graph source h=A_alpha g-i g Phi with A_alpha=-i partial_theta+alpha,alpha1/4 or3/4,Hermitian involution g and constant selfadjoint odd Phi. Compare fixed local map V_e f=f tensor e,g e=e,unit e,at fixed beta>0 and identical momenta/references. Original elliptic comparison uses actual W1/2 normalization,beta4pi and unchanged fold/normal-ordering reference. If classically averaged,a positive probability law on such constant Phi with fixed e,p,beta is explicitly supplied. This describes neither complex Pfaffian weights,moving field dictionaries nor general quantum-boson families.
Actual full v252 gauge lift and original P2 comparison
Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.
Exact independently checked inverse-data control. Equivalent when all fields are conjugated together; locality of U is unproved. Not a physical alternative candidate or full P1/P2 countermodel.
Read the exact result, assumptions and evidence
Result
For all alpha,beta, H and UHU* retain the full thermal partition, charge, quarter phase, sea energy and joint eta/sea/Ward identity. U fixes vacuum and one-particle sector and hence all vacuum two-field time responses. Yet the fixed neutral pair response at t=log2 is 1/2 versus13/50 after removing the same common sea factor.
Required assumptions
Fixed fields in the four-mode diagnostic
Given: the first two particle/hole pairs of one chiral CAR source, energies (alpha,1+alpha,1-alpha,2-alpha), the same Hurwitz sea energy and fixed field labels. U rotates only neutral pairs p0h0/p1h1 by 3/5,4/5. Spatial locality or P1/P2 selection of U is not assumed; this is not the internal P2 V16 carrier.
Conditional absolute extension of the supplied single chiral source. Regularization is input; neither subtraction nor bulk/eta cancellation of the central phase is proved from P1/P2. Angular determinant and thermal partition sum are different functionals. The finite excitation-product control already retains the full regularized sea term. The response is twist-conjugate spectral charge, not a new physical event law.
Read the exact result, assumptions and evidence
Result
The declared Abel/zeta subtraction gives E_sea=-1/96. At beta=2ell=8log4, q_beta=1/65536 and Z_beta[0]=exp(-beta E_sea) times the complete particle/hole product. Its two-mode factor is2^(1/6)69649/65536. Adjoint field action stays i/-i; the absolute time-loop operator additionally carries exp(-i pi/48). Existing tail bounds apply at the same beta. Under the same Hurwitz prescription E_sea=eta(0)^2/8-1/24 and d_alpha E_sea=-eta(0)/2. The logarithmic alpha derivative of the unnormalized thermal partition sum agrees with the occupation response including the sea term, checked by an independent Fock trace and explicit derivative tail bound. The resulting actual reference amplitude2^(1/12) passes the existing CLI moment search with206 source moments; the same data with reference amplitude1 are infeasible. This is a numerical software control under the same supplied regularization.
Required assumptions
Given chiral source in both quarter domains
D_alpha=-i∂theta on f(theta+2pi)=exp(2pi i alpha)f(theta), filled negative spectrum and relative particle/hole excitation time; alpha=1/4,3/4. This compares two conjugate domains, not opposite charges in one fixed domain or all P1 sources.
Charged CAR algebra and original negative sea
Assume the actual field algebra is charged CAR(H) and its reference state is the pure quasifree sea with occupation 1−C. Relative charge and positive excitation time are normal ordered against this sea. This physical identification is an additional premise.
Explicit Abel subtraction of chiral sea
For the already given single chiral particle/hole source, use the exponential Abel sum of negative sea energies and subtract only its -1/epsilon² term. This is a declared absolute regularization; its selection and compensation of the central loop phase by an original eta/bulk contribution are not presumed consequences of P1/P2.
Given angular quarter operator and zeta cut
Given a single circle operator D_alpha=-i partial_theta with f(2pi)=exp(2pi i alpha)f(0), 0<alpha<1, complex-fermion zeta quantization and negative eigenvalue argument +pi. The quarter source has alpha=1/4; alpha_ref=3/4 is a diagnostic comparison, not archival D_ref. Its angular Green propagation is not positive occupation covariance or already physical time evolution.
Supplied zero-mode-free angular circle operator with fixed spectral cut. Not the full physical TFPT source operator, not thermal occupation, and no identification of the diagnostic reference branch with D_ref. Transport periodic operator and source frames together when varying alpha.
Read the exact result, assumptions and evidence
Result
For supplied D_alpha, zeta quantization gives det D_alpha=1-exp(2pi i alpha), exactly1-i at alpha1/4 with eta(0)=1/2. The same operator gives G_-=i/(h-1), G_+=ih/(h-1), jumpi and retained holonomyh=i. The joint source derivative contains partial_alpha log det=pi cot(pi alpha)+i pi; the extra i pi is the eta contact term. The general determinant formula also retains zeta(K²;0).
Required assumptions
Given angular quarter operator and zeta cut
Given a single circle operator D_alpha=-i partial_theta with f(2pi)=exp(2pi i alpha)f(0), 0<alpha<1, complex-fermion zeta quantization and negative eigenvalue argument +pi. The quarter source has alpha=1/4; alpha_ref=3/4 is a diagnostic comparison, not archival D_ref. Its angular Green propagation is not positive occupation covariance or already physical time evolution.