spec API

spec は Luna-Flow/QED の一部です。このページでは、現在のブランチで実装されている公開型、コンストラクタ、関数、trait、および可観測セマンティクスを記述します。

範囲

ソース境界: doc/qed_formal_spec.typ
想定読者: 公開契約に依存する利用者、統合担当者、保守者
状態: active

公開契約

今日存在する公開挙動だけを記述する。
バックエンドや実行経路に可観測差異がある場合は明記する。
可能な限り、兄弟モジュールと命名・引数順・エラー意味論をそろえる。