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.

Automated construction of operator maps and sources

Which tools generate operator maps, learn counterexamples, and can search for the full positive source?

What has been learned

Established in scope

Quarter circle character does not select Gaussian defect connection

In the question: Automated construction of operator maps and sources

Given free scalar Gaussian defect line,fixed positive ell and constant α. Width4log2 is diagnostic,not physical scale. Projector connection is not asserted compulsory physical choice;no new time or exclusion of other originally specified connections. Original circle character remains correct. Whole coupled h time gives U_t=e^{ith}Ue^{-ith},not generally scalar2π closed clutch family. No native clock intertwiner or missing time in full operational Seed inferred.

Read the exact result, assumptions and evidence

Result

Existing scalar defect family Tφ=R−e^{iφ}U has periodic frame eφ,n=e^{iφn}y_n/||y||. Given circle action satisfies e^{itB}y(φ)=e^{itα}y(φ+t). Natural orthogonal-projector connection instead has〈eφ,∂φeφ〉=iμ and holonomy e^{-2πiμ},μ=〈n〉. Old allowed diagnostic control α=1/4,ell=4log2 gives μ=0.1855335532291087 and holonomy0.3940689714−0.9190808701i,not quarter phase. Exact rational partial sums and geometric tail bounds certify difference. Separately specified flat orbit transport still has circle phase+i;family equation does not select it as projector connection.

Required assumptions

  • Relative unit seam on explicitly assigned collar faces

    In existing product collar,test original relative unit gluing v1=Uv0 on an explicitly assigned pair of labeled faces. Scalar block has h e_n=(n+α)e_n and U e_n=e_(n+1),α=1/4 or3/4. Actual original Γ±-to-face assignment,orientation and three-cabled spin trace map are not assumed derived.

  • Constant odd circle-source coefficient with existing sea and full boundary graph

    In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.

  • 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

  • DEFECT-TIME-PHASE-INDEPENDENT.txt lines 1–122

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DEFECT-TIME-PHASE-INDEPENDENT.txt

    828d2d844d505b504da0466d9f6008c189df0d56a63be56e5ab9297e7c0b7d66

  • CLAUDE25-CANDIDATE.txt lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE25-CANDIDATE.txt

    5a7349f3040b85650865b152d4e8c13b54389e60a6fbb1435a6d6f9126bf2806

  • F5-HARDY-SEAM-OPERATOR-REVIEW.txt lines 1–169

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-HARDY-SEAM-OPERATOR-REVIEW.txt

    6968c825edaf6454138c228949441a2d67ceae41a034037930f02aeebca8c017

finding:scalar-defect-circle-character-does-not-select-projector-holonomy

Established in scope

Old scalar clutch separates bulk C0,boundary adjoint and product reflection

In the question: Automated construction of operator maps and sources

Actual old product collar with specified complex structures and theta-fixed R_geo. No general reflection no-go;additional original base pullbacks/fiber lifts can give different common operation and must be transported explicitly. Existing open-source reflection positivity,whole Cauchy graph and source state/time remain intact. Bulk adjoint,boundary CAR and geometric reflection are not interchangeable names. Correction rejects The reviewed first C0/U inference,not every physical P1 Real structure.

Read the exact result, assumptions and evidence

Result

Actual C0=i_old N is old-complex-linear and commutes with U=e^{i_oldθ}I. New antilinearity for Ical does not allow C0UC0=U*. Whole T chart clutch is diag(U,barU). Oriented T_faces conditions are v1=Uv0,w1=−Uw0. Bulk C0 preserves this closed kinetic domain;C_faces maps unitary clutch subspace to orthogonal complement. Actual theta-fixed product reflection instead transports whole domain to U^-1. SF+1 alone does not assign four original boundary pieces to F5 faces. Reuse old NS/quarter dictionary;The reviewed mixed1/4,3/4 mass toy does not replace actual same-Aα source.

Required assumptions

  • Geometric Clifford boundary with explicit changed complex structure

    Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.

  • Relative unit seam on explicitly assigned collar faces

    In existing product collar,test original relative unit gluing v1=Uv0 on an explicitly assigned pair of labeled faces. Scalar block has h e_n=(n+α)e_n and U e_n=e_(n+1),α=1/4 or3/4. Actual original Γ±-to-face assignment,orientation and three-cabled spin trace map are not assumed derived.

  • 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

  • CLAUDE25-CLUTCH-REAL-TYPE-REVIEW.txt lines 1–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE25-CLUTCH-REAL-TYPE-REVIEW.txt

    7cc827c6925676e8570d5279b33897050dc24efdce8bfa16dea3e3197ec19314

  • CLAUDE25-CANDIDATE.txt lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE25-CANDIDATE.txt

    5a7349f3040b85650865b152d4e8c13b54389e60a6fbb1435a6d6f9126bf2806

  • PROOF.txt lines 20–140

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/PROOF.txt

    708dad21942cc00dd56d3348eacee3f0d90ccfc53e3f4987e39ded00ddc70841

  • FINITE-COUPLED.txt lines 14–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/FINITE-COUPLED.txt

    61d3d524801aff0147d393c518ad554e3ab550271165e2000d9efbf613b90234

finding:old-complex-scalar-clutch-separates-c0-and-product-reflection

Established in scope

Whole constant seam defect follows exactly from actual internal kernel

In the question: Automated construction of operator maps and sources

Entire supplied constant coefficient class with explicitly retained closed scalar clutch domain. No arbitrary single channel or physical three-copy choice. Invertible Φ removes both defects;index0 alone does not trivialize every determinant action. Controls are not derived Yukawa values. Variable Φ retains−i[A,Φ],normal-dependent V another derivative,and noncommuting U a boundary form. No exclusion of all P1 sources or variable interactions. Original face assignment,branched spin-domain map,physical source selection and time remain actual maps. Scalar unit defect and old same-spin once norm retain valid scope.

Read the exact result, assumptions and evidence

Result

On unchanged scalar unit-clutch domain,LΦ=∂r+Aγ_F−iγ_FΦ is closed Fredholm. Whole energy identity ||LΦψ||²=||L0ψ||²+||Φψ||² also holds for adjoint. Extra boundary term vanishes by U*VU=V;nonzero massless A/U boundary term remains in ||L0ψ||². Kernel/cokernel of existing whole boundary mismatch are precisely kerΦ∩Fminus and kerΦ∩Fplus. Whole index−Trγ_F=0 for48+48. Previously exactly checked v252 controls immediately give(0,0),(2,2),(1,1),without rerun. Constant original δΦ acts between surviving Gaussian defects as−i Pker,+ δΦ Pker,−. Reuse primitive NS clutch u_cov from solved quarter dictionary.

Required assumptions

  • Whole constant odd coefficient on same scalar unit-clutch domain

    Test supplied whole h=Aγ_F−iγ_FΦ with constant Hermitian odd Φ,internally scalar A=−i∂θ+α and U=e^{i_oldθ}I on D_U={ψ∈H1:ψ(ell)=Uψ(0)}. Hence [A,Φ]=0 and U*ΦU=Φ. Original Γ±-to-face assignment remains an explicit premise. Cited v252 coefficients are previously checked constructor inputs,not selected physical masses. Variable Φ,noncommuting connections or charged noncentral clutches change these premises.

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

  • Constant odd circle-source coefficient with existing sea and full boundary graph

    In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.

  • Actual full v252 gauge lift and original P2 comparison

    Given the full unchanged v252 constructor pi,J_F,gamma_F,D_F and its symbolic Yukawa/Majorana inputs. Compare real gauge lift U=pi(u)J_F pi(u)J_F^-1 on the connected unimodular branch lambda det(m)=1 with original oriented P2 carrier E3+E2,Y=(-1/3)^3+(1/2)^2. No full Spin10 source action is presumed. A cyclically fixed neutral family line is considered only with an expressly supplied sigma=(123) and eigenvalue1; its original physical selection is not assumed.

Original evidence

  • FULL-COUPLED-SEAM-INDEX.txt lines 1–163

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/FULL-COUPLED-SEAM-INDEX.txt

    6b06db335a9b728b0176ec85143120e7882422bdc6c54ea60d4552465edbd81f

  • WHOLE-CLUTCH-ENERGY-INDEPENDENT.txt lines 1–158

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-CLUTCH-ENERGY-INDEPENDENT.txt

    4d07407c68388a2c84bdd555c7459afe9ef98ee67d6d38a2602d93975055a41c

  • FINITE-COUPLED.txt lines 14–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/FINITE-COUPLED.txt

    61d3d524801aff0147d393c518ad554e3ab550271165e2000d9efbf613b90234

  • EXACT-CHANNELS.txt lines 1–44

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/EXACT-CHANNELS.txt

    10db566daccf1333448d748590754a7bfeb40817bc5886ba4bbe90d625dda346

  • exact-source-channels.json lines 1–44

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/exact-source-channels.json

    007c0b31d8bd8d9fdd80b969e1126dc52e35936c8ce46d377d1e925c872c75f6

finding:whole-constant-coupled-clutch-defects-are-exact-internal-kernels

Established in scope

Original relative seam has an explicit Fredholm mismatch on whole given two-face graph

In the question: Automated construction of operator maps and sources

Concrete original type of relative boundary operation on given whole collar;explicit index/Gaussian cokernel concern its actual scalar block. No selecting this block instead of whole charged source or physical three-copy count. Whole h=Aγ_F−iγ_FΦ with both principal-symbol directions and C0 completion remains to test. Original fullv21 has four boundary pieces;Γ± are not automatically two F5 faces. No closed operator intertwiner to branched S0 Hardy domain or q evaluation fibers. Index/Fredholm class are not exact operator identity. Time covariance is moving-seam family,not fixed-clutch physical time or new time choice. Old same-spin once norm remains solved;classical matching does not select new state.

Read the exact result, assumptions and evidence

Result

On existing full normalized Cauchy graph V=(sqrtA,sqrt(1−A))^t,A=(1+R²)^-1,R=e^-ell h,the relative boundary mismatch F_U=[−U,I]V=sqrt(1−A)−U sqrtA is bounded. In existing scalar quarter block it normalizes T=R−U on DomR. T is closed Fredholm,index−1,kernel0,with exactly one Gaussian cokernel y_n∝exp(−ell[n(n−1)/2+αn]). Proof uses trace-class perturbation of P_-−U P_+,no truncation or new Hardy projection. Full two-face compression G(U⊕U)G is instead invertible bilateral weighted shift,index0,weights≥sech(ell/2). One-face compression G(I⊕U)G has index+1 in same orientation and leaves G11 unchanged. Circle time covariantly transports matching into U_t=e^it U family.

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.

  • Constant odd circle-source coefficient with existing sea and full boundary graph

    In the existing Clifford chart on L2(S1,K) with finite K let h0=(-i∂theta+alpha)gamma,alpha=1/4 or3/4,gamma*=gamma,gamma²=I. Supply constant selfadjoint odd Phi,{gamma,Phi}=0,and V=-i gamma Phi,h=h0+V on common periodic H1. Compare given CAR sea projectors P_-(h0),P_-(h) and complete pure two-face projector G_ell(h),ell>0,including crossings. This is the existing source class with classical background, not physical selection from P1 or quantization of dynamic bosons.

  • Relative unit seam on explicitly assigned collar faces

    In existing product collar,test original relative unit gluing v1=Uv0 on an explicitly assigned pair of labeled faces. Scalar block has h e_n=(n+α)e_n and U e_n=e_(n+1),α=1/4 or3/4. Actual original Γ±-to-face assignment,orientation and three-cabled spin trace map are not assumed derived.

Original evidence

  • F5-HARDY-SEAM-OPERATOR-REVIEW.txt lines 1–169

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-HARDY-SEAM-OPERATOR-REVIEW.txt

    6968c825edaf6454138c228949441a2d67ceae41a034037930f02aeebca8c017

  • CLAUDE24-CANDIDATE.txt lines 1–103

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE24-CANDIDATE.txt

    ed0232a401e6fe51ebdbfa7d5812208810a3fd205f59d19c20c6759d319ceebe

  • 001-section-introduction-the-problem-of-parameters.tex lines 220–258

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--paper-latex--tfpt-theory-fullv21/sections/001-section-introduction-the-problem-of-parameters.tex

    85bb11511be05385a7cadf6071dbede216b12befeb9d6767bc4460748cbec5d7

  • BOUNDARY-OPERATION-PROOF.txt lines 24–137

    Source checked at this snapshot

    Original location and fingerprint

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

    a55bc1d8bcda606e274092873dedf00709d40bd093d3ec0e08ce7ff25ecf5a47

  • SELFDUAL-KINETIC-PAIRING.txt lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/SELFDUAL-KINETIC-PAIRING.txt

    5543c7cf0360985377e388cbd80c8e2eb3faa554f5c6e7e1f50bb1fae88bb065

finding:original-relative-seam-has-explicit-whole-graph-fredholm-mismatch

Established in scope

Closed spin/flavor source has a functorial Pfaffian line with charged type limits

In the question: Automated construction of operator maps and sources

Closed curve with specified orthogonal spin source;no transfer to original P1/F5 operator,APS domain or physical action. No freely choosing a dual to fit target phase. Character comparison only for reviewed c/Q/deckV4/spin-center,not full Jac[2] zero-mode functor. Odd line exists;unsaturated section vanishes at this singular operator. Three geometric Real forms or complex normal index1 do not determine physical Majorana count or parity cancellation. One complex CAR mode has two Majorana directions yet odd relative vacuum parity;odd transition amplitude is not a positive state. Reuse old primitive seam defect and solved same-spin unit quotient. No general origin no-go or physical completion.

Read the exact result, assumptions and evidence

Result

For supplied V=S0⊗Fq,the orthogonal coefficient form and S0²=K give a symmetric K-valued pairing. Integration by parts makes the closed Dolbeault operator bilinearly skew;its Pfaffian superline exists functorially. With Δ=detH0 and Serre duality,the fixed conventions are λ_coh=Δ²,Det_F=Δ^-2,Pf_F=Δ^-1. Pf_F has reviewed Nq line character and odd parity. This does not identify actual charged W=(16,4):its vertical κ phase−i forbids invariant scalar W⊗W→K. Existing full selfdual W⊕W* source has Pf=±det of its charged block.

Required assumptions

  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

  • Geometric Clifford boundary with explicit changed complex structure

    Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.

  • 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

  • CLAUDE23-PFAFF-FIRST-REVIEW.txt lines 1–134

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE23-PFAFF-FIRST-REVIEW.txt

    17db47c55f4922ccb4975202d0616005ea89df129b9baddd583b11ec02eb7a3e

  • CLAUDE23-NORMAL-REAL-FIRST-REVIEW.txt lines 1–181

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE23-NORMAL-REAL-FIRST-REVIEW.txt

    9e2d1b270f22580a8bec23cfe9a379432f2546c7289f954c543d982ef1733d64

  • SELFDUAL-KINETIC-PAIRING.txt lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/SELFDUAL-KINETIC-PAIRING.txt

    5543c7cf0360985377e388cbd80c8e2eb3faa554f5c6e7e1f50bb1fae88bb065

  • SAME-SPIN-REFERENCE-SIMPLIFICATION.txt lines 1–191

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/uniqueness/SAME-SPIN-REFERENCE-SIMPLIFICATION.txt

    8a0586c93b371905105d33f04c1deb796c9f603c0fed09c8cc90dbb33bd64481

finding:closed-source-flavor-spin-has-functorial-pfaffline-with-charged-type-limit

Established in scope

Actual fermionic kernel-volume line carries precisely the inverse q-norm action

In the question: Automated construction of operator maps and sources

Independently twice-checked actual line-representation bridge onall generators,not beta-phase match alone. EarlierεKummer-to-flat-fiber transfer andcommonU comparison corrected;cover identities retained. Character equality gives equivariant isomorphism upscalar,not functorially canonical total residue map orphysical norm. Individual legs arelinear,butclaimed individualQ/deck equivariance doesnotfollow. NoJac[2] tensor-translation/N64 equivalence;these changeh0 and differfromdeckV4. No originalP1/APS source map,selectionH0ratherthanH1,single insertion orBerezin dual choice. Whole detRΓ also containsH1 and loses uniform scalarweight sinceχ0. OldNq/theta/native module proof reused;newactual kernel-volume supplies matching linear factor,itsphysical use remains specific origintest.

Read the exact result, assumptions and evidence

Result

For actualold coefficient lift calibrated atq0,Q_kernel²=−iI3,δ=(1,−1,1),ξ=e^(−iπ/4). Q actsbyξ³ onΔ=det⊕aH0(Ta),by−ξ³ onunordered tensorZ. Independent norm test:αq0=iξ,product of exchangedq1/q2 spinmaps=βq1=+i,soQ_Nq=−ξ,Q_Nq^-1=ξ³,Q_Bq^-1=−ξ³. Orderthreec cycle acts1 onall compared lines;three nontrivial actualdeckV4 characters multiply1;spincenter−I acts−1. HenceΔ≅Nq(S0)^−1 andZ≅Bq(S0)^−1 as full line representations of group generated by these c/Q/deckV4/spincenter lifts,upnonzero scalar. Fermionic permutation sign distinguishes matching determinant line fromunordered tensor.

Required assumptions

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • SOURCE-ZERO-MODE-ACTUAL-LIFT-NORM.txt lines 1–127

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SOURCE-ZERO-MODE-ACTUAL-LIFT-NORM.txt

    673abb0a6fa24cc1d989d0ae68d816acf811bbfa1ec3f8fa978e77991afde143

  • SOURCE-ZERO-MODE-NORM-INDEPENDENT.txt lines 1–126

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SOURCE-ZERO-MODE-NORM-INDEPENDENT.txt

    9c790ed53c3945d825043147fcfb31cca29753cf8212653775dd9aaaa634a39e

  • MARKED-Q-DIVISOR-CENTRAL-TWIST.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/MARKED-Q-DIVISOR-CENTRAL-TWIST.txt

    da1f75831a46a0c0662f931486b77e6e2085126df452b009d1a90351d413d904

  • SOURCE-SELECTED-THETA-SPIN.txt lines 1–174

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SOURCE-SELECTED-THETA-SPIN.txt

    cf4478191ccd75d62a2f049a54193541009bed24877df9cbe0ed9f942d07d717

  • CLOCK-Q-PACKET-COMPATIBILITY.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/CLOCK-Q-PACKET-COMPATIBILITY.txt

    fe37f20bbb2d959dfe678ca1bf435a69067cfcb859a3d36769294bbe9bf61c32

  • REUSE-SAME-SPIN-SEAM-AND-NEXT-OPERATOR.txt lines 1–51

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/REUSE-SAME-SPIN-SEAM-AND-NEXT-OPERATOR.txt

    e2969ebf7c654ca3498dad5143084c6c11a18d2fcd9116effbb0676d0fe10cb9

  • SAME-SPIN-REFERENCE-SIMPLIFICATION.txt lines 1–191

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/uniqueness/SAME-SPIN-REFERENCE-SIMPLIFICATION.txt

    8a0586c93b371905105d33f04c1deb796c9f603c0fed09c8cc90dbb33bd64481

  • AKTUELLER-STAND.md lines 1–48

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/AKTUELLER-STAND.md

    374dd640a04cfcfd4eb8edfa57a52d3e8afd89eb4c4388945550856334428db5

finding:actual-spin-kernel-determinant-has-inverse-q-norm-character

Established in scope

Existing S0 Szego kernel generates actual q kernels as marked point legs

In the question: Automated construction of operator maps and sources

Exact specialization of established hyperellipticSzego method toactual selectedS0/q packet;primaryfulltext D'Hoker/Hidding/Schlotterer JHEP05(2023)073 section2.3/equation2.26 checked. Not new general propagator formula. Valid point-leg/typedV4 product bridge supplies no originalP1/APS operator/domain map or physical field quantization,state/R/time. Twisted zeros differ from baremeromorphicframe. Additional bijective3point saturation has2nonzero assignments butis not original source rule. Canonical reduced inverse fromηalone is refuted;actual familytransport/normalization and Hermitian projections may define specific reduction. Retain corrected spin/fiber lift,notfreeσchoice orautomaticQΓbridge.

Read the exact result, assumptions and evidence

Result

Foru=(w³+1)/η and meromorphic spin sectionsΦ=√(u dw),Χ=Φ/u,S(x,y)=[ΦxΧy+ΧxΦy]/[2(wx−wy)] is unique normalizedS0 Szego kernel. Diagonal residue1,noother poles including opposite sheets/infinities. S(qb,qa)=S(pb,pa)=0 fordistinctpoints;mixedq/p≠0. S(.,qa)∝Φ/(w+ωa) hasS0 divisor−qa+q(a+1)+q(a+2);withactualLa factor it spansH0(Ta). Thus3kernels arise explicitly as old marked propagator legs. For{a,b,c}={0,1,2},actual products lie in1dimensionalH0(KLc),zero divisorqc+q(c+1);bareS0 product(w+ωc)dw/η instead has2qc. Elementary modificationS−S(.,p)S(q,.)/S(q,p) has simple pole atq-dipole with rank1 kernel/cokernel residue. Finite Laurent part is notcanonical without transport:gε=exp(εf) changesG0 toG0+[f,P],retaining same residueP andη point split.

Required assumptions

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • CLAUDE22-SZEGO-FIRST-REVIEW.txt lines 1–186

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE22-SZEGO-FIRST-REVIEW.txt

    76d97c22caf295b502cbab98e82aa747f6f9d6b8ac0b1c6dcf1db61ada240f19

  • SZEGO-PRIMARY-SOURCE-REVIEW.txt lines 1–35

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SZEGO-PRIMARY-SOURCE-REVIEW.txt

    51c7b0639973a5dbd66e3e1d24942b96aa7000f6fa301dc4336b60c44e0b06da

  • CLAUDE22-CANDIDATE.txt lines 1–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE22-CANDIDATE.txt

    a47f8b43db15a6da024f5416b51ce10ef469112c83b30a6ad19fba6adaacd61d

  • SOURCE-SELECTED-THETA-SPIN.txt lines 1–174

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SOURCE-SELECTED-THETA-SPIN.txt

    cf4478191ccd75d62a2f049a54193541009bed24877df9cbe0ed9f942d07d717

  • SIGN-LINE-COVER-DICTIONARY.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SIGN-LINE-COVER-DICTIONARY.txt

    555f75a2d3c67347fa5f8e3c4f7f46e79d94cb4172176c84010224585dc842e7

finding:source-s0-szego-point-legs-generate-q-kernels-with-typed-products

Established in scope

Existing selected spin and actual q lines yield three explicit global kernel sections

In the question: Automated construction of operator maps and sources

Deduplicated new application of old data,not new general theta mathematics. SOURCE-SPIN-ZERO-SECTIONS sections1–3 retained;its section4 phase/original-lift assignment corrected byThe reviewed-SZEGO-FIRST-REVIEW section5. SOURCE-SPIN-JOINT-CLOCK-TEST compares matrices for wrongly assigned lift,not an original intertwiner. Uniform−i halfturn is fixed by original fiber linearization,not freeσ convention or equality withQΓ. Complex cohomology,not chiralindex3 or generation selection. Kernel-volume/oldNq comparison must use corrected lift,not earlier uncalibrated calculation. Complete Seed retains state/time. Closed curve,originalP1/APS domain,reflection,physicaltime and charged field products need actual source map. Existing normline/theta/native module proof retained;original one-copy insertion not proved here. Kernel volume is now positively compared in corrected lift as generated-group line representation:finding:actual-spin-kernel-determinant-has-inverse-q-norm-character;not original insertion rule.

Read the exact result, assumptions and evidence

Result

Already source-selectedS0=O(Σq−K),actualLa=O(qa−q(a+1)),2qa~K giveTa=S0⊗La≅O(q(a+2)),eachh0=h1=1. Whole oldFq=L0⊕L1⊕L2⊕O has(h0,h1)=(3,3),index0,trivialslot0. f_a=1/(w+ωa) explicitly spansTa in stated divisorframe;common quadratization isψa²=(w+ω(a+2))dw/η. Actualc/Q classes transporta→a−1,a→−a−1. IMPORTANT LIFT CORRECTION:oldAq²=(-,+,-) are fiber eigenvalues atQ-fixedq0,already carried by canonical divisor linearization;not additional relative meromorphic signs. Correctly calibrated tensor hyperelliptic lift therefore acts UNIFORMLY−i on all3kernels;Q_kernel⁴=−I retained. Earlier Kummerε-based meromorphic matrix instead had(i,−i,i) and is not original coefficient lift. Its simultaneous matrix comparison and normline continuation are identities of that different lift only. Closed Dolbeault has3kernel/3cokernel and no ordinary two-sided Szego inverse. Corrected quarter hasv_a=δa ξω^(1−a),δ=(1,−1,1),ξ=e^(−iπ/4),spectrum{ξ,−ξ,−ξ};lineQ maps require no global scalar roots.

Required assumptions

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • SOURCE-SPIN-SIGN-KERNEL-REVIEW.txt lines 1–116

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SOURCE-SPIN-SIGN-KERNEL-REVIEW.txt

    6ae00d308d7b97d018e3f2c6c192cbecfe2b26d40c81c62f8c9562bd58e34d88

  • SOURCE-SPIN-ZERO-SECTIONS.txt lines 1–95

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SOURCE-SPIN-ZERO-SECTIONS.txt

    8ace4e928bf950e97d3010d53001a904b03ddedea1f51933e8bea7434938c333

  • SOURCE-SELECTED-THETA-SPIN.txt lines 1–174

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SOURCE-SELECTED-THETA-SPIN.txt

    cf4478191ccd75d62a2f049a54193541009bed24877df9cbe0ed9f942d07d717

  • SIGN-LINE-COVER-DICTIONARY.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SIGN-LINE-COVER-DICTIONARY.txt

    555f75a2d3c67347fa5f8e3c4f7f46e79d94cb4172176c84010224585dc842e7

  • CLOCK-Q-PACKET-COMPATIBILITY.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/CLOCK-Q-PACKET-COMPATIBILITY.txt

    fe37f20bbb2d959dfe678ca1bf435a69067cfcb859a3d36769294bbe9bf61c32

  • CLAUDE22-SZEGO-FIRST-REVIEW.txt lines 1–186

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE22-SZEGO-FIRST-REVIEW.txt

    76d97c22caf295b502cbab98e82aa747f6f9d6b8ac0b1c6dcf1db61ada240f19

  • SOURCE-SPIN-JOINT-CLOCK-TEST.txt lines 1–86

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SOURCE-SPIN-JOINT-CLOCK-TEST.txt

    811a216222b56656c3712d5c9b86e9cf5d9bcee59306595fae5655c4bd952735

  • SOURCE-ZERO-MODE-ACTUAL-LIFT-NORM.txt lines 1–127

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SOURCE-ZERO-MODE-ACTUAL-LIFT-NORM.txt

    673abb0a6fa24cc1d989d0ae68d816acf811bbfa1ec3f8fa978e77991afde143

  • SOURCE-ZERO-MODE-NORM-INDEPENDENT.txt lines 1–126

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SOURCE-ZERO-MODE-NORM-INDEPENDENT.txt

    9c790ed53c3945d825043147fcfb31cca29753cf8212653775dd9aaaa634a39e

finding:source-selected-spin-and-q-signs-have-three-explicit-global-kernels

Established in scope

Antilinear Real structure is not linear duality and compact conjugation does not invert clocks

In the question: Automated construction of operator maps and sources

Exact first-type-error review of external candidate;neitherP1 no-go nor selection of physical Real form/reflection. Linear dual formulaWm*=ΛoddE⊗D^(−1−m) remains valid in its own type. E0 and involutive global Kummer lift retained. Fixed0,1,∞ forcesbar t only under assumed passport preservation. No unique whole-field lift orOS positivity. Oval holonomy alone proves no fermionic boundary zero-mode count;already selectedS0 must be retained. Whole operational Seed retains state/time.

Read the exact result, assumptions and evidence

Result

The reviewed LemmaP is refuted within same existing carrier type:E=O(1)⊕O⁴ onCP1 hasE≅σ*barE forσz=barz,since base reversal and conjugation each reversec1. Exterior/determinant functors give involutivej_W for every integerm withoutm4=−1/2. Compatible split/Chevalley conjugation extends over whole complex E8 bundle preserving brackets. Compact conjugationsigma_c instead commutes withAdg for compactg∈K,exchanges both64 branches and compensates conjugate phases. Alreadyκv=−iv gives sigma_cκsigma_c⁻¹v=−iv,not+i v. Thus general normal-reflection prohibition,compact clock-inversion claim and trivial-slot exclusion of commuting variant are false.

Required assumptions

  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

  • 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

  • CLAUDE21-NORMAL-REAL-TYPE-REVIEW.txt lines 1–105

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE21-NORMAL-REAL-TYPE-REVIEW.txt

    544ebcee4af6bd99098ed3443cea93da74e7c4ace0d9c040f89240ba0e47b53a

  • CLAUDE21-COMPACT-REAL-CLOCK-REVIEW.txt lines 1–92

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE21-COMPACT-REAL-CLOCK-REVIEW.txt

    111ffb2b7cdc5c42928a410d90680100d225b3d9fc9c673a2ace0c8f4d3fcac6

  • C3-REAL-QUARTER-COMPATIBILITY-REVIEW.txt lines 1–131

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C3-REAL-QUARTER-COMPATIBILITY-REVIEW.txt

    e118c54415cb2b80174a4950b146e8050f787bc1f536f3fb0068054f6420a242

  • CLAUDE21-CANDIDATE.txt lines 1–91

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE21-CANDIDATE.txt

    b4f13229764db1c3f43cf6801ea0e55e39907b37f017043386c982e5926c7001

  • PROOF.md lines 36–78

    Source checked at this snapshot

    Original location and fingerprint

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

    d3ae02543e90d840879808554816f923cc36cab52268a032d1ce29c2569f5bd2

finding:real-source-reflection-is-not-linear-duality-or-compact-clock-inversion

Conditional result

Actual quarter preserves K bundle;Kummer cover admits separate Real lifts

In the question: Automated construction of operator maps and sources

Supplied split carrier/connection and explicit oldF/native-family frame assignment. Not original P1 selection or minimization of original topological cost. EarliermA assignment is not silently replaced. Q is notκ;fundamental spectrum onW is1,1,i,−i. Fixed-mark C3 descent remains distinct from allowed transported-mark orbit. Kummer frames and Real type must be specified;coefficient lift proves neitherOS/Pin/Clifford nor physical time. Existing minimal48 common cover with inverted ROOT C12 deck is reused;that deck is not equated with verticalc0. Correction:explicit Kummer-function lifts differ from calibrated meromorphic-line/flat-coefficient-fiber lifts. Their h_a signs are not additional relativeAq² signs. WholeK quarter uses original calibrated coefficient lift.

Read the exact result, assumptions and evidence

Result

In actual q frame,m=(0,−1,0,−1),R=diag(ω²,ω,ω²,ω) are preserved by oldAq. Its parallel line maps extend to whole K cocycle,connection and all associated E8 products;four iterations are identity. Adapted nativeκ,σ0,c0 commute withQ. Of six existing toral norm minima,exactly thism anddual(−1,0,−1,0) areQ invariant. Explicit global Kummer lifts Qh_a=r_a/h_(−a−1),Th_a=1/barh_(−a−1),r=(ω,−ω,−ω) obeyQ⁴=T²=1,TQT=Q⁻¹. E0=QT sends h_a→r_a barh_a and squares1. Same line permutation does not fix lift square:D_sT for s=(−1,−1,+1) squaresD_(−,+,−).

Required assumptions

  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

  • 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

  • C3-QUARTER-EQUIVARIANT-JOINT-LIFT.txt lines 1–88

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C3-QUARTER-EQUIVARIANT-JOINT-LIFT.txt

    f6f6dac8b91ce13b65ad39b8c42319afaf32c1b07ab1ce703d6c9202fb850ca0

  • C3-REAL-QUARTER-COMPATIBILITY-REVIEW.txt lines 1–131

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C3-REAL-QUARTER-COMPATIBILITY-REVIEW.txt

    e118c54415cb2b80174a4950b146e8050f787bc1f536f3fb0068054f6420a242

  • CLOCK-Q-PACKET-COMPATIBILITY.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/CLOCK-Q-PACKET-COMPATIBILITY.txt

    fe37f20bbb2d959dfe678ca1bf435a69067cfcb859a3d36769294bbe9bf61c32

  • SIGN-LINE-COVER-DICTIONARY.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SIGN-LINE-COVER-DICTIONARY.txt

    555f75a2d3c67347fa5f8e3c4f7f46e79d94cb4172176c84010224585dc842e7

  • CLAUDE22-SZEGO-FIRST-REVIEW.txt lines 1–186

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE22-SZEGO-FIRST-REVIEW.txt

    76d97c22caf295b502cbab98e82aa747f6f9d6b8ac0b1c6dcf1db61ada240f19

finding:actual-q-quarter-extends-common-k-connection-and-real-coefficient-lifts

Conditional result

Actual genus-two sign family closes common parallel K connection on cover

In the question: Automated construction of operator maps and sources

Constructive new combination of two solved source components,not new cover or repeated monodromy proof. Data and alignment remain explicit. Clock is adapted representative of whole native class; unchanged originally marked clock needs actual mark/connection map. No automatic descent of local matrix between unequal D powers. Triplet equality is necessary fixed-mark condition; coarse descent across branches also needs actual linearization/isotropy. Whole D/Phi/domain action,charged CAR products,original state,OS and physical time do not follow from connection identity alone. Full existing operational Seed retains its state/time. Old bare μ12 cover does not automatically contain q lines by existing ramification proof; no identity with original Fermat source.

Read the exact result, assumptions and evidence

Result

Already proved v117 splittingπ*F=L0⊕L1⊕L2 onC plus trivial line gives genuine flat SU4 sign bundle. Transitionsdiag(l0,l1,l2,1),product1,commute with existing natural Spin/family lift. For mA=(0,0,−1,−1)this gives global K=(Spin10×SU4)/Z4 cocycle with(16,4) branchW=ΛevenE⊗[L0⊕L1⊕D^-1L2⊕D^-1]. Half-determinant signs cancel in quotient. Whole associated E8 algebra and Lie products are global. Actual combined connection isA_W=ρ(A_E)⊗I+I⊗(Ma+A_L). Diagonal flatA_L commutes withM and nativeR=diag(ω,ω²,ω²,ω). Along with color center,κ,σ0 andκσ0 are thus global parallel automorphisms on all E8 branches. Irreducible lower A4 holonomy becomes abelianV4 upstairs; lower Schur/mF conclusion cannot be applied unchanged onC. Original ternary deck instead cycles three distinct lines. Unchanged parallelM andR marks require equal triplet values/phases. mA andR2+2 fail this fixed-mark condition and each has three-element transported-mark orbit.

Required assumptions

  • Supplied split carrier with actual q sign lines on genus-two cover

    Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.

  • 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

  • C3-COVER-JOINT-CONNECTION-REVIEW.txt lines 1–88

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C3-COVER-JOINT-CONNECTION-REVIEW.txt

    c14eecf0ae67e49227c7626b851e7801275721c543ef3c832007add1ce3bb550

  • SIGN-LINE-COVER-DICTIONARY.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SIGN-LINE-COVER-DICTIONARY.txt

    555f75a2d3c67347fa5f8e3c4f7f46e79d94cb4172176c84010224585dc842e7

  • SIGN-LINE-COVER-DICTIONARY.txt lines 181–250

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SIGN-LINE-COVER-DICTIONARY.txt

    555f75a2d3c67347fa5f8e3c4f7f46e79d94cb4172176c84010224585dc842e7

  • PROOF.md lines 36–78

    Source checked at this snapshot

    Original location and fingerprint

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

    d3ae02543e90d840879808554816f923cc36cab52268a032d1ce29c2569f5bd2

  • JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt lines 37–175

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt

    edd2cdaea4c4debd337b4850d48da95de68e9367d780b9e3f0a96755588a45c8

finding:actual-genus-two-sign-family-closes-common-parallel-k-connection

Established in scope

Original family-vector action differs from Cartan rotation and does not select a spin lift

In the question: Automated construction of operator maps and sources

Source-reviewed reuse and concrete representation distinction. Different original clocks need not be identical or incompatible from multiplicities alone. Whole native C12 conjugacy and supplied parallel representatives remain solved. FixedM preservation needs actual transitions,connection and domain; free M↦HMH⁻¹ is not automatic fixed-bundle automorphism for unequal D powers. Fourth-slot anomaly compensation is existing conditional index arithmetic,not a physical fourth generation. Bare E8-bracket/Weyl single-anchor class remains settled in its statistics scope. No original common source,state/R/time derived from this representation comparison. The reviewed I_mu4 identification of normal sphere with flavor base and four equal logarithmic poles is new expressly underived geometry. Conditional uniqueness for fixedO1/simple-pole data holds,but is not origin. Fuchs degree and monodromy need same∇d±a convention:res−1/4 for∇d+a gives+i;ODE+a gives−i withdegree−1. Explicit horizontal point map in original iA(iz)=UA(z)U^-1 convention usesU,notU^-1. Anti-linear coefficient symmetry proves neitherOS norunchanged singularL2 normal index. ActualC3/q-cover alternatives retained.

Read the exact result, assumptions and evidence

Result

Original explicitly contains SU3⊂SU4 via4=3+1. For supplied90degree family-vector rotation R,U=diag(R,1) preserves each of (16,4) and(bar16,bar4). Actual five E8 branches yield248 multiplicities(134,56,2,56) for(1,i,−1,−i),trace132,the already known root-quarter type. In fixed four-basis U induces only h1↔h2 on traceless Cartan,spectrum(1,1,−1),order2; this is not order4R on family vectors. Native glue clock has(60,64,60,64),trace0. Claimed spinlift selection m=(k,k,k,−2−3k),minimal mF/dual,was already proved exactly on22September under extra fixed irreducible parallelity; general covariance does not supply it. Actual mixed output is(E⊕E*)⊗D^(mi+mj+1),with dual pairing of complementary SU4-six indices. Candidate general single-Higgs exclusion ofmA therefore lacks actual physical field map. Later The reviewed dual exclusion from charged-triplet determinant also does not follow from SU3 flavor:forB_k=A+k a I3,tracefree part remainsA for everyk;fullSU4 beta part stays traceless for both natural duals.

Required assumptions

  • Existing SU3 family-vector embedding into SU4 four

    Use original SU3⊂SU4 embedding with4=3+1 and existing E8 branches (45,1),(1,15),(16,4),(bar16,bar4),(10,6). A supplied family-vector rotation R acts by U=diag(R,1), with actual tensor/exterior powers on these branches. This does not identify original v117 connection with physically used marked family connection or derive original joint operator source.

  • 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

  • CLAUDE19-LIFT-SELECTION-REVIEW.txt lines 1–185

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE19-LIFT-SELECTION-REVIEW.txt

    5e4e04a2a382ed5ba3617e99f602b711015b0b043a3b0c9b025a0db278f4d3e2

  • CLAUDE19-ACTUAL-FAMILY-ACTION.txt lines 1–68

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE19-ACTUAL-FAMILY-ACTION.txt

    a3d757d03b3f57a41917cb946e190ef72ba6690c45684178a10af8607e61416f

  • 004-section-interpretation-mc-the-self-reproducing-cosmic-cy.tex lines 175–191

    Source checked at this snapshot

    Original location and fingerprint

    documents/origin_theory/sections/004-section-interpretation-mc-the-self-reproducing-cosmic-cy.tex

    52ab400c124217018e6267fab72995d288463f58fc8a54b2a9b88f08bde39295

  • PROOF.md lines 129–170

    Source checked at this snapshot

    Original location and fingerprint

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

    2429cb31655e4d0711ba895825d740fe18f6a4e39677a987b61a5cd97c21addd

  • JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt lines 37–145

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/JOINT-LIFT-NATIVE-CLOCK-CONNECTION.txt

    edd2cdaea4c4debd337b4850d48da95de68e9367d780b9e3f0a96755588a45c8

  • CLAUDE20-CANDIDATE.txt lines 1–118

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE20-CANDIDATE.txt

    0e16b15b8ca1bfa6212b48220d6d512484c18ee4363fcd6bdbd685591700bf24

  • CLAUDE20-FIRST-IDENTIFICATION-REVIEW.txt lines 1–96

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE20-FIRST-IDENTIFICATION-REVIEW.txt

    e16163b36a7682bb1262febf12b85bda68c56d4bf0b684be8e08e2d9b1965981

finding:original-family-vector-action-is-not-cartan-rotation-or-spinlift-selection

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.

Reusable result

Repeat unchanged known CAR synthesis calibration

The declared control domain was exhausted. Its result calibrates the search software.

Consequence: For new research extend the actual operator contract or structural grammar, rather than only changing seed or runtime.

Reusable result

Repeat unchanged finite kernel calibration

Exact finite completions and shortest degree5 separation are available; the campaign persists reusable results.

Consequence: A source-grounded new operator/composite-field relation, another justified representation, or full OS/seam data. Seed, runtime or a numerical gap alone do not close an original contract.

Insufficient for the goal

Select the field map from traces and the joint Ward identity alone

These data do not determine the fixed pair response in the tested inverse contract. The joint identity remains a valid consistency check.

Consequence: Derive the actual local field map and source insertions from the original action; test the multifield response or full appropriate Schwinger-Dyson identity. Do not impose a free creator equation on the interacting action.

Reusable result

Reconstruct the complete kernel rather than separate action and measure

The full link action follows without a Gaussian assumption in the given dictionary.

Consequence: Derive the original field dictionary and T[Φ].

Scoped exclusion

Generate spinor matter from local composites of the unchanged NS vector fermionization

The central kernel element acts trivially on the entire unchanged generator algebra, and local products cannot generate spinorial character.

Consequence: A source-grounded sector/field extension with actual charged intertwiners or another demonstrated group/source map. New coefficients or longer composite searches do not change this premise.

Reusable result

Repeat the unchanged given thermal query-feedback control

Compatible mixed-state completion and automatic one-transfer query are validated in the existing entry point. The control does not derive its source from P1.

Consequence: For progress on the original goal supply the actual local P1 insertion or a newly source-derived multifield response. Do not feed candidate predictions back as source facts, change only seed/runtime, or substitute a new pure/free source.

Reusable result

Exact kernel and common original insertion contract

New concrete source tests are executed, including a minimal operator counterexample. General synthesis software and Universalraum/GNS results already existed.

Consequence: For origin progress use independently original insertion images or a newly derived common response; do not repeat the same controls.

Scoped exclusion

Continue searching E8 single-anchor Weyl polynomials

The entire polynomial class reduces analytically to I,X and is excluded; random/genetic search cannot find a missing triplet coupling in it.

Consequence: An additional originally derived family-distinguishing operation, different field type or actual higher-product process changes the class and must be tested separately.

Browse all approaches for this question

What is resolved, and what remains

Resolved in scope

Calibrate new search without supplying the target map

Generate a known map, eliminate the wrong linearity type using a learned counterexample, and pass adversarial exact-verifier tests.

Open task

Synthesize a joint field, marking and transfer dictionary

The same generated map satisfies actual field products, adjoints, carrier marking, quarter domain, and state/time transport in a source-grounded representation.

Next investigation: Continue F1 from R034/R035. Whole supplied96 inner Higgs producer and central scale/affine full-source map are evaluated. Resolve actual original B_Ea/bosonic-relative reduction into Brel and SAME Tr_rel,with first symbol/domain,normal mode embedding/metric and actual insertion into existing wedge-to96 H map. Use full Gram transport if actual Bsigma=fBf;retain induced connection/exterior memory. No bare5 mass,free overlap exponent,scale/Y/lift scan or new Brel definition. Retain original reference/eta/scale/trace/H0/Z0 and complete state/time/RP/Flavor/Alpha/E8/clocks. Decide common H and Einstein jets of actual producer before full H source closure.

Builds on: Calibrate new search without supplying the target map

Open task

Search for the positive common source kernel itself

Construct unknown positive word kernels from original relations and establish continuation stability and actual time/field action. A finite positive moment matrix alone is insufficient.

Next investigation: Reuse existing kernel construction,exact completion and discrimination under plan C1/F1 and SEARCH-METHODS S3/S4. Read and update docs/research/fundamental-plan/progress.json and RESULTS.md on continuation. The offline replay confirms the two given complete finite clustering kernels with2245 moments each and ten length5 separators. This tool control is not physical source selection. New search requires a concrete originally derived source-control relation; do not optimize old classes or extremal objectives as a physical selector. Do not reactivate the stopped automation.

Builds on: Automatically construct, certify and distinguish finite kernels; Repair search conditions against source types and collar controls

Resolved in scope

Automatically construct, certify and distinguish finite kernels

Generate unknown moments; exactly verify successful complete realizations while incomplete tables remain candidates; emit the shortest distinguishing word response.

Resolved in scope

Repair search conditions against source types and collar controls

Feasibility is default; heat and thermal GNS controls use compatible representations without forced pure states.

Resolved in scope

Reconstruct multi-field sewing of the canonically identified boundary source

State ray from CAR projection and operator ray from oriented boundary pairing; exact products and chronological composition, with absolute scalar explicitly missing.

Builds on: Repair search conditions against source types and collar controls

Resolved in scope

Retain absolute reference amplitude in search

Campaign, cache and direct certifier distinguish lambda and transfer type; no certificate under silent T Omega=Omega.

Resolved in scope

Integrate supplied free source including boundary response and scalar

Direct Berezin integration and independent determinant formula agree including complex sources, Schur factor and signs.

Resolved in scope

Convert the full finite CAR kernel into a link functional

Exact roundtrip, sewing and trace with higher vertices and scalars.

Resolved in scope

Execute actual shared Higgs source with full matter words and local RP

Original whole one-form consumer and complete induced source rule with precise mixed coefficient; valid scoped common RP sewing.

Resolved in scope

Reduce whole constant original Higgs spectral fiber

Whole96 left rotation with Majorana and exact reduced determinant with first whole-circle jet.

Open task

Resolve original geometric Higgs residue sign and field map

Same complete original source explains H²/H⁴ signs and normalization in target potential,or a concrete original identification is corrected from source; no free extra action.

Next investigation: Identify actual original normal field insertion and equivariant T from primitive source;execute whole imaginary-source restriction Zorig[iTj]/Zorig0,not chosen Gaussian prior or covariance alone. Keep complement/mixed fields and reference/eta/Z0. Radial classification only for actual invariant marginal;preserve all whole-theory results.

Resolved in scope

Evaluate local original Higgs heat identification and whole finite consumer

Decide first H²/RH² heat identification exactly and evaluate whole96 moments through named conditional consumer without choosing new Y.

Resolved in scope

Execute whole inner Higgs scale/source and normal kernel transport

Scale actual supplied whole Higgs vertex without double counting,retain full finite affine source,and determine typed whole normal kernel transport.

Resolved in scope

Execute given whole superconnection and normal spectral reader

Type-check ordinarytwoform/Higgsderivative;distinguish compressed andweightedheat;derive complete conditional normalblock/trace/source reader throughH4 withoutinventing originalblocks.

Resolved in scope

Determine own-admissibility and whole total-chiral spectral readers

Evaluate original admissibility heat/zeta/residues and given total-chiral product trace for all allowed spectral functions. Preserve zero modes,index,reference and domains;identify the unproved original operator map.

Resolved in scope

Derive whole scale-energy map,normal profile and relative flow

Derive exact whole scale/domain/normaltrace and spectral reader,reconstruct entire normal profile class from specified first energy response,separateFP/residue/anomaly with actualBrel defect.

Resolved in scope

Execute original Green energy producer and mixed scale readout

Supply whole originalR040energy response with correctstate projection and readW from specified original scale response with dynamicweight covariance.

Resolved in scope

Match current action argument and common Higgs/gravity weights

Translateactualcurrentmomentargument,testwholepositiveclasswithreferenceexception,evaluateexistingwholeH/Einsteinconsumerwithsameweights.

Resolved in scope

Execute original whole four-ghost source and geometric type test

Evaluate whole actual ghost complex,cohomology,traces and energy source;compare geometric and selector operators by actual spectral type.

Resolved in scope

Execute original moving normal kernel derivative and whole source response

Differentiate actual R035 kernel including matrix normalization,derive A/C/whole covariance from original B and retain whole mixed source;do not call additional premises an origin derivation.

Resolved in scope

Decide fixed original O1 source and normal operator placement

Decide whole positive multiplier class on originalV,compare both operator placements with derivative/symbol and isolate actual original variation tensor.

Resolved in scope

Compare whole Higgs mixture and covariance reader on invariant four-field witness

Derive internal-frame invariant four-field test on actual original quark block and decide entire stated positive H-weight class analytically without choosing physical H measure.

Resolved in scope

Test exact bounded cutoff on whole ordinary Higgs volume

Decide stated finite-trace-to-measure inference on explicit whole Higgs volume class analytically without inventing original measure.

Resolved in scope

Test whole original circle joint mode and IR Higgs normalization

Decide R055 rank loophole on whole given original circle with actual Phi/reference and uniform proof,without new geometry or measure.

Resolved in scope

Test original O1 mode covariance against whole Higgs-law class

Test first modekernel→sourcelaw identification without measure choice,classify whole added invariant class and name actual original-source readout with limits.

Open task

Reconstruct original localization from the whole process

Same original whole source determines actual localized subalgebra family and state/time action without freely supplied target geometry;prove causal/dimensional identification,physicalcarrier and subsequenttensorresponse. Distinguish source gap from exclusion.

Next investigation: After R084 retain whole theory: under the hypothesized same scalar shift the complete coupled 36-quark constant-H circle yields relative determinant 1 despite nonzero H response; gamma+ marginal yields (1−z)^−18. One-sided shift of the FULL coupled space is S2 not S1 for nonzero mass. A mathematical whole-pair det2 reader exists and finite native checks indicate Higgs dependence; original Z0/ref/eta is not thereby fixed. Compare actual original seam shift, restriction and R080 ordered det2 source on same carrier/clock/reference/eta/Z0/PQ word contract and derive trace correction; no free regulator.

Resolved in scope

Test bare native-code word compression against actual locality

Exactly compare actual disjoint local operations of same original source before/after codecompression and identify omitted word cancellation.

Resolved in scope

Decide original geometric local-time class and execute actual interval reader

Test actualsupportedtimewitness andwhole statedclass againstactualwholestate;providepositivefreeCAR reader/domain/actualwordcheck.

Resolved in scope

Execute actual original color-spinor CAR four-word and complete spin-sector sewing

Produce entire original response with cocycle,time/modes/zero modes and absolute sector traces;independently recover actual kernel and full thermal sewing under SAME center.

Resolved in scope

Decide actual color admissibility of density operations and coordinate regions

Decide complete given scalar-variation class and coordinate regions with actual M/center/source;retain whole charged intermediate words and originaltime.

Resolved in scope

Execute actual whole seam-operation class and two-face response

Analytically decide whole matrix multiplication reduction/implementation and exact original response;preserve Cauchy/Fock/OS types.

Connections to other questions

shares unresolved input

Future quotient and positive GNS reconstruction

Existing GNS reconstruction now has executable synthesis of unknown positive kernels. Exact finite completions provide checks and discriminating responses; original source constraints and physical identification remain to be derived.

shares unresolved input

Physical time and complete transfer

With actual CAR and amplitude identification the full boundary projection determines all field-product amplitudes, not only a restricted density. Original physical identification and the absolute scalar remain source-level tasks.

shares unresolved input

Historical: common source, state and event selection

The joint absolute source and eta/sea/Ward identity remain valid conditionally. Originals use a stronger operational seed; classical Green pairing follows from supplied Dirac data. The corrected search requires total operator/domain and original fixed multifield response; matching traces and two-field data is insufficient in the tested inverse contract.

shares unresolved input

Future quotient and positive GNS reconstruction

The whole given Clifford source realizes the old positive-word/GNS bridge with marked R and circle time. The new kernel identifies all scalar-future channels; shared insertion images exhibit distinguishing continuations. This selects neither the original physical alphabet nor an absolute Universalraum ontology.

shares unresolved input

Common clock sectors, quartic geometry and operational reconstruction

Retain the entire scoped structure/spin/deck/Fuchs/domain/source chain, actual reverse kernel, native D5/glue E8 action, state/reflection/time. Actual induction of the old unit winding gives a finite reader with a proved nonzero moment. Whole96 Clifford/KO continuation passes, and original primitive wedge consumer explicitly reads it with the fixed KO sign. No missing weak-operation gate remains. Next shared-source comparison concerns the original HolK coefficient formula, possibly through actual variation/summand, without requiring universal Hardy=Y. Full physical generation is not proved; preserve prior scoped exclusions and avoid new O/p-source/state/quarter/QY gates. ActualGmetric path closesU6/Kstrframe; The reviewedfailsKO/SU2. Next is originalinsertion,not freemetric. Actualoriginalreal delta jet and allfour openpaths are nowexecuted. Typedendpointquarter actions preclude a universaltracecancellation; execute the originalwholeconsumer. Preserve completeGram differential and allfour openedgecharacters; rank1compression and real-onlyresonance approximation do not replace the whole source.

Original historical attempts linked to this question

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

seam collar multifield 20261016

Does the corrected search accept the known collar source, and what full multi-field sewing follows from its actual boundary data?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/contract_index.json

    78eae9d2cbb3ae117a75c80252b096a70e60dbff0a9544952391840e616b9a1e

  • PROOF.txt lines 1–698

    Source checked at this snapshot

    Original location and fingerprint

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

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

  • README.md lines 1–97

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/README.md

    686c298c08f94294e53130673eeec88e50fad174d1fba50464459881ee822af4

  • collar_control.py lines 1–609

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/collar_control.py

    4f1ab2edac2f8a1b0a74e424a9e6d0df50bc8e51df89093ba35fc2fe23e7a52d

  • source_manifest.json lines 1–308

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/source_manifest.json

    229b02abc90b59e3dcec172e43ea4f20ee1bfee49b78c425d2fad08909d6331c

  • 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

  • 04_qft_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/04_qft_source.tex

    eb63106ae30cab81268f240e3779d511ecd8e4dc869a3eff3f0032f154f3f5de

  • 05_metrology_source.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    _archive/tfpt-45/source_extracts/05_metrology_source.tex

    c34b090c9121c22870df8a98807f6852f642479c24cd581392a0328d15a0c1c0

  • .gitignore lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/.gitignore

    32dae3052f331ee34d628ef535709b301259a45df7c7522c4d35dcf49873f00b

  • E8-BOUNDARY-DICTIONARY.txt lines 1–128

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/E8-BOUNDARY-DICTIONARY.txt

    ed4f112b566060bdaffa8f7490405004ac300a0d2a1be33c8bb3eda3f0614362

  • boundary_amplitude.py lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/boundary_amplitude.py

    26f54d6c138c5a0a610b687eb448bb40272ffcca242058d9877487764e720f93

  • charged_pair_control.py lines 1–337

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/charged_pair_control.py

    55160a16005d869e25dfdd9c46aa79a0dadad49e463ba6c6eaf57cbfba678219

  • chiral_tail_control.py lines 1–35

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/chiral_tail_control.py

    6f31a0b2f3fd93c68d149e7f88585fb1afa9ee3c8c9e3bd0a8d75090719ce2f0

  • e8_boundary_response.py lines 1–294

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/e8_boundary_response.py

    8a77bef68666dd18470fce78e04881676862075d216587b291c9e2c3761d5e6b

  • joint_source.py lines 1–315

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/joint_source.py

    20cdd4eb8f1de659fde18676f0865d9acce437d60da63ce947b8ddb901f89c93

  • kernel_functional.py lines 1–423

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/kernel_functional.py

    c96036b214aa4a4c9c92de0fb8d82669531ae7943119646cc3f89081bce10489

  • origin_operator_checks.py lines 1–116

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/origin_operator_checks.py

    770582bfd5f9400296076c6bbcb2cf23d06e067e89774c9589106675394746c6

  • absolute-quarter-cli-accepted.json lines 1–4003

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-cli-accepted.json

    30a4fd212de8c20ee5ea083d44617147dcdf2a04a7c4851f0ea432f7bbe04516

  • absolute-quarter-cli-rejected.json lines 1–2020

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-cli-rejected.json

    a4a5bab65d1f3e2a6be32ccef37ee805e20c688aa5e91541247c4dc21bea2b39

  • absolute-quarter-search-control.json lines 1–32

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-search-control.json

    e787a7e34539868dfb76dd4973861ade9f754f6445144232cb96fbb5b70f9e70

  • absolute-quarter-source-observables.json lines 1–1977

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/absolute-quarter-source-observables.json

    444f57e774fecfe597c90b178c8ae83eb88871c2fc3e00f2e05090e6945d0495

  • charged-pair-control.json lines 1–1053

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/charged-pair-control.json

    6c9d3697ce1aab7fbd5fc15ce381c4147fdd090cd2f824e64105f44c471cbefe

  • chiral-tail-control.json lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/chiral-tail-control.json

    f6a72d70aceeded999886a01d70e4b0c07ac277ced08f16c62cb87b68e16f811

  • collar-control.json lines 1–2016

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/collar-control.json

    74026b4c698329e1485f3b34249370b23631e5523d9c86e2b103985ca1c0a6c8

  • collar-source-observables.json lines 1–105

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/collar-source-observables.json

    84809c0a22e234c759d65ef1ec916f5f4fd867d28bf0ad1ff5e760b6be3a40d4

  • e8-boundary-response.json lines 1–4705

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/e8-boundary-response.json

    8e9e2fe937e0528c48dbf64fcdfe4307aeceab4fb98f574cd95e5ed30b7331fd

  • joint-source.json lines 1–101

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/joint-source.json

    5666fc3ce49ba6b68f91a47fdfb3524c856172449095a53a05b60af846a589d1

  • kernel-functional-control.json lines 1–18

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-control.json

    bc337bc31847d809843669d09a4672d0551b8969185d1f8f0788935313943f06

  • kernel-functional-max-trace.json lines 1–297

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-max-trace.json

    0cb5c522b84960e07ed340f1b78cdfaa5a382e0bb85e33250b85a6c5f84445ef

  • kernel-functional-min-trace.json lines 1–286

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/kernel-functional-min-trace.json

    3d5f9df5216ec07a49c236223610a4285b1a274869009c92c4be3ddf760861ad

  • origin-operator-checks.json lines 1–53

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/origin-operator-checks.json

    ff2a93a1cd8c3f3bb7dbba0268a3f10bac3af79fcac092c5990c7994b43c6770

  • source-sewing.json lines 1–27

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/source-sewing.json

    240ce4d700f2bbddf739144154a9114f149a1b15ba1cddb10dd1155a28318c98

  • thermal-source-observables.json lines 1–46

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/thermal-source-observables.json

    f8441cee682c5c4b3aec0fadddac8ecf187a1d004d9e9bac49116b35cadb2a90

  • source_sewing.py lines 1–117

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/source_sewing.py

    8138edbc7912b5e4e566a664f323d8e9214e73eed4eb190e7cdf8b223d932090

  • test_boundary_amplitude.py lines 1–39

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_boundary_amplitude.py

    707194c60893ae1a5910f2d1b0858013bd1eab14b147ab21beb3d00bed82b6d1

  • test_charged_pair_control.py lines 1–73

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_charged_pair_control.py

    67066c658c8491c97b15155b30193b6d950dcb0feebf1ed380ee510acdde55ea

  • test_collar_control.py lines 1–149

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_collar_control.py

    d76a9e89281fa018e0126dfca469e3fe18c86e65919a169645c849891f5abb2e

  • test_e8_boundary_response.py lines 1–41

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_e8_boundary_response.py

    71dcc57f7ca94a46641a9b0dc13256ac0dba8c555993a23b29154c76af30ab37

  • test_joint_source.py lines 1–85

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_joint_source.py

    c980b3e3f4e9909f933288065afc2e6a4f09942bd07ea397915898e7fadf5326

  • test_kernel_functional.py lines 1–158

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_kernel_functional.py

    c87fbc815dd9376592f84e2ffa292b8ee8e674cd37240ab3551c8d193b15b3d8

  • test_origin_operator_checks.py lines 1–30

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_origin_operator_checks.py

    8291b3b0940ffa9d482a653d9e24d5d7f8a8c7056eb108a8e16d065a96766e17

  • test_source_sewing.py lines 1–37

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/test_source_sewing.py

    be93084319bb8e4af5da5cfb49a4708d4758a6593b71d0cda537caec60702e36

  • finite_completion.py lines 1–285

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/finite_completion.py

    80f5bae4afe92b6784ed4941524066c2fe5593839e0adbbd7af1eb47646a7f8d

  • kernel_search.py lines 1–274

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/kernel_search.py

    d158e991b9ad7f2fa2d8011e228589830d90db06fa4e21c919f546dbcd67c315

  • run_search.py lines 1–216

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/run_search.py

    c5c12550fb2970add6f94c6056d1363ec3de331b272054450b669275f42b3db6

  • test_finite_completion.py lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_finite_completion.py

    05f57c2b06c1327fd0b940144d1f4641fa5800482d8aecfb3b8fec692d587eb0

  • test_kernel_search.py lines 1–334

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_kernel_search.py

    2c58e8f3f83f03a83190f26d60574c10175ef7e6e62c7ea278b5bc714344fc89

  • test_run_search.py lines 1–81

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_run_search.py

    da996de81ffd38048a8e9de65874d19d342abf83a578cfd5a167905ba65d799f

  • origin_theory.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    origin_theory.tex

    766f68a471d3ecab89f5c73fd1c4880bf62c290e7ccc462889e96f202d26b6cf

  • tfpt_1_architecture_e8.tex lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    tfpt_1_architecture_e8.tex

    45a26936328c7464bcca138329e7361eb8ee89a597d29fed281af6785ace43a5

  • v154_simple_current_theorem.py lines 1–107

    Source checked at this snapshot

    Original location and fingerprint

    verification/v154_simple_current_theorem.py

    928aff32e0e5d9d440d326cb6f8a12dbb119d7cf86ccf6c2ea95a469f185e4c5

  • v156_seam_net_construction.py lines 1–134

    Source checked at this snapshot

    Original location and fingerprint

    verification/v156_seam_net_construction.py

    2d8d86bbc393eda3d4779017111f2d67a4c94644bab9a37e6b6685e58570a4aa

  • v15_bootstrap_classification.py lines 1–85

    Source checked at this snapshot

    Original location and fingerprint

    verification/v15_bootstrap_classification.py

    4810f624921fdf5e48f451b3fdad241ebdb82a21b69ded41ea892de977769b7e

  • v161_one_particle_reduction.py lines 1–185

    Source checked at this snapshot

    Original location and fingerprint

    verification/v161_one_particle_reduction.py

    5f68aecdddf9be30df446de0a452b6b7c154615b81a9c604f18c43fa00ee1896

  • v162_seam_transport_identification.py lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    verification/v162_seam_transport_identification.py

    1d3a80006bcff439f88b83d7f3b64d03a7b8d9cea15308ca7c68fde86beb5225

  • v175_net_existence_full_cone.py lines 1–164

    Source checked at this snapshot

    Original location and fingerprint

    verification/v175_net_existence_full_cone.py

    969ccd9c2a6ba5a4edb46219ff3aeeaa5c3e7c67ff01bed49ccc981dc7960426

  • v350_bootstrap_inputs_correction.py lines 1–108

    Source checked at this snapshot

    Original location and fingerprint

    verification/v350_bootstrap_inputs_correction.py

    ac79766fae9a95a5b5eedd4afc95beb4c3539c2263bd2017b306aebbd791a471

  • v351_continuum_realisation_sharpened.py lines 1–97

    Source checked at this snapshot

    Original location and fingerprint

    verification/v351_continuum_realisation_sharpened.py

    9c6b24807be4fcf3a87985ffe8feed91229f5a96f42512af68cf52f66a73b76e

  • v352_framework_irreducible.py lines 1–92

    Source checked at this snapshot

    Original location and fingerprint

    verification/v352_framework_irreducible.py

    563355a4a35e3c8a810f47ca65e70ced7efccaa4ab3151f6036eca4e46618f4c

  • v6_bootstrap.py lines 1–50

    Source checked at this snapshot

    Original location and fingerprint

    verification/v6_bootstrap.py

    980bf82f5ce2bfdbc6f8eb91e56c704e4330efcc56d7e7ee46fefaef7246158f

  • P1-INSERTION-TANGENT.txt lines 1–213

    Source checked at this snapshot

    Original location and fingerprint

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

    b49aa4ec77bc22029545c4f8f2584e80e63fd8bb6b8a0ce8536baf4137d3ea55

  • p1_insertion_tangent.py lines 1–195

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/p1_insertion_tangent.py

    70b3d0790f40a4834644c806db90fc27402967563e6e8888a8f1192ec539ad00

  • p1-insertion-tangent.json lines 1–84

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/p1-insertion-tangent.json

    5163ec840291658c28cea12773e81966e614ebb81d0781b88cc5c00f9f87e5b5

  • v258_dirac_covariance_induction.py lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    verification/v258_dirac_covariance_induction.py

    16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1

  • P1-COVARIANT-INSERTION.txt lines 1–213

    Source checked at this snapshot

    Original location and fingerprint

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

    ebb9e0cb15cdc017914d8567131c8d8b75855f20e05551b6f7b350989061e152

  • p1-covariant-source-jet.json lines 1–11

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/results/p1-covariant-source-jet.json

    8f8f9ae5da049b5d110ba74b0c4f042fcab652db69dfe2df8a8867086c23d7ff

  • 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

  • PROOF.txt lines 1–293

    Source checked at this snapshot

    Original location and fingerprint

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

    a5796f90f4fa079badc5a07c451f1ea1028fcff3f258ac3f6992c6ae8d65d7d6

  • BOUNDARY-OPERATION-PROOF.txt lines 1–206

    Source checked at this snapshot

    Original location and fingerprint

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

    a55bc1d8bcda606e274092873dedf00709d40bd093d3ec0e08ce7ff25ecf5a47

  • boundary_operation_response.py lines 1–89

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/boundary_operation_response.py

    e0be5a934fee1fd72b830d620b4e7bd73781eb85bec035e876d07c86f9f627f3

  • boundary_operation_response_results.json lines 1–75

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/boundary_operation_response_results.json

    946031d03b8890d51d68466ee643989eee7158f96cca95d1ed7036078ce68680

  • ACTION-INTERVENTION-SEWING.txt lines 1–188

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/ACTION-INTERVENTION-SEWING.txt

    5ea81ef8271bcde984a81ee2bd5aad6eda25a2f41db988a416136c1fda90b16b

  • action_intervention_sewing.py lines 1–64

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/action_intervention_sewing.py

    57e55143cbe07cafbc07c4b4214677e29a34ef4580f6d7d2db58b5f4f3956f3d

  • action_intervention_sewing_results.json lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-collar-multifield-20261016/action_intervention_sewing_results.json

    74475f408789d593ee45d0d95662b5079962cc54a5dd57d9ef39d61295bce830

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam operator synthesis 20261015

Can typed operator programs and simultaneous inverse intertwiner synthesis generate and exactly check shared operator maps without supplying the desired map?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–56

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-operator-synthesis-20261015/contract_index.json

    195956d67785fbc08e7044d9cf265902da788c9adee6293c0ab469d2b8a44276

  • README.md lines 1–5

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-operator-synthesis-20261015/README.md

    aefd98292048d6c91c9008ec9c60ddfc318ca5863fa448e1db7999aef4f663fb

  • README.md lines 1–107

    Source checked at this snapshot

    Original location and fingerprint

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

    db453a12d7a64e1a30988b61c6ff20ad80863ac8471a3c5a6eb735e876bc76e5

  • clifford_search.py lines 1–294

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/clifford_search.py

    29a36a9a5e8e3f173348e16539f517c8ac708d2d306ac67fc2402999f8e687a3

  • source_manifest.json lines 1–52

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-operator-synthesis-20261015/source_manifest.json

    7038ebc7fa3d5f01a1d92a706338da229264aedb822eb248f678ae080e8efcf9

  • intertwiner_search.py lines 1–218

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/intertwiner_search.py

    a7ae4b4969c4930ab8e587a89fe2144f75ba7376850d2dc03bace8e572260029

  • proof_check.py lines 1–168

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/proof_check.py

    bb78990a83d4a2e4947a9027bfc428f506bb866bf8eeba329f5796d9ad2f461e

  • OperatorTransport.lean lines 1–220

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/lean/OperatorTransport.lean

    febc7d1c8d7f9ea33f010d2de7e9c5e949be7a0b53c3acb49040c398b09fa161

  • lean-receipt.json lines 1–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/lean-receipt.json

    f7dbc1b8426909ade3878005265a164f80be6228fffbe51ffe8469e1590a32ed

  • results.json lines 1–184

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/runs/recovery-seed7/results.json

    e48748a84dda1af6d91e5e9a0a6ac94b0782245ec02586055b3db4c503c67ace

  • inverse-control.json lines 1–167

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/runs/inverse-control.json

    642ecadca4afa78f32c56d241c4eb4f56954346cbdff8e24d9b789049bdbf6f1

  • test_clifford_search.py lines 1–136

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/test_clifford_search.py

    4182d98cc8cb7b7399722e98908d85847127f699161db87fc52c52e218a9ec2f

  • test_intertwiner_search.py lines 1–99

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-constructive-search-20261015/operator_synthesis/test_intertwiner_search.py

    6924908b07038e859871eb6f998230f863bb976f3b606d94235fe73170b7c0c0

  • PROOF.txt lines 1–253

    Source checked at this snapshot

    Original location and fingerprint

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

    ff7c8dff8939e8380509bff5a34145f935407344a07bda1d65b7b25489a2677c

  • 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

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5

seam positive kernel search 20261015

Can unknown positive word kernels be constructed, exactly completed and distinguished without supplying a target Hamiltonian or state?

Recorded verdict: PARTIAL

Historical inventory; not independently reviewed by this export.

  • contract_index.json lines 1–87

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/contract_index.json

    8c513dfb4ddbd224dcba90d665b6386fe51078477857092bcda7cb4371d8cd77

  • README.md lines 1–281

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/README.md

    e1d78365d7998faf7dc16d77cca2e78ff504781703a9c046ec4914b7636568b6

  • proof_check.py lines 1–477

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/proof_check.py

    20ff2f31248842da89c7a48c27ba739e916eeba44f9fb6e66663149de8ac7676

  • source_manifest.json lines 1–141

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/source_manifest.json

    9b1ae6946663b8dbee18a099738a6516ce6c2dac9abe73401a961bca60655269

  • .gitignore lines 1–2

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/.gitignore

    e99f6ee4eb88882ea6589ecb717e10a41401763241b246b6821bc091cfe2227e

  • exact_certificate.py lines 1–470

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/exact_certificate.py

    57753a3efff8b0b9de70cec60b0a4afa96b9e8d1343ee01eb0a49809ffac3840

  • finite_completion.py lines 1–285

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/finite_completion.py

    80f5bae4afe92b6784ed4941524066c2fe5593839e0adbbd7af1eb47646a7f8d

  • kernel_search.py lines 1–274

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/kernel_search.py

    d158e991b9ad7f2fa2d8011e228589830d90db06fa4e21c919f546dbcd67c315

  • requirements.txt lines 1–6

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/requirements.txt

    97632712110f1fb47b72b671bce089c21882d8a1cb10b9420fa4ee29dd90d954

  • run_search.py lines 1–216

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/run_search.py

    c5c12550fb2970add6f94c6056d1363ec3de331b272054450b669275f42b3db6

  • moments.json lines 1–21991

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/moments.json

    09562a9a1707f19aca846d815425415d4df24f35343437839f627b333383a879

  • next-source-question.json lines 1–182

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/next-source-question.json

    bc6d62fe77d170f4d2b8529edea93481e279dcf3ee218a383f0b9940512409d2

  • summary.json lines 1–234

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-positive/summary.json

    aa8c24455b183c8fa5829199b99706c2249d344a5c7de95f473a33937241ee9f

  • moments.json lines 1–21991

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/moments.json

    d6446eb7b1558b4f4a0a26481cbde29379011d4c8757fe11f01a949d2a71bbcf

  • next-source-question.json lines 1–182

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/next-source-question.json

    1db138400d2b6ed3582d8db69b1ff606b52c39df065fc8e0bd764d96058a7230

  • summary.json lines 1–234

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/certified-zero-floor/summary.json

    888d325dbf8dce87166ad7208834a46e9eb847dec907c7b69f3fefbed0b8ec01

  • m1-d3-floor-quarter-tight.json lines 1–2727

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/m1-d3-floor-quarter-tight.json

    ea295dc4f1a1e903ca790ec1c5129ac1033c7d8468f8bbb8c4426b364f8acb90

  • m1-exact-certificate.json lines 1–526

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/m1-exact-certificate.json

    e1f84590a058e41572f1a3c43b40380a560762491b17c1fa471f620e2c2d5334

  • moments.json lines 1–21993

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/moments.json

    7429db68e991b7c5351361f607ac9fb2dfb62e3c99b6945813fdb5160f5bda9c

  • next-source-question.json lines 1–182

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/next-source-question.json

    c99e15c79ae87eb26a49220a6a78ddb2dc937356e87e4000081f7cc66f49bd2e

  • offline-check.json lines 1–941

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/offline-check.json

    eeaa8758e1a2ea68746df225c906e8b9e3a15f73aeece7a3249afa3b0e3d8f08

  • summary.json lines 1–237

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/runs/source-clustering/summary.json

    9c3068b7828231e0e09e5a6a6a88512b97960c684082670c709bd91f5ea4d402

  • test_exact_certificate.py lines 1–104

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_exact_certificate.py

    6631553ca2f465b86f9345262995ad77e65296be8dccb24123428615ad7b0363

  • test_finite_completion.py lines 1–119

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_finite_completion.py

    05f57c2b06c1327fd0b940144d1f4641fa5800482d8aecfb3b8fec692d587eb0

  • test_kernel_search.py lines 1–334

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_kernel_search.py

    2c58e8f3f83f03a83190f26d60574c10175ef7e6e62c7ea278b5bc714344fc89

  • test_proof_check.py lines 1–84

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_proof_check.py

    0a628ce474d86fa71fe5ada84857ecc6a943cf020102285a62f960aefc5db744

  • test_run_search.py lines 1–81

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_run_search.py

    da996de81ffd38048a8e9de65874d19d342abf83a578cfd5a167905ba65d799f

  • test_word_algebra.py lines 1–129

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/test_word_algebra.py

    66e7ea1db73f43b514130b3979c43d6d8ed5f7be895174132dc857c9f1358454

  • word_algebra.py lines 1–135

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/word_algebra.py

    25964ecf2b718372210ddc669ed402677d61cf180c62839a0f3cc9338b1d5254

  • findings_overrides.json lines 1–1396

    Source checked at this snapshot

    Original location and fingerprint

    verification/findings_overrides.json

    aa67c3ed6617aab61c3c7fa9b29e0412d01ab193c62245491563c376151746a5