TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/recursive-mirrored-source-20261103/BEREZIN-INVERSE.txt
Original file SHA-256: 8715fb914a5621c894463133820bcc84374fd6ee397cb6e9593cd9f13bce05a4
Inclusive original lines: 181-208
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.

000181 | 
000182 | documents/archive--tfpt-45--source_extracts--04_qft_source/sections/
000183 | 002-section-closure-theorems-from-the-admissibility-complex.tex:12-104:
000184 | actual structural selectors, Hodge projector and spectral P_gap.
000185 | The parallel harmonic determinant line at:240-244 concerns SU(3)_F;
000186 | it does not by itself trivialize every regulated fermion determinant line.
000187 | 
000188 | documents/archive--tfpt-45--source_extracts--04_qft_source/sections/
000189 | 007-subsection-renormalized-physical-and-scheme-readout-laye.tex:3-29:
000190 | original S_adm field integration and its source arguments.
000191 | 
000192 | experiments/theory-contracts/original-local-source-variable-background-20261102/
000193 | ADMISSIBLE-ACTION-DERIVATION-20261103.txt:175-218:
000194 | original bare body distinguished from integrated logZ; conditional
000195 | Berezin nondegeneracy and full contact law already established there.
000196 | The coefficient inverse here needs no new translation/contact law,
000197 | but does need the stated actual insertion/source pairing.
000198 | 
000199 | REFERENCE-SOURCE-COMPLETION.txt:71-89 in the same contract:
000200 | paired Jacobian1; Majorana Pfaffian, orientation, reference and eta transport.
000201 | 
000202 | PROJECTED-JOINT-SOURCE-GENERATOR-20261103.txt:98-159 in the same contract:
000203 | whole selector contacts and actual allowed composite words; no extra
000204 | selector between the charged letters of a single original word.
000205 | 
000206 | No repository edits, new model, numerical spectrum, Lean run, ledger
000207 | promotion or physical closure. Formulae(1)-(7) are elementary finite
000208 | exterior algebra and linear duality, with their applicability stated above.