Skip to content

zsh の補完: 分岐の文字列がそろっていれば候補が出なくても検査を通る → zsh を起動して全道の実際の候補を比べ、手元と CI で退行を落とす(#455) - #457

Merged
takemi-ohama merged 2 commits into
mainfrom
design/issue-455
Oct 12, 2026

Conversation

@takemi-ohama

@takemi-ohama takemi-ohama commented Oct 12, 2026 •

Copy link
Copy Markdown
Contributor

#455 の要求と受け入れ条件の写し、および設計文書を追加します(スプリント m8a)。設計は、zsh を起動して全道の補完の候補を比べ、そのテストを CI でも走らせる方針です。あわせて用語集に 1 語を足しています。

利用者向けの変化

  • 無し

移行の手順

  • 無し

変更の要点

テスト

supervise.py の run のステップの結果です。

ステップ exit 結果
glossary 0 ok(宣言と用語集が揃っている)
requirements-check 2 stopped(issues/issue-455-requirements.md を読めない: [Errno 2] No such file or ...)
  • requirements-check の終了コード 2 は失敗ではありません。要求の文書(issues/issue-455-requirements.md)をまだ書いていない時点で打つ検査で、「仕様のコピーが無いので要求の工程を通す」という意味です。要求はこの PR で書きました。

モード: standard / 通した工程: 設計 → 要求と受け入れ条件 → ドキュメントレビュー

🤖 Generated with Claude Code

決めたこと

issues/issue-455-design.md

  • 決定 1: 利用者の端末と同じ経路で候補を取るため、zpty で対話の zsh を起こし compadd を包む
  • 決定 2: 分岐ごとの誤りを道ごとに見つけるため、走査の集合のすべての道を zsh で回す
  • 決定 3: Pull Request の検査で退行を落とすため、CI の pytest のジョブに zsh を入れ、CI では zsh が無ければ落とす
  • 決定 4: zsh が無い環境で静的な検査まで飛ばないよう、補完の実行テストを別のファイルに置く

takemi-ohama and others added 2 commits October 12, 2026 16:38
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
- zpty で対話の zsh を起こし compadd を包んで、走査の集合の全道(122 行)の候補を比べる
- CI の pytest のジョブに zsh を入れ、印の環境変数で zsh を必須にする
- 用語集に「補完の実行テスト」を足す

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

@takemi-ohama takemi-ohama left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 cross-review | round 1 | codex | APPROVE

指定されたドメインモデル節と用語集の差分に、critical / major に該当する修正指摘はありません。判断根拠: Mission・Vision・Value 3。

@takemi-ohama takemi-ohama left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 cross-review | round 1 | kiro | APPROVE

設計 PR #455 のドメインモデルの節と用語集の差分だけを見た。コンテキストマップ(cli=顧客 / ci=供給者)の関係は宣言され、集約ごとに書き換える持ち主が決まり、不変条件 I1〜I9 に相互の矛盾は無く、ドメインイベント E1〜E7 は要求 (issues/issue-455-requirements.md) の E1〜E7 の番号と意味を引き継ぎ、各イベントに受け手がある(E7 は要求と同じく終端のクリーンアップ)。用語集の差分(docs/glossary/glossary.json・docs/glossary.md に『補完の実行テスト』を cli へ追加)は設計の用語表と一致し、『一致テスト』『補完の例外』は変えないと宣言どおり未変更。この範囲に critical / major の修正アクションは見つからなかった。

@takemi-ohama takemi-ohama left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 cross-review | round 2 | claude | APPROVE

要求・設計・決定の記録を受け入れ条件 1〜11 と不変条件 I1〜I9 で突き合わせ、確定仕様の改め先(決定 9・13・テスト観点の最後の行・決定番号 14〜17)・一致テストの集合(NAME_PATHS・CONTEXT_PATHS・COMPLETION_NAME_EXCEPTIONS)・ci.yml の pytest のジョブ・tmux_harness の実在を確かめた。critical / major に当たる修正アクションは無い。根拠: Mission・Vision。

@takemi-ohama takemi-ohama left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 cross-review | round 2 | kiro | APPROVE

設計 PR #457(zsh の補完の実行テストと CI での実行)の全体を見た。要求・設計・テスト設計の 3 文書は受け入れ条件 1〜11 と不変条件 I1〜I9 を相互に対応づけ、退けた案(Python の pty・script・代表の道だけ・CI の飛ばし・CI 環境変数での判定)はいずれも採用節に残っていない。設計が断定する数(NAME 14・CONTEXT 35・ct 12・name&context 14・走査 122 行)は、実際の tests/cli/test_name_context_consistency.py と lib/devbase/cli.py の parser を手元で走査した値と一致した。改める確定仕様の位置(決定 9=665 行・決定 13=689〜693 行・テスト観点の『手元の zsh で確かめる』=609 行・『補完が --context を出す位置』の近傍・決定の記録・関連リンク)はすべて実在し、置き換え対象の文言も設計の記述どおりだった。ci.yml の pytest ジョブ(ubuntu-latest・matrix 3.10/3.13・timeout-minutes 15・uv sync --locked → uv run --locked pytest tests/ -q)は設計の前提と一致し、zsh の導入手順と印の追加・tests/ci での I9 の固定は現行の test_ci_workflow.py の構造と矛盾しない。用語集の差分(補完の実行テストの cli への追加)は設計の用語表と一致し round 1 で確認済み。criterion #1(利用者の経路)・#2(秘密/認可/データ/戻せない操作)に該当する変更は無く、criterion #4(実装者が別物を作る食い違い)に当たる修正アクションも見つからなかった。

@takemi-ohama

Copy link
Copy Markdown
Contributor Author

🔧 /ndf:fix サマリ | commit (なし)

対応件数: critical=0 / major=0 / minor=0(合計 0 件)
決着: 0 件 / 見送り: 0 件 / 却下: 0 件
CI: NONE

@takemi-ohama
takemi-ohama marked this pull request as ready for review October 12, 2026 08:02
@takemi-ohama takemi-ohama added the design-approved ドキュメントレビューを人間が承認した label Oct 12, 2026
@takemi-ohama
takemi-ohama merged commit 383274d into main Oct 12, 2026
10 checks passed
@takemi-ohama takemi-ohama mentioned this pull request Oct 12, 2026
3 tasks done
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

design-approved ドキュメントレビューを人間が承認した

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant