← All papers
First page of The Axiom of Consent: Friction Dynamics in Multi-Agent Coordination

The Axiom of Consent: Friction Dynamics in Multi-Agent Coordination

Murad Farzulla

cs.MA Jan 10, 2026 · v2 cs.CY
Provides machine-checked Lean 4 proofs of the core comparative-statics of a consent-based coordination-friction framework.
Multi-agent systems must coordinate despite heterogeneous preferences, asymmetric stakes, and imperfect information. When coordination fails, friction emerges: measurable resistance such as deadlock, thrashing, or conflict. We derive a formal framework for coordination friction from a single axiom: actions affecting agents require their authorization in proportion to stakes. From this axiom of consent we establish the kernel triple $(α, σ, \varepsilon)$ -- alignment, stake, and entropy -- as sufficient statistics for any resource-allocation configuration, and propose a friction functional whose simplest candidate form $F = σ(1+\varepsilon)/(1+α)$ predicts that friction rises with stakes and entropy and falls with alignment. We stress that this form is a phenomenological ansatz, not a theorem -- the simplest expression satisfying our desiderata -- whose empirical adequacy, in particular whether the alignment dependence is monotone, remains open. A companion study tests it in a multi-agent reinforcement-learning environment, finds the linear alignment dependence falsified by a U-shaped relationship, and motivates a quadratic form $F = σ(1+\varepsilon)/(1+α^2)$ that we characterize axiomatically as a refinement for future confirmation. The Replicator-Optimization Mechanism governs selection over coordination strategies: lower-friction configurations persist longer, making consent-respecting arrangements dynamical attractors rather than normative ideals. We give formal definitions for resource consent, coordination legitimacy, and friction-aware allocation, a measurement apparatus, and machine-checked Lean 4 proofs of the core comparative-statics. Illustrative applications to cryptocurrency governance and political legitimacy show one architecture spanning domains, offered as candidate unification, not established identity.

Multi-agent coordination failures produce measurable friction, but there is no formal framework deriving when consent-respecting arrangements emerge and persist.

From a single axiom of consent, the authors derive a kernel triple (alignment, stake, entropy) and a friction functional F=sigma(1+epsilon)/(1+alpha), embedded in replicator-optimization dynamics. The core comparative-statics propositions are verified with machine-checked Lean 4 proofs; a companion MARL study tests the functional empirically.

The framework yields friction-aware allocation results and selection toward lower-friction configurations; the empirical companion falsifies the linear alignment dependence (U-shaped relation), motivating a quadratic refinement. The Lean 4 development proves propositions such as friction vanishing iff stake is zero.

Lean theoremPaper resultDescription
friction_eq_zero_iffProp. 2.1F=0 iff sigma=0
friction_posThm. 4.9sigma>0 implies F>0
Selected Lean 4 theorems (FormalAgent/consent development)