009 store chain envelope multi write

// ASPIRATION — TODO idea pin (Lars 2026-07-05: capture the ideas before
// the rung-one merge). Ruling queue (i), NEED-RULED with the chain-
// envelope lean: multi-write atomic grouping must exist; THE CHAIN IS THE
// ENVELOPE. A multi-field stored block is the block form of one chain:
// both cell writes land, THEN watch dispatch runs — hp's watch observes
// mp already settled. Today this exact shape is the loud rung-two wall in
// store.kz (multi-field stored blocks).
//
// Dispatch order at envelope end = write order within the block (LEAN,
// unruled detail).

~import std/io
~import std/store

~std/store:create(game) { hp: 0[i64], mp: 0[i64] }

~std/store:watch(game)
! hp h |> std/io:print.ln("hp {{ h:d }} mp {{ game.mp:d }}")

~std/store:watch(game)
! mp m |> std/io:print.ln("mp {{ m:d }}")

~std/store:stored { game.hp: 5, game.mp: 3 }