ИССЛЕДОВАНИЕ · RESEARCH · #1419
Praxa: архитектура с привязкой к доказательствам для управления выполнением агентов LLM (arXiv:2610.00015v1)
В статье описан Praxa — средство для агентов, которое явно и проверяемо фиксирует этапы предложений, прав, исполнения, внешней верификации, сверки и продвижения через детерминированный допуск, посредническое исполнение, внешнюю проверку и рецензируемое продвижение. Авторы приводят четыре «направления» доказательств — аудит репозитория, пилот Terminal-Bench Core 0.1.1, сравнительный тест после отладки и развернутое конфигурационное свидетельство — при этом отмечают ограничения: отсутствуют сырые транскрипты, пилот не подтверждает превосходство и нет доказанного улучшения в продакшене или гарантий против злоумышленников.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- В статье описан Praxa — средство для агентов, которое явно и проверяемо фиксирует этапы предложений, прав, исполнения, внешней верификации, сверки и продвижения через детерминированный допуск, посредническое исполнение, внешнюю проверку и рецензируемое продвижение.
- Авторы приводят четыре «направления» доказательств — аудит репозитория, пилот Terminal-Bench Core 0.1.1, сравнительный тест после отладки и развернутое конфигурационное свидетельство — при этом отмечают ограничения: отсутствуют сырые транскрипты, пилот не подтверждает превосходство и нет доказанного улучшения в продакшене или гарантий против злоумышленников.
- Praxa важна тем, что предлагает архитектуру с привязкой к доказательствам, делающую переходы от прав к эффектам явными и тестируемыми, повышая аудитируемость, хотя текущие результаты не доказывают выгоду в продакшене или защиту от атак.
ПОЧЕМУ ЭТО ВАЖНО
Praxa важна тем, что предлагает архитектуру с привязкой к доказательствам, делающую переходы от прав к эффектам явными и тестируемыми, повышая аудитируемость, хотя текущие результаты не доказывают выгоду в продакшене или защиту от атак.