From bf17469f6fe401e804acc23f490c231386113c80 Mon Sep 17 00:00:00 2001 From: wangdequan Date: Sat, 13 Jun 2026 06:57:47 +0800 Subject: [PATCH] Guard final g10 staging paths --- text5.txt | 176 +++++++++--------- wasm-port/tests/browser/interp_smoke.html | 7 + .../tests/wasm/node/verify_interp_wasm.mjs | 10 + 3 files changed, 104 insertions(+), 89 deletions(-) diff --git a/text5.txt b/text5.txt index b134de9..9ba5cb6 100644 --- a/text5.txt +++ b/text5.txt @@ -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 语义。 diff --git a/wasm-port/tests/browser/interp_smoke.html b/wasm-port/tests/browser/interp_smoke.html index f89780b..fcdcd96 100644 --- a/wasm-port/tests/browser/interp_smoke.html +++ b/wasm-port/tests/browser/interp_smoke.html @@ -8265,6 +8265,13 @@ "test.ngc", "test.tbl", ]); + const g10FinalStagedNgcFiles = [ + `${g10L20WhileActiveDir}/test.ngc`, + `${g10WithG92Dir}/test.ngc`, + ].map((path) => path.replace("/work/browser-interp/g10/", "")); + if (g10FinalStagedNgcFiles.join(",") !== g10RegressionFiles.slice(3, 5).join(",")) { + throw new Error("browser_interp_g10_final_staging_manifest: list drift"); + } verifyExpectedOutput( "browser_interp_g10_with_g92", interp.runFileWithIni(`${g10WithG92Dir}/test.ngc`, `${g10WithG92Dir}/test.ini`), diff --git a/wasm-port/tests/wasm/node/verify_interp_wasm.mjs b/wasm-port/tests/wasm/node/verify_interp_wasm.mjs index 75c78b9..a1014d8 100644 --- a/wasm-port/tests/wasm/node/verify_interp_wasm.mjs +++ b/wasm-port/tests/wasm/node/verify_interp_wasm.mjs @@ -3152,6 +3152,16 @@ verifyExpectedOutput( ); const g10WithG92Dir = writeG10RegressionFiles("g10-with-g92", ["test.ngc", "test.tbl"]); +assert.deepEqual( + [ + `${g10L20WhileActiveDir}/test.ngc`, + `${g10WithG92Dir}/test.ngc`, + ], + g10RegressionFiles + .slice(3, 5) + .map((file) => `/work/interp/g10/${file}`), + "interp g10 final staging manifest drift", +); verifyExpectedOutput( "interp_g10_with_g92_wasm", interp.runFileWithIni(`${g10WithG92Dir}/test.ngc`, `${g10WithG92Dir}/test.ini`),