运行时更新工具
运行时更新的公共契约位于 std.runtime.Runtime、std.runtime 和 std.system。应用从 currentSystem().runtime() 取得当前执行的运行时对象;发布结果包含声明级变更集合,runtime.onUpdate 通过回调推送请求、发布、拒绝、失败、待迁移和迁移完成状态。运行时实现位于 ExecutionUpdates、LiveApplicationSession 和 RuntimeUpdateIntrinsicDispatcher。
声明差异由 RuntimeChangeAnalyzer 基于编译产物的 authoring identity、语义形状、注解摘要和内容摘要生成。ExecutionUpdateResult.changes 是 Java API 的结构化结果,标准库的 RuntimeChange 是同一结果的 Norm 投影;事件中的 changes 是可直接展示的稳定摘要。
预览入口位于 ExecutionUpdatePreview、ExecutionUpdates.preview 和标准库的 Runtime.previewUpdate、UpdateBatch.preview。预览与发布共用 LiveApplicationSession 的编译队列和差异分析;预览不会调用执行后端、更新已发布基线或发送发布事件。批次预览会保留候选修订,提交时再次校验输入快照,源文件变化后提交返回拒绝并要求重新预览。
验证入口:
RuntimeChangeAnalyzerTest验证类型、构造器和函数的旧新形状;ApplicationSessionTest验证真实应用更新、结构化变更和事件顺序;RuntimeUpdatesTest验证标准库契约在无运行时更新协调器时返回统一不可用诊断。