Building AllocDB: A Deterministic, Jepsen-Verified Resource Database via AI-Human Co-engineering

The Problem