Runtime Update Tool
The public runtime update contract is defined by std.runtime.Runtime, std.runtime, and std.system. Applications obtain the current execution runtime through currentSystem().runtime(). Publication results contain declaration-level changes, and runtime.onUpdate delivers requested, published, rejected, failed, adoption-pending, and adopted transitions through a callback. The runtime implementation is covered by ExecutionUpdates, LiveApplicationSession, and RuntimeUpdateIntrinsicDispatcher.
Declaration differences are produced by RuntimeChangeAnalyzer from authoring identity, semantic shape, annotation summaries, and content summaries in the compiled artifacts. ExecutionUpdateResult.changes is the structured Java API result; the standard-library RuntimeChange is the same result projected into Norm, and event changes are stable summaries suitable for display.
Preview entry points are ExecutionUpdatePreview, ExecutionUpdates.preview, and the standard-library Runtime.previewUpdate and UpdateBatch.preview. Preview and publication share the LiveApplicationSession compilation queue and change analysis. A preview does not invoke the execution backend, update the published baseline, or emit a publication event. A batch preview retains its candidate revision; commit revalidates the input snapshot and rejects stale source changes so callers must preview again.
Validation entry points:
RuntimeChangeAnalyzerTestverifies before and after shapes for types, constructors, and functions;ApplicationSessionTestverifies real application updates, structured changes, and event order;RuntimeUpdatesTestverifies the standard-library contract returns a uniform unavailable diagnostic without an update coordinator.