schedule-worktrack-skill

name	schedule-worktrack-skill
description	当 Harness 处于 WorktrackScope.scheduling，且需要一轮限定范围调度来刷新任务队列并选出当前下一步动作、但不直接分派下游执行时，使用这个技能。

调度工作追踪技能

概览

本技能实现 WorktrackScope.Decide 状态转移算子，对应 Harness 控制回路中的算子选择阶段。它基于状态估计结果（由 worktrack-status-skill 或等效状态估计提供）选择合法的下一步动作，而不是自行执行状态估计。

当 Harness 已经有一个活动中的 工作追踪，并需要一轮限定范围规划来刷新当前 计划/任务队列 时，使用这个技能。

这个技能会消费当前 工作追踪约定 和状态估计结果，重新评估队列，纳入活动中的验收标准、阻塞状态与可用证据，然后选出一个 当前下一步动作，或者返回明确的 没有安全的下一步动作 结果。

在 工作追踪范围 内，这是一轮限定范围规划：把当前任务列表转成一个可分派的工作项外加一份限定范围分派交接包。Harness 与 分派技能 应消费这个包，而不是替换它。

当队列刚被播种、刚恢复，或通过自动继续路径进入时，选出的工作项默认应是能安全推进 工作追踪 的最小可验证切片。初始调度应先收紧范围，再进入分派，而不是把第一个看起来可行的端到端打包块当成默认答案。

这个技能应让规划始终可追溯到当前验收标准，但它不负责收集验证证据，也不负责判断这些标准是否已经满足。

何时使用

当当前问题不是"谁来执行这个任务"，而是"此刻正确的下一项限定范围工作项是什么"时，使用这个技能：

• 在约定澄清、新证据出现或阻塞项变化后刷新队列
• 在现有 工作追踪 内拆分、重排、延后或标记被阻塞的任务
• 选出一个已经可以交接的当前下一步动作
• 说明所选动作与剩余队列是否仍覆盖当前验收标准
• 判断下一步应该进入 分派技能、恢复路径，还是监督器升级
• 打包下一轮限定范围流程所需的最小上下文

工作流

1. 消费当前 WorktrackStateEstimate（由 Observe 阶段产出）和本轮所需的最小 工作追踪范围 产物。
2. 基于状态估计结果中的约定、队列快照、证据变化和阻塞项状态构建一份限定范围 调度包。
3. 只针对本轮刷新队列：
   • 保持就绪项不变
   • 当依赖或证据需要时重排任务
   • 如果当前项太宽而无法安全分派，就拆分任务
   • 推迟或阻塞未就绪的项
   • 当这是当前队列状态首个面向执行的切片时，优先选择一个最小依赖解锁步骤或一个验收标准切片，而不是更大的包
   • 如果当前候选跨越多个验收切片、多个子系统，或多个执行阶段，就拆出最小安全首个切片，除非约定明确要求原子性处理
4. 检查刷新后的队列是否仍能干净映射到当前验收标准；若存在规划层覆盖缺口，要明确暴露。
5. 选出一个 当前下一步动作，或者带上阻塞原因返回 没有安全的下一步动作。
6. 如果存在 当前下一步动作，就把它封装成一份限定范围 分派交接包，其中包含任务简报、信息包，以及本轮明确的返回调度条件。
   • 分派交接包必须引用当前 Worktrack Contract 的 Node Type，并携带本轮适用的 gate_criteria 与 baseline policy。这些策略的唯一合法来源是 Worktrack Contract；在调度阶段重写这些策略的行为必须被阻断。
7. 产出一份固定格式的 调度结果；有需要时，让队列草稿与 templates/plan-task-queue.template.md 保持对齐。
8. 如果选定路由已经分派就绪，且没有命中正式停止条件，就允许监督器继续进入 分派技能。
9. 否则，把调度结果作为当前停止边界返回。

调度包

如果这个技能由 通用高能力模型 子代理 承载，传入的限定范围包至少应包含：

• 工作追踪目标
• 节点类型
• 节点策略
• 范围内
• 范围外
• 验收标准
• 当前队列快照
• 依赖状态
• 阻塞项状态
• 证据变化
• 规划约束
• 所需判定

硬约束

• 本技能是控制回路的算子选择层，基于状态估计结果选择下一步动作。状态估计或动作执行的行为禁止出现在本技能的输出中——状态估计属于 Observe 阶段，动作执行属于 Dispatch/Implement 阶段。
• 本技能的范围边界只能是当前 工作追踪约定 所定义的范围。超出约定的行为禁止发生。
• 执行已选下一步动作是 Dispatch/Implement 阶段的职责，直接分派下游工作是 dispatch-skills 的职责。从本技能执行或分派的行为必须被阻断。
• 分派任务的唯一合法来源是当前 计划/任务队列 中已选出的当前下一步动作。在队列尚未选出动作时，根据代码仓库目标或初始化说明推导分派任务的行为必须被阻断。
• 工作分派就绪的判定依据必须同时包含 已选下一步动作 和完整的分派交接包。仅凭 已选下一步动作 不能判定为分派就绪。
• 选择执行者或专用技能绑定属于 分派技能 (dispatch-skills) 的职责范围。该行为禁止出现在本技能的职责边界内。
• 验收标准、排除目标或恢复策略的唯一合法来源是已被批准的上游产物（Goal Charter、Worktrack Contract）。凭空发明的行为必须被阻断。
• 验收标准在本技能中的唯一合法角色是规划约束和覆盖目标。验收标准的验证或通过判定禁止在本技能中发生——那是 Verify/Judge 阶段的职责。
• 当更窄的首个切片可以被安全调度时，唯一合法的首个切片是最小安全切片。吸收多个验收切片、多子系统变更或端到端实现加验证的行为必须被阻断，应拆分为更细粒度切片。
• 仅当当前约定、依赖形状或显式原子性要求确实要求时，保留更宽首个切片才合法；否则必须拆分为更窄切片，并显式给出拆分理由。
• 当首个候选项使用模糊动词（如"完成""结束""把所有东西连起来"）时，唯一合法行为是拆分它或返回 没有安全的下一步动作。以模糊动词隐藏过大批次的行为必须被阻断。
• 当限定范围刷新已经足够时，唯一合法行为是执行限定范围刷新。重写整个队列的行为必须被阻断。
• 当不存在安全的下一步动作时，唯一合法行为是明确返回该结论及阻塞原因。隐藏歧义的行为必须被阻断。
• 变更 Harness 控制状态 和输出关卡判定结果的行为必须从本技能被阻断。前者是监督器的职责，后者是 gate-skill 的职责。
• 跨越 RepoScope 与 WorktrackScope 的唯一合法条件是拥有经批准的权限边界。未经批准的跨 Scope 切换必须被阻断。
• 只有当当前路由已经把这次切换标记为可继续，且没有任何正式停止条件要求审批时，范围切换才可以在没有新的程序员交接的情况下继续。
• 当继续推进的判定依据已存在显式路由、阻塞项与审批字段时，唯一合法行为是消费这些显式字段。从文字推断继续推进的行为必须被阻断。
• 建议下一路由 和 建议下一动作 是不同的路由字段，不可相互替代。当 建议下一路由 已存在时，必须消费它作为标准路由字段。
• 变更控制状态前唯一合法的前提是已显式暴露请求中的状态迁移。因下一步看起来明显而直接变更控制状态的行为必须被阻断。

预期输出

使用这个技能时，产出一份至少包含以下章节的 调度结果：

• 消费的状态估计
• 队列刷新决策
• 验收对齐
• 当前下一步动作
• 分派交接包
• 分派或升级就绪度
• 使用的证据
• 待解决问题
• 返回 Harness

结果中至少应包含以下字段或等价表达：

消费的状态估计（输入）

• 当前工作追踪状态
• 队列变化
• 就绪任务
• 被阻塞或推迟任务
• 已考虑验收标准
• 当前已处理标准
• 剩余标准
• 使用的证据

产出的调度决策（输出）

• 刷新后队列快照
• 验收覆盖缺口
• 已选下一步动作编号
• 已选下一步动作
• 选择理由
• 切片边界理由
• 更宽切片理由
• 剩余前置条件
• 分派任务简报草稿
• 分派信息包草稿
• 节点类型
• 本轮适用判定标准
• 基线策略
• 分派包就绪
• 返回调度条件
• 分派就绪
• 下一轮所需上下文
• 建议下一路由
• 待解决问题
• 可继续
• 建议下一技能或路由

资源

当你需要本轮稳定的队列草稿格式时，使用当前工作追踪队列、约定、证据变化、任意由初始化产出的调度交接包，以及 templates/plan-task-queue.template.md。