// witness gate
choose a path and watch the evidence auto-fill into pass, blocked or fail
VISIBLE OUTPUT IS ONLY ONE SIGNAL; THE WITNESS HAS TO PROVE THE PATH
visible output is green, but the witness is still incomplete
a verifier should preserve uncertainty instead of laundering it into PASS
false green
proved path
fallback fail
reset
path:
choose one
visible result:
ok
witness evidence:
1/3
verdict:
BLOCKED