Stock-Agent 运行可靠性
面向多标的研究任务的私有核心编排系统;通过脱敏公开证据包,让已验证范围与尚未验证边界都可检查。
01 / 问题
重复执行与不安全恢复会快速放大
多标的扇出可能重复某个阶段、接收旧运行的迟到写入,或在恢复时重跑超出失败边界的工作。
这些失效模式会削弱可审计性:最终报告看似完整,运行血缘却可能不清楚。
02 / 基线
这里的基线是失效模型,不是性能宣传
在引入运行防护前,重复扇出、迟到写入与恢复放大是明确的操作风险。
历史耗时来自不同输入和配置,因此本案例不把它们混合成性能提升百分比。
03 / 方案
把任务绑定到唯一执行身份
runtime fingerprint 把已接受任务绑定到相同输入与配置;generation fencing 拒绝过期写入,选择性 resume 仅恢复符合条件的失败边界。
公开证据路径提供 fixture、运行收据、Claim Registry 和限制说明,同时不公开核心私有仓库。
04 / 验证
固定提交的 E1 工程证据
固定工程检查覆盖 64/64 隔离测试、3 轮 × 3 个根任务压力、6 个 slot race 的 6/6 接受结果,以及 16 个 waves 下的 50 项 contract lint。
上述 64/64 等数字来自私有源码的维护者收据,公开包可校验完整性,但不能复现私有测试。另有八条合成样本的公开离线 replay 可复现、无密钥;两者均不代表真实 provider 或生产部署。
05 / 限制
这些证据尚不能证明什么
E1 不证明真实 provider canary、第二操作者独立交接、客户采用、SLA、投资收益或业务结果。
Stock-Agent 核心仓库继续私有;只有相应运行或外部验证真实发生后,才会升级证据等级。
结果不可信,就不放行。
切换输入,看一道小门如何拦住错误。
来源存在,执行身份一致。允许写入结果。
- generation
- 7 → 7
- source
- present
交互原理示意 · 不调用模型,不代表真实 Agent 运行
E1 CLAIM REGISTRY
- 运行隔离
- 64/64 固定提交隔离检查
- 多根任务压力
- 3 轮 × 3 个根任务
- Slot race
- 6/6 接受结果
- 契约表面
- 16 个 waves 下 50 项检查
- 真实 / 外部证明
- E1 尚未建立
证据等级:仅 E1 · 核心私有 · 脱敏离线 replay · 无客户或采用声明