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
• ContextFact / 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.

Re-exports

pub use context::Context;

pub use context::ContextKey;

pub use effect::AgentEffect;

pub use effect::AgentEffectBuilder;

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::ContextFact;

pub use fact::DiagnosticPayload;

pub use fact::ExecutionIdentity;

pub use fact::ExecutionIdentityEvidence;

pub use fact::ExecutionProducerIdentity;

pub use fact::FactActor;

pub use fact::FactActorKind;

pub use fact::FactEvidenceRef;

pub use fact::FactFamilyId;

pub use fact::FactLocalTrace;

pub use fact::FactPayload;

pub use fact::FactPromotionRecord;

pub use fact::FactRemoteTrace;

pub use fact::FactTraceLink;

pub use fact::FactValidationSummary;

pub use fact::NativeExecutionIdentity;

pub use fact::PayloadError;

pub use fact::PayloadRegistry;

pub use fact::PayloadVersion;

pub use fact::ProposedFact;

pub use fact::Provenance;

pub use fact::ProvenanceSource;

pub use fact::TextPayload;

pub use fact::ValidationError;

pub use fact::WireContextFact;

pub use fact::WireFactPayload;

pub use fact::WireProposedFact;

pub use formation::FormationKind;

pub use gate::ProvenanceEnvelope;Deprecated

pub use gate::AuditEnvelope;

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::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 governance::ConsensusOutcome;

pub use governance::ConsensusRule;

pub use governance::Disagreement;

pub use governance::EligibleVoters;

pub use governance::GovernanceError;

pub use governance::Vote;

pub use governance::VoteDecision;

pub use governance::VoteTally;

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::PackInputPayload;

pub use pack_suggestor::PackPlanPayload;

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::BasisPoints;

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::DisagreementId;

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::UnitInterval;

pub use types::ValidationCheckId;

pub use types::VoteId;

pub use types::VoteTopicId;

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.

formation

Formation-kind tag exposed to suggestors.

gate

Solver Gate Architecture

governance

Governance primitives shared across packs.

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.