CAPHTECH ELD Spec Link
正本を読む
- Law Cardの
termsを正方向の唯一の関係とする。 - Term CardからLawへの逆引きを派生生成する。
- proposed、accepted、deprecatedを混ぜずに表示する。
検査する
- accepted Lawが存在しないTermを参照していないか。
- accepted Lawの
termsが空でないか。 - deprecated Cardを現行Lawが理由なく参照していないか。
- 同じIDが重複していないか。
- proposed Cardをaccepted規範として使用していないか。
TermがLawから参照されていないことだけではエラーにしない。語彙単独の価値がある場合があるため、候補として報告する。
影響を派生する
- Term変更: 参照するLaw、実装境界、Evidenceを列挙する。
- Law変更: terms、Decision、Verification Plan、Evidenceを列挙する。
- deprecated: 後継と残存参照を列挙する。
出力する
Catalog、Law→Term、Term→Law、errors、warnings、影響候補を生成する。ファイルへ保存する場合はgeneratedと生成元を明記し、Card変更後に再生成する。
正本と派生物の規則は ../eld/references/20-spec.md を読む。