Expand description
2026-09-30: The model buffers a circuit’s declared outputs bind to (M5, LIFECYCLE-DESIGN.md
section 3.4): a block’s outputs name each edge read outside the program and the buffer it
lands in, so the executor places external edges by declaration, never by guessing from the
producing op.
Owner: metrale-circuit. Invariants: the stream edges are the model’s hidden buffer by construction and are not listed here.
Enums§
- Model
Buffer - 2026-09-30: A buffer the model owns that a program’s output lands in.