对应OpenSpec14.11前置条件,父任务未完成。
旧实现只在遍历原始/结构观察时解码源码;空观察数组使非UTF-8字节在摘要匹配时通过确认报告校验。实际单元RED反例失败,修复后通过。统一冻结源码校验现在先核验UTF-8与1 MiB预算,再核验闭合协议、工作区、稳定身份、源码/grammar摘要、原始位置与固定结构规则。当前导入仍由普通文件读取和规范化路径检查提供当前字节;并未把旧报告改成可任意导入的历史结果。
冻结源码验证不读取当前文件,可用于以后绑定首次证据。原始0.1和结构0.2正反例覆盖原始字节通过、修复后字节拒绝、错工作区、越界位置、错规则摘要、版本降级携带结构及伪造批准来源。校验返回true只证明内部一致性,不核验消费收据、可信批准或原生目标版本,不关闭任务。
Python可信关闭仍缺TaskResolutionChecker接线、专用/通用两类首次报告读取和消费收据验证,以及单文件原生复检/审批策略。完整14.11不得因本次局部测试勾选。历史schema、评测报告与grammar字节保持不变。
实际验证:新增3项单元在默认与WASM特性分别通过;Python兜底9通过/2忽略,聚合结构任务1通过,真实工具忽略项本轮未执行。第一次带单元过滤器的集成调用实际0测试,不计验证;随后移除过滤器实际执行并通过上述10项集成。默认/WASM workspace/all-targets严格Clippy均通过,OpenSpec strict通过,差异空白检查通过。保护中的Erlang草稿SHA-256仍为2e3a296072e6a3aa34b561799c18c7d8b621d00f8786301d2612cee8cdab85b6。本轮没有重新运行完整358例语料、原生差分或宿主验收,不声称这些范围新增通过。