Manuscript VIII-A@3 · VIII-A-v3.tex · definition · 2398a747

Definition: Named source boundary

Matter interfaces and the observation boundary › Named surviving source algebra · lines 327–344

VIII-A@3#A:def:source, VIII-A@3#A:eq:omega

A source boundary consists of a unital $^{*}$ -subalgebra

A_{src} \subseteq L (H_{Γ_{src}})

on declared surviving names, together with a specified embedding into the complete current output interface. Its accessible state input is

ω_{ρ} ∣_{A_{src}} : B ⟼ Tr (ρB) .

Classical locations enter only through a declared classical-register encoding or as explicitly declared geometric/controller data.

Displayed formulas in this passage