Module error 

MemError — top-level error type for the mempill engine.

Every invariant violation surfaces as a typed variant — never silently swallowed. Uses thiserror for ergonomic Display + Error implementations.

Enums

MemError

Top-level error type for the mempill engine. Every invariant violation surfaces as a typed variant here — never silently swallowed.

Type Aliases

BeliefResult

Belief projection result — returned from query_memory.

WriteResult

Write surface result — returned synchronously. For heavy-path ops, disposition = QueuedForAdjudication; final state arrives asynchronously via the oracle callback.