README.md

AllocDB Docs

Reading Order

1. TigerStyle Source
2. AllocDB Principles
3. PRD Overview
4. Engineering Design Overview

Product Docs

• Product Scope
• Semantics and API
• Alpha API
• PRD Overview

Engineering Docs

• Architecture
• Engine Authoring Boundary
• Fault Model
• Fourth-Engine Proof Reassessment
• Jepsen Refactor Plan
• Lease Kernel Design Decisions
• Lease Kernel Follow-On
• Quota Engine Plan
• Quota Engine Semantics
• Quota Runtime Seam Evaluation
• Reservation Engine Plan
• Reservation Engine Semantics
• Reservation Runtime Seam Evaluation
• Runtime Extraction Roadmap
• Runtime vs Engine Contract
• Snapshot File Seam Evaluation
• Revoke Safety Slice
• Operator Runbook
• KubeVirt Jepsen Report
• Real Cluster E2E Roadmap
• Replication Notes
• Benchmark Harness
• Roadmap
• Current Status
• Work Breakdown
• Spikes
• Storage and Recovery
• Implementation Rules
• Testing Strategy
• Engineering Design Overview

Repository Workflow

• Contributing Guide

Source Style Docs

• TigerStyle Source
• AllocDB Principles
• Research Lineage

Structure Notes

• prd.md is the stable top-level product entry point.
• design.md is the stable top-level engineering entry point.
• The focused docs carry the detailed rules.

Planned Follow-Ups

• split replication.md into protocol/recovery/validation docs after single-node semantics are stable