Agent 策略

Mira 如何让 Planner、Harness、Policy、工具与证据形成可控的任务闭环。

以 Planner 为唯一语义决策中心的稳定闭环。

从能力匹配、模型暴露到具体调用的三层契约。

用统一契约吸收模型差异，并把上下文组织成可控输入。

React/Vite、Electron/Tauri、Fastify 与 SQLite 如何组成工作舱。