Crate cortex_core 

Core types, identifiers, errors, and schema constants for Cortex.

cortex-core is the shape layer: it defines the typed primitives that every other crate in the workspace agrees on (events, traces, IDs, errors, schema version). It performs no I/O, no network calls, and no LLM invocations — those live in cortex-ledger, cortex-store, cortex-llm, etc. (BUILD_SPEC §8.)

The intent is that any change to a type re-exported from this crate is immediately visible everywhere it is used, and any wire-format change is gated by a SCHEMA_VERSION bump (see version for the bump policy).

Re-exports

pub use attestor::attest;

pub use attestor::sign_rotation;

pub use attestor::verify;

pub use attestor::verify_rotation;

pub use attestor::Attestation;

pub use attestor::Attestor;

pub use attestor::IdentityRotation;

pub use attestor::InMemoryAttestor;

pub use attestor::RotationEnvelope;

pub use attestor::VerifyError;

pub use audit::AuditRecord;

pub use audit::Outcome;

pub use authority::revalidate_temporal_authority;

pub use authority::KeyLifecycleState;

pub use authority::TemporalAuthorityEvidence;

pub use authority::TemporalAuthorityReason;

pub use authority::TemporalAuthorityReport;

pub use authority::TrustTier;

pub use axiom_trust::accepted_axiom_source_commits;

pub use axiom_trust::is_axiom_source_commit_fresh;

pub use axiom_trust::parse_authority_feedback_loop;

pub use axiom_trust::parse_axiom_execution_trust;

pub use axiom_trust::parse_cortex_context_trust;

pub use axiom_trust::ActorAttestation;

pub use axiom_trust::AmplificationRisk;

pub use axiom_trust::ArtifactLifecycleState;

pub use axiom_trust::AuthorityClaimStatus;

pub use axiom_trust::AuthorityFeedbackLoop;

pub use axiom_trust::AxiomExecutionTrust;

pub use axiom_trust::AxiomExecutionTrustEnvelope;

pub use axiom_trust::CompatibilityTrustLabel;

pub use axiom_trust::ConfidenceCeiling;

pub use axiom_trust::ContextAllowedClaimLanguage;

pub use axiom_trust::ContextAllowedUse;

pub use axiom_trust::ContextConfidence;

pub use axiom_trust::ContextConfidenceScale;

pub use axiom_trust::ContextConfidenceValue;

pub use axiom_trust::ContextForbiddenUse;

pub use axiom_trust::ContextPolicyResult;

pub use axiom_trust::ContextPolicyResultValue;

pub use axiom_trust::ContextProofState;

pub use axiom_trust::ContextProofStateValue;

pub use axiom_trust::ContextProvenanceClass;

pub use axiom_trust::ContextQuarantineState;

pub use axiom_trust::ContextRedactionState;

pub use axiom_trust::ContextRedactionStatus;

pub use axiom_trust::ContextSemanticTrust;

pub use axiom_trust::ContextSourceAnchor;

pub use axiom_trust::ContextSourceAnchorType;

pub use axiom_trust::ContradictionState;

pub use axiom_trust::CortexContextTrust;

pub use axiom_trust::CortexContextTrustEnvelope;

pub use axiom_trust::ExecutionPolicyDecision;

pub use axiom_trust::ExecutionPolicyResult;

pub use axiom_trust::ExecutionSourceAnchor;

pub use axiom_trust::ExecutionSourceAnchorType;

pub use axiom_trust::ExecutionToolProvenance;

pub use axiom_trust::ExecutionTrustLevel;

pub use axiom_trust::FeedbackAuthorityClaims;

pub use axiom_trust::FeedbackAxiomAction;

pub use axiom_trust::FeedbackInitiatingContext;

pub use axiom_trust::FeedbackReturnedArtifact;

pub use axiom_trust::NamedQuarantineOutputs;

pub use axiom_trust::PromotionState;

pub use axiom_trust::QuarantineOutput;

pub use axiom_trust::RepoTrust;

pub use axiom_trust::RepoTrustResult;

pub use axiom_trust::ReproducibilityLevel;

pub use axiom_trust::TargetDomainValidation;

pub use axiom_trust::TargetDomainValidationResult;

pub use axiom_trust::TokenRevocationResult;

pub use axiom_trust::TokenScope;

pub use axiom_trust::TrustExchangeFieldError;

pub use axiom_trust::TrustExchangeValidation;

pub use axiom_trust::TruthCeiling;

pub use axiom_trust::AUTHORITY_FEEDBACK_LOOP_SCHEMA;

pub use axiom_trust::AXIOM_EXECUTION_TRUST_SCHEMA;

pub use axiom_trust::AXIOM_EXECUTION_TRUST_SOURCE_COMMIT_STALE_INVARIANT;

pub use axiom_trust::CORTEX_AXIOM_ACCEPTED_SOURCE_COMMITS_ENV;

pub use axiom_trust::CORTEX_CONTEXT_TRUST_SCHEMA;

pub use axiom_trust::DEFAULT_ACCEPTED_AXIOM_SOURCE_COMMITS;

pub use axiom_trust::TRUST_EXCHANGE_SCHEMA_VERSION;

pub use boundary::default_allowed_claim_language;

pub use boundary::default_forbidden_boundary_uses;

pub use boundary::AllowedClaimLanguage;

pub use boundary::BoundaryContradictionState;

pub use boundary::BoundaryQuarantineState;

pub use boundary::BoundaryRedactionState;

pub use boundary::BoundarySourceAnchor;

pub use boundary::BoundaryToolInvocation;

pub use boundary::BoundaryToolOutcome;

pub use boundary::CapabilityTokenDecision;

pub use boundary::CapabilityTokenState;

pub use boundary::CortexAxiomConstraintEnvelopeV1;

pub use boundary::ExecutionTrustState;

pub use boundary::ForbiddenBoundaryUse;

pub use boundary::OperatorApprovalState;

pub use boundary::PaiAxiomExecutionReceiptV1;

pub use boundary::RuntimeIntegrityState;

pub use boundary::BOUNDARY_SCHEMA_VERSION;

pub use boundary::CORTEX_TO_AXIOM_CONSTRAINT_ENVELOPE_V1;

pub use boundary::PAI_AXIOM_TO_CORTEX_EXECUTION_RECEIPT_V1;

pub use canonical::canonical_rotation_input;

pub use canonical::canonical_signing_input;

pub use canonical::AttestationPreimage;

pub use canonical::LineageBinding;

pub use canonical::SourceIdentity;

pub use canonical::DOMAIN_TAG_ATTESTATION_PREIMAGE;

pub use canonical::DOMAIN_TAG_ROTATION_ENVELOPE;

pub use canonical::SCHEMA_VERSION_ATTESTATION;

pub use claim_language::map_axiom_claims;

pub use claim_language::AxiomClaimInput;

pub use claim_language::AxiomConstraint;

pub use claim_language::AxiomConstraintKind;

pub use claim_language::AxiomConstraintSeverity;

pub use claim_language::AxiomElementKind;

pub use claim_language::AxiomEvidenceKind;

pub use claim_language::AxiomStatus;

pub use claim_language::CortexClaimMapping;

pub use claim_language::CortexClaimRole;

pub use claims::effective_ceiling;

pub use claims::mix_authority_to_weakest;

pub use claims::mix_claims_to_weakest;

pub use claims::mix_reportable_claims_to_weakest;

pub use claims::AuthorityClass;

pub use claims::ClaimCeiling;

pub use claims::ClaimProofState;

pub use claims::ReportableClaim;

pub use claims::RuntimeMode;

pub use consumer_advisory::contains_exec_shaped_string;

pub use consumer_advisory::AdvisoryFlag;

pub use consumer_advisory::ConsumerAdvisory;

pub use consumer_advisory::ExecutionTrustClass;

pub use consumer_advisory::RenderTrustClass;

pub use error::CoreError;

pub use error::CoreResult;

pub use error::CortexError;

pub use error::CortexResult;

pub use event::Event;

pub use event::EventSource;

pub use event::EventType;

pub use ids::AuditRecordId;

pub use ids::ContextPackId;

pub use ids::ContradictionId;

pub use ids::CorrelationId;

pub use ids::DecayJobId;

pub use ids::DoctrineId;

pub use ids::EpisodeId;

pub use ids::EventId;

pub use ids::MemoryId;

pub use ids::PrincipleId;

pub use ids::TraceId;

pub use policy::compose_policy_outcomes;

pub use policy::BreakGlassAuditShape;

pub use policy::BreakGlassAuthorization;

pub use policy::BreakGlassReasonCode;

pub use policy::BreakGlassScope;

pub use policy::PolicyContribution;

pub use policy::PolicyDecision;

pub use policy::PolicyEngine;

pub use policy::PolicyError;

pub use policy::PolicyOutcome;

pub use policy::PolicyRuleId;

pub use proof::FailingEdge;

pub use proof::ProofClosureReport;

pub use proof::ProofEdge;

pub use proof::ProofEdgeFailure;

pub use proof::ProofEdgeKind;

pub use proof::ProofState;

pub use salience_v2::CrossSessionSalience;

pub use salience_v2::OutcomeMemoryRelation;

pub use schema_migration::schema_migration_v1_to_v2_event;

pub use schema_migration::SchemaMigrationEventError;

pub use schema_migration::SchemaMigrationPayloadError;

pub use schema_migration::SchemaMigrationV1ToV2Payload;

pub use schema_migration::SCHEMA_MIGRATION_V1_TO_V2_EVENT_KIND;

pub use schema_migration::SCHEMA_MIGRATION_V1_TO_V2_ID;

pub use schema_migration::SCHEMA_MIGRATION_V1_TO_V2_TARGET;

pub use semantic_trust::evaluate_semantic_trust;

pub use semantic_trust::ProvenanceClass;

pub use semantic_trust::SemanticTrustClass;

pub use semantic_trust::SemanticTrustInput;

pub use semantic_trust::SemanticTrustReport;

pub use semantic_trust::SemanticUse;

pub use source_attestation::SourceAttestation;

pub use summary::validate_summary_spans;

pub use summary::SourceAuthority;

pub use summary::SummarySpan;

pub use summary::SummarySpanError;

pub use trace::Trace;

pub use trace::TraceStatus;

pub use version::crate_version;

pub use version::schema;

Modules

attestor

Actor attestation primitives — Attestor trait, Attestation value type, verify, and identity-rotation envelope (T-3.D.0, ADR 0010 + ADR 0014).

audit

Doctrine-compliant audit record shape.

authority

Temporal authority revalidation.

axiom_trust

Typed pai-axiom <-> Cortex trust exchange envelopes (ADR 0042 / 0043).

boundary

Typed Cortex / pai-axiom boundary envelopes.

canonical

Canonical, deterministic, length-prefixed binary encoding for attestation preimages (T-3.D.0, ADR 0010 §1b, ADR 0014 §“Signed preimage”).

claim_language

Shared AXIOM/Cortex claim language.

claims

Claim ceilings and reportability metadata.

consumer_advisory

ContextPack consumer advisory primitives for schema v2.

error

Pure-typing errors for cortex-core.

event

Immutable observed-fact events.

ids

Strongly-typed identifiers for Cortex primitives.

policy

Policy outcome lattice and deterministic composition.

proof

Proof closure state for ledger, lineage, and authority verification.

salience_v2

Cross-session salience primitives for schema v2.

schema_migration

Typed payloads for schema migration boundary events.

semantic_trust

Semantic provenance and trust classification.

source_attestation

Source-attestation compatibility shape for the schema v2 cutover.

summary

Span-level summary provenance primitives for the schema v2 cutover.

trace

Causal chains of events.

version

Schema and crate version helpers.

Constants

SCHEMA_VERSION

Current schema version for persisted Cortex rows and JSON envelopes.