fix(dag): gate checkpoints self-confirm parent evidence instead of independently verifying it

[LeXwDeX]

现象

Ultra-flow 的探索检查点返回 verdict: continue，但其背书的证据链里含有一条生产空操作：探索门只"复核父会话的陈述"，未独立读源码。该错误证据直到后续设计门独立读源码才被发现。

实例（workflow dag_fe5ff13ada6fUONA2rH3Pypdf4）：

• cp-after-exploration 判 continue，认可了 4 条缺陷证据
• 其中 D4（"SystemPrompt.defaultLayer 未提供 Memory"）实为生产空操作——Memory.defaultLayer 已在 AppLayer（packages/opencode/src/effect/app-runtime.ts），serviceOption 请求时从 fiber 上下文解析，重复 provide 无效
• 直到 cp-design-decision 独立抽查源码才否决设计

根因

探索/门类检查点的提示词偏向"确认父会话结论"，缺少对抗性独立验证的硬要求（独立读源码、抽查最承重声明并给证据）。自我确认的节点没有证伪能力——一条错误证据即可穿过探索门。

修法选项

• 门/检查点节点的提示词强制：独立读源码、对最承重声明给出抽查数量要求、把父会话提供的证据视为待检验假设而非事实。
• 探索阶段输出标记为"provisional"，未经独立门确认前，下游不得当作已验证事实消费。

验收

• 回归测试：在证据链中故意掺入一条可被源码证伪的错误声明，门返回 replan 并在 findings 中指出该条。
• 证据链为真时门行为不变（仍 continue），不引入新的误报。

关联

• 同批编排健壮性：replan 裁决缺结构性闸门（见同批 issue）。

[LeXwDeX]

This was generated by AI during triage.

Triage Notes（2026-08-18：状态复核，转回 needs-triage）

What we've established so far:

• 本 issue 点名的 ultra-flow 形状（cp-after-exploration：report_to_parent 无 output_schema 的门控 checkpoint）已被审计 DAG-01 确认为暴露面，其结构面已修复：PR fix(dag): resolve audit defects DAG-01..04 (fixed-point loop converged) #335 后该形状在 authoring 期被拒（被门控引用的 checkpoint 必须声明 output_schema，replan/extend 路径同受门禁）。原始实例现无法启动。
• 剩余诉求是提示词层：门/检查点提示词强制对抗性独立验证（独立读源码、抽查最承重声明、把父会话证据视为待检验假设），以及可选的「探索输出 provisional 标记」结构语义。
• 提示词模板主要位于 LeXwDeX/opencode-dag-config 仓库（本仓库 AGENTS.md 的两仓分工：配置仓库拥有 curated prompt 资产）；若 provisional 标记需要 schema/runtime 支持，则属于本仓库。
• ready-for-agent 标签系前置批次所打，当时结构面未修；现状已变。

What we still need（grilling 待决，blocking 开工）:

• 仓库归属拆分：prompt 对抗性验证改动是否全归 config 仓库？provisional 标记若做，schema/runtime 部分的边界在哪？
• 验收可测性：「掺入假证据 → 门返回 replan」依赖 LLM 判别行为——回归测试形态如何设计（mock 判别 / e2e 冒烟 / config 仓库的模板校验 CI 承接）？
• 与 fix(dag): resolve audit defects DAG-01..04 (fixed-point loop converged) #335 后新 authoring 门禁的关系：探索门现在必须声明 output_schema，其 verdict 契约是否顺带把「证据链复核」结构化进 schema（替代纯 prompt 约束）？

建议先完成一轮 grilling 定形态，再回 ready-for-agent。

[LeXwDeX]

This was generated by AI during triage.

本仓库部分已偿付（PR #337 合入 dev）

按维护者批准的拆分处置完成：

已落地（blocks.ts node() 编译层）：

• 所有 reporting checkpoint（显式 report_to_parent: true 的任意 block + 默认 reporting 的 synthesize）的内联 prompt 强制四项硬要求：上游声明=待检验假设、背书前独立读源码、最承重声明抽查下限（至少 3 条并报出实际检查数）、承重声明不通过 → replan/reject。
• 结构断言回归测试 ×3（reporting explore / 非 reporting 排除 / 默认 synthesize），变异可验证。
• 结构面（同形状无 schema 拒启动）此前已由 fix(dag): resolve audit defects DAG-01..04 (fixed-point loop converged) #335 偿付。

移交 LeXwDeX/opencode-dag-config（本 issue 剩余部分，按两仓分工）：

1. curated 模板中带 instruction 覆写的门/检查点 block：审查覆写文案是否稀释对抗性子句（子句由编译器追加在 instruction 之后，覆写不覆盖子句，但语义冲突需人工审）
2. 修法选项 2（探索输出 provisional 标记，下游未经独立门确认不得当已验证事实消费）——结构语义改动，建议在 config 仓库立 follow-up issue
3. e2e 验收（掺假证据 → 门 replan 且 findings 指认）由 config 仓库模板校验 CI 承接

原 issue 的回归实例形状（cp-after-exploration 无 schema）已不可能启动；prompt 层防线已编译进所有 block 路径。关闭本仓库侧 issue；config 侧 follow-up 请在彼仓库跟踪。