Typescript Record复杂泛型类型映射生成交叉类型问题求助

我花了整整一个工作日处理这个问题，脑子都快转不动了。我正在编写一个类型安全的映射函数，它有两个预期特性：

• 可根据映射类型识别必填属性
• 可基于ReturnType推断输出类型

但当前实现存在问题：没有对每个Record单独应用我编写的类型映射规则，而是一次性对所有值统一处理，最终生成了所有可能项的交叉类型，而非每个项独立对应的类型。这个问题的表现很难用语言精准描述，相关可运行验证示例已在TypeScript Playground完成测试。

内容的提问来源于stack exchange，提问作者Patrick L.