pages / gate_verdicts / NOT_PROVEN
graded, and it did not hold (ext cubicle)
the set is declared by cubicle
sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)
release 4: a leaf · the inclusion proof · head 0x70ca62614037642b…
canister coord://offchain/genie/lang/genie@v1/ce3ad876995e5125 — the language at this register state: the set this word is a member of is in its digest