该技能用于在流程或系统需要被分析或改进时使用，也用于当忠实表达会因歧义而把不确定内容固化为权威行为的情况。
【操作原则】在当前有用的分辨率上确立目的，只对证据支持的内容建模，调查可解决的未知项，仅当继续推进会创建或改变意图或策略时才询问用户。
【模型质量检查】在 MODEL 和 CHALLENGE 阶段，验证相关 ProcessModel 是否具备：可观察的期望结果与终止状态；明确的行为者／所有权、输入、输出、状态、转移、资源和约束（在适用时）；可评估的守卫条件和明确允许的行为，包括有意的非确定性；失败、重试、恢复、回滚和反馈行为（在适用时）；假设与边界和已验证事实相区分；足够重建重要执行过程的可审计性；重要的正确性声明可被证伪或验证。不要求为完成清单而填写无关字段。
【规范流程模型】使用一个轻量语义模型，作为理解、改进、验证与表达之间的交接。只填充当前分辨率下相关的字段。模型包含 purpose、scope、resolution、parent_constraints、actors、states、actions、transitions、inputs、outputs、resources、goals、invariants、assumptions、failure_modes、claims、uncertainties、boundaries、residual_risks、identity 等。Mermaid、测试、TLA+、Lean 和文字表达都消费或投影自这一模型，不为每种表示建立平行解释。
【结果契约】每个整体流程评估配合逐项声明状态：READY（在请求分辨率下可用，所需声明有充分证据）、IMPROVED（已应用被授权的修正，报告改进范围内所需声明有充分当前证据）、BLOCKED_INTENT（推进需要作出创建或改变意图或策略的决定）、UNVALIDATED（所需声明缺乏必要工具／证据，包括陈旧证据或未解决的收敛）、INVALID（证据表明所需声明失败且没有保持意图的修正解决它）。对于包含必需失败或未解决声明的范围，不返回 READY 或 IMPROVED。多种条件并存时，整体评估取 INVALID、BLOCKED_INTENT、UNVALIDATED、IMPROVED、READY 顺序中首先出现的，并在其后列出所有其他非就绪条件。
【任务完成与流程评估分离】完成的分析可以确立其目标是 INVALID。保留调用方确切的词汇、位置和返回信封；在没有调用方信封时，使用首行 STATUS: DONE | PARTIAL | BLOCKED 表示请求的工作，随后是 Assessment: <流程评估>。DONE 表示请求的工作完成，绝不自动意味着就绪、批准或执行所描述流程的授权。每个结果记录证据、假设、残余不确定性和验证边界。
【流程与系统改进循环】把流程改进视为递归系统工程而非图表清理。在每个有用分辨率上：确立目的、建模行为、提取可证伪声明、挑战它们、改进无需发明意图即可解决的缺陷、用最不正式但充分的方法验证、把失败反馈回改进。
【递归安全】递归分析必须在系统分辨率上下潜，而不是在同一未变范围上递归重调。每次下潜必须指出严格更窄的子系统、边界、声明或未解决依赖，并继承适用的父目标／约束。按（范围、分辨率、声明／边界）跟踪已访问的分析目标；除非新证据或流程变化使先前结果失效，否则不重访未变目标。当更细分辨率无法实质改变正确性决定、所需证据／工具不可用、或到达依赖意图的决定时停止下潜。验证反馈返回到最近受影响的模型层级，而非重启整个分析。分解深度不构成改进循环收敛的证据。在候选迭代期间保留契约身份、候选的重要行为、相关证据和未解决声明。检测在同一契约下无改变决定证据时重访等价候选，包括 A → B → A 振荡；表面编辑、新时间戳或重命名节点不重置该检查。当循环重复或无法指出可改变决定的证据支持下一步时，停止受影响循环。
【五个阶段】UNDERSTAND（确立目的、范围、证据、期望结果、约束和当前分辨率）、MODEL（提取行为者、状态、动作、输入、输出、决策、资源、假设、目标、不变量、失败路径和终止状态）、CHALLENGE（识别歧义、矛盾、缺失转移、未定义所有权、不可达状态、隐藏假设、缺失失败处理和不可验证声明；问什么观察会证伪每个重要声明）、IMPROVE（在实质变更前声明变更契约并保留最小有用基线，然后修正可从已确立意图推导的缺口；仅升级创建或改变策略、目标或其他意图的变更）、VALIDATE（针对预先声明的契约测试候选，比较相关前后证据，为每项声明选择最廉价的充分验证器，把反例或回归反馈回 CHALLENGE）。
【任意分辨率下的目的】每个流程或子系统必须有足够目的以判断改进。不要求在有用地开始工作前建立完整形式化目标层级。子流程继承适用的父目标、约束和不变量；可以加强但不能静默矛盾。
【证据来源与权威】把需求权威与解释分开。在权威重要时标注重要流程声明：OBSERVED（直接由源流程、权威依赖、运行时／仓库证据或明确用户证据支持）、DERIVED（从具名观察推理，保留依据）、ASSUMED（现有证据未确立的必要解释）、PROPOSED（尚未确立为意图的候选目的、需求、策略或修正）。仅当权威证据决定时才应用修正；否则保留不确定性或请求重要的决定。
【不确定性分类】不把每个未知都视为阻塞。分类包括：KNOWN + VALID、KNOWN + INVALID、UNKNOWN + RESOLVABLE（先调查）、UNKNOWN + INTENT-DEPENDENT（只有流程所有者能选择）、ASSUMED、OUT OF SCOPE。缺失证据、陈旧身份、不安全应用能力或失败收敛只阻塞其安全依赖该缺口的变更，不阻塞只读分析、忠实表达或无关独立工作。
【证据驱动改进】改进证据随后果和不确定性缩放，不对琐碎可逆编辑强加基准。在实质行为变更前，记录一个小型变更契约：目标声明／属性与当前失败或证据、预期改进、必须保持的真实不变量／契约、可观察成功标准、不可接受的回归、当前行为／成本／摩擦／反例的最小有用基线。针对增量而非仅候选是否合理做改进与验证。主观判断仍存在时，偏好独立评估（如使用全新智能体／上下文，在比较时隐藏新旧身份）。如执行轨迹可用，检查实际导航、动作、工具使用、回溯、交接、遗漏和恢复，而不仅是最终文字。把失败或令人失望的变更分类为 requirement、knowledge/evidence、decision/judgment、process/transition、interface/contract、reliability/recovery、observability、representation、validation/model 等诊断类别，用诊断选择下一次修正，不针对未识别失败添加通用规则。
【严格度按比例】常规／可逆变更 → 直接改进加相称检查；实质行为变更 → 预先声明的变更契约 + 基线 + 前后比较；重要、不可逆、破坏性、中断性或安全敏感变更 → 更高局部分辨率，并在实际可行时进行适当的独立／对抗性和逐项声明验证。
【高度与分辨率审查】完整性意味着在当前分辨率下对流程契约和风险有足够细节，而不是到处同等细节。偏好使每个决定安全无歧义的最低分辨率。对每个节点询问：必须满足什么契约（目的、前置条件、保证和相关不变量）、当前表达在什么高度／分辨率、错误推理或执行的后果是什么、有能力的智能体在无更多指令时可能推断的行为有多大变化、节点应被压缩、保留还是局部展开并验证。使用后果和行为方差独立判断：低后果＋低方差 → 激进压缩；低后果＋高方差 → 在方差重要处说明偏好行为；高后果＋低方差 → 说明契约、关键保障和验证；高后果＋高方差 → 局部展开为精确子流程并验证。把破坏性、不可逆、中断性、安全／信任边界、外部可见、难以恢复、并发／资源敏感、凭证／资金敏感或易部分失败的动作视为可能需要更高局部分辨率的信号。展开是局部的，不为一个节点需要细节而提高周围常规节点的分辨率。父节点说明契约，子展开说明更高分辨率流程，子继承适用的父目标、约束、不变量、前置条件和保证，不得静默弱化。高风险不意味着写更多，而意味着选择所需分辨率、使关键行为明确并在该分辨率验证。图表是现状描述或建议，除非适用权威确立其为已批准流程；语法有效性和模型保真不授予批准。
【可选的基线智能体行为采样】当指令繁重或复杂流程可能重述有能力的智能体已可靠推断的行为时，可在保留指令负载前可选地测量该基线。使用中立代表性场景和跨支持模型／框架的隔离响应；共识度量可能推断，而非正确性。仅压缩与所需不变量兼容且推断失败后果可接受的行为，然后用可比较和留出场景针对更完整指令验证实质压缩。加载 baseline-agent-behavior-eval.md 时定义中立场景设计、采样／归一化、偏差检查、重复／跨模型方差解释等内容。