Function boundary_model 

pub fn boundary_model(
    type_names: &[String],
    types: &HashMap<String, Arc<TypeDecl>>,
    instantiations: Vec<WireInst>,
    provenance: impl Fn(&str) -> Provenance,
) -> WireModel

Build the full WireModel for a boundary: every non-generic named type in type_names resolved through types, plus the generic instantiations the caller already collected (collect_generic_instantiations / collect_codec_closure). provenance is supplied by the caller — bynk-emit knows the build target and the consumed set; this crate must not (see the Provenance doc).