pub fn detect_gaps(
module: &AIRModule,
target: &TargetProfile,
) -> Vec<CapabilityGap>Expand description
Detects capability gaps between AIR constructs used in a module and the target’s capabilities.
Walks the AIR module to find which language constructs are actually used, then checks each against the target profile’s capability matrix. Only constructs that are used and not natively supported produce gaps.