pages / fix / n_ee6fe680ca74c152

fix

The owner arms the vault; the value cap is checked before release

of loop vault (a .genie program) · the program loop_vault · CC-BY-4.0

sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)

fixes

• stuck at reserved, released not reached

requires

nothing