fix(dag): adversarial verification clause on reporting checkpoints (issue #323)

[LeXwDeX]

概要

按 issue #323 维护者批准的拆分处置（triage notes 在案）：本 PR 偿付本仓库部分——修法选项 1 的 prompt 层，落在 block 编译器；选项 2（provisional 标记）与 curated 模板覆写审查按分工移交 LeXwDeX/opencode-dag-config。

改动

• blocks.tsnode()：reportToParent 节点（门/检查点语义——显式 report_to_parent: true 的任意 block + 默认 reporting 的 synthesize）的内联 prompt 追加对抗性验证子句，四个硬要求对应 issue 修法：
  1. 上游/父会话声明 = 待检验假设，绝非待确认事实
  2. 背书前独立读源码
  3. 最承重声明抽查数量下限（至少 3 条，须报出实际检查数）
  4. 承重声明不通过检验 → replan/reject 该方向
• 非 reporting 节点 prompt 字节不变（空串经既有 .filter(Boolean) 滤除）。

测试（结构断言，按批准的 mock 形态）

• reporting explore：四个硬要求各有 toContain 断言（变异可验证）
• 非 reporting 节点排除（零成本外溢）
• 默认 reporting 的 synthesize 同获子句

证据

• 红（子句缺失 2 测试红）→ 绿 → 变异（子句置空 → 翻红）
• dag 簇 578/578 绿 + bun typecheck + turbo 29/29
• 双镜审阅 2 轮：R1 BLOCKING（抽查数量要求缺失——已补"at least three"下限+断言）→ R2 零 findings

关联

• 结构面（同形状 authoring 期拒启动）已由 fix(dag): resolve audit defects DAG-01..04 (fixed-point loop converged) #335 偿付
• config 仓库移交清单已记入 issue fix(dag): gate checkpoints self-confirm parent evidence instead of independently verifying it #323：curated 模板 instruction 覆写审查、provisional follow-up、e2e 由其模板校验 CI 承接