Complete construction within the already supplied free source. No P1/P2 selection or infinite particle-hole unitary in empty Fock space. Convergence is in a common HS/Choi space, not of raw filled Slater vectors in empty Fock space. Relative partition sums do not recover the divergent absolute sea scalar. A single chiral D_alpha branch; the entire doubled graded collar is not identified with the same time/loop generator.
Read the exact result, assumptions and evidence
Result
In the supplied sea-relative chiral CAR model the same particle-hole map produces charge N_+-N_-, positive energy and W=exp(2pi iH)=i^(N_+-N_-). The original signed two-mode amplitude diag(1,1/4,64,16) becomes diag(1,1/4,1/64,1/256) through that map and the separate sea factor64. The infinite weighted l2 domain, geometric trace tails and explicit operator-norm/Choi-HS bounds control state and time beyond finite windows.
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.
Exact map of the supplied source and conditional E8 lift; first marking, source realization and physical event law are not derived from P1/P2. Both quarter domains remain explicit; no switch to another branch to solve a fixed-sector question.
Read the exact result, assumptions and evidence
Result
n→−n−1 forces j→7−j and O=−MRM^T with O(x)=(x4,−x5,−x6,x1,−x2,−x3,x8,x7). O d_alpha=d_(1−alpha); P5_beta=O P5_alpha O^-1 and k_beta=k_alpha∘O^-1 need no new marking choice. Sea state and positive time are transported; the E8 current lift assumes the existing extension.
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.
Stipulated E8 quarter-fold dictionary
The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.
First 5+3 marking and Z4 character supplied
In the supplied E8 dictionary, D5 on the first five coordinates, D3 on the last three and k=2sum(p1..p5) mod4 are given for the first quarter domain. The other domain may transport these data covariantly; their original physical selection is not presumed.
Given chiral source. No selection from P1/P2, no equal responses within one fixed twist, and no identification with affine r0.
Read the exact result, assumptions and evidence
Result
n→−n−1, alpha→1−alpha gives C D_alpha C^-1=−D_(1−alpha). Particles become holes and conversely; normal charge reverses and positive excitation energy is preserved. The unique sea state maps to the other sea state without adding a zero vector within one domain.
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.
Only the supplied affine dictionary. Backgrounds or time-dependent covariant symmetries have different premises; no general gauge-physics no-go.
Read the exact result, assumptions and evidence
Result
Mdelta=(-1/2,0,alpha/4,-1/2,0,(alpha-1)/4,-1/4,-1/4). The six (3,2) root energies are (0,1/2,1/2,1,1/2+alpha/4,1+alpha/4). K therefore does not commute with the fixed full SM action. The quarter phase is retained.
Required assumptions
Original oriented exterior carrier
Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.
Stipulated E8 quarter-fold dictionary
The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.
Only the stipulated even E8 lift; full odd-Z8 sectors remain additional. No transfer of the different (9,1) source. The ±i path orientation is not selected.
Read the exact result, assumptions and evidence
Result
In the supplied positive E8 module X=E_s commutes with SU8 root currents because alpha.s=Q(alpha)=0; oscillators are fixed. C=Z_e0 R gives CXC^-1=±iX and P sign+1. This is a direct global operator bridge, not X=Y(s).
Required assumptions
Stipulated even E8 completion with actual Klein signs
Assume the E8 extension of the even D8 CAR sector constructed in seam-joint-ward-state, with original ordered cocycle, retained quarter transition and explicit P-lift convention. An ordinary-local inclusion of odd CAR fields is not assumed.
Fixed CAR source and adjoined half sector
Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.
Source provenance and exact algebra under each stated normalization, carrier, primitive sector and defect response contract. No general nonderivability theorem, no retraction of the canonical circle defect line, marked D5 response or positive root uniqueness. No new physical selector or ledger promotion. Historical linear, exponential, quadratic and resummed openings are different calculation contracts; similar coefficients do not prove identical physical actions.
Read the exact result, assumptions and evidence
Result
Older originals give explicit factor provenance: V1.06 uses g=n/(8pi²), n=1 and g=8c3². ImprovedCubic of18September2025 gives linear backreaction1-2alpha; v2.7 derives exp(-alpha J) under additive defect coupling with J=d SF=2. In the later carrier gamma=tr_EY²=3/9+2/4=5/6 and B=rankE3/rankE2=3/2, so B gamma=5/4; family trace tr(S+)Y²=10/3 gives b1=41/10 for three families and one Higgs. The rank-one determinant yields (1-q)^(-5/4); its response q+(5/4)q²+(45/32)q³+... embeds the earlier two-defect coefficient in a fixed series. These factors must not be dismissed collectively as unexplained fits. Full identification remains narrower: v2.7 declares the CFE potential coefficients as supplied scheme inputs; v4.2 supplies P_loc'=alpha³-2c3³alpha² as a condition and defines Gamma by integrating the desired response. The master proof identifies its U(1) block with the already-defined EM action; it does not evaluate an original coupled Dirac determinant to obtain that F there.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Source-reviewed status/type correction, not a new general nonderivability theorem or gate. P1/P2 remain accepted starting principles; being axioms is not an objection. The line is derived on the old circle, not an arbitrary vector to select again. v382 replay26October:6/6; literalTrue status checks do not prove open functional origin. Ledger Numerical and full physical status remain unchanged.
Read the exact result, assumptions and evidence
Result
Coefficient identities and the unique alpha root are retained. The old circle canonically supplies Pi and det_F(1-qPi)=1-q; for trace-class C-P the same relative factor survives exactly in every faithful KMS polarization class on that same circle. Actual full positive projection covariance fixes the whole CAR state without an extra Gaussian premise. The finite Quillen chain is beyond its older open summary: v985 resolves the finite mu4 channel swap; v995 closes finite KMS rigidity and state extension; v1014 checks the finite determinant-line restriction isomorphism and records reference A0. Do not reopen those steps. What remains is the original local EM source/operator map and relative real renormalized determinant norm producing the seam factor with response exponent5/4, coupling q(alpha), local variation terms and normalization in the same channel. Abstract continuum/Bismut-Freed identification and matching to the physical Thomson coupling do not follow from finite calculations. Chiral phase cancellation does not refute real EM susceptibility. EM.WARD.01 and ALPHA.QUILLEN.EXACT.01 retain their existing physical residual.
Required assumptions
Specified EM function with positive seam response
F(x)=x³−2c³x²+(4/5)c⁶M log(p+q(1−q)^(−5/4)), c=1/(8π), p=1/(6π), q=48c⁴exp(−2x), M>0; original budget M=41. The function and inputs are premises here.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Same original circle with trace-class changed polarization
For the mathematical continuation retain H,B_a psi_n=(n+a)psi_n,0<a<1,u psi_n=psi_(n+1),P=1_(B_a<0),uPu*=P+Pi. C is a positive contraction with trace-class C-P; actual functional-calculus C_beta=(I+exp(beta B_a))^-1,beta>0 belongs to this class. Physical KMS/OS/EM source identification is not presumed.
Test a positive joint CAR source against the full geometric projection
Consider an arbitrary normalized positive state on the specified joint charged two-face CAR algebra,without assuming quasifreeness or U1 invariance. The geometric target is the existing closed chiral annulus graph P_A with both marked faces,W=1/2 and original NS B_Sigma. Actual identity C_source=P_A is an explicit condition of the uniqueness theorem and an unresolved P1 source equation,not a fact inferred from geometry or RP. A finite error test applies only on a genuinely P_A reducing CAR block. Complete Dirac vector source,OS Padm and physical time are not identified with this chiral scalar target. No freely chosen purification supplies missing physical cross correlations.
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.
Exact response in the specified existing source, not a new field or fitted exponent. Does not derive physical preparation, u=48c3^4, q=exp(-2alpha), outer uq, baseline1/(6pi), or original EM instrument. Common time is not sector-resolved D5 readout. Replay26October2026:21/21; finite coefficient checks through degree12 do not replace the general series proof.
Read the exact result, assumptions and evidence
Result
Exactly G_u(q5,q3)=[(1-u)/(1-uq5)]^(5/4)[(1-u)/(1-uq3)]^(3/4). Hence G_u(q,1)/G_u(0,1)=(1-uq)^(-5/4); the common-time diagonal G_u(q,q) instead has exponent2. Powers follow from actual charge norms and the convergent oscillator series. Normalized local T5 insertion has Ward coefficient5/8. Fixed C/J do not generally preserve P5 but jointly transport charge and marking covariantly.
Required assumptions
Marked regularized E8 charged state and sector-grade response
Existing positive E8_1 lattice vacuum source with original D5/A3 marking and 48 retained charges beta: beta^t P5 beta=5/4, beta^t P3 beta=3/4, beta²=2. The regularized charged vertex state has free preparation parameter u=r² in (0,1). N5,N3 are strongly commuting nonnegative oscillator grades; q5,q3 in [0,1] parametrize spectral readout. Keep original C/J matrices. u=48c3^4, q=exp(-2alpha), physical preparation, instrument and common time do not follow.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Mathematical theorem for the fixed function; not a cubic polynomial because the seam response depends on x. No parameter or physical Thomson-transfer derivation; ledger Numerical unchanged.
Read the exact result, assumptions and evidence
Result
Log-convexity of the stated seam response and the sign before x=2c³ prove exactly one positive simple root globally. For M=41 its reciprocal is approximately 137.0359992168407. The analytic proof is distinct from the 10 rerun symbolic/interval checks. It holds for every M>0 and therefore does not select M=41.
Required assumptions
Specified EM function with positive seam response
F(x)=x³−2c³x²+(4/5)c⁶M log(p+q(1−q)^(−5/4)), c=1/(8π), p=1/(6π), q=48c⁴exp(−2x), M>0; original budget M=41. The function and inputs are premises here.
Historical minimal-transfer definition with fixed readout; the single line has since been canonically reconstructed on the old circle. Neither this reconstruction nor independently proved root uniqueness is retracted. Original physical P1/EM mapping and renormalized Thomson observable remain separate.
Read the exact result, assumptions and evidence
Result
For the defined rank-one projector U_Sigma^min and stated parameters, T_Sigma=(1-delta_top exp(-2 alpha))^(-5/4) and the displayed scalar closure equation follow algebraically. This calculation does not independently prove physical selection of that projector, parameter set, or transfer to the Thomson readout.
Required assumptions
P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Retained localZ,full joint words and actual mass1width8Bloch matrix. Register-neutrality alone identifies no spinor; totalgrade and halfCartans distinct. New Gauss rule with globalWilsonZ changes premise and remains underived. AllN bound analytic,not extrapolated from finite energy/cusp controls; Ramond zero-mode mixture not replaced by Wick.
Read the exact result, assumptions and evidence
Result
Remote locality to original evenZ gives exact||(Z-i^r)v_N||²=sum_q|i^(r+q)-i^r|²||v_qN||²,allnonzero-grade weights>=2; arbitrary register-changing vacuum components vanish in norm. Actual Bloch ground functione=-Tr|h|/2 has only cusp-|p| at0 and e'' of finite total variationV. Fourier bound|e_m|<=V/(2pi m²) and exact sampling give allN/all4flux |N(E0_alpha-E0_beta)/(2pi)|<=V/6. With ONE initial vacuum reference H_full>=-V/6,so off-grade components also vanish in full fixed-time kernel. No independently chosen flux energies.
Required assumptions
Retained local register with one common original vacuum reference
Original v1033 Z4 register Z remains even local and remote from the proposed localized bosonic field. Initial sea has definite quarter r1or3. Full joint words retain norm of remote commutator[Z,T_N]Omega_N,required to vanish. Register Hamiltonian stays block diagonal in Z with ONE common initial-vacuum subtraction,no independently chosen sector energies. Keep actual mass1width8 Bloch matrix with both edges and all massive modes. No new Gauss support rule.
Unchanged full quarter-QWZ excitation source
Current v1033 QWZ cylinder at mass1,width8,ONE complex CAR copy,alpha1/4 or3/4,full negative sea and H_N=N/(2pi)[dGamma(h_N)-Tr(P_Nh_N)]. Retain both edges,massive modes,charge sectors and physical energy/vacuum reference; compare actual low eigenmodes. No P1/P2 selection of this realization,changed stress or executed quotient.
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.
Global comparison at same source energy/charge,with changed odd D8 action. No local spinor/FE-GEN/ALG-EXH/P1-core-circle theorem. Other gauged observable nets and outer DHR extensions not excluded. SOURCE W1 remains global with inherited cocycle phases; both edges retained. Symbol-only Pfaffian/J-grading proposals rejected by type checks.
Read the exact result, assumptions and evidence
Result
22Oct joint The reviewed audit: Phi=I on even D8,rho=Pp+r on odd v with oscillator permutation is an exact global unitary Z8->D8+c preserving full H,Q,vacuum. [Pr=-r,Pdelta=delta+r,r²/2+delta.r=0] proves all energies; theta Q/parity controls throughE32 agree in bothquarters. SOURCE winding1 transports to q->R^5q+lambda,lambda=(1/2)^5(-1/2)^3,charge1,K-increment(Q+alpha)/8,eight-step carry(1)^8. But a local target Cartan Weyl unitary becomes Pi_even W+Pi_odd W*,whose commutator with remote odd CAR-B equals parity B(W-W*)!=0. No unchanged proper-local CAR inclusion. Separately,v774 anchor bit fails uniform Spin10-invariant NS/R-label identification since rank[C,E45]=4.
Required assumptions
Given eightfold source fold with explicitly changed odd target action
Given existing one-copy CAR source,sea,fold,p in Z8,Heisenberg oscillators,Q=sum p,H=8K,K=N+p²/2+delta.p with delta_k=(k+alpha)/8-1/2,and actual SOURCE windingT1=Rp+e0,alpha1/4or3/4. Test explicit Phi=I on D8,rho=Pp+r on odd v with oscillator-P to odd spinor extension. Odd target Cartan action is explicitly changed by this comparison; inclusion in the original local net is separate. Neither folding,SOURCE/P1-core circle identification nor bosonic statistics is derived from P1.
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.