Skip to main content

converge_model/
lib.rs

1// Copyright 2024-2026 Reflective Labs
2// SPDX-License-Identifier: MIT
3
4//! # Converge Model
5//!
6//! This crate is the curated semantic model surface for Converge.
7//! It intentionally excludes the execution engine and runtime adapters.
8
9pub use converge_core::{
10    Actor, ActorKind, ApprovalId, ArtifactId, CaptureContext, ChosenSide, ConflictType,
11    ConstraintKind, Criterion, EvidenceRef, FactContent, FactContentKind, FactId, Frame,
12    FrameConstraint, FrameId, GateId, Hypothesis, LocalTrace, Observation, ObservationError,
13    ObservationId, ObservationKind, ObservationProvenance, PromotionError, PromotionRecord,
14    Proposal, ProposalId, RiskPosture, StopReason, Tension, TensionId, TensionResolution,
15    TensionSide, Timestamp, TruthCatalog, TruthDefinition, TruthKind, TypeError, TypesBudgets,
16    TypesConstraintSeverity, TypesContextKey, TypesContextSnapshot, TypesFact,
17    TypesIntentConstraint, TypesIntentId, TypesIntentKind, TypesObjective, TypesProposedContent,
18    TypesRootIntent, TypesTraceLink, TypesValidationError, Validated, ValidationSummary,
19};
20pub use converge_pack::{ContextKey, ProposedFact, ValidationError};