QuixiAI 开源 Charter v0.3.0：可形式化验证的机构章程规范语言

QuixiAI 开源 Charter 仓库（v0.3.0），用于以 Lean 构建可形式化验证的机构规范、组合与投影语言。Charter 程序采用 .charter 文件，声明角色、行为、事实与参数并逐条引用权威英文条款，命令行可执行来源校验、法律与按角色视图、场景推演、反事实解释、AI 宪法提示词、智能合约守卫、修正案 diff 和参数扫描等分析。