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.
Structs§
- Agent
Effect - The output of a suggestor’s
execute()call. - Budget
- Budget limits for execution.
- Context
- The shared context for a Converge job.
- Converge
Result - Result of a converged execution.
- Criterion
- Success criterion for a frame.
- Criterion
Outcome - Evaluated outcome for a specific criterion.
- Engine
- The Converge execution engine.
- Engine
Hitl Policy - Engine-level HITL policy for gating proposals.
- Event
Query - Query for experience events.
- Experience
Event Envelope - Append-only event envelope.
- Fact
- A validated, authoritative assertion in the context.
- Hitl
Pause - State returned when convergence pauses at a HITL gate.
- Proposed
Fact - An unvalidated suggestion from a non-authoritative source.
- Suggestor
Id - Unique identifier for a registered suggestor.
- 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§
- 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.
- 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.
- Types
Intent Kind - Kind of intent (what problem class).
Traits§
- Context
View - 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).
- Invariant
- A runtime invariant that the engine enforces.
- Streaming
Callback - Callback trait for streaming fact emissions during convergence.
- Suggestor
- The core suggestor contract.