Expand description
Stable contracts for durable workflow execution.
These types describe immutable definitions, accepted source facts and external effects. Products provide capabilities; the workflow kernel owns lifecycle, fencing and persistence semantics.
Structs§
- Action
Intent - Durable intent to perform one external effect, created inside a fenced transition.
- Action
Observation - Observed state of a dispatched action.
- Action
Receipt - Provider’s answer to a dispatch.
- Capability
Manifest - Immutable contract of a trigger, expression, guard, action or sink.
- Capability
Pin - Exact capability identity: id, contract version and content digest.
- Control
Command - Operator command that bumps a control epoch.
- Control
Epochs - Control epochs an intent was created under; any bump makes it stale.
- Decision
Artifact - Persisted Agent decision reused after recovery instead of re-asking the model.
- Decision
Snapshot - Everything a decision depended on, for replay and audit.
- Diagnostic
Record - Operator-facing diagnostic attached to an instance.
- Execution
Profile Revision - Immutable execution profile: mode, durability grade and provider bindings an instance pins.
- Execution
Projection - Rebuildable read model of an instance; never authorizes or schedules work.
- Lifecycle
Policy - Start, completion, timeout and expiry rules evaluated on database time.
- Missing
Requirements - Parameters that block a live run.
- Observed
Value - A value with provenance and freshness metadata.
- Parameter
Spec - Declared parameter and its live-mode requirements.
- Parameter
Value - A parameter with its provenance.
- Resource
Reservation - Mirror of a product-owned fenced reservation.
- Resource
Reservation Ref - Reference to a product-owned fenced reservation.
- Retry
Policy - Automatic retry policy of a capability.
- Root
Operation Budget - Budget reserved atomically before a root operation starts children.
- Schedule
Policy - Cadence, timezone and catch-up behavior of a schedule.
- Source
Gap - A missing source-sequence range that blocks ordered delivery for an aggregate.
- Step
Outcome - Recorded outcome of one step.
- Trigger
Binding - Subscription of an instance to a source event type, with a JSON-containment predicate.
- Trigger
Envelope - Immutable source event as delivered by a trigger adapter.
- Workflow
Definition - Named workflow whose revisions are immutable.
- Workflow
Event - Authoritative, append-only fact recorded by a committed transition.
- Workflow
Instance - One durable instance pinned to a revision and execution profile for its lifetime.
- Workflow
Revision - Immutable, digest-locked revision of a workflow spec with its pinned capabilities.
Enums§
- Action
State - Lifecycle of an action intent;
dispatch_committedis the point of no return. - Capability
Kind - Role a capability plays in a graph.
- Capability
Lifecycle - Deployment state of a capability provider.
- Catch
UpPolicy - How missed schedule windows are handled.
- Completion
Policy - When an instance completes on its own.
- Contract
Error - A contract value violates its invariants.
- Control
Mode - Operating mode set by a control command.
- Control
Scope - Scope of a control command.
- Durability
Grade - Durability the deployment must provide for an execution profile.
- Effect
- Side-effect class of a capability.
- Execution
Mode - Where an execution profile is allowed to act.
- Expiry
Policy - What happens when a lifecycle deadline passes.
- Guard
Kind - Role a guard plays on an action’s dominating path.
- Idempotency
Mode - Whether repeating a dispatch is safe.
- Ordering
Policy - How a binding treats source sequence order.
- Parameter
Provenance - Who supplied a parameter value.
- Reservation
Scope - Scope of a resource reservation.
- Reservation
State - Lifecycle of a reservation.
- Schedule
Cadence - How a schedule fires.
- Step
Outcome Kind - How a step ended.
Functions§
- validate_
parameters - Check supplied parameters against their specs for
mode.