Manuscript En03-A@1 · En03-A.tex · remark · 5398614e
Remark: Relation to a larger calculus
Typed interfaces and semantic configurations › A minimal linear circuit interface · lines 353–361
En03-A@1#rem:calculus
The interface is specified independently of the complete language. An embedding into the full calculus of Cheung2026Enter must match its constants, typing, and circuit-adequacy interface. No theorem below relies on the Layer II measurement-uniqueness argument or asserts gate-library realization of every semantic channel.