Refusal cannot be averaged away
The first block is non-verifiable and must never run. The second is independently eligible and may be probed, but its success cannot turn the island green after a proof step was refused.
enforced: closed-stream-check.py returns the non-verdict 2, with one refusal, one refusal-gapped candidate excluded, and two probes from the independent control.advisory: nothing else here is real.
PATH=
python3 -c "import sys; sys.exit(0)" # exit 0
python3 -c "import sys; sys.exit(0)" # exit 0