Function analog_int_artifact_from_source 

pub fn analog_int_artifact_from_source(
    src: &str,
    fn_name: &str,
    target: &AnalogTarget,
) -> Result<AnalogArtifact, AnaLowerError>

The INTEGER pipeline for one region function: lower through the int lane, schedule, place, take the CALIBRATED physical budget (the product configuration — trims burned at final test), and PROVE exactness through the ½-grid gate before any artifact exists. An integer artifact is therefore certified-exact by construction: its budget is the proof.