Expand description
Pure LicoUp workflow compiler and transition machine.
The generic compilation and transition machinery is owned by acativa;
this crate owns the LicoUp-bound vocabulary layered over it: the
licoup.adaptive-flywheel.workflow.v1 schema identity this build compiles
under, the persisted run snapshot and reducer event spellings
(conversationId, assistant memberships, assistant failure events, the
three-way callback decision), and the strategy error vocabulary the host
surfaces.
Workflow definitions are parsed and analyzed once into immutable indexes. Runtime state changes are pure: callers persist the returned snapshot and commands, then execute effects through their owning adapters.
Re-exports§
pub use analysis::AnalyzedWorkflow;pub use analysis::WorkflowValidation;pub use analysis::WorkflowValidationFailure;pub use analysis::analyze;pub use analysis::compile_workflow_source;pub use analysis::compile_workflow_value;pub use analysis::validate_workflow_value;pub use diagnostic::PreflightDiagnostic;pub use diagnostic::WorkflowDiagnosticActualKind;pub use diagnostic::WorkflowDiagnosticCode;pub use diagnostic::WorkflowDiagnosticExpected;pub use diagnostic::WorkflowDiagnosticRecovery;pub use diagnostic::WorkflowDiagnosticStage;pub use machine::ReducerEvent;pub use machine::ReducerOutput;pub use machine::RunSnapshot;pub use machine::reduce;pub use strategy::ASSISTANT_TEMPORARY_DEFINITION_PREFIX;pub use strategy::StrategyError;pub use strategy::StrategyErrorCode;pub use syntax::ParsedWorkflow;pub use syntax::parse;pub use ir::*;
Modules§
- analysis
- Privacy-safe, deterministic workflow validation.
- compile
- Plan identity: what a lowered plan is bound to.
- diagnostic
- dispatch
- Pure durable-dispatch decisions for the strategy engine.
- ir
- The workflow definition and run vocabulary.
- machine
- The persisted run snapshot and reducer event vocabulary, reduced by the generic engine’s machine.
- strategy
- Strategy definition, binding, projection and error vocabulary.
- syntax
- Workflow source parsing.
Structs§
- Binding
Candidate - Binding
Value - Claim
Lease - One exact effect claim.
- Compiled
Workflow - Dispatch
Gate - The durable facts a dispatch gate reads. All of them are persisted before the decision is taken.
- Dispatch
Intent - The durable record committed before an effect leaves the host.
- Effect
Completion - A completion reported by an owner of one exact effect attempt.
- RunCommand
- Schema
Id - A schema identity the host binds to the engine.
- Strategy
Authorization - Strategy
Definition - Strategy
Definition Summary - Strategy
Diagnostic - Strategy
Projection - Successor
Edge - One successor edge whose target may be released by a settled effect.
- Successor
Gate - The durable facts fencing one successor release.
Enums§
- Claim
Verdict - The outcome of trying to take one effect claim.
- Command
Kind - Command
Status - Completion
Verdict - The verdict on one reported completion.
- Dispatch
Decision - The verdict of the dispatch gate.
- Dispatch
Recipient - Who performs one dispatched effect. The recipient is frozen into the dispatch intent so routing cannot drift between admission and execution.
- Dispatch
Refusal - Why a dispatch was refused before any effect was attempted.
- Effect
Progress - How far the effect behind a claim actually got. This is persisted by the adapter at its own safe boundary; it is the only progress authority.
- Recovery
Verdict - What a recovering host may conclude about one persisted claim.
- Successor
Admission - The verdict on releasing the successors of one settled effect.
- Successor
Refusal - Why a successor release was refused.
Constants§
- MAX_
ACTIVE_ EFFECTS - MAX_
BINDING_ SLOTS - MAX_
GRAPH_ STATES - MAX_
GRAPH_ TRANSITIONS - MAX_
RETRY_ ATTEMPTS - MAX_
RUNTIME_ REQUIREMENTS - MAX_
WORKSET_ ITEMS - WORKFLOW_
SCHEMA_ VERSION - The workflow schema identity this build compiles and validates under. It is bound once here so the store, the runtime and every caller share the same vocabulary; the engine underneath stays schema-free.
Functions§
- claim_
effect - Take the claim for one dispatch intent, or report why it cannot be taken.
- compile_
workflow - Compile a canonical in-memory definition through the same analysis path as source and value entry points.
- recover_
claim - Recover one persisted claim from its lease clock and effect progress.
- settle_
effect - Decide one reported completion against the exact claim that owns it.