Module app 

Structs

ActionUiRoute

One visible expression of a domain action in the retained UI. The action address remains the execution identity; this route is presentation metadata for focus, presence, animation, and “show me where” behavior.

App

ControlBindingCoverage

DevRoot

A view built by the new code, with the decoders of the actions it publishes. They travel together: the view encodes its actions with the new code, so only the new code’s decoders can read them back.

DocumentHistorySnapshot

EmbeddedApp

An app a host shows in a region of its own scene.

PaintedActionMarker

One marker exported only by the action-presence painter, in surface-local logical coordinates. It grants no authority to its actor.

StructuralContinuationFacets

Facets present in a validated structural continuation envelope.

SurfaceDamage

Where an app’s frames on a surface changed since its host last looked (Self::take), decided as a window of its own decides what to submit: the widgets’ damage and the tooltip’s bounds, unless something no damage describes changed, which repaints the surface.

Enums

ControlBindingStatus

Runtime audit result for one interactive control.

UserEvent

Synthetic input for EventLoopProxy: each variant becomes the real WindowEvent(s) and routes through the same handler, so injected and real-hardware events take the identical code path.

Constants

DEV_SESSION_ENV

Directory set by tilo-app dev. The checkpoint file inside it is checkpoint.bin.

GENERIC_VIEW_CONTINUATION_SCHEMA

Toolkit-owned continuation schema used when an app has no narrower domain-specific projection. The CRDT document travels on its stable record route; this payload restores the complementary local presentation state.

STRUCTURAL_CONTINUATION_SCHEMA

Framework-owned continuation envelope. Every new checkpoint uses this schema, so app semantics augment rather than replace presentation state.

WINDOW_LOST

How an app’s error begins when its window stopped without being closed. The shell recognises it in a failed launch’s output.

WINDOW_LOST_EXIT_CODE

Exit status of an app whose window stopped without being closed: the launcher reports it as a failed launch rather than a clean exit.

Traits

AppSurface

What an App needs from the surface it is shown on.

Functions

compose_structural_continuation_metadata

Compose the toolkit-owned checkpoint used by App. Public shell/runtime hosts may use this to produce the identical envelope in conformance tests.

dev_stamp_addr

Address of this copy of ui. A library linked to the same copy returns the same address; a second copy returns a different one and is not adopted.

dispatch_gated_event

Mutating events should route through this so denied interactions short-circuit before the widget ever observes them.

local_surface_id

Public because it is half of a protocol: what a pointer published in this surface’s content coordinates is scoped to (crate::presence::PointerSpace::Surface) — both ends must spell the surface the same way by calling this same function.

publish_dev_root

Store a widget root and its action decoders, built by the library that shares this ui.

sanitize_structural_continuation_metadata

Validate and canonicalize a framework envelope at the shell boundary. An unrecognized app projection is removed rather than retained as opaque bytes; its generic presentation checkpoint remains usable on every device.

semantic_continuation_projection

Only typed semantics travel as live owner views. Generic viewport/focus and local record names are deliberately absent from this read-only projection.

structural_continuation_facets

Inspect the framework facets without exposing their private wire shape.

structural_continuation_record

The record a structural checkpoint says its window shows.

take_dev_root

Take the root publish_dev_root stored on this thread.

validate_generic_continuation_metadata

Validate the toolkit-owned generic wire shape at the shell boundary. App-provided opaque bytes must not be accepted merely because they use the generic schema number.

with_continuation_record

metadata (a structural checkpoint) naming the record its window shows. Unchanged when record may not travel.