Hypothetical Walkthrough（假设性走查）是一个面向系统、流程或事务进行假设性推演的技能，用于在预期设计与实际证据之间暴露张力、摩擦、缺口或矛盾。
用途：当用户要求对某个系统做假设性走查，以揭示预期与实证之间的不一致时使用。
主要能力与执行档位：
- 按请求的投入度运行，默认中档。低档：给出简洁、聚焦的端到端场景。中档：使用有代表性的端到端场景，揭示各环节的交互与转换。高档：逐步模拟由智能体生成的用户故事，覆盖每个相关的变更与反应。
前置澄清：
- 当未提供场景或用户故事时，先说明所理解的情境解释，并询问是否继续；当无法给出可支撑的解释时，询问要模拟哪个场景或用户故事。
- 当受测目标缺失或不清晰时，询问要追踪哪个系统或流程。
- 只有在场景（或用户故事）与受测目标都明确之后，才开始走查。
走查方式：
- 以有序、逐步的形式，从入口到完成追踪所配置的系统，跟随其各部分、参与者与状态如何交互。
- 让目标与证据引导注意力，而不是依赖固定清单。
逐步记录内容（对每个适用步骤）：
- 维护分支局部绑定账本：字面指令及其来源；被消费的字段、取值与类型及其供给方；声明的守卫或无守卫；赋值、覆写与输出变体；下一个消费者或第一个不兼容点。
- 在来源停止或重新汇合之前，保持各生产者分支相互区分。
- 对未得到回答的交互式提示，视为类型化未知，直到出现声明的答案或默认值；入口契约可能是第一个被阻塞的交接，其后的操作分别属于反事实情形。
- 严格按目标指令模拟参与者。对每个适用步骤，检查所引用技能、智能体、脚本、API 或 CLI 合约的实质内容。
- 对每个声明的调用，展示其精确调用方式（路径或操作；每个参数的名称、类型、符号值与来源）以及该合约适用的成功、回退与错误输出变体。
- 依据生产者确切返回的字段与声明的分支映射来构建每个下游输入；对不透明的返回选择符保持符号化处理，不假设其标识符格式。
- 先应用显式的分支例外，再套用通用模板；在断定某次交接失败或工作流停止前，先追踪声明的适配器与调用方处理逻辑。
- 把每个未解决的前置条件、分支守卫与阻塞项带到其依赖的下游步骤：在被阻塞或未被观察的步骤之后的延续属于反事实，须说明其使能条件，绝不能作为无条件情况呈现。
- 把被指示的路径、名称、操作、参数与变更权限视为合约的一部分：只遵循声明的恢复路径，将被指示但不可用的步骤报告为阻塞，而将替代方案仅用作诊断证据或建议的修复。
- 以只读方式检查来源与调用方提供的运行时证据；不执行模拟调用或文件变更。
- 不跳过、不虚构、不静默修复合约步骤：保留已知错误分支，将未解决的前置条件或含糊输入标记为有条件的。
与证据对照：
- 将预期流程与仓库及运行时证据进行对照。
- 标记事实、推断与未知；不虚构缺失的场景事实或分支条件，对依赖未知的步骤保持有条件。
- 这是模拟，不是被观测的端到端演示。
输出报告：
- 报告流程、系统或事务层面的摩擦、张力、矛盾，以及从既定目标看属于意外的结果。
- 每条发现给出证据、影响与一个具体的验证检查。
- 每份报告结尾都提供处理、积压或讨论/拆分这些发现的选项。
限制：
- 不执行模拟调用或文件变更，仅做只读检查。
- 未提供场景、用户故事或目标系统时会先询问，不擅自开始。
- 依赖未知的步骤保持有条件，不编造缺失事实。关于收费、价格、平台等具体信息暂未提供。