Files
cnc_wams/完善wasm/working/12-交付文件索引.md
2026-07-10 21:26:42 -04:00

10 KiB

12-交付文件索引

本轮新增文件

文件 作用
07-双项目LinuxCNC源码对标总览.md 建立 wasm-portweb-rtcp-5axis-xyzbc-trt-sim-plan 的统一对标关系和总体验收链
08-源码资产映射与证据索引.md 把 LinuxCNC 源码、配置、测试资产映射到 WASM 核心和 XYZBC TRT Web 应用
09-联合任务矩阵.md 维护跨项目任务、状态、最低复验命令和当前推进指针
10-联合验证命令清单.md 汇总基线、wasm-portxyzbc-trt 和完整联合 gate
11-缺口风险与边界锁定.md 固定一票否决项、条件边界、文档漂移和解除条件
12-交付文件索引.md 说明本轮交付物和后续使用方法
13-04验收文档任务对标矩阵.md 04基于Web...txt 的 10 个模块、125 个功能项、3 个受限项转成 working 任务包
14-04-125项逐项源码证据绑定表.md 将 04 的 125 个功能项逐项绑定到 LinuxCNC 源码/资产、最小 gate、Web evidence 和严格状态
15-04语法口径源码复核.md 对 04 中高风险 G/M 代码写法做本地 LinuxCNC 源码复核,明确需修订和部分成立项
16-04多通道源码边界复核.md 对 04 中 5.1-5.5 多通道项做本地 LinuxCNC 源码复核,明确 multi-session gate 要求
17-04-HAL-Scope-Meter结构化证据复核.md 对 04 中 4.13、4.14、10.7 做本地 LinuxCNC 源码复核,明确 meter/scope 结构化 evidence 要求
18-04五轴范围差异与代表应用复核.md 对 04 中五轴范围做本地 LinuxCNC 源码复核,明确 XYZBC/XYZAC/XYZAB/泛五轴 demo 的 profile 边界
19-04动态加载与预编译Manifest复核.md 对 04 中动态加载和预编译项做本地 LinuxCNC 源码复核,明确 HAL .comp 组件、loadrt 和 kinematics 预编译边界
20-04-HAL-Scope-Meter-JSON-Gate实现缺口复核.md 对 04 中 HAL Meter/Scope JSON gate 做实现缺口复核,明确已有 HAL 模型不能替代 meter/scope JSON evidence
21-04-HAL-Component-Precompile-Manifest实现缺口复核.md 对 04 中 HAL 基础组件预编译 manifest 和 truth-table gate 做实现缺口复核,明确 .comp 源码/native HAL 文本不能替代组件执行证据
22-04-Full-Process-Realtime-Runtime-Proof实现缺口复核.md 对 04 中 Task/Motion/HAL/full-process/realtime proof 做实现缺口复核,明确 Web/WASM 仿真运行时晋级条件和宿主实时/硬件/完整 native process topology 边界
23-04-HAL-Meter-Scope-JSON-Evidence-Gate落地蓝图.md 对 04 中 HAL Meter/Scope JSON evidence gate 做落地蓝图,明确 schema、生成路径、Node gate、Web evidence/compare 字段和晋级条件
24-04-HAL-Component-Precompile-Manifest-Truth-Table-Gate落地蓝图.md 对 04 中 HAL 基础组件预编译做落地蓝图,明确 .comp 同步与哈希、LinuxCNC 派生生成物、manifest、真实 loadrt/addf/servo-step、truth-table/formula evidence 和未知组件 blocked 规则
25-04-Host-Runtime-Opt-In-Promotion-Evidence-Gate落地蓝图.md 对宿主 User-M、Tool DB、Python remap、realtime、hardware 和 native process topology 做 opt-in/promotion 蓝图,明确 release ready 不等于 host promotion

配套更新文件

文件 更新内容
README.md 增加 07-12 文件索引和当前总控用法
03-推进台账.md 记录本轮创建跨项目总控文件
04-任务矩阵.md 增加 ACC-024 跨项目总控文档任务
05-验收证据.md 记录本轮静态盘点和待复验命令
06-决策记录.md 增加统一总控口径 ADR
09-联合任务矩阵.md INT-010 从输入缺口改为已纳入任务体系,并新增 INT-013
13-04验收文档任务对标矩阵.md 指向 14 作为 W04-EVID-001 的逐项绑定表
14-04-125项逐项源码证据绑定表.md 将 04 语法口径缺口指向 15,并更新 1.40、1.41、7.3、8.4、8.5 的严格状态
14-04-125项逐项源码证据绑定表.md 将 04 多通道缺口指向 16,并更新 5.1-5.5 的严格状态
14-04-125项逐项源码证据绑定表.md 将 04 HAL Scope/Meter 缺口指向 17,并更新 4.13、4.14、10.7 的严格状态
14-04-125项逐项源码证据绑定表.md 将 04 五轴范围差异指向 18,并更新 8.1、8.2、8.3、8.6-8.10 的严格状态
14-04-125项逐项源码证据绑定表.md 将 04 动态加载/预编译缺口指向 19,并更新 4.7-4.11、4.16、6.5、6.6 的严格状态
14-04-125项逐项源码证据绑定表.md 将 HAL Scope/Meter JSON gate 实现缺口指向 20,并更新 4.13、4.14、10.6、10.7 的严格状态
14-04-125项逐项源码证据绑定表.md 将 HAL component precompile manifest 实现缺口指向 21,并进一步锁定 4.7-4.11、4.16 的晋级条件
14-04-125项逐项源码证据绑定表.md 将 full-process/realtime runtime proof 实现缺口指向 22,并进一步锁定 Web/WASM simulation promotion 与宿主 realtime/hardware/process topology 边界
14-04-125项逐项源码证据绑定表.md 将 HAL Meter/Scope JSON evidence gate 的落地 schema 和后续实际脚本指向 23,并保留 4.13、4.14、10.6、10.7 的严格晋级条件
14-04-125项逐项源码证据绑定表.md 将 HAL component precompile 的源码同步、生成物、manifest 和真实执行 gate 指向 24,并保留 4.7-4.11、4.16 的严格晋级条件
14-04-125项逐项源码证据绑定表.md 将 realtime、hardware estop/MPG/换刀和宿主进程边界指向 25,并保留 Web simulation 与 host promotion 分离
26-04-HAL-Component-P1源码同步与哈希Gate实施记录.md 记录五个 .comp 的双清单/P1/hash gate、generated overlay 分层和未晋级边界
wasm-port/tools/verify_hal_component_source_sync.sh 自动校验锁定 commit、双清单、P0/P1 字节一致和五个固定 SHA-256
wasm-port/tools/vendor-overlay-manifest.tsvverify_vendor_sync.sh 将严格上游文件与 1 个固定 hash/provenance 生成 overlay 分离并统一验证
wasm-port/vendor/linuxcnc/src/hal/components/*.comp 从只读上游可复现抽取的五个 P1 源码文件
27-04-HAL-Component-Precompile-Runtime-Gate实施记录.md 记录 halcompile 派生、manifest、真实组件回调、truth-table/thread-net、Web 代表配置和 blocked 边界
wasm-port/runtime/manifests/hal_component_precompile_manifest.json 固定五组件 source/factory/pin/loadrt allowlist 合同
wasm-port/tools/generate_hal_component_sources.* 从锁定 LinuxCNC halcompile 可复现生成组件 C 和 generation report
wasm-port/tests/wasm/node/verify_hal_component_*.mjs 验证 manifest、truth table、formula、thread/net、未知 loadrt 和 session reset
web-rtcp-5axis-xyzbc-trt-sim-plan/tests/node/verify_hal_component_runtime_evidence.mjs 验证 XYZAC TRT 的 mux2/scale 代表配置消费同一 WASM runtime
28-04-HAL-Meter-Scope-JSON-Evidence-Gate实施记录.md 记录 Meter 当前值、Scope waveform 和 Web compare gate
wasm-port/runtime/sdk/src/hal-meter-scope-evidence.js Meter/Scope 唯一 schema、采样和校验实现
wasm-port/tests/ui/node/verify_hal_*_evidence.mjs 验证 Meter/Scope 结构化 evidence
29-04-Host-Runtime-Opt-In-Evidence-Gate实施记录.md 记录 host artifact/hash、状态机和 release separation
wasm-port/tools/write_host_runtime_opt_in_evidence.mjs 从当前 TSV/release artifact 生成 host evidence
wasm-port/tests/host/verify_host_runtime_*.mjs 验证 host schema、状态机和 promotion 分离
30-04-Remaining-Runtime-Cases-Session-Gantry-Multispindle-Drilling实施记录.md 记录后续六项 runtime/source proof
wasm-port/tests/wasm/node/verify_multispindle_dollar.mjs 验证 [TRAJ] SPINDLES$1 canonical
wasm-port/tests/wasm/node/verify_fiveaxis_inclined_drilling.mjs 验证 XYZAC 姿态下 G81 canonical
web-rtcp-5axis-xyzbc-trt-sim-plan/tests/node/verify_session_override_gantry_evidence.mjs 验证 session override 隔离和 gantry 代表配置
31-04-Motion-FERROR-Virtual-MPG-Gate实施记录.md 记录 FERROR/MPG 源码公式、实现和 gate
wasm-port/tests/wasm/node/verify_motion_ferror_mpg.mjs 验证 FERROR 阈值与 jog count delta
32-后续全部工作收口审计.md 最终未完成项分类与解除条件
33-Native全量回归最终收口.md 完整 native probe 串行复验结果与历史 XYZAC unexpected failure 解除记录
34-04验收口径修订与三Session-Gate实施记录.md 04 语法/五轴/范围口径修订与三 Web session 隔离 gate 记录
35-三解释器同步-Wrapped-Rotary-角轴限速Gate实施记录.md 三解释器 G5x/M62 隔离、wrapped rotary vendor/INI 和 G93 角轴限速修复记录
36-Web-Software-Parity-Release-Gate与Host分离实施记录.md 14 项 release manifest、软件 parity 聚合 gate 与 host promotion 分离记录
37-Wrapped-Rotary静态发布资产Gate实施记录.md wrapped rotary 静态配置复制与三副本字节一致 gate 记录
38-Web-Software-Parity自包含构建Gate实施记录.md parity gate 自包含 static build 与执行顺序防回归记录
39-静态发布Python缓存清理Gate实施记录.md static copy Python cache filter 与完整 dist hygiene gate 记录
40-静态发布双构建可复现性Gate实施记录.md static release 规范化树摘要与连续双构建一致性记录
41-User-M-Python-Remap-WASM-Web完整移植实施记录.md User-M 预编译 handler、Pyodide CPython/WASM 和 Web/release gate 实施记录

后续使用方式

  1. 先读 07 判断本轮改动属于 LinuxCNC、wasm-portxyzbc-trt Web 应用还是总控文档。
  2. 再查 08 找到源码归属和证据入口。
  3. 09 选择任务编号。
  4. 10 运行对应 gate。
  5. 如遇不能直接完成的内容,在 11 锁定边界和解除条件。
  6. 结束时更新 0305 和根日志。