Function convert_imported 

pub fn convert_imported<E>(
    import: ImportResult,
    exporter: &E,
    target: &TargetProfile,
    policy: LossPolicy,
) -> Result<ConversionResult<E::Output>, ConversionError>
where
    E: ExportAdapter,

Continues conversion from one completed native-to-neutral import.

This boundary lets orchestration select importers and exporters as independent dimensions while retaining the same validation, combined fidelity plan, and policy authorization used by convert.

Errors

Returns ConversionError::Import when import has no usable application or contains an error diagnostic, and ConversionError::InvalidPlan when the export adapter violates plan invariants.