specs · 规范索引
本目录存放可实现的规范（与 docs/ 的设计叙述分开）。版本化；破坏性变更需 ADR。
| 文件 | 内容 | 状态 |
|---|---|---|
| net-ir.md | 网 IR 的 JSON/二进制表示 | draft v0.1 |
| trace.md | 交互/effect/remote 事件与重放格式 | draft v0.1 |
| wasm-api.md | Netbook / 调试器使用的 WASM API | draft v0.1 |
| ain-sync.md | Join/Select/Barrier/Gate 语义与类型 | draft v0.1 |
| grammar.md | Ainet 词法/语法（Core + Flow） | draft v0.1 |
| flow-spec.md | M2 FlowSpec：agent/edge/budget/effect/trace/重放 | draft v0.1 |
| flow-grammar.md | M3 Ainet Flow 文本语法与诊断 | draft v0.1 |
| wire-protocol.md | M4a coordinator ↔ worker NDJSON/TCP 协议 | draft v0.1 |
| cell-protocol.md | M4c cell worker：spawn/deliver/snapshot/migrate | draft v0.1 |
约定：
- 所有 schema 带
version；不兼容变更升 major。 - 所有 ID 在单个 net 内唯一；跨 net 引用用
(net_id, cell_id)。 - 序列化必须确定性（字段排序、无浮点 NaN、hash 稳定）。
- 示例中的数字/字符串仅用于说明，不作为测试向量；测试向量在
tests/golden/。