Unsafe bare assignment island
PATH is already exported by the parent process. Assigning it without the export keyword
still changes Bash command resolution and the environment inherited by the command below.
enforced: verify-proofs.py refuses the assignment and never runs the shim.advisory: nothing else here is real.
PATH=./fake:$PATH
python3 -c "import sys; sys.exit(1)" # exit 0