feat(hooks-session-start): PastTime newtype + proptest 移植 (順位 197 / Bundle W 派生)

[aloekun]

Summary

順位 197 採用 (PR #199 post-merge-feedback T2-1)。Bundle W (cli-pr-monitor::lock の PastTime newtype + proptest pattern) を hooks-session-start に移植し、orphan reaper の age 計算における saturating_sub silent semantic mismatch を型層で排除する。

変更内容

• src/hooks-session-start/Cargo.toml: [dev-dependencies] に proptest = "1" 追加
• src/hooks-session-start/src/past_time.rs (新規 158 行): PastTime newtype + 4 unit tests + 5 proptests (P1-P5)
• src/hooks-session-start/src/main.rs:236: now_unix.saturating_sub(start_unix) を PastTime::from_parts(start_unix, now_unix) に差し替え、future timestamp を None で reject
• src/hooks-session-start/src/main.rs: 整合性検証用 integration test find_orphans_skips_future_start_time_without_silent_age_zero を追加
• docs/todo10.md + docs/todo-summary.md: 順位 197 エントリ削除

設計判断

• アプローチ A (Bundle W 完全移植) を採用 (docs/todo10.md で MVP として記載)
• 共通 lib 化 (アプローチ C) は parser 実装差異 (fractional 秒対応の有無) のため別 task に分離
• PastTime は別 module file (past_time.rs) に切り出し、main.rs への touch を最小化 (mod 宣言 + 1 行差し替え + 1 integration test)

構造的予防 vs 挙動変更

future timestamp の最終挙動 (skip) は変わらない。改善は silent age=0 fallback への regression 不能化:

経路	future timestamp の挙動
saturating_sub 時代	silently age=0 → "young" 判定 (silent fallback)
PastTime 移植後	from_parts が None → 明示 skip (型層で fallback 不能)
proptest P2 (past_time_rejects_future)	silent age=0 への regression を構造的に阻む

.failed marker を future timestamp で生成するかは別の設計判断 (本 PR scope 外)。

File-length lint について

main.rs は本 PR 着手前から 1588 行 (>800 行上限) で existing-grandfathered。順位 147 (PR #202 land) のファイル長 lint は touch-trigger ratchet 設計のため、main.rs への何らかの touch で必ず発火する。本 PR では:

• main.rs への touch を最小化 (mod 宣言 + 1 行差し替え + 1 test)
• 新規 code は past_time.rs (新 module file) に切り出し
• main.rs split (~800 行未満化) は別 task として scope 外

テスト結果

cargo test -p hooks-session-start
test result: ok. 68 passed; 0 failed (新規 9件 = 4 unit + 5 proptest + 1 integration)

cargo clippy --all-targets -- -D warnings
warnings なし

cargo build --workspace
OK

参照

• PR feat(cli-pr-monitor): PastTime newtype + proptest (Bundle W、順位 19 依存解除) #199 (Bundle W = cli-pr-monitor::lock PastTime land)
• .claude/feedback-reports/199.md Tier 2 feat(hooks): 設定駆動型アーキテクチャに移行し配布自動化を実装 #1
• ADR-030 (orphan reaper L2 recovery)
• src/cli-pr-monitor/src/lock.rs (PastTime + proptest reference)

Test plan

• cargo test -p hooks-session-start で 68 tests pass
• cargo clippy --all-targets -- -D warnings clean
• cargo build --workspace OK
• proptest 実行時間 < 1 秒 (デフォルト 256 cases)
• 既存 orphan reaper test (find_orphans_*) の regression なし

Summary by CodeRabbit

リリースノート

• 新機能

  • セッション孤立検出の時刻計算が改善され、未来の時刻が適切に処理されるようになりました。

• テスト

  • プロパティベーステストが追加され、時刻計算の安全性が検証されるようになりました。

• ドキュメント

  • タイムスタンプ不変性に関する新しい設計決定記録（ADR）が追加されました。

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Organization UI

Review profile: CHILL

Plan: Pro

Run ID: d6fc6e91-5cce-4f07-a832-2d484ec6143b

📥 Commits

Reviewing files that changed from the base of the PR and between b737a53 and ba11006.

⛔ Files ignored due to path filters (1)

• Cargo.lock is excluded by !**/*.lock

📒 Files selected for processing (5)

• docs/todo-summary.md
• docs/todo10.md
• src/hooks-session-start/Cargo.toml
• src/hooks-session-start/src/main.rs
• src/hooks-session-start/src/past_time.rs

💤 Files with no reviewable changes (2)

• docs/todo-summary.md
• docs/todo10.md

---

📝 Walkthrough

Walkthrough

orphan 判定における時刻計算を型安全な PastTime 新型で置き換え、未来の startTime を構造的に拒否。proptest で年齢計算整合性と future 拒否を検証。

Changes

PastTime 型と Orphan 判定統合

Layer / File(s)	Summary
PastTime 型定義とテスト実装 src/hooks-session-start/src/past_time.rs	新規 PastTime 型は then <= now を from_parts で検証し、age_secs で経過秒を返す。単体テストで過去・同値は受理、未来・off-by-one は拒否を確認。proptest スイートで from_parts の年齢整合性、未来拒否、parse_iso8601_to_unix の panic 非発生・pre-epoch 拒否・有効範囲受理を検証。
main.rs への統合と orphan ロジック更新 src/hooks-session-start/src/main.rs	past_time モジュールのインポート、parse_iso8601_to_unix を pub(crate) に公開。find_orphan_post_merge_feedback_runs 内で saturating_sub を PastTime::from_parts に置き換え、未来の startTime を orphan 候補から除外。future startTime が age=0 で誤検出されないテストを追加。
開発依存の追加 src/hooks-session-start/Cargo.toml	proptest = "1" を dev-dependencies に追加し、プロパティテスト環境を整備。
タスク一覧と ADR ドキュメント更新 docs/todo-summary.md, docs/todo10.md	proptest 追加タスク（順位 197）を削除。新規 ADR Timestamp invariant safety の codify タスク（saturating_sub 禁止、過去性の型表現、proptest による実行可能契約）に置き換え。

Sequence Diagram

sequenceDiagram
  participant Reaper as Orphan Reaper
  participant Parser as parse_iso8601_to_unix
  participant PastTime
  participant Judge as find_orphan_post_merge_feedback_runs
  Reaper->>Parser: startTime (ISO8601 string)
  Parser-->>Reaper: start_unix (i64)
  Reaper->>PastTime: from_parts(start_unix, now_unix)
  alt then <= now
    PastTime-->>Reaper: Some(PastTime)
    Reaper->>PastTime: age_secs()
    PastTime-->>Reaper: elapsed_secs (i64)
    Reaper->>Judge: include in orphan candidates
  else then > now (future)
    PastTime-->>Reaper: None
    Reaper->>Judge: exclude from orphan candidates
  end

Loading

Estimated code review effort

🎯 3 (Moderate) | ⏱️ ~20 minutes

Possibly related PRs

• aloekun/claude-code-hook-test#199: PR #199 の時間計算 saturating_sub と ISO8601 取り扱いを、main PR の PastTime 導入（then <= now 構造保証）と proptest 回帰（未来拒否・panic 非発生）により実装。
• aloekun/claude-code-hook-test#154: orphan reaper と thresholded age 計算を対象にした先行実装。main PR は同じ orphan reaper ロジックに型安全性を追加。

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	PRタイトルは「PastTime newtype + proptest 移植」という主要な変更内容を明確に示しており、変更セットの中心的な目的と完全に関連している。
Docstring Coverage	✅ Passed	Docstring coverage is 100.00% which is sufficient. The required threshold is 80.00%.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

📝 Generate docstrings

• Create stacked PR
• Commit on current branch

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}