mayatnikovandClaude Opus 5
db45978b16
Лимиты: все четыре правила 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
3.7 KiB
ADR-058: отозванная сессия теряет и свой поток событий
Уточняет ADR-021 и ADR-015: «смена пароля по желанию завершает остальные сессии» — значит завершает, а не помечает.
Контекст
docs/protocol.md обещает у POST /api/password: «при logoutOthers удаляются все сессии кроме текущей». Строки действительно удалялись, и следующий запрос отозванной сессии получал 401. Но поток событий сессию проверяет один раз, при подключении: GET /api/events открывает поток и дальше читает только очередь и живые события. Открытый поток удаление строки переживал — и продолжал получать event: msg с конвертами.
Практический смысл сценария — угнанное устройство. Человек меняет пароль с галочкой «выйти на других устройствах» ровно затем, чтобы отцепить чужую руку; отцеплялась она только от запросов, а живую доставку продолжала получать до обрыва соединения.
Рядом стоит DELETE /api/devices/{id}: он закрывает поток явно (hub.Close), и docs/protocol.md это обещает — «Подключённому по SSE устройству поток закрывается; его следующий запрос получает 401». Два способа отобрать доступ вели себя по-разному.
Решение
Store.SetPasswordприlogoutOthersотдаёт устройства, к которым были привязаны удалённые сессии. ОбработчикPOST /api/passwordзакрывает их потоки черезhub.Close— тем же способом, что и удаление устройства.- Устройство текущей сессии не трогается: она и есть та, которую оставляют.
- Периодической перепроверки сессии в цикле SSE не заводится: поток закрывает тот, кто отзывает доступ, а не таймер. Сессия, отозванная иначе (истёк срок), доживает до обрыва потока — как и раньше, новых прав это не даёт: очередь и события идут устройству, а устройство остаётся своим.
- Строка записана в
docs/protocol.md, «Аккаунт».
Следствия
- Отзыв доступа выглядит одинаково с обеих сторон: и удаление устройства, и смена пароля с галочкой закрывают поток и оставляют следующему запросу
401. - Отозванное устройство переподключается сразу и получает
401 unauthenticated— то есть уходит на экран входа, а не молчит до перезагрузки. - Сессия без устройства (её ещё не привязали
POST /api/devices) закрывать нечего: потока у неё и нет.