# 已证实行为与最小后续优先级

|优先级|发现|证据强度/本轮触发|最小方向；均未实施|
|---|---|---|---|
|P0|soft DEADLINE永久标healthy=false，晚到成功也不恢复；正式验收依赖decision_healthy|冻结源码+历史5000ms合成日志；本轮0次|先明确软预算耗尽是正常控制流还是Provider失败，分开状态/计数及验收语义；保留真实HTTP/协议/证据失败，不回改现有正式结果|
|P0|默认5000被本轮配置15000覆盖|10条模型properties、PROBE_CONFIG和1030请求receipt一致|未来批准配置前比较3/5/8/10证据；不是再开发一套timeout。5秒纯await尾部仅18.793秒，不能宣称收回整段1274秒|
|P0核查已排除|已确认Probe没有正常写回APE|150个原生Transition；Statistics/Lock后续合法池直接包含Probe|无需据此修复Probe历史链；补少量必要诊断以核实未知排除项即可，不加全App历史池|
|P1|Statistics564跨State隔离；1201部分映射未归档|564同版本23近邻映射强；1072具体排除项UNKNOWN|先记录“历史存在但不属当前池”，允许少量重复；不要跨全App匹配或扩Prompt|
|P1|Omni Lock跨语言标签同分，Top3按既有规则选早期不同签名|h5/h15原始GUI完整；两次13/38池；排序纯方法重放；13未采样原始描述保留NA|不改Top3；若今后重复成本确有必要，先验证功能专属稳定身份/简短结果是否存在。共享title ID不足|
|P1配置|Gateway实际10 RPM，用户确认配额15|冻结snapshot+691发送记录；无平台外流量证明|未来可考虑14，统一所有共享额度发送并保留429监测；不把离线队列模型当实测提升|
|P2|Scarlet/Wiki相关Witness已经进wire，仍给DIFFERENT|原始Pair+执行GUI；菜单结果未给模型|按可见Evidence和业务模板复核语义；不要归给回写或Witness排序，也不自动写金标|

本次最明确需要先澄清/修复的是soft timeout与健康验收的耦合；**没有证实本轮存在Probe特有历史漏写或Top3分数计算错误**。晚到原始回复严格作用域是当前实现的安全边界；是否放宽属于设计决策，不能以“历史不全”自动授权。

所有建议以单人科研原型可维护为前提。允许少量重复，优先保证独立功能不被错误合并。未提出全局语义索引、无限上下文、兼容层或复杂平台改造；未自行实施任何建议。