spec API

spec 属于 Luna-Flow/QED。本页描述当前分支已经实现的公开类型、构造器、函数、trait 以及可观察语义。

范围

• 源码边界：doc/qed_formal_spec.typ
• 读者：需要依赖公开契约的使用者、集成方和维护者
• 状态：active

公开契约

• 只描述今天已经存在的导出行为。
• 如果后端、子类型或执行路径存在可观察差异，要明确写出。
• 在可能的情况下，与同类模块保持命名、参数顺序和错误语义一致。