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.

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.