TFPT scientific source excerpt
Original repository path: documents/archive--tfpt-45--source_extracts--04_qft_source/sections/002-section-closure-theorems-from-the-admissibility-complex.tex
Original file SHA-256: 61ecee7727bdec47936bbffc028d3dbac5260a025b6dbcce30124a60d635fc9c
Inclusive original lines: 256-265
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.

000256 | \begin{definition}[Relative generating functional]
000257 | \label{def:relative-generating-functional}
000258 | The relative Euclidean generating functional is normalized as
000259 | \[
000260 | Z_{\mathrm{rel}}[J,\eta,\bar\eta]
000261 | :=
000262 | \frac{Z_{\mathrm{adm}}[J,\eta,\bar\eta]}{Z_{\mathrm{ref}}[0,0,0]}.
000263 | \]
000264 | The reference sector is therefore a fixed normalizing denominator rather than a second fluctuating measure that would mix with admissible positivity.
000265 | \end{definition}