Skip to main content

Explore the foundations and current research.

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

Reviewed results

128 matching reviewed results

Scoped exclusion

All common leading-distance clutches fail original flavor lengths

In the question: Automated construction of operator maps and sources

Only shared leading distances with the stated equal weighting. Different q/p spectra, unequal weights, full mode sums and actual sector-dependent original C6 residue packets with additional length-six windings remain outside the exclusion. Frobenius exponents are not a boundary clutch without an actual operator dictionary.

Read the exact result, assumptions and evidence

Result

Original diagonal TOTAL lengths Lu=(7,3,0),Ld=(7,5,2),Le=(8,5,3) have sorted gap ratios3/4,3/2,2/3; separate numeric left/right lists are not supplied. A common single-leg list requires one ratio. For equal-weight same-list two-leg readers, normalize x=(0,1,t): all six relative S3 permutations are degenerate or give only t-1 and its reciprocal. No arbitrary real triple reproduces all three original rows. Entire class is analytically decided.

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.

  • Common leading triple distances with equal two-leg weights

    Restricted candidate class only: arbitrary shared real triple x, sector positive scales/offsets and permutations, single leg or equal-weight same-list two legs. Not a P1 axiom. Different lists/weights, full sums and extra operator histories lie outside.

Original evidence

  • CLAUDE39-COMMON-CLUTCH-CLASS-ADDENDUM.txt lines 1–131

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE39-COMMON-CLUTCH-CLASS-ADDENDUM.txt

    a4c940f1116bb8b3dcef63c3732719be8d44620a75e6fea5ed853738fb533f93

  • CLAUDE39-FN-DISTANCE-ORIGINAL-REVIEW.txt lines 1–139

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE39-FN-DISTANCE-ORIGINAL-REVIEW.txt

    e7c11617456a0e418394a42e53f9ed35584b421e7153e7cc85bb6d9c46189760

finding:all-common-leading-distance-clutches-fail-original-flavor-lengths

Scoped exclusion

Original A4 with linear quarter does not supply proposed scalar mu3 repair

In the question: Automated construction of operator maps and sources

Only the proposed scalar repair within the stated original class is excluded. No claim against marked lines, projective/antilinear/rank-two structures, actual Higgs/reader legs or physical CP as a whole. Do not infer reality of all structural projectors from real kernel parameters, or identify a bilinear evaluation rule with its argument or with the physical consumer.

Read the exact result, assumptions and evidence

Result

The proposed minus-one times omega-squared repair requires a scalar mu3 holonomy on a V4 loop. Every actual A4 scalar character is trivial there, and quarter equivariance further leaves only the trivial character. The entire four-puncture mu3 character class has 27 members and only one cyclic-quarter invariant member. A marked extra line can give the desired value but is additional changed data.

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.

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

  • 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

  • CLAUDE35-SCALAR-LINE-AND-KERNEL-FIRST-REVIEW.txt lines 1–72

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE35-SCALAR-LINE-AND-KERNEL-FIRST-REVIEW.txt

    b0b6ca32f963d831b690fa48b1a6a84297f185c65f20a3e5906ee186768babb3

  • ROOT-CLAUDE35-SCALAR-LINE-CHECK.json lines 1–31

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-CLAUDE35-SCALAR-LINE-CHECK.json

    401638faf3ca08a6499b68cde477d101ef0e5d74e630425b07c787aadcccd555

  • CLAUDE35-PHASENLESER-UNGEPRUEFT.txt lines 1–77

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/CLAUDE35-PHASENLESER-UNGEPRUEFT.txt

    b49b34542d81a6ffb2339ad844b45286d8b20a0fa407cb3cd11804887cfede38

  • v117_monodromy_weyl_a3.py lines 14–78

    Source checked at this snapshot

    Original location and fingerprint

    verification/v117_monodromy_weyl_a3.py

    55eca6a64144f6e49789f3f1bbe84e256764e7ce92b207044be693f8684d5df5

finding:original-a4-linear-quarter-does-not-supply-proposed-scalar-mu3-repair

Scoped exclusion

Fully descended covariant reverse kernel removes rho form channel

In the question: Automated construction of operator maps and sources

Exclude only the specified fully descended covariant rho insertion with this actual kernel. Marked open arcs, actual additional original reader legs or a different sewing consumer change the premise. No automatic identification of native internal Zc with this descent and no general physical CP exclusion. Retain the positive inverse-character/Hom pairing results without counting their factors a second time.

Read the exact result, assumptions and evidence

Result

Original normalized lifts calibrate c=R_V squared to the entire Hom action, not a bare geometric character counted twice. On the fully descended source, a reader covariant for this same total action compresses every nontrivial character to zero. Thus the rho form channel is removed by the canonical equivariant reverse kernel. The invariant ranks are two off-diagonal and three in the full family; the whole source does not vanish.

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.

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

Original evidence

  • F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt lines 137–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/F5-QP-REVERSE-HOM-KERNEL-REVIEW.txt

    07b31e029aef2bb4f51ffd3c65a6f659da29581c203df2101dd6556c4c7be2b9

  • ROOT-REVERSE-KERNEL-AND-C3-CHECK.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-REVERSE-KERNEL-AND-C3-CHECK.json

    b28ae1e183a2173fa38a818e4b2c438fa8780e1cba313e4c5429e4c57a6228f6

finding:fully-descended-covariant-reverse-kernel-removes-rho-form-channel

Scoped exclusion

Finite antiperiodic scalar wall has no exact massless normal mode

In the question: Automated construction of operator maps and sources

Complete analytic exclusion only of finite scalar anti-I class with fixed commuting Phi. No uniform positive bound in separation/large-mass limits,no exclusion of noncommuting backgrounds,other clutch or original P1. Infinite isolated wall has index−sigPhi under its asymptotic premises; no general requirement for gamma_F-even P1 mass follows. Finite D_F and geometric D_N are distinct operators. Local reflected signs do not define an original mass wall without actual global trivialization and smooth transport. No physical-origin completion.

Read the exact result, assumptions and evidence

Result

In actual claimed finite anti-circle wall class,{S,Q}=0,Q²=-partial_r²+sigma²Phi²+S sigma'Phi,D²=Q²+p². Qpsi0 forces monodromy exp(SPhi∮sigma),positive definite with no eigenvalue−1; odd zero-mean profile gives exactlyI. Thus kerQ0 and each fixed circle has strictly |lambdaD|>=sqrt(p²+mu0²)>|p|. Claimed exact ±p wall modes are excluded; close numerical values give only finite approximations. For zero-mean sigma,full normal inverse is F(r)[1_(r>s)-1/2]F(s)^-1(-N),F(r)=exp(SPhi∫0^r sigma). Given homogeneous anti-Green source correctly reproduces old thermal graph,but local C_faces selects neither global spin clutch nor original Schwinger functional. Infinite single-wall index and existing normal spin-S2-O1 index-one result remain separately valid.

Required assumptions

  • Closed antiperiodic scalar wall with fixed Hermitian coefficient

    Test The reviewed additional closed Green-source construction on finite circle length2ell,scalar anti-I spinor clutch,H1 domain,fixed finite Hermitian Phi,smooth real periodic scalar sigma(r). N²=-I,Z²=S²=I,S=NZ,Q=N partial_r+Z sigmaPhi,D=Q+pS. Explicit inverse additionally assumes ∮sigma=0. Neither global clutch nor Green=original Schwinger source is assumed from local C_faces.

  • 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

  • DOUBLE-WALL-REVIEW.txt lines 1–162

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DOUBLE-WALL-REVIEW.txt

    f8635d1b544e80626b79ca7a3a23120d568b8f3878ace11acacfadaa98ab759c

  • DOUBLE-WALL-REVIEW.txt lines 163–227

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DOUBLE-WALL-REVIEW.txt

    f8635d1b544e80626b79ca7a3a23120d568b8f3878ace11acacfadaa98ab759c

  • ROOT-DOUBLE-WALL-CHECK.json lines 1–14

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-DOUBLE-WALL-CHECK.json

    6c69ffd10ed15b414bf0910e749df9e6fa08d9c6ed5cdd361f85338844a8c5f7

  • CLAUDE-DOUBLE-CANDIDATE.txt lines 1–126

    Source checked at this snapshot

    Original location and fingerprint

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

    758ba5eaa5cd8f6cee16f332b00f6647d81c69cae8b4337e08c4fb93ec157409

  • NORMAL-CLUTCH-TO-SOURCE-PUSHFORWARD.txt lines 1–150

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/NORMAL-CLUTCH-TO-SOURCE-PUSHFORWARD.txt

    f3ff2fce59e3f39d1be5884f995f454ecd3db184b286b903a63f91938c3236f2

finding:finite-antiperiodic-scalar-wall-has-no-exact-massless-normal-mode

Scoped exclusion

Mass-only relative deck operator fails ordinary heat trace

In the question: Automated construction of operator maps and sources

Excludes only expressly combined deck identification,heat profile and ordinary infinite trace. No general P1,profile,deck or TFPT exclusion. Actual finite UV domain,other trace or different original relative-pair prescription changes contract and must be explicit. No unique inference of replacement by Tr f(Dfull)-Tr f(Dref),or renormalization condition from chi alone. Preserve valid normal,tangential and product-reflection maps and complete Seed.

Read the exact result, assumptions and evidence

Result

Full tau=S R_r gives exactly Dref=D0+(Z/2)(Phi-Phi_tau),Drel=(Z/2)(Phi+Phi_tau),hence claimed massless reference for even Phi. Fiber S alone instead gives Dref=NZA,Drel=N partial_r+ZPhi. Distinct existing product reflection S gamma_F R_r preserves coupled D and gives Drel0. Under narrow mass-only Drel and ordinary infinite heat trace,already Phi0 fails:f(Drel)=I,so I-exp[-(D0/chi)²] is noncompact. Compact base,gap removal and internal admissibility selection do not remove this UV identity term. Original relative-object table also permits a declared relative pair; this does not replace the explicit even/odd formula without its own source reconciliation.

Required assumptions

  • Mass-only deck-odd part under ordinary heat trace

    Narrow candidate: full local deck tau=S R_r with transported A and reflection-even Phi on a common stable domain,so Dref=D0,Drel=ZPhi. Test literal primitive Tr f(Drel/chi)-Tr f(Dref/chi),allowed f(x)=exp(-x²),on a nonzero infinite-dimensional geometric Hilbert space,without added UV cutoff or alternate trace. This is not assumed for all P1 realizations.

  • 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

  • DECISION.txt lines 1–98

    Source checked at this snapshot

    Original location and fingerprint

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

    511f2fd726e404cac271bd3f59bce024304aacd576148a3463228cfb3bd75fc5

  • DECK-REFERENCE-AND-ACTION.txt lines 1–197

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DECK-REFERENCE-AND-ACTION.txt

    d392cfc2c0b3b50d39a041c6c1ee8bd3a1e173f80e767f35e05ba82344eaf0f1

  • 001-section-primitive-core-and-carrier-interface-handoff.tex lines 109–135

    Source checked at this snapshot

    Original location and fingerprint

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

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

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

    Source checked at this snapshot

    Original location and fingerprint

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

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • 003-subsection-relative-objects.tex lines 1–24

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/003-subsection-relative-objects.tex

    d1136b33055198aedd6d1322912672977374f13f30e65dd073312ed272df0858

finding:mass-only-deck-relative-heat-action-fails-free-infinite-trace

Scoped exclusion

Direct Pfaffian closure fails local skew test in fixed scalar quarter chart

In the question: Automated construction of operator maps and sources

Only specified direct Pfaffian candidate at fixed scalar alpha with unchanged operators. No full P1 countermodel or general Pfaffian/TFPT no-go. Preserve given positive whole Clifford source,both faces,products,reflection and circle time. Actual J-odd charge connection or explicitly identified paired sectors are not excluded. Two faces are not automatically two quarter holonomy sectors. New conditional CAR insertion value repeats known target value rather than independently reading original source response.

Read the exact result, assumptions and evidence

Result

Actual old identity gives Jloc Dalpha Jloc^-1=−Dalpha+2alpha S. Thus beta_alpha(x,y)+beta_alpha(y,x)=2alpha<Jhat x,y>. A real compact radial profile in first normal slot with constant circle profile and J_F u=u gives beta_alpha(x,x)=alpha||x||²≠0 at both original quarters. The claimed unchanged beta_Dalpha Pfaffian source is excluded already on the interior smooth core. Old skew theorem at a^J=−a remains valid. Action comparison also requires a log profile with correctly counted full trace; eta alone determines neither magnitude nor source pairing. Later originals allow any declared f but do not thereby select a log profile; existing Frullani bridge explicitly treats scale-measure choice as input.

Required assumptions

  • Direct full Jloc Pfaffian at unchanged scalar quarter parameter

    Test new direct source closure beta_Dalpha=<Jloc.,Dalpha> in existing old-complex collar with N,Z,S=NZ,Jhat=I⊗J_F,Jloc=S Jhat,Dalpha=N(∂r+Z(-i∂theta+alpha I)−S Phi),alpha=1/4 or3/4. Phi retains existing selfadjoint,J_F and oddness identities; fields and scalar quarter parameter remain unchanged. Claim is same antisymmetric Pfaffian source directly equal to primitive spectral action. Do not presume a J-odd charge connection, additional paired holonomy sectors or a new relative log profile as original consequences.

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

Original evidence

  • DECISION.txt lines 1–58

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/DECISION.txt

    7fc10af4c8eef6a30cab621683fd0acb6e739ea4c017380388e6dcb99512f854

  • FIELD-AND-DOMAIN-REVIEW.txt lines 1–175

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/FIELD-AND-DOMAIN-REVIEW.txt

    4c8ed227097cab138eb7868d973940b333a90ac612e3e4082ae15ae9179de35a

  • ROOT-QUARTER-PAIRING-CHECK.json lines 1–13

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/ROOT-QUARTER-PAIRING-CHECK.json

    5c88b34c7ed5004529373da80b3f4280bf0e8fd3a7a00afd1b7ec154edf78de3

  • PFAFF-INDEPENDENT-REVIEW.txt lines 96–207

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/PFAFF-INDEPENDENT-REVIEW.txt

    8a57d181fafc2b9f9bc0fe9df57cc8d1423bc03fa6606cbf158f0574b9b11283

  • DERIVED-PAIRING.txt lines 62–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/charge_transport/DERIVED-PAIRING.txt

    2b4de9e914669e368e5aa086e655b7a5ed2be5d4d268f58b6820fc3db8d7ae27

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

    Source checked at this snapshot

    Original location and fingerprint

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

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • 009-source.tex lines 125–146

    Source checked at this snapshot

    Original location and fingerprint

    documents/tfpt_research_contracts/sections/009-source.tex

    388f7e74c41945a9d59ed46bc24df463610397e8fd3bf1cd97ab69e86a1a3430

finding:fixed-quarter-jloc-pfaffian-closure-fails-local-skew-test

Scoped exclusion

Bosonic E8 trilinear and single-anchor Weyl class do not supply the claimed mass bridge

In the question: Automated construction of operator maps and sources

Excludes only the stated one-bracket/one-anchor/same-Weyl identification. Rank2 per4x4 family channel, not the full64 operator. Fixed-omega image at most1D; dimension3 only over all omega. Other original family-distinguishing operations, independent Dirac variables, higher insertions and physical field maps remain open. This is not an E8/Yukawa/TFPT no-go and does not refute independently asserted mass relations.

Read the exact result, assumptions and evidence

Result

The antisymmetric E8 current coefficient B_h vanishes if literally used in the same left-Weyl quadratic, since B_h tensor Lorentz epsilon is symmetric. For any skew4x4 family form omega and arbitrary polynomials F,G of the same X=diag(3,-1,-1,-1), X²=2X+3I and Sym(F omega G)=(ad−bc)(omega X−X omega)/2. Every such symmetrized family block is a star matrix with zero triplet block, rank at most2 and complex singular values||v||,||v||,0,0. Exact24-basis checks and independent analytic review close the whole stated polynomial class. The reviewed therefore had no justification for comparing singular values of the unsymmetrized current coefficient directly with physical lepton masses.

Required assumptions

  • One E8 current trilinear as the same Weyl quadratic with one anchor mark only

    Test only literal B_h=κ(x,[h,y]),h in(10,6),x,y in(16,4), as the local quadratic coefficient of the SAME left four-dimensional Weyl multiplet with Lorentz epsilon. In each fixed spin/charge channel the family form omega is skew. Allow linear combinations F(X)omega G(X) for only ONE X=diag(3,-1,-1,-1) and arbitrary polynomials. Other original family generators, independent Dirac variables, derivative vertices, multiple omega factors and different field maps are outside this class.

Original evidence

  • E8-ANCHOR-REVIEW.txt lines 1–89

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/E8-ANCHOR-REVIEW.txt

    b7f5878e931d15bf297f7c48dbf40c9f5609c0bc95e70eea3e2a919e3e80b1e4

  • e8-anchor-yukawa.json lines 1–16

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/e8-anchor-yukawa.json

    99d56df304aa6d89cc91ca4d39e4676c96b306f23bf84a19c0899f28387a2172

  • REVIEW-E8-ANCHOR.txt lines 1–115

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/REVIEW-E8-ANCHOR.txt

    4bb7464f70c697d61dd51a5c2c1fbe02e538c1789c40008d1d2ed491df91adde

finding:e8-bare-trilinear-and-single-anchor-weyl-class-insufficient

Scoped exclusion

Raw face insertion fails null stability; graph symmetries classified

In the question: Automated construction of operator maps and sources

Excludes only the raw mask action on this exact K_G and exact ancillary intertwiner repair. Does not exclude other history kernels, altered sources or physical interventions.

Read the exact result, assumptions and evidence

Result

For K_G=<x,Gy>, P0 sends the null vector (-t,1)/sqrt(1+t²) to squared norm t²/(1+t²)²>0. The raw mask is not a quotient operation; W*W=G and OW=WP0 are also impossible. Compression repairs only mathematical descent. Separately, block unitaries diag(U0,U1) preserve the full graph iff U0=U1 spectrally commutes with B. Degeneracies may retain nonabelian commutants; interventions need not be symmetries.

Required assumptions

  • Complete data of both product-collar faces

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

  • Geometric two-face compression and explicit projection kernel

    Given selfadjoint B, labeled identified fibers and ell>0, G is the orthogonal graph projection of T=e^-ellB, A=(I+T²)^-1, V=(A^1/2,T A^1/2). The geometric scalar F_f=diag(M_f,0), L_f=V*F_fV and K_G(x,y)=<x,Gy> are studied without identifying a physical covariance, instrument, Born rule or reprojection law.

  • 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

  • BOUNDARY-OPERATION-PROOF.txt lines 40–66

    Source checked at this snapshot

    Original location and fingerprint

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

    a55bc1d8bcda606e274092873dedf00709d40bd093d3ec0e08ce7ff25ecf5a47

  • BOUNDARY-OPERATION-PROOF.txt lines 138–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

finding:raw-face-mask-fails-source-kernel-null-descent

Scoped exclusion

Known NS vector fermionization cannot supply the missing Spin10 spinor through local products

In the question: Automated construction of operator maps and sources

Reused representation result with analytic extension to the unchanged NS generator algebra, not new fermionization. No exclusion of Ramond/twisted states, charged sector intertwiners, dressed fields with additional source, other extensions or a universal TFPT model.

Read the exact result, assumptions and evidence

Result

The existing fermionization route supplies (10,1)+(1,6), as established previously. The central kernel element of Spin10->SO10 acts trivially on each local generator but as minus1 on the required internal half-spinor. Products, derivatives, OPE coefficients and algebraic/norm/weak closures in the same NS representation therefore remain centrally trivial. Choosing V_a coefficients or searching further local composites in this unchanged algebra cannot repair the matter identification.

Required assumptions

  • Unchanged local NS fermionization with fixed D5 group action

    The existing conditional D8->Z^8 fermionization of the selected E8_1 theory and its nonanomalous Z2 with spin/twist data is supplied. Its16 real local NS generators carry (10,1)+(1,6) under the fixed Spin10 x Spin6 cut. Consider their generated algebra in the same NS representation, without adjoining Ramond/twist intertwiners, field/crossed-product extensions or changed group action. No physical3+1D identification is presumed.

  • 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

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

    Source checked at this snapshot

    Original location and fingerprint

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

    ebb9e0cb15cdc017914d8567131c8d8b75855f20e05551b6f7b350989061e152

  • PROOF.txt lines 157–206

    Source checked at this snapshot

    Original location and fingerprint

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

    4c5ade4da333abb5fd528a02bc3e95158a7b40eaa7c89d7200b77768810320d9

  • PROOF.txt lines 176–205

    Source checked at this snapshot

    Original location and fingerprint

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

    a5796f90f4fa079badc5a07c451f1ea1028fcff3f258ac3f6992c6ae8d65d7d6

finding:unchanged-ns-vector-generators-cannot-create-d5-spinor-fields

Scoped exclusion

Bounded coefficients do not imply infinitesimal relative bound

In the question: Automated construction of operator maps and sources

Only the general proof step is excluded. The a=1 control is not an admissible elliptic Dirac operator or a P1/P2 countermodel.

Read the exact result, assumptions and evidence

Result

The inference in original source01:397-405 is invalid: P=aA has relative bound |a|. The independent quarter/reflection control A=sigma_x p_theta+sigma_y p_r, P=a I p_r retains the quarter domain; at a=1, A+P on H1 is not closed. Repair: an actual relative bound<1, bounded symmetric perturbation, or a separate theorem for the total elliptic operator and boundary domain.

Required assumptions

  • Audit of the general perturbation argument

    Given: a selfadjoint first-order anchor with H1 graph norm and a symmetric first-order perturbation with bounded coefficients on the same domain. The quarter/reflection control uses the explicit compact torus operator in section11.2, not a claimed original P1/P2 source.

Original evidence

  • PROOF.txt lines 482–517

    Source checked at this snapshot

    Original location and fingerprint

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

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

  • 002-section-intrinsic-closed-branch-and-canonical-rigid-obje.tex lines 20–28

    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

finding:order-one-infinitesimal-bound-inference-fails

Scoped exclusion

No time-stabilizing orthogonal repair of the fixed marking

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

Only fixed fold time and fixed 5+3 marking. Covariant marking transport is positively constructed; other sources or dynamical dictionaries are not excluded.

Read the exact result, assumptions and evidence

Result

After actual quarter conjugation the D5 projections of the time axis have distinct squared norms 129/256 and 137/256. Hence no orthogonal T satisfies T d_beta=d_beta and T O(P5)T^-1=P5. This excludes every Weyl correction in this fixed comparison.

Required assumptions

  • Given chiral source in both quarter domains

    D_alpha=-i∂theta on f(theta+2pi)=exp(2pi i alpha)f(theta), filled negative spectrum and relative particle/hole excitation time; alpha=1/4,3/4. This compares two conjugate domains, not opposite charges in one fixed domain or all P1 sources.

  • Stipulated E8 quarter-fold dictionary

    The existing Weyl lift M, affine E8 module, Q'=2(H3+H6) and K_alpha=L0+delta_alpha.H0 with alpha=1/4,3/4 are held fixed for comparison. This representation is not derived from P1/P2; an unbroken SM time action is not assumed.

  • First 5+3 marking and Z4 character supplied

    In the supplied E8 dictionary, D5 on the first five coordinates, D3 on the last three and k=2sum(p1..p5) mod4 are given for the first quarter domain. The other domain may transport these data covariantly; their original physical selection is not presumed.

Original evidence

  • PROOF.txt lines 153–187

    Source checked at this snapshot

    Original location and fingerprint

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

    bbea15f5ebb1dff698f1ecdfd8a18e724089c8fe9880dea684a5f9fd45cb1c8a

finding:joint-fixed-time-marking-repair-excluded

Scoped exclusion

No phase hit realizes the unchanged source

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

Only the named unchanged CAR/QWZ representation with the same time. No TFPT no-go; choosing a state removes no added zero vector.

Read the exact result, assumptions and evidence

Result

All four hits add the same half-integer Cartan sectors and second K-zero vector. The already known integer-Cartan/ground-space obstruction therefore excludes equivalence to the unchanged source; positive algebraic extension remains possible.

Required assumptions

  • Fixed CAR source and adjoined half sector

    Ordered eight-channel cocycle, s=(1/2)^8, Q, quarter phase and K_alpha=N+|p|²/2+delta_alpha.p are supplied; alpha=1/4,3/4. Parity equivalence is in the global operator envelope without a separately marked physical X. Neither source nor extension is derived from P1/P2.

  • Unchanged specified CAR/QWZ source

    Compare the known quarter-CAR source or full mass=1, ny=8 QWZ operator with the identical Hilbert representation, Cartan action and physical time. Preserve its previously proved unique ground state and spectral gap. This does not compare all P1/P2 realizations.

Original evidence

  • PROOF.txt lines 85–197

    Source checked at this snapshot

    Original location and fingerprint

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

    dfa4b094f660d47bc28cf2729e1c12eb29ae0b79cdfda36e72cb40f9406f5714

  • SYNTHESIS.md lines 76–96

    Source checked at this snapshot

    Original location and fingerprint

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

    d112d0054cd1558c0a64f8aebfaa98c942beab9e5688cc9704d31b15cdacb252

finding:constructive-all-phases-fail-unchanged-source