8.5 KiB
8.5 KiB
13-04 验收文档任务对标矩阵
定位
本文件把 /home/mes123456/cnc_wams/完善wasm/04基于Web的LinuxCNC兼容数控仿真平台.txt 中的体系结构和功能验收项,转换成 完善wasm/working 可执行任务。
严格口径:
- 04 文档中的“通过”“100%”“超越”等表述作为目标声明和待核验证据线索处理。
完善wasm/working的完成状态只能来自 LinuxCNC 源码归属、wasm-portNative/WASM/Browser gate、web-rtcp-5axis-xyzbc-trt-sim-planWeb/evidence gate 和可复验日志。- 04 文档的对标基准写作“LinuxCNC 2.9.x 官方源码”,本仓库实际验收基准锁定为
/home/mes123456/cnc_wams/linuxcnccommit60597ee0718873d2449058c824262a275e5e4bad。后续所有任务以本地锁定 commit 为准。 - 若 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%”表述不能单独作为最终验收结论。当前总控结论仍采用:
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。