Module runtime_backend 

Storage backends behind the runtime semantics (design §8.1).

runtime_core only talks to a ValueStore; the native runtime uses PointerStore (validated tagged real pointers retained for the store’s lifetime) while the wasm simulator and host tests use HandleStore (arena indices). Code addresses are carried as an opaque CodeHandle: the native runtime interprets it as a function address, a simulator as a label / instruction index.

Structs

HandleStore

Arena-backed store: ((index << 3) | 0b001). Used by the wasm simulator and by host-side tests; never hands out host pointers.

PointerStore

Traits

ValueStore

Type Aliases

CodeHandle

Opaque code reference stored inside closures. Only the execution adapter that created it may interpret it (function pointer vs simulated PC).