証拠検証・再現キットの選び方

提出証拠を調べる：宣言スコープ検証器

オフラインのPython研究アダプターです。実際の署名・ハッシュ・Merkle証明・対象との結び付けを確認し、暗号学的整合性と証拠提出要件の充足性を分けます。

vap-v1.2とexperimental-scopeの2モードは別です。前者は未実装・不明の確認事項も残し、後者だけが宣言スコープの実験規則を適用します。VCPネイティブ形式の検証器や、完全適合の検査ではありません。

14の合成ケースは期待判定との照合用です。模擬受領証と公開試験鍵は、第三者の時刻証明や全量観測の証明ではありません。実行手順はDeclared-scope research verifierを参照してください。

PythonとNode.jsが、同じ合成データと外部指定の信頼設定を確認します。ローカル契約へのPASSは、VAP形式の採択や実世界の記録の真実性を示しません。

10月24日の固定キットは、OS隔離した実行前ゲートを含み、Linuxとrootful Dockerが必要です。オフラインの証拠集合検証だけを評価する場合の必須環境ではありません。

キットの版b1af0dcと再現対象c8ccf97を区別します。Fixed OS-isolation reproduction kitの原本・ハッシュ・期待結果を保持し、既存ZIPを新しいコードへ置き換えないでください。

宣言スコープ検証器は報告書を生成できれば、否定・不明の判定でも終了コード0を返します。名前付き判定軸を読んでください。相互運用デモは別契約でPASS／FAIL／ERRORを返します。両者の終了コードや「合格」を相互に読み替えないでください。

新規実行した人、環境の管理者、VSOによる支援、対象版、失敗を記録します。同じ開発元による実行や保存証拠の再検証だけで、独立再現は成立しません。

このページは固定コミットの公開資料を整理した案内です。掲載のために研究試験を新規実行したものではありません。過去の試験記録・固定配布物はそのまま保持します。