rexleimo/harness-cli/aios-workflow-router

AIOS Workflow Router

这个 Skill 只协调宿主路由和 rex 返回的当前命令，不拥有软件工程步骤顺序。路由由显式声明与 workflow-policy 的结构化 Decision 驱动，不根据任务文本关键词自行判断。

所有权

• AIOS：direct | guarded | planned、最终 Provider Binding、计划和 Activation 持久化、Skill/Agent/模型执行、安全、验证、Team、Harness、恢复和重试。
• rex-harness：Observation -> Fact、Capability 选择、Capability Recipe、Evidence Contract、下一条语义 Command、软件 Workflow Recipe，以及独立可用的 rex-native Provider；AIOS 不再绑定外部兼容 Provider。
• Skill / Playbook / Agent：执行已经选中的一个阶段，不根据关键词自行激活，也不决定后续阶段。

显式声明协议

disposition 由显式声明驱动，模型不猜"用户是否想只读/是否要计划/是否多步"：

• 用户带 workflow 命令前缀（/plan /single /implement /review /debug /spec /grill /tickets /team /harness）时，把声明的 intent 透传给 workflow-policy；/single = direct、不建计划。
• 用户说 继续 / 接着做 / 下一步 / resume / continue（带非空 tail）→ 新目标；裸确认（好 / 可以 / 确认 / ok）→ 继续同会话活动计划。
• 只读场景由调用方显式声明 explicit-intent: read-only，不靠"解释/说明"等词判断。
• 模型自身需要时也可显式声明 intent（如 /implement 覆盖 capability 默认计划），但不得用关键词表假装识别。

路由流程

1. 先读取 AIOS workflow-policy 的结构化 Decision。
2. 项目已安装 codemap（存在 .code-review-graph/ 或 CRG MCP 工具可用）时，在执行任何 Provider 之前先调用 CRG 决策检查点（详见 AGENTS.md codemap 段落）：

• 动手前：get_minimal_context(task="<当前任务>") 获取项目上下文和建议下一步；
• 改文件前：get_impact_radius(detail_level="minimal") 检查爆炸半径，query_graph(pattern="tests_for", target="<目标>") 确认测试存在；
• 查找代码/关系：semantic_search_nodes / query_graph（callers_of/callees_of/imports_of）优先于 grep/读文件；
• 阶段结束后：detect_changes(detail_level="minimal") 验证实际影响与预期一致。

加速入口：CRG 预置工作流可直接 list_prompts 查看、get_prompt(name="...") 加载（如 review_changes、debug_issue、pre_merge_check），不必自行编排。 CRG 不可用时记录该事实，降级为 rg 搜索 + 读文件，不阻塞流程、不伪造图证据。

1. direct：只读回答，不创建计划，不启动 Capability 链。
2. guarded：执行当前 capabilityDecision.provider；如果当前阶段会改文件，先执行 pre-edit-safety-gate。
3. planned：创建或复用一个 AIOS 工作项，然后仍然只执行当前 Provider。
4. Provider 完成后，把 Command 要求的 Evidence Kind 和 Artifact Ref 写回 Activation Ledger。
5. 由 rex 推进 Activation：

• blocked：补齐明确列出的缺失 Evidence；
• next：执行新 Command 的一个 Provider；
• completed：关闭当前 Capability，并让 AIOS 自动评估下一个 Capability；
• Promotion Request：由 AIOS 决定是否接受 Team 或 Harness 升级。

代码生产前置（Engineering Standards）

当前 Provider 属于代码生产类（rex-implement / rex-refactor-hardening / rex-code-review / rex-design）时，先加载 rex-engineering-standards：它提供架构边界规则、深层模块启发式、代码基线、工具链基线与 Definition of Done，是这些阶段的共同质量基线，不替代 Provider 自身流程。

Provider 规则

• 当前 Command 的 provider.id 以 rex- 开头时，仅执行 rex-harness 打包的对应 Skill。
• 当前 Command 的 Provider 是风险领域 Agent 时，AIOS 仅按已记录的风险证据解析一名 rex Reviewer。

不得在首次请求中注入任何固定 Provider 链；每一步必须由上一阶段证据解锁。不得把 Fast | Balanced | Deep 作为输入路由，它们只用于总结实际 Activation。

宿主升级

• team：只有独立工作流事实成立，并且当前工作项已经是 planned 时使用。
• harness：只有连续性、恢复或长运行事实成立，并且当前工作项已经是 planned 时使用。
• aios work（并行派发）：当 disposition 为 planned、任务可分解为至少两个独立可执行工作项、文件所有权不重叠且无严格前置顺序时，加载 aios-work-dispatch 并按它的门槛执行（先 --dry-run --json 预览，获得明确用户批准后才允许 live 派发）。条件未全部成立时保持串行，不进入 aios work。
• 没有真实并行域时保持顺序执行；没有可恢复目标时不启动 Harness。

完成门

改动行为后必须执行 verification-before-completion 或当前客户端暴露的等价验证 Skill。代码生产类工作还要通过 rex-engineering-standards 的 Definition of Done。只有测试、类型检查、Review、Evidence Contract 和质量基线都有具体引用时，才能声称完成。

资源

• rex-harness/docs/architecture.md
• rex-harness/docs/capability-lifecycle.md
• rex-harness/docs/workflow-ownership.md
• .aios/workflow-activations/
• docs/plans/