Устойчивое к сбоям сохранение бюджета при распределённой делегации многопользовательских агентов (arXiv:2610.00349v1)
Предварительная версия на arXiv (arXiv:2610.00349v1) формализует «устойчивое к сбоям сохранение бюджета» для распределённой делегации агентов. Бюджеты представлены как квантованные векторы ресурсов, перемещаемые через делегационный DAG с использованием эксклюзивных эскроу-кредитов; перед отправкой формируются подписанные разрешения на диспетчеризацию, проверяемые шлюзом, неуверенные эффекты остаются списанными до расчёта или аутентифицированного доказательства отсутствия эффекта; документ доказывает свойства (partition владения, сохранение реестра и эффектов, единократное расчёт, изоляция при разбиениях) и проверяет механизм с помощью TLA+, JavaScript-обозревателя и экспериментов с SQLite.