用途:针对一个已批准的 SwiftUI 功能切片,依据其行为对等契约进行证据评估,而非仅凭界面相似判断对等。需要提供已批准的对等契约、明确的目标目录或模块、具名功能切片、预期确定性检查以及已批准的平台上目标;若契约、目标、后端行为、许可状态或对等预期含糊则停止。
主要能力:按契约完整性、确定性纯 Swift/领域检查、架构边界、后端契约行为、无障碍证据等顺序验证;检查领域代码不得导入 SwiftUI/UIKit,视图与平台适配层应保持轻量;覆盖成功、空、加载、失败、重试、认证、离线等契约要求;核对标签、提示、特征、焦点顺序、动态字体、对比度、减弱动态效果及稳定标识符等无障碍证据。可用捆绑脚本 scripts/native-port.mjs 的验证护栏,其结果为结构性确定性证据,不等于行为对等;随后在允许边界内运行声明的构建/测试门禁。若存在兼容的模拟器运行时与目标,运行声明的模拟器冒烟与 XCUITest 路径,但不得创建、安装或下载缺失运行时。
使用方式与安全限制:只读取契约、声明的源证据和明确目标目录;不得改动源码、重写快照、批准新基线、安装依赖、下载模拟器运行时、接受 Apple 许可或更改签名;构建产物、缓存、截图、日志只能放在明确目标目录或经批准的一次性验证目录;不得使用真实凭据、客户数据、私有 URL 或生产后端,应使用批准的合成夹具或声明的安全本地测试端点。缺失 Xcode、Swift、已接受许可、模拟器运行时、可启动目标或 XCUITest 支持时,应判定为 BLOCKED 平台门禁而非通过,并给出最小人工后续步骤,不执行安装或接受许可。结果以表格返回,每行对应一项契约行为或门禁,含状态 PASS、FAIL、BLOCKED 或 NOT TESTED,契约要求,证据命令、夹具、文件或观察,偏差或缺失前提,以及最小后续动作;最后总结对等信心、允许边界内创建的文件或产物、跳过的平台门禁和剩余风险,存在失败、阻塞或未测试行时不得声称完全对等。