Coordination of Governed Agents Over Shared Context
Declarative Governance and Lyapunov-Tracked Finality
Jean-Baptiste Dézard · Deal ex Machina SAS · March 2026
This is an open preprint. It is not on arXiv (endorsement is required for unaffiliated authors). A DataCite DOI will follow on Zenodo; a French national record on HAL. Cite this URL until the DOI exists.
Abstract
LLM-powered agents that reason, hypothesise, and contradict each other require coordination mechanisms beyond static DAGs or predefined topologies. We propose declarative governance over shared immutable context: agents reason over a bitemporal, CRDT-inspired semantic graph and propose state transitions evaluated by a deterministic reduction kernel. A product lattice (M = L \times A) with explicit meet and join unifies governance admissibility with a multi-dimensional convergence rank; the stalks carry Riesz-space structure making (V(t) = |\mathbf{g}(t)|^2_{\mathbf{w}}) monotone in the order. An Epoch Termination Theorem guarantees finite stabilisation under (\delta_{\min})-discretisation. Convergence is tracked by this Lyapunov function; a vector finality predicate prevents compensation attacks where one dimension masks another's failure. Five independent gates guard against premature finality, and Ed25519-signed certificates provide cryptographic non-repudiation. Finality is not terminal: new evidence re-opens convergence, producing a chain of certified checkpoints. Validation on M&A due diligence and financial consolidation with bitemporal restatement shows (V(t) \to 0) at resolution epochs, sawtooth dynamics across evidence epochs, and gate-confirmed robustness against adversarial evidence patterns.
Cite
@misc{dezard2026governed,
title = {Coordination of Governed Agents Over Shared Context:
Declarative Governance and Lyapunov-Tracked Finality},
author = {D{\'e}zard, Jean-Baptiste},
year = {2026},
month = mar,
howpublished = {Open preprint},
url = {https://huggingface.co/jeanbaptdzd/coordination-governed-agents},
note = {PDF on Hugging Face Hub. DataCite DOI pending (Zenodo).}
}