Expand description
§Converge Kernel
This crate is the curated in-process execution API for Converge.
Consumers embed the kernel here; they author packs in converge-pack
and use converge-model for shared semantic types.
Modules§
- formation
- Grouped offering API for self-assembling formations.
Structs§
- Agent
Effect - The output of a suggestor’s
execute()call. - Approval
Point Id - Identifier for an approval point or workflow reference.
- Backend
Id - Identifier for a backend, provider, or adapter.
- Budget
- Budget limits for execution.
- ChainId
- Identifier for a convergence chain or run.
- Constraint
Name - Consumer-owned name for a constraint.
- Constraint
Value - Consumer-owned value for a constraint.
- Context
State - The shared context for a Converge job.
- Converge
Result - Result of a converged execution.
- Correlation
Id - Identifier for correlating related events or runs.
- Criterion
- Success criterion for a frame.
- Criterion
Id - Identifier for a success criterion.
- Criterion
Outcome - Evaluated outcome for a specific criterion.
- Engine
- The Converge execution engine.
- Engine
Hitl Policy - Engine-level HITL policy for gating proposals.
- EventId
- Identifier for an experience event envelope.
- Event
Query - Query for experience events.
- Experience
Event Envelope - Append-only event envelope.
- Fact
- A validated, authoritative assertion in the context.
- Flow
Gate Context - Decision-relevant facts projected from the flow state.
- Flow
Gate Input - Canonical input to an authorization decision for a flow gate.
- Flow
Gate Principal - Principal facts projected from the flow host or application runtime.
- Flow
Gate Resource - Resource facts projected from the current flow state.
- Gate
Decision - Human’s decision on a HITL gate request.
- Hitl
Pause - State returned when convergence pauses at a HITL gate.
- Integrity
Proof - Cryptographic integrity proof for a converged context.
- Lamport
Clock - A Lamport logical clock for causal ordering of events.
- Merkle
Root - A Merkle tree root hash representing the integrity of a set of facts.
- PackId
- Identifier for a named pack.
- Proposed
Fact - An unvalidated suggestion from a non-authoritative source.
- Suggestor
Id - Unique identifier for a registered suggestor.
- Tenant
Id - Identifier for a tenant scope.
- Timeout
Policy - What happens when the human doesn’t respond in time.
- Trace
Link Id - Identifier for a stored replay trace link.
- TruthId
- Identifier for a truth definition.
- Types
Budgets - Execution budgets.
- Types
Intent Id - Unique identifier for an Intent.
- Types
Root Intent - Root Intent using builder pattern.
- Types
RunHooks - Per-run hooks for typed intent execution.
- Validation
Error - Error when a
ProposedFactfails validation.
Enums§
- Authority
Level - Authority level granted to a flow-gate principal.
- Budget
Resource - Budget dimension that was exhausted.
- Context
Key - Typed keys for the shared context namespace.
- Converge
Error - Top-level error type for Converge operations.
- Criterion
Result - Machine-evaluable outcome for a single criterion.
- Decision
Step - A step in the multi-phase reasoning process.
- Experience
Event - Append-only experience event payloads.
- Experience
Event Kind - High-level event kinds for query filtering.
- Flow
Action - Action being attempted against a converging flow.
- Flow
Gate Outcome - Neutral outcome of a flow gate authorization decision.
- Flow
Phase - Current phase of a converging flow.
- Invariant
Class - The class of an invariant determines when it’s checked and how violations are handled.
- Invariant
Result - The result of checking an invariant.
- RunResult
- Result of running the engine — either converged or paused at HITL gate.
- Stop
Reason - Why execution stopped. Exhaustive enumeration for audit trails.
- Timeout
Action - Action taken when HITL gate times out.
- Types
Intent Kind - Kind of intent (what problem class).
Traits§
- Context
- Read-only view of the shared context.
- Criterion
Evaluator - Application-provided boundary for evaluating success criteria.
- Experience
Event Observer - Run-scoped observer for experience events emitted during convergence.
- Experience
Store - Experience store trait (append-only ledger boundary).
- Flow
Gate Authorizer - Deterministic decision provider for consequential flow actions.
- Invariant
- A runtime invariant that the engine enforces.
- Streaming
Callback - Callback trait for streaming fact emissions during convergence.
- Suggestor
- The core suggestor contract.