技术论文，
证明过，不是宣称过。
MAREF 的形式化验证、状态机设计、收敛保证与安全架构——完整公开，每条定理、每个基准都可复现。
技术白皮书
中文MAREF：多智能体系统递归自演进治理框架。分层架构、Gray Code 状态机、八层纵深防御、四级决策树、TLA+ 验证结果、Lyapunov 稳定的自演进、国密 SM2/SM3/SM4。
Technical Whitepaper
ENMAREF™: A Recursive Self-Evolving Governance Framework for Multi-Agent Systems（英文 arXiv 版）。
安全白皮书
中文STRIDE 威胁模型、八层纵深防御、四级决策树形式化规约、TLA+ 已验证定理、红蓝对抗测试结果、竞品安全对比矩阵、合规映射。
Convergence Whitepaper
EN递归自演进的形式化保证：Lyapunov 收敛证明、300 轮经验数据、宪法红线验证、Pareto 前沿分析、TLA+ 模型检验结果。
五卷白皮书 · 卷一：Agent 治理 — 从护栏到操作系统
中文治理为何是位于编排层之下的独立操作系统。失控的三类现场、编排层为何不能兼任治理、治理操作系统的五维模型（身份/权限/行为/异常/合规）、MAREF 参考实现与行业实践。
Five-Volume Whitepaper · Vol.1: Agent Governance — From Guardrails to Operating System
ENWhy governance is an independent operating system beneath the orchestration layer. Three runaway scenarios, why orchestration can't double as governance, the five-dimension model, MAREF's reference implementation, and industry practice.
全文已完整发布在本站
技术白皮书的英文原版与中文版都已全文托管在本站——每条证明、每个公式、每张基准表都原生渲染， 无需跳转即可完整阅读。引用副本在 arXiv cs.MA（多智能体系统）分类下维护。