Module host_op 

Kernel-known host call opcode space (in the ecalli immediate), 16..=63. Stage 3.8 lands HOST_YIELD; subsequent sub-stages fill the rest.

Constants

DERIVE_SPAWN

host_derive_spawn(image_slot=φ[7], dst_slot=φ[8]).

HOST_CALL

host_call(instance_slot=φ[7], endpoint_idx=φ[8]) — push a child InstanceEntry from the Cap::Instance at instance_slot, move the caller’s slot[0] into the child’s slot[0]. The interpreter exits with ExitReason::HostCall(HOST_CALL); the drive_and_translate loop re-enters Interpreter::run on the new top frame. On child HALT the loop pops the child, reflects its slot[0] back into the caller’s slot[0], and resumes the caller.

HOST_MINT_DATA_CAP

host_mint_data_cap — Stage 4 (needs cache write).

HOST_OPEN

host_open — Stage 4 (needs cache read + slot write).

HOST_READ_DATA_CAP

host_read_data_cap — Stage 4 (needs cache read into mem).

HOST_SAME_TYPE

host_same_type(slot_a=φ[7], slot_b=φ[8]).

HOST_SAVE

host_save — Stage 4 (needs cache write + slot write).

HOST_TYPE_OF

host_type_of(src_slot=φ[7], dst_slot=φ[8]) — Stage 4 (needs cache write).

HOST_YIELD

MAKE_IMAGE

host_make_image(...) — Stage 3.9 stub.

MAX

Inclusive upper bound of the kernel-known host call range.

SET_IMAGE

set_image(image_slot=φ[7]) — extend the active Instance’s image_hash_chain with the Image at image_slot.