throughline 0.7.0 → 0.8.1

package/CHANGELOG.md

@@ -10,6 +10,52 @@ shipped to npm but were not individually tagged on GitHub.
 
 ## [Unreleased]
 
+### Fixed
+
+- **Native factory diagnostics now report the database compatibility label from
+  the canonical schema version.** Throughline schema v9 previously emitted the
+  stale `throughline.database.v8` label alongside numeric versions `9`/`9`, so
+  exact factory reporters correctly classified the installation as
+  incompatible. The label is now derived from the DB migration version and a
+  regression test requires the label, actual version, and supported version to
+  stay aligned on future schema bumps.
+
+## [0.8.0] — 2026-07-18
+
+### Changed (breaking behavior)
+
+- **Injection is now push/pull, and L1 is no longer injected (ADR 0016).** The
+  budgeted resume context (9,500 chars) is rebuilt as: header +
+  current-position anchor + an always-shown retrieval-guide section as the
+  fixed part, then the **entire remaining budget is filled with L2 turns in
+  full**, newest-first, turn-atomically (a user+assistant pair goes in whole
+  or not at all — no fixed N, no fragment packing). L1 summaries are no longer
+  injected; older memory is pulled on demand instead. The guide section bakes
+  in the exact session id, ISO-millisecond boundary (strict less-than) and
+  turn counts at injection time, so the pull side never recomputes the window.
+
+### Added
+
+- **`throughline recall --l2|--l1` (ADR 0016).** Read-only pull commands the
+  injected guide section points at. `recall --l2 --session <id> --before
+  <ISO ms> --last <N>` returns the N turns of full L2 bodies older than the
+  boundary, in the same line grammar as the injection (including L3 inline
+  suffixes). `recall --l1 ... --skip <N>` lists every turn older than the
+  `--l2` range with its L1 summary, honestly marking unsummarized turns
+  ("全 M ターン / 要約済み K") and always pointing at `throughline detail
+  <time>` for full text. The DB is opened read-only; a missing DB is an
+  explicit error and is never created or migrated.
+
+### Fixed
+
+- **Windows ACL scripts get a 15s timeout (was 3s).** On windows-latest CI
+  runners a cold PowerShell start was measured at 3.0–3.2s, so the 3s
+  `spawnSync` cap killed the ACL apply/verify scripts of the completed-turn
+  receipt store and the runtime error store and surfaced as a flaky
+  "Windows owner-only ACL verification failed" (2 consecutive runs, including
+  a docs-only commit). The explicit hard-failure contract is unchanged; only
+  the cap was raised.
+
 ## [0.7.0] — 2026-07-17
 
 ### Changed (breaking behavior)
@@ -1063,7 +1109,10 @@ two attempts, instrument first instead of patching again.
 
 ---
 
-[Unreleased]: https://github.com/kitepon-rgb/Throughline/compare/v0.6.2...HEAD
+[Unreleased]: https://github.com/kitepon-rgb/Throughline/compare/v0.8.0...HEAD
+[0.8.0]: https://github.com/kitepon-rgb/Throughline/compare/v0.7.0...v0.8.0
+[0.7.0]: https://github.com/kitepon-rgb/Throughline/compare/v0.6.3...v0.7.0
+[0.6.3]: https://github.com/kitepon-rgb/Throughline/compare/v0.6.2...v0.6.3
 [0.6.2]: https://github.com/kitepon-rgb/Throughline/compare/v0.6.1...v0.6.2
 [0.3.22]: https://github.com/kitepon-rgb/Throughline/releases/tag/v0.3.22
 [0.3.21]: https://github.com/kitepon-rgb/Throughline/compare/v0.3.19...v0.3.21

package/README.ja.md

@@ -29,10 +29,14 @@ throughline install     # hook / Codex skill / VS Code monitor task を登録
 <details>
 <summary><b>Codex も併用する場合</b> Codex hooks も登録される — クリックで詳細</summary>
 
-Codex では `UserPromptSubmit` / `PostToolUse` / `Stop` hook と `$throughline`
-skill も登録する。75% 自動発火は token-monitor 依存ではなく、当該 Codex
-セッションの rollout `token_count` を hook が読み、prompt 送信時または tool loop
-途中の閾値到達時に同じセッションへ `$throughline` 実行指示を注入する。
+global install は Codex の `UserPromptSubmit` / `PostToolUse` / `Stop` hook
+（絶対 node パス登録）と `$throughline` skill も登録する。これらの hook は
+rollout capture と monitor state 書き込みだけを行い、**使用量閾値での
+`$throughline` 自動注入はしない**（token-monitor は表示専用）。bare
+`$throughline` は app-server 経由で新規 Codex thread を開始し、Throughline DB
+の handoff memory を developer item として注入する。current-thread rollback
+診断が要る時だけ明示的に `trim --execute --host codex` を使う。既存の
+非 Throughline Codex hook は保持される。
 
 </details>
 
@@ -42,7 +46,7 @@ skill も登録する。75% 自動発火は token-monitor 依存ではなく、
 |---|---|---|---|---|
 | **何をする** | ツール I/O を SQLite に退避、本文は残す | ウィンドウを全消去 | ウィンドウ全体を LLM 要約 | 新旧で要約 |
 | **圧縮の軸** | コンテンツの **種類** (テキスト vs ツール I/O) | 無し — 全消去 | **新旧** (一律) | **新旧** (一律) |
-| **境界後に残る記憶** | ✅ 直近 20 ターン本文 + それ以前 L1 + L3 オンデマンド | ❌ ゼロ | △ 一個の要約 (情報欠落) | △ 要約 (情報欠落) |
+| **境界後に残る記憶** | ✅ 直近ターン本文そのまま (予算内ターン原子詰め) + それ以前は `recall` で pull + L3 オンデマンド | ❌ ゼロ | △ 一個の要約 (情報欠落) | △ 要約 (情報欠落) |
 | **ツール I/O の扱い** | L3 に退避、`/sc-detail HH:MM:SS` で取り戻せる | 消える | 要約に溶けて読めない | 要約に溶ける |
 | **コーディング用途への適合** | 高 — ツール I/O こそ重い 80% | 低 — 文脈が切れる | 中 — ただし不可逆 | 中 |
 | **誤継承リスク** | 低 (typed `/clear` / `/tl` が前任を指名) | n/a | n/a | 高 |
@@ -73,10 +77,10 @@ Throughline 無し (50 ターン、/clear なし):
                               ≈ 125,000 tok 合計
 
 Throughline 有り (50 ターン → /clear → 再開):
-  直近 20 ターン L2            ~10,000 tok  ██
-  それ以前 30 ターン L1         ~3,000 tok  ▌
-  ツール I/O                       0 tok    (SQLite 退避、オンデマンド取得)
-                              ≈ 13,000 tok — 90% 軽量
+  再開注入                     ~3,000 tok  ▌  (直近 L2 ターン丸ごと、≤9,500 字)
+  それ以前の記憶            0〜10,000 tok     (必要な時だけ recall --l2 / --l1 で pull)
+  ツール I/O                       0 tok     (SQLite 退避、detail でオンデマンド取得)
+                              ≈ 最大 13,000 tok — 90% 軽量
 ```
 
 MemGPT や LangChain の SummaryBufferMemory が **新旧** で圧縮するのに対し、
@@ -94,7 +98,7 @@ Throughline は加えて、トランスクリプト JSONL から実測 API 使
 
 ---
 
-## 3 層メモリーモデル (schema v7)
+## 3 層メモリーモデル (schema v9)
 
 ```mermaid
 flowchart LR
@@ -102,10 +106,11 @@ flowchart LR
     T --> H["Stop hook"]
     H --> L2[("L2 · bodies<br/>本文そのまま")]
     H --> L3[("L3 · details<br/>ツール I/O · 思考")]
-    H -. "非同期<br/>Haiku" .-> L1[("L1 · skeletons<br/>一行要約")]
+    H -. "非同期<br/>要約器" .-> L1[("L1 · skeletons<br/>一行要約")]
 
-    L2 -- "直近 20 ターン" --> S["次セッション<br/>SessionStart 注入"]
-    L1 -- "それ以前" --> S
+    L2 -- "直近ターン丸ごと<br/>(9,500 字予算)" --> S["次セッション<br/>初回プロンプト注入"]
+    L2 -. "窓の残り<br/>throughline recall --l2" .-> S
+    L1 -. "それ以前すべて<br/>throughline recall --l1" .-> S
     L3 -. "オンデマンド · throughline detail" .-> S
 
     classDef l1 fill:#3aa0ff,stroke:#1a1f2e,color:#fff
@@ -118,28 +123,35 @@ flowchart LR
 
 | 層 | 名称 | 保存先 | 内容 | ターンあたりコスト |
 | --- | --- | --- | --- | --- |
-| **L1** | スケルトン | 古いターンとして注入 | ターンの一行要約（既定は Claude Haiku、設定時は Codex sidecar も可） | 約 10 トークン |
-| **L2** | ボディ | 直近ターンとして注入 | ユーザー本文 + アシスタント返答そのまま | 自然なフルサイズ |
+| **L1** | スケルトン | `recall --l1` でオンデマンド pull | ターンの一行要約（既定 backend は Codex CLI `gpt-5.6-luna`、fallback は ADR 0015 参照） | 約 10 トークン |
+| **L2** | ボディ | 予算内は注入、残りは `recall --l2` | ユーザー本文 + アシスタント返答そのまま | 自然なフルサイズ |
 | **L3** | ディテール | SQLite のみ | ツール I/O、システムメッセージ、画像、**拡張思考** (オンデマンド) | 重い、退避済 |
 
 3 層は **互いに補完的かつ排他的** で、重複保存はありません。
 拡張思考ブロックは L3 (`kind='thinking'`) に格納されるので、次セッションは
 **前セッションの Claude が中断時に何を考えていたか** を、発話だけでなく
-内省レベルで参照できます。`SessionStart` では **最終ターンの思考** が L2 履歴の
-直上にインライン注入され、それ以前の思考は `throughline detail <時刻>` で取得できます。
-
-`SessionStart` 時、Throughline は SQLite からコンテキストを再構築し、
-プレーンテキストとして注入します:
-
-- **直近 20 ターン** は L2 (`bodies`) のフル本文として注入
-- **それ以前** は L1 (`skeletons`) の一行要約として注入
+内省レベルで参照できます。思考は注入されず、`throughline detail <時刻>` で
+いつでも取得できます。
+
+次セッションの **初回ユーザープロンプト** 時（二相ハンドオフ、ADR 0014）、
+Throughline は SQLite からコンテキストを再構築し、プレーンテキストとして
+注入します（push/pull 設計、ADR 0016）:
+
+- **直近ターン** を L2 (`bodies`) のフル本文として注入 — 新しい順に
+  ターン丸ごと（user + assistant 原子）、約 9,500 字の予算に入るだけ
+- **L1 (`skeletons`) の一行要約は注入しません** — 代わりに、そのまま実行
+  できる `throughline recall --l2|--l1` コマンド入りの案内セクションを注入し、
+  古い記憶は必要になった時だけ pull します
 - L3 は SQLite に残り、`/sc-detail <時刻>` でオンデマンド取得
 
 L1 要約は遅延実行で、20 ターン未満で終わるセッションでは外部要約器を呼ばず、
-短いタスクの要約コストはゼロです。既定では
-`claude -p --model claude-haiku-4-5-*` サブプロセスで **Claude Haiku 4.5** が生成します。
-Claude Max のログイン認証を流用するため API キー不要です。
-`codex-sidecar` が `summarize-l1` preset で明示設定されている場合は、そちらを使えます。
+短いタスクの要約コストはゼロです。要約は **削減割合**（既定 1/5、
+`THROUGHLINE_L1_RATIO` で変更可。不正値は明示エラー）を目標にします。
+Claude-primary 経路の backend 順は codex-sidecar（`summarize-l1` preset 明示
+設定時）→ **Codex CLI**（既定 `gpt-5.6-luna`@`low`、実測評価で選定 — ADR 0015。
+`THROUGHLINE_L1_MODEL` / `THROUGHLINE_L1_EFFORT` で変更可）→ **Claude Haiku 4.5**
+（`claude -p` サブプロセス、Claude Max のログイン認証流用）で、API キーは
+不要です。各段の失敗理由は記録されます。
 
 3 層 (L1/L2/L3) の書き込みパスは schema v5 から動作しています。
 `/sc-detail HH:MM:SS` はユーザー / アシスタント本文 (L2) と、そのターンで
@@ -158,13 +170,14 @@ flowchart LR
     U["ユーザーが入力<br/>/clear または /tl"] -->|UserPromptSubmit| W["writeBaton<br/>(session_id + TTL 1h)"]
     W --> B[("handoff_batons<br/>SQLite")]
     M["VS Code メニュー<br/>clear"] -->|UserPromptSubmit に届かない| X["baton 無し"]
-    NS["次の SessionStart"] --> C{"baton<br/>あり?"}
+    NS["次の SessionStart<br/>(intent 登録のみ)"] --> FP["初回ユーザープロンプト<br/>(実セッションの証明)"]
+    FP --> C{"baton<br/>あり?"}
     B -.-> C
     X -.-> C
     C -->|あり| P1["baton path<br/>(主経路)<br/>指名された前任を merge"]
-    C -->|無し / source='clear'| P2["auto path<br/>(補助)<br/>findLatestClaudePredecessor"]
+    C -->|無し / source='clear'| P2["auto path<br/>(補助)<br/>前任は SessionStart 時点で凍結"]
     C -->|無し / source!='clear'| P3["新規セッション<br/>merge 無し"]
-    P1 --> INJ["L1 + L2 + L3 references を注入"]
+    P1 --> INJ["L2 ターン + recall 案内を注入<br/>(予算 ≤ 9,500 字)"]
     P2 --> INJ
 
     classDef primary fill:#7c5cff,stroke:#1a1f2e,color:#fff
@@ -178,16 +191,26 @@ flowchart LR
 ### baton path (primary): typed `/clear` または `/tl`
 
 ユーザーが prompt に `/clear` または `/tl` を打つと、UserPromptSubmit hook が
-**そのセッションの** `session_id` を `handoff_batons` に書きます。次の
-SessionStart は 1 時間以内の baton を消費し、その前任を確定的に merge します。
+**そのセッションの** `session_id` を `handoff_batons` に書きます。次の新セッション
+は **初回ユーザープロンプト時** に baton を消費し（適格性: セッション誕生が baton
+書き込みから TTL 1 時間以内）、その前任を確定的に merge します。
 複数ウィンドウで「最新更新セッション」と「今 `/clear` したセッション」が違っても、
 指名された前任だけを引き継ぎます。
 
+なぜ SessionStart でなく初回プロンプトか: Claude Code は同一 project に数百 ms の
+間隔で複数の SessionStart を発火させることがあり、その一部は transcript を一切
+作らない**幽霊セッション**になります。SessionStart 時点では実体と幽霊を判別
+できないため、baton を SessionStart で消費すると幽霊が記憶を飲み込み、実セッション
+が空で始まる事故が起きます。幽霊はプロンプトを発火しないので、消費を初回
+プロンプトへ遅延させればこの事故は構造的に起きません（二相ハンドオフ、ADR 0014）。
+
 ### auto path (fallback): `source='clear'`
 
 baton が無く、SessionStart の `source='clear'` が届いた場合だけ、同 project の
-最新 Claude predecessor を選んで merge します。これは VS Code 拡張メニューなど、
-typed `/clear` が UserPromptSubmit hook に届かない経路のための補助です。
+最新 Claude predecessor を **SessionStart 時点で** 解決・凍結し（transcript の
+無い幽霊は候補から除外）、merge + 注入は初回プロンプト時に行います。これは
+VS Code 拡張メニューなど、typed `/clear` が UserPromptSubmit hook に届かない
+経路のための補助です。
 
 `THROUGHLINE_DISABLE_AUTO_HANDOFF=1` はこの fallback path だけを OFF にします。
 typed `/clear` と `/tl` はユーザーの明示意思なので、この env に関係なく baton を
@@ -201,11 +224,18 @@ fallback:     baton 無し + source='clear' → latest predecessor を merge
 
 ### 注入されるもの
 
-両経路で同じ curated memory が注入されます:
+両経路で同じ curated memory が注入されます（push/pull 設計、ADR 0016）:
 
-- L1 サマリー (古い turn の一行要約)
-- L2 verbatim (直近 20 turn の本文)
-- L3 references (`throughline detail <時刻>` で引き出すコマンド一覧、本文は SQLite に残置)
+- **「現在地」アンカー** (v0.4.12〜) — 最新のユーザー指示と最新の assistant turn を
+  ヘッダ直下に再掲（各 600 字で切り詰め）
+- **pull 案内セクション**（無条件表示）— そのまま実行できる `throughline recall`
+  コマンド。session id・ISO ms 境界・件数は注入時に焼き込み済み
+- L2 verbatim — 約 9,500 字の注入予算に入るだけ、新しい turn からターン丸ごと
+  詰める（典型 7〜8 turn、軽い会話ならもっと多い）。**L1 サマリーは注入しません**
+  — 20 turn 窓の残りは `recall --l2` で全文、それより古い全 turn は `recall --l1`
+  で取得（要約済みは L1 行、未要約は `throughline detail` への誘導付きで明示）
+- L3 references (`throughline detail <時刻>` で引き出すコマンド、各 L2 行末尾に
+  inline 付記。本文は SQLite に残置)
 
 注入は **「中断されたタスクの再開」** として再フレーミングされます。L2 verbatim に
 最終 assistant turn (= 次に何をしようとしていたか) が含まれるため、別途 memo /
@@ -231,14 +261,14 @@ slash command / transcript / baton / resume behavior を置き換えるもので
 adapter / projection として追加されます。
 
 現時点で core Throughline が外部モデルを呼ぶのは L2→L1 要約だけです。
-`codex-sidecar` が `summarize-l1` preset で設定されている場合はその要約に
-Codex sidecar を使えます。使えない場合は、従来どおり Claude Haiku 経路を使います。
+backend 順は codex-sidecar（`summarize-l1` preset 明示設定時）→ Codex CLI
+（既定 `gpt-5.6-luna`）→ Claude Haiku です（ADR 0015）。
 
 Codex 側 trim (= same-thread context trim) は `throughline trim --execute --host codex`
 で発火します。Codex の bare `$throughline` skill もこの scripted rollback + DB
 memory inject を直接実行します。Claude 側は `/clear` での auto path 引継ぎが本線になったため、
 `/tl-trim` slash command は v0.4.0 で廃止されました。current-work framing は
-SessionStart 注入の Reading Contract / Continuation Instruction で同じ意図を
+再開注入の Reading Contract / Continuation Instruction で同じ意図を
 継承しています。
 
 </details>
@@ -285,6 +315,7 @@ Throughline state をまだ書いていない現在セッションも表示で
 | `throughline monitor` | マルチセッション監視を起動 |
 | `throughline monitor --diag` | TTY/columns/env 診断ダンプ (描画バグ切り分け用) |
 | `throughline detail <時刻>` | あるターンの L2 本文と L3 ツール I/O を取得 (Claude が使う) |
+| `throughline recall --l2\|--l1 --session <id> --before <ISO> ...` | 注入の案内セクションが指す古い記憶を pull (read-only、正確なコマンドは注入に焼き込み済み) |
 | `throughline doctor` | Node バージョン、hook 登録状況、DB、PATH をチェック |
 | `throughline doctor --trim --host claude` | trim boundary と手動手順を診断 |
 | `throughline handoff-preview --session <id>` | Codex 向け `throughline_handoff` JSON projection を表示 |
@@ -313,7 +344,8 @@ Throughline state をまだ書いていない現在セッションも表示で
 
 - **Node.js 22.5 以上** (組み込み `node:sqlite` モジュール使用、ネイティブビルド不要)
 - **Claude Code** (`SessionStart`, `Stop`, `UserPromptSubmit` hooks 対応版)
-- **Claude Max サブスクリプション** (Haiku ベース L1 要約のため `claude -p` 経由)
+- **Codex CLI ログイン**（既定の L1 要約 backend、`gpt-5.6-luna`）または
+  **Claude Max サブスクリプション**（`claude -p` 経由の Haiku fallback）— どちらも API キー不要
 - 対応 OS: **Windows / macOS / Linux**
 
 ランタイム依存 **ゼロ**。npm パッケージは純 `.mjs` ファイルのみで構成されています。

package/README.md

@@ -54,7 +54,7 @@ guarded `trim --execute --host codex` surface.
 |---|---|---|---|---|
 | **What it does** | retire tool I/O to SQLite, keep text in-context | wipe the whole window | LLM-summarize the whole window | recency-based summarize |
 | **Compression axis** | content **type** (text vs tool I/O) | none — full wipe | **recency** (uniform) | **recency** (uniform) |
-| **Memory after the boundary** | ✅ recent 20 turns verbatim + older as L1 + L3 on demand | ❌ zero | △ lossy single summary | △ lossy summary |
+| **Memory after the boundary** | ✅ recent turns verbatim (whole, budget-packed) + everything older via `recall` pull + L3 on demand | ❌ zero | △ lossy single summary | △ lossy summary |
 | **Tool I/O handling** | retired to L3, retrievable by `/sc-detail HH:MM:SS` | gone | folded into summary, unreadable | folded into summary |
 | **Coding-assistant fit** | high — tool I/O is the heavy 80% | low — you lose the thread | medium — but irreversible | medium |
 | **Auto-inheritance risk** | low (typed `/clear` / `/tl` names the predecessor) | n/a | n/a | high |
@@ -86,10 +86,10 @@ Without Throughline (50 turns, no /clear):
                        ≈ 125,000 tok total
 
 With Throughline (50 turns → /clear → resume):
-  recent 20 turns L2   ~10,000 tok  ██
-  older 30 turns L1     ~3,000 tok  ▌
-  tool I/O                  0 tok   (retired to SQLite, on-demand)
-                       ≈ 13,000 tok total — 90% lighter
+  resume injection      ~3,000 tok  ▌  (recent L2 turns, whole, ≤ 9,500 chars)
+  older memory          0–10,000 tok   (pulled only when needed: recall --l2 / --l1)
+  tool I/O                  0 tok      (retired to SQLite, on-demand via detail)
+                       ≈ 13,000 tok worst case — 90% lighter
 ```
 
 Throughline separates conversation content by **type, not time**: human-readable
@@ -117,10 +117,11 @@ flowchart LR
     T --> H["Stop hook"]
     H --> L2[("L2 · bodies<br/>verbatim text")]
     H --> L3[("L3 · details<br/>tool I/O · thinking")]
-    H -. "async<br/>Haiku" .-> L1[("L1 · skeletons<br/>one-liners")]
+    H -. "async<br/>summarizer" .-> L1[("L1 · skeletons<br/>one-liners")]
 
-    L2 -- "recent 20 turns" --> S["Next session's first prompt<br/>injection"]
-    L1 -- "older turns" --> S
+    L2 -- "recent turns, whole<br/>(9,500-char budget)" --> S["Next session's first prompt<br/>injection"]
+    L2 -. "rest of the window<br/>throughline recall --l2" .-> S
+    L1 -. "everything older<br/>throughline recall --l1" .-> S
     L3 -. "on demand · throughline detail" .-> S
 
     classDef l1 fill:#3aa0ff,stroke:#1a1f2e,color:#fff
@@ -133,22 +134,25 @@ flowchart LR
 
 | Layer | Name       | Where it lives        | Content                                                               | Cost per turn |
 | ----- | ---------- | --------------------- | --------------------------------------------------------------------- | ------------- |
-| **L1** | Skeleton  | injected when old     | one-line summary of the turn (current Claude-primary path: Claude Haiku, optional Codex sidecar) | ~10 tok       |
-| **L2** | Body      | injected when recent  | user text + assistant reply, verbatim                                 | full natural  |
+| **L1** | Skeleton  | pulled on demand (`recall --l1`) | one-line summary of the turn (default backend: Codex CLI `gpt-5.6-luna`, fallbacks per ADR 0015) | ~10 tok       |
+| **L2** | Body      | injected while the budget lasts; rest via `recall --l2` | user text + assistant reply, verbatim                                 | full natural  |
 | **L3** | Detail    | SQLite only           | tool I/O, system messages, images, **extended thinking** (on-demand)  | heavy, retired |
 
 The layers are **complementary and disjoint** — nothing is duplicated across
 them. Extended thinking blocks are stored at L3 (`kind='thinking'`) so the
 next session can see *what the previous Claude was thinking* at the moment it
-was interrupted, not just what it said aloud. On `SessionStart` the thinking
-of the **final turn** is injected inline above the L2 history; older thinking
-remains retrievable via `throughline detail <time>`.
-
-On `SessionStart`, Throughline rebuilds the context from SQLite and
-injects it as plain text:
-
-- The **most recent 20 turns** are injected as full L2 (`bodies`) text
-- **Older turns** are injected as L1 (`skeletons`) one-liners
+was interrupted, not just what it said aloud. Thinking is never injected —
+it stays retrievable via `throughline detail <time>`.
+
+At the **first user prompt** of the next session (two-phase handoff, ADR
+0014), Throughline rebuilds the context from SQLite and injects it as plain
+text (push/pull design, ADR 0016):
+
+- The **most recent turns** are injected as full L2 (`bodies`) text — packed
+  whole-turn, newest-first, as many as fit the ~9,500-char budget
+- **L1 (`skeletons`) one-liners are not injected** — a guidance section with
+  ready-to-run `throughline recall --l2|--l1` commands is injected instead,
+  so older memory is pulled only when needed
 - L3 stays in SQLite and is retrieved on demand via `/sc-detail <time>`
 
 L1 summaries are generated lazily: for sessions that stay under 20 turns, no
@@ -189,7 +193,7 @@ flowchart LR
     C -->|yes| P1["baton path<br/>(primary)<br/>merge that exact predecessor"]
     C -->|no, source='clear'| P2["auto path<br/>(fallback)<br/>predecessor frozen at SessionStart"]
     C -->|no, source!='clear'| P3["fresh session<br/>no merge"]
-    P1 --> INJ["inject L1 + L2 + L3 refs<br/>(budgeted ≤ 9,500 chars)"]
+    P1 --> INJ["inject L2 turns + recall guidance<br/>(budgeted ≤ 9,500 chars)"]
     P2 --> INJ
 
     classDef primary fill:#7c5cff,stroke:#1a1f2e,color:#fff
@@ -245,15 +249,23 @@ this fallback. **The env var only affects the fallback**; typed `/clear` and
 
 ### What gets injected
 
-Both paths inject the **same** curated memory:
+Both paths inject the **same** curated memory (push/pull design, ADR 0016):
 
 - A **"現在地 (latest exchange)"** anchor (added in v0.4.12) re-surfaces the
   most recent user directive and the most recent assistant turn directly under
   the header, each truncated to 600 characters
-- L1 summaries (older turns, one-line)
-- L2 verbatim (most recent 20 turns, full text)
+- A **pull guidance section** (always present) with ready-to-run
+  `throughline recall` commands — session id, an ISO-ms boundary, and turn
+  counts are baked in at injection time
+- L2 verbatim: as many of the most recent turns as fit the ~9,500-char
+  injection budget, packed whole-turn (typically 7–8 turns; more for light
+  conversations). **L1 summaries are not injected** — the rest of the
+  20-turn window is retrieved verbatim via `throughline recall --l2`, and
+  everything older via `throughline recall --l1` (summarized turns show
+  their L1 line; unsummarized ones are listed explicitly with a
+  `throughline detail` pointer)
 - L3 references (`throughline detail <time>` retrieval commands, attached
-  inline to each L1/L2 row; bodies stay in SQLite)
+  inline to each L2 row; bodies stay in SQLite)
 
 The injection is reframed as **"resuming an interrupted task"** rather than
 "reading past logs". The L2 verbatim already contains the last assistant
@@ -754,6 +766,7 @@ aggregate は collection が既定OFFで、canonical dotagents config の
 | `throughline monitor [--all] [--session <id>]` | Run the multi-session token monitor                          |
 | `throughline monitor --diag`                   | Dump TTY/columns/env diagnostics (for debugging monitor render bugs) |
 | `throughline detail <time>`                    | Retrieve L2 body text and L3 tool I/O for a turn (see below) |
+| `throughline recall --l2\|--l1 --session <id> --before <ISO> ...` | Pull older memory referenced by the injection's guidance section (read-only; the exact command is baked into each injection) |
 | `throughline observer-read --project <absolute-directory> --json` | Read one completed-turn Observer page through the JSON-only public boundary |
 | `throughline observer-wait --project <absolute-directory> --after-cursor <opaque> [--timeout-seconds 3600] --json` | Wait up to 3600 seconds for a completed-turn Observer cursor change |
 | `throughline doctor`                           | Check Node version, hook registration, DB writability, PATH  |
@@ -886,7 +899,9 @@ throughline auditor-context --session claude-session-id --project "$PWD" \
 - **Node.js >= 22.13** (for the stable, flag-free built-in `node:sqlite` module — no native build
   required, no `npm install` of SQLite bindings)
 - **Claude Code** with hooks support (`SessionStart`, `Stop`)
-- **Claude Max subscription** (for Haiku-based L1 summarization via `claude -p`)
+- **Codex CLI login** (default L1 summarization backend, `gpt-5.6-luna`) or a
+  **Claude Max subscription** (Haiku fallback via `claude -p`) — no API key
+  either way
 - Works on **Windows, macOS, Linux**
 
 Throughline has **zero runtime dependencies**. The published tarball is just

package/bin/throughline.mjs

@@ -9,6 +9,7 @@
  *   throughline process-turn  # Stop hook (Claude Code から呼ばれる)
  *   throughline session-start # SessionStart hook (Claude Code から呼ばれる)
  *   throughline detail <時刻> # L2+L3 詳細取得 (Claude が Bash 経由で呼ぶ想定)
+ *   throughline recall --l2|--l1 # 注入案内から辿る pull 用 read-only 記憶取得
  *   throughline handoff-preview # Codex-facing throughline_handoff JSON preview
  *   throughline auditor-context --json # Read-only bounded auditor context JSON
  *   throughline factory-diagnostics --json # Native factory read-only readiness JSON
@@ -66,6 +67,11 @@ switch (cmd) {
   case 'detail':
     (await import('../src/sc-detail.mjs')).run(rest);
     break;
+  case 'recall': {
+    const exitCode = (await import('../src/cli/recall.mjs')).run(rest);
+    process.exitCode = exitCode;
+    break;
+  }
   case 'handoff-preview':
     await (await import('../src/cli/handoff-preview.mjs')).run(rest);
     break;

package/docs/02_clear_auto_handoff_plan.md

@@ -17,6 +17,14 @@ A 案 (= /clear で自動引継ぎ + /tl は逃げ道として残す + /tl-trim
 > `THROUGHLINE_DISABLE_AUTO_HANDOFF=1` は **fallback path のみに作用** する
 > ようになった (typed `/clear` / `/tl` には効かない)。
 
+> **2026-07-18 (ADR 0016) update**: 注入の中身を push/pull 二段に再設計した。
+> push (9,500 字) はヘッダ + 現在地アンカー + 案内セクション + **L2 をターン原子で
+> 入るだけ全文**（L1 は注入しない）。窓 20 ターンの残りは `throughline recall --l2`、
+> それより古い全ターンは `recall --l1`（要約 or 未要約明示）で pull する。範囲・境界
+> (ISO ms)・件数・session は注入時に案内コマンドへ焼き込み、recall 側は窓を再計算
+> しない。正典は [ADR 0016](adr/0016-push-pull-recall-injection.md)。本書内の
+> 「L1 + L2 を注入する」旧記述はこの update で読み替えること。
+
 ---
 
 ## 1. 確定した事実 (実機検証済み)

package/docs/adr/0016-push-pull-recall-injection.md

@@ -0,0 +1,105 @@
+# ADR 0016: 注入の push/pull 再設計 — 現在地 + 入るだけ L2 の push と recall CLI による pull
+
+- Status: accepted (2026-07-18 オーナー裁定)
+- 関連: [ADR 0014](0014-two-phase-handoff-ghost-baton.md)（9,500 字注入予算）、
+  [ADR 0015](0015-l1-summarizer-model-effort-ratio.md)（L1 要約体制）
+
+## 問題
+
+9,500 字の注入予算（hook stdout ~10k で `<persisted-output>` file 化、ADR 0014）の中で、
+旧 `buildBudgetedResumeContext` は **L1 を先に詰めてから L2 を詰めて**いた。実測
+（このMacのDB、L2 1 ターン中央値 ~800 字・平均 ~2,750 字）では L2 は 5〜10 ターンしか
+入らず、しかも L1 生成は `L2_WINDOW = 20` より古いターンにしか走らない（Stop 毎 1 件の
+遅延生成）ため、「予算落ちした 5〜20 ターン前」が **L2 も注入されず L1 も未生成**の
+記憶空白帯になっていた。省略告知は時刻列挙のみで、取り出しは 1 ターンずつ
+`throughline detail` を叩くしかなかった。
+
+## 検討して不採用にした案
+
+1. **固定 N ターン + per-role 切り詰めで L2 を保証し、残りに L1 充填**:
+   L1 生成閾値を N に連動させる案。pull 設計に移った時点で、注入 L1 が pull の L2×残り
+   と同じターンを二重に運ぶ矛盾が出て破棄（会話での敵対的整理）。固定 N 自体も
+   「軽い会話で予算を設計的に遊ばせる」ため破棄。
+2. **multi-hook による 10k 突破**: 実測で**可能**と確認した（下記「実測」）が、hook の
+   構造的想定（1 本 = 1 context string）に無い使い方であり、attachment 順序も非決定の
+   ため不採用。
+3. **全文ログのファイル書き出し + Read 誘導**: DB が正本なのに派生ファイルの寿命管理が
+   発生する。過去ターンのレコードは不変なので、スナップショット性は DB 直参照でも
+   担保できる。CLI 経由の DB 直参照に統一して不採用。
+4. **生 SQL をモデルに案内**: schema 講義で注入が太り、origin フィルタ等の誤クエリ事故面
+   が開く。`detail` と同じ「DB 直参照だがモデルにはコマンド 1 発」の流儀で不採用。
+
+## 決定
+
+push は「現在地」に徹し、過去は pull に出す。
+
+- **push（注入、9,500 字内）**: ヘッダ + 現在地アンカー + 案内セクション
+  （固定部として最優先予約・無条件表示）+ 残り全予算に **L2 を新しい順で
+  丸ごと入るターンだけ全文**（ターン単位の原子。固定 N なし・断片詰めなし・
+  ターン境界の自然な端数は許容）。**L1 は注入しない**。
+  最新ターンが単体で予算超過する場合だけ切り詰めて入れる（従来規則の維持）。
+- **pull（新 CLI `throughline recall` = read-only DB 直参照）**:
+  - `recall --l2 --session <id> --before <ISO8601 ms> --last <N>` —
+    境界より古いターンを新しい側から N 件、L2 全文（注入と同じ行文法 + L3 suffix）
+  - `recall --l1 --session <id> --before <ISO8601 ms> --skip <N>` —
+    --l2 の担当分を飛ばした先の全ターン一覧。**L1 要約があれば要約、無ければ
+    「未要約」と明示**して detail 誘導。冒頭に「全 M ターン / 要約済み K」を正直に表示
+  - 一点掘りは従来どおり `throughline detail <時刻>`（L2+L3）
+- **`L2_WINDOW = 20` は据え置き**。20 の意味が「push（入るだけ）+ pull（残り）」の
+  合計窓に再定義されるだけで、L1 要約ペース・Codex 側・schema への変更なし。
+
+### 間抜け防止 — 機械用境界の完全焼き込み（refuter 敵対的検証 2026-07-18）
+
+実装前に refuter による敵対的検証を通し、real 指摘 6 件を全て設計へ反映した:
+
+| 指摘 | 対処 |
+|---|---|
+| HH:MM:SS 境界は「当日」解決（sc-detail の `timeToUnixRange`）で深夜跨ぎに壊れる | `--before` は ISO 8601 完全日時（ms 精度）。表示用 HH:MM:SS と機械用境界を分離 |
+| 秒切り捨てで同秒行の境界包含が未定義 | 境界は strict less-than の ms 比較で規定 |
+| 20 ターン窓はクエリ時再計算のため、新セッションのターン追記で窓がスライドし古い側が黙って欠落 | `--last <残り件数>` も注入時に焼き込み、recall 側の窓再計算を全廃 |
+| L1 は遅延生成でバックログがあり「全 N ターンの要約」が虚偽になる。未要約ターンがどの取っ手からも見えない | `--l1` は全ターン一覧（要約 or 未要約明示）。件数は「全 M / 要約済み K」形式 |
+| 既定 session 解決（cwd 系）は Codex 併走・複数ウィンドウで非決定 | `--session` も焼き込み。recall は既定解決を持たない |
+| `getDb()` は mkdir + read-write open + migration を行い read-only 契約に反する | recall は `DatabaseSync(path, { readOnly: true })` + 存在チェック。DB を作成しない |
+
+併せて、予算詰めを行（role）単位からターン単位の原子に変更した（行単位だと同一ターンの
+assistant 行だけ入り user 行が pull 側に半身で現れ、境界の算術が濁るため）。
+
+## 実測
+
+### 新設計のレンダリング（2026-07-18、実 DB 191 ターンセッション）
+
+- totalChars 9,158 / 9,500、L2 9 ターン注入、残り 11 ターン、窓外 171 ターン
+  （要約済み 124 / 未要約 47）
+- 焼き込まれた案内コマンドをそのまま実行して、`--l2` が境界ぴったりから 11 ターン
+  （33k 字）、`--l1` が全 171 ターン一覧（118k 字、`--last` で部分取得可）を返すことを確認
+
+### 実機 E2E（2026-07-18、global 0.8.0 / baton path）
+
+- `/tl` → 新セッションの初回プロンプトで新形式注入が発火（47 ターン引き継ぎ）。
+  注入は L1 非注入・現在地アンカー・L2 ターン原子詰め（11 ターン全文）・案内セクション
+  焼き込みで、設計どおりの形を目視確認
+- 焼き込まれた `recall --l2 --session <id> --before <ISO ms> --last 11` を新セッション側から
+  そのまま実行し、境界より古い 11 ターン（11:02:27〜11:38:57）が古い順・全文・L3 suffix
+  付きで返り、注入分の最古ターン（11:48:57）と連続・重複欠落なしを確認
+- 焼き込まれた `recall --l1 ... --skip 11` が窓外の全 9 ターンを「全 9 / 要約済み 7」の
+  正直表示で返し、未要約 2 件は `throughline detail <時刻>` への誘導付きで明示された
+- これをもって v0.8.0 の残タスク（新注入形式の実機 E2E）は完了
+
+### multi-hook 10k 突破の実測（2026-07-18、Claude Code 2.1.211 / 不採用）
+
+- 同一 UserPromptSubmit に hook を 3 本登録 → それぞれ独立の `hook_success` attachment
+  になり 9,000 字 × 3 = 27,000 字が全部モデル可視 inline
+- 1 本だけ 12k にすると**その 1 本だけ**が `<persisted-output>` 化（隣の 9k は無傷）
+  = 10k 判定は per context string
+- 5 本 × 9k = 45,000 字でも全部可視。合算上限は 45k まで観測されず
+- **attachment の並び順は登録順と一致しない**（並列実行のため非決定）
+- 詳細は [rag/01-hooks/hook-stdout-10k-persisted-output.md](../../rag/01-hooks/hook-stdout-10k-persisted-output.md)
+
+## 帰結
+
+- 「5〜20 ターン前の空白帯」は消滅: 窓内の非注入分は `recall --l2` が verbatim で、
+  窓外は `recall --l1` が全ターン（未要約含む）で必ず到達可能
+- push は会話密度に自動適応（中央値 7〜8 ターン、軽い会話なら 10 ターン超、重くて 2〜3）
+- コンテキスト衛生は維持: pull はモデルが必要と判断した時だけ発生する
+- `handoff-executor` の injection stats は
+  `injected_l2_turns / remaining_l2_turns / older_turns / older_summarized` に更新

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "throughline",
-  "version": "0.7.0",
+  "version": "0.8.1",
   "type": "module",
   "description": "Claude Code hooks plugin for structured context compression (/clear-safe persistent memory)",
   "keywords": [

package/rag/01-hooks/hook-stdout-10k-persisted-output.md

@@ -40,6 +40,23 @@ v2.1.195 より前に 10k 超を emit した実績が手元に無いため、「
 ヘッダ + アンカー常時全文、L1 → L2 を新しい側から詰め、省略は注入文へ明示）。
 詳細は [ADR 0014](../../docs/adr/0014-two-phase-handoff-ghost-baton.md)。
 
+## 追記: 10k 判定は per context string — multi-hook で突破可能（2026-07-18 実測、不採用）
+
+同一イベントに複数 hook を登録した場合の挙動を実測した（Claude Code 2.1.211、
+一時 project + 3〜5 本の UserPromptSubmit tracer hook + `claude -p` Haiku）:
+
+- 各 hook stdout は**独立の `hook_success` attachment** になり、10k 判定も per string。
+  3 本 × 9,000 字 = 27,000 字、5 本 × 9,000 字 = 45,000 字が全部モデル可視 inline
+- 1 本だけ 12k にすると**その 1 本だけ**が `<persisted-output>` 化し、隣の 9k は無傷
+- hooks reference の「10,000 characters per context string」「複数 hook の
+  additionalContext は all of the values が届く」の文言と整合
+- **罠**: attachment の並び順は登録順と一致しない（hook 並列実行のため非決定）。
+  multi-part 注入に使うなら各 part に自己記述ヘッダが必須
+
+Throughline では「hook の構造的想定（1 本 = 1 context string）に無い使い方」として
+**不採用**（オーナー裁定 2026-07-18）。注入は 9,500 字 push + `throughline recall` pull の
+二段構成にした（[ADR 0016](../../docs/adr/0016-push-pull-recall-injection.md)）。
+
 ## 検証手順（再現用）
 
 1. 一時 project に `.claude/settings.json` で UserPromptSubmit hook を登録し、