State-contract evaluation for auditable agent memory.
Note Paper, source package, code, and benchmark project hub.