Unsafe Refusal With Eligible Island

A closed-stream harness fixture combining a refused PATH block with an independent eligible proof. The eligible probe must not launder the refusal into green. Never distributed. Trigger phrases - "mixed refusal proof", "closed stream refusal laundering test".

Island-Dev-Crew Updated

File contents

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

Island-Dev-Crew/uncle-bob-skills/tree/main/scripts/fixtures/unsafe-export-island/refusal-with-eligible commit 737487d89d

Frequently asked questions

npx skillmds@latest add island-dev-crew/unsafe-refusal-with-eligible-island