Re-exports§
pub use crate::admin::SessionProcessAdmin;
Structs§
- Abandon
Evidence - Evidence attached to an
ProcessTerminalState::Abandonedterminal: which path wrote it, the dead-or-lapsed owner identity it was established against (absent for an externally-owned row lash never executed), and when. - Abandon
Request - Durable, non-terminal marker recording that a non-owner authorized
abandonment without proof the owner is gone. The sweep reconciles it into
ProcessTerminalState::Abandonedonly once the row’s lease has lapsed; the marker never terminates anything by itself and is visible to observers while pending. See ADR 0019. - Observed
Process - Observed
Process Event - Observed
Work Item - Process
Awaiter - Core waiter for process terminal state and events (ADR 0016).
- Process
Cancel AllRequest - Process
Cancel Request - Process
Cancel Summary - Process
Change Hub - Process
Event - Process
Event Append Request - Process
Event Append Result - Process
Event Type - Process
Execution Context - Execution-local context for process runners. Durable edges live on the process record.
- Process
Execution EnvRef - Process
Execution EnvSpec - Process
External Ref - Durable backend reference for background work accepted outside the local process.
- Process
Handle Descriptor - Process
Handle Grant - Process
Handle Summary - Process
Identity - Canonical process identity stored alongside every durable process row.
- Process
Lease - Durable lease over a non-terminal background process.
- Process
Lease Completion - Process
List Filter - Process
OpScope - Process
Provenance - Process
Prune Report - Outcome of
ProcessRegistry::prune_terminal_processes: how many terminal process rows and event rows were physically deleted. - Process
Record - Durable process row. Session-visible addressability lives in
ProcessHandleGrant, not in the process record. - Process
Registration - Serializable process spec used to start or recover a runtime process.
- Process
Runtime Host - Host shape for runtimes that support background plugin work.
- Process
Session Delete Report - Process
Start Options - Process
Start Request - Public host-facing request for starting a visible process handle.
- Process
Started - Durable “execution started” fact: which owner began executing the row and when. The runner writes it under its live lease immediately before executing so the sweep can distinguish an OwnerBound row that has started (never re-run) from one that has not (runnable by anyone). First-writer-wins.
- Process
Wake - Process
Wake Delivery - Process
Wake Spec - Process
Work Driver - Registry and run handle for process work owned outside
LashCore. - Process
Work Observer - Process
Work Snapshot - Processes
- Session
Scope - Session
Scope Id - Tool
Session Process Admin
Enums§
- Abandon
Writer - Who wrote an
ProcessTerminalState::Abandonedterminal — the exactly-one legitimate writer per path (ADR 0019). - Process
Await Output - Process
Cancel Source - Process
Input - Durable executable input for a process.
- Process
Lease Claim Outcome - Outcome of claiming (or reclaiming) a
ProcessLease. - Process
Lifecycle Status - Process
List Mode - Process
Status - Process
Status Filter - Process
Terminal State - Process
Wake Dedupe Key - Recovery
Disposition - Producer-declared contract stating what recovery may do with a process row after owner loss. Required at registration and applied mechanically by the sweep; never inferred at runtime. See ADR 0019.
Traits§
- Process
Attach - Process
Cancel Ability - Process
Event Sink - Host-facing, best-effort push of each appended process event.
- Process
Registry - Durability-neutral process registry.
- Process
RunHandle - One lease-protected drive of the registry’s pending (non-terminal) processes.
- Process
Service
Functions§
- watch_
process_ registry - Wrap
innerin a [WatchedProcessRegistry] with no event sink. - watch_
process_ registry_ with_ sink - Wrap
innerin a [WatchedProcessRegistry], optionally installing aProcessEventSinkthat receives every appended event.