Paper P1529 pagesReviewed manuscript
A Rust Runtime for Categorical Data Systems
What production architecture preserves the chosen semantics while supporting safe and efficient execution?
Question and scope
immutable compiled schemas, numeric IDs, focused traits, async connectors, plan caching, deterministic replay, and embedded/server modes.
Research artifacts
crate architecture, SQLite vertical slice, PostgreSQL parity, CLI, server boundary, and benchmark hooks.
Evidence and evaluation
Rust checks, fixture agreement, result equivalence, and independent Claude review.
Claim boundary
Rust memory safety proves semantic correctness.