57 lines
8.5 KiB
Markdown
57 lines
8.5 KiB
Markdown
# 13-04 验收文档任务对标矩阵
|
||
|
||
## 定位
|
||
|
||
本文件把 `/home/mes123456/cnc_wams/完善wasm/04基于Web的LinuxCNC兼容数控仿真平台.txt` 中的体系结构和功能验收项，转换成 `完善wasm/working` 可执行任务。
|
||
|
||
严格口径：
|
||
|
||
1. 04 文档中的“通过”“100%”“超越”等表述作为目标声明和待核验证据线索处理。
|
||
2. `完善wasm/working` 的完成状态只能来自 LinuxCNC 源码归属、`wasm-port` Native/WASM/Browser gate、`web-rtcp-5axis-xyzbc-trt-sim-plan` Web/evidence gate 和可复验日志。
|
||
3. 04 文档的对标基准写作“LinuxCNC 2.9.x 官方源码”，本仓库实际验收基准锁定为 `/home/mes123456/cnc_wams/linuxcnc` commit `60597ee0718873d2449058c824262a275e5e4bad`。后续所有任务以本地锁定 commit 为准。
|
||
4. 若 04 文档某项声称“通过”，但没有对应源码、测试、Native/WASM/Browser 证据，则在本矩阵中保持“待逐项绑定证据”，不能自动继承通过结论。
|
||
|
||
## 04 文档模块映射
|
||
|
||
| 编号 | 04 模块 | 04 声称 | LinuxCNC 权威源码/资产 | `wasm-port` 证据入口 | `xyzbc-trt` Web 证据入口 | 严格状态 |
|
||
| --- | --- | --- | --- | --- | --- | --- |
|
||
| W04-ARCH | 系统体系结构、数据流、线程模型 | 浏览器复刻 LinuxCNC 分层架构，servo/base/UI 映射到 Worker/主线程 | `src/emc/task`、`src/emc/rs274ngc`、`src/emc/motion`、`src/emc/tp`、`src/hal`、`configs/sim` | source reuse、task-HAL gate、`22`、`25-04-Host-Runtime-Opt-In-Promotion-Evidence-Gate落地蓝图.md` | runtime/evidence、full boundary、native audit | 条件通过：Web/WASM simulation runtime 可晋级；release ready 不等于 host promotion，Linux realtime/hardware/process topology 继续锁定 |
|
||
| W04-INTP | 2.1 G 代码解释器 41 项 | 41/41 通过 | `src/emc/rs274ngc`、`tests/interp`、`tests/ccomp`、`tests/remap`、`nc_files` | `verify_native_probes.sh`、`verify_nc_files.sh`、`verify_interp_wasm.sh`、`verify_interp_browser.sh` | `linuxcnc-interpreter-runtime.js`、`evidence:compare`、line/gcode execution JSON | 已有核心证据；04 每行测试来源仍需绑定具体 fixture/report 后才能宣称 41/41 |
|
||
| W04-TASK | 2.2 Task 12 项 | 12/12 通过 | `src/emc/task/emctaskmain.cc`、`taskintf.cc`、`emccanon.cc`、`src/emc/nml_intf` | `verify_task_hal_wasm.sh`、`verify_task_status_json_contract.mjs`、source reuse map task rows | `linuxcnc-task-hal-runtime.js`、button smoke、task state flow evidence | 条件通过：full native process topology/NML 不得降级为普通解释器通过 |
|
||
| W04-MOTION | 2.3 Motion 11 项 | 11/11 通过 | `src/emc/motion`、`src/emc/tp/tp.c`、`tc.c`、`control.c`、`homing.c` | `verify_tp_wasm.sh`、motion/HAL sync gates、native probes | executionPath、semanticExecutionPath、pathComparison | 条件通过：软限位、跟随误差、回零、手轮/电子齿轮需要逐项 runtime proof |
|
||
| W04-HAL | 2.4 HAL 16 项 | 15/16 通过，loadrt 需预编译 | `src/hal`、`src/hal/components`、`halcmd`、`halscope`、`halmeter` | `verify_hal_runtime.sh`、`verify_task_hal_wasm.sh`、source reuse map HAL rows、`17` 到 `24` 专项复核/蓝图、`26-04-HAL-Component-P1源码同步与哈希Gate实施记录.md` | HAL model、postgui/equivalent nets、UI HAL monitor | 条件通过：五个 `.comp` 的 P1 和 vendor/overlay gate 已完成，但 LinuxCNC 派生生成、manifest、真实执行、Scope/Meter、实时线程和外部硬件仍需闭合；不得用 P1 替代运行证据 |
|
||
| W04-MULTI | 2.5 多通道 5 项 | 5/5 通过 | LinuxCNC task/NML/HAL 组合；本地源码显示单 task 为单 `pinterp`/`interp_list`，多通道需按多实例/session 复核 | 当前没有专门 `multi-channel` gate | 当前代表应用以单机床 `xyzbc-trt` 为主 | 已完成边界复核：见 `16-04多通道源码边界复核.md`，不得在总控中直接宣称 5/5 |
|
||
| W04-KINS | 2.6 运动学 6 项 | 4/6 通过，2 项需预编译 | `src/emc/kinematics`、`trivkins.c`、`switchkins.c`、`xyzbc-trt-kins.c`、`trtfuncs.c`、`genhexkins.c`、`genserkins.c`、`pumakins.c` | `verify_kinematics_wasm.sh`、kinematics probes、`19-04动态加载与预编译Manifest复核.md` | `linuxcnc-kinematics-runtime.js`、kinematicsFormulaComparison | 条件通过：已列入 manifest 的预编译 kinematics 可单独验收；任意自定义/并联运动学运行时加载仍 Blocked |
|
||
| W04-SPINDLE-TOOL | 2.7 主轴与刀具 7 项 | 7/7 通过 | `src/emc/tooldata`、`src/emc/iotask`、`src/emc/rs274ngc`、tool table | interp/tool DB gates、`25-04-Host-Runtime-Opt-In-Promotion-Evidence-Gate落地蓝图.md` | tool staging、Web tool DB simulation、tool offset evidence | 条件通过：Web Tool DB proof 不等于 native DB_PROGRAM promotion；真实 IO/换刀和外部 Tool DB 仍需独立 host evidence/manual unlock |
|
||
| W04-5AXIS | 2.8 五轴联动 10 项 | 10/10 通过 | `src/emc/kinematics/xyzbc-trt-kins.c`、`xyzac-trt-kins.c`、`trtfuncs.c`、5axis configs/remap/demos、`18`、`34` | `verify_kinematics_wasm.sh`、`verify_sim_configs_wasm.sh`、five-axis remap harness、profile/program-case gates | `xyzbc-trt` native/Web/compare evidence、semantic path、line trace、profile boundary、boat/impeller program-case evidence | A 轴范围和曲面 fixture 已修订；XYZBC、XYZAC、XYZAB、TRSRN、max5 等仍不得跨 profile 继承通过结论 |
|
||
| W04-OPFS | 2.9 文件系统 6 项 | 6/6 通过 | LinuxCNC INI/tool/var/ngc 文件规则，OPFS 为 Web 边界 | `verify_file_service.sh`、INI/browser/session gates | machine-file staging、OPFS/session/browser smoke | 已有证据；HAL 文件执行只限虚拟/预编译边界 |
|
||
| W04-UI | 2.10 用户界面与交互 11 项 | 11/11 通过 | AXIS/Tk/PyVCP/Vismach 源码作为行为参考 | `verify_ui_node_smokes.sh`、browser INI/interp gates、`17-04-HAL-Scope-Meter结构化证据复核.md`、`20-04-HAL-Scope-Meter-JSON-Gate实现缺口复核.md`、`23-04-HAL-Meter-Scope-JSON-Evidence-Gate落地蓝图.md` | browser smoke、button smoke、canvas/evidence screenshots | 已有代表应用证据；HAL Scope/Meter 与真实 AXIS/HAL 工具等效需 `hal_meter_evidence`/`hal_scope_waveform_evidence`，截图不能替代，schema/gate 见 `23` |
|
||
|
||
## 04 受限项处理
|
||
|
||
| 04 受限项 | 04 原因 | working 严格处理 |
|
||
| --- | --- | --- |
|
||
| `loadrt` 动态加载 | WASM 不支持运行时编译 | 五组件预编译 allowlist 已有 manifest/build/runtime proof；未知组件和任意动态模块仍只能标 Blocked |
|
||
| 自定义运动学运行时加载 | WASM 不支持动态链接 | 只能标条件通过或 Blocked；已预编译运动学可按模块单独验收，见 `19` |
|
||
| 并联运动学 | 同上 | 已预编译 `puma`、`genser`、`genhex`、`pentakins` 等可按 gate 验收；具体并联机床 UI 发布仍需 profile evidence |
|
||
|
||
## 必须补齐的逐项证据
|
||
|
||
| 编号 | 任务 | 验收要求 |
|
||
| --- | --- | --- |
|
||
| W04-EVID-001 | 04 的 125 个功能项逐行绑定 evidence | 为每行记录 LinuxCNC 源码路径、上游测试或 fixture、Native/WASM/Browser 命令、最近输出摘要 |
|
||
| W04-EVID-002 | 04 的“100%/通过”结论复核 | 不允许仅凭 04 文本继承通过；必须与 `05-验收证据.md` 和底层工程 evidence 一致 |
|
||
| W04-EVID-003 | 04 与 `03完全对标...txt` 差异复核 | 若 04 的口径宽于 03，例如多通道、实时线程、HAL Scope/Meter、动态加载，按 03 的更严格证据体系执行 |
|
||
| W04-EVID-004 | 04 与本地 LinuxCNC commit 复核 | 04 写作 LinuxCNC 2.9.x，本仓库验收固定到 commit `60597ee...`，版本差异必须记录 |
|
||
| W04-EVID-005 | 代表应用范围复核 | `web-rtcp-5axis-xyzbc-trt-sim-plan` 代表 XYZBC TRT，不等于所有 04 声称的多机床/多通道/全部五轴族都已 UI 发布 |
|
||
|
||
## 当前结论
|
||
|
||
04 文档已纳入 working 任务体系，但其“已通过/100%”表述不能单独作为最终验收结论。当前总控结论仍采用：
|
||
|
||
```text
|
||
LinuxCNC 源码归属 + wasm-port 分层 gate + xyzbc-trt 代表应用 gate + 条件边界锁定
|
||
```
|
||
|
||
`W04-EVID-001` 的逐行绑定表见 `14-04-125项逐项源码证据绑定表.md`。专项复核、落地蓝图和实施记录见 `15` 到 `41`。HAL component、Meter/Scope、native 全量回归、错误口径、三解释器、wrapped rotary、角轴限速、User-M 与 Python Remap Web/WASM 均已闭合；这些证据按 `36` 和 `41` 进入 14 项 release gate，静态资产/构建/hygiene/可复现性按 `37` 到 `40` 保护。主 readiness artifact 的 Web blocked family 清单为空，host 外部进程 proof 继续独立。realtime/hardware 仍不在普通 release gate 覆盖范围，因此保持 Blocked。
|