Function eval_wprog_config_counted_heap_preloaded 

pub fn eval_wprog_config_counted_heap_preloaded(
    cfg: &WProgConfig,
    params: &[i64],
    heap_init: &[i64],
) -> (i64, u64, Vec<i64>)

As eval_wprog_config_counted_heap but the heap starts PRE-LOADED with heap_init — the DATA-segment model of a chip that receives its weights streamed into memory separately from the kernel. loaded() lowers to heap pointer 0, so item k of loaded() reads heap_init[k] (heap_init[0] = the blob length, heap_init[1..] = the weights). The bump allocator is simply heap.len(), so runtime collections allocate PAST the pre-loaded region automatically — no separate hp seeding needed. This is what lets the streamed transformer run ≡VM on the engine without Push-building its ~3,136 weights into the config.