改訂仕様の回帰例

暗号検証成功を仮定した小さな判定モデル。実暗号/回路/DBの受入試験ではない。 他人の正しい証明の合成、用途の混同、古い状態の誤表示をチェックする。