Module derivation 

Free fns that derive compiler-friendly summaries off a bare ModelProto. The chosen-path install constructs concrete instances via the inventory’s construct_fn at install time; the IR carries no instance state, so the only derivations the compiler + Node need are the generic-placeholder slot specs and the partition name.

Structs

GenericSlotSpec

Description of a generic placeholder slot the user must bind at Node construction via with_<role>(impl).

Functions

derive_generic_slots

Walk every NodeProto in every function of the ModelProto; collect distinct (slot_id, required_trait) pairs from metadata_props.

derive_partition_name

Concern 1 - the composite partition name lives on model.functions[0].name. Convenience accessor.