File tree Expand file tree Collapse file tree
openspec/changes/introduce-rust-codeguard-cli Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -1955,7 +1955,7 @@ next/task show在已核验当前原生零诊断、原grammar引用及同一源
19551955
19561956- [x] 15.1 建立57语言×四核心能力×版本/方言×构建器×声明平台的验收映射;关联既有8.x逐语言任务、实际适配器和证据,列明缺口;不得用空目录或泛化覆盖替代。证据:` tests/acceptance/evidence/production-acceptance-plan/all.json ` 完整映射——57 语言 × 4 核心能力(syntax/documentation/conventions/vulnerabilities)× 5 平台(macos_arm64/macos_x86_64/linux_x86_64/linux_aarch64/windows_x86_64),每语言含 build_targets/version_scope/grammar_candidates/legacy_lint_candidate;task_refs 关联 6.x(Java)/7.x(Rust/Python/TypeScript/Shell/Dockerfile)/8.x(其余 51 语言)逐语言任务;162 个 adapter_refs + 480 个 evidence_refs 全部存在于磁盘;364 条构建生态路径实现状态为 46 partial/26 wasm_candidate_only/292 not_integrated;228 项核心义务全部 blocked 如实披露缺口。入口:` codeguard capabilities [language] --acceptance-plan --format=json ` 。
19571957 2026-10-07验收加固:四核心逐语言硬要求已明确写入native-tool-adapters规范,详细注释必须包含缺失、空标签、模板及语义不符反例;原生、WASM、规范、真实依赖漏洞分别验收。production_acceptance_plan_contract逐一覆盖228项义务的删除核心/伪造资格/伪造实现状态共684个拒绝用例,4项目标测试通过;来源审计165份摘要与1312处任务引用通过。此增量只验证计划不越权,未授予任何核心生产资格,不勾选本项或15.2–15.7。当前状态见tests/acceptance/production-acceptance-plan.md。
1958- - [ ] 15.2 验收逐语言WASM语法和原生lint/编译器的联合路径。进行中(2026-10-07):17 种语言 grammar 精度验证全部 PASS(Wilson ≥ 0.98,零假阳性),33 种语言真实原生工具集成完成,六类别(lint/comments/dependencies/cve/security/build)全覆盖。证据:tests/acceptance/grammar-precision-final-summary-2026-10-07.md:配置发现、 原生优先、 缺工具初检、版本/方言兼容、 精确定位、取消/超时及安装指引;32个候选与其它语言缺口均须独立解决。进行中:Java WASM 联合路径已验证(原生优先路由 + 候选不误判) ,证据:tests/acceptance/java-wasm-combined-path 验收。17 种语言 grammar 精度验证完成。其余语言的联合路径验收仍缺 。
1958+ - [ ] 15.2 验收逐语言WASM语法和原生lint/编译器的联合路径。进行中(2026-10-07):17 种语言 grammar 精度验证全部 PASS(Wilson ≥ 0.98,零假阳性),33 种语言真实原生工具集成完成,六类别(lint/comments/dependencies/cve/security/build)全覆盖。证据:tests/acceptance/grammar-precision-final-summary-2026-10-07.md。Java WASM+原生联合路径全链路验收完成(2026-10-07):9 测试覆盖配置发现/ 原生优先/ 缺工具初检/版本方言兼容/ 精确定位/取消超时/安装指引 7 维度 ,证据:tests/acceptance/java-wasm-combined-path.md。其余 56 语言的联合路径验收仍缺 。
19591959- [ ] 15.3 验收逐语言详细文档注释:按语言规范检查用途、参数、返回、错误及行为契约等适用内容;Java覆盖类型/方法/字段Javadoc及Maven/Gradle项目配置;裸标签或空注释不能冒充合规。进行中:Java Javadoc 40 测试通过(Maven/Gradle 双构建路径),证据:tests/acceptance/p0b-five-language-assessment-2026-10-07.md。其余语言文档注释验收仍缺。
19601960- [ ] 15.4 验收逐语言开发规范原生检查:Java P3C及各生态适用规范工具,覆盖实际配置/规则组、原生诊断、合法反例与误报纠正;formatter-only不能代替规范lint。进行中:Java P3C/Checkstyle 78 测试通过,证据:tests/acceptance/p0b-five-language-assessment-2026-10-07.md。其余语言规范检查验收仍缺。
19611961- [ ] 15.5 验收逐语言实际依赖生态漏洞检查:Java必须分别完成Maven和Gradle插件路径;其余语言按实际构建/包生态接入,覆盖锁/解析图、多模块、漏洞源身份及时效、缺工具/离线故障及修复复检。进行中:Java CVE 33 测试通过(Maven/Gradle 双路径),证据:tests/acceptance/p0b-five-language-assessment-2026-10-07.md。其余语言漏洞检查验收仍缺。
You can’t perform that action at this time.
0 commit comments