Demonstrates a capability-secure model in an execution substrate, indicating robust governance and verifiability.
We present an event-sourced execution substrate in which all state transitions are governed by a deterministic validation function and recorded in an append-only, hash-linked chronicle.The system separates proposal generation from authority, enforcing admissibility through a compiled governance layer and hardware-assisted identity constraints. To address non-confluence arising from history-dependent validation, we define correctness over observable state rather than full execution traces, yielding observational determinism. We further show that the system admits a CRDT-consistent interpretation at the level of observable projection under admissible schedules. The result is a capability-secure execution model with replay-verifiable state, fail-closed enforcement, and convergence guarantees over admissible event sets.
No takes yet. Share an insight, caveat, or question.
Cisneros et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: