054 store reject bare obligation insert

✓ Passing This code compiles and runs correctly.

Code

input.k

Output must match:

MUST_ERROR
CONTAINS Phantom state mismatch

Flows

flow ~new click a branch to expand · @labels scroll to their anchor
new (expr: names, capacity: 8, source: name: *std/string:String<std/string:instance!>)
flow ~from-page click a branch to expand · @labels scroll to their anchor
from-page (text: "nope")