Referential Regimes 提出基于变换的中性基底身份画像

论文研究数据系统在持续分歧下的身份保持，将候选身份基础与记录变换族配对并分类。 作者利用不变量定义的身份基础和显式效应模型，在 Lean 4 中推导并认证了六个分类单元，揭示了分类依赖于字段粒度、允许的变换步骤及连续性保证。 形式化使身份主张可审计，为变换记录的系统提供可测试条件，但结果条件于声明的基础、模型和保证。