proof/command/command_ffi_decides.bend at bend/stackfix · gildrb.com/eukhe · Tangled

Coding agent with a memory of all things

eukhe proof command command_ffi_decides.bend

936 B · 21 lines

at bend/stackfix

gildrb.com · command entry laws: spelled with spec spellers over the W. primitives (the circular command_ffi_answers no longer the only link to the model); decoders exact; spacing and stale-row arms pinned; spellers shared in laws/base.bend · 2w ago