Function compile_with_extraction_documents 

pub fn compile_with_extraction_documents(
    def: &Definition,
    descriptors: &[BackendDescriptor],
    calibrations: &[CalibrationArtifact],
    sources: &[SourceDescriptor],
    execution: Option<&ExecutionPolicy>,
    templates: &[PromptTemplate],
    programs: &[ExtractRules],
) -> Result<Compiled, Refusal>

Check extraction with supplied fallback programs and prompt documents. Extraction and acceptance emit plan 3 bindings.