Praxa: архитектура с привязкой к доказательствам для управления выполнением агентов LLM (arXiv:2610.00015v1)
В статье описан Praxa — средство для агентов, которое явно и проверяемо фиксирует этапы предложений, прав, исполнения, внешней верификации, сверки и продвижения через детерминированный допуск, посредническое исполнение, внешнюю проверку и рецензируемое продвижение. Авторы приводят четыре «направления» доказательств — аудит репозитория, пилот Terminal-Bench Core 0.1.1, сравнительный тест после отладки и развернутое конфигурационное свидетельство — при этом отмечают ограничения: отсутствуют сырые транскрипты, пилот не подтверждает превосходство и нет доказанного улучшения в продакшене или гарантий против злоумышленников.