Skip to main content

certify_reconfig

logicaffeine_compile::codegen_sva::fabric_grid

Function certify_reconfig 

Source 
pub fn certify_reconfig(
    sources: &[(&str, &str)],
    width: u32,
    cfg_width: u32,
) -> Vec<bool>
Expand description

Certify the reconfigurable array END TO END (Phase 5): build one grid per source function (they must be same-shape residuals so they place identically), then for EACH config value k prove via our certified SAT that config == k reconfigures the ONE array to be EXACTLY the bespoke island grids[k], for ALL inputs. Returns the per-config verdicts — all true ⇒ the config word (streamed per block from the bytecode frame) losslessly selects any block’s datapath on one physical array: “the fabric IS the interpreter”. Each source is (program, fn_name) with a straight-line residual body.