workflow_unit_decomposition_and_context_injection
道-方法 · 道层 skill 全文
本页是 <code>rules/skills/drafts/workflow_unit_decomposition_and_context_injection.md</code> 的逐字投影（仅隐私清洗，零改写）。
时点提示：本页是仓内文件 rules/skills/drafts/workflow_unit_decomposition_and_context_injection.md 的逐字投影（仅做隐私清洗：仓库根绝对路径→相对路径、家目录→~/；除此零改写）。若源文件后续有修订，以仓内真源为准。
Workflow：Unit 分解与 Context 注入（含熵管理）
状态
Draft skill，道（指导 / 判断纪律）层。区别于术 / 运行时层 workflow_controller_loop + AAU runtime。
本 skill 填的是「从 Agent 到完成任务」路径环节 3（Unit 分解）+ 环节 4（Context 注入 / 熵管理）的判断引导：过去这两步的 judgment 寄生在运行时 skill 里，没有道层。
底层不变量：Ashby 必要多样性 V_R ≥ V_D。context 稀缺 = 调控者 variety 的信道维不足，必须委派或分片。共享状态对象 z_k = <S_k, C_k, X_k, E_k, L_k, B_k, R_k>（来自 Agent-Task Gap Closure 定理）。
配合使用：上游 workflow_what_to_how_execution_bridge（给出方法路径后才分解）；执行调度 workflow_controller_loop（本 skill 只给 judgment，不管调度）；收口判级 workflow_solid_decision_review。
知识库源：contexts/methodology/subagent_failure_modes_and_entropy_control_survey_20260529.md（本 skill 的熵管理判据吸收自该调研，STORE-1 2026-07-20 回填 reciprocal 指针）。
何时使用
- What→How 已给出方法路径，要落成原子 agent unit 边界（环节 2 → 3）。
- 一个 unit 装不下，要决定在哪下刀、派几个角色、各注入什么（环节 3 → 4）。
- 跨 handoff、压缩、长链路传递，担心关键信息丢失或熵增。
不要使用：单 agent 一次能装下且无 handoff 的 trivial 任务；纯执行调度（用 controller_loop）；What 仍不稳定（用 requirement_decomposition）；方法路径不清（用 what_to_how）。
核心判断（进入前先答三问）
- Gap 可计算吗：能否估
V_D各分量，并指出每个分量由哪个 unit / 角色闭合？ - 边界可定吗：decomposable() 五条件是否全过、双轴预算是否都在线下？
- 信息流守恒吗：每条 handoff 是否有 locator 链路、每轮是否引入新观测？
任一答不上，说明还没到分解阶段，回环节 1 / 2。
判断纪律 A：Unit 分解（边界怎么定）
| # | 纪律 | 来源 | 可操作判据 |
|---|---|---|---|
| A1 | 容量驱动定界，非复杂度定界 | harness_07 + 量化约束表 | 一个 unit 的 context 装载 ≤ 模型宣称窗口 20%（有效 10-20%）；超了就切，不是「塞紧一点」。 |
| A2 | 双轴独立预算，取最紧不均摊 | C2 FollowBench / C16 / X16 | 约束 ≤5 条、追踪主题 ≤5、推理链 ≤7 步、Controller 辖 unit ≤7；多轴同时触发取最紧那条。 |
| A3 | 必要多样性闸：V_R < V_D 必须委派/分片 | introduction_to_cybernetics（Ashby） | 粗估 source class 数 × 每类 distinct items × 每 item 决策量；显著超单调用容量时强制委派，不靠「再努力一下」。 |
| A4 | 委派独立性是硬条件 | cybernetics supplementation（AX_75） | 派子 unit 必须声明 independence_grounds（不同模型 / 不同 source class / 不同时序窗 / fresh forbidden_read）；空字段则拒派，否则是伪装的放大。 |
| A5 | decomposable() 五条件全过才拆 | Gap Closure 定理 §6 | subtask 能拿到 context 且 输出可验证 且 依赖显式 且 重组比单 agent 可靠 且 协调成本低于收益；任一不成立则拆得越多 Delta(A,T) 越大。 |
| A6 | Child Unit vs Sub-agent 看是否新建 essential state | out_of_the_tar_pit | 会产生父 unit 不知道的 essential state（新需求条款 / 新证据集）→ Child Unit；只在已有 essential state 上派生 → Sub-agent。 |
判断纪律 B：Context 注入（每角色 just-enough + 隔离）
| # | 纪律 | 来源 | 可操作判据 |
|---|---|---|---|
| B1 | 每角色 just-enough，按读权限隔离 | harness_08 + reviewer roster | 每角色显式 must_read / may_read / forbidden_read；给 distilled 1-2K 摘要而非 raw dump。 |
| B2 | forbidden_read 过滤的是对该角色为 noise 的 source | cybernetics（AX_46） | 判 forbidden 的依据是「对该 lens 是 signal 还是 noise」，不是权限；executor scratchpad / judge-only oracle / 完整历史按角色屏蔽。 |
| B3 | 关键约束前置 primacy 区，头尾双放 | C3 / C14 + harness_08 | 身份和不可越界规则放前 7-26% 偏置区，末尾再放一份短 recap；查阅型索引绝不前置。 |
| B4 | 隔离靠 reference restriction，结构性而非约定 | out_of_the_tar_pit（单向引用） | reviewer 只占读侧，写 finding 入 essential state，由协调层消费触发调度；reviewer 不自己发调度命令。 |
| B5 | 注入靠层级不靠措辞 | harness_08（40% 合规实测） | 关键规则走 system-level 注入（--append-system-prompt-file / SubagentStart hook），不靠 prompt 里反复写「必须读」。 |
| B6 | 综合/决策角色注入「可重算证据 + bare verdict」，剥社会信号 | 从众受控实验 2026-05-30~31 + workflow_parallel_subagents §等待与整合 | 给综合者原始素材 + 各 unit 的 bare verdict（结论 + 证据指针）；forbidden_read 掉同侪执行轨迹里的资历 / 置信 / 「N 人一致」社会框架。可验证则要求回源重算（最强防线），不可验证则多采样压 churn（单次主观判断 44-80% 不稳）+ 去权威保留异见。理由：社会从众由 agent 脚手架 harness 门控，我们的 sub-agent 正跑在其中。 |
判断纪律 C：熵管理（handoff / 压缩中不丢关键信息）
| # | 纪律 | 来源 | 可操作判据 | |
|---|---|---|---|---|
| C1 | DPI：禁止「多跳补回信息」幻想 | information_theory_mackay（DPI） | 无 locator 链路回到原始 requirement 的产物，不得作下游唯一证据；每轮必须引入新观测（重读原文 / 调新 source），否则多轮「提炼」是单调劣化。 | |
| C2 | 每轮从 essential state 重组，禁复制上轮输出 | out_of_the_tar_pit（transitive contamination） | 轮间 context 从 original requirement + 已确认证据重建，而非 copy 上一轮 raw transcript（循环熵增根因）。 | |
| C3 | 熵增用 equivocation 度量，非 manifest diff | mackay `H(X | Y)` / cybernetics（AX_47） | handoff 后审「下游对原 requirement 哪些选择仍无法区分（U）+ 错把哪些上游修辞当 requirement（N）」；U 单调累积 = 真熵增，触发回退。 |
| C4 | 抗噪冗余不可压，区分两类冗余 | mathematical_theory_of_communication | 派发是有噪信道，原文 ≥2 处同义复述是抗噪冗余必须保留；diff 要标「丢的是可压 source 冗余还是不可压 channel 抗噪冗余」。 | |
| C5 | Kraft 携带预算：约束软化必须有补偿 | mackay（Kraft）/ mtc（容量硬上限） | 给每条 requirement 约束分配位预算 l_i（粗标强度刻度：Must-Read 优先级 / 确定层 check 数）；用 Σ 2^(-l_i) ≤ 1 作为「软化必须有补偿」的触发判据，不是可精算硬阈值；某约束被软化必须记录由谁补偿。 | |
| C6 | handoff = 子图摘要而非子图原文 | mackay（message passing） | 阶段切换压成下阶段 Context Packet 的 included_sources + prior_evidence，不搬前阶段全部原文；切换时机由确定层信号（DAG 状态 / schema 完成度）识别，非 LLM 自判。 |
B1 与 C4 的张力是表面的：压的是 source 冗余（同一信息的重复表述），留的是 channel 抗噪冗余（防派发噪声的关键约束多处锚定）。同一信道的两类冗余，不矛盾。
输出契约
写入 TASK_CARD 或 handoff contract，不固定文件名：
unit_decomposition:
capacity_estimate: {V_D_est, available_V_R, 双轴占用: 约束数/主题数/链长}
decomposable_check: {五条件逐条 pass/fail}
unit_boundary: {unit_id, child_unit_or_subagent, essential_state_新增?}
context_injection:
per_role[]: {role, must_read, may_read, forbidden_read, distilled_pkg_path,
why_different_from_other_roles, primacy_前置项, 注入层级: system/prompt}
independence_grounds: # A4，空则拒派
entropy_management:
handoff_summary: {included_sources, prior_evidence, locator_链路}
kraft_budget: {约束位预算, 被软化约束的补偿来源}
regeneration: {从 essential_state 重组, 未复制上轮 raw transcript}
equivocation_check: {U残余歧义, N伪信息}与 controller_loop 的边界（道 vs 术）
本 skill 决定 unit 边界画在哪、每角色该看见 / 隔离什么、怎么传不丢，是 judgment。controller_loop 负责 reviewer_sequence 怎么跑、phase 状态机怎么转、调度执行，是 runtime。本 skill 不重复 harness_07 的 L×S 矩阵机制和 harness_08 的 hook 注入脚本（引用而非重写，循 what_to_how 纪律 7 的跨域迁移精神）。reviewer roster 的角色读权限矩阵由 workflow_guidance_skill_matrix §3 + controller_loop 承载，本 skill 只给「如何为每角色定 just-enough + 隔离」的判断纪律。
Claim ceiling
cybernetics / mackay / mtc 三书都标注了「LLM 语义空间连续、不可精确枚举 variety / 熵」的不适用边界。本 skill 所有量化判据（V_D 估算、equivocation、Kraft 预算）只能粗粒度用于触发委派 / 回退 / 保留决策，不卡精确阈值，不当可精算的硬公式。