Crate converge_pack 

Converge Pack

This crate is the strict Rust authoring contract for Converge packs. External modules implement these traits to participate in convergence:

• Suggestor for pure suggestors
• Context for read-only context access
• AgentEffect for buffered proposal output
• Fact / ProposedFact for the current context boundary
• Pack for domain packs with gate infrastructure
• PackSuggestor for bridging Pack to Suggestor

Provider selection and backend capability routing do not live here. Those contracts belong to converge-provider-api.

Re-exports

pub use context::Context;

pub use context::ContextKey;

pub use effect::AgentEffect;

pub use fact::CONFIDENCE_STEP_MAJOR;

pub use fact::CONFIDENCE_STEP_MEDIUM;

pub use fact::CONFIDENCE_STEP_MINOR;

pub use fact::CONFIDENCE_STEP_PRIMARY;

pub use fact::CONFIDENCE_STEP_TINY;

pub use fact::Fact;

pub use fact::FactActor;

pub use fact::FactActorKind;

pub use fact::FactEvidenceRef;

pub use fact::FactLocalTrace;

pub use fact::FactPromotionRecord;

pub use fact::FactRemoteTrace;

pub use fact::FactTraceLink;

pub use fact::FactValidationSummary;

pub use fact::ProposedFact;

pub use fact::ValidationError;

pub use gate::AuthorityPolicy;

pub use gate::ConstraintHardness;

pub use gate::ConstraintSpec;

pub use gate::ConstraintType;

pub use gate::DeterminismSpec;

pub use gate::Diagnostic;

pub use gate::DiagnosticKind;

pub use gate::GateDecision;

pub use gate::GateError;

pub use gate::GateResult;

pub use gate::KernelTraceLink;

pub use gate::ObjectiveDirection;

pub use gate::ObjectiveSpec;

pub use gate::ProblemSpec;

pub use gate::ProblemSpecBuilder;

pub use gate::PromotionGate;

pub use gate::ProposedPlan;

pub use gate::ProvenanceEnvelope;

pub use gate::ReplayEnvelope;

pub use gate::SolveBudgets;

pub use gate::SolverReport;

pub use gate::StopReason;

pub use gate::TieBreakStrategy;

pub use gate::TraceMode;

pub use gate::Violation;

pub use pack::InvariantDef;

pub use pack::InvariantResult;

pub use pack::Pack;

pub use pack::PackSchema;

pub use pack::PackSolveResult;

pub use pack::PackSolver;

pub use pack::default_gate_evaluation;

pub use pack_suggestor::PackSuggestor;

pub use types::ActorId;

pub use types::ApprovalId;

pub use types::ApprovalPointId;

pub use types::ArtifactId;

pub use types::BackendId;

pub use types::ChainId;

pub use types::ConstraintName;

pub use types::ConstraintValue;

pub use types::ContentHash;

pub use types::CorrelationId;

pub use types::CriterionId;

pub use types::DomainId;

pub use types::EventId;

pub use types::FactId;

pub use types::GateId;

pub use types::ObservationId;

pub use types::PackId;

pub use types::PolicyId;

pub use types::PolicyVersionId;

pub use types::PrincipalId;

pub use types::ProposalId;

pub use types::ResourceId;

pub use types::ResourceKind;

pub use types::SpanId;

pub use types::TenantId;

pub use types::Timestamp;

pub use types::TraceId;

pub use types::TraceLinkId;

pub use types::TraceReference;

pub use types::TraceSystemId;

pub use types::TruthId;

pub use types::ValidationCheckId;

Modules

context

Context keys and the shared context contract.

effect

Suggestor effects — what suggestors produce, the engine merges.

fact

Facts and proposed facts — the type boundary.

gate

Solver Gate Architecture

pack

Pack traits and core abstractions

pack_suggestor

Suggestor adapter – bridges Pack trait to Converge Suggestor.

suggestor

types

Shared semantic value types for the public Converge contract.

Traits

Suggestor

The core suggestor contract.