mempill-types 0.2.0

Shared domain types for the mempill bi-temporal AI-agent memory engine (ProvenanceLabel, Disposition, Claim, LedgerEntry, and more)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

//! # 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`]

pub mod belief;
pub mod claim;
pub mod disposition;
pub mod edge;
pub mod identity;
pub mod ledger;
pub mod proposal;
pub mod provenance;
pub mod time;
pub mod validity;

// ── Public re-exports ────────────────────────────────────────────────────────

pub use belief::{
    Belief, BeliefProjection, BeliefStatus, CurrencySignal, CurrencyState, HistoryEntryStatus,
    Marker, StalenessFlag,
};
pub use claim::{Cardinality, Claim, Confidence, Criticality, Fact};
pub use disposition::{Disposition, WriteOutcome};
pub use edge::{ClaimEdge, EdgeKind};
pub use identity::{AgentId, ClaimRef, SubjectLineRef};
pub use ledger::{LedgerEntry, LedgerEventKind};
pub use proposal::{
    AdjudicationOutcome, AdjudicationRequest, AdjudicationResponse, AdjudicationVerdict,
    ClaimProposal, OverturnReason,
};
pub use provenance::{ExternalAnchor, ExternalKind, ProvenanceLabel};
pub use time::{TransactionTime, ValidTime};
pub use validity::{AssertionKind, ValidityAssertion};