takt 0.47.0 → 0.48.0

package/builtins/ja/facets/knowledge/e2e-testing.md

@@ -28,6 +28,18 @@ E2Eテストはユーザーから見える振る舞いを観測する。設定
 | 設定や内部状態だけを確認してユーザー-visible な結果を見ていない | REJECT |
 | 実外部環境に依存する確認しかなく、主要境界の deterministic test がない | 警告またはREJECT |
 
+## 否定契約の観測
+
+E2E で権限、実行時に選択される能力・バックエンド・オプション、設定、拒否、隔離を確認する場合、出力全体への文字列否定は証拠として弱い。
+対象の行、イベント、レコード、フィールド、呼び出し引数などを取り出し、禁止値ごとに検査することで、順序、大小文字、空白、区切り、部分漏れによる見逃しを防ぐ。
+
+| 基準 | 判定 |
+|------|------|
+| 「特定の一文が出ていない」だけで拒否・非継承・隔離を検証した扱いにする | REJECT |
+| 許可された値の表示だけを確認し、禁止値が末端処理へ渡っていないことを見ていない | REJECT |
+| 観測単位を抽出して、禁止値・拒否値・非継承値が含まれないことを値単位で確認する | OK |
+| 同じシナリオで許可側と拒否側、継承側と非継承側を比較できる | OK |
+
 ## UXルートの洗い出し
 
 E2Eテストの網羅性はユーザー操作ルートの洗い出しに依存する。ドキュメントではなくコードから起点を特定する。
@@ -77,6 +89,7 @@ E2Eテストは非決定的な要因で失敗しやすい。
 | プロセスリーク | タイムアウトと強制終了を設定する |
 | 環境依存 | テスト実行に必要な前提条件を明示的にセットアップする |
 | 実行順序依存 | 各テストが独立して実行できるよう、状態を初期化する |
+| 既存規約から外れた timeout/cleanup | 同種 E2E の既存規約に合わせる |
 
 ```typescript
 // NG - 固定 sleep でタイミングを合わせる

package/builtins/ja/facets/knowledge/existing-system.md

@@ -40,9 +40,9 @@
 
 | 状況 | 判断 |
 |------|------|
-| コンポーネント分割した方がきれいだが、今回の修正に不要 | 変更しない |
+| コンポーネント分割した方がきれいだが、要求と因果関係がない | 変更しない |
 | Props 型名や配置を一般作法へ寄せたいだけ | 変更しない |
-| 既存構造のままだと要求を満たせない | 最小範囲で変更する |
+| 既存構造のままだと要求を満たせない | 因果関係のある範囲で変更する |
 | 既存構造が不具合原因そのもの | 理由と影響範囲を明記して変更する |
 
 ## コメントとテストの意味

package/builtins/ja/facets/knowledge/takt.md

@@ -77,6 +77,17 @@ ProviderAgent.call(prompt, options) → AgentResponse
 4. config.yaml（プロバイダー一致時）
 5. プロバイダーデフォルト
 
+## 補助入口の契約
+
+TAKT では workflow 実行経路だけでなく、preview、doctor、workflow summary、validation、report も利用者に見える契約入口である。設定値、provider、model、tool、権限、出力契約を表示・検証する補助入口は、runtime と同じ正規化済み入力、resolver、override 順を使う。
+
+| 基準 | 判定 |
+|------|------|
+| runtime と preview が別々の入力で provider、model、tool、権限を解決している | REJECT |
+| preview に値が表示されるだけで、runtime と同じ override 条件を検証していない | REJECT |
+| doctor や validation が正常とする設定が runtime では別条件により失敗する | 警告 |
+| runtime と補助入口が同じ正規化済み入力または同じ resolver を共有している | OK |
+
 ## ファセット組み立て
 
 faceted-prompting モジュールは TAKT 本体に依存しない独立モジュール。

package/builtins/ja/facets/policies/existing-system-respect.md

@@ -1,19 +1,19 @@
 # 既存システム尊重ポリシー
 
-リリース済みまたは運用中の既存システムでは、要求達成に必要な最小差分だけを行い、既存契約を不用意に変えない。
+リリース済みまたは運用中の既存システムでは、要求と因果関係のある変更を行い、因果関係のない既存契約を変えない。
 
 ## 原則
 
 | 原則 | 基準 |
 |------|------|
 | 既存契約優先 | 既存利用者、テスト、運用が依存する契約を保持する |
-| 最小差分 | 要求達成に必要な変更だけを残す |
+| 因果差分 | 要求と因果関係のある変更を行い、因果関係のない変更を排除する |
 | 近接性より必要性 | 変更箇所に近いことを変更理由にしない |
-| 既存構造尊重 | ファイル配置、型名、公開API、責務境界を明示要求なしに変えない |
+| 既存構造尊重 | ファイル配置、型名、公開API、責務境界を要求と因果関係なく変えない |
 | コメント保全 | 意図、制約、算出根拠を示すコメントを削除しない |
 | テストの契約性 | 既存テストが検証する挙動を軽微扱いしない |
-| 改善の分離 | 作法改善や整理は要求と直接関係する場合に限定する |
-| 保守制約優先 | 一般的な品質改善より、既存挙動と既存構造の保持を優先する |
+| 改善の因果判定 | 作法改善・リファクタは要求と因果関係がある場合に実施する。因果関係のない改善は混ぜない |
+| 無関係保護優先 | 要求と因果関係のない既存挙動・構造の保持を優先する |
 
 ## 変更境界
 
@@ -22,21 +22,22 @@
 | 要求を満たすために不可欠な変更 | OK |
 | 不可欠な変更を接続するための呼び出し元更新 | OK |
 | 不可欠な変更の副作用を止めるための局所修正 | OK |
+| 要求と因果関係のある構造変更・リファクタ | OK |
 | 変更ファイル内という理由だけの整理 | REJECT |
-| 明示要求のないファイル移動、型名変更、公開API変更 | REJECT |
-| フレームワーク作法の改善を混ぜる | REJECT |
-| 別PRで扱える改善を同時に入れる | REJECT |
+| 要求と因果関係のないファイル移動、型名変更、公開API変更 | REJECT |
+| フレームワーク作法の改善を混ぜる（要求と因果関係がない場合） | REJECT |
+| 要求と因果関係のない改善を同時に入れる | REJECT |
 
 ## 他ポリシーとの優先順位
 
-既存システムの保守では、coding、frontend、design-fidelity、testing などの一般的な品質基準を、要求達成に必要な範囲へ制限して適用する。
+既存システムの保守では、coding、frontend、design-fidelity、testing などの一般的な品質基準を、要求と因果関係のある範囲で適用する。
 
 | 衝突 | 判定 |
 |------|------|
-| 一般品質基準は改善を推奨するが、要求には不要 | 変更しない |
-| 既存構造は理想的でないが、今回の要求を満たせる | 既存構造を維持する |
+| 一般品質基準は改善を推奨するが、要求と因果関係がない | 変更しない |
+| 既存構造は理想的でないが、要求と因果関係がない | 既存構造を維持する |
 | 品質基準を満たすには既存契約変更が必要 | ユーザーの明示要求または計画上の根拠が必要 |
-| 不具合修正に必要な最小の構造変更 | 理由と影響範囲を明記して実施する |
+| 要求と因果関係のある構造変更 | 理由と影響範囲を明記して実施する |
 
 ## 観測可能契約
 
@@ -44,11 +45,11 @@ UI、アクセシビリティ、テスト、ログ、API、型、ファイル配
 
 | 契約 | 変更条件 |
 |------|----------|
-| UI文言、アクセシビリティ名、role/state | 要求に直接含まれる場合のみ変更する |
-| hook の戻り値、Props 型名、公開関数名 | 呼び出し元更新が要求達成に不可欠な場合のみ変更する |
+| UI文言、アクセシビリティ名、role/state | 要求と因果関係がある場合のみ変更する |
+| hook の戻り値、Props 型名、公開関数名 | 要求と因果関係のある呼び出し元更新に不可欠な場合のみ変更する |
 | テスト期待値 | 仕様変更が要求されている場合のみ変更する |
 | コメント | 誤りを直す場合、またはコードで完全に不要になった場合のみ変更する |
-| ファイル配置 | 既存構造では要求を満たせない場合のみ変更する |
+| ファイル配置 | 要求と因果関係がある場合のみ変更する |
 
 ## テスト変更
 
@@ -70,4 +71,4 @@ UI、アクセシビリティ、テスト、ログ、API、型、ファイル配
 |------|------|
 | 必須変更 | これがないと要求を満たせない |
 | 関連変更 | 必須変更を接続、検証、整合させるために必要 |
-| 不要変更 | 読みやすさ、作法、ついで整理、将来拡張だけが理由 |
+| 不要変更 | 要求との因果関係がなく、読みやすさ、作法、ついで整理、将来拡張だけが理由 |

package/builtins/ja/facets/policies/testing.md

@@ -12,6 +12,7 @@
 | 独立性 | 他のテストや実行順序に依存しない |
 | 再現性 | 時間やランダム性に依存せず、毎回同じ結果 |
 | 非実行資産を固定しない | 実行時の振る舞いを定義しない本文や章構成を CI の失敗条件にしない |
+| 否定契約を観測単位で検証 | 禁止・拒否・非継承・非対応は、完全一致文字列の不在だけで合格にしない |
 
 ## カバレッジ基準
 
@@ -113,6 +114,33 @@ test('ユーザーが存在しない場合、NotFoundエラーを返す', async
 | 変更対象関数の return / throw / catch / early return を列挙せず、代表的な失敗経路を取りこぼしている | REJECT |
 | 同じ責務の既存分岐にも、戻り値・副作用・イベント・エラー分類の契約を検証するテストがある | OK |
 
+## 契約テストの十分性
+
+新しい設定値、実行時に選択される能力・バックエンド・オプション、権限、出力契約を追加・変更した場合、テストは値の存在ではなく、契約を変える分岐条件を踏んでいることを確認する。
+
+| 基準 | 判定 |
+|------|------|
+| 新しいオプションの正常系だけを確認している | 警告 |
+| 未設定、設定、不正値、継承、非継承、override、非対応対象のうち、要件に関係する分岐を検証していない | REJECT |
+| 利用者向けの表示・検証用入口で、主実行経路と同じ契約になることを確認していない | REJECT |
+| 値の表示だけを確認し、実行時に使われる解決入力と一致するか検証していない | REJECT |
+| 漏れ検証を完全一致文字列だけで行い、順序、大小文字、空白、部分漏れの違いを見逃す | REJECT |
+| 空文字列、空白だけの文字列、空配列、大小文字違いなど、設定境界で正規化対象になり得る値を検証していない | 警告。契約の主要分岐なら REJECT |
+| 入口から末端呼び出しまで、正常系、拒否系、非継承系を確認している | OK |
+
+## 否定・非継承・拒否のテスト
+
+禁止、拒否、非継承、非対応、隔離を検証するテストは、出力全体に特定の文字列が存在しないことだけを根拠にしない。
+観測対象の行、レコード、フィールド、呼び出し引数などを抽出し、禁止値が順序、大小文字、空白、区切り、部分一致の形でも漏れていないことを検証する。
+
+| 基準 | 判定 |
+|------|------|
+| 完全一致文字列の不在だけで、禁止値や非継承値が使われていないと判断している | REJECT |
+| 許可値の存在確認だけで、拒否値・禁止値・非継承値が末端に渡らないことを検証していない | REJECT |
+| 出力行、イベント、レコード、フィールド、呼び出し引数などの観測単位を抽出し、禁止値ごとに検証している | OK |
+| 許可側と拒否側、継承側と非継承側を対にして検証している | OK |
+| 新しい E2E の timeout、cleanup、強制終了の扱いが既存の同種テスト規約と一致していない | 警告。プロセスリークやフレークの原因になる場合は REJECT |
+
 ## パーサー・設定境界のテスト
 
 外部ファイル、設定、YAML/JSON、CLI入力などを読む境界では、型定義どおりの入力だけを検証しても十分ではない。

package/builtins/ja/workflow-categories.yaml

@@ -24,6 +24,7 @@ workflow_categories:
     workflows:
       - backend
       - backend-mini
+      - backend-maintenance
       - backend-cqrs
       - backend-cqrs-mini
   🔧 デュアル: