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, ApprovalPointId, ArtifactId, BackendId, CaptureContext, ChainId,
11    ChosenSide, ConflictType, ConstraintKind, ConstraintName, ConstraintValue, Criterion,
12    CriterionId, EventId, EvidenceRef, FactContent, FactContentKind, FactId, Frame,
13    FrameConstraint, FrameId, GateId, Hypothesis, LocalTrace, Observation, ObservationError,
14    ObservationId, ObservationKind, ObservationProvenance, PackId, PolicyId, PromotionError,
15    PromotionRecord, Proposal, ProposalId, RiskPosture, StopReason, TenantId, Tension, TensionId,
16    TensionResolution, TensionSide, Timestamp, TraceLinkId, TruthCatalog, TruthDefinition, TruthId,
17    TruthKind, TypeError, TypesBudgets, TypesConstraintSeverity, TypesContextKey,
18    TypesContextSnapshot, TypesFact, TypesIntentConstraint, TypesIntentId, TypesIntentKind,
19    TypesObjective, TypesProposedContent, TypesRootIntent, TypesTraceLink, TypesValidationError,
20    Validated, ValidationSummary,
21};
22pub use converge_pack::{ContextKey, ProposedFact, ValidationError};