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.tsv、verify_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 实施记录 |