Source-audited graph database research: architecture, correctness, scalability, S3 economics, and reproducible benchmarks. - View it on GitHub