Atomic Decision Boundaries for Guaranteed Execution-Time Admissibility in Autonomous Systems

A recent publication on arXiv presents the idea of atomic decision boundaries as a fundamental aspect for admission control in autonomous systems. The researchers contend that current governance frameworks assess policies prior to execution or reconstruct actions retrospectively, lacking the ability to ensure admissibility precisely when a state transition occurs. They introduce a labeled transition system (LTS) model that treats the decision-making process and the subsequent state transition as a unified step. The paper differentiates between two categories: atomic systems, where evaluation and transition happen simultaneously within a single LTS step, and split evaluation systems, which involve separate transitions interspersed with environmental actions. This division creates an architectural disconnect, as decision evaluation takes place in one system state while the transition occurs in another. The paper can be found on arXiv with the identifier 2604.17511.