Function lower_provider_item_ir 

pub fn lower_provider_item_ir(
    provider: &ProviderDecl,
    program: &CheckedProgram,
) -> IrItem

P6.14 (#1174): assemble a provider declaration into a real bynk_ir::IrItem::Provider — reads ProviderDecl::external straight into ProviderBody’s own Bynk/External dispatch (bynk_ir::IrItem’s own doc comment has the full grounding for why this, unlike Actor, was buildable this slice). external: true means ops is empty by the field’s own doc comment (bynk-syntax/src/ast.rs:592-595) — nothing to lower. given lowers unconditionally via lower_provider_given_ir (#1187’s Provider given/deps-wiring slice, fixing a real gap the External variant’s own bare-unit shape used to leave: provider.given is populated the same way regardless of external, and ProviderBody::Bynk’s own doc comment names why it, unlike module, is not deferrable — that reasoning always applied to External too, just wasn’t wired through).