Technical papers,
proved not claimed.
MAREF's formal verification, state machine design, convergence guarantees, and security architecture — published in full, with every theorem and every benchmark.
Technical Whitepaper
ENMAREF™: A Recursive Self-Evolving Governance Framework for Multi-Agent Systems. Layered architecture, Gray Code state machine, 8-layer defense, 4-tier decision tree, TLA+ verification results, Lyapunov-stable self-evolution, and SM2/SM3/SM4 national cryptography.
技术白皮书
中文MAREF:多智能体系统递归自演进治理框架(中文版)。与 arXiv 技术论文内容互补,面向中文技术读者。
Convergence Whitepaper
ENFormal guarantees for recursive self-evolution. Lyapunov convergence proof, 300-round empirical data, constitutional red lines verification, Pareto frontier analysis, and TLA+ model check results.
安全白皮书
中文STRIDE threat model, 8-layer defense-in-depth, formal spec of the 4-tier decision tree, TLA+ verified theorems, red-blue adversarial test results, competitor security comparison matrix, and compliance mapping.
Full paper, hosted here
The complete English technical whitepaper — every proof, every formula, every benchmark table — is published in full on this site with native math typesetting. Read it end-to-end without leaving the page. A citation copy is maintained on arXiv under the cs.MA (multiagent systems) category.