MAREF is an open-source governance layer for multi-agent systems: runtime policy enforcement, Ed25519 audit chains, TLA+-verified invariants, and human-in-the-loop gates.