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

784 matching reviewed results

Established in scope

Complete family-four-cycle lift class separates native clock and fixed SM preservation

In the question: Automated construction of operator maps and sources

New complete application to a precisely declared lift class, not1024 new physical sources. A family four-cycle is not a general substitute for native clock. Existing positive C kappa C^-1=Jhat and whole C12 conjugacy remain solved;kappa is not such a family four-cycle. A jointly transported SM embedding in full E8 remains allowed. No new P1 source, physical field statistics or Yukawa selection is proved. The separate odd Cartan-rank gate excludes only fixed real root charts and is not extended to all inner field conjugations.

Read the exact result, assumptions and evidence

Result

The whole exact E8 quarter-lift family[g5,eta C4] is covered by1024 Spin10 torus representatives modulo4D5. Exactly320 have actual native weight-one character(60,64,60,64) and belong to the native inner field class by the already proved complete E8 torus classification. They have3 odd vector planes and even residues0,2; their Spin10 centralizer isA2+u1³ and cannot contain an additional commuting weakSU2 beside colorSU3. The whole original-SM-commuting subclass has16 representatives with only(64,64,56,64) or(70,56,66,56),hence no nativeJhat match. Independent analytic review reproduces all characters and the full histogram. Already Tr248g=Tr45g5−1=2(d²+k−3) decides the load-bearing distinction.

Required assumptions

  • Complete Spin10/SU4 family-four-cycle quarter-lift class

    Given original E8 roots and Spin10×SU4/Z4 embedding. Candidates are g=[g5,eta C4],C4 a family four-cycle,eta^4=-1,g5 compact inSpin10 and g of exact E8 order4, equivalently g5^4=-1Spin. Allow all SU4 conjugates. The original SM subgroup inside Spin10 is marked; preserving it is tested as an additional subclass. No physical identification of mark rotation and native clock is assumed.

  • 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

  • CLOCK-CLASS-PROOF.txt lines 1–126

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/CLOCK-CLASS-PROOF.txt

    875711d782a807196969e6bc11f39f054678216e6ebe786107904575560ea74f

  • CLOCK-CLASS-REVIEW.txt lines 1–171

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/CLOCK-CLASS-REVIEW.txt

    0a2927c4022f0e3a1cb1c6f6430a815aaee66347beebf3d5945c0b7da0406539

  • clock-four-cycle-class-test.json lines 1–189

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/clock-four-cycle-class-test.json

    831a8f41e8bbc85aabb604a9bbc2f9760e5ded9ccbf0dd4974100dc5eba12c52

  • clock-general-spin10-class.json lines 1–16

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/clock-general-spin10-class.json

    fb2cb4e9f10de48b7432a02f9734073197d5b2c7b1288ef4f5ffa934266fdb5f

  • check_clock_four_cycle_class.py lines 1–98

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/check_clock_four_cycle_class.py

    0c74e5e98dd56a0eafcd7876ff799406ba35ff8259f576e52b2d386ca77cd5b8

  • NATIVE-CLOCK-CONJUGACY.txt lines 1–101

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/e-series-source-reconstruction-20261024/NATIVE-CLOCK-CONJUGACY.txt

    5f208d8d32fdc77e774ec77b5a320f378cfc9e2c8793d4d3d439983aae583a45

finding:complete-family-four-cycle-class-separates-native-clock-from-sm-preservation

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

Established in scope

Shared original insertion words reach the whole lepton8

In the question: Automated construction of operator maps and sources

Actual finite coefficient contract and minimal coupled identification, not a physical state functional or P1 origin. Input values are controls, not derived masses. Common-phase freedom applies to the given linear tuple; physical antiunitary J/R types are not excluded by the formal same-label antilinear branch. An independently original second operator image is still needed; W Phi W* manufactured from the desired dictionary would be circular.

Read the exact result, assumptions and evidence

Result

The unchanged exact intertwiner path gives commutant dimension6 for gauge+grading on the actual reducing diagonal lepton8, then1 after adding the actual quarter generator h=gamma/4−i gamma Phi alone. Four original Higgs images remain jointly compatible. From the neutral test input individual fixed h+h_q reach4 directions; common words in the separate original h/Higgs images instead give1→4→7→8→8, closing at depth3. A gauge/grading-compatible nu_R^c phase flip fails h already at entry(1,5) with2i. Root independently decoded the stored rational matrices and exactly recomputed these values.

Required assumptions

  • Actual reducing lepton8 contract with common insertions

    Given unchanged v252 with the existing diagonal integer control Yu11,13,17;Yd19,23,29;Ye31,37,41;Ynu1,2,3;MR1,4,9, its actual gauge lift and grading, p1/4 and four adjoint/J-real completed original quaternion one-forms q[D,b]. The generation0 lepton8 is proved reducing for these matrices. Source=target tests only automorphisms of this given tuple.

Original evidence

  • SEARCH-REVIEW.txt lines 1–186

    Source checked at this snapshot

    Original location and fingerprint

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

    3998e7ea909f26135022addb1048e625cb07c915345e48c13174ae4867d9a27d

  • joint-word-results.json lines 1–45

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/joint-word-results.json

    2aa5e7c7939c90d1d60e0f615b56e72d28f5fed511751cdad8c2e670f012cc1d

  • ROOT-INDEPENDENT-JOINT-CHECK.txt lines 1–1

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/ROOT-INDEPENDENT-JOINT-CHECK.txt

    3754c00bb444f22a1b904f13100e7fea7ef2cb8089efb78a41486c074dab1a9a

finding:actual-joint-insertion-hull-resolves-eight-coefficient-directions

Established in scope

Identify all fixed whole quarter channels by one exact internal kernel

In the question: Automated construction of operator maps and sources

New automatic use of existing rigidity and whole source map, not a new general GNS/learning algorithm. Same scalar future relative to the declared alphabet; additional P2 insertions must be retained separately. The finite channel decision does not truncate the infinite circle/Fock system. No original P1 source selection; physical interacting successors need not preserve the old free source.

Read the exact result, assumptions and evidence

Result

For one p>0 in the already given constant odd Clifford source the occupation defect D_p on F+ is positive and kerD_p=F+ intersect kerPhi. The existing whole field/state/reflection/same-time map makes every resulting constant channel an identification of all scalar future responses. Known Phi needs only its exact kernel, without exponentiation or directional scanning. A direct actual-v252 control finds no such channels in the existing invertible input; rank-defect controls find2/1 positive and1/0 neutral directions. On nu_R^c tensor C3 the kernel is exactly ker[MR;entrywise_barYnu]; a nonreal control rejects replacement by adjoint.

Required assumptions

  • Fixed local quarter channel in a constant odd source coefficient

    Given the existing Clifford graph source h=A_alpha g-i g Phi with A_alpha=-i partial_theta+alpha,alpha1/4 or3/4,Hermitian involution g and constant selfadjoint odd Phi. Compare fixed local map V_e f=f tensor e,g e=e,unit e,at fixed beta>0 and identical momenta/references. Original elliptic comparison uses actual W1/2 normalization,beta4pi and unchanged fold/normal-ordering reference. If classically averaged,a positive probability law on such constant Phi with fixed e,p,beta is explicitly supplied. This describes neither complex Pfaffian weights,moving field dictionaries nor general quantum-boson families.

  • 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

  • EXACT-CHANNELS.txt lines 1–44

    Source checked at this snapshot

    Original location and fingerprint

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

    10db566daccf1333448d748590754a7bfeb40817bc5886ba4bbe90d625dda346

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

    Source checked at this snapshot

    Original location and fingerprint

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

    007c0b31d8bd8d9fdd80b969e1126dc52e35936c8ce46d377d1e925c872c75f6

  • UNIVERSALRAUM-REVIEW.txt lines 1–189

    Source checked at this snapshot

    Original location and fingerprint

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

    e3b983e8830e1e0ead227ebc1b721ebcd2ded81af6aa350007a35bb814460b56

finding:whole-quarter-channels-identified-by-exact-internal-kernel

Established in scope

Mixed-source completion and automatic discriminating query in the existing search path

In the question: Automated construction of operator maps and sources

Additional finite CAR-cyclic representation ansatz, validated on previously given one/two-mode quarter controls. Exactness applies to rational inputs or explicitly rational-recovered numerical moments; no new P1 Wick value, physical time/reflection derivation, larger-dilation/continuum uniqueness, absolute Z scalar or T1-T8 closure. The actual local P1 insertion and joint connected four-field response remain to be derived.

Read the exact result, assumptions and evidence

Result

The normal search entry point now offers optional faithful CAR GNS completion instead of stopping thermal data at an incompatible pure-Fock ansatz. In the old supplied quarter source, two exact candidates replay all51moments through word length4. The search generates the shortest missing joint response of length5 and obtains its value only from the same existing source. All16/16transfer metric entries are then fixed in this representation; an explicit full basis intertwiner verifies the actual source action. The16dimensional two-mode control preserves neutral transfer products.37appropriate new/old regressions pass, with independent source/algebra review accepting the scope. This improves automated source recovery and software validation, not physical original-P1 source selection.

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.

  • Declared faithful finite CAR GNS source completion class

    At most two CAR modes are supplied with complete normalized CAR state moments, positive definite Gram and internal quarter invariance. The additional selfadjoint transfer preserves the CAR cyclic space, satisfies explicit finite bounds and has the supplied reference eigenvalue. One-transfer data supply linear constraints; all other supplied words are exactly replayed. The actual control oracle is the previously given quarter source; neither its data nor the finite representation ansatz is derived from P1/P2 here.

Original evidence

  • PROOF.txt lines 1–121

    Source checked at this snapshot

    Original location and fingerprint

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

    2e48711231c097bdf444b99c91c4d9d8bf2485e2b6dc60a1f6c9202302de8e17

  • RESULTS.json lines 1–29

    Source checked at this snapshot

    Original location and fingerprint

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

    32c49994d0a4f36f857c0689365949c9aa1540358191011d1cc37c32d213cef8

  • INDEPENDENT-REVIEW.txt lines 1–28

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/seam-positive-kernel-search-20261015/gns_completion_20261029/INDEPENDENT-REVIEW.txt

    1082fcaac6f416f45532af24b23d865e12446e8b38e76901e033c3a6b7d21fb2

finding:faithful-gns-completion-closes-automated-source-query-feedback

Conditional result

Action variation and boundary sewing do not select L_f as a physical intervention

In the question: Automated construction of operator maps and sources

Exact conditional normalization/sewing test and original-source comparison. No universal prohibition of compressed instruments, no selected physical sewing or identification of normal distance with physical time. Actual boundary intervention and history kernel remain underived.

Read the exact result, assumptions and evidence

Result

The primitive action derivative needs supplied D_rel/ref[j], domain, chi and eta families; logZ derivatives additionally retain measure/domain variation and a second contact term. The given collar yields T_ell=e^-ellB with geometric sewing, not A_ell: A0=I/2 and (log a_ell(lambda))''|0=-lambda² exclude a common scalar semigroup normalization on the quarter spectrum. Under the separate boundary-kernel reading K_f=F M_f F with identity kernel A, inverse-Gram sewing uniquely yields K_f#K_g=F M_fg F, commutative for scalar insertions. Ordinary noncommuting L_f operator multiplication remains valid. As f1 geometrically is an actual face mask, this kernel reading is not automatically the physical law.

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.

  • Local coordinate algebra of the conditional quarter source

    Given the conditional scalar circle realization H=L²(S¹), Dom B=H¹_per, Bα=−i∂θ+α with α=1/4 or3/4. The local algebra investigated here is explicitly smooth multiplication C∞(S¹) on this line, not a complete physical field-insertion algebra already derived from P1/P2.

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

  • Explicit boundary-kernel interpretation with identity kernel A

    For positive injective dense-range F=A^1/2, K_O=F O F are interpreted as bilinear kernels in a nonorthogonal frame with identity kernel A. In finite regulators A W A=A forces inverse-Gram sewing; in infinite dimension it is defined as a bounded form using F^-1 K. This is an explicitly conditional representation reading, not a physical intervention, projection or measurement law selected by the original action. The alternative reading of F_1 as an actual face filter is not excluded.

  • 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

  • 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

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

    Source checked at this snapshot

    Original location and fingerprint

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

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • 007-subsection-renormalized-physical-and-scheme-readout-laye.tex lines 3–16

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/007-subsection-renormalized-physical-and-scheme-readout-laye.tex

    9c1c587cbd61fc4034649d778d16f1ee0e8c1e1189885babb3d8148a6fe72d7c

finding:action-response-sewing-does-not-select-lf-intervention

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

Conditional result

Noncommuting two-face response with product and coherent kernel

In the question: Automated construction of operator maps and sources

Given full geometric collar with conditional quarter-source control. No original physical intervention, preparation or Born derivation; no internal carrier algebra or3+2 selection.

Read the exact result, assumptions and evidence

Result

The full given graph yields L_f=A^1/2 M_f A^1/2, L_fL_g=A^1/2 M_f A M_g A^1/2 and positive Gram kernel <L_f x,L_g y>. The scalar quarter source yields a bilateral weighted shift with [L*,L]e_n=a_n(a_(n+1)-a_(n-1))e_n nonzero for all n. No internal algebra or coupling is inserted. This nonlocal geometric compression is not a unital multiplicative representation of scalar insertions; physical chronological execution does not follow.

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.

  • Local coordinate algebra of the conditional quarter source

    Given the conditional scalar circle realization H=L²(S¹), Dom B=H¹_per, Bα=−i∂θ+α with α=1/4 or3/4. The local algebra investigated here is explicitly smooth multiplication C∞(S¹) on this line, not a complete physical field-insertion algebra already derived from P1/P2.

Original evidence

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

    Source checked at this snapshot

    Original location and fingerprint

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

    a55bc1d8bcda606e274092873dedf00709d40bd093d3ec0e08ce7ff25ecf5a47

  • 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:two-face-noncommuting-geometric-response-calculus

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

Established in scope

Intrinsic source variation separates frame rotation from genuine source/embedding change

In the question: Automated construction of operator maps and sources

Supplied finite/regulated charts; the state interpretation of h requires the quasi-free premise. No new physical gauge connection, Phi coupling or global anomaly/determinant-line triviality. Compression is not interchanged with functional calculus.

Read the exact result, assumptions and evidence

Result

For C_F=Q*C_Sigma Q, with a=Q*partial Q and N=(I-QQ*)partial Q, exactly nabla C_F=partial C_F+[a,C_F]=Q*(partial C_Sigma)Q+N*C_Sigma Q+Q*C_Sigma N. The existing faithful modular reader obeys nabla h(C_F)=Dh(C_F)[nabla C_F]. Pure frame motion can generate ordinary nonzero off-diagonal entries while both covariant variations vanish exactly. Genuine normal embedding motion remains; the identity does not select Q, Phi or their original provenance.

Required assumptions

  • Given differentiable isometric embedding in fixed source charts

    Q(Phi) is a differentiable isometry from finite/regulated carrier coordinates into a fixed source Hilbert chart, with differentiable covariance C_Sigma. a=Q*partial Q and N=(I-QQ*)partial Q are its induced frame/normal components. This premise does not select Q or Phi from P1; moving source charts and unbounded operators require additional connection/domain conditions.

  • Given differentiable faithful covariance chart with explicit sector embedding

    Finite or explicitly regulated CAR one-particle chart with 0<C<I; h(C)=log(I-C)-log C. The individual sector-block statement requires fixed sector projectors commuting with the background covariance; moving embedding, grading, scale and source must be differentiated separately. Interpretation as a complete state uses the quasi-free hypothesis. No physical P1 source or Phi insertion is selected.

  • 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 26–146

    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

finding:intrinsic-source-jet-removes-pure-field-frame-motion

Established in scope

Actual action of the60 grade2 currents between the64-dimensional current sectors

In the question: Automated construction of operator maps and sources

Stipulated positive E8_1 representation and its internal quarter grading. Bosonic current states are not physical fermions; same family denotes the four given A3 weights, not already three physical families. No exclusion of all composite/dressed fields or later basis changes.

Read the exact result, assumptions and evidence

Result

In the existing E8 dictionary J_r,0 acts on a grade1 root-current state as epsilon(r,p)|r+p> exactly when r.p=-1. The existing separated-point reader confirms960 nonzero actions among3840 pairs,15 per input and rank16 per root action. Twelve ordered distinct A3-family channels carry80 actions each;1024 same-family pairs of grade1 currents cannot be neutralized by any grade2 root. This is the actual internal (10,6) current action, not a selection of a Phi coefficient function.

Required assumptions

  • Given local E8_1 vacuum representation and explicit cocycle

    Positive level-one E8 lattice vacuum representation in orthonormal D5+D3 coordinates, declared simple-root cocycle, level-one Heisenberg Ward rules and internal quarter character v=(0^5,1/2^3). Insertions are separated. No raw-P1 pullback or physical time law is assumed or derived from this representation.

  • 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-INSERTION-TANGENT.txt lines 134–187

    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 116–176

    Source checked at this snapshot

    Original location and fingerprint

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

    70b3d0790f40a4834644c806db90fc27402967563e6e8888a8f1192ec539ad00

finding:e8-grade-two-explicit-spinor-current-action

Established in scope

Exact field variation of the existing covariance reconstruction and its boundary faces

In the question: Automated construction of operator maps and sources

Analytic finite/regulated derivative result plus exact reuse of the given positive particle/hole collar. No general non-Gaussian state reconstruction, Phi provenance, statement for noncommuting sector projectors or unchecked unbounded limits.

Read the exact result, assumptions and evidence

Result

The Frechet derivative of the actual v258 reader multiplies each matrix element in an eigenframe by the strictly negative divided difference of h. For fixed sector projectors commuting with the background covariance, each sector block vanishes iff its covariance-variation block vanishes. A moving carrier embedding has additional derivative terms. The Calderon projection is not already a faithful mixed occupation: restriction to its own range gives I. The existing two-face construction correctly gives n=1-A and h(n)=2ell B, thus recovering the variation already present in B without selecting it.

Required assumptions

  • Given differentiable faithful covariance chart with explicit sector embedding

    Finite or explicitly regulated CAR one-particle chart with 0<C<I; h(C)=log(I-C)-log C. The individual sector-block statement requires fixed sector projectors commuting with the background covariance; moving embedding, grading, scale and source must be differentiated separately. Interpretation as a complete state uses the quasi-free hypothesis. No physical P1 source or Phi insertion is selected.

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

  • 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-INSERTION-TANGENT.txt lines 34–132

    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 27–113

    Source checked at this snapshot

    Original location and fingerprint

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

    70b3d0790f40a4834644c806db90fc27402967563e6e8888a8f1192ec539ad00

  • v258_dirac_covariance_induction.py lines 65–150

    Source checked at this snapshot

    Original location and fingerprint

    verification/v258_dirac_covariance_induction.py

    16c60e831dceba773f3629466895f1009654827286e5b760ae01bd755fd5c0b1

finding:source-covariance-jet-and-mixed-face-interface