Crate mempill_types 

mempill-types

Shared domain types for the mempill temporally-correct AI-agent memory engine.

This crate contains only pure data types (Value Objects and Entities in DDD terms). It has no I/O, no port traits, no engine logic, and no SQL.

Modules

• identity — AgentId, ClaimRef, SubjectLineRef
• provenance — ProvenanceLabel, ExternalKind, ExternalAnchor
• time — TransactionTime, ValidTime
• claim — Claim, Fact, Cardinality, Confidence, Criticality
• disposition — Disposition (12-state model)
• belief — BeliefProjection, Belief, CurrencySignal, CurrencyState, BeliefStatus, StalenessFlag, Marker
• validity — ValidityAssertion, AssertionKind
• edge — ClaimEdge, EdgeKind
• ledger — LedgerEntry, LedgerEventKind
• proposal — ClaimProposal, AdjudicationRequest, AdjudicationResponse, AdjudicationVerdict, OverturnReason, AdjudicationOutcome

Re-exports

pub use belief::Belief;

pub use belief::BeliefProjection;

pub use belief::BeliefStatus;

pub use belief::CurrencySignal;

pub use belief::CurrencyState;

pub use belief::HistoryEntryStatus;

pub use belief::Marker;

pub use belief::StalenessFlag;

pub use claim::Cardinality;

pub use claim::Claim;

pub use claim::Confidence;

pub use claim::Criticality;

pub use claim::Fact;

pub use disposition::Disposition;

pub use disposition::WriteOutcome;

pub use edge::ClaimEdge;

pub use edge::EdgeKind;

pub use identity::AgentId;

pub use identity::ClaimRef;

pub use identity::SubjectLineRef;

pub use ledger::LedgerEntry;

pub use ledger::LedgerEventKind;

pub use proposal::AdjudicationOutcome;

pub use proposal::AdjudicationRequest;

pub use proposal::AdjudicationResponse;

pub use proposal::AdjudicationVerdict;

pub use proposal::ClaimProposal;

pub use proposal::OverturnReason;

pub use provenance::ExternalAnchor;

pub use provenance::ExternalKind;

pub use provenance::ProvenanceLabel;

pub use time::TransactionTime;

pub use time::ValidTime;

pub use validity::AssertionKind;

pub use validity::ValidityAssertion;

Modules

belief

Belief projection: derived, read-time types.

claim

Claim and associated value objects: the atomic committed assertion.

disposition

Disposition: the 12-state outcome model returned on every write.

edge

ClaimEdge: directed relationship between two claims (lineage, supersession, dependency).

identity

Identity types: opaque, stable identifiers used as primary keys and partition keys.

ledger

LedgerEntry: append-only audit record for every state transition.

proposal

Proposal types: stochastic proposer output and adjudication request/response.

provenance

Provenance types: the typed, immutable channel assigned to every write.

time

Temporal types: bi-temporal model support.

validity

ValidityAssertion: bounds or reopens a claim’s valid-time interval.