Established in scope
Whole marked source fixes joint generator and selector contacts
In the question: Complete physical Hamiltonian source with Gauss sector and thermal word limit
Joint generator derived analytically within existing conditionally exterior source branch. All dynamic bosons and genuine mixed operator weights retained,no separate averages or fiberwise P_b. Unbounded commutant statement is not proved by a formal core commutator. Actual primitive-source identity remains an application premise; no new comparison parent. Primitive S_adm,H_tr,pos and joint physical spectrum not evaluated. Original OS source needs no extra universal CAR/Fock requirement.
Read the exact result, assumptions and evidence
Result
Existing whole relation Q_t[b]c_i†=sum c_j†Rji[b]Q_t[b] gives Q_t[1]c_i†=sum c_j†Q_t[Rji] under actual boson integration. With whole P outside and A[B]=P Q[B]P,exactly A[1]c_i†-sum c_j†A[Rji]=P Q[1][P,c_i†]+sum[P,c_j†]Q[Rji]P. Under stated time/domain premises the actual marked short-time jet gives Vji=Q0[hji],[H,c_i†]=sum c_j†Vji and in the compatible finite joint space H=HB+sum Vji c_j†c_i. HB is fixed by the original empty-fermion matrix leg C_t00=exp(-tHB),not a new physical vacuum or traced Z[0]. Nonreducing P requires the exact sewing defect and return memory.
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.
- Existing whole Clifford source with compatible marked time jets
Conditional scope: same whole original Clifford field chart,Q_t[b]=s_t[b]Gamma(R_t[b]),with actual unnormalized ordered boson integration and the same whole projector on the same space. Generator additionally requires the actual compatible semigroup time Q_t[1]=exp(-tH),R0=I,Rdot0=-h and differentiable whole marked caller. Vji=Q0[hji] are actual bosonic operators with matching adjunction. Compatible finite regulator; unbounded extension requires strong domain reduction. These premises do not identify the branch with the primitive physical source and impose no universal CAR or Gaussian requirement.
Original evidence
- PROJECTED-JOINT-SOURCE-GENERATOR-20261103.txt lines 1–164
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/PROJECTED-JOINT-SOURCE-GENERATOR-20261103.txt
bac12849d64dff9abe77e0f02c6d47bd33359501ccaa0f5730fa291558c90796
- PROJECTED-JOINT-SOURCE-GENERATOR-20261103.txt lines 185–214
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/PROJECTED-JOINT-SOURCE-GENERATOR-20261103.txt
bac12849d64dff9abe77e0f02c6d47bd33359501ccaa0f5730fa291558c90796
- PROOF.txt lines 59–128
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt
3537a2b080df0bb8b5d30c73da7dd83dc8e1ae5a6cfea4bb48a8b99f0080dfce
- 002-section-closure-theorems-from-the-admissibility-complex.tex lines 12–117
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--04_qft_source/sections/002-section-closure-theorems-from-the-admissibility-complex.tex
61ecee7727bdec47936bbffc028d3dbac5260a025b6dbcce30124a60d635fc9c
finding:r113-whole-marked-source-fixes-joint-generator-and-selector-contacts