Repository navigation
统一语言检查入口与原生修复任务,完善 WASM 验收 - #30
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
原生检查需要把源码诊断、环境阻塞和当前修复动作反馈给智能体。本变更完善 Erlang、Kotlin、Swift、Zig 的原生优先检查、聚合扫描、编辑反馈及稳定任务复检,补充 Ruff/Cargo 工具选择、P3C 单文件观察和任务投影恢复。重复扫描复用同一任务;本地零诊断不自行批准关闭。受保护宿主 SDK 对限定语法任务核验独立签名策略、原反例、当前源码及同工具复检,支持幂等关闭和复发重开;默认宿主可信提供者及完整项目门禁尚未完成。
32 份固定 WASM 可由 Rust 离线加载、路由及回放。开发差分入口使用冻结源码和显式已有原生工具,保留工具/程序身份、上下文阻塞和未知结果。Kotlin 混合诊断不丢已确认语法证据。新增 Ruff0.16.8 / py312 隔离语法对照,只消费 invalid-syntax,普通 lint 不当作语法错误。四工具78例保留 Erlang10个漏检;Python18例新增 empty_body/bad_indent 两个漏检。VB.NET1个已知误报也未修复,grammar资格仍为0。
新增有界全树空block事实扫描,与原始 ERROR/MISSING 分开,保留父节点及原始字节位置。合法Rust空函数也会产生结构事实,不能自动当成全语言违规。该API尚未接入worker、公开报告和修复任务,Python漏检仍开放。
S14.2加载器完成核验:32固定候选离线加载、损坏字节/散列/ABI拒绝及真实Rust1.85检查均有证据。8ca3bb1的CI37243591502 MSRV job已成功,gate仍在运行。关闭加载器任务不批准资产发行、语言精度、平台隔离或宿主闭环;OpenSpec仍在实施/验收阶段,CLI剩283项、Plugin剩7项。
验证与范围:
详细证据:tests/acceptance/native-grammar-differential.md、python-native-grammar-differential.md、wasm-empty-block-facts.md、rust-wasm-loader-completion.md。完整语言能力、可信白名单、默认宿主、平台和发行父任务保持未完成;不合并或升级公开npm/插件默认版本。