「値があるときだけ照合する」検証は fail-open の典型 — 欠落を未知として数え、並行する変種すべてへ対称に塞ぐ / PaPut