标签
QuixiAI 开源了 Sovereign Protocol Language (SPL)，一个基于 Lean 4 的形式化库，为"主权代理协议"(Protocol of Sovereign Agency) 提供规范性语义，核心包括 Duty、Power、Immunity 等原语以及 Law 3 非干扰实验，全部定理经内核验证、无公理依赖。