ELD Spec
モード
discover: ObservationとSpec候補を抽出し、昇格せず終了する。card: 確認済みDecisionからproposed/accepted Cardを作る。full: discover後に候補を提示し、Authority確認を経てCardと派生Link Mapを作る。
引数がなければ目的から最小モードを選ぶ。fullでも承認を自動化しない。
Workflow
- ../eld/references/00-glossary.md の成果物境界を適用する。
- コード・テスト・要件からObservationとHypothesisを抽出する。
- 耐久的な語彙・規範が必要か判定する。P0、一時実験、局所リネームにはCardを強制しない。
- Law候補について選択肢、影響、Owner、Authorityを含むDecision proposalを作る。
- Cardは既定で
proposedにする。acceptedはAuthorityの明示的承認がある場合だけ使う。 - Law Cardの
termsからCatalogとLink Mapを派生生成する。 - planned verificationと実在Evidenceを区別する。
昇格とライフサイクルは ../eld/references/20-spec.md、Card形式は ../eld/references/law-term-card.md を読む。
完了条件
- Observation、Hypothesis、Decision/Lawが混同されていない。
- accepted CardにOwner、Authority、Decision参照がある。
- TermにSeverityを付けていない。
- Link Mapは派生物として明示されている。
- 未承認候補と未実装Verificationが明示されている。