ツールチェーン & リプレイ仕様

暗号的チェッカー環境および決定論的証明リプレイログの技術仕様。

数学的正しさを絶対に担保するため、すべてのチェッカーはバージョンが固定された決定論的なサンドボックス環境で実行されます。このページでは、コンパイラ環境とリプレイの設定について詳しく説明します。

1. 監査人環境のピン留め

コンパイルおよびリプレイのハッシュに決定論的再現性を持たせるため、以下のツールチェーンバージョンが厳格に固定されています：

NPA証明書ファイルは、エクスポートハッシュとリファレンスチェッカーによって検証されるECDSA署名を含む、構造化されたバイナリペイロードです。

証明リプレイエンジンは replay.json から検証ステップを読み込み、フォーマルな証明項を再構築してカーネル内で再検証を行います。