AI代理可观察性:证明没有被接受的工作消失

一个代理队伍可以报告预期的深度, 工人可以继续发射跨度, 完成工作的计数器可以继续上升, 实际答案是停止比较总数,并调整身份. 在一个有限的切断时,记录所有已接受的 work id ,并要求它占据一个正确的电流桶: 重要的是 ⊎ :这是一个分离的联盟,而不是一个普通的补充. 在两个桶里发现的身份证是矛盾的. 没有被发现的身份证. 一个终端或活跃的身份证从来没有被接受, 这种工作保存检查并不能保证完全一次性执行,但它可以证明一个更狭窄而有用的事实:控制平面证据对每一个被接受的工作单位进行一次性计算. 同等总数可以掩盖一个缺失的工作 假设接受账本包含1000个身份证. 排队,租表和终端账本也包含了总共1000份记录. 一个基于计数的仪表板变得绿色. 这种算法允许一个错误的替代:被接受的 work 417 没有出现,而终端记录 ghost 92 出现了. 计数仍然一致. 身份组没有. 在切断 t0 时定义证据: A :在 t0 之前或以此接受的持久认可身份证; Q :被接受的身份证,可视于截止截图中的排队; L :已接受的身份证件,租合同期限为 t0 后期; T :已接受的身份证,具有一个已确认的终端记录. 然后检查两个方向: 终端需要明确的政策. completed 是终端. 当取消被授权且持久时, cancelled 可能是终端的. 尽管它是一个失败的结果,但仍需要关注,但 dead lettered 也可能是保护目的的终端. 一个死字母队列是有用的,正因为它分离了未经成功处理的诊断工作, 亚马逊SQS死字母队列文档 这说明了. 不要把 leased 视为无时状态. 在SQS中,收到消息不会删除它;消息会暂时变得不可见,如果在可见性截止日期之前未删除,则应该再次变得可见. 标准排队也使用至少一次发送,所以可见度窗口不是一次锁. 据证据,可见性时间的语义是因而不变的使用 valid lease ,而不是每一行租使用. 运行六个场景的和解 伴侣装置使得决策规则可以检查,而不需要经纪人. 它包含在 2026 07 27T00:00:00Z 的六张快照: 场景 证据 预期的判决 混合电流状态 一个排队,一个未到期的租,一个完成 CONSERVED 在接受后消失 已接受的身份证没有当前的桶 MISSING 排队和完成 在两个桶里有相同的身份证. DUPLICATE STATE 租期已到期 租在截止前结束,没有返回证据 EXPIRED LEASE 幽灵终端 不知完成的身份证平衡了数量 PHANTOM 显而易见的取消 已接受的身份证有持久的取消记录 CONSERVED 从文章证据捆绑中下载 work conservation fixture.json 和 audit work conservation.mjs ,或者在本地目录中复制它们的字段,然后运行: 确切的数量是: " PASS "是指审计师按照预期分类了所有六种装置;这并不意味着每个装置都是健康的. 检测出了4个故意不健康的病例. 幽灵案例是重要的陷. 它有一个被接受的身份证和两个被观察的记录:真正的身份证仍然排队,而一个未知的身份证要求完成. 通过从每个子系统中选择一个聚合物来使一个天真的平等检查看起来平衡. 设置调整报告未经接受的终端ID. 复制状态案例揭示了反向问题:每个ID都已知,但相同的工作似乎已经准备好进行了另一次尝试,并且已经完成. 这也是为什么单独留言痕迹不足的原因. 开放Telemetry消息传递会议区分接收,加工和结算,并描述创造环境,以使生产者与消费者相关. 这段文本是有价值的证据. 然而,过程时间本身并不能确定当前的队列状态或持久的终端结果. 生命周期的连贯切断 当其输入描述不同的时刻时,不变变变量变得误导性. 想象一下,在12:00:00上阅读接受账本,在12:00:03上排队,在12:00:08上阅读终端结果. 一个工作可以合法地在这些读物之间移动, 使用您的堆支持的最强的一致性机制: 1. 在确认接受之前,指定一个不可变的,命名空间合格的 work id ; 2. 在同一个交易中写出接受记录,或保留可回收的输出箱关系; 3. 捕获排队和租状态在命名的水标,偏移,数据库快照或简短的观察障碍时; 4. 包括 lease expires at ,而不仅仅是 leased=true ; 5. 添加相同的 work id 的终端结果,一个结果类型和一个持久的时间盖章; 6. 只有可见性规则将其放在 t0 的同一侧的记录进行调整. 如果系统无法提供一致的切割,则返回 UNVERIFIABLE ,而不是发明健康的结果. 一个短暂的安静时间可以减少力,但不能取代一致性合同. 记录最大的快照偏差,并延迟警报,直到工作项目在该界限之外保持异常. 稳定身份证同样重要. 一次重试通常应保留逻辑 work id 并获得单独的 attempt id . 如果每一次尝试都获得了新的工作身份,审计将无法区分重新尝试和新工作. 如果在租户或排队中重复使用身份证, 合法的终端记录可能看起来像一个幽灵或错误地满足另一个工作. 租合同过期,就值得自己的判决. 这可能已经在经纪人中再次出现, 需要新的排队证据或新一代租协议,然后将其称为活跃. 这使得"等待"与"留住"保持分开:有效的租可以代表工作;排队工作可以代表合法等待;没有观察到回报的过期租未得到解决. 每个判决都会被一个有限的答案所划分. 审计应该准备调查,而不是启动广泛的重播. 对于 MISSING ,首先检查快照偏差,然后检查接受到查询的边界和任何交易输出箱. 在再次尝试之前保存证据. 从未完整的记录中重新创建工作可以复制外部效应. 对于 DUPLICATE STATE ,如果排队允许可逆的停留,则停止自动接收该身份证. 在决定排队副本是否过时之前,将终端证据与任何有效收据进行比较. 终端标签本身可能是错误的;仍然可见的队列项也可能是延迟复制品. 对于 EXPIRED LEASE ,请向经纪人询问新的可见性,并检查工人一代. 限额重新租只能在之前的持有人被围或被证明死亡后安全. 保护审计检测到未解决状态;它不允许恢复. 对于 PHANTOM ,验证ID名称空间,摄入错误和终端账本来源. 不要删除未知的记录,仅仅是为了使方程平衡. 它可能是另一个租户,排队或观察窗口的有效工作. 最后,保护不是结果质量. 一个 completed 记录仍然可以指向一个缺失或不正确的交付品. 如果可能,按照确定性结果验证进行生命周期测试. 这两项检查回答了不同的问题: 每个接受的工作都得到了考虑吗? Sidewisp 目前处于私密预览阶段。 生产代理健康收集,排队适配器和运行时间恢复通常不出货. 保护工作是未来健康层可以评估的证据的一个例子;它不是声称Sidewisp目前收集这些记录或对活体代理行为. 短期内最有用的举措是在添加任何自动响应之前将稳定工作ID仪器和本地测试不变物.