Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
96 commits
Select commit Hold shift + click to select a range
126c9cc
修复 WASM 隐藏语法错误的未完成反馈
loong10k Oct 3, 2026
7900873
收紧 32 份 WASM 合法样例的完整解析断言
loong10k Oct 3, 2026
9cbbc8c
补充 Erlang 原生差分并固定语法漏检
loong10k Oct 3, 2026
c6a3676
feat: 接通聚合 ESLint 原生优先检查与稳定修复任务
loong10k Oct 3, 2026
911aa47
feat: 接通编辑 Hook 原生检查与 32 份 WASM 反馈
loong10k Oct 3, 2026
e506319
feat: 接通 WASM 原生确认任务并收紧 Python 编辑发现范围
loong10k Oct 3, 2026
4585d8f
feat: 接通 Zig 原生确认复检与修复事件指引
loong10k Oct 3, 2026
a688292
接通限定语法任务可信关闭与原生复发重开
loong10k Oct 3, 2026
928b718
验收离线安装修复链路并约束 CI 测试制品预算
loong10k Oct 3, 2026
1cd458f
准备包含编辑修复反馈的 0.1.4 候选版本
loong10k Oct 3, 2026
865f0ee
记录 0.1.4 公开候选发行并补齐库存输出协议验收
loong10k Oct 3, 2026
4e6e763
feat: 接入 Erlang 原生语法优先并纠正隐藏错误精度统计
loong10k Oct 3, 2026
695497c
feat: 接通 Erlang 原生任务复检与对话修复证据
loong10k Oct 3, 2026
1c66782
feat: 自动发现 Erlang 原生工具并记录选择来源
loong10k Oct 3, 2026
79663d6
feat: 统一检查接入 Erlang 原生诊断与复检指引
loong10k Oct 4, 2026
c2b8e27
feat: 增加全语法回放评测并隔离开发标签权威
loong10k Oct 4, 2026
874b13b
完善全语法分来源评测并纳入 Dart 上游语料
loong10k Oct 4, 2026
2ff4b91
接通 Erlang 原生首次发现的稳定修复任务和复检证据
loong10k Oct 4, 2026
f158035
验收 npm 安装后的 Erlang 原生发现与修复流程
loong10k Oct 4, 2026
a59fcea
接通 P3C 单文件原生检查的稳定修复工作台
loong10k Oct 4, 2026
63485ee
保留 P3C 部分失败中的有效诊断与稳定修复任务
loong10k Oct 4, 2026
9c556ac
接通 Erlang 原生任务的可信复检关闭与复发重开
loong10k Oct 4, 2026
03cdee5
接通原生配置来源观察与修复指引
loong10k Oct 4, 2026
172a0e8
修复 Cargo 输入绑定与代理入口执行
loong10k Oct 4, 2026
b538c26
修复 Rust 原生重复解析与跨目标重复任务
loong10k Oct 4, 2026
432b0e7
接通 Cargo 自动发现并禁止隐式安装工具链
loong10k Oct 4, 2026
ce9d7ac
接通项目本地 Ruff 并保留具体环境修复任务
loong10k Oct 4, 2026
4afa8bc
接通无定位语法观察与聚合检查修复任务
loong10k Oct 4, 2026
12c9dbc
统一 Erlang 原生任务工具发现并修正对话断言
loong10k Oct 4, 2026
15a91a7
接通 Swift 原生语法确认并修正安装验收协议
loong10k Oct 4, 2026
4d620f7
修复 WASM 依赖最低 Rust 版本并补真实 Claude 宿主验收
loong10k Oct 4, 2026
04a2d1b
修正首次原生确认指引并补真实 Claude 闭环验收
loong10k Oct 4, 2026
e6413ab
接入 Kotlin 原生优先单文件检查并验证确认与定位反馈
loong10k Oct 4, 2026
40388ba
接通 Kotlin 稳定任务原生复检与智能体反馈
loong10k Oct 4, 2026
520daf6
接通 Kotlin 首次原生扫描与稳定修复任务
loong10k Oct 4, 2026
22c6a56
约束白名单候选与修订链的签名有效期
loong10k Oct 4, 2026
d59142f
保留未定位恢复任务在原生历史后的修复约束
loong10k Oct 4, 2026
e49abc6
接通 Swift 原生优先单文件检查并固定 Kotlin 候选测试环境
loong10k Oct 4, 2026
2ea7e89
接通 Swift 项目原生语法观察并修复跨平台模拟器输入消费
loong10k Oct 4, 2026
8f784a8
接通 Swift 保存原生反馈并保留混合候选确认要求
loong10k Oct 4, 2026
15dcbbd
接通 Swift 原生稳定修复任务并隔离 WASM 包验收环境
loong10k Oct 4, 2026
0a3e6a3
修正签名期限与 Swift Hook 的回归契约并细化投影恢复规格
loong10k Oct 4, 2026
15ea2e6
恢复缺失任务投影并完善取消回归验收
loong10k Oct 4, 2026
081322d
避免等待任务阻塞独立源码修复
loong10k Oct 4, 2026
20a38d9
接通 Swift 限定语法任务关闭与复发
loong10k Oct 4, 2026
0d97573
接通 Kotlin 语法闭环并保留上下文未完成中的复发
loong10k Oct 4, 2026
38a5a92
修复误报调查指引的首次观察来源归因
loong10k Oct 4, 2026
4fd617b
统一注册表语言的检查入口与限定修复指引
loong10k Oct 4, 2026
94655a7
统一 Zig 原生工具发现并撤回过时诊断
loong10k Oct 4, 2026
f655076
接通 Zig 聚合检查与编辑原生反馈并保留中止诊断
loong10k Oct 4, 2026
07d0795
接通 Zig 首次原生稳定任务与跨入口复检反馈
loong10k Oct 4, 2026
ed1180a
完善 Zig 原生首次可信关闭复发并修复异常输出假通过
loong10k Oct 4, 2026
5196cd2
增加原生与WASM差分回放并保留混合语法证据
loong10k Oct 4, 2026
970034a
接入Python原生语法差分并固定两项WASM漏检回归
loong10k Oct 4, 2026
8ca3bb1
增加独立WASM空语句块事实扫描及语言正反例
loong10k Oct 4, 2026
d34c99c
核验并关闭Rust WASM加载器计划任务
loong10k Oct 4, 2026
0539af2
接入Python必需语句块的独立结构观察与探针协议
loong10k Oct 4, 2026
fd8cf18
保留Python结构初检证据并接入稳定原生确认任务
loong10k Oct 4, 2026
faead91
聚合检查与编辑Hook保留Python结构证据和原生确认指引
loong10k Oct 5, 2026
b786e51
阻止Python版本探测后执行发生替换的原生工具
loong10k Oct 5, 2026
5ffa07c
修复Python空观察解码绕过并拆分冻结源码证据校验
loong10k Oct 5, 2026
aba46dd
按首次单文件范围复检Python确认任务并保留历史绑定
loong10k Oct 5, 2026
16bfa17
修复Ruff原生语法审计误判并提供源码修复指引
loong10k Oct 5, 2026
c428620
补齐Python原样本校验入口与明确语法目标前置
loong10k Oct 5, 2026
28919e3
绑定Ruff原生明确lint目标并拒绝隐式版本推断
loong10k Oct 5, 2026
bc82924
拆分限定任务事件提交并核对域证据与原生对照绑定
loong10k Oct 5, 2026
b56ad25
接通Python限定原生语法关闭与普通复检复发链路
loong10k Oct 5, 2026
1c55670
修复Python原生误报反证的下一步指引与输入失效优先级
loong10k Oct 5, 2026
dbae3e1
修正原生语法修复动作并保留跨动作失败预算
loong10k Oct 5, 2026
f7c96b7
补齐TypeScript模块后缀发现和原生优先语法路由
loong10k Oct 5, 2026
215b050
分离历史grammar清单核验与当前回放并保存358例证据
loong10k Oct 5, 2026
a5d3afc
复用固定grammar资产核验并保持外部字节逐次验证
loong10k Oct 5, 2026
348c9b8
修复 R/C++ 后缀检查遗漏与原生差分语料绑定
loong10k Oct 5, 2026
9e13df5
补齐 grammar 具体限制的终端与智能体反馈
loong10k Oct 5, 2026
ebdf6ee
修复历史语料导入并记录全工作区回归验收
loong10k Oct 5, 2026
854e084
补齐原生差分的结构规则独立测量与验收
loong10k Oct 5, 2026
27d4956
完善 JavaScript 隔离原生差分与启动故障诊断
loong10k Oct 5, 2026
69d56b0
统一六语言原生差分的执行中取消与验收
loong10k Oct 5, 2026
cbac625
在原生版本探测后复核入口并完成六语言对照
loong10k Oct 5, 2026
32f2ba8
拒绝版本阶段变化源码及异常输出的后继调用
loong10k Oct 5, 2026
1e80a15
接入 Ruby 隔离原生差分并验收七语言固定语料
loong10k Oct 5, 2026
1877969
接入 Go SDK 整文件原生差分并核验双制品与 EOF 位置
loong10k Oct 5, 2026
240bc5b
补充 Go 整文件 package 结构规则与原生回归验收
loong10k Oct 5, 2026
47e0c4b
接通 Go package 结构候选公开检查与稳定任务
loong10k Oct 5, 2026
792fccc
接通 Go 候选任务原生复检并修正修复指引
loong10k Oct 5, 2026
4588ebe
补齐 Go lint 原生优先与缺工具 WASM 候选回退
loong10k Oct 5, 2026
c518d37
补齐 Go 双制品签名任务关闭与复发验收
loong10k Oct 5, 2026
027dd66
修复 CFQuery 注释结束边界并复核插件默认回归
loong10k Oct 5, 2026
8f82319
完善当前命令支持帮助与构建差异验收
loong10k Oct 5, 2026
1bf5935
接入Rust独立lint原生优先与修复任务反馈
loong10k Oct 5, 2026
87c94b3
接通 Ruby 原生语法检查和稳定任务复检
loong10k Oct 5, 2026
aaa3879
接通 Ruby 项目原生语法扫描并补充 Go CI 诊断
loong10k Oct 5, 2026
0dc24af
接通 Ruby 编辑和修复 Hook 并验收离线 npm 链路
loong10k Oct 5, 2026
0614a44
约束 Ruby 项目版本以避免旧解析器误报
loong10k Oct 5, 2026
81900bf
验收 Ruby 六类别候选档案并完成 OpenSpec 8.16
loong10k Oct 5, 2026
fed0a86
接入 ShellCheck 原生单文件检查与修复指引并验收反馈协议
loong10k Oct 5, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
50 changes: 48 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,23 @@ permissions:
contents: read

jobs:
msrv:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
- name: Install the declared minimum Rust in this CI runner
run: rustup toolchain install 1.85.0 --profile minimal
- name: Check default and WASM targets with actual Rust 1.85
run: |
cargo +1.85.0 check --locked --workspace --all-targets
cargo +1.85.0 check --locked --workspace --all-targets --features wasm-precheck
gate:
# ubuntu-latest 预装稳定版 Rust;Cargo.toml 声明 rust-version = 1.85 / edition = 2024。
runs-on: ubuntu-latest
env:
# Linux 完整 DWARF 测试制品会超出 SDK 的 256 MiB 宿主制品读取预算。
# 仅去掉测试调试符号;保留 debug assertions 和产品读取上限。
CARGO_PROFILE_TEST_DEBUG: "0"
steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

Expand All @@ -34,18 +48,50 @@ jobs:

- name: Verify Linux WASM worker resource boundary
run: |
# 帮助目录须保留当前构建特性;默认 suite 无法证明 WASM 入口状态。
cargo test --locked -p codeguard-cli --features wasm-precheck --test help_command_contract --test rules_list_cli --test version_cli --test rust_lint_cli --test ruby_lint_cli --test check_all_ruby --test ruby_native_hook --test ruby_project_version --test shell_lint_cli
cargo test --locked -p codeguard-cli --features wasm-precheck --test workspace_msrv --test crate_boundaries
cargo test -p codeguard-runtime --features wasm-precheck --test process_contract
cargo test -p codeguard-runtime --features wasm-precheck --test wasm_grammar_load --test dart_upstream_corpus
cargo test -p codeguard-cli --features wasm-precheck --test syntax_worker_candidate --test grammar_probe_cli --test grammar_route --test zig_lint_cli --test typescript_syntax_fallback_candidate --test java_syntax_fallback_candidate --test java_native_differential --test kotlin_native_differential
cargo test -p codeguard-runtime --features wasm-precheck --test wasm_grammar_load --test wasm_recovery_scan --test wasm_empty_block_scan --test wasm_root_child_scan --test dart_upstream_corpus
cargo test -p codeguard-cli --features wasm-precheck --test syntax_worker_candidate --test check_python_structure --test check_go_package_structure --test go_syntax_fallback_candidate --test python_structural_syntax --test python_syntax_fallback_candidate --test grammar_probe_cli --test grammar_route --test zig_lint_cli --test typescript_syntax_fallback_candidate --test java_syntax_fallback_candidate --test java_native_differential --test kotlin_native_differential --test kotlin_lint_cli --test kotlin_syntax_task_verify --test kotlin_native_first --test erlang_native_differential --test erlang_lint_cli --test erlang_native_discovery --test check_all_erlang --test erlang_syntax_task_verify --test erlang_native_workbench --test swift_native_differential --test swift_lint_cli --test check_all_swift --test swift_native_hook --test swift_native_workbench --test swift_syntax_task_verify --test check_all_eslint --test hook_execute_cli --test claude_hook_cli --test hook_syntax_tasks --test syntax_task_verify --test zig_native_cli --test zig_native_discovery --test check_all_zig --test zig_native_hook --test zig_native_workbench --test zig_native_first_resolution --test task_resolution_service
# 原生限定关闭服务在 WASM 构建下也须实际运行,默认 suite 不涵盖所有历史来源。
cargo test --locked -p codeguard-cli --features wasm-precheck --test erlang_task_resolution_service --test swift_task_resolution_service --test kotlin_task_resolution_service --test go_task_resolution_service --test check_language_selection
cargo test --locked -p codeguard-cli --lib --features wasm-precheck selected_compiler_does_not_hide_unobserved_files_with_wasm
# 32 份 WASM 的批次和单项目回归各自独占候选阶段预算,避免测试进程互相争抢内存与 CPU。
cargo test -p codeguard-cli --features wasm-precheck --test check_all_grammar_candidates -- --test-threads=1

- name: Replay every fixed grammar and retain per-language evidence
run: |
cargo test --locked -p codeguard-cli --features wasm-precheck --test grammar_evaluation --test grammar_native_differential --test javascript_native_differential --test ruby_native_differential --test go_native_differential --test go_package_structure
cargo test --locked -p codeguard-cli --features wasm-precheck --lib python_syntax_probe
# Go双制品、整文件与取消反例使用受控SDK;真实版本需显式选择。
cargo test --locked -p codeguard-cli --features wasm-precheck --lib go_syntax_probe
# Ruby 固定版本的真实对照需显式工具;普通输出边界反例在 Linux 运行。
cargo test --locked -p codeguard-cli --features wasm-precheck --lib ruby_syntax_probe
# Node 版本不匹配时不借用宿主版本;受控隔离/执行中取消反例仍在 Linux 实际运行。
cargo test --locked -p codeguard-cli --features wasm-precheck --lib javascript_syntax_probe
cargo test --locked -p codeguard-cli --features wasm-precheck --lib grammar_native_checker
# 此测试确认全部 worker 实际运行并保留逐语言 JSON;已知语法差异保留为数据,
# 不断言成正确行为,也不把工具不可用的 358 项 unknown 当回放成功。
# 0.1 协议与历史报告由上面的普通测试保留兼容;当前回放显式分离语料来源。
cargo test --locked -p codeguard-cli --features wasm-precheck --test grammar_evaluation \
replay_expanded_cohorts_and_archive_current_evidence -- \
--ignored --exact --nocapture --test-threads=1

- name: Verify the local npm package contains a running WASM worker
run: |
cargo build --locked -p codeguard-cli --features wasm-precheck
CODEGUARD_NO_WASM_BIN="$RUNNER_TEMP/codeguard-no-wasm" \
CODEGUARD_WASM_BIN="$PWD/target/debug/codeguard" \
node --test tests/npm_pack_wasm.test.mjs
# 独占打包输出与 npm 缓存,不与上面的全量 grammar 包测试并发。
CODEGUARD_WASM_BIN="$PWD/target/debug/codeguard" \
node --test tests/npm_pack_repair.test.mjs
# 安装后的原生首次发现不依赖 WASM 任务;真实 OTP 目标须显式选择。
CODEGUARD_WASM_BIN="$PWD/target/debug/codeguard" \
node --test tests/npm_pack_erlang_repair.test.mjs
CODEGUARD_WASM_BIN="$PWD/target/debug/codeguard" \
node --test tests/npm_pack_ruby_repair.test.mjs

- name: Run test suite
run: cargo test --workspace --all-targets
Expand Down
13 changes: 7 additions & 6 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 5 additions & 1 deletion Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ members = [
resolver = "2"

[workspace.package]
version = "0.1.3"
version = "0.1.4"
edition = "2024"
rust-version = "1.85"
license = "Apache-2.0"
Expand All @@ -20,3 +20,7 @@ sha2 = "0.10.9"
sha1 = "=0.10.7"
ring = "=0.17.14"
base64 = "=0.22.1"

# 开发与测试保留全部制品摘要核验,仅优化 SHA-256 压缩计算,避免大工具耗尽检查预算。
[profile.dev.package.sha2]
opt-level = 3
Loading
Loading