cnc_wams/完善wasm/working/11-缺口风险与边界锁定.md

11-缺口风险与边界锁定

一票否决风险

风险	触发条件	处理规则
自研 CNC 语义	JS/TS 或项目自有 C/C++ 实现 G-code、刀补、固定循环、remap、tooldata、TP、运动学、HAL 数控逻辑，且不能证明是 LinuxCNC thin wrapper	立即判定不通过，必须迁回 LinuxCNC 源码或明确为非对标扩展
vendor drift	vendored 文件与 LinuxCNC 基线不一致且无上游来源说明	verify_vendor_sync.sh 必须失败，不能人工标绿
UI 第二真相	Web UI 坐标、模态、刀具、程序状态与底层 WASM/task/HAL snapshot 不一致	UI 相关功能不得标 L5
未知失败	expected_fail 无固定原因，或 unexpected_fail 被计入通过率	整体不得宣称完全通过
降级 full-process	将 task/HAL/motion/full-process 测试降级为普通解释器通过	Web/WASM simulation runtime 可按 22 晋级；宿主 native process topology 仍条件通过或 Blocked

当前已锁定边界

边界	当前口径	解除条件
Python remap Web/WASM	已解除	Pyodide CPython/WASM、Native/WASM/Browser 成对 proof、53 行源码覆盖和目标 Web 接线已闭合
User-M Web/WASM	已解除	M128/M129 预编译 handler、HAL 状态、Node/Web proof 和 release 接线已闭合
任意宿主 User-M/Python 外部进程	Blocked	仍需明确 host opt-in、安全策略和人工批准；不由 Web promotion 继承
硬件驱动	Blocked	有虚拟边界或真实硬件实验环境，且不影响浏览器沙箱安全
实时内核	条件通过或 Blocked	22 已定义 Web/WASM runtime proof；hostRealtimeKernel=false 必须保留，不能宣称 Linux realtime
full native process topology	条件通过	NML/task/motion/HAL/io 进程拓扑和状态机有 native/WASM/browser 可比证据
Vismach/Tk/AXIS 原生 GUI	Web 等效实现	继续以 LinuxCNC GUI 为行为参考，不迁移 Tk/Python GUI 作为浏览器实现
04基于Web...txt 声称通过但无逐项 evidence	不得自动继承通过	按 13-04验收文档任务对标矩阵.md 逐项绑定源码、测试和 gate
HAL Scope/Meter 原生工具	条件通过或待实现 gate	halmeter 需结构化当前值 JSON；halscope 需结构化 waveform JSON、采样/触发/通道字段和 Node/Browser gate，截图、halGraph、halNets 或 gmoccapy HAL model 不能替代
HAL Scope/Meter JSON gate	L3 条件通过	两个 JSON、schema/sample/trigger、Web 和 compare gate 已由 28 闭合；原生 RT/GTK process 和 L5 交互 UI 不继承通过
五轴 profile 范围	条件通过或按 profile 完成	默认 xyzbc-trt、xyzac-trt、xyzab-tdr、gmoccapy 和 TRSRN/max5 等必须分别绑定 INI、kins、G-code 和 evidence gate，不能跨 profile 继承通过
loadrt 运行时动态加载	Blocked 或预编译 allowlist 条件通过	五组件 allowlist 已真实实例化和执行；未知组件及任意 LinuxCNC realtime module 动态链接继续 blocked
HAL .comp 基础组件	L3 条件通过	and2、or2、not、mux2、scale 的 source、halcompile 派生、manifest、truth-table/formula、thread/net 和 Web 代表配置 gate 已通过；仅限 Web/WASM simulation
HAL component manifest	已有证据	manifest、generation report、source/generated hash 和三个 component gate 已闭合；任何 source/generator/generated drift 必须失败
HAL component P1 源码同步	已有证据	五个 .comp 的 commit/双清单/字节/hash gate 已通过；1 个非上游 xyzac-trt_cmds.hal 由独立 overlay manifest 锁定且全量 gate 通过，overlay 仍不得描述为上游文件
HAL component 伪执行	已解除并防回退	hal_export_funct callback、servo step、pin/signal 输出变化和 session reset 已由 27 验证；若退回只登记 event，component gate 必须失败
自定义/并联运动学运行时加载	条件通过或 Blocked	verify_kinematics_wasm.sh 只覆盖已预编译 kinematics；任意用户自定义 .so/动态链接继续阻塞
Project release ready 与 host promotion 混淆	一票否决	project-release-readiness.json ready=true 只表示已声明发布范围通过；只要 blocked family/manual lock/host false 存在，就不得宣称宿主能力完成，详见 25
Opt-in 状态跳级	一票否决	host ready、dispatch allowed、默认禁用、native pass、evidence accepted、manual unlock、promotion 必须分层；ready_disabled_by_default/skip/block 不能算 pass
单 fixture 批量继承	禁止晋级	Python stop-lookahead native pass 只能绑定该 fixture，不能自动晋级全部 Python remap rows
Process probe 权限扩散到 realtime/hardware	禁止	三个 process opt-in probe 不授权 realtime kernel 或硬件驱动；二者必须另建专用安全任务和人工授权

已知文档漂移

位置	问题	后续处理
完善wasm/04基于Web的LinuxCNC兼容数控仿真平台.txt	已补齐，但包含“100%/通过/超越”等结论性表述	作为任务输入和目标声明；完成结论必须由 working evidence 复核
web-rtcp-5axis-xyzbc-trt-sim-plan/README.md	native evidence 示例命令仍包含 /home/mes123456/linuxcnc-master	应统一为 /home/mes123456/cnc_wams/linuxcnc
linuxcnc 工作树	存在未跟踪本地文件	不能自动视为上游变更；source/vendor 校验仍以 commit 和 manifest 为准

风险处理流程

1. 在 09-联合任务矩阵.md 新增或更新任务。
2. 在本文件登记边界、风险和解除条件。
3. 修改底层项目代码或证据。
4. 按 10-联合验证命令清单.md 复验。
5. 更新 05-验收证据.md 和相关底层项目 working 文档。

ACC-039 后 HAL Component 边界更新

• 已解除：五个基础 .comp 缺少 LinuxCNC 派生生成、precompile manifest、WASM factory、truth-table/formula、thread/net 和 Web 代表配置执行证据的风险。
• 仍锁定：dynamicLoadrtSupported=false；未知组件、任意动态模块、宿主 RTAPI realtime、内核模块和硬件驱动不得继承 ACC-039 的 Web/WASM 仿真结论。
• 防回退：组件 gate 必须同时校验 source/generated hash、unknown blocked 和第二 HAL session reset；只出现 loadrt 文本或 call: event 不足以通过。