Module runtime 

Runtime wire types shared between the runner and providers.

Definition home adjudicated to pointlock-ir (type truth source, R12) so that pointlock-store (which depends only on ir) can persist them without violating the spine §1.2 dependency direction; pending spine batch incorporation.

Shapes follow spine §4.2 (Provider SPI signatures) and Appendix A.8 (DeviceRail passthrough vocabulary). DeviceRail-shaped types here are the Pointlock-side projections the provider adapter maps wire payloads onto; exact field-level alignment with the DeviceRail protocol schemas is re-verified when devicerail-client lands (M1).

Structs

ActionResult

Result of a succeeded action (spine §4.2). Every action returns state deltas: before/after observations plus evidence references.

AssetRef

Content-addressed evidence reference (DeviceRail AssetRef, spine A.8). Never inline bytes; sha256 is the bare hex digest when present.

ErrorInfo

Structured, stable-coded error (DeviceRail ErrorInfo, spine A.8). retryable is advisory metadata for the runner — providers never retry.

EvidenceGap

A typed failed-localization record (2026-07-18 incorporation, item ③): the declared asset plus why its bytes could not be localized. Gaps are data, never silent omissions (principle 4/R4).

EvidenceRef

A localized evidence entry: the provider AssetRef plus the local content-addressed copy (spine §6.6 — evidence is localized during observing because provider-side retention is not guaranteed).

Observation

A judgement-free point-in-time world snapshot (spine §2 concept 9, DeviceRail Observation shape). Omissions are typed data, not errors.

StepVerdict

The durable per-step verdict projection stored in StepRecord (spine §6.6 — the folded summary/evidence live in the RunLog’s verdictRecorded payload; the record keeps the alignment-relevant core).

UiContextRef

Full identity of one UI context (DeviceRail UiContextRef, spine A.8). documentEpoch changes on navigation/reconnect and invalidates prior node references.

UiNodeRef

Reference to one node of a captured UI snapshot (DeviceRail UiNodeRef).

UiSnapshotRef

Reference to the UI-tree evidence of an observation. Minimal shape (the evidence asset); exact DeviceRail UiSnapshotRef field alignment is re-verified in M1 — pending incorporation.

Verdict

A folded step verdict (spine §2 concept 12). Append-only history: re-judgement produces a new verdict with supersedes set.

Viewport

Viewport of an observation (DeviceRail Viewport).

Enums

ActionExecution

The execution mode the provider actually used (spine §4.2) — the key input for unauthorized-degradation auditing (§6.4 R-degrade).

ActionOutcome

Four-way terminal outcome of an action (spine §4.2; never folded, never translated — cancelled and timedOut are recorded terminals).

ReconcileResult

Fate of a hanging action intent after a crash (spine §4.2/§6.7-B).