Кто проверяет, кто на какой подставе, с какими доказательствами? Протокол ревизии с учетом принципа независимости для агентских АИ

arXiv:2609.18272v1 Annuaire Type: New Humber Abstract: Agentic AI Systems Plansing, Appeed instruments and property with limited continution; в настоящее время они являются предметом как аудиторских проверок, так и все чаще аудитора. Независимость, лежащая в основе гарантии, по-прежнему применяется к ним как двоичный фактор. Мы утверждаем, что его следует расценить по трем ортогональным направлениям: основная независимость (кто контролирует аудитора), подстраивание независимости (аудитор, разделяющий семейство аудированных моделей фонда, система инструментов или охранников не справляется с ней) и независимость доказательств (независимо от того, являются ли доказательства подтвержденными, а не самосообщенными). Каждая ось имеет прецедент; вклад заключается в том, чтобы оценить все три на основе одной ревизии, скомбинировать их по самой слабой линии и применять одну и ту же рубрику, когда аудитор сам является агентом. Мы придаем этой модели формальную основу путем трансплантации бета-факторной модели общего сбоя в результате разработки надежного протокола, результаты которого могут быть проверены третьей стороной, структурный анализ обнаруживаемости