QuixiAI 发布基于 Lean 4 的形式化验证规则语言 Charter

QuixiAI 宣布将 Sovereign Protocol Language 演进为 Charter，这是一个基于 Lean 4 构建并通过 eFLINT 全部测试的超集 DSL。Charter 面向宪法、协议、章程、合同和规章等制度规则，包含事实、行为、义务、权力、豁免、时间、模块和出处溯源等通用构造，项目已开源。