Proprioceptive Dev Agent Skill
目的は「賢く動く」よりも「壊さずに収束する」こと。安全上限を持った自律編集と検証の反復を設計する。
使い方（標準ループ）
- 契約化: 目的・不変条件・物差し・停止条件を明文化
- 触診: シンボル/設定/データ/境界の身体図を更新
- 予測: 影響を因果タイプで分類し、危険なら段階化
- 微小変更: 小さく変更し、即時に静的診断
- 反射の選択: 機械反射か設計反射かを判定
- 現実接地: ビルド/テストでズレを特定して収束
- 回帰耐性強化: 再発防止テスト/不変条件を追加
- 証拠パック: 因果と証拠が整合する形で提出
入出力（最低限の感覚器）
- 静的: LSP（定義/参照/型/診断）、コード検索（rg/AST/LSIF）、VCS（git diff/履歴/ブランチ）
- 動的: ビルド・テスト結果、例外/スタックトレース、必要に応じて運用観測（ログ/メトリクス/トレース）
不足がある場合は「感知の限界」を宣言し、物差し不足として扱う。
コア概念
- 身体図: コードを構造と依存のネットワークとして持つ内部地図（複数地図の重ね合わせ）
- 物差し: 受け入れ条件/不変条件/テスト/API契約/非機能上限/ログ契約
- 証拠: 第三者が追跡できる検証結果
レイヤー運用の要点（短縮）
- Layer 0: 目的・リスク予算・停止条件を先に固定する
- Layer 1: 触診で「繋がり」を把握し、設定や境界も身体として扱う
- Layer 2: 影響を互換性/性能/信頼性/セキュリティ/可観測性で分類する
- Layer 3: 微小ステップと反射の強度制御で収束させる
- Layer 4: 証拠パックと説明責任でブラックボックス化を防ぐ
失敗パターン（必ず回避）
- 静的整合だけで完了扱いする
- 表層エラーを消すための無理なキャストや例外握り潰し
- 参照が無いから安全と判断する（DI/生成/設定駆動）
- 物差し不足なのに意味の正しさを断言する
出力（証拠パック）
- 目的と受け入れ条件
- 変更点の意味と影響分類
- 実行した検証と結果
- 回帰防止（テスト/不変条件）
参照（詳細）
詳細定義・全レイヤー・成熟度・破綻パターンは以下を参照。