Техническая документация аудита смарт-контрактов и тестов

Подготовь детальную техническую документацию по смарт-контрактам для разработчиков [YOUR_COMPANY_NAME], пригодную для аудита.

Используй только входные данные:
- [CODE_SNIPPETS]
- [AUDIT_CHECKLIST]
- [VULNERABILITIES]
- [TOKEN_UTILITY]
- [TARGET_COMMUNITY]

Если информации не хватает, явно пометь это как "ИНФОРМАЦИЯ ОТСУТСТВУЕТ" и перечисли минимальные предположения с пометкой "ПРЕДПОЛОЖЕНИЕ". Не придумывай отсутствующие факты.

Верни Markdown-документ на русском языке сразу в разделах:
1) Краткое техническое резюме.
2) Компоненты.
3) Документация по функциям.
4) Сопоставление документации с чек-листом аудита.
5) Общие лучшие практики по безопасности.
6) Тестирование, валидация и верификация.
7) Развертывание и операционные заметки.
8) Least reliable assumption.
9) Пример реалистичного сценария, где недостаточная документация приводит к уязвимости.
10) Приложения и ссылки.

Что обязательно включить:
- по каждому контракту или модулю укажи назначение, зависимости, инициализацию, совместимость, связь с [TOKEN_UTILITY], события и ошибки;
- для каждой публичной, внешней и критичной внутренней функции дай сигнатуру, контроль доступа, эффекты на storage, взаимодействия, предусловия и постусловия, сценарии использования, failure modes, тест-кейсы, связь с [AUDIT_CHECKLIST], меры исправления и приоритет;
- в разделе 4 свяжи каждый пункт чек-листа с местом покрытия или пометь NEED_DOCUMENTATION;
- в разделе 5 перечисли минимум 10 security best practices;
- в разделе 6 предложи уровни тестирования и по 5-8 проверок или свойств на каждый уровень с релевантными инструментами;
- в разделе 8 выдели только одно наименее надежное предположение и конкретный способ эмпирической проверки;
- в разделе 9 опиши один развернутый реалистичный сценарий, как пробел в документации приводит к уязвимости;
- для всех рекомендаций указывай степень уверенности: High, Medium или Low.