The MIGRATE direction — a legacy PlatformManifest → the C053 { system, brand } split (the inverse of
liftSystemBrand). opts → per-service serviceOpts; vars split into globalServiceOpts (system-shaped) vs
globalBrandOpts (identity). Round-trips byte-for-byte: liftSystemBrand(liftLegacy(m)) generates the same app as m.
The MIGRATE direction — a legacy PlatformManifest → the C053
{ system, brand }split (the inverse of liftSystemBrand).opts→ per-service serviceOpts;varssplit into globalServiceOpts (system-shaped) vs globalBrandOpts (identity). Round-trips byte-for-byte:liftSystemBrand(liftLegacy(m))generates the same app asm.