workflow_solid_decision_phase

道-方法 · 道层 skill 全文

本页是 <code>rules/skills/drafts/workflow_solid_decision_phase.md</code> 的逐字投影（仅隐私清洗，零改写）。

name: workflow_solid_decision_phase
description: 得到真实运行结果后专门跑的 Solid Decision 综合阶段（道）。在一组已完成 closure 的真实运行证据上，判断哪些产物可以联动成系统，每条联动判断带证据强度标注且锚在可机械验证的充分性误差信号（非主观投票）；决策 agent 遇到信息缺口时surface 结构化疑问，主 agent 派隔离 context 的信息收集 agent 补料后继续。用于设计或判一次跨 closure 的联动综合阶段是否良构。
type: Workflow（道层 / Phase 框架内的综合阶段）
status: draft (Beta) — 晋级前需在 ≥1 次真实多 closure 综合里按本阶段排过联动判断、疑问→补料闭环真实跑通、过 solid_decision_phase_gate，且证据到 bounded 以上
created: 2026-06-05
version: 0.1.0 (draft)

Solid Decision 综合阶段（联动判断 + 疑问补料闭环）

一句话

把若干已经拿到真实运行结果的 closure 摆到一起，不是逐个看它们各自完成没有，而是判断它们之间哪些能联动成一个系统：A 的输出喂不喂 B、A 和 B 合不合成一个更大的机制、要不要按某个序跑。每条联动判断挂一个证据强度标注，且必须锚在一个能机械核验的充分性信号上（代码消费边、运行产物），不是「感觉能拼起来」或「几个 agent 都说能」。判断中撞到信息缺口时，决策 agent 把疑问结构化地提出来，主 agent 派一个隔离 context 的信息收集 agent 去找答案、交回来，决策再接着做。

何时用

• 一组 closure（unit / 落地任务 / 调研产物）都各自拿到真实运行证据后，要决定它们之间哪些联动、怎么联动、能不能拼成系统。
• 一个决策依赖跨 closure 的综合，且综合过程中可能出现需要补采的信息缺口。
• 判一份已有的联动综合产物是否良构（用配套检测器 solid_decision_phase_gate）。

这是 workflow_phase_framework canonical 序列里「真实条件验证」之后的综合落点：phase 5 产出每个 closure 各自的运行证据，本阶段消费这些证据做跨 closure 的联动决定。非 trivial 的多 closure 综合先按 _DAO_ROUTING 路由到本阶段。

不做什么（边界）

• 不替代 workflow_solid_decision_review：那是逐条 decision / claim 的证据定级闸门（接一个 evidence bundle，回 claim ceiling + next reaction）。本阶段是一个阶段，它对每条联动判断调用那个闸门来定级，不重写五级证据表。本阶段补的是跨 closure 的联动维度 + 疑问补料的编排，不是再造一个定级器。
• 不替代 workflow_phase_framework：那是总领框架（哪些 phase、什么序、每个 phase 何时算过）。本阶段是它序列里的一格的具体化，框架对本阶段只放一个 additive 指针。
• 不执行被联动的任务：本阶段判「能不能联动 / 怎么联动」，不去实现联动。实现归各自的执行任务。
• 不产新 closure 的运行证据：联动判断只消费已有的真实运行证据；证据不足就走疑问补料补，不靠重跑任务凑。

核心原理：联动判断锚在可机械验证的误差信号，疑问补料是充分性控制回路

两条承重墙，都来自 requirement_anchored_context_sufficiency_architecture_20260531_manual.md（session bf292209）和 P-04 控制回路母体，对应需求 REF-004。

第一条，联动判断的强度由可机械验证的充分性误差信号决定，不由主观投票决定。说「A 和 B 能联动」要能指出那条机械可核的边：A 的输出在代码里被 B import / 调用（报告里给文件:行），或者 A 的运行产物正是 B 需要的输入（运行日志可查）。指不出这种边、只靠「读着像能拼」或者「三个 agent 都觉得能」的联动判断，最高只到 observational，不能当 solid。这正是 workflow_solid_decision_review 综合从众检查的内容：不可独立核验的综合判断会从众（重思即改 44-80%），把不可验证转成可验证是最强防御。

第二条，疑问补料是一个充分性控制回路，不是「多收集点信息」。决策 agent 算不出「我对这条联动了解够了没」，那是和原判断同等代价、从内部不可见的推断。所以缺口要变成一个可操作的误差信号：疑问必须指明缺什么 + 答案会翻转哪条联动判断（边际增益门，说不出会改变什么的疑问不该提）。主 agent 据此派信息收集 agent，是调控者在补这个被命名的缺口，对应母体里「主动猎盲点替代投票消盲点」。信息收集 agent 的 context 要隔离，forbidden_read 含决策 agent 的暂定结论，让它找地面真相而不是确认决策 agent 的猜测（防污染，和综合从众检查互为镜像）。

联动判断纪律

每条联动判断（"closure X 与 closure Y 的关系"）要满足四点，缺一条该判断作废、不能进综合结论：

1. 联动类型显式：标 depends_on（X 输出喂 Y）/ composes_with（X+Y 合成更大机制）/ shares_substrate（共用 Z）/ sequences（X 必须先于 Y）/ none（不联动）。每种类型的可核信号不同（depends_on 看代码消费边，sequences 看运行前置依赖）。
2. 机械充分性信号：写出那条机械可核的边（代码 import/调用的文件:行、运行产物路径、always-loaded 路由边），不是形容词。
3. 证据强度标注：用 workflow_solid_decision_review 的五级（solid / bounded / partial / observational / weak）给这条联动判断的最弱相关证据定级 + 引证据路径。无标注或无路径 = 作废。
4. 锚回需求：这条联动服务哪条覆盖义务 / 需求（联动不是为联动而联动，是为满足某个需求把孤岛连起来）。

疑问 → 补料 → 续做 闭环

决策 agent 撞到从现有证据判不动的联动时，走这个闭环，不硬猜也不静默跳过：

1. 提结构化疑问：{question, gates_linkage（卡住哪条联动判断）, what_would_change（答案怎样翻转判断）, where_to_look（候选源）}。笼统的「需要更多信息」不收；疑问要同时说清缺什么和会改变什么。
2. 主 agent 派隔离信息收集 agent：窄问题、独立 context、forbidden_read 含决策 agent 的暂定结论。让它找地面真相，不是确认猜测。
3. 结果作为新证据交回：一个带 source path 的 factpack 条目。
4. 决策续做：用新证据重新给那条联动定级，疑问标 resolved + 记 backfill 证据路径。

每个提出的疑问最终要有归宿：resolved（带补料证据路径 + 重新定级）或 dropped_with_reason（显式说明为何不补、不补对结论的影响）。提了又静默丢掉的疑问 = 闭环没跑通。

输出 Schema

写进 evidence/solid_decision_phase_<id>.md 或综合 closure review，给另一个 agent 消费：

solid_decision_phase:
  phase_id:
  requirement_anchor:            # 这次联动综合服务的需求 / 覆盖义务来源
  closures_under_review: []      # 被综合的 closure 及其运行证据路径
  linkage_judgments:
    - linkage_id:
      from_closure:
      to_closure:
      linkage_type: depends_on | composes_with | shares_substrate | sequences | none
      mechanism:                 # 机械可核的边，如 "report_scaffold.py:197 输出 run check_report_completeness"
      sufficiency_signal:        # 这条边为何是机械误差信号而非投票
      evidence_paths: []
      weakest_evidence_class: solid | bounded | partial | observational | weak
      serves_requirement:        # 锚回的需求 / 覆盖义务
      verdict: linked | not_linked | uncertain_pending_info
  open_questions:
    - question_id:
      question:
      gates_linkage: []          # 卡住的 linkage_id
      what_would_change:         # 边际增益：答案怎样翻转判断
      where_to_look:
      status: open | resolved | dropped_with_reason
      backfill_evidence_path:    # resolved 时填
      resolution:
  unresolved_questions: []       # 必须为空，或每条带 dropped_with_reason
  claim_ceiling:                 # 对「联动成的系统」整体能诚实声明什么
  next_reaction: advance | continue_synthesis | await_user | block | close

验收标准（一份联动综合是否良构）

配套检测器 solid_decision_phase_gate（确定层壳 SD1-SD3 + regulator SD4，工具路径查 tools/INDEX.md）。无上下文 agent 拿这四条也能判：

• SD1 显式阶段 + 锚（确定层）：存在 solid_decision_phase 映射，requirement_anchor 非空，linkage_judgments 非空列表。缺 = FLAG。
• SD2 每条联动有定级 + 证据（确定层）：每条 linkage_judgment 有合法 weakest_evidence_class（五级之一）+ 非空 evidence_paths + 非空 mechanism/sufficiency_signal。任一条缺 = FLAG。
• SD3 疑问闭环已闭（确定层）：每条 open_question 的 status ∈ {resolved, dropped_with_reason}；resolved 的有非空 backfill_evidence_path；存在 status=open / 空，或 unresolved_questions 非空且无 reason = FLAG。
• SD4 联动锚在机械信号还是投票（regulator，语义）：独立第二 agent（codex:high，forbidden_read 含执行者成功叙事 / 最终结论）判：每条联动的 sufficiency_signal 是不是指向一条机械可核的边（代码消费 / 运行产物），还是「感觉能拼 / N 个 agent 一致」式投票；补料是否真填了疑问命名的缺口而非仪式性走过场。FLAG 时给可定位反例（哪条联动、为何是投票、怎样才算机械信号）。

fail-safe：任一项不可判（regulator 通道失败等）→ UNKNOWN → 当 FLAG，不放行。

收口调用（机械 exit 信号，不靠决策者自报「联动判清了」）：联动综合产物写完跑 python3 tools/solid_decision_phase_gate/check.py --asset <综合产物路径> --regulator-tier codex:high 核 SD1-SD4；FLAG 按可定位反例修过再当本阶段完成。确定层快速过结构用 --no-regulator（SD1-SD3）。

与术层 / 其他 skill 的集成契约

• 在 workflow_phase_framework 序列里，本阶段是「真实条件验证」之后的综合落点；框架表对它放 additive 指针。
• 每条联动判断的证据定级调用 workflow_solid_decision_review（五级表 + 硬门禁 + 镜像条款），本阶段不重写。
• 疑问补料派出的信息收集 agent 按 workflow_unit_decomposition_and_context_injection 做 context 隔离 + 注入；遇阻按 workflow_manage_unexpected 动作阶梯。
• 在 workflow_controller_loop 里，本阶段产物影响 closure / advance / await_user 时，写得让另一 agent 能消费（同 solid_decision_review 的 Loop 集成契约）。

可用资源

• 配套检测器：solid_decision_phase_gate，工具路径查 tools/INDEX.md。
• 调用的定级闸门：workflow_solid_decision_review（skill 路径查 rules/skills/INDEX.md）。
• 所属框架：workflow_phase_framework。
• 理论母体：requirement_anchored_context_sufficiency_architecture_20260531_manual.md。

诚实 claim ceiling / 缺口

• 证据等级 bounded：本阶段是设计综合（基于 solid_decision_review 五级表 + P-04 控制回路母体 + 用户 X-07 原文），晋级前需 ≥1 次真实多 closure 综合按本阶段排过联动判断、疑问→补料闭环真实跑通一次、过 solid_decision_phase_gate。created+registered 是 L0，used+recorded 才是 L1（GS-02）。
• 联动类型的四分法（depends_on / composes_with / shares_substrate / sequences）是首版划分，真实使用中可能发现需要细分或合并。
• 疑问补料闭环的「边际增益门」目前靠 regulator 语义判断 what_would_change 是否成立，未做成确定层可核的量化门（与 P-04 母体里 surprise 探针同属未量化项）。