Skip to main content

Follow the question, attempts and conclusions.

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

Historical: common source, state and event selection

Outside the active mathematical research program since the user's23Oct2026 decision. Historical question: Do the original principles derive a common physical source together with its state, dynamical events, and physically observed fields?

What has been learned

Scoped exclusion

Cover half flux is not uniform eightfold spinor twist in fixed charge dictionary

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

Exclusion only for fixed charge/connection dictionary. No blanket SO16 or spinor-sector no-go. Eight independent copies, physically derived charge conjugation or changed field/domain connections separate. Source/P1-circle, base-deck/clock, chiral fermionic measure and local field products still require derivation; no new internal Z8^f/Arf branch. Neutral-pair refinement: eight-preimage parity pairs T_E with canceled register and unchangedh are NOT excluded by this single-sector comparison.

Read the exact result, assumptions and evidence

Result

Original one-copy eightfold: C(-h)^8=-hI, while desired uniform spinor twist (-C(h))^8=hI. No complex charge-preserving intertwiner of given holonomies. Both-quarter h=±i countercontrol: real SO16 O=realify(diag((-1)^j))K DOES conjugate holonomies but reverses Jcomplex and original U1 charge. Uniform BASE Z2 spin lift is invisible to cover holonomy at even degree; global parity×deck relabel still creates no localized charged intertwiner.

Required assumptions

  • Fixed charge-preserving connection in original one-copy eightfold

    Given one-copy fold has transition C(h), C(h)^8=hI. Available register half flux changes cover holonomy h to -h. Compare uniform spinor-OPE twist -C(h) in same complex U1 charge dictionary and connection, up to charge-preserving fiber conjugacy/periodic gauge transformation. Real SO16 charge conjugation at h=±i, changed connections/domains and eight independent copies lie outside exclusion class. Source circle/P1 core and cover/P1 deck are not identified.

  • 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 236–344

    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_register_words_and_fold.py lines 1–141

    Source checked at this snapshot

    Original location and fingerprint

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

    19b57b19a6456e7df7abf9d28559c33525b2a2b272ec9a306cfab51c99bd9bed

  • register-words-and-fold-results.json lines 1–183

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/register-words-and-fold-results.json

    ecd5bab0a1326aec6b72ba4fdbf6d4a2352100ddb5597d36c46fe8eb250b2160

  • NEUTRAL-DEFECT-PAIRS-AND-VECTOR-WARDS.txt lines 21–74

    Source checked at this snapshot

    Original location and fingerprint

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

    e798405b02c979e0f9e77e223a097ea9ae269c3bd677a501f2becc8f00c0dda5

finding:cover-half-flux-not-fixed-charge-eightfold-spinor-twist

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

Register charge obstructs renormalized local half-flux fields under full word contract

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

Only specified grade2/register/word/projection contracts. Changed physical nets, globally supported register Wilson loop, other originally derived sector actions and edge absorbers not excluded. No all-P1 no-go and no assertion that every spinor has this register grade.

Read the exact result, assumptions and evidence

Result

Any arbitrarily long/smeared/renormalized original grade2 sequence obeys exact omega(T*Z*T Z)=-omega(T*T); a bosonic field local away from retained even local Z gives +omega(T*T). Positive nonzero field norm and full joint words exclude locality even without bounded/unitary limit. Shared ZL=ZR excludes faithful left-only flux flip under same full label contract. An old A/A*-projector retaining full even matter and actual QWZ time is register-diagonal; retaining F/D ties r,r+2 or all r. It does not remove register obstruction.

Required assumptions

  • Local register retained in full charged word-limit contract

    Comparison class: original v1033 register grade2 under AdZ, Z retained as bounded even local unitary outside field support, full joint positive word limits with nonzero field norm. No boundedness of renormalized field sequence assumed. Separate two-edge test retains original shared flux ZL=ZR. Projection classification only when retaining the FULL original even matter algebra, time and A/A*-admissibility.

  • 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 1–111

    Source checked at this snapshot

    Original location and fingerprint

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

    94dc3fe2f4b612b2a6f081db8339165f6b7beadfb764f4e3ae143b922d9aa8dd

  • REGISTER-GRADE-LIMITS-GAUSS-AND-DIRAC.txt lines 301–344

    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_register_words_and_fold.py lines 1–141

    Source checked at this snapshot

    Original location and fingerprint

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

    19b57b19a6456e7df7abf9d28559c33525b2a2b272ec9a306cfab51c99bd9bed

  • register-words-and-fold-results.json lines 1–183

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/register-words-and-fold-results.json

    ecd5bab0a1326aec6b72ba4fdbf6d4a2352100ddb5597d36c46fe8eb250b2160

finding:all-word-register-charged-local-field-limit-obstruction

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

Odd-spinor re-fielding preserves H/Q/vacuum but fails original local inclusion

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

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.

Original evidence

  • ODD-SECTOR-REFIELDING-AND-NAHT.txt lines 1–167

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/ODD-SECTOR-REFIELDING-AND-NAHT.txt

    bd4eb3057f1daf94877f711f664e2db5f5bd4673d04ff852083abdfcb0e18c70

  • check_odd_refielding.py lines 1–132

    Source checked at this snapshot

    Original location and fingerprint

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

    cdf152af1b8ad56a2a0ce46a847324e523cc779d2b65f7f6f35f25acd1781b5e

  • odd-refielding-results.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/odd-refielding-results.json

    e75c923bac26234da23dedee0d8ae8795e8fb87512c1bfc13b330e2bb5cccdf6

finding:odd-spinor-global-refielding-and-unit-source-winding

Established in scope

Scalar Z4 menu: only half twist D8-local; spinor chiralities separated

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

Only four uniform scalar twist classes in GIVEN D8 target with fixed time/charge dictionary. Integer periodicity/W4 distinction reuse original findings. Monodromy establishes neither new local fields,chirality/gauging selection nor exclusion of all P1 defects. New sector representation with shifted target Cartan spectrum leaves unchanged-carrier premise; its origin remains open.

Read the exact result, assumptions and evidence

Result

q=(r/4)^8+m gives q.(e1+e2)=r/2+integer: only r0,2 relatively local to ALL original D8 currents. The64 weight1 quarter dressings are relatively odd but fail stronger full monodromy-1; parity projection/cocycle signs alone cannot repair this. Half twist has two128 chiralities. At unchanged delta full half-integral cosets have unique minima K0 even andK1/32 odd in BOTH quarters; leaving the +/-1/2 cube costs>=17/32. Prior extra-zero-state objection applies only to even extension. Unchanged integer Cartan generators still exclude every nonzero half-charged operator satisfying actual integrated covariance. Original W4 contains permutation and integer carry,not pure spinor translation.

Required assumptions

  • Given D8 target with uniform Z4 twists and fixed fold-time law

    Only in the conditional eight-channel target test,D8 currents with roots +/-e_i+/-e_j,twist charges q=(r/4)^8+m,m in Z8,r0..3,h=q²/2+N and existing fold time K=q²/2+delta.q+N,delta_k=(k+alpha)/8-1/2 are given. Keep all D8 currents and Cartan charges fixed,chiralities distinct. This creates neither eight physical source copies nor local defect endpoints 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.

Original evidence

  • FULL-FINITE-ENERGY-AND-SECTOR-MENU.txt lines 124–230

    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:uniform-z4-d8-locality-and-both-spinor-chirality-time-census

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

Conditional result

The same two-face collar fixes the current phase while common and relative boundary transports remain distinct

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

Given scalar quarter circle and full product collar with actual charged CAR quantization; no P1-derived statistics or physical source selection. No novelty is claimed for general current algebra. Infinite analytic formulas plus exact finite controls, not finite CCR representations. Relative endpoint transport is an explicit frame/operator family, not a proven original boundary intervention with fixed reference/domain/Padm. Phase distinction needs full source access or coherent control; one-face conjugation channels can agree if the opposite face never recouples. Normal distance is not physical time; original time, zero mode and absolute reference remain separately retained. No native3+2 selector, pointer/record law,4D determinant-line theorem or T1-T8 closure. Existing4/5/20/carry/E8/eight-preimage structure remains.

Read the exact result, assumptions and evidence

Result

UR.COLLAR.FACE_CURRENT.01: In the existing scalar quarter circle, the original G_ell Cauchy graph under the explicit charged-CAR/quasifree premise gives exactly the original level1 current cocycle on its second face, its negative on the first, and zero for the common lift. This holds for all smooth real profiles by sum_r(n_r-n_(r+k))=k, not a mode truncation. The same n gives beta=2ell, full thermal current response, the charge-retaining Hall/winding partition and a controlled limit to the original negative sea. Common g-direct_sum-g transport and I-direct_sum-g have the same second-face covariance but distinct full G and coherent phases. Even four-mark-fixed quarter-periodic sin4theta,1-cos4theta give exp(2ist) on one face versus1 jointly. A concrete geometric repair g_chi=exp(i chi(r)phi(theta)) gives L_phi=g_chi Lg_chi*=partial_r+B_alpha-i chi_prime phi-chi phi_prime and T_phi=g_phi T in the actual scalar transport block; its boundary graph is independent of the interior frame interpolation. This does not select physical execution.

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.

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

  • Original single-circle density and geometric stress

    Same stipulated chiral CAR source, negative-D sea, actual quarter domains, eightfold F and existing M/O. Local density J_m=sum:a_r* a_(r+m): and its half-density geometric stress with alpha ground energy follow from this source. Original scalar phases fold to correlated generally offdiagonal channel profiles, not independently selected E8 root weights. NS/quartic reference remains conditional. Global Fourier modes control existing fields; no P1-selected local profile/detector/coupling. No isolated b->-b invariance for these new responses; transport positive QWZ occupation with charges/currents/V/b together.

  • 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

  • PROOF.md lines 1–196

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collar-current-source-bridge-20261021/PROOF.md

    2dae051bb6a3ee77cc96bc0d63470ac4875950b46057865d1177e4ed3322e5ac

  • checker.py lines 1–132

    Source checked at this snapshot

    Original location and fingerprint

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

    c7eb757690bd4ae238812f47bb99449f939a946f74dc89ce00ff5011fad6770a

  • results.json lines 1–15

    Source checked at this snapshot

    Original location and fingerprint

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

    b7368c956426f1dfa8dbeffc4239805829cac657acd209eadcd120e958578216

  • PROOF.txt lines 96–143

    Source checked at this snapshot

    Original location and fingerprint

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

    9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a

  • ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt lines 33–161

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt

    62a9eeb4519b59d4514445f9d4dd5d2059e29179956a4c97ec94b7bae9ae3094

  • ORIGINAL-DENSITY-GEOMETRY-AND-TIME-HISTORIES.txt lines 36–99

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/ORIGINAL-DENSITY-GEOMETRY-AND-TIME-HISTORIES.txt

    2abf4b44f4cb4ca713d4e520676ef8db0849e5142962521a9592550f1c16ddbe

  • 017-source.tex lines 239–285

    Source checked at this snapshot

    Original location and fingerprint

    documents/tfpt_research_contracts/sections/017-source.tex

    492599a0d20043a5589ca610ce7e1ebceffb8de043eae8eb406e4469d3e4be83

  • 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

finding:two-face-collar-fixes-face-current-phase-and-distinguishes-relative-endpoint-lift

Established in scope

Full original erasure20 and joint25 retain all eight source arcs

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

Exactly the original neutral erasure20, original norms and given M/O/NS eightfold dictionary; not a charged E8 twenty or physical particle identification. Completeness only within the existing linear25-field space, not allE8 fields/nonlinear products/admissibleP1 operations. No separate E24/joint25 preparation theorem or physicalP1/q/3+2 selection; earlier preparation-lemma hypotheses remain separate.

Read the exact result, assumptions and evidence

Result

The actual20 fields g_(i,a)=partial_a P_i/sqrt(N_i) have original Fock GramI20. Their highest six-fermion CAR map is56x20,rank20,nullity0,raw Gram determinant1032386052096,normalized194481/1099511627776. Every original-sheet commutator has Gram3/8G andrank20 in both quarters; original b shifts retain the principal term. Quartic5 and erasure20 cannot cancel their distinct highest CAR degrees8/6 and commutator degrees7/5. Every nonzero combination of the complete existing joint25 field space therefore has detectable support on ALL8 preimage arcs.

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

  • Full existing local E8 field algebra with observer five-code

    Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.

  • Fixed conformal current reference in original fold-state transport

    Continuation17Oct: same givenchiralCARquarterfold,sea,F Cα F*,existingM/literalO; no newcopies/clock/coupling/selectionrule. NativehidentifiedherewithFIXEDconformalNSpointsplitcurrents;countertermagainstsea-normalorderedHfollowskerneldifference. ThisreferenceidentificationisCONDITIONALdictionarypremise,notphysicalP1originfromM/O. OriginalQWZpositivej≥1andnegativeDfoldorientationwithcharge/current/particleholetransportseparate;bothquartersretained. E8DeltatwistedextensionandoriginalglobalW4fromexistingevenCAR/E8cocyclefactorizationremaingivenextension,nooddCAR/E8localityproof. Noreselectedgroundstate;sourcechargesinitiallyZ8. Fullproducts/oppositepolarization/exteriormodes/charges,noperformedcodeprojection;originali0boundaryvalues,nofittedcontactterms.

  • Original single-circle density and geometric stress

    Same stipulated chiral CAR source, negative-D sea, actual quarter domains, eightfold F and existing M/O. Local density J_m=sum:a_r* a_(r+m): and its half-density geometric stress with alpha ground energy follow from this source. Original scalar phases fold to correlated generally offdiagonal channel profiles, not independently selected E8 root weights. NS/quartic reference remains conditional. Global Fourier modes control existing fields; no P1-selected local profile/detector/coupling. No isolated b->-b invariance for these new responses; transport positive QWZ occupation with charges/currents/V/b together.

Original evidence

  • ERASURE-AND-JOINT-25-MULTILOCAL-SUPPORT.txt lines 1–93

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/ERASURE-AND-JOINT-25-MULTILOCAL-SUPPORT.txt

    73214df57a8a29b9c8adf209fb81b026e4942107773afbea3c23118062d0df55

  • check_erasure_multilocal_support.py lines 1–112

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/check_erasure_multilocal_support.py

    7effbd2f160066f082efd71abdf2b5a6d5b24fdc73c0272bbc9031b58fc253f6

  • erasure_multilocal_support_results.json lines 78–89

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_results.json

    3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578

  • erasure_multilocal_support_results.json lines 2220–2227

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_results.json

    3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578

  • erasure_multilocal_support_results.json lines 2670–2728

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_results.json

    3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578

  • erasure_multilocal_support_results.json lines 3168–3168

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_results.json

    3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578

  • erasure_multilocal_support_results.json lines 3223–3223

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_results.json

    3a575d4642ed8c7877f9f36a451d79ad9e56ed3d05d4c06b18b4080fc516b578

  • erasure_multilocal_support_review.json lines 1–135

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/erasure_multilocal_support_review.json

    81b83992072b45b1b1f29c7e7e2e80e2c5fd154a68d9ae22c714d5f19304a3fc

finding:full-original-erasure20-and-joint25-have-all-eight-source-supports

Conditional result

Bounded proper-local operation cannot exactly prepare positive eigenpacket from same sea

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

Conditional on the same full CAR source, support-preserving source time and local vacuum separation, not merely finite compression4I. Exact preparation from same sea by ONE bounded proper-local operator, including products fitting in a larger proper interval. No approximation/probability/cost bound, no ban on unbounded field insertions, other initial states, global protocols or all P1 physics. NS/quarter reference transport explicit; physical P1 net identification remains open. No classification of abstract AQFT-local CP maps without such local Kraus implementers.

Read the exact result, assumptions and evidence

Result

In the given full positive CAR vacuum net, local separation of Omega and A Omega=psi,Hpsi=Epsi,E>0 for bounded proper-local A imply alpha_t(A)=exp(itE)A. Then A*Omega would have energy-E; positivity and separation force A0. Actual original constructor confirms both quarters: five full source states neutral in every residue, only H_alpha32, Gram rank5, supports694/710/711/713/688. Thus the lemma covers all nonzero actual R_b4 target directions without a closed-code assumption. Positivity extends the exclusion to pure or mixed exact E32 outputs of normal instruments with finite/countable bounded Kraus operators in the same proper interval algebra: every Kraus vector would lie in that positive eigenspace and vanishes.

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

  • Full existing local E8 field algebra with observer five-code

    Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.

  • Fixed conformal current reference in original fold-state transport

    Continuation17Oct: same givenchiralCARquarterfold,sea,F Cα F*,existingM/literalO; no newcopies/clock/coupling/selectionrule. NativehidentifiedherewithFIXEDconformalNSpointsplitcurrents;countertermagainstsea-normalorderedHfollowskerneldifference. ThisreferenceidentificationisCONDITIONALdictionarypremise,notphysicalP1originfromM/O. OriginalQWZpositivej≥1andnegativeDfoldorientationwithcharge/current/particleholetransportseparate;bothquartersretained. E8DeltatwistedextensionandoriginalglobalW4fromexistingevenCAR/E8cocyclefactorizationremaingivenextension,nooddCAR/E8localityproof. Noreselectedgroundstate;sourcechargesinitiallyZ8. Fullproducts/oppositepolarization/exteriormodes/charges,noperformedcodeprojection;originali0boundaryvalues,nofittedcontactterms.

  • Original single-circle density and geometric stress

    Same stipulated chiral CAR source, negative-D sea, actual quarter domains, eightfold F and existing M/O. Local density J_m=sum:a_r* a_(r+m): and its half-density geometric stress with alpha ground energy follow from this source. Original scalar phases fold to correlated generally offdiagonal channel profiles, not independently selected E8 root weights. NS/quartic reference remains conditional. Global Fourier modes control existing fields; no P1-selected local profile/detector/coupling. No isolated b->-b invariance for these new responses; transport positive QWZ occupation with charges/currents/V/b together.

  • Same full positive CAR source with locally separating sea

    Given negative-D quarter-CAR representation with full H_alpha=sum(n+alpha):a_n* a_n:>=0,H Omega=0 and support-preserving time covariance. Omega separates each larger proper-interval algebra. Test class: bounded proper-local A with A Omega an exact positive-energy eigenvector. NS/quarter chart retains support, reference and time; no physical P1 net identification follows.

Original evidence

  • NATIVE-QUARTIC-MULTILOCAL-SUPPORT.txt lines 107–206

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/NATIVE-QUARTIC-MULTILOCAL-SUPPORT.txt

    7801643ed85df8be24659a66e9437db8f549aea1497900aeeb1bfbbafd0f17ea

  • check_native_quartic_multilocal_support.py lines 110–123

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/check_native_quartic_multilocal_support.py

    c0b4cc1bedf7a396146199fbbb538a7494c4b974cbb46e13cb8c64c07ff9ed3b

  • native_quartic_multilocal_support_review.json lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_review.json

    46ee10086da6d9227f9344e24f25dcfb20a629ed703756642374c974099f1e6a

  • native_quartic_multilocal_support_review.json lines 201–216

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_review.json

    46ee10086da6d9227f9344e24f25dcfb20a629ed703756642374c974099f1e6a

  • local_energy_eigenpacket_review.json lines 1–170

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/local_energy_eigenpacket_review.json

    f911f9d9237c8056bb4f8add917682d02f43c0bca40e1da520942bb6c84e150f

finding:bounded-proper-local-source-operation-cannot-exactly-prepare-positive-eigenpacket

Established in scope

Every nonzero native quartic has all eight original CAR supports

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

Field support in the given conditional eightfold dictionary, not a dimension identification or a point-local Hall weight32 replacement. Quotient locality pulls back to eight preimage arcs. Other composites, state-matrix-element cancellations and physical P1 localization are not classified; no q selection or general locality prohibition.

Read the exact result, assumptions and evidence

Result

In unchanged M/O/NS dictionary the highest eight-fermion CAR coefficient map of all five original quartics has exact rank5:70x5 map, raw Gram determinant495/8, normalized165/131072. For EVERY original preimage and both quarters its degree7 CAR commutator has Gram G/2 and rank5. No nonzero quartic ray or polar-plane field cancels its contribution at any of the eight source locations. Both b shifts and lower-CAR-degree normal-order/derivative terms cannot remove this witness.

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

  • Full existing local E8 field algebra with observer five-code

    Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.

  • Fixed conformal current reference in original fold-state transport

    Continuation17Oct: same givenchiralCARquarterfold,sea,F Cα F*,existingM/literalO; no newcopies/clock/coupling/selectionrule. NativehidentifiedherewithFIXEDconformalNSpointsplitcurrents;countertermagainstsea-normalorderedHfollowskerneldifference. ThisreferenceidentificationisCONDITIONALdictionarypremise,notphysicalP1originfromM/O. OriginalQWZpositivej≥1andnegativeDfoldorientationwithcharge/current/particleholetransportseparate;bothquartersretained. E8DeltatwistedextensionandoriginalglobalW4fromexistingevenCAR/E8cocyclefactorizationremaingivenextension,nooddCAR/E8localityproof. Noreselectedgroundstate;sourcechargesinitiallyZ8. Fullproducts/oppositepolarization/exteriormodes/charges,noperformedcodeprojection;originali0boundaryvalues,nofittedcontactterms.

  • Original single-circle density and geometric stress

    Same stipulated chiral CAR source, negative-D sea, actual quarter domains, eightfold F and existing M/O. Local density J_m=sum:a_r* a_(r+m): and its half-density geometric stress with alpha ground energy follow from this source. Original scalar phases fold to correlated generally offdiagonal channel profiles, not independently selected E8 root weights. NS/quartic reference remains conditional. Global Fourier modes control existing fields; no P1-selected local profile/detector/coupling. No isolated b->-b invariance for these new responses; transport positive QWZ occupation with charges/currents/V/b together.

Original evidence

  • NATIVE-QUARTIC-MULTILOCAL-SUPPORT.txt lines 1–105

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/NATIVE-QUARTIC-MULTILOCAL-SUPPORT.txt

    7801643ed85df8be24659a66e9437db8f549aea1497900aeeb1bfbbafd0f17ea

  • check_native_quartic_multilocal_support.py lines 1–154

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/check_native_quartic_multilocal_support.py

    c0b4cc1bedf7a396146199fbbb538a7494c4b974cbb46e13cb8c64c07ff9ed3b

  • native_quartic_multilocal_support_results.json lines 1–40

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json

    8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4

  • native_quartic_multilocal_support_results.json lines 54–110

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json

    8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4

  • native_quartic_multilocal_support_results.json lines 216–310

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json

    8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4

  • native_quartic_multilocal_support_results.json lines 802–842

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json

    8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4

  • native_quartic_multilocal_support_results.json lines 975–981

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json

    8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4

  • native_quartic_multilocal_support_review.json lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_review.json

    46ee10086da6d9227f9344e24f25dcfb20a629ed703756642374c974099f1e6a

  • native_quartic_multilocal_support_review.json lines 201–216

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_review.json

    46ee10086da6d9227f9344e24f25dcfb20a629ed703756642374c974099f1e6a

finding:every-native-quartic-has-all-eight-original-car-supports

Approaches and conclusions

The reviewed decision record says which approach can be reused, which failed in its scope and what a new attempt would have to change.

Insufficient for the goal

Polynomial degree as a physical source selector

The cited original seed definition assumes A_loc, tau_t, Theta, omega, [u_Sigma], and D_coll as data and shows only their collar completion. This cited evidence supplies no rule selecting the common physical source from a polynomial degree.

Consequence: Provide an explicit original-source rule mapping degree to source selection before assessing the strategy as a selector.

Reusable result

Order-four markings from given time and full charge

The whole family is completed by lattice saturation and exact classification, including an original-frame control.

Consequence: New knowledge requires a justified change to the original source operator or its field/sector map; further phases of the same family are already covered.

Insufficient for the goal

Use an internal character hit as physical source selection

All candidates retain the missing original field/state identification. The composed marking does not prove that identification.

Consequence: Identify the actual original seam action on the same collar/field core, including domain, state and full time.

Insufficient for the goal

Infer unique source from minimal defect

The proof does not classify the minimal operator fiber.

Consequence: Actually classify operator structures in the minimal fiber; do not relabel well-ordering or presentation invariance as uniqueness.

Reusable result

Scan further scalar Hardy isometries

The whole continuous class is covered analytically; more Blaschke parameters provide no new selection.

Consequence: Supply a P1-grounded change of source class or actual operator action.

Reusable result

Minimize seam energy within the same scalar source

The entire H1 class is solved by E=alpha+Var(phi prime)/2; additional genotypes or GPU grids are unnecessary.

Consequence: Derive the physical source and least-excitation rule from P1; do not replace their selection with optimization inside a supplied source.

Insufficient for the goal

Use the downstream master functional as an original selector

The allowed source is already named in the zero/infinity barrier. A minimum on that restricted branch does not prove this upstream selection.

Consequence: Supply a selection rule computable from original data without a presumed B_min and prove its relation to the actual field/state/time operator.

Scoped exclusion

Identify geometric deck lift with boundary polarization

The general implication from reflection regularity is disproved by a compact Dirac counterexample; carrier restrictions built on it need their actual operator map established again.

Consequence: Keep geometric lift, normal Clifford action and Calderon polarization distinct. For dynamics retain the full two-face relation and use the already verified inverse reader.

Browse all approaches for this question

What is resolved, and what remains

Resolved in scope

Record the input status of the operational seed

The defined seed data and the outputs induced from them are documented separately.

Open task

Find the original selector for source/state/event

A rule derived from P1/P2 and original definitions jointly determines A_loc, omega, tau_t, events, and their field readout.

Builds on: Record the input status of the operational seed

Resolved in scope

The same source supplies Hamiltonian, time and thermal state

Finite spatial volume and original neutral scalar/charge source; no spatial continuum or P1/P2 selection claim.

Resolved in scope

Marking and necessary memory are connected within the given source

Given source, grade and J>0; the two-time kernel is neither a physical measuring instrument nor a universal three-dimensional memory realization.

Resolved in scope

A common global seam-operator factorization exists

Global charge transports in the stipulated even completion; not local vertex insertions, an ordinary-local odd CAR/E8 inclusion or event dynamics.

Resolved in scope

Reuse complete source-character classification

All four-torsion characters of the given source completely classified and their projectors reconstructed without target insertion.

Resolved in scope

Reuse the complete scalar energy theorem

Analytic theorem with independent review in the explicitly supplied model.

Resolved in scope

Compare three process reconstruction routes using discriminating tests

Observation, composition and stability routes have concrete conditional theorems/controls with added inputs; physical source derivation remains open.

Builds on: Record the input status of the operational seed

Resolved in scope

Classify native rates and coherent residual channels

Separate primitive reflections from coherent algebra closure and determine the stated dynamical classes with their premises.

Builds on: Reconstruct the actual common native operator object

Open task

Determine the common original clock lift and event menu

Supply the actual common4/5/20 continuation of the existing coherent clock polynomial and the original-source event menu; jointly check normalization, erasure, products and full source time. Determine the complete4/5 generators or their currently free data from it.

Builds on: Reconstruct the actual common native operator object; Classify native rates and coherent residual channels

Resolved in scope

Reconstruct original mark and test native clock continuation

Consistently connect actual positive polar transport, unchanged four-clock and original decoder; test product lifts and the same native polynomial continuation on a decisive input.

Builds on: Reconstruct the actual common native operator object

Resolved in scope

Classify polar fibre and test existing native selection mechanisms

Completely classify actual clock-compatible marking fibre, characterize the original polar rule canonically and test existing moment parent/geometric product transport against the target operation.

Builds on: Reconstruct original mark and test native clock continuation

Resolved in scope

Test original neutral quadratic and first mixed source response

Test actual B48/R fields and complete neutral weight-two class on existing code; compute first joint source variation without a new coupling.

Builds on: Test original current response and actual code dictionary

Resolved in scope

Derive full source feedback and necessary memory

Retain actual original off-code states and compute feedback without fitted coupling or executed projection; decide whether same family admits closed five-dimensional linear continuation.

Builds on: Test full source-return code closure and erasure Ward terms

Resolved in scope

Derive original all-mode conformal/erasure bridge

Derive actually original canonical geometric source histories including higher modes on4/5/20 and first forced erasure correction/native sector action without coupling choice; determine whether this class selects marked clock.

Builds on: Derive full source feedback and necessary memory

Resolved in scope

Check full local Cartan insertion and ordered product

Decide on actual original current field whether pure native erasure is local; derive regular carry and full local response and test stated ordered Cartan-Weyl class without fitted algebra.

Builds on: Derive original all-mode conformal/erasure bridge

Resolved in scope

Derive unmarked native simplex from local quartic product

Reconstruct a separately used native structure from full local product without its target coordinates; literal comparison only afterwards, physical selection separate.

Builds on: Determine full local source hull and unfiltered returns

Resolved in scope

Derive original P1 gap-scale term and test direct native spectral bridge

Evaluate explicit original source function without profile/measurement fitting and test smallest actually source-fixed3+2 bridge on full outputs. Keep physical overall selection separately open.

Builds on: Derive full original current/field products and original seam grading

Resolved in scope

Classify whole scalar first-order fiber with actual time-seam Ward

Treat whole variable principal-symbol class/domains/marks/gauge transport/spectralflow exactly; distinguish stronger original operator relation frombareP1 index without fitting source.

Builds on: Derive original P1 gap-scale term and test direct native spectral bridge

Resolved in scope

Compare four starts with complete original state response

Separatefixed-stateequivalencefromwhole-datumtransport;computeactualfield/charge/time/erasureresponsesandinvariantdifferencewithoutcoupling/selectionrule.

Builds on: Testoriginalseam/statedataon60nativeflags; Derivefoldstatequarticresponseandtestoriginalwinding

Connections to other questions

shares unresolved input

Physical time and complete transfer

The complete original boundary graph can determine B and, under CAR identification, the state jointly. The source must supply this graph, fiber comparison and scale. This replaces separate spectral/state searches; physical marking additionally needs the original local operator algebra. ReviewedKMSlocalcorrection:globalrotationmovesintervals,localTakesakitimedependsonrestrictedstate;deriveitsstate/netcomparisonfirst.

Original historical attempts linked to this question

These are original research records. Their reported verdicts are distinct from the reviewed results above.

e series source reconstruction 20261024

Reconstruct the canonical local E8 field completion from the already established marked D5+A3/C4 compiler glue; determine which original source and dynamics implications are actually proved.

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–103

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/contract_index.json

    3ee8e12c1a0aa5c56177540d92e5fc8c7df5c1e0b39308b8cb6f2b2ff8537ee6

  • THEOREMS.txt lines 1–517

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/THEOREMS.txt

    5c0d7328c583cdbc0a8c358445b57821d5b5722540ca372c1d28052b900eb584

  • checker.py lines 1–150

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/checker.py

    bcafa389dd53e198ef543a7534c4ca43e66c0f012f8e226cdd5ccb055111a1c5

  • microscopic-state-results.json lines 1–52

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/microscopic-state-results.json

    eff978bfe35d429c4a331aac18cd937f9afd0dd80981713638b209f66a1e73c2

  • native-clock-conjugacy-results.json lines 1–94

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/native-clock-conjugacy-results.json

    959c9c618320125c98587c9c958d965ade1cff41ccbdf0ba5b67a68b5326d267

  • results.json lines 1–156

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/results.json

    e873731efb8ae4198849af25766e779608eb18fb68939a62dd821a624285dba4

  • source-reproduction-results.json lines 1–347

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/source-reproduction-results.json

    03337c03e545a2a545ecf2a4b3c935c53a2a53093e4e1011f8b80edadc39727d

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

mixed current origin 20261014

Does the actual original seam representative derive a local mixed spinor weight-one current through quarter-twist fusion, and does the pasted scalar pair response identify that field?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–223

    Source checked at this snapshot

    Original location and fingerprint

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

    b8f139169c11faa30d3062b82336d4c835c8ff627834c3fbc3e240cd0ab9d884

  • PROOF.md lines 1–252

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/PROOF.md

    c36d30a2bd113554c5902d67d41b595a9615470d39d11feb89f813a994aa9b04

  • README.md lines 1–19

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/README.md

    8d5fd20eec6911a807ed5911bbfffc95b9bc2c83ebf41670d8b97f60d099c920

  • checker.py lines 1–185

    Source checked at this snapshot

    Original location and fingerprint

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

    5fca0fa0d51cc0ccc968aabd6d9b1172e87c6db71960b2f92e66beed3f224899

  • source_manifest.json lines 1–46

    Source checked at this snapshot

    Original location and fingerprint

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

    aa9bebfda73a4786382aeb817886b13a78a030c21d84afe960267bf39e363c8b

  • v1033_charged_disorder.py lines 1–607

    Source checked at this snapshot

    Original location and fingerprint

    verification/v1033_charged_disorder.py

    5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8

  • checker.py lines 1–222

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-charged-car-limit/checker.py

    2259bd7d6ab890c8cca562774b1b5cdc574e60fb72a04a8c8c8f6ed8292f113a

  • PROOF.txt lines 1–208

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-source-channel-gate-20260918/PROOF.txt

    7c9e47e12d06c94c1ee04bf9881f866fb6901cc59a015dd51bdc62235e9fcf02

  • README.md lines 1–233

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-half-sector-bridge/README.md

    5fc767e148bff3381f27459df28412fa1b17b604b19c0b34353e7c6314a5403d

  • PROOF.txt lines 1–276

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-localized-spinor-20260919/PROOF.txt

    2a08b4d68fc27030cf3e0d2c2e3355b6efa53ad1ed569efee5af059f5691fe02

  • PROOF.txt lines 1–406

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-source-time-audit-20260920/PROOF.txt

    97ddf9206a860c00d797dc62bb23b6d731523ca21c10280592f6c61e8a0b2476

  • TFPT_Gesamtsynthese_2026-09-28.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_explorer/docs/session-2026-09-28/TFPT_Gesamtsynthese_2026-09-28.tex

    73097e57a9ba40866a96d110041aea3246085cf54d210096a509fa3de2162510

  • 01_boundary_kernel_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex

    89afb7d6cd1bb3a74ce4acd2ab43f4d990e7f22d5986c33e3fe90a0abf1260ff

  • continuous-time-sector-results.json lines 1–195

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/continuous-time-sector-results.json

    e35bc998a8358287f4478572274e383bdb83ba7055851500da23d1007f62b65a

  • 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

  • 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

  • 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

  • kms-locality-and-source-winding-results.json lines 1–82

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/kms-locality-and-source-winding-results.json

    0d4ef01c6f44f021b87036353d9a8f8bd4850617bccbf8cf569387dc9931f955

  • 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

  • odd-refielding-results.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/odd-refielding-results.json

    e75c923bac26234da23dedee0d8ae8795e8fb87512c1bfc13b330e2bb5cccdf6

  • register-words-and-fold-results.json lines 1–183

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/register-words-and-fold-results.json

    ecd5bab0a1326aec6b72ba4fdbf6d4a2352100ddb5597d36c46fe8eb250b2160

  • results.json lines 1–120

    Source checked at this snapshot

    Original location and fingerprint

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

    7495e84bf492a286fd53f38e46172a0c5094df5a10af0bb64fb29b339a9dd5dc

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

native mark memory 20261014

Which marking and response memory follow from the original charge source, and can the derived four-grade factor close under the same Hamiltonian and actual clocks?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–134

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/contract_index.json

    cf4ebd4c6bf88c97690a01ee2ad252de024ae7c5af61168447a4230ed4182144

  • PROOF.md lines 1–191

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/PROOF.md

    10492f2d34e93ffb8db2593b120ef120401e26bd5acc34db0cd9c7e8f15ec364

  • README.md lines 1–7

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/README.md

    bd8db56e48700e7825e0a961c20e23801ecfb2424f723231d51ef4c8463a2036

  • checker.py lines 1–70

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/checker.py

    50a3b64a68a585f3eb574b343aff1822210b36c09714469d43f601753ec69d69

  • source_manifest.json lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/source_manifest.json

    0d4e140fd36126f58cbe5b739c383d7e1df49dd0c94a60fc1a8f5cd634a4bbda

  • PROOF.md lines 1–250

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-lift-round16/PROOF.md

    a02a9cd73bcfd1382e187531dc218f9b422e4d89504fb57ec56643c5c5d9cfc8

  • README.md lines 1–230

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/carrier-module-conjugation/README.md

    2f1b9171f4ea03bbe6dc0466834f21d738526b84c559f4008fa17c3e8f42ee70

  • PROOF.md lines 1–285

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/local-charge-transport-round20/PROOF.md

    6d7059cc75108be2b7262f030b83e2c14c774a950d2f1ccd0f9c5c1b3b5afb5c

  • checker.py lines 1–397

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/local-charge-transport-round20/checker.py

    e5b56b53e3fbb079947d8f420aa45cfd0190e9ac3ccca9fd42f8797a7438d234

  • PROOF.md lines 1–175

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/hopping-source-domain-round20/PROOF.md

    b9d5bd67310cfc3176e92e1b72d3609c128566635166adb5df8d582d54bcd624

  • PROOF.md lines 1–157

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/scalar-charge-energy-round20/PROOF.md

    f54190fffdf3ccc110c5a66d6da0575c7b8ad96a5a880fcb4b6c01f930ccb7b5

  • PROOF.md lines 1–198

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-sum-control-round26/PROOF.md

    cd1ea78abaeabd0073fa20e290aebe4599d4a1895552f23d9ef3843064cb6647

  • PROOF.md lines 1–255

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/PROOF.md

    d16b6af2c90491ac94eeb4ab04a8c96b072d37bb6bc5015b3db85c023f8a96e2

  • certificate.json lines 1–3631

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/compiler-integral-triality-20260918/certificate.json

    a342f865bec164ae6dd54e9e7b7c7cc991efcf7a939dda2ecab586b4a6c6cfe3

  • PROOF.txt lines 1–199

    Source checked at this snapshot

    Original location and fingerprint

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

    26e6480a6304e4da5be96328e70f5f56c5bee1bfde7e58593a34a273016d09e0

  • MEMORY-REVIEW.md lines 1–686

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/MEMORY-REVIEW.md

    74314123ad648066b1d86de11e0afac53f8165472619b96fda7b30f0eb92c73b

  • MARK-REVIEW.md lines 1–75

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/MARK-REVIEW.md

    54b83ea2b6198545558a8efc79fa47eb78b1f9adb609a3ff3cc3837579505651

  • results.json lines 1–30

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/results.json

    73fe617ec8ffe29822c40e2a38a8cec20742bc50dfe4ae5eaf78f45387f945bc

  • carry_check.py lines 1–47

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/carry_check.py

    1b14d3977e94618e308756b128bfe8de52e1c282cc5b79dd5462f0b8d2868cc7

  • carry-result.json lines 1–33

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/carry-result.json

    f5b8e365c11c80967c8469b78ca27fa9e5e3bbaf1aac0e6e31338b34f377aeb8

  • clock_probe.py lines 1–93

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/clock_probe.py

    24fba1254dd11738448c9e5baa9035a7f5e966d0e9ea2cbddf77345e7e0646cc

  • clock-result.json lines 1–193

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/clock-result.json

    0438eba443d70e8e4546e8d1d45e63b4bfde0b7cb3beeedbf2f11aa61c7e1147

  • CLAUDE-SELECTION-AUDIT.md lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/CLAUDE-SELECTION-AUDIT.md

    d154de3d96d6a28a15aa03923916138c587fee96e5816403c285f455ceedb5c5

  • spinor_selection_check.py lines 1–37

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/spinor_selection_check.py

    da4f220259918bacdf39cf6a20d89d49cf0bad10b318fca8598854716859bf78

  • spinor-selection-result.json lines 1–67

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/spinor-selection-result.json

    2ad935403c7aa44c690a7a474701b7b08a3ec8e50bd2e2952690c49be26f3871

  • CLAUDE-SELECTION-REVIEW.md lines 1–81

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-mark-memory-20261014/CLAUDE-SELECTION-REVIEW.md

    b7641433e82bc70c7aa10cd2366cae0afaa048094cee0535b1b29e72f5ba0de2

  • TFPT_Gesamtsynthese_2026-09-28.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_explorer/docs/session-2026-09-28/TFPT_Gesamtsynthese_2026-09-28.tex

    73097e57a9ba40866a96d110041aea3246085cf54d210096a509fa3de2162510

  • tfpt_3_e8_audit_bootstrap.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_3_e8_audit_bootstrap.tex

    8fafa428bf8a079d774692514063c51eb62e4fdeb3897a1db40563433b4a3a7c

  • v624_external_lattice_audit.py lines 1–261

    Source checked at this snapshot

    Original location and fingerprint

    verification/v624_external_lattice_audit.py

    71d0e6fbabad7f3d2187d708638371a2df5722f5a9d5eb80d851e205e577cc9b

  • v993_minimal_defect_selector.py lines 1–544

    Source checked at this snapshot

    Original location and fingerprint

    verification/v993_minimal_defect_selector.py

    1d39723c8beb6ebc848414a7448c98040c0e3790fd2498d249dee1a682059b2d

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

native source reconstruction 20261014

Does the existing signed neutral scalar/charge source generate a common time, state and ordered response law, and what information must an exact marked readout retain?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–104

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/contract_index.json

    941188d549cb5846478fe4715ae27bda7e48b341bbb4391c486b2744dc9dabd1

  • PROOF.md lines 1–255

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/PROOF.md

    d16b6af2c90491ac94eeb4ab04a8c96b072d37bb6bc5015b3db85c023f8a96e2

  • README.md lines 1–11

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/README.md

    419d270b36d58e6d4ca30636e1c424742e6ae0c937ea50722f2cbcf17437abe8

  • neutral_transport_check.py lines 1–106

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/neutral_transport_check.py

    0b39638b2d90dd994124b90fa4bb4b6dd88abc56f543eb436776c8c57906640d

  • source_manifest.json lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/source_manifest.json

    b74f7411662d87ad4b35130675c4d303c5cb65d3d483ddaa2a8879782f9ddab8

  • PROOF.md lines 1–285

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/local-charge-transport-round20/PROOF.md

    6d7059cc75108be2b7262f030b83e2c14c774a950d2f1ccd0f9c5c1b3b5afb5c

  • checker.py lines 1–397

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/local-charge-transport-round20/checker.py

    e5b56b53e3fbb079947d8f420aa45cfd0190e9ac3ccca9fd42f8797a7438d234

  • PROOF.md lines 1–175

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/hopping-source-domain-round20/PROOF.md

    b9d5bd67310cfc3176e92e1b72d3609c128566635166adb5df8d582d54bcd624

  • PROOF.md lines 1–157

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/scalar-charge-energy-round20/PROOF.md

    f54190fffdf3ccc110c5a66d6da0575c7b8ad96a5a880fcb4b6c01f930ccb7b5

  • PROOF.md lines 1–198

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/history-sum-control-round26/PROOF.md

    cd1ea78abaeabd0073fa20e290aebe4599d4a1895552f23d9ef3843064cb6647

  • PROOF.md lines 1–171

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/moving-history-memory-round25/PROOF.md

    a9e11a04aa359c37e38a93b00b638aa114dec4a30f6556722018543a36468375

  • README.md lines 1–279

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/charged-cocycle-lift/README.md

    e154ecf28acfef62ded8bacef3f62bebda41c97357719144a2ef50a8d5ae6c14

  • PROOF.md lines 1–361

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-continuous-marked-time-search-20260922/PROOF.md

    62fd2844ecc3e84134d1400335cf4dd469312305d6cfb3eae427aba01beb0ac8

  • OPERATOR-MAP-REVIEW.md lines 1–63

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/OPERATOR-MAP-REVIEW.md

    d2851c6a3551a7e02347a4e0224c189dbf5f997f7e66d0a3f9e382a8e6b41b61

  • TRANSFER-REVIEW.md lines 1–545

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/TRANSFER-REVIEW.md

    db69a331bca1d93f7c598048243352df1005346214512bdf5ade4f83166dc75a

  • neutral-transport-result.json lines 1–164

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/neutral-transport-result.json

    c2e766f55ab9b7a53ce5d401274346203592cfab287d2057177d1228713822ed

  • reconstruction-result.json lines 1–66

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/reconstruction-result.json

    36ebc498c432f05bd1ee930b8e90fd9aabf5e156ec214421d3738597030e2c5d

  • reconstruction_check.py lines 1–44

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/reconstruction_check.py

    1c3ae42418272c7797d9ff4da7f609db1e3206f883e380fafbfed0d3f02ad2ce

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

quotient locality e8 20261014

Does the proposed eightfold fold/multi-interval completion derive physical quotient locality and an E8 field extension from the same source while preserving the quarter phase, state and time?

Recorded verdict: EXCLUDED_IN_UNCHANGED_SOURCE

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–116

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/contract_index.json

    c8db6ca5f7a1f85c3103b72a9b5fb187ebb02bf1b986d814f60e97c49cad3904

  • PROOF.txt lines 1–217

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/PROOF.txt

    dfa4b094f660d47bc28cf2729e1c12eb29ae0b79cdfda36e72cb40f9406f5714

  • README.md lines 1–16

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/README.md

    10fa3b9adaceeb2589d770219225baf96560783479fd5fedb9764348b3c5ad58

  • checker.py lines 1–281

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/checker.py

    7915ec85ace07b805a3537dda41ba5093811c25379471d27c85ee1d5c5f25c1d

  • source_manifest.json lines 1–106

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/source_manifest.json

    8baa94d7be559a1369782cea05195a2f11629ec1b198760dc7bbd66b0e1228ae

  • tfpt_1_architecture_e8.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_1_architecture_e8.tex

    45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5

  • tfpt_research_contracts.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_research_contracts.tex

    1a200aac87d3c57d9e0350ba57ec45b1f7701a92df23f018146efe6a5758184c

  • 01_boundary_kernel_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex

    89afb7d6cd1bb3a74ce4acd2ab43f4d990e7f22d5986c33e3fe90a0abf1260ff

  • 02_carrier_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/02_carrier_source.tex

    4783f526a49dfb708d496a3910392bb8aecf2b9c307f9542d3ed113aae2a4faa

  • v1033_charged_disorder.py lines 1–607

    Source checked at this snapshot

    Original location and fingerprint

    verification/v1033_charged_disorder.py

    5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8

  • checker.py lines 1–187

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-rg-clock-bridge-20260920/checker.py

    5cbd66d67689d9b79d9b9b7d4eaba5214a04b56983b57fa4b185e48ab45bed29

  • PROOF.txt lines 1–255

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-rg-clock-bridge-20260920/PROOF.txt

    58d870d69596b5bd732f400dba8740367ee81b445203a53c8e8559a9f0bdfc35

  • checker.py lines 1–222

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/microscopic-charged-car-limit/checker.py

    2259bd7d6ab890c8cca562774b1b5cdc574e60fb72a04a8c8c8f6ed8292f113a

  • PROOF.md lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/PROOF.md

    a4802d25255e9bc1ce3cd4a3577c56dd5e81e02fe976d565a8b459a871421a5f

  • FOLD-AUDIT.md lines 1–250

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/FOLD-AUDIT.md

    f237a8c9b7c0b8157b222c2a922f6d0183f39db149a4249c2a6b984f0d29dc8d

  • fold-results.json lines 1–286

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json

    253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639

  • PROOF.md lines 1–252

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/mixed-current-origin-20261014/PROOF.md

    c36d30a2bd113554c5902d67d41b595a9615470d39d11feb89f813a994aa9b04

  • ERGEBNIS.md lines 1–209

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/primitive-charged-source-response-20260921/ERGEBNIS.md

    3f3b2e44768bd5985c570d0ada8f0045f722695ce51d0fe01793579936b4f1eb

  • PROOF.txt lines 1–326

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-charged-register-20260920/PROOF.txt

    fcb2a31800cbd7cd59cfe7e0593d2ff469d6087c3142026f0c9e0a40f8d41448

  • PROOF.md lines 1–255

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/native-source-reconstruction-20261014/PROOF.md

    d16b6af2c90491ac94eeb4ab04a8c96b072d37bb6bc5015b3db85c023f8a96e2

  • microscopic-results.json lines 1–163

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/microscopic-results.json

    5b0327cb1fb3405b57c0a50e13faaa20a76435fcb860da4e6878cc1d69159e6a

  • results.json lines 1–301

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/results.json

    39a126753de55539beed0560abbb19520784406029bc3190fd663941576fc19e

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam constructive search 20261015

Which full charged crossed-defect extensions of the fixed ordered CAR source preserve its marking, W4 composition and supplied time law, and which obligations remain for a joint source/state/event derivation?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/contract_index.json

    8127cdd77013b6d9cdf3171e0b0291afcec39a58a1830b0a6cbbfa6b05cd26da

  • README.md lines 1–90

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/README.md

    eb131e4651a9078e2687fe0f22b74ae1d3569c32f4261fe78451d551c4364870

  • SYNTHESIS.md lines 1–110

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/SYNTHESIS.md

    d112d0054cd1558c0a64f8aebfaa98c942beab9e5688cc9704d31b15cdacb252

  • manage.py lines 1–286

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/manage.py

    6240fcc88d9d55ac60ceef50c5346496e24a2d300f74e24117a0098337ca0156

  • atlas_packet.json lines 1–2127

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/atlas_packet.json

    7133b13f8bbe87c069695c09f25ac4cc3ab8afe13bba3962f549af9aeae18b56

  • current_run.json lines 1–94

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/current_run.json

    a7f0c225664a0aa9bf162282f4b94717a246a937c1034b5795fd0e3fa3244000

  • domain_spec.json lines 1–531

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/domain_spec.json

    edd613bd6d44516e2e0566b5882bda7112a2892b5c933f42dbd89b569452f10e

  • results.json lines 1–165

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/results.json

    82df13fe683ad91128a58e79ae01e15858afb6aff01ef004c0421f171ec9f551

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam full collar reconstruction 20261015

Which original seam information determines one common field, state and time action without confusing geometric reflection with boundary polarization?

Recorded verdict: EXACT_CONDITIONAL_RECONSTRUCTION_WITH_SOURCE_CORRECTION

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–65

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/contract_index.json

    5e7a6db049fcaa861eb31f5346f22b26c959e3307668c54043ceb62aa9778802

  • PROOF.txt lines 1–221

    Source checked at this snapshot

    Original location and fingerprint

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

    9f4effed34316798c6a35e1ac0ec2832cd3720180f476cb8747bb32359b56e6a

  • README.md lines 1–104

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/README.md

    2511816f728e878bf04a4e635d0a477b4c1b685c7a80d9afd763cf876c0431b1

  • checker.py lines 1–370

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/checker.py

    fa635ab362138a2448424b58b3e63460d1221b8080dfe0b531ebb540c1d5e91c

  • atlas_snapshot.json lines 1–1032

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/atlas_snapshot.json

    3a836de043938acec04e9b8514ed36491bbb32aaf5701fa755f324820e589fde

  • input-example.json lines 1–17

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/input-example.json

    44c2d483a16bf28fe889c2cf2de3d6e15714eb6104838f42b65a00400ed512d1

  • lean-receipt.json lines 1–69

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/lean-receipt.json

    e85427c76d6fd78765b822649ad1f26b45c1319eedc632648464037950a8f292

  • results.json lines 1–1206

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-full-collar-reconstruction-20261015/results.json

    64093dbc6d1c59591caf18f5f3725b6f4d54383be5e55ab7c7db511f1d616407

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam joint source origin audit 20261016

Does the original source derive time, state and the internal 3+2 carrier together, or do the proposed Higgs/Yukawa repairs assume the missing field map?

Recorded verdict: PARTIAL_SOURCE_DERIVATION_NOT_CLOSED

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/contract_index.json

    af0672f38049f2211551d47c2ec3ddbc1fc5e9ab49c0ced6e9322847609c5aa4

  • PROOF.txt lines 1–229

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/PROOF.txt

    f91443b115994302aa3b10d2a6b44131e13c3998b13d47b34aeaa59e25c86315

  • check_source_inference.py lines 1–210

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/check_source_inference.py

    6f16706cec2e7e341cf62446acdf67f5a72f2512be3bab5195758b7b7539a834

  • higgs_variation_results.json lines 1–53

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/higgs_variation_results.json

    145be0c2fc685d99bf991293c7649d2fd5965b11fd55d8608227ab5b9c902374

  • local_algebra_identifiability_results.json lines 1–42

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/local_algebra_identifiability_results.json

    916924a1046235d373a189fcc6297f7c90e26ce0b9fb3d101cf0525fe2dc04ef

  • minimality_selfconsistency_results.json lines 1–209

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/minimality_selfconsistency_results.json

    707120fe34b177d4675c63bd4a40aa7c51e7ca310090d05748f0ac90ce975385

  • process_reconstruction_results.json lines 1–114

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/process_reconstruction_results.json

    fae58c30580b6d5bd8e33705714ce0f17e65c49ec14ab96136fbb9ec30d0e788

  • process_reconstruction_source_manifest.json lines 1–44

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/process_reconstruction_source_manifest.json

    313579e9390ffd0f5c38db5f70802241c06b83b9c18e61fa035ab246caf35295

  • results.json lines 1–179

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-source-origin-audit-20261016/results.json

    cb512da23d51c77a1c289acc9fff154c0af980f60c226fb053ddb27d5d9adc35

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam joint ward state 20261014

Can one D8-containing even-unimodular extension preserve the source charge/clock class, determinant-only packet response, unchanged fold time, and original vacuum requirement at once?

Recorded verdict: EXCLUDED_MARKED_FOLD_COMPLETION

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–276

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/contract_index.json

    a7a813dd3b60ff4340cc2f6fe8c4bbc780486beeda007117a69359df8adc303a

  • PROOF.txt lines 1–1087

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/PROOF.txt

    7c0cd92dfc5eca88260baae0af9edad66f958a27ce0d15d7965414b3971f8da0

  • README.md lines 1–219

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/README.md

    e6eeeb4a5aba4b0bf65e901d478ce4fa5998b1b7c3cd2d216627b96df152cb35

  • checker.py lines 1–291

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/checker.py

    d18aafbf6d4f6f651afe0533c2b7de3412200fc004d22d0e5bdbdf45260aee76

  • source_manifest.json lines 1–289

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/source_manifest.json

    73b36114ca6aba3d2cabcc13294c3cefaf9e3600e0d432a3ced457bbfe7e2b80

  • PROOF.md lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/PROOF.md

    a4802d25255e9bc1ce3cd4a3577c56dd5e81e02fe976d565a8b459a871421a5f

  • FOLD-AUDIT.md lines 1–250

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/FOLD-AUDIT.md

    f237a8c9b7c0b8157b222c2a922f6d0183f39db149a4249c2a6b984f0d29dc8d

  • fold-results.json lines 1–286

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json

    253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639

  • PROOF.txt lines 1–217

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/quotient-locality-e8-20261014/PROOF.txt

    dfa4b094f660d47bc28cf2729e1c12eb29ae0b79cdfda36e72cb40f9406f5714

  • 01_boundary_kernel_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex

    89afb7d6cd1bb3a74ce4acd2ab43f4d990e7f22d5986c33e3fe90a0abf1260ff

  • 02_carrier_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/02_carrier_source.tex

    4783f526a49dfb708d496a3910392bb8aecf2b9c307f9542d3ed113aae2a4faa

  • tfpt_3_e8_audit_bootstrap.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_3_e8_audit_bootstrap.tex

    8fafa428bf8a079d774692514063c51eb62e4fdeb3897a1db40563433b4a3a7c

  • v519_woit_theta_rp_free.py lines 1–1190

    Source checked at this snapshot

    Original location and fingerprint

    verification/v519_woit_theta_rp_free.py

    e86e3a055b58051c7978d8f10ee527948bac758fd4665ac216e18a71cc8c1ee9

  • PROOF.md lines 1–174

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-boundary-lift-selection-20260922/PROOF.md

    2429cb31655e4d0711ba895825d740fe18f6a4e39677a987b61a5cd97c21addd

  • PROOF.md lines 1–194

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-joint-spin-family-lift-20260922/PROOF.md

    d3ae02543e90d840879808554816f923cc36cab52268a032d1ce29c2569f5bd2

  • PROOF.md lines 1–342

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-native-clock-flavor-bridge-20260922/PROOF.md

    a3e88f4cb025994fad73d2bb0b6408fd3970f184b05d8606d5c429eb2fb2036b

  • certificate.json lines 1–339

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-native-clock-flavor-bridge-20260922/certificate.json

    2c38441205553cad0369cf72f2d5ed16944f7c949bfe8268a6a4a07c21eaba25

  • PROOF.md lines 1–128

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-three-route-closure-20260922/PROOF.md

    dd2e792943a975d490145fc9ae51c2ec43f6bd5e39b58550194e7c59032838a2

  • FAMILY.md lines 1–147

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-three-route-closure-20260922/FAMILY.md

    93a90ee0098219197dfc7dced537b7b4d728337108ba15dc68bb2a6b9a8d95d1

  • family_certificate.json lines 1–93

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-three-route-closure-20260922/family_certificate.json

    0ee8f958292b940960b77320f548e8ea7d0afe99347fb69614a3bc464a964d05

  • PROOF.md lines 1–372

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-native-retarded-selection-20260922/PROOF.md

    e68bd415f03b83bfdd17d819bea40e1432a0cb70e354c0c51ee1c2ad3595ec1c

  • certificate.json lines 1–70

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-native-retarded-selection-20260922/certificate.json

    ebd0de8e0146594b8befce9346587f3e4f6041061344c7c57e11481a81069b49

  • v988_psi_lambda_reduction.py lines 1–326

    Source checked at this snapshot

    Original location and fingerprint

    verification/v988_psi_lambda_reduction.py

    eae02e79be5703ccec67f1f11470e3ffd99895b17575c9ce1d553720bd1752cd

  • PROOF.txt lines 1–300

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-locality-20260920/PROOF.txt

    669309ea7f240397b2eb49c61e02b5224d4b9d1c15d50aeca30668fa97fa41bb

  • PROOF.txt lines 1–293

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-sector-reconstruction-20260920/PROOF.txt

    a5796f90f4fa079badc5a07c451f1ea1028fcff3f258ac3f6992c6ae8d65d7d6

  • PROOF.txt lines 1–237

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-z8-parity-descent-20260921/PROOF.txt

    4c5ade4da333abb5fd528a02bc3e95158a7b40eaa7c89d7200b77768810320d9

  • README.md lines 1–300

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-twist-grade-carry/README.md

    b90ac8cb7b06d900927c3779788a2751e81890fbed549a41a02398ee82d89b2a

  • TEST_RESULTS.md lines 1–55

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/half-twist-grade-carry/TEST_RESULTS.md

    7b0dd5996c3bd3115a7a8becd0ca5257d55a8806446642a92fb835a7485ec5d3

  • operator-transport-results-optimized.json lines 1–297

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/operator-transport-results-optimized.json

    1f202acef93413100202dda629ee0fe05ab0d82a3a24d1ea9b543cabf184ba3c

  • projection-results-optimized.json lines 1–1001

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/projection-results-optimized.json

    e6d547695814b80926ca9797fccede53d524ccc23a24cdfb6d97edb2b8daae15

  • operator-transport-results.json lines 1–297

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/operator-transport-results.json

    1f202acef93413100202dda629ee0fe05ab0d82a3a24d1ea9b543cabf184ba3c

  • projection-results.json lines 1–1001

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/projection-results.json

    e6d547695814b80926ca9797fccede53d524ccc23a24cdfb6d97edb2b8daae15

  • results.json lines 1–3781

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/results.json

    67fb9789a0c623c5a22a7f94ae2ce32cdfedee2a1bf94ee6bd7107d10e57d903

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam source character search 20261015

Which order-four markings are generated by the retained source time and full charge, and do they supply a physical common source without an inserted P5?

Recorded verdict: COMPLETE_INTERNAL_CHARACTER_CLASSIFICATION_PHYSICAL_SOURCE_OPEN

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–49

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/contract_index.json

    28e736f1904207f1c6c15932bf7b6130637364427b4ec4fa82eaa2289f820362

  • PROOF.txt lines 1–204

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/PROOF.txt

    b0c7f7a36eb394c9aa44babac821221201c4baa5640d6acb11669a7b94b281d9

  • README.md lines 1–83

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/README.md

    5cc4f5a5d1de2479bdfffbb397594b7a63c0641e15ef158b9d57a74cf4592b25

  • search.py lines 1–425

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/search.py

    4d4a905d221341cff287f6531e8ffed651346dbd851242ef3f60714b6f6fb8e2

  • source_manifest.json lines 1–33

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/source_manifest.json

    41a196178a96056cade4e6e51aee66c854eb360373dc0fc69df470278f767cb1

  • tfpt_1_architecture_e8.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_1_architecture_e8.tex

    45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5

  • 01_boundary_kernel_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/01_boundary_kernel_source.tex

    89afb7d6cd1bb3a74ce4acd2ab43f4d990e7f22d5986c33e3fe90a0abf1260ff

  • fold-results.json lines 1–286

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json

    253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639

  • FOLD-AUDIT.md lines 1–250

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/FOLD-AUDIT.md

    f237a8c9b7c0b8157b222c2a922f6d0183f39db149a4249c2a6b984f0d29dc8d

  • PROOF.txt lines 1–1087

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-joint-ward-state-20261014/PROOF.txt

    7c0cd92dfc5eca88260baae0af9edad66f958a27ce0d15d7965414b3971f8da0

  • PROOF.txt lines 1–251

    Source checked at this snapshot

    Original location and fingerprint

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

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

  • README.md lines 1–230

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/carrier-module-conjugation/README.md

    2f1b9171f4ea03bbe6dc0466834f21d738526b84c559f4008fa17c3e8f42ee70

  • atlas_packet.snapshot.json lines 1–1264

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/atlas_packet.snapshot.json

    1498fea89184cd0d33748e64709dd59ae48f10156ec412c308d19bc9efd0960b

  • lean-receipt.json lines 1–48

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/lean-receipt.json

    c23596ea27ff496eef221cc5620e8e7b8d5a892fefa84324a685765e8e4078f0

  • results.json lines 1–10931

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/results.json

    fd6b5e705fc664e91a64da585e0c31385cf15aa4e9357c563781f2ae27db9093

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam source operator reconstruction 20261015

Does the actual P1/P2 seam determine a common field, state and time map with the quarter phase retained, and what exact operator conditions permit reconstruction?

Recorded verdict: CONDITIONAL_SOURCE_RECONSTRUCTION_NO_P1_DERIVATION

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–76

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-operator-reconstruction-20261015/contract_index.json

    786048fa63d6be7243ff640ac7e507da5a8042fba2c17763e089b810b286d029

  • PROOF.txt lines 1–318

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/source_reconstruction/PROOF.txt

    424e2f8eaf021cae575e479ccca4fcd2b8a34df1e5d5410371a86144f07ddb5d

  • search.py lines 1–392

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-source-character-search-20261015/source_reconstruction/search.py

    53bec761f84ff5e1934837707946e0fc24d8db78ea7c8d32b333c0fae6384001

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

source graded gns matter gate 20260922

Do the supplied graded GNS and cubic extensions select the original source and supply native Spin(10) spinor fields?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–73

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/contract_index.json

    cf06d16354e61dd9ed3074812f5859fa71c56b4a7ccdc2a89297bba3f0ebb446

  • validation.json lines 1–18

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/validation.json

    f0ef46b30e1991eab8e5555f665d49e851f8bea473b5fa7a8eb25343d885f9de

  • PROOF.md lines 1–227

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/PROOF.md

    12a45d9bfa25dc37579df53af46406da8da5547215f583fd983149c44a528c95

  • README.md lines 1–19

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/README.md

    27800e6e57c3ac246d786597f6f2329b30407d5209f771f36e4292b8625c1c12

  • checker.py lines 1–163

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/checker.py

    0f73f61ad7ab8658bcb2ca33241700796751a07dd628cc771f549da62bb37642

  • results_optimized.json lines 1–298

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/results_optimized.json

    0e02e6bbe93d38c06ae47b7a980df20d1809d852ded1837692a0890480a668e7

  • results.json lines 1–298

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/results.json

    0e02e6bbe93d38c06ae47b7a980df20d1809d852ded1837692a0890480a668e7

  • source_pins.json lines 1–42

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/source-graded-gns-matter-gate-20260922/source_pins.json

    a2c81265c92e2af8d965f1792385a900b36badff694aad71283dca67f1abae0a

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5