pages / fix / n_a0af853840f0be61

fix

nothing on the box can fix it: the owner reads the trace and the ledger; it pages at once

of coord sign (a .genie program) · the program coord_sign · CC-BY-4.0

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

fixes

• a checkpoint is refused by sign-extends-only

requires

nothing