Modules
Lower-runtime substrate for shared execution contracts and runtime helpers.
Opaque admitted execution/session identity returned by Runtime Client start.
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.
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.
HTTP unary/incremental lifecycle with explicit demand and cancellation.
Validated unary or incremental HTTP-family request contract.
Process lifecycle without flattening interactive input and termination.
Validated process-family start contract.
WebSocket connect/send/backpressure/reconnect/revocation/close lifecycle.
Validated WebSocket connect and resume contract.
Heartbeat metadata linked to workflow activity and lease evidence.
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.
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.
Execution provenance for governed node admission and direct lower-lane owners.
Execution Plane-owned lower lane facade for distributed StackLab profiles.
Consumer-to-node admitted interactive lifecycle.
Serializable runtime constraint.
Bounded Runtime Client error envelope.
Ordered incremental event emitted after Runtime Client subscription.
Pure lifecycle validation shared by Runtime Client implementations.
Runtime client descriptor returned by describe/1.
Serializable Runtime Client lifecycle status.
Public-safe reference to raw runtime evidence.
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.
Wave 1 fixtures for the frozen contract packet.