Established within the stated premises
Local even Yukawa sewing preserves supplied joint graded RP
finding:local-even-yukawa-sewing-preserves-given-joint-graded-rp
Original v42 mixed RP inference does not follow from commutation and separately positive marginals. Strictly positive reflection-invariant logical control p=(1-r xminus xplus yminus yplus)/16 has RP product marginals and mixed reflected form-r. Constructive full replacement: for actual joint graded RP reference and even local half action B=exp(-Vplus), omegaY(ThetaF circ F)=omega0(Theta(BF) circ BF)/omega0(ThetaB B)>=0 with positive normalization and integrability. Handles whole supplied Yukawa class with adjoint partner wherever same actual reflection intertwines H/matter density. No pointwise positive determinant required.
Scope: Specialization of known RP half-action mathematics to actual Yukawa consumer,not new general RP theorem. Finite Euclidean graded path or proved integrable limit. Internal JF reality does not prove common spacetime reflection. No unchecked spectral/eta/gauge weights,fixed-plane/cross insertions. Logical marginal control is no TFPT countermodel. Old negative-cross criterion applies to regulator R,not Higgs propagator G. No original boson source selection or3+1D completion.
Required premises and original source excerpts
- 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.
premise:typed-source-structures - Actual shared real Higgs consumer and supplied boson fiber
Original real AF one-form convention q(H)=[[barh2,h1],[-barh1,h2]] with supplied four Yukawa matrices across all families/colors. Keep distinct lepton and quark matrices. H fiber is an argument of same full original S_adm with measure,reference,regulator,eta and higher vertices. Finite Berezin algebra and required finite boson moments; analytic limits separate. Affine shift applies to affine Yukawa coupling; retain any additional H dependent fermion vertices as actual insertions. No new physical measure or Yukawa selection.
premise:actual-shared-real-higgs-yukawa-consumer-and-given-boson-fiber - Supplied joint graded RP reference and even local reflected half action
Given actual joint graded RP reference omega0, same original antilinear Theta,positive-half algebra and twisted product. In the supercommutative Euclidean path the actual even interaction is Vplus+ThetaVplus with strict half support and no unchecked fixed-plane/cross terms. B=exp(-Vplus),relevant coefficient integrals exist and omega0(ThetaB B)>0. A bosonic/fermionic RP product supplies one such reference; RP marginals of a coupled source alone do not. These hypotheses are not declared derived physical original data.
premise:original-graded-rp-reference-and-even-local-reflected-half-action
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DYNAMICAL-HIGGS-SOURCE-PROOF.txt, lines 140–241
Source SHA256: eda5bb664b1fb20370e59b39dbd5e3cb04d79864a8d1d0a0eb6c791cdaf98f49
bounded-sanitized-excerpt · current-at-snapshot · 15 administrative lines explicitly omitted
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_dynamical_higgs_source.py, lines 1–127
Source SHA256: 086aa116dae06dc02ec2f50fcf1058375337c399fe8dfb6e7fad8ecb1925cf4c
bounded-excerpt · current-at-snapshot
- experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/DYNAMICAL-HIGGS-SOURCE.json, lines 1–28
Source SHA256: e2bd564ab89a6c894ceaac4321dce721e07ac93883c42341a9d23b210abe031d
bounded-excerpt · current-at-snapshot
- documents/archive--paper-latex--tfpt-42/sections/022-section-closure-theorems-from-the-admissibility-complex.tex, lines 270–317
Source SHA256: fe626eb8126375f8e0028914a19e045802478f76f0c9b8e6655b8331b70848b2
bounded-excerpt · current-at-snapshot