jigane 0.1.0__tar.gz

jigane-0.1.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Koki Takeda (kokiTakashiki)
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

jigane-0.1.0/PKG-INFO

@@ -0,0 +1,12 @@
+Metadata-Version: 2.4
+Name: jigane
+Version: 0.1.0
+Summary: GitHub の PR のレビューを助ける CLI
+License-Expression: MIT
+License-File: LICENSE
+Requires-Dist: tree-sitter>=0.25,<0.26
+Requires-Dist: tree-sitter-language-pack>=1.22,<2
+Requires-Dist: pydantic>=2.14.1,<3
+Requires-Dist: pathspec>=1.1.1
+Requires-Dist: jinja2>=3.1.6
+Requires-Python: >=3.12

jigane-0.1.0/jigane/README.md

@@ -0,0 +1,111 @@
+# jigane
+
+PR または作業ツリーの変更を受け取り、レビューの材料（判断の地図、背景、ボットの指摘）を決定的に集めて保存します。スキルの実行で LLM に指摘を作らせ、選んだ指摘から返信とレポートを書き出します。
+
+保存の置き場所はデータホスト直下のレビューごとのディレクトリで、その読み書きは `storage` と `reviews` が受け持ちます。
+
+## サブパッケージ
+
+`jigane/` の直下は、サブパッケージと、直下に残る三つのモジュールからなります。
+
+<!-- BEGIN GENERATED: package-table (scripts/generate_package_readme.py) -->
+
+| サブパッケージ | 役割 |
+| --- | --- |
+| [`commands`](commands/README.md) | 副コマンドの入口と、表示の行の組み立てを受け持ちます。 |
+| [`design`](design/README.md) | 設計書（Markdown）を、見出しの木、Mermaid の図、表に分けます。 |
+| [`figures`](figures/README.md) | 方針の図（表、Mermaid、ツリー、シーケンス図）の構造の型を持ちます。 |
+| [`findings`](findings/README.md) | 指摘の保存と選別の記録、捨てた理由を受け持ちます。 |
+| [`flaky`](flaky/README.md) | テストのファイルから、不安定になりやすい書き方（flaky の型）を静的に探します。 |
+| [`gates`](gates/README.md) | ゲートの違反と警告の一件の型、その説明の文、検出の対象の行の範囲を持ちます。 |
+| [`git`](git/README.md) | 外部コマンドの起動と、git の木の読み出しを受け持ちます。 |
+| [`groups`](groups/README.md) | 群（方針、実装、セキュリティ）の識別子、表示名、既定を持ちます。 |
+| [`judgment_map`](judgment_map/README.md) | 判断の地図、変更の宣言、変更の種類、`.jigane.toml` の規則を受け持ちます。 |
+| [`languages`](languages/README.md) | ソースファイルを tree-sitter で構文木にし、言語ごとの違いを `LanguageAdapter` の裏に閉じ込めます。 |
+| [`llm_runs`](llm_runs/README.md) | LLM の起動、実行の記録、見積もりと使用量、使った額を受け持ちます。 |
+| [`markdown`](markdown/README.md) | Markdown の柵と見出しの判別、表のセルの整形を受け持ちます。 |
+| [`policy_materials`](policy_materials/README.md) | 方針の群に渡す資料（図と表）を組みます。 |
+| [`preconditions`](preconditions/README.md) | 呼び出し側が保証している前提を確かめ、型を絞ります。 |
+| [`publishing`](publishing/README.md) | 返信とレポートの描画を受け持ちます。 |
+| [`pull_request_context`](pull_request_context/README.md) | PR の取得、変更の背景、レビューボットの指摘を受け持ちます。 |
+| [`regex`](regex/README.md) | 変更した正規表現を、LLM を使わずに数えて札にします。 |
+| [`reviews`](reviews/README.md) | レビューの組み立て、保存、読み込み、更新、選別、付属の文書を受け持ちます。 |
+| [`sequence`](sequence/README.md) | レビューが変更した宣言から、変更が届く入口（根）ごとのシーケンス図を、LLM を使わずに作ります。 |
+| [`skills`](skills/README.md) | LLM に指摘を作らせるスキル群を持ちます。 |
+| [`storage`](storage/README.md) | データの置き場の読み書き、保存物の形の検査、読み書きの失敗を受け持ちます。 |
+| [`technology_list`](technology_list/README.md) | レビューが変更したファイルの import から、使っている技術の表を LLM を使わずに作ります。 |
+
+<!-- END GENERATED: package-table -->
+
+直下に残るモジュールは次の二つです。
+
+| モジュール | 役割 |
+| --- | --- |
+| `__init__` | パッケージの版（`__version__`）を保持します |
+| `__main__` | `python -m jigane` の入口です（`jigane.commands` の `main` を呼びます） |
+
+データファイル用のディレクトリ `templates/`（返信とレポートのテンプレート）は、Python のサブパッケージではありません。
+
+## モジュールの関係
+
+サブパッケージは、下から core、feature、cli の三つの層に分かれます。層の名前は関係を示すための呼び名であり、パッケージの名前にもディレクトリにも入っていません。
+
+<!-- BEGIN GENERATED: layer-diagram (scripts/generate_package_readme.py) -->
+
+```mermaid
+flowchart TB
+    subgraph core
+        storage
+        groups
+        git
+        preconditions
+        gates
+        markdown
+        findings
+        languages
+        figures
+    end
+    subgraph feature
+        design
+        flaky
+        judgment_map
+        llm_runs
+        policy_materials
+        pull_request_context
+        regex
+        reviews
+        sequence
+        skills
+        technology_list
+        publishing
+    end
+    subgraph cli
+        commands
+    end
+    cli --> feature
+    feature --> core
+```
+
+<!-- END GENERATED: layer-diagram -->
+
+矢印は「読む」の向きです。`a --> b` は、`a` の層の中のモジュールが `b` の層の中のモジュールを import することを表します。
+
+層の決まりは次のとおりです。上の層は、下の層も同じ層も読んでかまいません。下の層は、上の層を読みません。関数の中の import と、型の注釈だけのための import（`if TYPE_CHECKING:` の中）も、この決まりの対象です。
+
+この決まりは `pyproject.toml` の `[tool.importlinter]` に層の契約として書かれ、`lint-imports`（`make lint` が走らせる）が import の向きを確かめます。図の層の割り当てと契約の層の割り当てが一致することは `tests/test_package_dependency_diagram.py` が確かめます。サブパッケージを足したときは、どれか一つの層に入れてください。上のサブパッケージの表と図は `scripts/generate_package_readme.py` が層の契約と各サブパッケージの README の先頭の一文から作るので、手で直さないでください。各サブパッケージの README の「他のモジュールとの関係」にある、読むサブパッケージと読まれるサブパッケージの名前の一覧も、`scripts/generate_readme_dependencies.py` が grimp で測った実際の import から作るので、手で直さないでください。
+
+同じ層の中の依存は、宣言したものだけを許します。宣言は `pyproject.toml` の `[tool.jigane.allowed_sibling_imports]` にあり、import する側のサブパッケージの行へ、読む兄弟を足します。新しく兄弟を読むときは、その行へ相手を足して `make generate`（Windows は `just generate`）を走らせてください。`[tool.importlinter]` の forbidden の契約は、この表と層の契約から作られます。サブパッケージを足したときも、層の契約に入れて同じ生成を走らせると、上の表と図が作り直されます。
+
+## Q&A
+
+### なぜ保存先のファイルの書き込みと更新の排他に決まった入口があるのですか
+
+保存先のファイルの書き込みは `storage.store.write_text_atomic` を通し、同じレビューへの更新は `storage.store.review_lock` で排他します。一時のファイルへ書いてから置き換えるので途中で落ちても壊れたファイルが残らず、排他がないと並行して実行した二つの群が、読んだ時点の状態へ自分の群だけを足して保存し、後の保存が先の群を消すためです。
+
+### なぜツリーの中のファイルは `git.tree_files` を通して読むのですか
+
+ツリーの中のファイルは `git.tree_files` を通して読み、ツリーの外へ出しません。ツリーは PR 由来で攻撃者が作れるので、シンボリックリンクや木の外への参照を読むとレビューする側のマシンの秘密を読み出す経路になり、その扱いを一か所に集めているためです。
+
+### なぜ外部コマンドの起動は `git.process` を通すのですか
+
+外部コマンドの起動は `git.process` を通します。この入口が、起こす git から `GIT_DIR` などの向き先を狂わせる環境変数を外し、失敗にコマンドと作業ディレクトリを添え、検査で差し替える唯一の場所になっているためです。

jigane-0.1.0/jigane/__init__.py

@@ -0,0 +1 @@
+__version__ = "0.1.0"

jigane-0.1.0/jigane/__main__.py

@@ -0,0 +1,5 @@
+import sys
+
+from jigane.commands import main
+
+sys.exit(main())

jigane-0.1.0/jigane/commands/README.md

@@ -0,0 +1,70 @@
+# jigane.commands
+
+副コマンドの入口と、表示の行の組み立てを受け持ちます。引数を解釈して副コマンドを選び、`jigane` の他のモジュールを呼んで結果を標準出力へ書き、失敗を終了コードと標準エラーに変えます。レビューの判断や保存の規則は持たず、呼び出しと表示に徹します。
+
+## 主な入口
+
+| 名前 | 役割 |
+| --- | --- |
+| `commands.main` | 解析、実行、失敗の表示を行い、終了コードを返す唯一の入口です |
+| `commands.build_parser` | 副コマンドを登録します（`subcommands/` の各モジュールの `register` を呼びます） |
+| `subcommands/<名前>.py` | 副コマンド 1 つにつき 1 ファイルです（`register` と `run` を持ちます） |
+| `context.Context` | 実行の関数へ渡す依存（Claude Code CLI を起動する関数）を持ちます |
+| `output` | 標準出力へ書く部品（行、JSON、最終的な指摘）です |
+| `views/` | 表示の行を組み立てる部品です（標準出力へは書きません） |
+| `failures.describe` | 例外を、種類、見出し、理由、次の操作へ変換します |
+| `exit_codes` | 終了コードの定数を持ちます |
+| `budget_argument.add_max_budget_argument` | `--max-budget-usd-per-call` の引数を定義します。`run` と `estimate` が共有します |
+| `group_argument` | 引数の群を入口で一度だけ `GroupId` に解き、群を取る引数を足します |
+| `mcp_argument` | `--mcps` の引数の定義と検証をします。`run` と `estimate` が共有します |
+| `consent` | `jigane run` が Claude Code CLI を起動する前に、利用者の同意を取ります |
+| `terms_consent` | `jigane languages fetch` が文法を取得する前に、利用規約への同意を取ります |
+| `public_urls` | 同意の画面が示す規約、プライバシー、SECURITY.md の URL を、入れた版に合わせて作ります |
+| `run_guide.run_guide` | 見積もりの JSON の `run_guide`（未実行の群の案内の文）を、計画の種類と群ごとに返します |
+| `generation.generate` | 返信とレポートの文面を作る共通の手順です |
+
+## 副コマンド
+
+- レビューの作成と更新：`new`、`refresh`（出所の型から更新の手への振り分け `refresh_review` を持ち、種類ごとの更新は `reviews.lifecycle` と `design.review_documents` が持ちます）、`delete`、`archive`、`unarchive`
+- 表示：`list`、`show`、`diagrams`、`sequence`、`usage`、`estimate`
+- 設計書の `new design-doc`：設計書をレビューします。実装の前に方針の綻びを問います。出所は設計書のパスと版、コードの版、選んだファイル、`--with` で選んだ付属の文書のパスと版です。
+- 設計書の `design suggest`：設計書の名指しから、突き合わせるファイルと、付属の文書の候補（同じ場所の reports/ の .md）を示します。保存はしません。
+- スキルの実行：`run`
+- 検査と一覧：`flaky`（テストの flaky の検査だけを走らせます）、`technology-list`（変更したファイルが使う技術の表を出します）、`languages`（言語の一覧、有効化、無効化、文法の取得）
+- 最終的な指摘の編集：`pick`、`unpick`、`hold`、`unhold`、`object`、`unobject`
+- 出力：`export-reply`、`export-report`、`templates`
+
+副コマンドの一覧は `subcommands/` のモジュールそのものであり、別に対応表を持ちません。
+
+## 他のモジュールとの関係
+
+<!-- BEGIN GENERATED: dependencies (scripts/generate_readme_dependencies.py) -->
+
+読むサブパッケージ：`design`、`figures`、`findings`、`flaky`、`gates`、`git`、`groups`、`judgment_map`、`languages`、`llm_runs`、`publishing`、`pull_request_context`、`reviews`、`sequence`、`skills`、`storage`、`technology_list`
+
+読まれるサブパッケージ：なし
+
+<!-- END GENERATED: dependencies -->
+
+- `jigane.reviews.lifecycle` でレビューを読み込み、`jigane.design.review_documents` で設計書のレビューを作成と更新し、`jigane.skills` の `run` で群を走らせます。
+- `jigane.__main__` が `commands.main` を呼びます。
+
+副コマンドの引数、機械が読む出力（`--json`）、失敗の JSON の鍵（`failures` の `Failure.to_dict`）、終了コード（`exit_codes`）は、外の道具との契約です。機械が読む出力を出す副コマンドは、すべて `--json` を持ちます。失敗は `--json` を付けたとき（`sequence` は `--format json` を付けたとき）だけ、標準出力に `{"error": {...}}` で出ます。`sequence` は `--json` を持たず、出力の形を `--format` で選びます。例外は、人向けの進捗だけを出す `languages fetch` です。
+
+## Q&A
+
+### なぜ副コマンドを足すときは `subcommands/` にモジュールを足すのですか
+
+副コマンドを足すときは `subcommands/` にモジュールを足します。`register` を持たないモジュールがあると、パーサの組み立てで失敗します。副コマンドの一覧は `subcommands/` のモジュールそのものであり、ファイルを足せばコマンドが足される形にして、副コマンドを足すたびに巨大な分岐と対応表を直す必要をなくしたためです。
+
+### なぜ新しい例外の型を足すときは `failures.KINDS` にも行を足すのですか
+
+新しい例外の型を足すときは `failures.KINDS` にも行を足します。足し忘れた型は `unexpected` として表示されます。`KINDS` に当たらない型は、型ごとの見出しと次の操作を持たない `unexpected` の種類に落ちるためです。
+
+### なぜ Namespace を受けるのは各副コマンドの run と最上位の受け口だけなのですか
+
+Namespace を受けるのは各副コマンドの run と最上位の受け口だけで、ほかの関数には名前と型の付いた値で渡します。共有の関数が Namespace をまるごと受けると、どの属性を読むかがシグネチャに現れず、副コマンドの引数を変えても型検査が食い違いを見つけないためです。
+
+### なぜ `views/` は行を返すだけで、標準出力へ書くのは `output` と `subcommands/` なのですか
+
+`views/` は行を返すだけで、標準出力へ書くのは `output` と `subcommands/` です。文字と JSON のどちらで出すかを出口の一か所で決めるためと、試験が標準出力を捕まえずに行を比べられるようにするためです。

jigane-0.1.0/jigane/commands/__init__.py

@@ -0,0 +1,103 @@
+"""jigane の CLI の唯一の入口。
+
+副コマンドは `subcommands/` に置かれたモジュールとして並ぶ。副コマンドの一覧は
+`subcommands/` のモジュールそのものであり、別に対応表を持たない。
+"""
+
+import argparse
+import importlib
+import io
+import json
+import pkgutil
+import sys
+import traceback
+from collections.abc import Callable, Sequence
+from dataclasses import replace
+
+from jigane import __version__
+from jigane.commands import failures, subcommands
+from jigane.commands.context import Context
+from jigane.commands.exit_codes import EXIT_INTERRUPTED, EXIT_PROCESSING_FAILURE
+from jigane.commands.output import install_warning_handler
+from jigane.languages import registry
+from jigane.llm_runs import claude
+
+
+class _StrictParser(argparse.ArgumentParser):
+    """副コマンドの解釈器も、オプションの短縮形を受けない。"""
+
+    def __init__(self, **kwargs: object) -> None:
+        kwargs["allow_abbrev"] = False
+        super().__init__(**kwargs)  # type: ignore[arg-type]
+
+
+def build_parser() -> argparse.ArgumentParser:
+    """`subcommands/` の各モジュールの `register` を呼んで、副コマンドを登録する。"""
+    parser = _StrictParser(prog="jigane")
+    parser.add_argument("--version", action="version", version=f"jigane {__version__}")
+    subparsers = parser.add_subparsers(dest="command", metavar="<command>")
+    for module_info in pkgutil.iter_modules(subcommands.__path__):
+        module = importlib.import_module(f"{subcommands.__name__}.{module_info.name}")
+        module.register(subparsers)
+    return parser
+
+
+def _write_streams_as_utf8() -> None:
+    # Windows は標準出力と標準エラーの符号化を、パイプやリダイレクトでは cp1252 などの
+    # ロケールの符号化にする。日本語の出力がそのまま UnicodeEncodeError になるため、
+    # 入口で UTF-8 に揃える。argparse の --help も解釈の途中で書くので、解釈の前に行う
+    for stream in (sys.stdout, sys.stderr):
+        if isinstance(stream, io.TextIOWrapper) and stream.encoding.lower() not in {
+            "utf-8",
+            "utf8",
+        }:
+            stream.reconfigure(encoding="utf-8")
+
+
+def _wants_machine_output(args: argparse.Namespace) -> bool:
+    # sequence は --json を持たず、--format json で機械が読む出力を選ぶ
+    return bool(getattr(args, "json", False)) or getattr(args, "format", None) == "json"
+
+
+def main(
+    argv: Sequence[str] | None = None,
+    *,
+    invoke: claude.Invoke = claude.run,
+    is_terminal: Callable[[], bool] | None = None,
+    read_answer: Callable[[str], str] | None = None,
+) -> int:
+    _write_streams_as_utf8()
+    parser = build_parser()
+    args = parser.parse_args(argv)
+    if args.command is None:
+        parser.print_help(sys.stderr)
+        return EXIT_PROCESSING_FAILURE
+    install_warning_handler()
+    try:
+        if args.command == "languages":
+            # 使えない外の言語があっても、languages の一覧と disable で直せるようにする。
+            # ここで止めると、直す手段そのものが塞がれる
+            pass
+        else:
+            # 言語を使わない副コマンドも止める。登録は副コマンドの中のどこからでも引かれ、
+            # 使うかどうかを副コマンドごとに見分ける手段が無いため、壊れた状態を一律に先に知らせる
+            registry.require_ready()
+        context = Context(invoke=invoke)
+        if is_terminal is not None:
+            context = replace(context, is_terminal=is_terminal)
+        if read_answer is not None:
+            context = replace(context, read_answer=read_answer)
+        return int(args.handler(args, context))
+    except KeyboardInterrupt:
+        return EXIT_INTERRUPTED
+    except Exception as error:  # noqa: BLE001 最上位の受け口。型の分からない失敗を報告に回す
+        failure = failures.describe(error)
+        if failure.kind == failures.UNEXPECTED:
+            # 型が表に無い失敗は、原因を辿れるよう、人が読む標準エラーに経路も残す
+            traceback.print_exc()
+        print(f"jigane: {failure.reason}", file=sys.stderr)
+        if failure.action:
+            print(f"次の操作: {failure.action}", file=sys.stderr)
+        if _wants_machine_output(args):
+            print(json.dumps({"error": failure.to_dict()}, ensure_ascii=False))
+        return EXIT_PROCESSING_FAILURE

jigane-0.1.0/jigane/commands/budget_argument.py

@@ -0,0 +1,31 @@
+"""`--max-budget-usd-per-call` の引数の定義。`run` と `estimate` が同じものを使う。"""
+
+import argparse
+
+from jigane.groups.definitions import GROUPS
+from jigane.llm_runs.defaults import resolve_run_defaults
+
+
+def _budget_defaults_text() -> str:
+    budgets = {
+        group: resolve_run_defaults(group.identifier, None, None).budget.max_budget_usd
+        for group in GROUPS
+    }
+    return "、".join(f"{group.label}は {budget:g} USD" for group, budget in budgets.items())
+
+
+def add_max_budget_argument(parser: argparse.ArgumentParser) -> None:
+    parser.add_argument(
+        "--max-budget-usd-per-call",
+        type=float,
+        default=None,
+        help=(
+            "Claude Code CLI の 1 回の起動あたりの上限の目安です（USD。超えることがあります）。"
+            f"省略すると群の既定（{_budget_defaults_text()}）を使います。"
+            "方針は起動が 1 回なので、この値が実行全体の目安になります。"
+            "実装とセキュリティはシャードと役ごとに複数回起動するため、"
+            "実行全体ではこの数倍を使うことがあります。"
+            "見込みが目安以上のときは、警告して続けます。"
+            "estimate では、この値で上限を決めた見積もりを出します"
+        ),
+    )

jigane-0.1.0/jigane/commands/consent.py

@@ -0,0 +1,218 @@
+"""`jigane run` が Claude Code CLI を起動する前に取る、利用者の同意。"""
+
+import sys
+from collections.abc import Callable
+from dataclasses import dataclass
+
+from jigane.commands.public_urls import installed_version, terms_urls
+from jigane.git.process import CONSENT_PROMPT_END
+from jigane.groups.definitions import GROUP_BY_ID, MACRO, MICRO, SECURITY, Effort, GroupId
+from jigane.llm_runs import claude
+from jigane.llm_runs.defaults import resolve_run_defaults
+from jigane.reviews.lifecycle import ReviewError
+from jigane.skills.assembly import AssemblyInput
+from jigane.skills.estimate_result import Estimate
+from jigane.skills.estimator import estimate_of
+from jigane.skills.mcp import ALL_TOOLS_NOTICE, NO_MCP, McpSelection
+
+
+class ConsentDeclinedError(Exception):
+    """利用者が確認に y と答えなかった。"""
+
+
+class ConsentUnavailableError(Exception):
+    """標準入力が端末でないので、確認を取れなかった。"""
+
+
+@dataclass(frozen=True)
+class GroupBreakdown:
+    """一つの群について、起動の前に分かる分の内訳。"""
+
+    group: GroupId
+    discovery_calls: int
+    per_call_usd: float
+    # 検証役を持つ群の回数は見つかった指摘の数で決まり、事前には分からない
+    has_verifier: bool
+    # 記録にある前回の実行の実績。記録が無ければ None
+    past_cost_usd: float | None
+
+    @property
+    def known_usd(self) -> float:
+        return self.discovery_calls * self.per_call_usd
+
+
+@dataclass(frozen=True)
+class LaunchPlan:
+    """この実行が最初に分かる範囲で起動する回数と、1 回あたりの上限の目安。
+
+    回数と目安の出所は groups だけで、他の値はそこから導く。
+    """
+
+    group: GroupId
+    # 同じレビューの群の内訳。この実行の群を必ず含む
+    groups: tuple[GroupBreakdown, ...]
+    can_increase: bool
+    effort: Effort | None
+    # 出力と推論の分を含めた見込み。見込みを持つのは設計書の形の方針だけで、他は None
+    expected_total_usd: float | None = None
+    mcp: McpSelection = NO_MCP
+
+    def __post_init__(self) -> None:
+        if sum(item.group == self.group for item in self.groups) != 1:
+            raise ValueError(f"groups に {self.group} の内訳がちょうど 1 つ無い")
+
+    @property
+    def breakdown(self) -> GroupBreakdown:
+        return next(item for item in self.groups if item.group == self.group)
+
+    @property
+    def minimum_calls(self) -> int:
+        return self.breakdown.discovery_calls
+
+    @property
+    def max_budget_usd_per_call(self) -> float:
+        return self.breakdown.per_call_usd
+
+    @property
+    def known_usd(self) -> float:
+        return sum(item.known_usd for item in self.groups)
+
+
+def _breakdown_of(group: GroupId, estimate: Estimate, per_call_usd: float) -> GroupBreakdown:
+    past = estimate.past_run
+    return GroupBreakdown(
+        group,
+        estimate.discovery_calls,
+        per_call_usd,
+        estimate.has_verifier,
+        None if past is None else past["cost_usd"],
+    )
+
+
+def launch_plan(
+    assembly: AssemblyInput,
+    group: GroupId,
+    settings: claude.RunSettings,
+    mcp: McpSelection = NO_MCP,
+) -> LaunchPlan:
+    """見積もりと同じ関数から、確実に起動する回数を求める。"""
+    budget = settings.budget.max_budget_usd
+    estimates = {group: estimate_of(assembly, group, mcp)}
+    for each in (MACRO, MICRO, SECURITY):
+        if each in estimates:
+            continue
+        try:
+            estimates[each] = estimate_of(assembly, each)
+        except ReviewError:
+            # 他の群の材料が欠けていても、この群の実行は止めない。その群は表から外す
+            continue
+    breakdowns = tuple(
+        _breakdown_of(
+            each,
+            estimates[each],
+            budget
+            if each == group
+            else resolve_run_defaults(
+                each, estimates[each].policy_shape(), None
+            ).budget.max_budget_usd,
+        )
+        for each in (MACRO, MICRO, SECURITY)
+        if each in estimates
+    )
+    # 方針は発見役の 1 回だけで検証役を持たない。他は発見役がシャードごとに 1 回で、
+    # 検証役は指摘の数で決まり、数にも分割にも上限が無い
+    # （finding_model.py の発見役の出力のモデルは findings の件数に上限を持たず、
+    # split_candidates は 10 件ずつ割る）。
+    # 検証役は最小の回数には入らない
+    return LaunchPlan(
+        group,
+        breakdowns,
+        group != MACRO,
+        settings.effort,
+        estimates[group].expected_total_usd(),
+        mcp=NO_MCP if group == MACRO else mcp,
+    )
+
+
+def _group_row(item: GroupBreakdown) -> str:
+    verifier = "検証役は回数が未定" if item.has_verifier else "検証役なし"
+    past = "" if item.past_cost_usd is None else f"、前回の実績 {item.past_cost_usd:.4f} USD"
+    return (
+        f"  {GROUP_BY_ID[item.group].label}: 発見役 {item.discovery_calls} 回、{verifier}、"
+        f"発見役の回数 × 1 回の目安 {item.known_usd:g} USD{past}"
+    )
+
+
+def consent_text(
+    plan: LaunchPlan, version_lookup: Callable[[], str | None] = installed_version
+) -> list[str]:
+    label = GROUP_BY_ID[plan.group].label
+    calls = (
+        f"少なくとも {plan.minimum_calls} 回。検証役の回数に上限はありません"
+        "（見つかった指摘の数で決まります）"
+        if plan.can_increase
+        else f"{plan.minimum_calls} 回"
+    )
+    per_call = plan.max_budget_usd_per_call
+    mcp = (
+        [f"使う MCP: {', '.join(plan.mcp.names)}", f"{ALL_TOOLS_NOTICE}。"]
+        if plan.mcp.servers
+        else ["MCP は使いません"]
+    )
+    lines = [
+        f"{label}の実行は Claude Code CLI（claude -p）を起動します。",
+        *mcp,
+        f"起動の回数: {calls}",
+        f"effort: {plan.effort or '渡さない（Claude Code CLI の既定）'}",
+        f"この群の内訳（{label}）:",
+        (
+            f"  発見役: {plan.minimum_calls} 回 × 1 回の目安 {per_call:g} USD"
+            f" = {plan.minimum_calls * per_call:g} USD"
+        ),
+    ]
+    if plan.can_increase:
+        lines.append("  検証役: 回数は見つかった指摘の数で決まり、事前には分かりません")
+    if plan.expected_total_usd is not None:
+        lines.append(
+            f"出力と推論の分を含めた見込み: {plan.expected_total_usd:.2f} USD"
+            + (
+                "（1 回の起動の額に達する見込みです。警告して続けます）"
+                if plan.expected_total_usd >= per_call
+                else ""
+            )
+        )
+    lines.append("同じレビューの群ごとの内訳:")
+    lines.extend(_group_row(item) for item in plan.groups)
+    lines.append(
+        f"  発見役の回数 × 1 回の目安の和（検証役の分を含まない）: {plan.known_usd:g} USD"
+    )
+    lines.append(
+        "実際の額は、検証役の回数と出力の量で変わり、この額より少ないことも多いこともあります。"
+    )
+    lines.append("1 回の目安は往復の合間にしか確かめられないので、超えることがあります。")
+    security = terms_urls(version_lookup()).security
+    lines.append(f"渡す情報の一覧: {security} の「レビューの入力と Claude Code」の節")
+    return lines
+
+
+def is_yes(answer: str) -> bool:
+    """確認への答えが y か yes（大文字小文字と前後の空白を問わない）か。"""
+    return answer.strip().lower() in ("y", "yes")
+
+
+def require_consent(
+    plan: LaunchPlan,
+    *,
+    is_terminal: Callable[[], bool],
+    read_answer: Callable[[str], str],
+) -> None:
+    """y か yes のときだけ返る。
+
+    それ以外の答えは ConsentDeclinedError、端末でないときは ConsentUnavailableError。
+    """
+    if not is_terminal():
+        raise ConsentUnavailableError("同意を得られないので起動しません。端末から実行してください")
+    for line in consent_text(plan):
+        print(line, file=sys.stderr)
+    if not is_yes(read_answer(f"続けますか{CONSENT_PROMPT_END}")):
+        raise ConsentDeclinedError("同意が得られなかったので起動しませんでした")

jigane-0.1.0/jigane/commands/context.py

@@ -0,0 +1,44 @@
+"""副コマンドの実行の関数へ渡す、注入する依存。"""
+
+import sys
+from collections.abc import Callable
+from dataclasses import dataclass, field
+
+from jigane.llm_runs import claude
+
+
+def stdio_is_terminal() -> bool:
+    return sys.stdin.isatty() and sys.stdout.isatty()
+
+
+def read_answer(prompt: str) -> str:
+    # 標準出力は --json の本体に空ける
+    print(prompt, end="", file=sys.stderr, flush=True)
+    try:
+        return input()
+    except EOFError:
+        # 入力が閉じた。答え無しは断りと同じなので、呼ぶ側が y でない答えとして扱える空を返す。
+        # 問いの行は改行されずに残るので、次の出力が同じ行に続かないよう改行する
+        print(file=sys.stderr)
+        return ""
+
+
+@dataclass(frozen=True)
+class Context:
+    """入口が組み立て、解析した引数とともに実行の関数へ渡す依存。
+
+    Attributes:
+        invoke: Claude Code CLI を起動する関数。検査は偽物に差し替える。
+        is_terminal: 標準入力と標準出力がともに端末かを返す関数。同意を取れるかの判定に使う。
+        read_answer: 質問を出して利用者の答えを読む関数。
+    """
+
+    invoke: claude.Invoke
+    # 呼び出しのたびにモジュールの関数を引く。検査が差し替えるのはこのモジュールの関数
+    # なので、関数を直に渡すと差し替えが効かない
+    is_terminal: Callable[[], bool] = field(
+        default=lambda: stdio_is_terminal()  # noqa: PLW0108 差し替えが効くよう呼び出しのたびに引く
+    )
+    read_answer: Callable[[str], str] = field(
+        default=lambda prompt: read_answer(prompt)  # noqa: PLW0108 差し替えが効くよう呼び出しのたびに引く
+    )

jigane-0.1.0/jigane/commands/exit_codes.py

@@ -0,0 +1,8 @@
+"""終了コード。値は要件 4.10 節に定める。"""
+
+EXIT_OK = 0
+EXIT_GATE_VIOLATION = 1
+EXIT_PROCESSING_FAILURE = 2
+EXIT_INCOMPLETE_COVERAGE = 3
+# シェルの慣行（128 + SIGINT）に合わせた値
+EXIT_INTERRUPTED = 130