القائمة
当任务涉及困难推理、原因不明、无法解释的观测、失败的假设、模糊诊断、复杂系统、涌现行为、调查规划，或当前解释空间不完整的任何情形时，请使用此技能。此技能应用递归残差推理：将尚未解释的内容保留为显式残差，把该残差扩展为下一个推理空间，并生成一条从观测到结论、行动或有界停止原因的可追踪路径。
التثبيت باستخدام 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 更清晰，也能避免简称含义过载。