• Repository Layout
• Transactional Commit Model
• Variant Aliasing
• Crash Recovery and Invariants