Function lower_program_with 

pub fn lower_program_with(
    source: &str,
    target: &SpatialTarget,
    dense: &BTreeSet<String>,
    tp: Option<&TpManifest>,
    sections: SectionCertification,
) -> Result<ProgramLowering, SpatialReject>

The whole tensor program lowered with its sections certified as sections says — lower_program’s two paths, public so a lock can hold them to one answer.