VM Specification

• Startup
  • Top-Level Startup
  • Startup Message
  • Runner Startup
  • Sub-VM Creation
  • Meta-Property Derivation
  • Custom-Runner Grants
• Meta-Properties
  • Execution Meta-Properties
  • Permission Meta-Properties
• Resource Limiting
  • RAM Consumption
  • Nondeterministic Output Caps
  • RAM Release
  • Other Limits
• Switching To gvm-def-non-det-mode
  • Leader Mode
  • Sync Mode
  • Validator Mode
  • Fees
• VM Execution Result
  • Result Kinds
  • VM Error Code Format
  • InternalError
  • Non-Deterministic Block Result Encoding
  • Leader Output Format
  • Contract Result Encoding
  • Execution Hash
  • Sub-VM Result Hash
  • Post-Execution Result Validation