RuleArena · 规则变更验证流水线

RuleArena · 规则变更验证流水线 由 Archify 生成的工作流图。 01 / 规则接入 02 / 对抗验证 03 / 参考模拟器 EX / Ground Truth 隔离 冻结语义 重放与裁决 门禁 只有这里能定论 规则变更 · 促销 / 退款 / 积分 / 权益 · 规则接入 › 冻结语义 · 输入 规则变更 促销 / 退款 / 积分 / 权益 输入 RuleSpec 契约 · 歧义冻结为可执行断言 · 规则接入 › 冻结语义 · 人工确认 RuleSpec 契约 歧义冻结为可执行断言 人工确认 受控对抗搜索 · 仅固定领域原语 · 对抗验证 › 重放与裁决 · Agent · 可搜索不可定论 受控对抗搜索 仅固定领域原语 Agent · 可搜索不可定论 沙箱重放 · 干净环境 · 真实 HTTP · 对抗验证 › 重放与裁决 沙箱重放 干净环境 · 真实 HTTP 确定性 Oracle · 资金守恒 · 生命周期不变量 · 对抗验证 › 只有这里能定论 › 重放与裁决 · 不用 LLM Judge 确定性 Oracle 资金守恒 · 生命周期不变量 不用 LLM Judge 发布门禁 · 最小反例 → pytest 回归 · 对抗验证 › 只有这里能定论 › 门禁 · 阻断式 发布门禁 最小反例 → pytest 回归 阻断式 参考模拟器 · 快速探索 · 不单独定论 · 参考模拟器 › 重放与裁决 参考模拟器 快速探索 · 不单独定论 Ground Truth · 仅评测侧维护 · Ground Truth 隔离 › 重放与裁决 · 搜索侧不可触达 Ground Truth 仅评测侧维护 搜索侧不可触达 候选动作序列 对照裁决 违规确认 已确认版本 重放轨迹 快速探索 图例 Agent 逻辑 策略 上下文 / 追踪 云服务 外部系统

一条主路径

  • • 自然语言规则先编译成人工确认的 RuleSpec，语义在进入搜索前就冻结
  • • Agent 只负责找路径，沙箱重放与 Oracle 负责证明路径是否真的有问题
  • • 门禁的产物是最小反例和可一键导出的 pytest，而不是一段解释

自证防线

  • • 候选风险 ≠ 确认漏洞——搜索侧拿不到 Ground Truth
  • • 参考模拟器只用于展开搜索空间，单独跑出的结论不算证据
  • • 资金守恒与生命周期不变量由确定性代码计算，不交给 LLM Judge

当前未达标

  • • LLM 策略发现率实测 0–20%，低于 ≥75% 的设计门禁
  • • 还没跑赢确定性 BFS 基线（20–22%），这是当前主攻方向
  • • 24-Case 基准证明的是搜索与裁决机制可信，不能外推到任意新规则