[shared][P1] 未署名の末尾が残る proof を temporal: anchored に昇格させている

[shinyaoguri]

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

何が起きたか

deriveTemporal は有効な root anchor と密な署名 cp があれば anchored を返すが、最後の署名が最終イベントに届いているかを確認しない。短い未署名 tail は density.sparse にもならず、「申告セッション全体が時刻固定」という型の説明より強い表示になる。

再現手順・確認結果

shared の既存 fixtures を使用し、次の構成を生成した。Worker のメッセージ輸送のみを Node で代替し、PoSW の 10,000 回 SHA-256 と ECDSA は実際に計算した。鍵はその場で生成したテスト鍵で本番鍵は使用していない。

1. createTestKey() で鍵を作り、createSessionStartToken() の署名済み token を生成。
2. TypingProof.initializeAnchored() 後、contentChange を a/b/c の三イベント記録し、内容 abc を export。
3. buildSignedCheckpoints() に eventIndexes: [0] を指定し、最初のイベントだけを署名。
4. verifyProofFile に mode: full、requireRootAnchor: true、requireAnchorDensity: true、テスト鍵 registry を渡す。
5. 検証結果を通常の sparse / postHocSuspected マッピングで deriveAssurance に渡す。

実測:

{
  "valid": true,
  "coverage": {
    "signedCount": 1,
    "lastSignedEventIndex": 0,
    "coverageRatio": 0.3333333333333333
  },
  "temporal": "anchored"
}

影響・期待した動作

署名が固定するのは先頭の prefix のみ。未署名 tail は既存署名を変更せず再構成できる。暗号検証自体の成功と、全体に対する時間保証は区別すべき。時間保証の最上位には最終内容・チェーン状態への署名を条件として含め、未到達なら partial と署名範囲を表示する。

修正方針

coverage と terminal anchor の有無を AssuranceInput に伝播する。最終署名を得られなかった場合も証拠の export 自体は救済し、受理方針で扱う。最終署名があっても各イベントの実時刻が直接証明されるわけではないので、文言は署名が提供する時刻境界に合わせる。

受け入れ条件

• 上の 1/3 署名 fixture は anchored にならない。
• 未署名 tail のイベント数・最終署名位置が Web/CLI で確認できる。
• 最終状態まで署名された正常 fixture は期待する保証になる。
• 既存の sparse/post-hoc/署名不正/root 未署名による降格が維持される。
• Web/CLI parity test と ADR-0020 の語彙を更新する。
• 空セッションと旧形式の扱いを明示する。

関連情報

• assurance.ts:138-144
• coverage 計算
• 密度検査
• 署名 fixture
• [verify/verify-cli] web↔CLI の結論一致を CI で固定するパリティテストを追加する #216（Web/CLI パリティ）

スコープ外

PoSW の反復数変更、著述者本人の証明。cp の存在を必須にする受理ポリシーは別 Issue。

[shinyaoguri]

要件更新（2026-09-09）：最終署名は保証表示の条件とし、コード保全・ダウンロードの条件にしない

Chrome / 専用アプリ不要 / 不安定な回線で多人数という前提と、コード喪失防止・後からのファイル利用を最優先する方針が確定した。#300 / #296 の更新と合わせて実装する。

• anchored の過剰表示を修正する方針は変えない。
• 最終署名が取れなくても未署名の末尾を含む最新コードと残存ログをそのまま保全・出力する。署名済み prefix にコードを戻したり、tail を削除したりしない。
• 未署名範囲、通信失敗、取得できた最終署名位置を別メタデータとして提示する。
• 再接続・再署名は補強として行い、既存ファイル/記録を破壊せず版を追跡できるようにする。
• ダウンロード操作は無期限に署名を待たない。署名待ちを中断してもコードを回収できる。

受け入れ条件に「未署名 tail を持つファイルからも元の最新コードを完全に取り出せる」「署名サービス不達でも出力できる」「出力後の再読込で保証が誤って昇格しない」を追加する。