TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/JOINT.txt
Original file SHA-256: 99266285ad9afed2b029294a5548db9c8bf2988ab4c90561c7620fe178776286
Inclusive original lines: 48-64
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.

000048 | The old DYNAMICAL-HIGGS-SOURCE-PROOF already gives exact fermion-first and
000049 | boson-first disintegration under the ACTUAL finite source. For a genuinely
000050 | bilinear charged conditional kinetic chart K_b, the finite source is
000051 |  det(K_b) exp(bar_eta K_b^-1 eta),
000052 | with its original Berezin order. Its complementary-minor polynomial extends
000053 | through singular K_b. In the actual selfdual/Majorana chart it is the actual
000054 | Pfaffian and skew pairing. Any additional original fermionic vertices must
000055 | remain; they are not assumed absent merely because the oneform is affine.
000056 | This exact disintegration uses the whole existing density, including bosonic
000057 | weight, fermionic factor, reference, eta, Jacobian, all external legs and Z0.
000058 | It is a calculation rule for that source, not a new choice of a radial law.
000059 | 
000060 | For positive densities one may divide to obtain conditional probabilities
000061 | where the scalar is nonzero. For complex/Berezin densities use the ordered
000062 | unnormalized fiber identity. Positivity of every determinant is not needed
000063 | for the algebraic equality. Integrating the conditional normalized CAR
000064 | functionals without their determinant/Pfaffian weight changes the source.