Coordinate
- Identifier
hara/host-kernel- Coordinate
hara/host-kernel- Type
- host-kernel-spec
- Layer
- 01-lang
- Owner
- hara-lang
- Classification
- hara
- Accepted form
- application/edn
- Materialization
- Registry source
hara/host-kernel
Hara host and kernel boundary
Runtime authority contract between a Hara evaluator and its embedding host: kernel and session identity, capability grants, provider dispatch, settlement, and the boundary map to the surrounding specification layers.
draftalpha12 indexed rules
Conformance state
Machine-addressable
The canonical source contains requirement identifiers that can be connected to the Hara conformity checker.
Registry provenance
Exact source locations
The service catalogue was resolved from hara-lang/hara-specs-registry@a40b7da53ed8.