ELD Spec Discovery
調査する
- 調査目的と対象境界を固定する。
- 型、validation、assertion、テスト、エラー処理、API、文書、障害記録を観測する。
- 各結果をObservationとしてSource付きで記録する。
- 名辞候補をTerm proposal、規範候補をLaw proposalとして分離する。
- 既存Cardとの重複、矛盾、廃止済み定義を照合する。
候補を評価する
candidate:
kind: term | law
id: <proposal id>
observation: <実際に確認したこと>
sources: [<file:line、test、document>]
extraction_confidence: high | medium | low
intended_meaning: <Hypothesis。断定しない>
counterevidence: []
open_questions: []
next_action: reject | investigate | decision-proposal
extraction_confidenceはパターン抽出の確からしさであり、規範としての正しさではない。
出力する
- 調査範囲と未調査範囲
- Observation一覧
- Term proposal一覧
- Law proposal一覧
- 既存Specとの重複・矛盾
- Decisionが必要な問い
「コードに存在する」「テストに書かれている」だけでCard化を推奨しない。昇格規則は ../eld/references/20-spec.md を読む。