Hara Build

hal/bytecode-vm

Rust HAL staged bytecode VM (milestones 1-5: synchronous core through persistent artifacts)

Rust-only implementation contract for the experimental, feature-gated bytecode VM: execution model, instruction set, persistent program representation, validation, lexical slots, stackless function calls, exception handling, globals and namespaces, primitive dispatch, diagnostics, and conformance. It does not require Java or another HAL runtime to implement a stack VM, this opcode set, numeric slots, frames, handlers, or this compiler. Portable HAL language behavior remains owned by the shared language specifications and corpora.

draftalpha0 indexed rules

Coordinate

Identifier
hal/bytecode-vm
Coordinate
hal/bytecode-vm
Type
runtime-implementation-spec
Layer
01-lang
Owner
hara-lang
Classification
hara
Accepted form
application/edn
Materialization
Registry source

Registry provenance

Exact source locations

The service catalogue was resolved from hara-lang/hara-specs-registry@a40b7da53ed8.