cnc_wams/完善wasm/working/21-04-HAL-Component-Precompile-Manifest实现缺口复核.md

# 21-04 HAL Component Precompile Manifest 实现缺口复核

> 后续状态：本文件记录实施前缺口。P1 已由 `26` 完成，halcompile 派生、manifest、真实 thread/net 执行和 Web 代表配置 gate 已由 `27` 完成；动态模块加载边界不变。

## 定位

本文件落实 `ACC-033/INT-020`：在 `19-04动态加载与预编译Manifest复核.md` 已完成源码边界复核之后，继续检查 `wasm-port` 和 `web-rtcp-5axis-xyzbc-trt-sim-plan` 是否已经具备 HAL 基础组件的预编译 manifest 和 truth-table gate。

覆盖 04 条目：

- `4.7 and2 组件`
- `4.8 or2 组件`
- `4.9 not 组件`
- `4.10 mux2 组件`
- `4.11 scale 组件`
- `4.16 loadrt 加载组件`

严格口径：LinuxCNC `.comp` 源码已定位、HAL 文件中出现 `loadrt mux2`/`loadrt scale`、或 runtime 能记录 `loadrt:<name>` 事件，都不能自动等价为 WASM 已执行组件函数。只有组件进入预编译 manifest、WASM symbol、pin/param/function 模型和 truth-table / thread-net gate 后，才能将 04 的基础组件项晋级为完成。

## LinuxCNC 组件源码对照

| 04 项 | 组件 | 本地 LinuxCNC 源码 | pin/param/function | 公式或真值表 |
| --- | --- | --- | --- | --- |
| 4.7 | `and2` | `linuxcnc/src/hal/components/and2.comp` | `in0 bit in`、`in1 bit in`、`out bit out`、`function _` | `out = in0 && in1` |
| 4.8 | `or2` | `linuxcnc/src/hal/components/or2.comp` | `in0 bit in`、`in1 bit in`、`out bit out`、`function _` | `out = in0 || in1` |
| 4.9 | `not` | `linuxcnc/src/hal/components/not.comp` | `in bit in`、`out bit out`、`function _` | `out = ! in` |
| 4.10 | `mux2` | `linuxcnc/src/hal/components/mux2.comp` | `sel bit in`、`in0 float in`、`in1 float in`、`out float out`、`function _` | `sel ? in1 : in0` |
| 4.11 | `scale` | `linuxcnc/src/hal/components/scale.comp` | `in float in`、`gain float in`、`offset float in`、`out float out`、`function _` | `out = in * gain + offset` |

上述组件均带有 `option period no`，在 LinuxCNC 原生 HAL 中可通过 `loadrt`、`net`、`setp`、`addf` 进入线程执行。Web/WASM 对标时，必须证明等效执行链，而不能只登记源码路径。

## 当前实现复核

### `wasm-port`

本轮检索未发现以下实现资产：

```text
hal_component_precompile_manifest
component_precompile_manifest
verify_hal_component_precompile_manifest.mjs
truth-table gate for and2/or2/not/mux2/scale
```

当前已有 `verify_hal_runtime.sh` 可证明：

- HAL pin/signal/param/net 基础模型。
- `addf` 到 thread scheduler 的基础能力。
- `loadusr` blocked evidence。
- `loadrt` 语句可被记录为 `loadrt:<name>` 事件。

但该 gate 不执行 `and2`、`or2`、`not`、`mux2`、`scale` 的组件函数，不覆盖 `mux2` 的 `sel=false/true` 两路，也不覆盖 `scale` 的 `gain/offset` 浮点公式。

### `web-rtcp-5axis-xyzbc-trt-sim-plan`

目标 Web 项目的 native evidence 中能看到 LinuxCNC HAL 文件行，例如：

```text
loadrt mux2 names=J0_mux,J1_mux,J2_mux,J3_mux,J4_mux
loadrt scale names=rpm_rps
net sample:enable motion.motion-enabled => J0_mux.sel J1_mux.sel J2_mux.sel J3_mux.sel J4_mux.sel
addf J0_mux servo-thread
addf J1_mux servo-thread
addf J2_mux servo-thread
addf J3_mux servo-thread
addf J4_mux servo-thread
addf rpm_rps servo-thread
```

这些行说明原生 LinuxCNC 代表配置确实使用 `mux2` 和 `scale`，可以作为源码/配置对照证据；但当前 Web 项目未见可机读的 component precompile manifest，也未见组件输出与输入的 truth-table / formula JSON 证据，因此不能把 native HAL 文件行直接晋级为 WASM/Web 组件执行通过。

## 必须补齐的 Manifest 和 Gate

### Manifest 最小字段

建议文件名：

```text
wasm-port/runtime/manifests/hal_component_precompile_manifest.json
```

最小字段：

| 字段 | 规则 |
| --- | --- |
| `component` | `and2`、`or2`、`not`、`mux2`、`scale` |
| `linuxcncSource` | 指向 `linuxcnc/src/hal/components/*.comp` |
| `sourceHash` | 记录 `.comp` 文件哈希，防止源码漂移 |
| `loadrtName` | HAL 文件中允许的 `loadrt` 名称 |
| `pins[]` | 每个 pin 的 `name`、`direction`、`type`、`defaultValue` |
| `params[]` | 如组件有参数，记录 `name`、`type`、`defaultValue` |
| `functionName` | `function _` 或生成后的函数入口 |
| `wasmSymbol` | 预编译后导出的 C ABI/WASM symbol |
| `threadAddfSupported` | 是否允许通过 `addf` 加入 virtual thread |
| `formula` | 对 `scale`/`mux2` 等记录公式 |
| `truthTable` | 对 bit 组件记录全部输入组合 |
| `tests[]` | 指向 Node/Browser gate |

### Gate 最小规则

建议命令：

```bash
cd wasm-port && node tests/wasm/node/verify_hal_component_precompile_manifest.mjs
cd wasm-port && node tests/wasm/node/verify_hal_component_truth_tables.mjs
```

最小验证：

- `and2` truth table 覆盖 4 组输入。
- `or2` truth table 覆盖 4 组输入。
- `not` truth table 覆盖 2 组输入。
- `mux2` 覆盖 `sel=false` 和 `sel=true`，并验证 float 输出来自正确输入。
- `scale` 覆盖至少 3 组 `in/gain/offset`，并设置浮点容差。
- `loadrt <component>` 只能从 allowlist 实例化预编译组件；未知组件必须 blocked。
- `addf <instance> servo-thread` 后，thread scheduler 执行一次必须更新输出 pin。
- `net` 连接后，输出 pin 变化必须进入 signal snapshot。

## 当前严格状态

| 04 项 | 当前状态 | 原因 | 晋级条件 |
| --- | --- | --- | --- |
| 4.7 `and2` | 待实现 manifest/truth-table gate | `.comp` 源码已定位；未见预编译 manifest 或 truth table | 补 manifest、WASM symbol、4 组 truth table、thread/net gate |
| 4.8 `or2` | 待实现 manifest/truth-table gate | 同上 | 同上 |
| 4.9 `not` | 待实现 manifest/truth-table gate | 同上 | 补 2 组 truth table、thread/net gate |
| 4.10 `mux2` | 待实现 manifest/formula gate | native evidence 中有 `loadrt mux2`，但无 WASM 公式执行证据 | 补 `sel=false/true` formula gate、thread/net gate |
| 4.11 `scale` | 待实现 manifest/formula gate | native evidence 中有 `loadrt scale`，但无 WASM 公式执行证据 | 补 `in*gain+offset` formula gate、浮点容差和 thread/net gate |
| 4.16 `loadrt` | Blocked 或预编译 allowlist 条件通过 | 当前 `loadrt` 只记录事件，不执行任意动态加载 | 补 allowlist manifest；未知组件 blocked；已知组件实例化走预编译 symbol |

## 结论

`ACC-033/INT-020` 已完成实现缺口复核。LinuxCNC `.comp` 源码和目标 Web native evidence 中的 `loadrt mux2`/`loadrt scale` 行可以作为来源证据；但当前两个目标项目尚未形成 HAL component precompile manifest、WASM symbol、truth-table/formula gate 和 thread/net execution proof。后续不得把 `loadrt` 事件记录、HAL 文件文本或 native evidence 中的 `loadrt mux2/scale` 行直接宣称为 04 `4.7-4.11` 已完成；只有补齐 manifest 和 gate 后才能晋级。

## 后续状态

上述缺口已由 `ACC-038/INT-025` 和 `ACC-039/INT-026` 闭合：五个组件已进入 P1/source hash、halcompile 派生、precompile manifest、truth-table/formula、thread/net、unknown blocked、session reset 和 Web XYZAC 代表配置 gate。当前严格结论见 `27-04-HAL-Component-Precompile-Runtime-Gate实施记录.md`；任意动态模块加载仍保持 Blocked。