Files
cnc_wams/完善wasm/working/13-04验收文档任务对标矩阵.md
2026-07-10 21:26:42 -04:00

8.5 KiB
Raw Permalink Blame History

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/tasksrc/emc/rs274ngcsrc/emc/motionsrc/emc/tpsrc/halconfigs/sim source reuse、task-HAL gate、2225-04-Host-Runtime-Opt-In-Promotion-Evidence-Gate落地蓝图.md runtime/evidence、full boundary、native audit 条件通过Web/WASM simulation runtime 可晋级release ready 不等于 host promotionLinux realtime/hardware/process topology 继续锁定
W04-INTP 2.1 G 代码解释器 41 项 41/41 通过 src/emc/rs274ngctests/interptests/ccomptests/remapnc_files verify_native_probes.shverify_nc_files.shverify_interp_wasm.shverify_interp_browser.sh linuxcnc-interpreter-runtime.jsevidence:compare、line/gcode execution JSON 已有核心证据04 每行测试来源仍需绑定具体 fixture/report 后才能宣称 41/41
W04-TASK 2.2 Task 12 项 12/12 通过 src/emc/task/emctaskmain.cctaskintf.ccemccanon.ccsrc/emc/nml_intf verify_task_hal_wasm.shverify_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/motionsrc/emc/tp/tp.ctc.ccontrol.choming.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/halsrc/hal/componentshalcmdhalscopehalmeter verify_hal_runtime.shverify_task_hal_wasm.sh、source reuse map HAL rows、1724 专项复核/蓝图、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/kinematicstrivkins.cswitchkins.cxyzbc-trt-kins.ctrtfuncs.cgenhexkins.cgenserkins.cpumakins.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/tooldatasrc/emc/iotasksrc/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.cxyzac-trt-kins.ctrtfuncs.c、5axis configs/remap/demos、1834 verify_kinematics_wasm.shverify_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结构化证据复核.md20-04-HAL-Scope-Meter-JSON-Gate实现缺口复核.md23-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
并联运动学 同上 已预编译 pumagensergenhexpentakins 等可按 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。专项复核、落地蓝图和实施记录见 1541。HAL component、Meter/Scope、native 全量回归、错误口径、三解释器、wrapped rotary、角轴限速、User-M 与 Python Remap Web/WASM 均已闭合;这些证据按 3641 进入 14 项 release gate静态资产/构建/hygiene/可复现性按 3740 保护。主 readiness artifact 的 Web blocked family 清单为空host 外部进程 proof 继续独立。realtime/hardware 仍不在普通 release gate 覆盖范围,因此保持 Blocked。