Fail-Closed Execution Governance: Typed Authority Decisions, Acyclic Evidence Hashes, and Single-Use Commit Tokens

English PGA-v0.2.1 is a narrowly scoped, fail-closed execution-governance specification for AI-proposed actions. It separates capability, proposal, commitment, and execution authority. An action can reach execution only through typed provenance, current policy and gate bindings, exact scope agreement, an optional hash-bound human authorization receipt, a final recheck, an acyclic authority decision, an immutable single-use execution token, and an atomic commit transaction. Missing, stale, conflicting, expired, replayed, or unbound authority-critical inputs block execution. PGA-v0.2.1 was developed through an implementability review of v0.2. That review exposed three normative defects: a content-hash cycle between the authority decision and its execution token; an audit-event hash whose preimage included its own hash field; and an ambiguity between mutable token state and the stable token identity referenced by a commit receipt. Version 0.2.1 replaces these constructions with explicit canonicalization and domain-separated hash profiles, an acyclic decision–token sequence, immutable single-use tokens, separate revocation records, and atomic token consumption and commit semantics. This record contains English and Hungarian explanatory versions of the manuscript in PDF and editable source formats. It presents a specification and a preregistered evaluation design, not a completed implementation or a general safety guarantee. All 183 specified tests remain NOT_RUN; the reference implementation is NOT_STARTED; and all nine production gate bindings remain UNBOUND → BLOCKED. Companion machine-readable specification artifact:10.5281/zenodo.21969324 Magyar A PGA-v0.2.1 szűk hatókörű, fail-closed végrehajtási governance-specifikáció mesterséges intelligencia által javasolt cselekvésekhez. Elkülöníti a képességet, a javaslatot, az elköteleződést és a végrehajtási jogosultságot. Egy cselekvés csak tipizált proveniencia, aktuális policy- és gate-kötések, pontos hatókör-egyezés, szükség esetén hashhez kötött emberi engedély, végső újraellenőrzés, aciklikus jogosultsági döntés, megváltoztathatatlan egyszer használható végrehajtási token és atomi commit-tranzakció után juthat el a végrehajtásig. A hiányzó, elavult, ütköző, lejárt, visszajátszott vagy be nem kötött jogosultságkritikus bemenet blokkolja a végrehajtást. A PGA-v0.2.1 a v0.2 implementálhatósági vizsgálatából született. A vizsgálat három normatív hibát tárt fel: tartalomhash-kört a jogosultsági döntés és a végrehajtási token között; olyan auditesemény-hasht, amelynek bemenete saját hashmezőjét is tartalmazta; valamint ellentmondást a token változó állapota és a commit-nyugta által hivatkozott stabil tokenazonosság között. A v0.2.1 ezeket explicit kanonizálással és tartományelválasztott hashprofilokkal, aciklikus döntés–token sorrenddel, megváltoztathatatlan egyszer használható tokenekkel, külön visszavonási rekordokkal, valamint atomi tokenfelhasználási és commit-szemantikával váltja fel. Ez a rekord a kézirat angol és magyar magyarázó változatát tartalmazza PDF-ben és szerkeszthető forrásformátumokban. A munka specifikációt és előre rögzített értékelési tervet közöl, nem kész implementációt és nem általános biztonsági garanciát. Mind a 183 meghatározott teszt státusza NOT_RUN; a referencia-implementáció NOT_STARTED; mind a kilenc produkciós gate-kötés pedig UNBOUND → BLOCKED. Kapcsolódó, géppel feldolgozható specifikációs artefaktum:10.5281/zenodo.21969324