all citation と inline citation を分けて保持する

02 / OPERATE

3段階の field procedure

1. 01

   contract を lock

   caller、data classification、success condition、timeout、cancel、ownership を記述します。search/retrieval が generated output の fact に寄与する場合に使う。

2. 02

   bounded path を実行

   correlation、typed state、reversible failure を持つ一つの end-to-end path を作ります。audit 用の complete source ledger を保持し reader が必要な箇所に claim-level link を表示する。

3. 03

   signal を検証

   acceptance を再実行可能な fixture、contract test、browser test にします。coverage test で material claim を source に対応させ orphan citation と uncited assertion を検出する。