Sophia
Search
Search
Dark mode
Light mode
Explorer
Home
❯
vault
❯
Design
Folder: vault/Design
19 items under this folder.
Oct 01, 2026
Code Map
overview
implementation
Oct 01, 2026
Compilation as Query
design
Oct 01, 2026
Content-Addressed Precompilation
design
Oct 01, 2026
Core Calculus
design
definition
Oct 01, 2026
Cross-Language Semantic Hazards
design
comparison
Oct 01, 2026
Design Overview
overview
design
Oct 01, 2026
Effects Memory and Resources
design
Oct 01, 2026
Equivalence and Witnesses
design
definition
Oct 01, 2026
Glossary
reference
Oct 01, 2026
Graph Schema
design
definition
Oct 01, 2026
Hashing and Identity
design
algorithm
Oct 01, 2026
Multi-AST Layering
design
Oct 01, 2026
Naming and Change Propagation
design
Oct 01, 2026
Open Problems and Risks
open-problem
Oct 01, 2026
Query Cookbook
design
example
Oct 01, 2026
Repository Layout
design
reference
Oct 01, 2026
Roadmap
design
overview
Oct 01, 2026
Tests and Documentation as Nodes
design
Oct 01, 2026
Trusted Computing Base
design