Skip to main content

Crate oxibrain_core

Crate oxibrain_core 

Source
Expand description

oxibrain-core: the engine. Knows nothing of MCP/HTTP/CLI (ARCHITECTURE.md P6).

Re-exports§

pub use interval::Interval;
pub use interval::clip;
pub use interval::merge_overlapping;
pub use interval::overlaps;
pub use canonical::canonical_bytes;
pub use canonical::canonical_json_value;
pub use canonical::canonicalize_value;
pub use id::Id;
pub use id::assertion_id;
pub use id::chunk_id;
pub use id::content_hash;
pub use id::entity_id;
pub use id::entity_key_id;
pub use id::entity_merge_id;
pub use id::episode_id;
pub use id::mention_id;
pub use id::normalize_content;
pub use id::statement_id;
pub use knowledge::Assertion;
pub use knowledge::Belief;
pub use knowledge::BeliefStatus;
pub use knowledge::Entity;
pub use knowledge::EntityKey;
pub use knowledge::EntityMerge;
pub use knowledge::KeyOrigin;
pub use knowledge::Mention;
pub use knowledge::MentionRole;
pub use knowledge::MergeDecision;
pub use knowledge::Object;
pub use knowledge::Polarity;
pub use knowledge::ResolutionMethod;
pub use knowledge::Statement;
pub use knowledge::Support;
pub use knowledge::TypedValue;
pub use knowledge::claim_repr;
pub use knowledge::object_repr;
pub use types::ContentHash;
pub use types::Episode;
pub use types::EpisodeKind;
pub use types::SourceRef;
pub use types::Space;
pub use types::TrustTier;
pub use registry::CORE_V1_MAJOR;
pub use registry::CORE_V1_MINOR;
pub use registry::Cardinality;
pub use registry::Invalidation;
pub use registry::LiteralType;
pub use registry::ObjectKind;
pub use registry::PredicateDef;
pub use registry::Temporality;
pub use registry::core_v1;
pub use fold::StatementEntry;
pub use fold::fold;
pub use uncertainty::Uncertainty;
pub use uncertainty::UncertaintyInput;
pub use uncertainty::compute as compute_uncertainty;
pub use pipeline::Outcome as PipelineOutcome;
pub use pipeline::Stage as PipelineStage;
pub use pipeline::step as pipeline_step;
pub use rank::Channel;
pub use rank::ChannelRank;
pub use rank::ChannelResult;
pub use rank::DropReason;
pub use rank::DroppedItem;
pub use rank::Filters;
pub use rank::Fusion;
pub use rank::LexIndex;
pub use rank::RankedItem;
pub use rank::RankingResult;
pub use rank::Rerank;
pub use rank::Retrieval;
pub use rank::RetrievalInput;
pub use rank::SeedPolicy;
pub use rank::TargetFacts;
pub use rank::TargetId;
pub use rank::TargetSet;
pub use rank::TrustPolicy;
pub use rank::VecSpace;
pub use rank::explain_item;
pub use rank::rank;
pub use pack::BeliefForm;
pub use pack::ContextInput;
pub use pack::EpisodeExcerpt;
pub use pack::PackPolicy;
pub use pack::ProfileFact;
pub use pack::RenderedBelief;
pub use pack::RenderedEdge;
pub use pack::Reserve;
pub use pack::SummaryWithUncertainty;
pub use pack::pack;
pub use chunking::Chunk;
pub use chunking::ChunkPolicy;
pub use chunking::render_context_prefix;
pub use chunking::short_ts;
pub use chunking::split_into_chunks;
pub use security::AuditEntry;
pub use security::Capability;
pub use security::CapabilitySet;
pub use security::RedactTarget;
pub use security::RedactionClosure;
pub use security::RedactionResult;
pub use security::Scope;
pub use security::TokenInfo;
pub use sync::KnownNotes;
pub use sync::SyncAction;
pub use sync::SyncFile;
pub use sync::classify as classify_sync;
pub use context::ContextBudget;
pub use context::ContextLayer;
pub use context::ContextResult;
pub use context::LayerKind;
pub use context::estimate_tokens_rough;
pub use lifecycle::CompactionConfig;
pub use lifecycle::DecayConfig;
pub use lifecycle::SalienceEntry;
pub use lifecycle::salience;
pub use retrieval::Query;
pub use retrieval::QueryMode;
pub use retrieval::SearchHit;
pub use retrieval::SearchTarget;
pub use retrieval::Strategy;
pub use retrieval::TraversalEdge;
pub use retrieval::TraversalNode;
pub use retrieval::TraversalResult;
pub use retrieval::TraversalSpec;
pub use stats::SpaceStats;

Modules§

canonical
Canonical serialization. A bug here is a determinism bug (ARCHITECTURE.md §5.6): sorted keys, normalized numbers, RFC-3339 UTC timestamps. Property-tested.
chunking
Chunking + deterministic context prefix (§9.3, M8 §8.11).
confidence
Confidence calibration (DESIGN §6.5).
context
Context assembly types (DESIGN §9.5).
eval
Evaluation metrics (DESIGN §14.2). Pure functions comparing extracted assertions against golden-corpus annotations.
extraction
Extraction types and pure functions (DESIGN §7). The LLM arrives in M3, but non-determinism is contained: schema generation, prompt building, and validation are all pure functions of the predicate registry. The LLM call itself is the only non-deterministic step, and its output is cached (§7.3).
fold
The temporal fold (DESIGN §6). A pure function that turns assertions into current-slice beliefs. Operates at the (subject, predicate) GROUP level — not per-statement — because Functional/Supersede predicates close intervals across different objects (different StatementIds) sharing the same subject+predicate (spec deviation D1).
id
Content-derived ids. Every projection id is derived from content, not random, so reprojection is byte-identical (ARCHITECTURE.md §5.6, P1).
interval
Interval algebra for the temporal fold (DESIGN §6). All comparisons are plain integer comparisons on sentinels — no NULL branching (§6.2).
knowledge
Knowledge domain types (DESIGN §5.4). Entities, statements, assertions, mentions, beliefs — the projection types derived from the ledger.
lifecycle
Lifecycle types: salience decay, compaction config (DESIGN §10).
pack
Context assembly packing — the §12.3 pure decision.
pipeline
Pipeline stage machine (DESIGN §9.1, F21, M10 10.10).
rank
Pure rank layer: Retrieval spec + RetrievalInput + rank (DESIGN §11.2, §11.3).
registry
Predicate registry (DESIGN §5.5, P4). Predicate semantics — object type, cardinality, temporality, invalidation, symmetry — declared here, not in prompts. The registry drives the fold, the validator, and (in M3) the extraction schema.
resolution
Identity and resolution (ARCHITECTURE.md §8, §10).
retrieval
Retrieval types: Query, TraversalSpec, and legacy store-side handles.
security
Security domain types (DESIGN §11). Capabilities, scopes, tokens, redaction.
stats
Space statistics — counts for dashboards and the stats MCP tool.
sync
Vault sync classification — a pure decision function (P9).
types
Ledger value types. Knowledge types (entities, statements, …) land in M1.
uncertainty
Uncertainty quantification for derived artifacts (DESIGN §13.1, P10, D23).

Enums§

Direction
Edge direction for graph traversal.
PredicateFilter
Predicate filter for graph traversal.