用途：在 iOS 模拟器上组织可复现的验证流程，把观察结果绑定到产生它的运行时，避免跨设备或跨智能体混用证据。
主要能力：提供单智能体检查流程 preflight -> open -> snapshot -> act -> re-snapshot -> assert -> cleanup；对功能交付、跨智能体或可复用证据、多标准矩阵、共享重试预算，使用 runtime ledger。按界面归属路由：应用自有 UI、断言、应用诊断与 React Native 检查读 agent-device 技能；SpringBoard、系统 UI、硬件输入或系统手势读 serve-sim 技能；只读适用的 recipe（Expo、认证/后端、系统/无障碍）。
使用方式：选择精确 UDID；当前设备/运行时未验证时运行 scripts/check-simulator-environment.sh。正式工作使用 scripts/runtime_manifest.py 及其子命令 --help，创建或校验 ledger，用形如 STORY:AC 的功能唯一 ID 声明范围内每个标准，并绑定当前运行时身份。仅在绑定仍兼容时复用构建、Metro 进程、后端或已认证夹具；只有使绑定失效的变更才重建或重启。每次交互后按语义观察行为，命令退出或截图本身不算行为证据，不得在没有当前无障碍几何信息时猜测坐标。
限制与注意：把失败或不确定的完整策略（而非单个 UI 动作）记为一次尝试；成功的独立检查记为已观察证据而非尝试；重试预算跨智能体和恢复轮次保留。运行时身份变化需重新绑定，ledger 会使先前观察失效；评审者可复用基础设施，但必须执行并记录新的行为观察。恢复被改设置、停止任务自有辅助进程、将 ledger 移至 CLEANED 后输出最终交接。证据完整不等于产品获批。策略失败时先分类症状，再尝试一个实质不同的回退或环境修复；若仍失败或状态不可观察，停止并记录 not_observed，不得通过其他智能体或设备新建预算。断言引用须指向包含语义结果与绑定的持久、非机密产物；未经授权不得破坏性重置共享模拟器状态或扩大网络暴露；不得把待定或未观察证据转为通过。