The Anoma Virtual Machine — formal specification and Rust implementation.

Directory	Description	CI
specs/	Formal Agda specification (docs)
avm/	Rust implementation (docs)

avm/
├── avm-core/       Core library: types, instructions, interpreter, Tape IR, CFG
├── avm-node/       Distributed runtime: TCP transport, location directory, CLI
├── avm-examples/   PingPong and Battleship demonstrations
└── avm-book/       mdbook documentation with Mermaid diagrams

# Run all tests (113 tests)
cd avm && cargo test --all

# Distributed demo (two terminals):
just avm demo-beta    # Terminal 1
just avm demo-alpha   # Terminal 2

• Interaction trees as the program model with avm_do! macro
• Layered instruction set matching the formal Agda spec
• Transactional execution with snapshot-restore on abort
• Tape IR compiler and flat register-based interpreter
• Control flow graph extraction with Mermaid visualization
• Distributed runtime with transparent TCP-based remote calls
• Typed protocols with Into<Val> / TryFrom<Val> for compile-time safety