From 01d168e247a09d6c0ab3bd879cd7f0ba32dba817 Mon Sep 17 00:00:00 2001 From: wangdequan Date: Mon, 15 Jun 2026 07:05:53 +0800 Subject: [PATCH] =?UTF-8?q?=E6=8E=A8=E8=BF=9B=20INI=20=E9=9D=A2=E6=9D=BF?= =?UTF-8?q?=20launch=20manifest=20compatibility=20predicate?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- text12.txt | 71 +++++++++++++++++++ wasm-port/docs/panel-entry.md | 4 ++ wasm-port/runtime/ui/ini-panel/launch.html | 2 + wasm-port/runtime/ui/ini-panel/ui-shell.js | 11 +++ .../tests/browser/ini_panel_launch_smoke.html | 13 +++- .../ui/node/verify_ini_panel_entry_docs.mjs | 7 ++ .../verify_ini_panel_launch_api_manifest.mjs | 11 +++ .../ui/node/verify_ini_panel_ui_shell.mjs | 3 + 8 files changed, 121 insertions(+), 1 deletion(-) diff --git a/text12.txt b/text12.txt index ca62498..70220fc 100644 --- a/text12.txt +++ b/text12.txt @@ -1410,3 +1410,74 @@ host_wasm_opfs_browser_smokes=ok compatibility helper(例如 `isSupportedIniPanelLaunchApiManifest()` 或等价只读 predicate),让外部 shell 可以用 schema/version 判断 manifest 是否可消费,并由 Node/browser gate 校验;仍保持只读, 不新增控制按钮,不解析 G-code。 + +十八、2026-06-15 继续执行记录:INI panel launch manifest compatibility predicate + +本轮按“第一原则:加快实质性推进”继续推进 SDK/API surface,为 launch manifest 增加只读 +compatibility predicate,让外部 shell 能用 schema/version 和必需字段判断 manifest 是否可消费。 + +完成内容: + +- `wasm-port/runtime/ui/ini-panel/ui-shell.js` 新增 + `isSupportedIniPanelLaunchApiManifest()`; +- `launch.html` 的 `window.linuxCncIniPanelLaunchApi` 新增 + `isSupportedLaunchApiManifest()`; +- `createIniPanelLaunchApiManifest().methods` 新增 `isSupportedLaunchApiManifest`; +- predicate 固定校验: + - manifest 是对象; + - `apiName` 匹配 schema; + - `manifestVersion` 匹配 schema; + - schema fields 全部存在; +- `verify_ini_panel_launch_api_manifest.mjs` 覆盖 supported、错误 version、错误 apiName、 + 缺少字段和 null 输入; +- `ini_panel_launch_smoke.html` 在真实 launch iframe 中校验支持当前 manifest,并拒绝错误 + `manifestVersion`; +- `verify_ini_panel_ui_shell.mjs`、`verify_ini_panel_entry_docs.mjs` 与 `docs/panel-entry.md` + 记录并校验 predicate 入口; +- 未新增控制按钮; +- 未解析 G-code; +- 未解释 canonical events; +- 未改变 OPFS/session persistence、LinuxCNC interpreter、tool、parameter、planner 或 + LinuxCNC-owned runtime semantics。 + +验证已通过: + +```bash +git diff --check +wasm-port/tests/ui/node/verify_ini_panel_launch_api_manifest.sh +wasm-port/tests/ui/node/verify_ini_panel_ui_shell.sh +wasm-port/tests/ui/node/verify_ini_panel_entry_docs.sh +wasm-port/tests/ui/node/verify_ui_node_smokes.sh +SKIP_INI_BUILD=1 SKIP_INTERP_BUILD=1 wasm-port/tests/browser/verify_ini_panel_browser.sh +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 +wasm-port/tests/host/verify_host_smokes.sh +``` + +关键输出: + +```text +ini_panel_launch_api_manifest_node_smoke=ok +ini_panel_ui_shell_node_smoke=ok +ini_panel_entry_docs_node_smoke=ok +ui_node_smokes=ok +browser_ini_opfs_smoke=ok +browser_ini_control_page_smoke=ok +browser_ini_launch_smoke=ok +vendor sync up to date +standalone CNC semantics guard complete +interp_wasm_node_smoke=ok +sim_configs_wasm_node_inventory_executed=28 +sim_configs_wasm_node_inventory_passed=28 +sim_configs_wasm_node_inventory_skipped=131 +sim_configs_wasm_node_inventory_unexpected_fail=0 +host_wasm_opfs_browser_smokes=ok +``` + +下一步建议: + +继续推进 browser/UI workflow。下一批建议把 control-page browser API 也补齐 schema/version 与 +compatibility predicate,使 launch API 和 control-page API 具备一致的外部 shell 接入模型;仍保持 +只读,不新增控制按钮,不解析 G-code。 diff --git a/wasm-port/docs/panel-entry.md b/wasm-port/docs/panel-entry.md index 822df51..bda5510 100644 --- a/wasm-port/docs/panel-entry.md +++ b/wasm-port/docs/panel-entry.md @@ -27,6 +27,7 @@ import { refreshMachineSessionControlPage, controlPageStatusText, renderMachineSessionControlView, + isSupportedIniPanelLaunchApiManifest, } from "../runtime/ui/ini-panel/ui-shell.js"; ``` @@ -92,6 +93,9 @@ Use `createIniPanelLaunchApiSchema()`, `linuxCncIniPanelLaunchApi.getLaunchApiSchema()`, or `manifestVersion` when an outer shell needs to check launch manifest compatibility before consuming these fields. +Use `isSupportedIniPanelLaunchApiManifest()` or +`linuxCncIniPanelLaunchApi.isSupportedLaunchApiManifest()` for a read-only +compatibility predicate before using a launch manifest. The control-page refresh workflow lives in `runtime/ui/ini-panel/control-page-refresh-workflow.js`. Use diff --git a/wasm-port/runtime/ui/ini-panel/launch.html b/wasm-port/runtime/ui/ini-panel/launch.html index b462a9b..8c8a502 100644 --- a/wasm-port/runtime/ui/ini-panel/launch.html +++ b/wasm-port/runtime/ui/ini-panel/launch.html @@ -76,6 +76,7 @@ import { createIniPanelLauncherLinkViewModel, createIniPanelShellViewModel, + isSupportedIniPanelLaunchApiManifest, } from "./ui-shell.js"; const shellViewModel = createIniPanelShellViewModel(); @@ -90,6 +91,7 @@ } window.linuxCncIniPanelLaunchApi = { + isSupportedLaunchApiManifest: isSupportedIniPanelLaunchApiManifest, getLaunchApiSchema: () => shellViewModel.launchApiSchema, getLaunchApiManifest: () => shellViewModel.launchApiManifest, getLauncherLinks: () => shellViewModel.launcherLinks, diff --git a/wasm-port/runtime/ui/ini-panel/ui-shell.js b/wasm-port/runtime/ui/ini-panel/ui-shell.js index 9939424..ce0b45e 100644 --- a/wasm-port/runtime/ui/ini-panel/ui-shell.js +++ b/wasm-port/runtime/ui/ini-panel/ui-shell.js @@ -77,12 +77,23 @@ export function createIniPanelLaunchApiSchema() { }; } +export function isSupportedIniPanelLaunchApiManifest(manifest, schema = createIniPanelLaunchApiSchema()) { + if (!manifest || typeof manifest !== "object") { + return false; + } + if (manifest.apiName !== schema.apiName || manifest.manifestVersion !== schema.manifestVersion) { + return false; + } + return schema.fields.every((fieldName) => Object.hasOwn(manifest, fieldName)); +} + export function createIniPanelLaunchApiManifest(entries = getVisibleIniPanelEntries()) { const schema = createIniPanelLaunchApiSchema(); return { apiName: schema.apiName, manifestVersion: schema.manifestVersion, methods: [ + "isSupportedLaunchApiManifest", "getLaunchApiSchema", "getLaunchApiManifest", "getLauncherLinks", diff --git a/wasm-port/tests/browser/ini_panel_launch_smoke.html b/wasm-port/tests/browser/ini_panel_launch_smoke.html index ae37d57..1ad7c98 100644 --- a/wasm-port/tests/browser/ini_panel_launch_smoke.html +++ b/wasm-port/tests/browser/ini_panel_launch_smoke.html @@ -66,6 +66,7 @@ const launchDoc = await loadLaunchFrame(); const launchApi = launchDoc.defaultView.linuxCncIniPanelLaunchApi; if ( + !launchApi?.isSupportedLaunchApiManifest || !launchApi?.getLaunchApiSchema || !launchApi?.getLaunchApiManifest || !launchApi?.getLauncherLinks || @@ -85,6 +86,16 @@ "launch API schema persistence field", ); const launchApiManifest = launchApi.getLaunchApiManifest(); + assertEqual( + launchApi.isSupportedLaunchApiManifest(launchApiManifest), + true, + "launch API supports manifest", + ); + assertEqual( + launchApi.isSupportedLaunchApiManifest({ ...launchApiManifest, manifestVersion: 2 }), + false, + "launch API rejects unsupported manifest version", + ); assertEqual( launchApiManifest.apiName, "ini-panel-launch", @@ -97,7 +108,7 @@ ); assertEqual( launchApiManifest.methods.join(","), - "getLaunchApiSchema,getLaunchApiManifest,getLauncherLinks,getControlPageApiMethods", + "isSupportedLaunchApiManifest,getLaunchApiSchema,getLaunchApiManifest,getLauncherLinks,getControlPageApiMethods", "launch API manifest methods", ); assertEqual( diff --git a/wasm-port/tests/ui/node/verify_ini_panel_entry_docs.mjs b/wasm-port/tests/ui/node/verify_ini_panel_entry_docs.mjs index 6af209f..d838390 100644 --- a/wasm-port/tests/ui/node/verify_ini_panel_entry_docs.mjs +++ b/wasm-port/tests/ui/node/verify_ini_panel_entry_docs.mjs @@ -19,6 +19,7 @@ import { readMachineSessionReadonlyStatus, refreshMachineSessionControlPage, getVisibleIniPanelEntries, + isSupportedIniPanelLaunchApiManifest, } from "../../../runtime/ui/ini-panel/ui-shell.js"; const __dirname = dirname(fileURLToPath(import.meta.url)); @@ -48,6 +49,7 @@ const requiredShellExports = [ "createIniPanelShellViewModel", "getIniPanelEntryByHref", "getVisibleIniPanelEntries", + "isSupportedIniPanelLaunchApiManifest", "createMachineSessionControlPageController", "createMachineSessionReadonlyStatus", "createMachineSessionReadonlyStatusApiManifest", @@ -102,6 +104,7 @@ assert.deepEqual(createIniPanelShellViewModel().pages, getVisibleIniPanelEntries assert.deepEqual(createIniPanelShellViewModel().launcherLinks, createIniPanelLauncherLinkViewModel()); assert.deepEqual(createIniPanelShellViewModel().launchApiSchema, createIniPanelLaunchApiSchema()); assert.deepEqual(createIniPanelShellViewModel().launchApiManifest, createIniPanelLaunchApiManifest()); +assert.equal(isSupportedIniPanelLaunchApiManifest(createIniPanelShellViewModel().launchApiManifest), true); assert.equal(createIniPanelShellViewModel().launchApiManifest.manifestVersion, createIniPanelLaunchApiSchema().manifestVersion); assert.deepEqual( createIniPanelShellViewModel().controlPage.contract, @@ -137,8 +140,10 @@ assert.equal(typeof createIniPanelShellViewModel().controlPage.renderView, "func assert.match(shellText, /\bexport function createControlPageBrowserApiMethods\b/); assert.match(shellText, /\bexport function createIniPanelLaunchApiSchema\b/); assert.match(shellText, /\bexport function createIniPanelLaunchApiManifest\b/); +assert.match(shellText, /\bexport function isSupportedIniPanelLaunchApiManifest\b/); assert.match(controlPageText, /\bgetControlPageApiMethods\b/); assert.match(launchText, /\blinuxCncIniPanelLaunchApi\b/); +assert.match(launchText, /\bisSupportedLaunchApiManifest\b/); assert.match(launchText, /\bgetLaunchApiSchema\b/); assert.match(launchText, /\bgetLaunchApiManifest\b/); assert.match(launchText, /\bgetControlPageApiMethods\b/); @@ -150,6 +155,8 @@ assert.match(docText, /\blinuxCncIniPanelControlPageApi\.getControlPageContract\ assert.match(docText, /\blinuxCncIniPanelControlPageApi\.readControlPageStatus\b/); assert.match(docText, /\bcreateIniPanelLaunchApiManifest\b/); assert.match(docText, /\bcreateIniPanelLaunchApiSchema\b/); +assert.match(docText, /\bisSupportedIniPanelLaunchApiManifest\b/); +assert.match(docText, /\blinuxCncIniPanelLaunchApi\.isSupportedLaunchApiManifest\b/); assert.match(docText, /\blinuxCncIniPanelLaunchApi\.getLaunchApiSchema\b/); assert.match(docText, /\blinuxCncIniPanelLaunchApi\.getLaunchApiManifest\b/); assert.match(docText, /\blinuxCncIniPanelLaunchApi\.getControlPageApiMethods\b/); diff --git a/wasm-port/tests/ui/node/verify_ini_panel_launch_api_manifest.mjs b/wasm-port/tests/ui/node/verify_ini_panel_launch_api_manifest.mjs index be58c09..69e9a32 100644 --- a/wasm-port/tests/ui/node/verify_ini_panel_launch_api_manifest.mjs +++ b/wasm-port/tests/ui/node/verify_ini_panel_launch_api_manifest.mjs @@ -10,6 +10,7 @@ import { createIniPanelLaunchApiSchema, createIniPanelShellViewModel, getVisibleIniPanelEntries, + isSupportedIniPanelLaunchApiManifest, } from "../../../runtime/ui/ini-panel/ui-shell.js"; const __dirname = dirname(fileURLToPath(import.meta.url)); @@ -38,6 +39,7 @@ assert.deepEqual(manifest, { apiName: "ini-panel-launch", manifestVersion: 1, methods: [ + "isSupportedLaunchApiManifest", "getLaunchApiSchema", "getLaunchApiManifest", "getLauncherLinks", @@ -88,6 +90,13 @@ assert.deepEqual(manifest, { assert.deepEqual(createIniPanelShellViewModel().launchApiManifest, manifest); assert.deepEqual(createIniPanelShellViewModel().launchApiSchema, schema); assert.equal(createIniPanelShellViewModel().launchApiManifest.manifestVersion, schema.manifestVersion); +assert.equal(isSupportedIniPanelLaunchApiManifest(manifest), true); +assert.equal(isSupportedIniPanelLaunchApiManifest({ ...manifest, manifestVersion: 2 }), false); +assert.equal(isSupportedIniPanelLaunchApiManifest({ ...manifest, apiName: "other" }), false); +const missingFieldManifest = { ...manifest }; +delete missingFieldManifest.persistenceCapabilities; +assert.equal(isSupportedIniPanelLaunchApiManifest(missingFieldManifest), false); +assert.equal(isSupportedIniPanelLaunchApiManifest(null), false); assert.deepEqual(getVisibleIniPanelEntries(), INI_PANEL_ENTRIES); manifest.visibleEntries[0].title = "changed"; @@ -122,6 +131,8 @@ assert.deepEqual(customManifest.targetPages, [ assert.match(shellText, /\bexport function createIniPanelLaunchApiManifest\b/); assert.match(shellText, /\bexport function createIniPanelLaunchApiSchema\b/); +assert.match(shellText, /\bexport function isSupportedIniPanelLaunchApiManifest\b/); +assert.match(launchText, /\bisSupportedLaunchApiManifest\b/); assert.match(launchText, /\bgetLaunchApiSchema\b/); assert.match(launchText, /\bgetLaunchApiManifest\b/); assert.match(launchText, /\blinuxCncIniPanelLaunchApi\b/); diff --git a/wasm-port/tests/ui/node/verify_ini_panel_ui_shell.mjs b/wasm-port/tests/ui/node/verify_ini_panel_ui_shell.mjs index 9783272..3b85165 100644 --- a/wasm-port/tests/ui/node/verify_ini_panel_ui_shell.mjs +++ b/wasm-port/tests/ui/node/verify_ini_panel_ui_shell.mjs @@ -17,6 +17,7 @@ import { getIniPanelEntryByHref, getIniPanelEntryManifest, getVisibleIniPanelEntries, + isSupportedIniPanelLaunchApiManifest, loadMachineSessionForControlPageWorkflow, readMachineSessionReadonlyStatus, refreshMachineSessionControlPage, @@ -55,6 +56,7 @@ assert.equal(typeof loadMachineSessionForControlPageWorkflow, "function"); assert.equal(typeof readMachineSessionReadonlyStatus, "function"); assert.equal(typeof refreshMachineSessionControlPage, "function"); assert.equal(typeof renderMachineSessionControlView, "function"); +assert.equal(typeof isSupportedIniPanelLaunchApiManifest, "function"); const shellManifest = getIniPanelEntryManifest(); shellManifest[0].title = "changed"; @@ -93,6 +95,7 @@ assert.deepEqual(shellViewModel.pages, [ assert.deepEqual(shellViewModel.launcherLinks, createIniPanelLauncherLinkViewModel()); assert.deepEqual(shellViewModel.launchApiSchema, createIniPanelLaunchApiSchema()); assert.deepEqual(shellViewModel.launchApiManifest, createIniPanelLaunchApiManifest()); +assert.equal(isSupportedIniPanelLaunchApiManifest(shellViewModel.launchApiManifest), true); assert.equal(shellViewModel.launchApiManifest.manifestVersion, createIniPanelLaunchApiSchema().manifestVersion); assert.deepEqual(shellViewModel.controlPage.browserApiMethods, createControlPageBrowserApiMethods()); assert.equal(shellViewModel.controlPage.createController, createMachineSessionControlPageController);