虚拟HAL完全满足Web数控仿真

结论：ini-panel workflow overview 已提供固定 URL 表单和按钮，用户可直接输入 release artifact URL 与 browser diagnostics URL 并运行 release URL workflow；该流程验证的 virtual HAL evidence 仍完全来自 LinuxCNC source-derived reports，virtual HAL 继续满足 Web 数控系统仿真范围，不声明 Linux kernel hard-realtime ABI、外部硬件驱动 ABI 或 native HAL module ABI。

text17.txt

@@ -1190,3 +1190,79 @@ git diff --check ok
    source files 与 vendored LinuxCNC manifest 做显式一致性验证。
 3. 将 virtual HAL session diagnostics artifact 纳入 release artifact URL workflow 的示例
    fixtures，使 URL workflow 同时覆盖 live diagnostics 与 saved-session diagnostics。
+
+### 十三、2026-06-17 INI Workflow Overview URL Form
+
+继续按本文件铁律推进：虚拟 HAL 的功能完全来源于 LinuxCNC 源程序，并且虚拟 HAL
+完全满足 Web 方式数控系统仿真系统。本批完成上一节下一步第 1 项，把 ini-panel
+workflow overview 的 diagnostics URL workflow 接入固定页面表单和按钮，让用户可在页面上
+输入 release artifact URL 与 browser diagnostics URL 后直接运行验证。
+
+新增实质能力：
+
+- `workflow-overview.html` 新增固定 URL workflow 表单：
+  - Release artifact URL 输入；
+  - Browser diagnostics URL 输入；
+  - `Run URL Workflow` 按钮；
+  - release artifact URL workflow 状态区；
+  - release artifact URL workflow rows 区；
+- 页面脚本新增：
+  - `runWorkflowOverviewReleaseReadinessArtifactUrlForm(options)`；
+  - 从页面输入框读取 artifact URL 与 diagnostics URL；
+  - 复用 `loadIniPanelShellWorkflowOverviewReleaseReadinessArtifactUrl()`；
+  - 复用 release URL workflow summary/render/mount helpers；
+  - 写入 `document.body.dataset.releaseArtifactUrlWorkflowPhase`；
+  - 写入 `document.body.dataset.releaseArtifactUrlWorkflowReady`；
+- Browser API 新增：
+  - `runWorkflowOverviewReleaseReadinessArtifactUrlForm()`；
+- 表单输入使用 `type="text"` 与 `inputmode="url"`，同时支持相对 fixture 路径和真实
+  HTTP/HTTPS URL。
+
+新增/扩展验证：
+
+- `ini_panel_workflow_overview_smoke.html` 覆盖：
+  - workflow overview API 暴露 `runWorkflowOverviewReleaseReadinessArtifactUrlForm()`；
+  - 页面固定输入框可写入 release artifact URL 与 diagnostics URL；
+  - 表单 runner 可复用 diagnostics artifact fetch stub；
+  - 表单 runner 返回 `workflow.ready === true`；
+  - 表单 runner 返回 `mountResult.ready === true`；
+  - 页面 body dataset 标记 URL workflow ready；
+  - 页面固定 workflow rows 中 `browser-diagnostics` 行显示 `ready`；
+- `verify_ini_panel_browser.sh` 聚合确认 workflow overview 页面、launch、control、
+  shell integration 仍全部通过；
+- `verify_ui_node_smokes.sh` 聚合确认 ui-shell/API manifest/docs 不回归。
+
+关键验证：
+
+```text
+browser_ini_opfs_smoke=ok
+browser_ini_control_page_smoke=ok
+browser_ini_launch_smoke=ok
+browser_ini_workflow_overview_smoke=ok
+browser_ini_shell_integration_workflow_smoke=ok
+ini_panel_ui_shell_node_smoke=ok
+ini_panel_shell_integration_manifest_node_smoke=ok
+ini_panel_launch_api_manifest_node_smoke=ok
+ini_panel_entry_docs_node_smoke=ok
+ui_node_smokes=ok
+git diff --check ok
+```
+
+语义边界：
+
+- 本批没有新增 G-code/interpreter/planner/kinematics/remap 语义；
+- workflow overview 表单只加载并验证 release artifact 与 browser diagnostics artifact；
+- browser diagnostics artifact 中的 virtual HAL evidence 仍来自 source-derived virtual HAL
+  reports；
+- virtual HAL 仍不声称提供 Linux kernel hard-realtime ABI、外部硬件驱动 ABI 或 native
+  HAL module ABI；
+- G-code/interpreter/planner/canonical motion 语义仍来自 LinuxCNC-backed WASM。
+
+下一步工作内容：
+
+1. 为 motion matrix 增加 manifest-backed source check，把 matrix 关联的 sim config
+   source files 与 vendored LinuxCNC manifest 做显式一致性验证。
+2. 将 virtual HAL session diagnostics artifact 纳入 release artifact URL workflow 的示例
+   fixtures，使 URL workflow 同时覆盖 live diagnostics 与 saved-session diagnostics。
+3. 将 workflow overview 固定 URL 表单的 action-plan 与 gate execution summary rows
+   同屏渲染，便于用户看到 URL workflow 的下一步命令和 gate evidence。