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: 122-129
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.

000122 |     \item the doubled operator and its even and odd parts are
000123 |     \[
000124 |     D=D_+\cup_{\Sigma}D_+^{\mathrm{op}},
000125 |     \qquad
000126 |     D_{\mathrm{ref}}:=\frac12\bigl(D+\taudbl^{\ast}D\taudbl^{\ast}\bigr),
000127 |     \qquad
000128 |     D_{\mathrm{rel}}:=\frac12\bigl(D-\taudbl^{\ast}D\taudbl^{\ast}\bigr);
000129 |     \]