Files

T

mayatnikovandClaude Opus 5 db45978b16 Этап 6: закалка — лимиты ADR-021, аудит модели угроз, сверка документов

Лимиты: все четыре правила ADR-021 — регистрация 5/час на IP, вход 10/10 мин
на IP и ник, сообщения 30/мин, прочие изменяющие 60/мин; 429 с Retry-After;
X-Real-IP читается только с loopback, иначе адрес соединения — иначе заголовок
отменял бы лимит на IP; карты вёдер ограничены поколениями.

Аудит нашёл то, что пропустили пять раундов ревью:
ADR-056: nginx вёл access_log с IP и полными путями вопреки обещанию deploy.md.
Ники и социальный граф ложились в /var/log/nginx рядом с чистым журналом bare.
ADR-058: «выйти на других устройствах» не обрывал уже открытый SSE — отозванная
сессия продолжала получать сообщения.
ADR-059: промежуточный ключ комнаты был невосстановим. Участник, пропустивший
офлайн два rekey подряд, навсегда не расшифровал бы сообщения среднего ключа —
вопреки обещанию storage.md о повторной попытке после получения keyId.
ADR-063: ACK уходил по одному на конверт, а не пачкой. Получатель в оживлённой
комнате выедал общее ведро подтверждениями и упирался в 429 на всех изменяющих
запросах, включая выход из комнаты: 116 отказов за прогон стало нулём.
ADR-055, 057, 060, 061, 062: ключи вёдер и границы, +dirty у bare version,
403 unknown_device не хоронит сообщение, усечение имени в подсказке ввода,
kdf как оракул после повышения цели KDF.

Модель угроз пополнена тем, что действительно видит оператор: push-подписки
лежат в базе открытым текстом, и вместе с VAPID-ключом с той же машины это
произвольное уведомление на экране блокировки.

README приведён к v1.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015DbCjVfTFq4ZFG8juD45YJ

2026-08-23 06:22:52 +03:00

2.9 KiB

Raw Blame History

ADR-022: Деплой — nginx, systemd, кросс-сборка

Уточнён ADR-032 (StateDirectoryMode и UMask в юните), ADR-056 (access_log off) и ADR-057 (bare version помечает сборку из изменённого дерева).

Контекст

Целевой сервер (ssh xmatic, Ubuntu 22.04) уже держит nginx на 80/443 с десятком сайтов и certbot. Go на сервере нет. HTTPS обязателен (ADR-002), но TLS в самом бинаре означал бы либо autocert — четвёртую зависимость, — либо конфликт за 443 с nginx.

Решение

TLS терминирует nginx. Bare слушает 127.0.0.1:8411 (порт свободен; 8090 занят PocketBase). Сертификат — certbot для bare.xmatic.team, как у остальных сайтов на машине.
nginx проксирует всё на бинарь; для /api/events — proxy_buffering off, proxy_read_timeout 1h, HTTP/1.1 к апстриму. Сервер дополнительно шлёт X-Accel-Buffering: no. Конфиг — docs/deploy.md.
Бинарь под systemd: пользователь bare, /opt/bare/bare, база в /var/lib/bare/bare.db, секреты в /etc/bare/env (режим 0600). Юнит с ProtectSystem=strict, ProtectHome=yes, NoNewPrivileges=yes.
Конфигурация — переменные окружения с префиксом BARE_: ADDR, DB, ORIGIN, VAPID_PUBLIC, VAPID_PRIVATE, VAPID_SUBJECT, INVITE_CODE. Подкоманда bare vapid генерирует пару ключей. Подкоманда bare serve запускает сервер.
Клиентская статика встроена в бинарь через embed: артефакт деплоя — ровно один файл, и обещание ADR-001 «код в продакшене байт в байт совпадает с репозиторием» проверяется сравнением с тегом.
Сборка локально: GOOS=linux GOARCH=amd64 CGO_ENABLED=0 go build. Деплой — scripts/deploy.sh: сборка, scp, install, systemctl restart. Без контейнеров.

Следствия

Проверка подлинности клиента сводится к проверке бинаря: хеш файла на сервере против сборки из тега.
Зависимость от чужого nginx на той же машине — осознанная: он уже там и уже умеет сертификаты.
Статику отдаёт Go, не nginx: заголовки безопасности и ETag в одном месте.

2.9 KiB Raw Blame History

ADR-022: Деплой — nginx, systemd, кросс-сборка

Контекст

Решение

Следствия

2.9 KiB

Raw Blame History