Crate cortex_memory 

Episodic and semantic memory lifecycle. This crate must not call LLM APIs directly.

Re-exports

pub use admission::require_admissible_evidence;

pub use admission::require_axiom_origin_is_not_product_spec;

pub use admission::require_candidate_state;

pub use admission::require_contradiction_scan;

pub use admission::require_explicit_non_promotion;

pub use admission::require_phase_context;

pub use admission::require_redaction_status;

pub use admission::require_source_anchors;

pub use admission::require_usable_proof_state;

pub use admission::AdmissionDecision;

pub use admission::AdmissionEnvelopeError;

pub use admission::AdmissionEnvelopeResult;

pub use admission::AdmissionRejectionReason;

pub use admission::AdmissionSemanticTrustInput;

pub use admission::AdmissionSemanticTrustReport;

pub use admission::AdmissionValidationResult;

pub use admission::AxiomImportClass;

pub use admission::AxiomMemoryAdmissionRequest;

pub use admission::CandidateState;

pub use admission::ContradictionScan;

pub use admission::DurableAdmissionRefusal;

pub use admission::EvidenceClass;

pub use admission::PhaseContext;

pub use admission::ProofState as AdmissionProofState;

pub use admission::RedactionStatus;

pub use admission::SourceAnchor;

pub use admission::SourceAnchorKind;

pub use admission::ToolProvenance;

pub use admission::AXIOM_ADMISSION_PROOF_CLOSURE_INVARIANT;

pub use admission::AXIOM_ADMISSION_PROOF_CLOSURE_RULE_ID;

pub use contradictions::Contradiction;

pub use contradictions::ContradictionError;

pub use contradictions::ContradictionRegistry;

pub use contradictions::ContradictionResult;

pub use contradictions::ContradictionStatus;

pub use contradictions::ContradictionType;

pub use decay::DecayError;

pub use decay::DecayJob;

pub use decay::DecayJobConversionError;

pub use decay::DecayJobKind;

pub use decay::DecayJobState;

pub use decay::DecayResult;

pub use decay::SummaryMethod;

pub use decay::DECAY_COMPRESS_INPUT_INVALID_INVARIANT;

pub use decay::DECAY_COMPRESS_SOURCE_MISSING_INVARIANT;

pub use decay::DECAY_LLM_SUMMARY_ATTESTATION_PURPOSE;

pub use decay::DECAY_LLM_SUMMARY_ATTESTATION_REJECTED_INVARIANT;

pub use decay::DECAY_LLM_SUMMARY_ATTESTATION_SCHEMA_VERSION;

pub use decay::DECAY_LLM_SUMMARY_REQUIRES_OPERATOR_ATTESTATION_INVARIANT;

pub use decay::DECAY_SUMMARY_CLAIM_SEPARATOR;

pub use decay::DECAY_SUMMARY_MAX_CLAIM_BYTES;

pub use decay::DECAY_SUMMARY_TRUNCATION_SUFFIX;

pub use epistemic::apply_outcome_success;

pub use epistemic::assert_utility_preserved_epistemics;

pub use epistemic::reject_utility_to_proof_transition;

pub use epistemic::reject_utility_to_truth_transition;

pub use epistemic::EpistemicError;

pub use epistemic::EpistemicResult;

pub use epistemic::EpistemicState;

pub use epistemic::ProofStatus;

pub use epistemic::ProofTransitionEvidence;

pub use epistemic::TruthStatus;

pub use epistemic::TruthTransitionEvidence;

pub use epistemic::Usefulness;

pub use epistemic::UtilitySignal;

pub use lifecycle::accept;

pub use lifecycle::accept_candidate;

pub use lifecycle::validate_candidate_lineage;

pub use lifecycle::AcceptCandidateRequest;

pub use lifecycle::LifecycleError;

pub use lifecycle::LifecycleResult;

pub use lifecycle::LIFECYCLE_ACCEPT_PROOF_CLOSURE_INVARIANT;

pub use salience::brightness;

pub use salience::Salience;

pub use trust_exchange::forbidden_uses_for_candidate;

pub use trust_exchange::AdmissionLifecycle;

pub use trust_exchange::AxiomTrustExchangeAdmissionRequest;

pub use trust_exchange::ForbiddenUse;

pub use trust_exchange::TrustExchangeAdmission;

Modules

admission

AXIOM-to-Cortex memory admission scaffolds.

contradictions

First-class contradiction domain objects.

decay

Phase 4.D decay job substrate.

epistemic

Epistemic and usefulness separation scaffolds.

lifecycle

Memory candidate acceptance rules.

salience

Deterministic salience brightness scoring.

trust_exchange

Field-level pai-axiom trust exchange admission for Cortex (ADR 0042 / 0043).

Constants

SUMMARY_METHOD_NONE_WIRE

Sentinel wire token used in the summary_method column when the job kind does not carry a summary method (currently only ExpiredPrincipleReview).

Functions

salience_refresh_stub

Placeholder hook for salience recompute (deterministic scoring lives here long-term).