✓
Passing This code compiles and runs correctly.
Code
// ASPIRATION — TODO idea pin. O10 (RULED-LEAN 2026-07-04): (i) capacity
// declared at create — fixed static memory, the MAX_ENTITIES pool idiom;
// silent autogrow is the exact shape the no-silent-perf ruling kills.
// (ii) EXHAUSTION IS A BRANCH: fixed-mode insert grows a `| full`
// sibling. PROVISIONAL: the `capacity:` arg spelling (ruling 8 puts
// behavior directives in invocation args) and the `insert` verb (O2).
~import std/io
~import std/store
~std/store:create(pool, capacity: 2) { hp: i64 }
~std/store:insert(pool) { hp: 1 }
| row _ |> std/io:print.ln("ok")
| full |> std/io:print.ln("full")
~std/store:insert(pool) { hp: 2 }
| row _ |> std/io:print.ln("ok")
| full |> std/io:print.ln("full")
~std/store:insert(pool) { hp: 3 }
| row _ |> std/io:print.ln("ok")
| full |> std/io:print.ln("full")
Actual
ok
ok
full
Expected output
ok
ok
full
Flows
flow ~create click a branch to expand · @labels scroll to their anchor
create (expr: pool, capacity: 2, source: hp: i64)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (expr: pool, source: hp: 1)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (expr: pool, source: hp: 2)
flow ~insert click a branch to expand · @labels scroll to their anchor
insert (expr: pool, source: hp: 3)
Test Configuration
MUST_RUN