Splash：从 UI 语言到 A2App

Splash 是 Makepad 的可实时编辑脚本与 UI 语言，来自 Rik Arends 主导的 Makepad 项目。它连接对象组合、组件属性、交互行为、Rust 组件和 GPU 绘制。Octoscript 在这套基础上构建面向 Agent 的工作流与生成式应用界面。

这篇指南把语言能力和宿主职责放在一起介绍。Splash 的全部语法并不自动属于 Octoscript 有界工作流 profile。

用对象树描述界面

Type { ... } 实例化定义，属性: 值 设置属性，名字 := Type { ... } 为子组件或模板命名。let 创建局部绑定，模块通过 mod.* 导出共享定义。

View {
    width: Fill
    height: Fit
    flow: Down
    spacing: 12
    title := Label { text: "Ready to build" }
    launch := Button { text: "Run workflow" }
}

这是供已注册组件的 UI 宿主使用的界面片段，不是可以直接交给工作流 CLI 的程序。Fill、Fit、排列方向、间距和内边距表达布局；稳定的名字让应用逻辑和检查工具都能定位到具体组件。

复用定义，定制实例

组件定义包含默认属性、继承的绘制属性和行为。实例可以覆盖需要变化的部分。对于有类型的子对象，用 +: 合并覆盖，保留未修改的字段与方法。

draw_bg +: { color: #2686a0 }
padding: Inset { left: 16 top: 12 right: 16 bottom: 12 }

PortalList 中的模板用于实例化可见条目，同一组件定义可以服务一整列数据。模块导出与组件 kit 进一步把复用变成明确的接口。数据如何进入这些实例，仍由宿主决定。

Rust 提供组件实现与业务逻辑

script_mod! 把 Splash 声明嵌入 Rust；#(Button::register_widget(vm)) 等注册表达式把脚本中的定义连接到 Rust 实现。#[derive(Script, ScriptHook)] 及相应字段属性暴露有类型的属性，行为由注册的 Rust 代码实现。

当前 Makepad 的事件处理可以把逻辑继续放在 Rust：

if self.ui.button(cx, ids!(launch)).clicked(actions) {
    self.ui.label(cx, ids!(status)).set_text(cx, "Running");
}

外围应用负责注册模块、持有事件循环并挂载根节点。运行时属性更新与 Splash reload 支持调整表现层，而不必重写业务逻辑。实际可用 API 以宿主及固定依赖版本为准。

绘制和动画也是语言的一部分

Splash 可以用 pixel: fn() { ... } 等 shader 定义描述 GPU 绘制。实例属性、uniform 与纹理让同一种组件拥有不同外观，Animator 状态表达 hover、按下等过渡。因此，同一套组合系统既能写表单，也能表达图表和高度定制的界面。

这些能力来自 Makepad UI 宿主。工作流使用同一 VM 实现，不代表它自动获得 GPU、文件、进程或网络能力。参考 Splash 语法与示例、组件实现和计数器应用。

两种 UI 入口，复用同一套基础

直接写 Splash： 可信 UI 宿主安装组件并执行其 DSL，保留 Makepad 完整的组合与样式能力。

生成 L0／L1： 先检查较窄的 UI 约定，实例化语义卡片树，再通过组件 kit 转换。受检查的求值得到渲染器 UiNode，翻译后生成 Makepad 组件源码。L0 实例化无需 VM；L1 增加有界纯算术。kit 求值与最终 Splash 挂载可以使用共享的 makepad-script 实现。

L0/L1 + 数据 → 实例化卡片树 → kit 转换 → 渲染器 UiNode
  → Makepad 组件源码 → 宿主挂载原生组件

直接编写 Splash → 容器 UI 宿主 → 原生组件

这样既复用了 Splash 语言及组件生态，也给生成式卡片建立明确的准入边界。组件声明不会被误送进独立的工作流检查器。详见 Makepad 集成。

跨平台绘制与平台原生控件

语言描述树，宿主决定树如何呈现。“Makepad 原生组件”指 Makepad 自己实现并在原生或 Web 后端绘制的组件，并不意味着每个 Button 都是 Android View、ArkUI 节点或 UIKit 控件。

切换渲染后端时，数据、动作和 Rust 逻辑仍可共享。组件名与样式需要明确映射到各宿主；任意 Makepad shader 不会自动变成平台控件属性。

在同一个页面里组合两类组件

宿主可以把平台表面或控件放进 Makepad 页面：原生相机预览上方叠放 Makepad 控制条，自定义面板旁嵌入系统 WebView，或在 GPU 表面上组合 Android 输入控件。宿主统一协调矩形、裁剪、层级、焦点、键盘、生命周期与可访问性，让用户操作的是一个完整页面。

已有接入点包括：Video 组件挂载原生相机预览；iOS 后端管理预览生命周期；Android bridge连接 GL 表面上的原生 composer。它们展示了具体的混合组合能力；任意控件之间的层级、裁剪和事件兼容仍需对应适配。

历史例证：一个相机，两种宿主

相机项目拆成 logic/、native/ 和 oh/。两个宿主的 Cargo 清单都依赖 octosense-camera-logic。

这是开发分支中记录的双宿主例证，不是当前 OctoSense Camera 应用包的架构。

                 octosense-camera-logic
                    状态机 · 场景 · 动作
                    /               \
         native/ Makepad 宿主      oh/ ArkUI 宿主
            L0 + kit 组件         平台 ArkUI 节点

共同 crate 持有相机 UI 状态并生成场景。Makepad 宿主把场景转换为 kit 组件，ArkUI 宿主把它映射为平台节点。拍摄、权限与相册交接仍属于各自宿主。这是业务逻辑复用，不是宣称平台 API 完全相同。

从 Studio 到应用内的 Agent 仪器

Studio 为人类开发者提供可视化工作流；Makepad 同时把检查与控制原语放进应用自身，使 Agent 无需操作 Studio GUI。开发实例通过 --remote 启动后，会在 socket 上提供 loopback HTTP 接口。Studio WebSocket 通道仍是旧工具使用的内部路径。

Agent 查询最新矩形，操作目标组件，等待一帧，再检查状态和像素，将发现的问题定位回源码。Tweaker 的编辑不会自动写入源文件；Agent 需要把确认后的变更写回，再构建验证。

这里的 headless 指不依赖 Studio GUI，且在支持的平台上可以隐藏原生窗口。视觉验证仍使用真实 GPU 后端，模拟渲染不构成原生画面证明。仪器覆盖范围取决于后端，控制端口属于显式启用仪器的开发构建。见 app remote control与 AppCard 当前仪器流程。

这就形成了 A2App 闭环：源码可检查、组件可定位、动作可测试、视觉修改可追溯。设计到应用的两条流程将它应用到生成图片和 Sketch 文档。

运行应用并与它的 Agent 对话

上述仪器用于开发。运行应用，再追踪它的 Agent说明产品运行时：独立 card-host 与完整 Shell、原生 Rust 与容器应用、用户／系统对话、数据访问，以及宿主授权的工具。