Expand description
§Converge Model
This crate is the curated semantic model surface for Converge. It intentionally excludes the execution engine and runtime adapters.
Structs§
- Actor
- Actor who performed an action.
- Approval
Id - Unique identifier for a human approval.
- Artifact
Id - Unique identifier for a derived artifact.
- Capture
Context - Context of how the observation was captured.
- Criterion
- Success criterion for a frame.
- Fact
Content - Content of a promoted fact.
- FactId
- Unique identifier for a Fact.
- Frame
- Frame - defines scope and constraints for a phase of reasoning.
- Frame
Constraint - A constraint on a frame.
- FrameId
- Unique identifier for a Frame.
- GateId
- Unique identifier for a promotion gate.
- Hypothesis
- Hypothesis - exploration phase artifact.
- Local
Trace - Local trace link - replay eligible.
- Observation
- Raw provider output - the evidence ledger.
- Observation
Id - Unique identifier for an Observation (raw provider output).
- Observation
Provenance - Provenance from the source observation.
- Promotion
Record - Record of how a Fact was promoted.
- Proposal
- A proposal in a specific lifecycle state.
- Proposal
Id - Unique identifier for a Proposal (in any lifecycle state).
- Proposed
Fact - An unvalidated suggestion from a non-authoritative source.
- Tension
- Tension - explicit conflict between two proposals.
- Tension
Id - Unique identifier for a Tension.
- Tension
Resolution - How a tension was resolved.
- Tension
Side - Reference to a proposal in a tension (by ID, not owned).
- Timestamp
- ISO-8601 timestamp string.
- Truth
Definition - Portable truth definition.
- Types
Budgets - Execution budgets.
- Types
Context Key - Key for context entries (simplified from existing ContextKey).
- Types
Context Snapshot - Immutable context snapshot.
- Types
Fact - A promoted, governed truth. Immutable after creation.
- Types
Intent Constraint - Constraint on intent execution.
- Types
Intent Id - Unique identifier for an Intent.
- Types
Proposed Content - Content of a proposal.
- Types
Root Intent - Root Intent using builder pattern.
- Validated
- Marker type: proposal validated and ready for promotion.
- Validation
Error - Error when a
ProposedFactfails validation. - Validation
Summary - Summary of validation checks that passed during promotion.
Enums§
- Actor
Kind - Kind of actor.
- Chosen
Side - Which side was chosen in tension resolution.
- Conflict
Type - Type of conflict between proposals.
- Constraint
Kind - Kind of frame constraint.
- Context
Key - Typed keys for the shared context namespace.
- Evidence
Ref - Typed reference to supporting evidence.
- Fact
Content Kind - Kind of fact content.
- Observation
Error - Errors during observation capture.
- Observation
Kind - Kind of observation source.
- Promotion
Error - Errors during fact promotion.
- Risk
Posture - Risk posture for the intent.
- Stop
Reason - Why execution stopped. Exhaustive enumeration for audit trails.
- Truth
Kind - What class of truth is being described.
- Type
Error - Core type system errors.
- Types
Constraint Severity - Severity of a constraint.
- Types
Intent Kind - Kind of intent (what problem class).
- Types
Objective - Objective of the intent.
- Types
Trace Link - Trace link for audit and replay.
- Types
Validation Error - Errors during validation.
Traits§
- Truth
Catalog - Application-provided truth catalog boundary.