Function compile_program_to_c_offloaded 

pub fn compile_program_to_c_offloaded<'a>(
    prog: &'a CompiledProgram,
    policy_ctx: Option<(&'a Interner, &'a PolicyRegistry)>,
    offloads: &[Offload],
) -> Result<OffloadedC, String>

The Op-walker with an offload table. Each function the table names asks its device first, at its entry, so every caller’s call is offered: logos_dev_call(region, args, &out) with the parameters in their ports, whose DONE answer is the call’s result and whose DECLINED answer runs the body the walker emits for it anyway. A function a port cannot serve — a parameter or result whose settled kind the port does not carry — stays on the host, reported in kept. The driver’s definition is the caller’s to append.