fix(shared): exam の time-box を advisory に戻し binding の valid から外す (#220)

[shinyaoguri]

Closes #220

目的

ADR-0013 と system-spec §4.7 は deadline を「advisory な提出窓の上限。verifyExamBinding の time-box は失格条件にしない。開始/締切の管理は Moodle が唯一の正」と定めているが、verifyExamBinding が withinWindow !== false を総合 valid に合流させており、docs と正面から矛盾していた (同関数内のコメント自体が「time-box (advisory)」と書いていて、18 行下のコードと食い違っていた)。

docs を正とし、実装を ADR-0013 に合わせる。 判断の経緯・却下案は #220 のコメント に記録した。

なぜ「exit 1 になるだけ」ではないか

binding.valid の下流は 3 方向に伸びている。

1. root アンカー gate の免除が外れる — verify.ts の examBindingVerified: binding?.valid === true により、遅延提出というだけで ADR-0017 の gate 免除 ([shared] 自己申告の proof.exam ブロックで --require-root-anchor gate をバイパスできる #131) が外れる
2. 保証等級が落ちる — 同じフラグが deriveAssurance の bindingValid に流れる。「実証拠のみから導出し自己申告は使わない」という ADR-0020 の原則に、スケジュールという運用情報が混入していた
3. web と CLI で結論が割れる — 検証 (Web) は submissionTimeMs を渡さないため withinWindow は常に null。同じ proof + 同じ package でも Web は PASS、CLI に --submitted-at を渡すと FAILED になっていた ([verify/verify-cli] web↔CLI の結論一致を CI で固定するパリティテストを追加する #216 でパリティを固めた直後の非対称)

変更点

• packages/shared/src/exam/examPackage.ts — result.valid から withinWindow !== false を削除。withinWindow の算出 (下限 >= releaseTime を含む) は一切変更せず、timeBox は表示専用の advisory 情報になる
• packages/verify-cli/src/output.ts — time-box 行から passFail を外す。valid から外すだけだと Submitted within window: FAIL と出したまま総合は PASS になり、採点者に「FAIL と書いてあるのに合格」と読まれるため。窓内は yes、窓外は no (advisory — the submission window is managed by Moodle, not by this proof)。ADR-0013 が Negative 節に残した「advisory である旨が伝わるかは UI 表示次第 (既存の繰り越し課題)」もここで閉じる
• docs/system-spec.md — §6.4 手順 5 に「withinWindow=false は valid に合流しない」を明記 (§4.7 は既に正しいので変更なし)
• CHANGELOG.md — Unreleased / 修正 に 1 行

ADR-0013 は変更していない。 実装を ADR に合わせる修正であり、docs/adr/README.md の append-only 規約の改廃手続き (新 ADR + Superseded) には該当しないため。

テスト

• packages/shared/src/__tests__/examBinding.test.ts — 「窓外で fail」を「窓外でも valid、withinWindow=false が立つ」に反転 (= 本 Issue の再現テスト)。下限側 (releaseTime より前の提出) の境界ケースも 1 件追加
• packages/verify-cli/src/__tests__/output.test.ts — time-box 行の表示テストを新設。この行は既存テストを一度も通っていなかった (examBindingFailed() が timeBox: null だったため)

実装前にテストだけ投入して shared 2 件 / verify-cli 2 件が赤くなることを確認し、修正後に緑にした。仕上げに valid の式へ withinWindow !== false を戻し、CLI の行を passFail に戻して、4 ケースすべてが再び赤くなることも確認済み。

CLI 経路の統合テストは新設していない — 出題者鍵レジストリが本番定数 EXAM_AUTHORITY_KEYS 固定のため「binding valid かつ窓外」を組み立てられない (#216 のパリティテストに binding が valid になるケースが 1 件も無いのも同じ理由)。波及 1・2 は shared 側で binding.valid === true を固定することで担保している。

確認方法

npm run test:run --workspaces --if-present   # 746 passed / 3 skipped
npm run lint                                  # error 0 (warning 60 / info 9 は変更前と同数)

E2E は CI の e2e job に委ねる。

変更していないもの

• releaseTime の意味づけ (発行時刻 = 鍵有効性アンカー) と下限判定 → 見直しは [docs/editor] releaseTime を「教員が設定する試験開始時刻」に戻すか決める (ADR-0013 の再検討) #271 に切り出し
• /author の UI、manifest フォーマット、--submitted-at の引数仕様
• 検証 (Web) の検証経路と ResultPanel (withinWindow を表示しないため不要)
• [docs] ADR と実装の乖離 (ADR-0017 手順5 未実装 / ADR-0011 §6 能力集合未記録 / ADR-0020 が実装より弱い) #232 の ADR↔実装 乖離 (同種の判断だが別関心)

---

_{🤖 Assisted by Claude Code}

[github-actions]

🚀 Preview Deployment

Name	URL
Preview	https://82a45cfb.typedcode.pages.dev

Deployed from commit bea2ebd
API: staging Workers