TFPT scientific source excerpt
Original repository path: documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex
Original file SHA-256: 7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79
Inclusive original lines: 302-311
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.

000302 | \begin{definition}[Primitive Euclidean action]
000303 | For any declared spectral test profile $f$, the primitive Euclidean action is the relative
000304 | spectral seed
000305 | \[
000306 | S_{\mathrm{prim}}[\chiseed]
000307 | :=
000308 | \tr f\!\left(\frac{D_{\mathrm{rel}}}{\chiseed}\right)
000309 | -
000310 | \tr f\!\left(\frac{D_{\mathrm{ref}}}{\chiseed}\right)
000311 | +\frac{i\pi}{2}\Delta\eta_\Sigma.