Modules
Lower-runtime substrate for shared execution contracts and runtime helpers.
Activity-facing side-effect idempotency contract for Phase 4 durable workflows.
Admission decision.
Admission rejection.
Runtime-client admission request.
Lease-bound attach grant contract.
Opaque authority reference. The root carries it and never interprets policy semantics.
Authority verifier behaviour registered by node hosts.
Cancellation metadata linked to authority, workflow, and lower run refs.
Canonical JSON codec helpers for root boundary contracts.
Generic transport-level command invocation.
Root Execution Plane boundary contract version.
Canonical helpers for the Execution Plane contract packet.
Owner-repo adapter selection rule for Phase 6 lower simulation.
Phase 4 lease-bound attach grant for hazmat stream/session access.
Packet-local Brain contract baseline carried across the lower stack.
Durable Spine-owned boundary/session descriptor.
Reference to short-lived execution-time secret or workload identity material.
Append-only raw execution fact emitted by the Execution Plane.
Bounded report boundary for ExecutionOutcome.v1.
Spine-to-Execution neutral intent envelope.
Terminal or checkpointed raw execution outcome emitted by the Execution Plane.
Spine-owned durable route choice carried to and from the Execution Plane.
Structured failure payload used by ExecutionOutcome.v1.
Typed failure-class enum for the shared contract packet.
HTTP-family execution intent.
JSON-RPC-family execution intent.
Neutral bounded lower-lane fact.
Bounded evidence that a lower-runtime simulation scenario produced an
ExecutionOutcome.v1 without external side effects.
Phase 6 lower-runtime scenario contract owned by Execution Plane.
Source-boundary proof that hazmat Execution Plane APIs are not imported by public code.
Fail-closed no-egress policy for lower-runtime simulation boundaries.
Ref-only persistence posture for lower target and attach surfaces.
Process-family execution intent.
Revocation evidence proving an attached stream stopped after grant or lease revocation.
Deterministic stream pressure and termination evidence.
Phase 5 target posture and attach authorization contract.
Worker admission and pressure-shedding evidence for tenant-scoped budgets.
Structured result emitted by the diagnostic execution lane.
Serializable execution evidence envelope.
Evidence sink behaviour registered by node hosts.
Execution activity metadata consumed by Mezzanine activities.
Serializable execution event envelope.
Opaque execution reference.
Lane/Target execution request produced after admission.
Serializable execution result.
Heartbeat metadata linked to workflow activity and lease evidence.
Helper surface for JSON-RPC framing and direct owner composition.
Minimal execution kernel for contract validation, dispatch, timeout coordination, and raw-fact emission.
Minimal Wave 1 dispatch plan produced from a validated route and lower intent.
Result bundle returned by the minimal execution-plane kernel.
Transport lane adapter behaviour.
Lane adapter capability descriptor.
Bounded, non-coding diagnostic lane adapter.
Incremental newline framing for stdout and stderr stream handling.
Route-configured lower-runtime simulation support.
Lane-neutral placement surface contract.
Narrow placement-surface capabilities carried independently from command or provider semantics.
Guest-backed placement semantics for the execution-plane substrate.
Same-node placement semantics for the execution-plane substrate.
SSH-backed placement semantics for the execution-plane substrate.
Narrow execution-surface contract for process placement and runtime routing.
Helper surface for one-shot subprocess execution.
OTP application entry point for the standalone process runtime package.
Behaviour for the raw subprocess transport layer.
Stable mailbox-delivery metadata for transport subscribers.
Structured transport error with a normalized reason and debugging context.
Internal state schema for the guest bridge transport coordinator.
Snapshot of a long-lived transport's execution-surface metadata and IO contract.
Execution Plane-owned process transport simulation surface.
Normalized startup options for the raw transport layer.
Validated options for synchronous non-PTY command execution.
Captured output and normalized exit data for one-shot non-PTY execution.
Internal state schema for the subprocess transport coordinator.
Legacy compatibility shell for the public execution-surface contract.
Internal behaviour for execution-surface adapters owned by the core.
Typed transport-family and per-session execution-surface capabilities.
Internal registry of built-in execution-surface adapters.
Local TRE/Rhai process lane for invoking rex-runner.
Normalized process exit information shared by the runtime and provider profiles.
Minimal JSON-RPC framing support. Process-backed JSON-RPC is composed by a direct lower-lane owner that depends on both JSON-RPC and process lanes.
Execution Plane-owned JSON-RPC framing adapter for persistent lanes.
Execution provenance for governed node admission and direct lower-lane owners.
Execution Plane-owned lower lane facade for distributed StackLab profiles.
Consumer-to-node runtime client behaviour.
Serializable runtime constraint.
Runtime client descriptor returned by describe/1.
Public-safe reference to raw runtime evidence.
Minimal process runtime for one-shot local execution in the execution-plane substrate.
Normalized process exit information for the lower runtime substrate.
Captured output and normalized exit data for one-shot process execution.
Closed set of acceptable Target attestation classes for one admission request.
Opaque signed governance bundle authored upstream.
Stream lease and revocation metadata contract.
Raw Target attestation evidence presented before routing-table admission.
Node-to-Target execution client behaviour.
Verifier-validated Target routing descriptor.
Target attestation verifier behaviour.
Small task helpers shared by the runtime and transport layers.
Wave 1 fixtures for the frozen contract packet.