TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/PROJECTED-JOINT-SOURCE-GENERATOR-20261103.txt
Original file SHA-256: bac12849d64dff9abe77e0f02c6d47bd33359501ccaa0f5730fa291558c90796
Inclusive original lines: 165-214
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000165 | The original Ward clause is <sO>=0 for the gauge/BRST quotient, with
000166 | energy-momentum conservation and eta/anomaly cancellation. Its actual
000167 | fermion gauge directions have v_a(Psi)=T_a Psi, and the corresponding
000168 | dual transformation. Let I_F be the ideal generated by all these fermion
000169 | coordinates (and their jets when present). Then v_a(I_F) is contained in
000170 | I_F. Regular coefficient combinations, sums and supercommutators of these
000171 | directions also preserve I_F, including the ordinary gauge ghost extension.
000172 | But partial_(Psi_i) Psi_i=1 is not in I_F. Therefore no such regular
000173 | gauge-generated derivation equals the full Grassmann translation.
000174 | Anomaly cancellation does not alter this algebraic result.
000175 | 
000176 | This excludes ONLY the shortcut 'original gauge/BRST Ward identities force
000177 | the full linear fermion-contact law and hence R112's quadratic physical
000178 | action'. It does not exclude the original physical source. Full admissible
000179 | word data already determine their own OS generator; this result introduces
000180 | no mandatory Gaussian, CAR or independent charged-field access criterion.
000181 | 
000182 | Extended Schwinger-Dyson BRST constructions do exist. They add collective
000183 | shift structure and start with an action/integration prescription; they do
000184 | not turn the original gauge-only Ward clause into an action-selection
000185 | theorem. Primary context: Alfaro/Damgaard hep-th/9301103, sections1-2.
000186 | https://arxiv.org/pdf/hep-th/9301103
000187 | The TFPT stratified master is not the BV quantum master equation merely
000188 | because both are called master. Its known background-selection scope
000189 | is preserved from JOINT-SOURCE-SELECTION.txt, not rediscovered as progress.
000190 | 
000191 | 6. REVIEW AND ACTUAL OUTCOME
000192 | 
000193 | Two independent analytical paths checked(8) by exact expansion, its
000194 | in/out version and the gauge ideal argument. Independent CAR commutant
000195 | review checked(4)-(7), including the operator-valued bosonic body and
000196 | the distinction between its vacuum matrix leg and the traced Z[0].
000197 | No new model, numerical candidate scan, Lean/fullsuite run or spectrum.
000198 | 
000199 | The actual source-identification premise remains: the ORIGINAL complete
000200 | physical caller, with all its fields, boundaries, weights, reference,
000201 | projection and time, must equal the joint caller used in(2).
000202 | Equations(6),(8) are explicit consequences for that existing branch;
000203 | they do not prove the premise or evaluate the unknown primitive body.
000204 | F1, all original scoped results, E8/clocks/flavor/alpha and owner preserved.
000205 | No primitive S_adm, H_tr,pos, joint physical spectrum or ledger promotion.
000206 | 
000207 | ORIGINAL SOURCES
000208 | experiments/theory-contracts/seam-collar-multifield-20261016/PROOF.txt:59-128
000209 | experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/NORMAL-KINETIC-PAIRING.txt:37-94
000210 | documents/archive--tfpt-45--source_extracts--04_qft_source/sections/002-section-closure-theorems-from-the-admissibility-complex.tex:12-117
000211 | documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex:319-343
000212 | documents/archive--tfpt-45--source_extracts--04_qft_source/sections/008-section-relative-reflection-positivity-with-fermions.tex:143-169
000213 | documents/tfpt_research_contracts/sections/008-source.tex:287-293
000214 | documents/tfpt_2_standard_model/sections/007-subsection-2-gravity-the-classical-covariant-field-equat.tex:141-155