Examples

Use these examples when you want a runnable proof before adapting a model to your application.

Local onboarding

• Go local quickstart — two commands, DynamoDB Local, verified CRUD write.
• TypeScript local example — package-local npm run example:local flow.
• Python getting started — runtime-native first CRUD flow.

Cross-language and infrastructure examples

• CDK multi-language example — Go, TypeScript, and Python sharing one generated table contract.
• Release-state example — write policy and protected-transition patterns.
• All checked-in examples — source tree for every runnable example.

Examples never bypass the TableTheory contract: they use the canonical tag/role vocabulary, DynamoDB Local for local validation, and immutable GitHub Release installation paths when they model a consumer app.