mempill-core 0.2.0

Core engine for mempill — a bi-temporal, append-only claim store with a deterministic adjudication gate and oracle resolution for temporally-correct AI-agent memory
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-core

The deterministic engine core for mempill — port traits, all 8 engine components,
use-cases, DTOs, and the async `EngineHandle` entry point.

See the [repository README](https://github.com/mempill-ai/mempill) for the full architecture, quick start, and invariants.

## Crate organization

```
mempill-core/src/
  ports/           — PersistencePort, OraclePort, ExtractorPort, EmbeddingPort, VectorPort traits
  engine/          — Gateway, TruthEngine, Reconciler, Supersession,
                     Projection, AmplificationGuard, AdjudicationGate, AuditLedger
  application/     — use-cases (IngestClaim, QueryMemory, Reconcile, Audit) + public DTOs
  engine_handle.rs — EngineHandle<P,O,V>: async entry point, spawn_blocking bridge
  config.rs        — EngineConfig (tunable engine parameters)
  error.rs         — MemError enum (thiserror)
  noop.rs          — NoOpOracle, NoOpVector (do-nothing stubs)
  concurrency/     — AgentWriteLockMap (per-agent_id write lock)
  testing/         — shared conformance harness (feature = "test-support")
```

## Public API surface

```rust
// EngineHandle — sole public async entry point
pub struct EngineHandle<P: PersistencePort, O: OraclePort, V: VectorPort>;

impl<P, O, V> EngineHandle<P, O, V> {
    pub fn new(persistence: Arc<P>, oracle: Option<Arc<O>>, vector: Option<Arc<V>>, config: EngineConfig) -> Self;
    pub async fn ingest_claim(&self, req: IngestClaimRequest) -> Result<IngestClaimResponse, MemError>;
    pub async fn query_memory(&self, req: QueryMemoryRequest) -> Result<QueryMemoryResponse, MemError>;
    pub async fn reconcile(&self, req: ReconcileRequest) -> Result<ReconcileResponse, MemError>;
    pub async fn query_audit(&self, req: AuditQueryRequest) -> Result<AuditQueryResponse, MemError>;
}
```

Adapter crates (`mempill-sqlite`, `mempill-postgres`) provide concrete `PersistencePort`
implementations and expose convenience constructors (`open_default`, `open_postgres`).
`mempill-core` has no dependency on either adapter — the dependency direction is one-way.

## Feature flags

- `test-support` — compiles the shared `run_persistence_conformance` harness used by both
  adapter crates in `[dev-dependencies]`.

## License

Apache-2.0. See [LICENSE](LICENSE) for the full text.