Crate cortex_store 

Persistence layer for SQLite migrations and repositories.

Re-exports

pub use proof::temporal_authority_proof_report;

pub use proof::verify_memory_proof_closure;

pub use semantic_diff::semantic_snapshot_from_store;

pub use semantic_diff::ArtifactKind;

pub use semantic_diff::ContradictionState;

pub use semantic_diff::DoctrineForce;

pub use semantic_diff::DoctrineState;

pub use semantic_diff::KeyLifecycleState;

pub use semantic_diff::KeyState;

pub use semantic_diff::MemoryKind;

pub use semantic_diff::MemoryState;

pub use semantic_diff::PrincipalTrustState;

pub use semantic_diff::PrincipleState;

pub use semantic_diff::ProofState as SemanticProofState;

pub use semantic_diff::RestoreDecision;

pub use semantic_diff::RuntimeMode as SemanticRuntimeMode;

pub use semantic_diff::SalienceDistribution;

pub use semantic_diff::SalienceScore;

pub use semantic_diff::SemanticChange;

pub use semantic_diff::SemanticChangeKind;

pub use semantic_diff::SemanticDiff;

pub use semantic_diff::SemanticSeverity;

pub use semantic_diff::SemanticSnapshot;

pub use semantic_diff::TrustKeyState;

pub use semantic_diff::TrustTier;

pub use semantic_diff::TruthCeiling;

pub use semantic_diff::TruthCeilingState;

pub use semantic_diff::TruthState;

Modules

migrate

SQLite migration application and tracking.

migrate_v2

Dry-run planning helpers for the schema v2 cutover.

mirror

JSONL <-> SQLite event mirror consistency and recovery.

proof

Store-local authority proof closure verification.

repo

Thin SQLite repositories over the MVP store schema.

semantic_diff

Self-contained semantic backup/restore diff scaffolding.

verify

Store verification helpers for schema-shape and schema-version gates.

Enums

StoreError

Errors raised by the SQLite store boundary.

Constants

INITIAL_MIGRATION_SQL

Initial SQLite schema for the MVP store (LANES T-2.A.1).

VERIFY_ROW_COUNTS_CHECKED_ADD_OVERFLOW_INVARIANT

Stable invariant name surfaced by StoreError::RowCountCheckedAddOverflow.

Functions

open

Opens the SQLite database under data_dir and applies pending migrations.

open_existing_readonly

Opens an existing SQLite database read-only.

open_stub

Compatibility stub retained for callers not yet moved to open.

sqlite_compile_options

Returns SQLite compile-time options reported by the active library.

verify_sqlite_compile_options

Fails closed when SQLite was compiled with loadable-extension support.

verify_sqlite_load_extension_disabled

Verifies SQL-level extension loading is not authorized on this connection.

Type Aliases

Pool

Synchronous SQLite connection used by the store crate.

StoreResult

Crate-wide store result type.