Expand description
An in-memory reference substrate: a grain map plus a deliberately naive CAL subset. Engine CI runs the full suite against it with zero Areev, so the portability claim stays testable, and it doubles as the conformance kit for third-party substrates (proposal §10).
The CAL subset understands exactly the statements built-in analyzers emit (ADD / SUPERSEDE / FORGET / RETRACT) plus read verbs as no-ops. It is not a general CAL engine — a real substrate (Areev) provides that.