/docs/design/

• ../
• 001-operation-semantics.md
• 002-memory-lifetime.md
• 003-module-contract.md
• 004-prepared-connections.md
• 005-field-connections.md
• 006-native-protocol.md
• 007-execution-domains.md
• 008-module-format.md
• 009-layout.md
• 010-surfaces.md
• 011-pure-transport.md
• abi-v0.h
• check-abi-layout.py
• validation