Expand description
Verified Rust objects for composing automation structures.
The checked root API is intended for ordinary consumers. The catalog modules retain the proof-oriented carriers used by the formal correspondence suite.
§Example
use automation_structures::Budget;
let mut budget = Budget::new(8);
assert!(budget.try_reserve(3));
budget.commit_reservation(3)?;
assert_eq!(budget.available(), 5);Structs§
- Accumulator
- An ordered partial result paired with its pending suffix.
- Actuation
Pass - A governed resource actuation pass.
- Allocation
Snapshot - A reusable accepted-node snapshot coupled to one capacity budget.
- Audit
Record - A public immutable audit record.
- Audit
Sink - A bounded append-only audit chain.
- Backtracking
Traversal - A checked paired do-undo backtracking traversal.
- Bisection
- A bounded monotone-boundary bisection machine.
- Budget
- A checked budget whose three claims cannot exceed its fixed capacity.
- Buffer
- A bounded FIFO connective.
- Competitive
Selection Hard - Lowest-index argmax selection for one set of candidate scores.
- Competitive
Selection Hard Exclusive - Lowest-index argmax selection across seats with exclusive candidates.
- Competitive
Selection Ranked - Stable top-k selection by descending score and ascending candidate index.
- Competitive
Selection Soft - Reserved-floor sequential Webster apportionment over mutable scores.
- Convergence
Governor - A moving-window convergence state machine with peak-aware phases.
- Counter
- A retained nonnegative occurrence or generation count.
- Cursor
- A checked retained position for consumer progress.
- Equivalence
Class - A bounded union-by-rank equivalence-class partition.
- Federated
Budget - A master capacity pool divided into reusable sub-pools.
- Fork
Join - A barriered fork-join execution with a stable output snapshot.
- Marker
- A reusable retained boolean marker.
- Propagation
Pass - A snapshot-local bounded propagation pass.
- Quality
Hierarchy - A checked refinement forest over levels, costs, parents, and child edges.
- Rate
Limit - A logical-clock, fixed-window rate limit.
- Reduction
- An incremental additive ordered-prefix reduction.
- Relationship
Graph - A weighted directed graph with a consistent adjacency projection.
- Resource
Registry - A unique-key resource registry.
- Sampler
- A bounded without-replacement sampler over caller-supplied proposals.
- Sequential
- A totally ordered, finite-step execution modality.
- Signal
- A change-detecting signal with per-listener notification provenance.
- Step
Graph - A predecessor-governed directed step graph.
- Stream
Graph - A bounded three- or four-stage FIFO stream graph.
- Traversal
Engine - A budgeted star-graph traversal with accepted-subset tracking.
Enums§
- Actuation
Error - A disabled actuation transition.
- Allocation
Snapshot Error - A disabled allocation-snapshot transition.
- Backtracking
Build Error - Invalid BacktrackingTraversal construction input.
- Backtracking
Error - A disabled BacktrackingTraversal transition.
- Bisection
Build Error - Invalid bisection configuration.
- Bisection
Error - A disabled bisection transition.
- Budget
Error - A disabled budget transition.
- Competitive
Selection Error - Invalid competitive-selection configuration or input.
- Convergence
Build Error - Invalid convergence-governor construction input.
- Convergence
Error - A disabled convergence-governor transition.
- Convergence
Phase - Gradient-trajectory phase. Enum =>
gradient_phase ∈ GradientPhasesby construction. - Convergence
State - Governor state. Enum =>
state ∈ GovernorStatesholds by construction. - Cursor
Error - A rejected monotone Cursor movement.
- Equivalence
Class Error - An invalid equivalence-class element index.
- Fork
Join Build Error - Invalid fork-join configuration.
- Fork
Join Phase - The global fork-join phase.
- Propagation
Build Error - Invalid construction input for a propagation pass.
- Propagation
Error - A disabled propagation transition.
- Propagation
Round - Quality
Hierarchy Error - A disabled quality-hierarchy transition.
- Rate
Limit Build Error - Invalid rate-limit configuration.
- Rate
Limit Error - A disabled rate-limit transition.
- Reduction
Build Error - Invalid reduction input.
- Reduction
Error - A disabled incremental reduction transition.
- Relationship
Graph Error - A disabled relationship-graph transition.
- Sampler
Error - A disabled sampler transition.
- Sequential
Build Error - Invalid sequential-execution configuration.
- Signal
Build Error - Invalid signal configuration.
- Signal
Error - A disabled signal transition.
- Step
Graph Build Error - Invalid step-graph configuration.
- Step
State - One step’s lifecycle state.
- Stream
Graph Build Error - Invalid stream-graph configuration.
- Traversal
Build Error - Invalid traversal-engine configuration.
- Traversal
Error - A disabled traversal-engine transition.
- Worker
State - One worker’s fork-join lifecycle state.
Functions§
- projection_
consistent - Test agreement between a projected membership answer and its source.
- strictly_
before - Test the canonical strict ordering relation between two positions.