what is provable: the moves whose hop is carried as an envelope on the pipe, over all moves; the nodes whose every name resolves to a set, over all nodes (ext positioning)
the set is declared by positioning
sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)
release 9: a leaf · the inclusion proof · head 0x7d5f5b77e922019f…
canister coord://offchain/genie/lang/genie@v1/fe6aea974cb8f33f — the language at this register state: the set this word is a member of is in its digest