Function wprog_config_fits_engine 

pub fn wprog_config_fits_engine(cfg: &WProgConfig) -> Result<(), String>

Does cfg fit the fixed generic engine? Returns Err naming the first exceeded dimension. A program that overflows any bound CANNOT run on the one-size netlist, so its image must be rejected LOUDLY here rather than producing silently-wrong results (a flat-array overflow corrupts later blocks’ cells/writes; an over-NREG register indexes a nonexistent file slot → 0 — the two failure modes the Mandelbrot kernel first exposed). The cell_*/wr_*/liv_reg/arg_op/konst memories are FLAT with accumulating per-block pointers, so their bounds are program TOTALS, not per-block. Called by wprog_config_image — every image is checked.