Expand one transitive closure into compact self-contained DM-JSON without invoking the internal model loader. Interpreter-specific evaluability checks therefore belong to prepare, not this conversion boundary.