pages / fix / n_7f72060ee19f4ce1

fix

read the window first, decide after; the proof orders the trace

of trading session (a .genie program) · the program trading_session · CC-BY-4.0

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

fixes

• the receipt is refused with lookahead

requires

nothing