TFPT scientific source excerpt
Original repository path: documents/archive--tfpt-45--source_extracts--technical_companion_source/sections/007-section-yukawa-kernels-and-positivity-lemmas.tex
Original file SHA-256: 765051892a2a4f78b060cba66d5f3700657f78f64370b8ed1f7566336fe9295c
Inclusive original lines: 347-359
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.

000347 | \subsection{Prediction semantics}
000348 | 
000349 | The main-text prediction map can be decorated by explicit experimental metadata as
000350 | \[
000351 | Q=(\rho_0,\mathcal O_Q,\Delta_Q,t,\mathcal C_Q,\mathcal R_Q),
000352 | \qquad
000353 | \Pred(Q)=\mathcal R_Q\!\left(\tr(\rho_tE_Q(\Delta)),\mathcal C_Q\right),
000354 | \]
000355 | with
000356 | \[
000357 | \rho_t=U(t)\rho_0U^\dagger(t).
000358 | \]
000359 | This is kept only as an optional formal extension.