Coordinate
- Identifier
hal/hbc-machine- Coordinate
hal/hbc-machine- Type
- portable-machine-spec
- Layer
- 01-lang
- Owner
- hara-lang
- Classification
- hara
- Accepted form
- application/edn
- Materialization
- Registry source
hal/hbc-machine
HBC synchronous machine semantics
Backend-neutral observable semantics for an authenticated and structurally validated HBC program. Implementations need not share internal frames, slots, dispatch code, or optimization tiers.
draft0-alpha0 indexed rules
Conformance state
Reference only
No executable requirement identifiers were declared for this source.
Registry provenance
Exact source locations
The service catalogue was resolved from hara-lang/hara-specs-registry@a40b7da53ed8.