[shared/verify-cli] 署名 cp の存在・最終署名を要求できる受理ポリシーを追加する

[shinyaoguri]

確認日: 2026-09-09。対象コミット: 07277b86572f12dd67e6458867541dab7d7aad56。

目的・現状

requireAnchorDensity は cp の疎密だけを検査するため、cp がゼロのとき density:null として素通りする。これは signedCheckpoints.ts に明記された現行仕様であり、既存フラグの実装ミスとは区別する。

今回、正しい root token を持つ三イベントの proof から checkpoints を空配列に変更し、次のオプションで full 検証した。

{ mode: 'full', requireRootAnchor: true, requireAnchorDensity: true,
  signedCheckpointKeyRegistry: [testKey.registryEntry] }

実測: 総合 valid:true / rootAnchored:true / signedCheckpoints.anchored:false / density:null。

「授業では継続的な時刻証拠も必須」という受理条件を現在の二つのフラグだけでは表現できない。cp の削除で密度ゲートの対象外になる点も運用上明示したい。

内容・修正方針

暗号的整合性と授業ごとの受理判定を分離し、少なくとも署名 cp の存在・最終状態への署名・密度を独立に要求できる設計を決定する。個別フラグでも名前付き policy profile でもよいが、検証結果に適用したポリシーと不受理理由を構造化して残す。

旧 proof の閲覧/検証と、現在の試験で受理する条件は別にする。通信障害時の export を禁止して証拠自体を失わせない。final anchor による保証範囲の修正 Issue と整合させる。

受け入れ条件

• 署名 cp 必須条件では cp=0 を不受理にできる。
• final anchor 必須条件では未署名 tail を不受理にできる。
• 既存の permissive な検証は後方互換を維持し、不足した証拠を明示する。
• 整合性失敗とポリシー不適合を別フィールド/エラーとして返す。
• CLI 終了コードと Web 表示に同じポリシーが適用される。
• root のみ、cp のみ、cp=0、密度不足、最終署名あり/なしをテストする。
• 時間窓・LMS受領時刻を扱う場合は ADR-0013 の役割分担を維持する。

関連情報

• 現行 requireAnchorDensity 契約
• cp がない場合
• CLI flags
• ADR-0016 / ADR-0017 / ADR-0020

スコープ外

既存フラグの意味を告知なく厳格化すること、分析器の出力を暗号検証合否に混ぜること。

[shinyaoguri]

要件更新（2026-09-09）：不安定回線での保全・救出と、検証ポリシーを分離する

ユーザーの確定した条件は Chrome 中心・専用アプリ不要・貧弱で不安定な回線で多人数利用。最優先はコードを失わず、後からコード/ログをダウンロードして利用できること。#300 の更新を本 Issue の上位要件とする。

本文の受け入れ条件の読み替え

cp 必須/final anchor 必須で「不受理」とは、要求された証拠水準を満たさないという検証結果を指す。エディタへの入力、ローカル保存、ファイル受領・保管、ダウンロード、再読込・救出を拒否する意味にはしない。

• 継続通信・頻繁なチャレンジ・開始/終了時のオンライン認証を、保存/救出の必須条件にしない。
• この利用条件の既定ポリシーはオフライン劣化を許容し、署名不足を明示する。回線障害や署名欠落のみから不正や自動失格を決めない。
• 厳格な検証フラグを提供しても opt-in の評価機能に限定し、学生のファイル出力をロックしない。
• 試験の編集期限と、過去の作業を閲覧・ダウンロードする権利/機能を分ける。
• 再接続後の署名で、通信断中のイベント時刻まで証明できたと表示しない。

追加テスト

• オフラインで終了/署名要求 timeout/期限経過後もコードと残存ログを取得できる。
• 厳格ポリシーに不適合なファイルも、受領・保存・コード回収できる。
• 整合性・署名範囲・記録の欠損・ポリシー判定が別の状態として出力される。
• 同時利用の送信時刻分散、バックオフ、冪等再送がローカル保存を待たせない。

#295 の保証表示の修正は維持する。今回の変更は保証を偽って上げることではなく、保証不足でデータを失わせないためのもの。