From the team

We Asked Two AI Agents to Build an LSM Database. Only One Got Database Compaction Right.

We built two LSM databases from the same spec — one with proof guidance, one without. 45 tests found zero bugs. A Verus proof skeleton found a silent data-loss bug in database compaction that testing couldn't reach.