Skip to content

Latest commit

 

History

History
17 lines (8 loc) · 2.33 KB

File metadata and controls

17 lines (8 loc) · 2.33 KB

Python限定语法关闭与复发验收(局部已验证)

对应既有OpenSpec 9.10、14.11;父任务保持未完成。

实现:Rust宿主SDK验签1.5策略,对照两类首次已消费WASM报告的原字节及项目Ruff当前单文件扫描;0.6封闭证据绑定目标和配置,复用共同事件提交。工具和源码前后核对,普通项目文件不能提供信任根或自行批准。稳定输入下局部报告绑定失败立即拒绝关闭。

RED:首次编译因共享规则投影函数不可访问失败;实际Ruff服务因共同提交尚不接受0.6证据失败。新增普通CLI复发断言随后因缺少Python重开接线失败,0条重开事件;接线后实际Ruff两类来源完整链路1通过、0失败,159.48秒。

已执行:签名负例1通过(撤销密钥、版本/规则/目标/摘要错误均不执行标记工具);实际Ruff 0.16.8 SDK两类首次报告,问题存在、修改关闭、重复验证幂等、SDK复发重开共1通过,148.24秒。该测试独立信任根是夹具,不是生产宿主认证。

未完成:真实生产宿主批准接线、多文件/逐文件目标支持、所有语言闭环、跨平台与完整交付门禁。语法任务关闭不要求其他lint规则零发现,也不代替完整项目质量检查。

最终相关回归:WASM CLI库54通过/3条件忽略;聚合Python结构1通过;Python兜底10通过/2条件忽略;新SDK策略负例1通过/1真实工具条件忽略;既有语法任务复检9通过/1真实工具条件忽略。合计75通过/0失败/7条件忽略,真实Ruff闭环单独显式执行。新增封闭原生观察反例拒绝未知字段、非法版本/目标、坏坐标,以及零诊断中的非法UTF-8或超预算源码。默认和WASM全目标严格Clippy、OpenSpec strict及git diff --check通过。未重跑完整项目suite,不将局部通过当全项目验收。

真实产物复核:独立/聚合两类来源再显式运行1通过172.49秒,导出4份策略/关闭证据,分别通过1.5/0.6 schema。伪造批准字段、未知版本、非法目标、错误原生版本均拒绝。既有Zig共同提交、关闭幂等及普通复发回归1通过52.01秒。Erlang未提交差分草稿摘要保持2e3a296072e6a3aa34b561799c18c7d8b621d00f8786301d2612cee8cdab85b6,未修改或纳入本次提交。公共npm包与插件制品锁未更新。