Проверить опубликованные числа
Скачать комплект ZIP. Для независимого пересчёта распакуйте его и выполните python3 audit.py. Полный повтор требует разрешённого доступа к закрытому снимку CapyAgent; исходник продукта и исполняемый файл в архив не входят.
Файлы исследования
- Протокол до исполнения
- 40 исходных результатов
- 45 строк внешних эффектов
- Независимый пересчёт
- Код независимого пересчёта
- Вспомогательная Go-программа
- Тестовый сервис и сценарий остановок
- Экспорт внешнего счётчика
- Версия и контрольные суммы исходников
- Хеши входов до исполнения
- Контрольные суммы комплекта
- Команды и ограничения
- Лицензия CapyAgent
- Уведомления о сторонних компонентах
Границы опыта
Останавливался вспомогательный процесс с настоящим файловым хранилищем, а не весь агент. Внешний HTTP-сервис работал локально. Модель, production-права, платежи, потеря питания и сетевое разделение не проверялись.
Вернуться к полной статье