Guard final g10 staging paths

This commit is contained in:
2026-06-13 06:57:47 +08:00
parent f8177efac5
commit bf17469f6f
3 changed files with 104 additions and 89 deletions

176
text5.txt
View File

@@ -7487,95 +7487,6 @@ family例如 `g10`。先从 `g10` 现有 fixed manifest 和 staging helper
七十九、2026-06-13 继续执行记录g10 initial staging path guard
本轮转向 `tests/interp/g10` staged path 对账。当前 host 仍按 blocked runtime
规则处理,不执行任何 `ENABLE_*_RUNTIME_PROBE=1` opt-in native probe。
1. 候选选择。
选择 `g10` 当前 fixed manifest 的前三项:
- `g10/g10-l1-l10/test.ngc`
- `g10/g10-l11/test.ngc`
- `g10/g10-l2-while-active/test.ngc`
其中 `g10-l1-l10` 与 `g10-l11` 同时 staging `test.tbl`,但本轮 `.ngc`
manifest 对账只覆盖 `.ngc` 文件。所有 case 已在 Node/browser 执行,不需要
HAL/task/tool DB/Python remap/user-M process runtime。
2. 覆盖对账。
当前 `tests/interp/g10/**/*.ngc` fixed manifest 前三项:
```text
g10-l1-l10/test.ngc
g10-l11/test.ngc
g10-l2-while-active/test.ngc
```
3. 更新。
更新:
- `wasm-port/tests/wasm/node/verify_interp_wasm.mjs`
- `wasm-port/tests/browser/interp_smoke.html`
Node 新增:
- 检查前三个 `writeG10RegressionFiles(...)` staged `.ngc` path
`g10RegressionFiles.slice(0, 3)` 推导出的 `/work/interp/g10/...` path 一致。
Browser 新增:
- 检查前三个 browser staged `.ngc` path 去掉 `/work/browser-interp/g10/`
前缀后,与 `g10RegressionFiles.slice(0, 3)` 一致;
- browser 仍不枚举目录。
4. 已执行验证。
```bash
git diff --check
wasm-port/tools/verify_vendor_sync.sh
wasm-port/tools/verify_no_standalone_cnc_semantics.sh
SKIP_INTERP_BUILD=1 wasm-port/tests/wasm/node/verify_interp_wasm.sh
SKIP_INTERP_BUILD=1 wasm-port/tests/wasm/node/verify_sim_configs_inventory_wasm.sh
SKIP_INI_BUILD=1 SKIP_INTERP_BUILD=1 wasm-port/tests/browser/verify_interp_browser.sh
wasm-port/tests/host/verify_host_smokes.sh
```
结果:
- `git diff --check` clean。
- `vendor sync up to date`
- `standalone CNC semantics guard complete`
- `interp_wasm_node_smoke=ok`
- Node inventory 保持:
- `executed=28`
- `passed=28`
- `skipped=131`
- `unexpected_fail=0`
- `browser_interp_smoke=ok`
- `host_wasm_opfs_browser_smokes=ok`
5. 下一步工作建议。
当前工作集已稳定。建议先做小提交message
```text
Guard initial g10 staging paths
```
提交后继续 `g10` 最后一小批:
```text
g10-l20-while-active/test.ngc
g10-with-g92/test.ngc
```
其中 `g10-with-g92` 同时 staging `test.tbl`。下一批仍只做 staged `.ngc` path 与
fixed manifest 对账,不新增 CNC 语义。
七十九、2026-06-13 继续执行记录g10 initial staging path guard
本轮转向 `tests/interp/g10`,仍保持小批量 staging guard。当前 host 仍按 blocked
runtime 规则处理,不执行任何 `ENABLE_*_RUNTIME_PROBE=1` opt-in native probe。
@@ -7665,3 +7576,90 @@ g10-with-g92/test.ngc
`g10-with-g92` 同时 staging `test.tbl` 并生成 synthetic `test.ini`;下一批仍只做
staged `.ngc` path 与 fixed manifest 对账,不扩大到 blocked runtime。
八十、2026-06-13 继续执行记录g10 final staging path guard
本轮完成 `tests/interp/g10` fixed manifest 的最后一小批 staging guard并清理
上一节重复记录。当前 host 仍按 blocked runtime 规则处理,不执行任何
`ENABLE_*_RUNTIME_PROBE=1` opt-in native probe。
1. 候选选择。
选择 `g10` fixed manifest 的最后两项:
- `g10/g10-l20-while-active/test.ngc`
- `g10/g10-with-g92/test.ngc`
其中 `g10-with-g92` 同时 staging `test.tbl`,并由
`writeG10RegressionFiles(...)` 生成 synthetic `test.ini` 作为运行上下文;这些
上下文文件不进入 `.ngc` manifest 对账。本轮只固定 staged `.ngc` path 与既有
fixed manifest 最后两项的一致性,不新增 CNC 语义。
2. 覆盖对账。
`tests/interp/g10` 当前 upstream `.ngc` manifest 已由既有 fixed list 覆盖,本轮
新增对账的 manifest slice 为:
```text
g10-l20-while-active/test.ngc
g10-with-g92/test.ngc
```
3. 更新。
更新:
- `text5.txt`
- `wasm-port/tests/wasm/node/verify_interp_wasm.mjs`
- `wasm-port/tests/browser/interp_smoke.html`
Node 新增:
- 检查最后两个 `writeG10RegressionFiles(...)` 返回目录中的 `.ngc` staged path
与 `g10RegressionFiles.slice(3, 5)` 推导出的 `/work/interp/g10/...` path
一致。
Browser 新增:
- 检查最后两个 browser staged `.ngc` path 去掉 `/work/browser-interp/g10/`
前缀后,与 `g10RegressionFiles.slice(3, 5)` 一致;
- browser 仍不枚举目录。
4. 已执行验证。
```bash
git diff --check
wasm-port/tools/verify_vendor_sync.sh
wasm-port/tools/verify_no_standalone_cnc_semantics.sh
SKIP_INTERP_BUILD=1 wasm-port/tests/wasm/node/verify_interp_wasm.sh
SKIP_INTERP_BUILD=1 wasm-port/tests/wasm/node/verify_sim_configs_inventory_wasm.sh
SKIP_INI_BUILD=1 SKIP_INTERP_BUILD=1 wasm-port/tests/browser/verify_interp_browser.sh
wasm-port/tests/host/verify_host_smokes.sh
```
结果:
- `git diff --check` clean。
- `vendor sync up to date`
- `standalone CNC semantics guard complete`
- `interp_wasm_node_smoke=ok`
- Node inventory 保持:
- `executed=28`
- `passed=28`
- `skipped=131`
- `unexpected_fail=0`
- `browser_interp_smoke=ok`
- `host_wasm_opfs_browser_smokes=ok`
5. 下一步工作建议。
当前工作集已稳定。建议先做小提交message
```text
Guard final g10 staging paths
```
提交后 `g10` 的 5 项 fixed `.ngc` manifest 已完成分批 staged path 对账。下一步
建议继续选择已有 Node/browser coverage、且不依赖 blocked runtime 的 small
fixture family优先检查 direct-file 或 staging helper 已成型的 case仍只做
host/filesystem staging guard不新增 CNC 语义。