kill -9 → 重新可服务,30 次实测;p90 331ms · 最差 347ms(2026-07-12)
80 次真实模型运行,网络边界独立抓包恰好 80 次上游调用;kill -9 续跑演练 3/3 零重发(2026-07-14)
1KB 载荷 · FIFO · 引擎级实测(2026-07-12)
以上均为单机开发级硬件实测,非调优服务器数字。测试脚本、原始日志与抓包记录随 pilot 证据包交付,支持在你的环境复现。
为什么值得较真
从头重跑,意味着已经付过钱的每一次 LLM 调用再付一遍。流程越长、模型越贵,崩一次的账单越难看。
邮件重发、工单重开、下游接口重打——重跑不是无害的重试,是新的事故。
崩溃点前后的执行记录接不上。客户、内控或审计方问起时,只剩日志碎片和口头解释。
实测,不是承诺
WAL(Write-Ahead Log)在每一步执行前先落盘。进程被杀、机器断电—— 重启后从最后一个安全点精确续跑,已完成的步骤不重放,已完成的 LLM 调用不重发。
09:14:01.003INFO checkpoint writtenseq=1041 step=fetch_context09:14:01.187INFO checkpoint writtenseq=1042 step=tool_call:search09:14:01.394INFO checkpoint writtenseq=1043 step=tool_call:summarize09:14:01.511ERRORprocess signal: SIGKILLpid=3882109:14:03.002INFO WAL replay startedlast_safe_seq=104309:14:03.089INFO restored to checkpointstep=tool_call:summarize replay_ms=8709:14:03.091INFO execution resumednext_step=write_response正常执行:逐步写入 WAL
每完成一个 step,引擎先将状态序列化写入 WAL 文件, 再继续下一步。checkpoint 序号单调递增。
崩溃:进程中止,内存全部丢失
SIGKILL / OOM / 机器掉电——所有堆内状态消失。 但 WAL 文件完好,落盘的最后 seq 被保留。
恢复:从最后安全点续跑,已完成调用不重发
引擎重启后 replay WAL,跳过已完成步骤;已落盘结果的 LLM 调用直接复用,不再向上游重发。崩溃续跑演练中,该行为由 网络边界抓包逐请求核对(3/3 零重发,2026-07-14)。
每一条主张,都对应一份可交付的实测记录或客户文档
每一步执行前先写 WAL 再执行。进程被杀、断电、OOM——重启后从最后安全点续跑,kill -9 实测 p50 301ms 恢复服务。
调用指令与结果逐条持久化,崩溃恢复时直接复用已落盘的结果。零重发由网络边界独立抓包作证,不是运行时自说自话。
WAL 逐条 HMAC,支持国密 SM3(GB/T 32905-2016)。被改过一个字节的记录,读取时当场响亮拒绝,不静默降级。
导出执行证据包,审计方在自己的机器上离线核验——不访问你的服务、不需要任何密钥。
单二进制 + 单 WAL 文件。不需要 PG、Redis 或消息队列,部署在你自己的服务器上,数据不出内网。
WAL v1 磁盘格式受黄金文件 CI 门禁保护:今天写下的执行记录,版本升级后仍逐字节可读。
Evidence Pack
执行全程写入防篡改 WAL。导出后,验证在审计方自己的机器上离线完成—— 不需要访问你的服务,不需要任何密钥。
$ kova evidence export ✓ manifest · decisions · recovery · hitl · skills ✓ SHA256SUMS 已写入,SM3-HMAC 清单已嵌入 # 把证据包交给审计方 —— 以下在离线机器上进行 $ kova evidence verify --bundle evidence-bundle.json PASS · authenticated: true完全离线验证
审计方不访问你的服务、不持有你的密钥,在自己的机器上核验证据包完整性与嵌入的认证清单。
双层防篡改
WAL 逐条 HMAC(支持国密 SM3,GB/T 32905-2016)+ 证据包 SHA256SUMS。改动一个字节,校验当场失败。
tamper-evident,如实标注
我们承诺的是「篡改可被发现」,不是「不可篡改」——密钥管理仍是部署方的责任,这个边界写进了客户文档。
证据包的每个字段与下列框架的记录/留痕义务逐字段对照;完整对照表随 pilot 交付。
EU AI Act
Art. 12 事件自动记录 · Art. 19 日志留存
《生成式人工智能服务管理暂行办法》
防篡改的日志存储、留存与调取(中国)
AIUC-1
Accountability——可重建的决策与人工审批轨迹
NIST AI RMF
来源可溯(provenance)与委派链问责
ISO/IEC 42001
管理体系的技术证据输入(支撑,不能单独满足)
重要:能出证据 ≠ 已合规。你的系统是否落入上述框架的适用范围、是否满足 义务,是你和你的审计方的法律判断——Kova 提供的是可独立核验的技术材料, 不是合规认证,也不是法律意见。
底座无聊,才可靠——没有集群要养,没有中间件要修
诚实边界
卖可靠性的人,先要对自己的边界诚实。
这是刻意取舍:换来的是单二进制嵌入、零集群运维、数据不出内网。如果你需要多节点高可用编排,Kova 不是合适的选择——我们不假装是。
HMAC 校验保证篡改会被发现(校验失败即响亮拒读),不等于无法篡改。持有密钥方仍可伪造记录,密钥管理是部署方的责任。
合规结论由你与你的审计方作出。Kova 交付的是审计方可独立核验的执行记录与对照材料,不替你作合规判定。
Design-Partner Pilot
Kova 尚在 GA 前——正因为如此,design-partner 的真实 workflow 会直接影响 roadmap。
把你已有的一条 agent 流程搬上 durable 底座,跑真负载、演练崩溃、 出可核验的证据——不是替你做 agent,是让你的 agent 崩得起。
小额付费 · 终价按接入复杂度首次通话确认 · 不满意可终止
三条判据全部当场核验,不看 PPT,不听口头保证。
说明:快速演示环境使用确定性 stub 模型(演示的是持久化机制, 不是模型质量),一套崩溃自愈流程热跑约 14.7 秒;真实 LLM 下的零重发另有独立抓包证据,随 pilot 交付。
当着你的面 kill -9 · 通常 24h 内回复