菜单
当任务涉及困难推理、原因不明、无法解释的观测、失败的假设、模糊诊断、复杂系统、涌现行为、调查规划，或当前解释空间不完整的任何情形时，请使用此技能。此技能应用递归残差推理：将尚未解释的内容保留为显式残差，把该残差扩展为下一个推理空间，并生成一条从观测到结论、行动或有界停止原因的可追踪路径。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
当生成或探索性工作可能失败、需要多次尝试、涉及众多约束、需要验证，或会产生不应污染主 Agent 上下文的中间发现时，主动使用本技能。 本技能运行一个整洁的主智能体循环：主 Agent 只负责协调，将上下文导出到文件，派发创建者/审查者 SubAgent，将重试过程留在主上下文之外， 并且只接收工件路径以及 PASS / RETRY / FAILED 审查说明。
用于每一项编程任务，以控制流程复杂度。对于任何创建或修改代码的任务，还应使用 clean-agent 协调模式，让创建者和审查者 SubAgent 将 clean-code 作为共同的代码规范。它强制执行复杂度门禁，将每个分支视为新增的逻辑路径，要求有明确的业务理由，尤其适用于实现和代码审查。
每当用户要求编写、重写、缩短、澄清、审查、润色、重构或改写文档及任何面向人类的说明性文本时，请使用本技能。对于任何创建或修改文档的任务，还要使用 clean-agent 协调模式，使创建者和审查者 SubAgent 将 clean-doc 作为共同的沟通规范。它把信息转化为针对特定受众和决策情境的目标导向型沟通，优先考虑读者的语言和风格，并且只保留与决策相关的信息。
强制执行 CZ 的 Git 和 GitHub 交付风格，包括 gitmoji 提交、受保护的 main、仓库本地 worktree、仅 Squash 的 Auto Merge、拉取请求监控、GitHub Actions 验证和安全清理。每当 Codex 设置或更新 GitHub 仓库、创建功能 worktree、准备或发起拉取请求、跟进拉取请求直至合并并完成 Actions，或执行相关 Git 工作流时，都应使用本技能。
当代码运行缓慢、超时、被终止、消耗大量 CPU、执行长时间批处理作业、进行参数扫描、训练模型、处理大型数据集、运行模拟，或目标规模运行时间未知时，使用本技能。它指导智能体逐步探测运行时间，在可行时进行在线 N-T 进度插桩，采用固定超时采样，执行 N-T 扩展估算，并在尝试目标规模前作出全规模运行的通过/不通过决策。如果进行了优化，它要求保留慢速版本的规范输出，证明语义逐字节等价，并在通过并行投入更多 CPU 前优先消除无效工作。本技能不封装性能分析工具，也不提供通用优化方案；它负责判断应全规模运行、停止，还是转入性能分析和原则性优化。
当创建、修改、解释、诊断或验证模型、规则、评分系统、预测、参数选择、机制假设或研究结论时，请使用此技能。它要求同时具备先验依据与实证验证来评估可靠性，并区分可靠结论与黑箱相关性、空洞叙事、事后线索及不可靠主张。
| name | recursive-residual-reasoning |
| description | 当任务涉及困难推理、原因不明、无法解释的观测、失败的假设、模糊诊断、复杂系统、涌现行为、调查规划，或当前解释空间不完整的任何情形时，请使用此技能。此技能应用递归残差推理：将尚未解释的内容保留为显式残差，把该残差扩展为下一个推理空间，并生成一条从观测到结论、行动或有界停止原因的可追踪路径。 |
当常规推理遇到无法解释的剩余部分时，使用递归残差推理（Recursive Residual Reasoning，R3）。R3 将该剩余部分视为一等残差，而不是失败、模糊的未知项或废弃项集合。
推理不会止步于未知。残差会成为下一个推理空间的对象和生成器。
R3 是一种将困惑转化为可追踪路径的推理范式：
观测
→ 当前推理空间
→ 已解释部分 + 残差
→ 残差扩展
→ 下一个推理空间
→ 结论、行动或有界停止原因
完整的领域无关方法请参阅 docs/r3.md。项目数据文件格式请参阅 docs/r3-data-file.md 和 templates/r3.system.yaml。
R3 可建模为：
R3 = (U, Ω, X, τ, T)
其中：
| 符号 | 含义 |
|---|---|
U | 推理对象的全集：观测、假设、证据、节点、结论、行动、停止原因和轨迹。 |
Ω | U 上的闭合运算，例如分类、解释、分解、组合、检验、扩展、闭合和追踪。 |
X | 残差元素：当前推理空间尚未解释的显式部分。 |
τ | 残差扩展算子：将残差映射到新的推理空间。 |
T | 终止集合：结论、行动、形式化闭合或有界停止原因。 |
关键转换是：
未知 → 残差 → 下一个推理空间
明确说明推理空间。 陈述当前允许用哪些概念、假设、规则、证据或模型来解释观测。
将已解释部分与残差分开。 不要把未解释部分压缩成“尚不明确”“杂项”“边缘情况”或“可能是噪声”等措辞。应将其明确命名为残差。
递归扩展残差。 残差应成为新推理空间的入口，该空间有自己的候选解释、证据需求、检验方法和停止条件。
将交互视为一等对象。 如果各个组件或假设单独看来合理，但组合后产生了新现象，应将问题置于交互空间，而不是归咎于其中任何一方。
保留轨迹。 输出应展示从观测到推理空间、残差、扩展和终止状态的路径。轨迹是结果的一部分。
明确停止。 如果当前无法扩展残差，应以有界停止原因闭合，例如证据不足、模型不足、样本不足、成本过高或超出范围边界。
记录证据的可用时点。 区分相关决策之前或期间可用的证据，与仅在决策之后得知，或后来通过建模、推断、模拟或重构生成的证据。
区分单节点主张与多节点变更。 如果一项行动会改变多个节点或依赖多个节点，除非已明确分离各项影响，否则应通过组合空间路由轨迹。
在项目内应用 R3 时，要求项目维护一个 R3 数据文件。首选路径为：
r3.system.yaml
数据文件记录项目的 R3 代数系统。它应包含：
system：边界、目标类别、观测能力、最大递归深度和推理成本上限nodes：原子节点、残差节点、组合节点和终止节点combination_spaces：时序、优先级、交互、状态、上下文、反馈或其他关系空间relations：父子、细化、扩展、分解、冲突、邻接和闭合关系stop_reasons：结束未解决递归的有界原因trace_requirements：每次 R3 分析都必须记录的字段open_residuals：已知但尚未扩展的残差known_traces：已接受或已冻结的推理路径priority_expansions：接下来应扩展的残差或节点coverage：目标类别覆盖范围和相对完整性记录deprecated_nodes：稳定节点的替换历史如果项目没有 R3 数据文件，而任务需要持久化推理结构，请先根据 templates/r3.system.yaml 创建一个，再将分析视为完成。如果项目已有 R3 数据文件，请先读取它，使用其中的节点 ID 和关系，并在引入新节点、残差或扩展关系时更新该文件。
不要让数据文件变成只有散文的文档。应保留稳定 ID 和显式关系，使 Agent 能够将其用作项目的推理地图。
当用户要求重建、文件缺失、文件结构无效，或相对于项目文档和已接受轨迹显然过时时，Agent 可以重建项目的 R3 数据文件。
重建是指根据项目证据重新构造 R3 数据文件，而不是从头虚构一套新理论。可使用项目指令、架构说明、调查记录、已接受轨迹、决策日志、问题分类体系，或现有 R3/RCAS 风格文档等来源。
重建时：
盘点源材料。 记录使用了哪些文件、记录或对话。
提取系统边界、目标类别、观测能力、最大深度和推理成本策略。
提取或推断节点、残差、组合空间、停止原因、关系、已知轨迹、优先扩展项、覆盖范围记录和已弃用节点。
如果先前的数据文件或已接受轨迹引用了稳定 ID，请保留这些 ID。
如果无法保留旧 ID，请添加一条包含 old_id、replaced_by 和 reason 的 deprecated_nodes 记录。
将不确定的重构标记为残差或 needs_review；不要悄然把薄弱证据转化为已确认节点。
添加一条 rebuild_history 记录，其中包含来源、摘要、保留的 ID、重命名的 ID、未解决缺口以及时间戳或版本。
重建后，执行一次 R3 一致性检查：每个非残差节点都有可观测项、规则和行动；每个残差都有扩展或有界停止原因；每个组合空间都能分解；每个目标类别都有覆盖项或残差。
应用 R3 时，请遵循以下工作流程。
陈述观测。 在归因之前，用中性措辞写出该现象或问题。
加载或定义当前推理空间。 如果项目有 R3 数据文件，请读取它并使用其中的节点和关系。否则，定义初始空间；当推理结构需要持久化时，创建数据文件。
必要时重建 R3 数据文件。 如果数据文件缺失、无效、过时，或用户要求重构，请先根据项目证据重建，再将其作为权威依据使用。
定义当前推理空间。 列出当前允许考虑的候选解释、组件、假设、规则或模型。
映射已解释部分。 识别观测中的哪些部分已由当前空间解释，并引用所用证据或规则。
命名残差。 陈述尚未解释的内容。为残差起一个简洁名称。
选择残差路由。 将残差路由到以下空间之一：
扩展残差。 为残差定义新的推理空间：候选解释、所需证据、检验方法和可能的终止状态。
检查证据可用性。
将关键证据标记为 before_decision、during_decision、after_decision 或 synthetic_or_inferred。除非已证明证据当时可用，否则不要把事后证据视为运行时证据。
检查已处理与未处理节点。 记录已处理节点、未处理的相邻节点以及所有已变更节点。如果多个节点发生变化且影响未分离，请通过组合空间进行路由。
更新 R3 数据文件。 添加本轮推理新建的任何节点、残差、组合空间、关系、停止原因或轨迹要求。
闭合或递归。 以结论、行动、形式化闭合或有界停止原因结束。如果问题仍未解决且值得继续探索，请在下一层重复该工作流程。
当用户要求进行 R3 分析时，除非其他格式更合适，否则使用以下结构：
## 观测
<对现象的中性陈述>
## R3 数据文件
<使用的路径，或说明文件缺失、已创建或已更新>
## 当前推理空间
<当前考虑的候选解释、概念、规则或模型>
## 已处理范围
<已处理节点、未处理的相邻节点、已变更节点，以及这属于单节点轨迹还是组合空间轨迹>
## 已解释部分
<当前空间已解释的内容及相关证据>
## 证据边界
<关键证据及其可用性：before_decision、during_decision、after_decision 或 synthetic_or_inferred>
## 残差
<尚未解释且已明确命名的内容>
## 残差扩展
<由残差生成的下一个推理空间>
## 轨迹
<观测 → 当前空间 → 已解释部分/残差 → 扩展 → 终止状态>
## 闭合
<结论、行动、形式化闭合或有界停止原因>
当两个部分各自正常，但组合后产生新现象时，不要强行将解释归入其中任何一方。
使用以下形式：
P(A) = 未观测到
P(B) = 未观测到
P(A, B) = 已观测到
然后将残差路由到交互空间：
涌现现象
→ 交互残差
→ 时序、顺序、耦合、反馈、共享状态、阈值或上下文依赖
→ 可检验的下一个推理空间
needs_review。对于快速对话，使用较短的形式：
观测：...
R3 数据文件：...
当前空间：...
已处理范围：...
证据边界：...
残差：...
下一步扩展：...
轨迹：...
闭合：...
Recursive Residual Reasoning 的简称为 R3。首次使用时优先采用全称，因为这对 Agent 更清晰，也能避免简称含义过载。