Local Loop 单轮执行与 SQLite Worker 持久提交屏障

Local Loop 单轮执行与 SQLite Worker 持久提交屏障 由 Archify 生成的时序图。 提交本地工作台消息与材料引用 写入提交记录 (AES-GCM + 身份 AAD) WAL COMMIT 完成 → durable ack v1 准入核验 + StreamFn 单次模型请求 按 llmCallId 扣 Credits + 返回 rawToolInputs 冻结原参数并保存完整响应与派发意图 COMMIT ack（若 nack/超时则熔断全 Store） 过 Stop/Epoch 栅栏 → 直调 File/Skill/Plugin 返回真实执行结果、产物与效果事实引用 关联原效果引用并提交工具回执 COMMIT ack → 允许进入下一轮或终态 投影已提交事实与产物（重启不自动续跑） 持久受理、云端 v1 准入与单次模型流 rawToolInputs 冻结、Stop/Epoch 栅栏与进程内直调 回执事实 COMMIT ack 与 UI 投影 Renderer · 独立本地对话 · 时序参与者 Renderer 独立本地对话 Main Pi Loop · Pi 1.4.0 + Epoch/Stop · 时序参与者 Main Pi Loop Pi 1.4.0 + Epoch/Stop SQLite Worker · WAL/FULL + AES-GCM · 时序参与者 SQLite Worker WAL/FULL + AES-GCM 云端模型网关 · v1 准入 + Credits · 时序参与者 云端模型网关 v1 准入 + Credits 本地能力宿主 · File / Skill / Plugin · 时序参与者 本地能力宿主 File / Skill / Plugin 图例 请求 返回 安全

COMMIT 后 ack 铁律

  • • 完整模型响应、工具派发意图与回执均须等待同 generation 的 SQLite COMMIT ack
  • • 若发生 nack、超时或 Worker 退出，立即关闭全 Store 新外部派发，绝不重放原效果

拦截 Pi 内核隐蔽行为

  • • 云端保留 rawToolInputs / rawArgumentsJson，防止 Pi JSON Schema 数字强转破坏严格校验
  • • 在模型发送前与工具派发前设置显式 stop-fence 与 identity-fence（登录代次 epoch）

按 llmCallId 计费与重启边界

  • • 复用 admitCredits + withChargeSubject + meteredModel，runId 为空，不新增计费表
  • • Main 重启只核对原调用与领域回执，恢复历史、产物和效果事实，首版不继续原 Run