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: 83-91
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.

000083 | \begin{remark}[Almost-commutative realizations]
000084 | \label{ass:almost-commutative-factorization}
000085 | When a factorized realization is useful, one may choose
000086 | \[
000087 | \mathcal H\cong L^2(\widetilde M,S)\otimes \Hint,
000088 | \]
000089 | with $S\to\widetilde M$ the spinor bundle on the oriented double cover and $\Hint$ a finite
000090 | internal Hilbert space. This is an analytic realization choice rather than part of the boundary
000091 | datum.