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.

Seam, origin and declared inputs

The published foundation in this area

25 authored claim references lead into the original ledger and paper sections. This source record remains available even where no separate reviewed research packet is attached.

Read the foundational statements and sources

TFPT starts from the oriented seam normalization P1 (c3=1/(8π)) and the marked five-slot carrier P2. Integer anchors and later compiler readouts connect these inputs, but do not derive their physical origin or selection.

Starting structure in the Atlas orientation
P1 declares c3=1/(8π); P2 declares five carrier slots with a 3+2 marking. The (1,1,2) anchor organizes internal numerical relations.
Which connection is sought
The open work is a non-circular source for these inputs, the physical seam, and derivations of their markings and readout rules.
How it connects
The declared seeds feed E8, clock, flavor, α, and scale readouts. Shared seeds make those outputs correlated.

Reviewed results · Seam, origin and declared inputs

741 matching reviewed results

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

Established in scope

Joint Ward and two-field data do not select the multifield response

In the question: Automated construction of operator maps and sources

Exact independently checked inverse-data control. Equivalent when all fields are conjugated together; locality of U is unproved. Not a physical alternative candidate or full P1/P2 countermodel.

Read the exact result, assumptions and evidence

Result

For all alpha,beta, H and UHU* retain the full thermal partition, charge, quarter phase, sea energy and joint eta/sea/Ward identity. U fixes vacuum and one-particle sector and hence all vacuum two-field time responses. Yet the fixed neutral pair response at t=log2 is 1/2 versus13/50 after removing the same common sea factor.

Required assumptions

  • Fixed fields in the four-mode diagnostic

    Given: the first two particle/hole pairs of one chiral CAR source, energies (alpha,1+alpha,1-alpha,2-alpha), the same Hurwitz sea energy and fixed field labels. U rotates only neutral pairs p0h0/p1h1 by 3/5,4/5. Spatial locality or P1/P2 selection of U is not assumed; this is not the internal P2 V16 carrier.

Original evidence

  • PROOF.txt lines 519–569

    Source checked at this snapshot

    Original location and fingerprint

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

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

finding:joint-ward-two-field-data-miss-fixed-four-field-response

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

Established in scope

Original reconstruction uses the stronger operational seed

In the question: Automated construction of operator maps and sources

Source audit and reuse of the known geometric Green identity. No derivation of fermionic statistics or physical operator from P1/P2. the reviewed source checked against current Ludewig/Roos primary text1909.04212v4: algebraic twist also needs closed harmonic determinant factor; published2020 coherence proof correction is in v4. This is no new original source derivation or established error in direct TFPT collar proofs.

Read the exact result, assumptions and evidence

Result

P1/P2 does not fully specify the primitive kernel's field arguments. The archived reconstruction starts with algebra, time flow, state and collar operator; CAR and anticommuting sources are later premises. For a supplied product Dirac operator, the classical Green boundary form follows from normal symbol and boundary metric. Identification with the quantum field amplitude does not follow.

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.

Original evidence

  • PROOF.txt lines 449–480

    Source checked at this snapshot

    Original location and fingerprint

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

    3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce

  • GROK18-PRIMARY-REVIEW.txt lines 1–23

    Source checked at this snapshot

    Original location and fingerprint

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

    034a282ad63cb5b848077c6ee8dd06509e9e057ed6b2526242070a19093abdf2

finding:original-operational-seed-and-given-green-pairing