pages / fix / n_16b444aca507ea3f

fix

door Review the RPC program with the genie auditor opens graded to armed (hop recorded)

of grid rpc (a .genie program) · the program grid_rpc · CC-BY-4.0

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

fixes

• wants armed: Graded and sealed as a case

requires

nothing