Skip to main content

Explore the foundations and current research.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Reviewed results

185 matching reviewed results

Established in scope

Actual quarter conjugation transports the supplied marking

In the question: Which partner actually belongs to the original seam?

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.

Original evidence

  • PROOF.txt lines 80–187

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-conjugation-20261015/PROOF.txt

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

finding:joint-quarter-transports-marking

Established in scope

Concrete pair operator; source neutrality is not hypercharge neutrality

In the question: Which partner actually belongs to the original seam?

Original carrier plus supplied E8 charge dictionary; no physical field identification.

Read the exact result, assumptions and evidence

Result

epsilon1 epsilon4 produces u1∧u4 in the carrier: Y=1/6 and source charge change0. Root operator, spinor carrier vector and affine root-current state have different types. The exterior unit is the internal nu^c label, not the affine vacuum.

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.

Original evidence

  • PROOF.txt lines 13–63

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-partner-original-action-20261015/PROOF.txt

    ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c

finding:partner-carrier-charges-and-state-types

Established in scope

E8 current group conditionally determines the P sign

In the question: Constructive seam search: operators, state and source compatibility

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.

Original evidence

  • PROOF.md lines 29–178

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/continuation/current_group/PROOF.md

    f43ab51961cc19fb39dc2feab427463391d38962c4ba58276056787f3cae563a

finding:constructive-current-group-selects-positive-p-lift

Established in scope

Eight independent charged response directions reconstruct δ

In the question: Which responses distinguish charged time action?

Known preparation/time normalization in the given E8 Fock space; identifies δ, not q,τ, physical instruments or P1/P2 source selection. Eight directions require their respective ± responses.

Read the exact result, assumptions and evidence

Result

Cδ(p,t)=exp[−t(|p|²/2+δ·p)]. With yi=−log[Cδ(bi,t)/Cδ(−bi,t)]/(2t), y=Bᵀδ and δ=(Bᵀ)⁻¹y. Eight independent directions suffice and are necessary for unrestricted δ in this linear data class.

Required assumptions

  • Normalized charged primary responses with known time scale

    For the given Kδ, normalized primary charge states ±bi for eight independent original E8 basis charges and their positive e^(−tKδ) return amplitudes at known common t>0 are supplied. Global charge shifts are not thereby derived local physical instruments.

Original evidence

  • ADDENDUM.md lines 72–150

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/ADDENDUM.md

    54adf5088665c2eb9c7ae1f280f5e641ea30df39b06d53c4576e141f0458158d

finding:eight-charged-responses-reconstruct-twist

Scoped exclusion

The same fixed time operator disallows this affine J lift

In the question: Clock action on charge, time and quarter transition

Exclusion only of the affine lift model at fixed K,Q and oscillator level; covariant tuple transport remains possible.

Read the exact result, assumptions and evidence

Result

An isometric affine lattice lift Ap+r with A²=−I and unchanged oscillator level would require r=Aδ−δ and hence −2δ=(I+A)r in the E8 lattice. Adjacent coordinate differences of2δ are1/4; this fails exactly. Also Jq≠q.

Required assumptions

  • Stipulated E8 Fock space with marked clock tuple

    Given the original ordered CAR/E8 cocycle, E8 Fock representation, Kδ(p,N)=|p|²/2+δ·p+N, original q and full uncompensated quarter transition. J is the actual Gaussian lattice operator, not the cyclotomic Galois operator. A covariant comparison transports δ,q,τ together; a fixed marked source holds them fixed.

Original evidence

  • PROOF.md lines 44–76

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/PROOF.md

    9d3b3ba713b1a2ef450b5287dc15baf7c29fac224365f6b5ee70f39a261baebc

finding:fixed-source-affine-j-obstruction

Established in scope

J transports the whole source tuple

In the question: Clock action on charge, time and quarter transition

Given E8 completion; no physical sectors, switching rates or local instruments selected from P1/P2. As a torus operator τ is identifiable only modulo the dual lattice.

Read the exact result, assumptions and evidence

Result

The original cocycle admits a unitary lift UJ with UJ⁴=I. It intertwines Kδ,Qq and the full quarter transition with KJδ,QJq,tJτ on the entire stipulated Fock space. The four frames are a covariant family; q must be transported.

Required assumptions

  • Stipulated E8 Fock space with marked clock tuple

    Given the original ordered CAR/E8 cocycle, E8 Fock representation, Kδ(p,N)=|p|²/2+δ·p+N, original q and full uncompensated quarter transition. J is the actual Gaussian lattice operator, not the cyclotomic Galois operator. A covariant comparison transports δ,q,τ together; a fixed marked source holds them fixed.

Original evidence

  • PROOF.md lines 78–194

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/clock-source-twist-transport-20261015/PROOF.md

    9d3b3ba713b1a2ef450b5287dc15baf7c29fac224365f6b5ee70f39a261baebc

finding:actual-j-covariant-source-transport

Established in scope

The marked D5 grade response derives exponent5/4 from the same E8 source

In the question: Alpha: derived terms, unique root and physical EM identification

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.

Original evidence

  • PROOF.txt lines 26–176

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-sector-readout-clock-20261013/PROOF.txt

    26e6480a6304e4da5be96328e70f5f56c5bee1bfde7e58593a34a273016d09e0

  • checker.py lines 42–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-sector-readout-clock-20261013/checker.py

    bf949d11034c1d17322971b58c712c0bef01bb6a3d0e6aa63aeca6d7d41b45d6

finding:marked-e8-sector-grade-response-realizes-five-quarters

Scoped exclusion

Complete Dirac vector phase pairs have no half Cartan Ward charges

In the question: Historical: common source, state and event selection

Only smooth vector-phase class and unchanged mixed Ward action in stated complete Dirac contract. No all-spinor/P1 no-go,arbitrary global-loop-holonomy theorem or infinite determinant theorem. C/1-C are grading components on one face. Chiral source, changed current representation and other original operations outside scope.

Read the exact result, assumptions and evidence

Result

Implementable commuting vector phases obey[J_i,vec(h),V_vec(f)]=0 because opposite grading cocycles cancel and noncentral term vanishes. At pi interval profile separate chiral components have opposite half endpoint residues; full vector sum0. Thus not a spinor pair withlambda_i=±1/2 under SAME8vector Cartan currents,including scalar renormalization and mixed-word limits. Finite exact control for any Hermitian C andunitaryg: chi_(1-C)(g)=detg conjchi_C(g),normal-order-corrected complete amplitude|chi_C|².

Required assumptions

  • Complete vector phases with unchanged Cartan Ward action

    Only original complete Dirac/CAR Lagrangian source with normal-commuting implementable smooth profiles H_i h and fI, common analytic domains and regular Weyl representation. Target comparison retains same8 vector Cartan currents and mixed Ward words. Two grading components C,1-C on ONE face are neither strip edges nor collar faces. Finite complementary determinants are algebraic controls only; no unregulated infinite determinant or automatic QWZ/Dirac source identification.

  • Complete Dirac Cauchy source with Lagrangian normal action

    Complete orthogonal Dirac Cauchy projection C on the entire boundary module, with actual normal unitary Clifford action N satisfying N C N*=I-C. Explicitly assume charged CAR quantization with pure quasifree covariance C. Bounded current generators X,Y commute with N and have Hilbert-Schmidt commutators with C. The existing compact product collar B=diag(A_alpha,-A_alpha) on both components and both faces is the concrete control; its smooth scalar boundary multipliers are implementable. Statistics and physical measure selection are not derived from P1; no automatic extension of the unrenormalized trace to higher boundary dimensions.

  • 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.

Original evidence

  • NEUTRAL-DEFECT-PAIRS-AND-VECTOR-WARDS.txt lines 76–157

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/NEUTRAL-DEFECT-PAIRS-AND-VECTOR-WARDS.txt

    e798405b02c979e0f9e77e223a097ea9ae269c3bd677a501f2becc8f00c0dda5

  • check_neutral_pairs_and_vector_wards.py lines 1–194

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/check_neutral_pairs_and_vector_wards.py

    2f558542e6162dccdd123a2e68c2fd2a337e57adedb59a497779208c29a914c5

  • neutral-pairs-and-vector-wards-results.json lines 1–97

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/neutral-pairs-and-vector-wards-results.json

    3181894c8896cbdbfa2d6041ecbe1c6f21f6d41938d9b97f1cffddb92b415dad

finding:complete-dirac-vector-phase-pair-has-zero-spinor-Ward-charge

Conditional result

Exact conditional parity-Gauss representation localizes half flux without new physical dimension

In the question: Historical: common source, state and event selection

Redundant kinematic generators and local Gauss/observable rule are ADDED premise, not P1-derived. No new physical dimension relative to EVEN original carrier, but different local net. No QWZ/Dirac-source identification, spinor-field limit, FE-GEN/ALG-EXH/E8, chiral measure selection or mirror absorption. f(Z) references can become nonlocal.

Read the exact result, assumptions and evidence

Result

Explicit gauge-orbit isometry E is onto full Gauss space for all sizes, E*E=1,GxE=E,HnewE=EHold,WE=EZ,tau_a^x E=E F_[0,a]. Full even register-matter dimension, all transported state words, positivity, adjunction and common original time preserved; old local register Z becomes GLOBAL Wilson loop. Exact whole128dim control and48 actual width8 one-body gauge cases check signs; all-size theorem rests on orbit proof. Mere word-preserving gauge representation cannot give complete Dirac vector-current response a new central phase.

Required assumptions

  • Conditional local parity-Gauss completion with common original time

    ADDED comparison contract, NOT P1-derived: old four-state register with total-even matter; redundant Z2 link qubits and local Gx=(-1)^nx tau_(x-1)^x tau_x^x=1; gauge-invariant local observable net. Original QWZ hopping coefficients, common microscopic Hamiltonian and energy reference; no new electric energy. Sector-specific f(Z) subtractions must map to f(W) and can be nonlocal. No identification of Gauss space with original Padm.

  • 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.

Original evidence

  • REGISTER-GRADE-LIMITS-GAUSS-AND-DIRAC.txt lines 112–235

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/REGISTER-GRADE-LIMITS-GAUSS-AND-DIRAC.txt

    94dc3fe2f4b612b2a6f081db8339165f6b7beadfb764f4e3ae143b922d9aa8dd

  • check_gauge_locality_completion.py lines 1–197

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/check_gauge_locality_completion.py

    00a825e406e510e445034e7b7b6aee68196bef709932c5a39beae47abbbeb69c

  • gauge-locality-completion-results.json lines 1–19

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/gauge-locality-completion-results.json

    47bf102ccffb109dc061c89fd9985819560f8ba9928c389f3135d3e5966e1f93

finding:exact-parity-gauss-locality-completion-of-register-source

Scoped exclusion

Direct sharp half flux fails register/quotient locality and local normality

In the question: Historical: common source, state and event selection

Only unchanged sharp actions under their separate actual contracts. Smooth punctured-circle sectors may be locally normal and globally inequivalent and remain open; full-CAR implementability does not imply trivial even sectors. Phi/Sigma witnesses not identified without a map. RightHom(s tensor beta,beta) absorber distinguished from charged field. No all-P1 assertion or microscopic E8 closure. Unavailable user18+38 package not claimed replayed; own original controls and analytic proofs separated.

Read the exact result, assumptions and evidence

Result

22Oct pasted half-flux report independently checked: F_A Z F_A*=-Z while registerZ stays even; finite matterAdP_A inner despite transport/fusion/exchange relations; v746 pair-currentK_j even,clock-invariant and half-flux-flipped in each base window. Direct sharp chiral sign change has non-HS covariance difference near jump with log((eps+delta)^2/(4epsdelta)) divergence; Araki root-HS necessity and even crossed-product extension exclude local normality also on standard even free net. Current v1033 builder Nx8Ny8 confirmsR(d,k)=(2,1),NS(0,0); uniform fixed-filled R has<nLnR>0 versus quasifree1/4,purity1/2. Common flux changes both edges. F_A does not identify complete prescribed NS/R state responses.

Required assumptions

  • Sharp half flux in separate original net/state contracts

    Check separately under their own premises: v1033 with expressly ADDED M4 flux register,F_A=X² tensor(-1)^N_A,even algebra M4 tensor CAR+,common strip flux and uniform fixed zero-space filling; v746 with full CAR of paired window I union(I+N/2),NS-clockS^(N/2),halfcircle sign; direct chiral free limit as sharp-sign Bogoliubov on standard locally normal NS CAR net. No unproved identification of these nets and no exhaustion of smooth/renormalized outer-field limits. Even-to-full normality argument uses the standard free local factor contract.

  • 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.

Original evidence

  • HALBFLUSS-UND-CLAUDE-REVIEW.md lines 1–102

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/HALBFLUSS-UND-CLAUDE-REVIEW.md

    2132c27bf458130c0c184636256f709a6806c46471ac2c3e6593bce051a7014f

  • check_half_flux_audit.py lines 1–90

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/check_half_flux_audit.py

    fe487e44b56d4ca278bf51b299df0c529eafa3a34b2c5dae8403260a5860bb06

  • half-flux-audit-results.json lines 1–47

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/half-flux-audit-results.json

    b6b385cbd57357a5e102f5c50072d270c802eded0bff2ea90f819bd950d46041

finding:sharp-half-flux-register-quotient-and-local-normality-exclusion

Established in scope

Full finite-energy carrier of unchanged QWZ source exhausted

In the question: Historical: common source, state and event selection

Same full free cylinder,sea,time,energy scaling. No extra independent finite-energy multiplicity; NOT a complete classification of local scaling nets. Eightfold folding with another coordinate/locality/stress dictionary remains possible. Other defect sectors,vacuum subtractions,sources or interactions need a new map. No P1/E8/T1-T8 closure.

Read the exact result, assumptions and evidence

Result

22Oct: Three rho ranges in h²=sin²p I+(H0+rho Z)² show at most two eigenvalues per momentum have magnitude<1/2; all others cost>=N/(4pi). Fixed energy E enforces finite,N-independent |j-alpha|<=pi E/2. Both small branches give |j-alpha| with opposite edge orientations. For E outside the limit spectrum the ENTIRE Fock spectral rank stabilizes,not merely fixed words. Tr exp(-beta H_N) converges for every beta>0 to product_j(1+exp(-beta|j-alpha|))²; bounded mean energy gives subsequential compactness.10 exact source identities,2 direct full-builder and12 spectral controls passed; all-N reasoning independently reviewed.

Required assumptions

  • 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.

Original evidence

  • FULL-FINITE-ENERGY-AND-SECTOR-MENU.txt lines 11–140

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/FULL-FINITE-ENERGY-AND-SECTOR-MENU.txt

    331ad3b50a90ccd3e9ab16905e44b0a2ee04e84c92459739d0ac22f337d602b9

  • check_full_energy_sectors.py lines 1–170

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/check_full_energy_sectors.py

    6c723ad3bb36cf50f81e22188d451c5206be8546cdf76e9528739b22e78b3c0a

  • full_energy_sector_results.json lines 1–172

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/full_energy_sector_results.json

    7ed4550b5b8d54c46810a409fdcd9622d5e78408d31e96db6cbc3bb1479cdbce

  • FULL-ENERGY-REVIEW.txt lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/FULL-ENERGY-REVIEW.txt

    9f56da62f659b3d9479b15c15e570e2f6fae944804b8244008c867b00cf79d4e

finding:unchanged-qwz-full-finite-energy-spectral-exhaustion

Scoped exclusion

Automatic full Dirac identification of the chiral current phase fails

In the question: Historical: common source, state and event selection

Original complete two-component Dirac collar and explicit CAR/Lagrangian/implementability class; no novelty claimed for standard current/Dirac theory. No exclusion of all P1 sources or chiral-measure/inflow realizations. Cauchy projection, APS sign subspace and OS Padm stay distinct. No computed fixed-domain spectral response, physical event execution or 4D no-go. Higher-dimensional trace formulas need separate control. All original native4/5/20/carry/E8/eight-preimage structure retained; no new finite-code closure requirement. Prior measure/log-profile boundary and open chiral/determinant-line contracts reused, not closed.

Read the exact result, assumptions and evidence

Result

Excluded is the automatic identification of the complete normal-commuting Dirac-CAR vector current with the original nonzero chiral current phase, only under the stated premises. UR.COLLAR.FACE_CURRENT.01, DIRAC-LIFT continuation: For a complete Lagrangian Dirac Cauchy projection C with N C N*=1-C, c_(1-C)=-c_C. For implementable X,Y commuting with N, unitary covariance also gives c_(1-C)=c_C, hence c_C=0. In the existing product collar B=diag(A,-A), occupations n(A) and1-n(A) on ONE boundary face give -2i,+2i and total0 for the original four-mark-fixed profiles. This differs from the earlier two-face cancellation of one scalar block. Fixed Clifford symbols force g I2 on this two-component module; diag(g,I) changes the normal/tangential symbol. The complete lift D_phi=D-i chi_prime phi Jn-chi phi_prime Jn Gamma is a bounded Hermitian perturbation. Transported domain/reference/Padm give frame covariance; a fixed original selfadjoint domain remains analytically valid but specifies a relative boundary attachment not physically selected here. Explicit extra Dref/Drel commutator terms are retained at fixed geometric R; fixing R alone does not break covariance when U commutes with R. Nonconstant four-mark-fixed profiles do not preserve the old APS sign subspace, which is not a selfadjointness no-go. Original Gamma already identifies D_plus, but not its physical measure/line connection. The prior scalar result remains conditionally valid.

Required assumptions

  • 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.

  • Given charged CAR quantization of the full two-face Cauchy graph

    As in section4 of the original collar proof, additionally assume charged CAR(H direct_sum H) and the pure gauge-invariant quasifree state with occupation G_ell. The second labeled face has n=(1+exp(2ell B))^-1. This is a field/statistics premise, not a consequence of P1; reduction does not select or physically execute a one-face operation. The long-collar limit is used only within this declared operator/CAR class.

  • Fixed scalar Hardy model with quarter time

    H=L²(S¹), C projects onto n≥0, B_alpha=−i∂theta+alpha with alpha=1/4 or 3/4. C and B remain fixed for every candidate. Consider scalar unimodular multiplication operators: continuous symbols for isometry classification and H1 symbols for finite excitation energy. This source class is not derived from 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.

  • Complete Dirac Cauchy source with Lagrangian normal action

    Complete orthogonal Dirac Cauchy projection C on the entire boundary module, with actual normal unitary Clifford action N satisfying N C N*=I-C. Explicitly assume charged CAR quantization with pure quasifree covariance C. Bounded current generators X,Y commute with N and have Hilbert-Schmidt commutators with C. The existing compact product collar B=diag(A_alpha,-A_alpha) on both components and both faces is the concrete control; its smooth scalar boundary multipliers are implementable. Statistics and physical measure selection are not derived from P1; no automatic extension of the unrenormalized trace to higher boundary dimensions.

Original evidence

  • DIRAC-LIFT-ADMISSIBILITY.md lines 1–124

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collar-current-source-bridge-20261021/DIRAC-LIFT-ADMISSIBILITY.md

    dc50b3805ba93a1a4e19890ea0accb04e66cebe192ce526e405cb362a6cdda6a

  • DIRAC-LIFT-ADMISSIBILITY.md lines 125–248

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collar-current-source-bridge-20261021/DIRAC-LIFT-ADMISSIBILITY.md

    dc50b3805ba93a1a4e19890ea0accb04e66cebe192ce526e405cb362a6cdda6a

  • check_dirac_lift.py lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collar-current-source-bridge-20261021/check_dirac_lift.py

    1e0047ba99ab68b3d1bc71d10a8ef7d894cd86bab6b7e401bdd4cbff1dee7c02

  • dirac_lift_results.json lines 1–54

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collar-current-source-bridge-20261021/dirac_lift_results.json

    f6afbd6af36efd7ffdea93bebd1bbcea296c91efc841ff54725fbe69055e1f4a

  • contract_index.json lines 1–61

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collar-current-source-bridge-20261021/contract_index.json

    80de96c729cf3e744da3fdc8ae5da56f3588692de12a8f62dd7602036d92e108

  • PROOF.txt lines 21–61

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/PROOF.txt

    9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a

  • 001-section-primitive-core-and-carrier-interface-handoff.tex lines 65–80

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • 001-section-primitive-core-and-carrier-interface-handoff.tex lines 302–343

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • 002-section-closure-theorems-from-the-admissibility-complex.tex lines 12–123

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/002-section-closure-theorems-from-the-admissibility-complex.tex

    61ecee7727bdec47936bbffc028d3dbac5260a025b6dbcce30124a60d635fc9c

  • P1-COVARIANT-INSERTION.txt lines 26–146

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/P1-COVARIANT-INSERTION.txt

    ebb9e0cb15cdc017914d8567131c8d8b75855f20e05551b6f7b350989061e152

  • PROOF.txt lines 271–326

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

  • 015-source.tex lines 235–266

    Source checked at this snapshot

    Original location and fingerprint

    documents/tfpt_research_contracts/sections/015-source.tex

    2ec9c3ab6903e9d29823ee5a52ef588cf8504848df6c51c21f0412f31f9eb886

  • 017-source.tex lines 239–285

    Source checked at this snapshot

    Original location and fingerprint

    documents/tfpt_research_contracts/sections/017-source.tex

    492599a0d20043a5589ca610ce7e1ebceffb8de043eae8eb406e4469d3e4be83

  • status_ledger.csv lines 746–746

    Source checked at this snapshot

    Original location and fingerprint

    verification/status_ledger.csv

    8723b921bdc50a6157acc6bee4342b40586eb89bec6d7dcc0abc3309562c78b4

  • status_ledger.csv lines 758–758

    Source checked at this snapshot

    Original location and fingerprint

    verification/status_ledger.csv

    8723b921bdc50a6157acc6bee4342b40586eb89bec6d7dcc0abc3309562c78b4

finding:full-dirac-cauchy-vector-cocycle-cancels-and-endpoint-domain-distinction