Abstract We formalize a distributed, local-first agent architecture (Zero Lattice) and extend it with a deterministic execution substrate. By introducing policy-gated validation, replay-verifiable state transitions, and a cryptographic execution chronicle, we transform probabilistic agent systems into verifiable, high-assurance computing substrates.
Brady et al. (Fri,) studied this question.