Expand description
Stable runtime-kernel primitives for Runifold.
This crate deliberately contains no model provider, network transport, agent loop, or external protocol implementation.
Structs§
- Authority
Amplification - A child Run cannot receive authority absent from its parent.
- Budget
- Hard limits applied to a run tree.
- Budget
Exceeded - An atomic budget rejection.
- Budget
Reservation - A scoped share of a run tree’s hard budget.
- Budget
Reservation Mismatch - A reservation from another run tree cannot fund a child run.
- Budget
Tracker - Thread-safe accounting shared by a run and its descendants.
- Cancellation
Token - A hierarchical cancellation token.
- Capability
Descriptor - A versioned description of a grantable capability.
- Capability
Id - A globally unique capability identifier.
- Capability
Set - An explicit set of capabilities granted to a run.
- Checkpoint
- Versioned, domain-neutral persisted execution state.
- Checkpoint
Error - Structured checkpoint failure.
- Checkpoint
Id - A globally unique checkpoint identifier.
- Domain
Event - A forward-compatible namespaced event.
- Effect
Id - A globally unique effect identifier.
- Effect
Request - A runtime request to perform external work.
- Event
Factory - Creates events with monotonic per-run sequence numbers.
- EventId
- A globally unique event identifier.
- Event
Meta - Metadata shared by every runtime event.
- InMemory
Checkpoint Store - Cloneable in-memory checkpoint store for tests and ephemeral processes.
- InMemory
Journal - A cloneable in-memory journal for tests and ephemeral runs.
- Instant
- Monotonic runtime clock on native targets.
A measurement of a monotonically nondecreasing clock.
Opaque and useful only with
Duration. - Invocation
Id - A globally unique invocation identifier.
- Journal
Error - A journal storage failure.
- RunContext
- The authority, lifetime, and accounting scope of one run.
- RunError
- A structured run error suitable for policy decisions.
- RunEvent
- An immutable runtime fact.
- RunId
- A globally unique run identifier.
- RunRecorder
- Cloneable event emitter bound to one run and a shared journal.
- Usage
- Resources consumed by a run tree.
Enums§
- Budget
Event - Budget-accounting facts.
- Budget
Resource - A resource dimension that can exceed its budget.
- Capability
Kind - A capability category.
- Checkpoint
Error Kind - Normalized checkpoint storage failure category.
- Child
Event - Parent-child run relationship facts.
- Child
RunError - Failure to create a capability-attenuated child Run.
- Effect
Class - The external-effect behavior of a capability.
- Effect
Event - External-effect facts.
- Effect
Kind - The operation requested by an external effect.
- Lifecycle
Event - Run lifecycle facts.
- Retry
Safety - Whether retrying an operation is safe.
- Risk
Level - A coarse capability risk classification.
- RunError
Kind - A normalized run failure category.
- RunEvent
Kind - Runtime event categories.
Traits§
- Checkpoint
Store - Atomic persistence boundary for checkpoints.
- Journal
- Receives immutable runtime events.
Type Aliases§
- Metadata
- Namespaced runtime metadata.