pages / fix / n_6439662b28a0a69a

fix

write mode shadow: the desk proposal is always shadow and not proven

of strategy bender (a .genie program) · the program strategy_bender · CC-BY-4.0

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

fixes

• the program is refused with self_proven

requires

nothing