Analysis interop & codegen polish

ExternalLibrary analysis trait/registry, export-FFI HIR legality, frozen ABI allowlist ordering, compiler formatter notes for packageKind tool profile, and e2e CLI artifact label alignment—compiler-side interop completing the 23 May FFI/import tracks.

Provenance

• Repository: beskid
• Commit: f6fb5a6
• Subject: merge(v0.3): export-ffi-link-time into main
• Closed: 2026-05-23

Catalog scope

• Delivery version: v0.3 (Macros, concurrency, and stabilization)
• Cutoff: f57377a→aaddd32 on superrepo beskid
• Workstreams: compiler-mods, analysis-pipeline, ffi-export

Relation

Delivery anchor for 2 catalog task(s) in the v0.3 window; see linked workstreams and tasks with milestoneId / deliverableId v03-analysis-interop.