majiayu000 Spec Observation（仕様誤解観測）
目的
仕様誤解は「型も通る・テストも通るのに"違うものが出来ている"」という最も厄介な失敗モード。 このスキルは、仕様の曖昧さと誤解を早期に露出させ、実装前に問題を発見する。
観測の恩恵
- 「仕様のどの点が未決定／曖昧か」が露出する
- "実装の正しさ"ではなく"要求の正しさ"を前倒しで確認できる
- 生成を繰り返すたびに、仕様がより実行可能（＝テスト可能）になる
Procedure
Step 1: 仮定（Assumptions）の抽出
生成前/後に「仮定したこと・未確認のこと」を明文化する。
assets/assumptions-log.md テンプレートを使用。
抽出すべき仮定の例：
- ドメイン用語の解釈（例：「キャンセル」「確定」「締め」の意味）
- 非機能要件の前提（性能・運用・セキュリティ・互換）
- 暗黙の制約（例：「ユーザーは1つの組織にのみ所属」）
Step 2: 受入条件を"例"に落とす
受入条件（Acceptance Criteria）を具体例として記述する。
形式：
Given: [前提条件]
When: [操作]
Then: [期待結果]
必須の例：
- 正常系（happy path）: 最低1つ
- 否定例（やってはいけない挙動）: 最低1つ
- 境界例（エッジケース）: 重要なものを1つ
Step 3: 受入テストの生成
Step 2の例をテストコードに変換する。
ポイント：
- 期待値（オラクル）を"仕様側"に置く（実装から導出しない）
- 否定例は「必ず失敗する」ことを検証する
Step 4: 仮定ログの差分レビュー
仮定ログを成果物として残し、差分レビュー対象にする。 これがないと「何を勘違いして作ったか」が追えず、精度改善ループが回らない。
最小セット
- (A1) 仕様の例（少数）＋否定例をテスト化（受入テスト）
- (A2) 仮定ログを成果物として残し、差分レビュー対象にする
連携
- resolving-uncertainty: 仮定を不確実性台帳（Uncertainty Register）へ連携
- critical-code-review: PRレビュー時に仕様との乖離をチェック
Outputs
assumptions-log.md: 仮定・未確認事項の一覧- 受入テストコード（言語に応じた形式）
- 否定例テストコード
Examples
入力例
「ユーザー認証機能を実装して」
出力例
仮定ログ:
## 仮定・未確認事項
| ID | 仮定 | 根拠 | 検証方法 | ステータス |
|----|------|------|----------|-----------|
| A1 | パスワードは8文字以上 | 一般的な慣習 | 要確認 | 未検証 |
| A2 | セッションは24時間で失効 | 仮定 | 要確認 | 未検証 |
| A3 | 同一アカウントの同時ログインは許可 | 仮定 | 要確認 | 未検証 |
受入テスト例:
Given: 有効なメールアドレスと8文字以上のパスワード
When: ログインを試行する
Then: セッションが作成され、ユーザー情報が返される
Given: 存在しないメールアドレス
When: ログインを試行する
Then: 認証エラーが返され、セッションは作成されない（否定例）