Авторизация во время выполнения для ИИ-агентов: формальная основа детерминированных границ управления

В статье авторизация во время выполнения (execution-time authorization, ETA) формализуется как детерминированная граница управления для ИИ-агентов и других автономных систем, предлагаемые действия которых могут приводить к последствиям в реальном мире. ETA определяется как уровень принудительного контроля перед выполнением, который до исполнения оценивает канонизированные экземпляры действий относительно версионированной политики и состояния управляемой системы, формируя воспроизводимое при повторном проигрывании решение об авторизации и защищённый от незаметного изменения, независимо реконструируемый артефакт авторизации. ETA отделяется от смежных категорий, которые часто ошибочно принимают за механизмы принудительного управления, включая защитные ограничения, методы выравнивания, управление идентификацией и доступом, инструменты наблюдаемости, оркестрацию агентов и движки политик. Утверждается, что эти системы могут выполнять полезные функции обеспечения безопасности, видимости, оценки политик или координации, но сами по себе не являются авторизацией во время выполнения, если не работают на не подлежащей обходу границе исполнения, не применяют отказ в закрытом режиме при отсутствии явно вынесенного решения ALLOW и не создают артефакт авторизации, достаточный для независимой реконструкции решения. Версия 2.1 расширяет выпуск февраля 2026 года, добавляя структурированное соотнесение с предшествующими разработками в области контроля доступа и движков политик, включая традицию эталонного монитора, полное посредничество и безопасные значения по умолчанию при отказе, архитектуру XACML PDP/PEP, OPA/Rego, Cedar, Zanzibar и доказательства с сопровождением кода. В статье соответствующим образом сужается утверждение о новизне: ETA не претендует на изобретение посредничества при доступе, точек принятия решений по политикам или доказательств с сопровождением. Определяется конкретная архитектурная композиция: граница авторизации во время выполнения, которая удерживает конкретный экземпляр действия до его исполнения, связывает решение с политикой, состоянием и каноническим представлением действия, применяет отказ в закрытом режиме при отсутствии авторизации и выдаёт артефакт авторизации, пригодный для повторного проигрывания. В этой версии также вводится инвариант актуальности состояния и привязки к выпуску. Соответствующая требованиям реализация ETA mu...