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

Original mixed spin products already have complete dual Hom coefficients

In the question: Automated construction of operator maps and sources

A complete positive bundle/coefficient connection, without supplying an arbitrary reverse kernel, selecting a new state or duplicating q/p as independent CAR species. Actual source-kernel endpoints and types must match. The checked original output formulas do not explicitly identify a selected additional Hom/Fourier contraction, which is no universal absence theorem and does not forbid coupled total projections. A one-sided reader is an example rather than a new required architecture. Retain The reviewed positive AdPc channel; Pc-alone uniqueness fails, while a separately fixed diagonal marking gives a narrower uniqueness. No physical CKM or general CP theorem is adopted from its random-profile claims.

Read the exact result, assumptions and evidence

Result

The inverse cubic character is already in the actual Pc spectral line. Original normalized Kummer square pairings identify the two-torsion sign lines isometrically with their duals. Mixed spin products are therefore already global K-valued Hom(Fq,Fp) sections. Composition with reverse Hom and trace canonically cancels the full q/p signs; no naked parallel one-dimensional leg or fitted character is needed. The actual End coefficient omega-squared channel has dimension three, so Pc alone does not select a unique clock matrix up to scalar.

Required assumptions

  • Do not identify source types

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

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

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

  • Original hard-holonomy contract with pure closed-triangle trace

    Read original45 flavor sources defineY from canonical minimal paths of a Hermitian family connection andPi_triangle=Hol12Hol23Hol31 as ordered closed holonomy,delta=argtrace. DisplayedPi includes neitherKstr nor extraZ6operator. Nonreal asymptotic is a readout contract to test,not completed physical derivation. Active source retains absolute wall selector;no automatic physicalconnection=v117.

Original evidence

  • RHO-DUAL-COEFFICIENT-HOM-REVIEW.txt lines 1–187

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/RHO-DUAL-COEFFICIENT-HOM-REVIEW.txt

    9d8d59260ef4d81e1cabe425555cd329c968e927d387f29cd98d8acbad10ea77

  • ROOT-FULL-HOM-DECK-CONTRACTION-CHECK.json lines 1–42

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-FULL-HOM-DECK-CONTRACTION-CHECK.json

    0063e7ac73702a2918386ffc0935a2a76052e465b235a694b51bb7e7fb4a1e56

  • COEFFICIENT-PAIRING-AND-CLAUDE34-FIRST-TEST.txt lines 1–61

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/COEFFICIENT-PAIRING-AND-CLAUDE34-FIRST-TEST.txt

    e6600f4af13d19415ec2fc0ecb81c93e6dad6d46ac01ff1c18a74c0be8ca23fe

  • ORIGINAL-FUCHS-COEFFICIENT-READER-REVIEW.txt lines 1–158

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-FUCHS-COEFFICIENT-READER-REVIEW.txt

    e6e3afc9a14e29f25ba045a11d768c2322d4b0efe94d40afa5f176a5ca89512c

  • CLAUDE34-KOEFFIZIENT-UNGEPRUEFT.txt lines 1–43

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE34-KOEFFIZIENT-UNGEPRUEFT.txt

    6af8d7766d7db076e32009bbb0f07800e765677a0ff72006b553f25a982ab449

finding:original-mixed-spin-products-already-have-complete-dual-hom-coefficients

Established in scope

The reviewed annulus map is a valid distinct type without unique geometric spin selection

In the question: Automated construction of operator maps and sources

Retain the valid algebraic candidate while rejecting its unsupported uniqueness/type inference. No exhaustive global lift classification or physical origin theorem. The older Ucal Kswap map remains NEW linear without face exchange. the reviewed source is archived as unreviewed provenance rather than used as proof.

Read the exact result, assumptions and evidence

Result

The reviewed full face-swapped Z gamma K candidate has correct operator signs with its given minus-conjugate target coefficient. The whole four-slot map exchanges fields and adjoints, is NEW antilinear and carries plus circle time. Normal M proportional to Z is unique only inside the constant separated matrix ansatz. Both the candidate and its old-i multiple preserve oriented face reality but differ in squares and JF parity. Old i equals Ical Gamma and is not a uniform scalar in the new typing. Sixth-power comparison does not establish a unique geometric spin lift.

Required assumptions

  • Do not identify source types

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

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

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

  • 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

  • CLAUDE33-COLLAR-LIFT-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE33-COLLAR-LIFT-REVIEW.txt

    119c9498e36267abe52c54d55a59d53fd63d5c92ce5956a7ffe5e35fba0dc3c4

  • CLAUDE33-COLLAR-LIFT-REVIEW.txt lines 201–213

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE33-COLLAR-LIFT-REVIEW.txt

    119c9498e36267abe52c54d55a59d53fd63d5c92ce5956a7ffe5e35fba0dc3c4

  • CLAUDE33-FACE-GRAPH-AND-TIME-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE33-FACE-GRAPH-AND-TIME-REVIEW.txt

    c106777f365804a4f3a20d880eb88560f4f5e567b2713040b0fa7aff88b77a87

  • CLAUDE33-FACE-GRAPH-AND-TIME-REVIEW.txt lines 201–272

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE33-FACE-GRAPH-AND-TIME-REVIEW.txt

    c106777f365804a4f3a20d880eb88560f4f5e567b2713040b0fa7aff88b77a87

  • CLAUDE33-ANNULUS-UNGEPRUEFT.txt lines 1–56

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE33-ANNULUS-UNGEPRUEFT.txt

    9b1d19f168293c425715a9b1780c83b1432cb37082daa18903c5ba7b7166e306

finding:claude33-annulus-map-is-valid-distinct-type-not-unique-geometric-spin-selection

Established in scope

Geometric spin collar map closes the weighted image domain with total deck action

In the question: Automated construction of operator maps and sources

The transported image domain is closed and needs no independent curve operator, p background or corner choice. Do not equate it with all spin sections, the entire rank-nine pushforward or an independently prescribed maximal domain. Pc channels are not yet a physical insertion reader. No unchanged faithful U6/C12 claim on this descended source and no general exclusion of rho. Original physical source derivation remains distinct from this proved image transport.

Read the exact result, assumptions and evidence

Result

The original ramified spin frame converts the global lambda phase to the ordinary collar half-turn ±i, with the known ramification correction. The existing weighted Fuchs spin trace transports the given domain, corner powers and transmission into its genuine C3-equivariant image. The geometric R map carries this q image onto p and agrees with the whole Spin2 collar map. Its total descent operator is delta_c=Pc c*, not bare geometric c*. The canonical descended inversion has order four while the unquotiented global S0 lift has order twelve; sixth-power parity alone does not identify the representations. A geometric omega eigenline needs an actual inverse coefficient character to define an invariant tensor. The required inverse direction is already present in actual Pc; the full Hom result also closes coupled q/p signs without a naked parallel-line condition.

Required assumptions

  • Do not identify source types

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

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

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

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

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

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

Original evidence

  • GEOMETRIC-R-SPIN-COLLAR-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/GEOMETRIC-R-SPIN-COLLAR-REVIEW.txt

    f41d9aa53c27d8e167ec82e7692f9367d073b287a157869a2a39a30114dfe164

  • GEOMETRIC-R-SPIN-COLLAR-REVIEW.txt lines 201–224

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/GEOMETRIC-R-SPIN-COLLAR-REVIEW.txt

    f41d9aa53c27d8e167ec82e7692f9367d073b287a157869a2a39a30114dfe164

  • NATIVE-SPIN2-ANNULUS-PULLBACK-REVIEW.txt lines 1–164

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/NATIVE-SPIN2-ANNULUS-PULLBACK-REVIEW.txt

    2bdb013daad58a696abf36d62a6d8c9d4e7f314cc167013502e38a3f3298f6ed

  • ROOT-SPIN2-ANNULUS-CHECK.json lines 1–56

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-SPIN2-ANNULUS-CHECK.json

    fef9cb8cc0c9544063051719dfbd50b6617aeafb6c2b3afd98d3a7679a6c9b42

finding:geometric-spin-collar-map-closes-weighted-image-domain-with-total-deck-action

Established in scope

Canonical Spin2 lift carries the whole annulus source with reversed time

In the question: Automated construction of operator maps and sources

A complete image-source map for the given original F5 family, without claiming physical P1 selection. Constant-normal graph formulas retain their stated scope; general normal-dependent data are transported as existing Cauchy data. Distinguish this time-reversing linear geometric lift from the earlier linear Kswap plus-time map without face exchange and The reviewed antilinear plus-time face map. No identification of circle, modular and physical time.

Read the exact result, assumptions and evidence

Result

The existing collar Clifford product is i_old Z. The pure geometric half-turn, both coordinate inversions and endpoint exchange transport the entire given collar operator, oriented real structure, four field/adjoint slots, full graph covariance and CAR state. In the charged chart its generator relation is T hq T^-1=−hp, so the actual circle parameter reverses. This OLD/NEW linear map squares to minus identity and needs no particle swap or independently fitted p coefficient.

Required assumptions

  • Do not identify source types

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

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

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

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

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

Original evidence

  • SPIN2-ANNULUS-WHOLE-SOURCE-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SPIN2-ANNULUS-WHOLE-SOURCE-REVIEW.txt

    7f6b63b83be1e440fb870885f17a54aea799084be96c7b784d6f7c30774354f7

  • SPIN2-ANNULUS-WHOLE-SOURCE-REVIEW.txt lines 201–249

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SPIN2-ANNULUS-WHOLE-SOURCE-REVIEW.txt

    7f6b63b83be1e440fb870885f17a54aea799084be96c7b784d6f7c30774354f7

  • NATIVE-SPIN2-ANNULUS-PULLBACK-REVIEW.txt lines 1–164

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/NATIVE-SPIN2-ANNULUS-PULLBACK-REVIEW.txt

    2bdb013daad58a696abf36d62a6d8c9d4e7f314cc167013502e38a3f3298f6ed

  • ROOT-SPIN2-ANNULUS-CHECK.json lines 1–56

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-SPIN2-ANNULUS-CHECK.json

    fef9cb8cc0c9544063051719dfbd50b6617aeafb6c2b3afd98d3a7679a6c9b42

finding:canonical-spin2-lift-carries-whole-annulus-source-with-reversed-time

Established in scope

Original source naturality needs no second p image background

In the question: Automated construction of operator maps and sources

Corrects an overstrong premise; the image-source result is positive. This transports a given complete Seed rather than deriving its existence from fewer primitives. Do not promote the original definition/proof architecture to a new physical theorem. Fixed pi/Y/clock symmetry is a stronger separate question. Match the geometric spin pullback to the actual normal/collar realization, domains, faces, local algebra and reflection, without inventing a new p-background gate. Root normalizer type does not fix all original cocycle/spin phases.

Read the exact result, assumptions and evidence

Result

The previous independent-Phi_p requirement is unnecessary for the transported image. Original Seed morphisms intertwine all data and Cseed is declared functorial. Exact conjugation of the original inner-fluctuation generators gives U Omega1_D U^-1=Omega1_Dprime and transports the full fluctuated Dirac operator. Existing Majorana/background data move with the representation rather than being retuned. Thus the whole image-source arrow needs no second p input. The D5 signed Hodge-complement type also matches simultaneous D5/A3 opposition, with minus I8 explicitly in W(D8).

Required assumptions

  • Do not identify source types

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

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

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

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

  • Original oriented exterior carrier

    Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.

  • Full unitary E8 field conjugacy with transported marks

    Start with the existing unitary E8 lattice VOA, original cocycle and actual chat,Jhat,sigmahat. Full inner unitary E8 automorphisms are allowed for this conjugacy comparison. Cartan, Gaussian V4, Y, P5 and other marks are transported rather than frozen. This category is explicitly larger than original sign lifts and implies neither a G31 splitting nor a preferred microscopic conjugator.

Original evidence

  • QP-SOURCE-FUNCTORIALITY-ADDENDUM.txt lines 1–167

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QP-SOURCE-FUNCTORIALITY-ADDENDUM.txt

    429b1ee6bbc19d5b64593bb81b1eab4e29510ec65d0a054e24319aa42af6be34

  • 002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex lines 103–143

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex

    1de90a4a7379bef804cc7815d72c0f86bb398a5771e9b00997c4bb15e8815f9e

  • v254_inner_fluctuations.py lines 1–38

    Source checked at this snapshot

    Original location and fingerprint

    verification/v254_inner_fluctuations.py

    7a1e93470b65dc8aa56106aa420392a986e8448816f5aa624b44600a696b642c

finding:original-source-naturality-needs-no-second-p-image-background

Established in scope

Actual fixed-point evaluation retains coefficient signs and source type

In the question: Automated construction of operator maps and sources

Retain The reviewed positive fixed-point geometry. Its inferred full singlet/CP removability, p-as-second-face and pair-order sign claims fail these concrete tests. No universal exclusion of a separately defined time-order reader or source map. Scalar free annulus propagation is not the whole coupled source, and geometric evaluation is not automatically a permitted unsmeared quantum insertion at a Fuchs mark. Retain original time, spin/norm and conditional CP readouts.

Read the exact result, assumptions and evidence

Result

At the two actual fixed points, all mixed products evaluate nontrivially into distinct twisted fibers and Rfiber=rho P. P-fixed is not a full flavor singlet: an original allowed deck sign already moves the rho line. A zero complete Stokes period or isotropic Cauchy Green form does not erase nonzero source cross correlations. Both q and p sources have two faces. Reversing every pair order is a global minus basis change and leaves the minus U6 action unchanged; the existing alternating orbit map is required.

Required assumptions

  • Do not identify source types

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

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

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

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

Original evidence

  • CLAUDE32-FIXPOINT-AND-BOUNDARY-FIRST-REVIEW.txt lines 1–157

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE32-FIXPOINT-AND-BOUNDARY-FIRST-REVIEW.txt

    1a06228600b8f92a187711fe6b3ba4ceb11f3a8c0ae9a95a1bca3f3ec428664b

  • ROOT-CLAUDE32-ORDER-CHECK.json lines 1–29

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CLAUDE32-ORDER-CHECK.json

    95cd1d9f1557e21fe1cf9c80af1c27497b00d3338ed1ef6f480dc6e26c3071cf

finding:actual-fixpoint-evaluation-keeps-coefficient-signs-and-source-type

Conditional result

Whole q-to-p pullback transports supplied source state and time

In the question: Automated construction of operator maps and sources

Exact covariance to its calculated image; original naturality already fixes all image p data and no independent Phi_p rule is required. This does not derive the full given Seed from fewer primitive data. Kswap transports pi rather than fixing its old copy. Match the geometric spin pullback to actual global normal/collar domains, local algebra and reflection; annulus inversion also exchanges faces/normals. Existing state/time are carried, with no mandatory iota6 embedding or no-go for appropriate outer/opposite transports.

Read the exact result, assumptions and evidence

Result

The alternative to a six-mode embedding is positive for the whole supplied source. Actual linear Kswap reverses gamma and conjugates the complete symmetric-Majorana coefficient. T=Kswap Rx transports h(Aq,Phiq) to h(Ap,-barPhiq composed with inversion). Full F5 lift (iN) tensor T preserves total grading, complex structure and C0, intertwines E and carries all face entries, cross graph correlations, state and same-parameter time. Quarter connection/domain holonomy invert; variable spin frames retain derivative and endpoint terms. Two independent actual96 replays confirm the algebra.

Required assumptions

  • Do not identify source types

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

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

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

  • Geometric Clifford boundary with explicit changed complex structure

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

  • Complete data of both product-collar faces

    A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.

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

Original evidence

  • QP-WHOLE-SOURCE-PULLBACK-REVIEW.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QP-WHOLE-SOURCE-PULLBACK-REVIEW.txt

    a933fd30b0295e5461d10643ab4b1ea754acc52624f4ba1d289a14c78cfe861d

  • QP-WHOLE-SOURCE-PULLBACK-REVIEW.txt lines 181–224

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QP-WHOLE-SOURCE-PULLBACK-REVIEW.txt

    a933fd30b0295e5461d10643ab4b1ea754acc52624f4ba1d289a14c78cfe861d

  • QP-PULLBACK-F5-OPERATOR-REVIEW.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

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

    85f5d6a0f9975b09ef31b9f68d2b4304b8aad1767775ce9c039565e0a26d33c7

  • QP-PULLBACK-F5-OPERATOR-REVIEW.txt lines 181–215

    Source checked at this snapshot

    Original location and fingerprint

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

    85f5d6a0f9975b09ef31b9f68d2b4304b8aad1767775ce9c039565e0a26d33c7

  • QP-SOURCE-FUNCTORIALITY-ADDENDUM.txt lines 1–167

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/QP-SOURCE-FUNCTORIALITY-ADDENDUM.txt

    429b1ee6bbc19d5b64593bb81b1eab4e29510ec65d0a054e24319aa42af6be34

finding:whole-q-to-p-pullback-transports-given-source-state-and-time

Established in scope

Geometric six-spin clock differs from the marked native clocks

In the question: Automated construction of operator maps and sources

This is a marked comparison test, not a no-go for outer/Pin or antiunitary transports. The optional q-slot alignment stays a declared premise. Retain determinant twists and actual base/charge transport. Equal clock orders alone do not provide the whole source-family map.

Read the exact result, assumptions and evidence

Result

Actual spin r has characteristic polynomial t6+1, sixth power minus one and geometric C4/C3 factors. Their q/p and family actions differ from marked native kappa and sigma, already at one fixed D5 weight. A linear side exchange in the specified matched carrier needs a D5 chiral flip and inverts central kappa, so it lies outside that fixed K. Coefficient Real and compact JF also have distinct clock relations.

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.

  • 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 oriented exterior carrier

    Given E=C5=E3⊕E2, a Hermitian metric, volume orientation, S± and Y=(-1/3)^3⊕(1/2)^2. Internal carrier labels are not physical vacua; geometric seam reflection is not identified with carrier conjugation.

  • Alternative chiral comparison of q columns with actual v252 P2 carrier

    For this explicitly alternative comparison identify actual G columns(L0,L2,L1) with supplied generation slots through whole signed P2 dictionary. D_E acts on gamma_F positive,barD_E on negative. Retain unchanged full_D with Y and symmetricMR,F5 structure,faces,graph state and given time. Do not silently replace earlier particlewise hypothesis. No P1 selection,global trivialization,new state/time or physicalE8gauge action assumed.

Original evidence

  • SPIN-ZERO-MODE-C12-CLOCK-TYPE-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/SPIN-ZERO-MODE-C12-CLOCK-TYPE-REVIEW.txt

    5d5f6bfb960f20d004bf5442920e09826fe9f963b5ac888f3f45c3a4a568edbf

  • ROOT-MIXED-SPIN-U6-CHECK.json lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-MIXED-SPIN-U6-CHECK.json

    156118586394327730bf248cd6dbece42e7af4eec8ff0b1fa82a4f45d2510f36

finding:geometric-six-spin-clock-differs-from-marked-native-clock

Established in scope

A real full trace does not exclude coherent phase readers

In the question: Automated construction of operator maps and sources

The matrix example is a diagnostic counterexample, not a TFPT Yukawa prediction. An actual open source reader still requires original endpoint legs, path classes and field map. Retain the narrower overall-phase and bare closed-character exclusions.

Read the exact result, assumptions and evidence

Result

The reviewed universal inference from real full traces fails: the actual mixed six-cycle has a complex rho partial trace. An independent exact matrix counterexample has Im tr[Hu,Hd]^3=-360sqrt(3). Relative coherent phases can affect invariants while an overall phase remains invisible. Bare open Fuchs frame products still telescope on a cut and finite closed A4/S4 characters remain real.

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 hard-holonomy contract with pure closed-triangle trace

    Read original45 flavor sources defineY from canonical minimal paths of a Hermitian family connection andPi_triangle=Hol12Hol23Hol31 as ordered closed holonomy,delta=argtrace. DisplayedPi includes neitherKstr nor extraZ6operator. Nonreal asymptotic is a readout contract to test,not completed physical derivation. Active source retains absolute wall selector;no automatic physicalconnection=v117.

Original evidence

  • CLAUDE31-CP-INFERENCE-AND-OPEN-PATH-REVIEW.txt lines 1–190

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE31-CP-INFERENCE-AND-OPEN-PATH-REVIEW.txt

    97d973edd656fcfb57129315cffe12b0cfc863163bfbd8cc3cb92910975dc33d

  • CLAUDE31-CP-INFERENCE-AND-OPEN-PATH-REVIEW.txt lines 191–293

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE31-CP-INFERENCE-AND-OPEN-PATH-REVIEW.txt

    97d973edd656fcfb57129315cffe12b0cfc863163bfbd8cc3cb92910975dc33d

  • CLAUDE31-HEXAGONAL-RELATIONS-REVIEW.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE31-HEXAGONAL-RELATIONS-REVIEW.txt

    0e1871e77a3724219d0b2ee4fae10bf9560dd15e8aaa936d09b19c6204f7c6e9

  • ROOT-MIXED-SPIN-U6-CHECK.json lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-MIXED-SPIN-U6-CHECK.json

    156118586394327730bf248cd6dbece42e7af4eec8ff0b1fa82a4f45d2510f36

finding:real-total-trace-does-not-exclude-coherent-phase-reader

Conditional result

Spin pair transport retains fermion parity and whole source types

In the question: Automated construction of operator maps and sources

No new six-mode state is selected. Hodge positivity is not physical covariance or Hamiltonian. Existing q-to-generation comparison supplies no original p map into F5/96; antiparticles, adjoints, holes and second faces are distinct types. Require the actual source map without imposing a universal extra fixed Q symmetry or this optional comparison. A direct iota6 embedding into one fixed source is only a particular comparison. A global q-to-p pullback may instead map whole source objects without that doubling.

Read the exact result, assumptions and evidence

Result

A stipulated unitary spin action defines a full CAR star automorphism whose sixth power is parity. Ordered fermionic pairs carry minus U6 and the alternating diagonal map intertwines it with geometric plus U6. Diagonal orbit-line comparison is unique up to scalar; unrestricted intertwiners include the six-dimensional commutant. Star completion pairs rho with its conjugate. Fixed graph-state preservation is equivalent to preservation of h; explicit source-family covariance remains allowed.

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.

  • Geometric Clifford boundary with explicit changed complex structure

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

  • Complete data of both product-collar faces

    A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.

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

Original evidence

  • SPIN-PRODUCT-CAR-U6-TRANSPORT-REVIEW.txt lines 1–190

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SPIN-PRODUCT-CAR-U6-TRANSPORT-REVIEW.txt

    6a107b94df366affec36a50d940a74420e192010d371d34a6aeeccfe074a1e5b

  • SPIN-PRODUCT-CAR-U6-TRANSPORT-REVIEW.txt lines 191–307

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SPIN-PRODUCT-CAR-U6-TRANSPORT-REVIEW.txt

    6a107b94df366affec36a50d940a74420e192010d371d34a6aeeccfe074a1e5b

  • ROOT-MIXED-SPIN-U6-CHECK.json lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-MIXED-SPIN-U6-CHECK.json

    156118586394327730bf248cd6dbece42e7af4eec8ff0b1fa82a4f45d2510f36

finding:spin-pair-car-transport-retains-parity-and-whole-source-types

Established in scope

Existing spin quadratics reach the original hexagonal Hodge line

In the question: Automated construction of operator maps and sources

This proves a geometric contraction, not its physical insertion into the original generating functional. Retain the explicitly open seam determinant unification contract. It excludes no unrelated Pfaffian line and derives no physical CP or time.

Read the exact result, assumptions and evidence

Result

The given elliptic quotient supplies Phex=(I+j*)/2. Existing spin quadratics explicitly reach dw/eta, including the projected odd-spin square. The geometric endomorphism Phex R* Phex has scalar trace rho without choosing an evaluation vector. Full Hodge determinant has character minus one and Q exchanges the two Hodge lines.

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

  • ORIGINAL-HODGE-LINE-SOURCE-CONTRACTION-REVIEW.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HODGE-LINE-SOURCE-CONTRACTION-REVIEW.txt

    f176753b19a319ceb0fa52edbdb520287bc209c70f14118093e50e4e137052c6

  • ORIGINAL-HODGE-LINE-SOURCE-CONTRACTION-REVIEW.txt lines 201–210

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HODGE-LINE-SOURCE-CONTRACTION-REVIEW.txt

    f176753b19a319ceb0fa52edbdb520287bc209c70f14118093e50e4e137052c6

  • ROOT-MIXED-SPIN-U6-CHECK.json lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-MIXED-SPIN-U6-CHECK.json

    156118586394327730bf248cd6dbece42e7af4eec8ff0b1fa82a4f45d2510f36

finding:actual-spin-quadratics-reach-original-hexagonal-hodge-line

Established in scope

Original mixed spin products realize the positive U6 cycle

In the question: Automated construction of operator maps and sources

Constructive geometric origin of the supplied six-cycle matrix, without selecting a physical character, CP reader, field source, state or time. Keep twist lines and the harmless common orbit phase. The original physical charge assignment of triality and sheet characters still needs its actual operator map. Originals already declare rho/rho^4 as CP readouts. v233 inserts exponents 1/4 rather than evaluating the actual map J from U6^3,U6^4 to color-Casimir sector parity and family center. Geometric q/p names and the old carrier seam tau do not identify quark/lepton sectors. Clarification 30 October: the phase-free orbit basis absorbs partner phases. Raw s pullback is minus transpose, so raw antisymmetry is on the positive U6-cube sheet. Independent full q/p signs plus R have no rank-three projector; see the new complete deck test.

Read the exact result, assumptions and evidence

Result

Actual odd spin lines have nonzero global multiplication isomorphisms into the one-dimensional mixed twisted-canonical sectors. Six off-diagonal sectors form a single orbit under actual R=sc²; spin signs cancel after six steps. On the existing sixteenfold Kummer cover, intrinsic Hodge positivity and deck-character orthogonality make the orbit realization unitarily equal to the oriented v231 U6. Its rho projector has rank one although the full trace vanishes. Existing triality/sheet factors U6^4,U6^3 select rho and rho^4 joint character lines.

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

  • MIXED-SPIN-PRODUCT-U6-SOURCE-REVIEW.txt lines 1–173

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MIXED-SPIN-PRODUCT-U6-SOURCE-REVIEW.txt

    319d9b965c909058c237b523236c2d9f4521989b8154fffbd527987d1b3ba1c8

  • CLAUDE31-HEXAGONAL-RELATIONS-REVIEW.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE31-HEXAGONAL-RELATIONS-REVIEW.txt

    0e1871e77a3724219d0b2ee4fae10bf9560dd15e8aaa936d09b19c6204f7c6e9

  • v231_cp_mu6_phases.py lines 65–75

    Source checked at this snapshot

    Original location and fingerprint

    verification/v231_cp_mu6_phases.py

    9e3567f184de3b5ec14f21df3c969d89bf3953d69edc288c29a3b564ccad3b26

  • v233_cp_triality_phase.py lines 43–88

    Source checked at this snapshot

    Original location and fingerprint

    verification/v233_cp_triality_phase.py

    43b34998aa882f2207fc1ebaa74b67cf157a5c8de977a62afa363d8f0284b94c

  • ROOT-MIXED-SPIN-U6-CHECK.json lines 1–36

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-MIXED-SPIN-U6-CHECK.json

    156118586394327730bf248cd6dbece42e7af4eec8ff0b1fa82a4f45d2510f36

  • ORIGINAL-U6-TRIALITY-SECTOR-SELECTION-REVIEW.txt lines 1–153

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-U6-TRIALITY-SECTOR-SELECTION-REVIEW.txt

    958c55a73b64fc2a35eec07d5242a497a18cefcf28d08acedb5f955b6ef7df4a

  • MARKED-FIBER-K3-TRANSPORT-ADDENDUM.txt lines 1–196

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MARKED-FIBER-K3-TRANSPORT-ADDENDUM.txt

    7b2fb212bb98bb11d71361b13057cb459aa4f60f13a96f79eb35c191b4b17ef0

finding:original-mixed-spin-products-realize-positive-u6-cycle

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