Work

Decision Safety System: Pre-Execution Enforcement of AI Decision Constraints

Year: 2026

Type: article

Abstract: A deterministic pre-execution enforcement layer for AI decisions in consequential domains. Evaluates every decision against a formal constraint set before execution. Invalid decisions are blocked and never returned. Three formal invariants verified using TLA+ model checking. Demonstrated with a lending scenario producing a verifiable audit record. Reference implementation of Article VII of the Constitutional Protocol for AI and Technology.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.19417331

Author: Ferreira Vila Chã Esteves, Ana Margarida

Language: English

Topic: Ethics and Social Impacts of AI

Subfield: Safety Research

Field: Social Sciences

Domain: Social Sciences

SDG: Peace, justice, and strong institutions

Open Access status: green

OpenAlex ID: W7149614520

FWCI:

Cites:

Cited by:

Related to: