consistency チュートリアル

クイックスタート

cross-package law と public-surface audit 用 white-box package です。

ワークフロー

dependency と target handling を CI と一致させるため、repository wrapper 経由で実行します。

sh tools/run_moon_clean_exec.sh test -p Luna-Flow/floating/consistency --target native

failure は repository maintenance signal として扱います。この package は standalone end-user product ではありません。

失敗と範囲

runtime API と IO はなく、failure は contract mismatch を示す test assertion です。 この package を、支援対象 numeric package の代替として import しないでください。

次に読む文書

完全な生成 interface は API、責務と trade-off は設計を参照してください。