Skip to content

统一语言检查入口与原生修复任务,完善 WASM 验收 - #30

Merged
loong10k merged 96 commits into
mainfrom
feat/rust-hook-prompt-guidance
Oct 5, 2026
Merged

loong10k merged 96 commits into
mainfrom
feat/rust-hook-prompt-guidance

Conversation

@loong10k

@loong10k loong10k commented Oct 3, 2026 •

Copy link
Copy Markdown
Contributor

原生检查需要把源码诊断、环境阻塞和当前修复动作反馈给智能体。本变更完善 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项。

验证与范围:

  • 本轮runtime加载/恢复/空块三个目标21通过;新扫描最终Rust合法空块正对照4通过。默认/WASM全目标严格Clippy、rustfmt、分层、OpenSpec strict及文档链接检查通过。
  • 前一Python切片:受影响集成14通过/3忽略;真实Ruff18例另1通过,解析反例1通过,实际协议3通过,262schema有效且261历史字节不变。
  • 真实对照复用产品适配器及回归集,不证明独立holdout或总体误报率。历史全workspace结果按提交保留,不冒充当前源码全套验收。

详细证据:tests/acceptance/native-grammar-differential.md、python-native-grammar-differential.md、wasm-empty-block-facts.md、rust-wasm-loader-completion.md。完整语言能力、可信白名单、默认宿主、平台和发行父任务保持未完成;不合并或升级公开npm/插件默认版本。

@loong10k loong10k changed the title 修复 WASM 隐藏语法错误的未完成反馈 加强 WASM 语法初检完整性并补充原生差分 Oct 3, 2026
@loong10k loong10k changed the title 加强 WASM 语法初检完整性并补充原生差分 完善全项目原生优先检查与 WASM 语法反馈 Oct 3, 2026
@loong10k loong10k changed the title 完善全项目原生优先检查与 WASM 语法反馈 接通原生优先聚合检查与编辑事件 WASM 反馈 Oct 3, 2026
@loong10k loong10k changed the title 接通原生优先聚合检查与编辑事件 WASM 反馈 接通 WASM 原生确认任务并收紧 Python 编辑发现范围 Oct 3, 2026
@loong10k loong10k changed the title 接通 WASM 原生确认任务并收紧 Python 编辑发现范围 接通编辑 Hook 原生反馈、WASM 确认任务与 Zig 复检 Oct 3, 2026
@loong10k loong10k changed the title 接通编辑 Hook 原生反馈、WASM 确认任务与 Zig 复检 接通编辑检查、稳定任务与 Zig 可信关闭和复发重开 Oct 3, 2026
@loong10k loong10k changed the title 接通编辑检查、稳定任务与 Zig 可信关闭和复发重开 接通编辑修复任务与限定 Zig 可信生命周期,发布 0.1.4 候选 Oct 3, 2026
@loong10k loong10k changed the title 接通编辑修复任务与限定 Zig 可信生命周期,发布 0.1.4 候选 接通 Zig/Erlang 原生修复指引与限定任务生命周期 Oct 3, 2026
@loong10k loong10k changed the title 接通 Zig/Erlang 原生修复指引与限定任务生命周期 接通 Rust 修复指引、限定 Zig 生命周期与 Erlang 原生自动发现 Oct 3, 2026
@loong10k loong10k changed the title 接通 Rust 修复指引、限定 Zig 生命周期与 Erlang 原生自动发现 接通 Rust 修复指引、限定 Zig 生命周期与 Erlang 原生检查 Oct 4, 2026
@loong10k loong10k changed the title 接通 Rust 修复指引、限定 Zig 生命周期与 Erlang 原生检查 接通 Rust 修复工作流、原生检查与全语法评测 Oct 4, 2026
@loong10k
loong10k merged commit 3923e32 into main Oct 5, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant