# Summary
# Foundations
- [Introduction](introduction.md)
- [Philosophy](deep-dive/philosophy.md)
- [Getting Started](getting-started.md)
- [Developing Locally](contributing.md)
- [Deep Dive: Identifiers](deep-dive/identifiers.md)
- [Deep Dive: Trible Structure](deep-dive/trible-structure.md)
# Queries & Data
- [Query Language](query-language.md)
- [Schemas](schemas.md)
- [Incremental Queries](incremental-queries.md)
- [Deep Dive: Query Engine](query-engine.md)
- [Deep Dive: Atreides Join](atreides-join.md)
- [Deep Dive: Type Algebra](type-algebra.md)
# Repositories & Workflows
- [Architecture](architecture.md)
- [Patterns & Recipes](patterns-and-recipes.md)
- [Repository Workflows](repository-workflows.md)
- [Commit Selectors](commit-selectors.md)
- [Garbage Collection](garbage-collection.md)
- [Deep Dive: Descriptive Typing & find! Idioms](descriptive_types.md)
# Storage & Formats
- [Importing Data Formats](importing-data-formats.md)
- [Deep Dive: PATCH](deep-dive/patch.md)
- [Deep Dive: Blobs](deep-dive/blobs.md)
- [Deep Dive: Pile Format](pile-format.md)
- [Deep Dive: Pile Blob Metadata](pile-blob-metadata.md)
# Appendix
- [Glossary](glossary.md)
- [Formal Verification Roadmap](formal-verification.md)