pub fn check(
inst: &Instance,
loaded: &Loaded,
config: &str,
hf_quant: Option<&str>,
) -> Result<(), VennError>Expand description
2026-09-29: Ok when config (and hf_quant, if the checkpoint ships one) agree with the
instance and its loaded circuit.