AVM Core Specification
This section collects the formal specification of the Anoma Virtual Machine (AVM): the instruction semantics, execution model, and runtime behavior.
-
1. System Model
The assumptions for distributed, transactional execution.
-
2. Runtime Context
State, errors, and trace types that the interpreter and runtime share.
-
3. Instruction Set
The primitive operations for object lifecycle, transactions, and distributed execution.
-
4. Interpreter
Operational semantics that define how instructions transform state.
-
5. Runtime Guidance
Non-normative guidance for building a runtime that meets the spec.