ELD Spec Card
Card化ゲート
作成前に次を確認する。
- 一時的な実験ではなく耐久的な規範・語彙か。
- 根拠となるObservationとDecision proposalがあるか。
- OwnerとAuthorityは誰か。
- 新規、変更、廃止のどれか。
不足時はCardをproposedとして作るか、Decision proposalだけを返す。
Law Card
LawはDecisionで受容された制約として扱う。type、severity、scope、terms、exceptions、verification plan、observability planを記述する。
- 実装前の検証は
plannedと明記する。 - accepted LawはOwner、Authority、Decision、最低1つのTermを必須とする。
- 内容変更で旧Lawを上書きせず、supersedesまたはdeprecatedを使う。
Term Card
Termは意味、文脈、非目標、型・境界、例・反例を記述する。
- TermへSeverityを付けない。
- Related Lawsを手入力しない。Law Cardの
termsから逆引きする。 - 同名異義語はContextを分け、安易に統合しない。
正準テンプレートは ../eld/references/law-term-card.md を使う。ライフサイクルは ../eld/references/20-spec.md を読む。
更新後
派生CatalogとLink Mapを再生成し、未解決参照を報告する。派生物を正本として編集しない。