ИССЛЕДОВАНИЕ · RESEARCH · #1402
Устойчивое к сбоям сохранение бюджета при распределённой делегации многопользовательских агентов (arXiv:2610.00349v1)
Предварительная версия на arXiv (arXiv:2610.00349v1) формализует «устойчивое к сбоям сохранение бюджета» для распределённой делегации агентов. Бюджеты представлены как квантованные векторы ресурсов, перемещаемые через делегационный DAG с использованием эксклюзивных эскроу-кредитов; перед отправкой формируются подписанные разрешения на диспетчеризацию, проверяемые шлюзом, неуверенные эффекты остаются списанными до расчёта или аутентифицированного доказательства отсутствия эффекта; документ доказывает свойства (partition владения, сохранение реестра и эффектов, единократное расчёт, изоляция при разбиениях) и проверяет механизм с помощью TLA+, JavaScript-обозревателя и экспериментов с SQLite.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- Предварительная версия на arXiv (arXiv:2610.00349v1) формализует «устойчивое к сбоям сохранение бюджета» для распределённой делегации агентов.
- Бюджеты представлены как квантованные векторы ресурсов, перемещаемые через делегационный DAG с использованием эксклюзивных эскроу-кредитов; перед отправкой формируются подписанные разрешения на диспетчеризацию, проверяемые шлюзом, неуверенные эффекты остаются списанными до расчёта или аутентифицированного доказательства отсутствия эффекта; документ доказывает свойства (partition владения, сохранение реестра и эффектов, единократное расчёт, изоляция при разбиениях) и проверяет механизм с помощью TLA+, JavaScript-обозревателя и экспериментов с SQLite.
- По мере того как системы ИИ всё чаще делегируют задачи ненадёжным параллельным исполнителям, предложенный формальный механизм даёт доказуемые ограничения и правила, предотвращающие перерасход и двойное списание при сбоях, повторах, дубликатах и разбиениях сети.
ПОЧЕМУ ЭТО ВАЖНО
По мере того как системы ИИ всё чаще делегируют задачи ненадёжным параллельным исполнителям, предложенный формальный механизм даёт доказуемые ограничения и правила, предотвращающие перерасход и двойное списание при сбоях, повторах, дубликатах и разбиениях сети.