People-first проверка SurrealDB RELATE по ghsa-f82j-v89j-mf86: применимость, безопасный fixture для границы «разделение CREATE нового edge и UPDATE при совпадении record id», измеримый контракт и stop-rule без production-данных.
Определите применимость SurrealDB RELATE
Создайте карточку применимости для SurrealDB RELATE: installed version, package source, build digest, feature/config reachability и роль вызывающего субъекта. Reviewed Advisory описывает «SurrealDB: `RELATE` overwrites existing edge records without `UPDATE` permission», опубликована 2026-07-01, обновлена 2026-07-01 и задаёт диапазон «surrealdb < 3.1.0; first patched 3.1.0». Эти данные не доказывают состояние конкретного развёртывания. Проверьте vendor backport и commit provenance; при неизвестной сборке оставьте applicability=unknown. Фактическая граница статьи — «разделение CREATE нового edge и UPDATE при совпадении record id», а не общее обсуждение severity или продукта.
Опишите доверительную границу
Сформулируйте отдельную пользовательскую боль: caller с CREATE может указать существующий id и молча перезаписать edge без UPDATE. Запишите доверенный субъект, объект, управляющую policy и первый потенциальный побочный эффект. Заранее задайте защитный контракт: новый id следует CREATE policy; существующий требует UPDATE или возвращает conflict без изменения row. Его нельзя подменять отсутствием исключения или HTTP 200: важна стадия до чтения, передачи, allocation, mutation или delivery. Рабочий артефакт — edge-id-state / actor-create / actor-update / chosen-action / row-before-after. В нём нужны только классы и счётчики; значения credentials, содержимое файлов, IP, account identifiers и персональные данные исключаются.
Соберите обратимый стенд
Постройте минимальный обратимый стенд: temporary transaction с одним edge, actor CREATE-only и отдельный новый id; данные полностью synthetic. Затем вызвать RELATE для нового и существующего id, затем сравнить authorization action и row digest. Сеть должна быть отключена или замкнута на loopback, filesystem — на disposable temp, state — на in-memory либо transaction rollback. Добавьте штатный контроль и отрицательный boundary-case, дайте каждому bounded timeout и одинаковую конфигурацию. Перед запуском отметьте digest входа; после опыта сохраните result class, side-effect counters и cleanup proof. Не увеличивайте нагрузку и не пытайтесь воспроизвести вредный эффект на чужой системе.
Измерьте контракт до побочного эффекта
Сведите observed в матрицу «edge-id-state / actor-create / actor-update / chosen-action / row-before-after» и сравните с критерием «новый id следует CREATE policy; существующий требует UPDATE или возвращает conflict без изменения row». Для каждого ряда отметьте decision stage, mutation/read/send counter, final state digest и отклонение от expected. Normal-control обязан пройти тот же код, иначе отрицательный результат ничего не говорит о защите. Повторите лишь малый детерминированный набор; расхождение порядка считается отдельным race/cache сигналом. Pass ставится только когда запрет срабатывает раньше чувствительного действия, а разрешённый сценарий сохраняет documented behavior.
Свяжите patch с узким механизмом
Проверьте исправление по механизму, а не по номеру версии: upstream patch должен напрямую обеспечивать «разделение CREATE нового edge и UPDATE при совпадении record id». Сопоставьте pre/post build на том же контрольный сценарий и сравните «edge-id-state / actor-create / actor-update / chosen-action / row-before-after». Для диапазона «surrealdb < 3.1.0; first patched 3.1.0» отдельно отметьте vendor patch provenance и release artifact digest. Canary допускается только в лаборатории; production rollout требует отдельного change contract, backup и rollback. Не объявляйте систему безопасной целиком: этот опыт подтверждает один узкий invariant и не говорит об эксплуатации, ущербе, спросе, индексации или позиции страницы.
Остановитесь и подготовьте поддержку
Примените жёсткий stop-rule: остановиться до общей базы, чужого record id или необратимого commit. Красные флаги также включают внешний адрес, реальный credential, privilege prompt, необратимую запись, рост ресурсов, данные не из контрольный сценарий, отсутствие cleanup и изменившийся объект вне test root. При первом флаге завершите проверку и оставьте статус blocked. Для поддержки соберите для ghsa-f82j-v89j-mf86, SurrealDB RELATE, «surrealdb < 3.1.0; first patched 3.1.0», reachability evidence, sanitized matrix, штатный контроль, stop reason и две прямые ссылки. Не публикуйте payload и чужие логи; неизвестное обозначьте unknown, а не выдуманным фактом.
Используйте минимальное дерево решения
Минимальное дерево решения для SurrealDB RELATE: если версия вне доказанного affected range и patch provenance подтверждён — not-applicable; если ветвь недостижима по документированной конфигурации — not-reachable; если контрольный сценарий даёт «новый id следует CREATE policy; существующий требует UPDATE или возвращает conflict без изменения row» на candidate build — ready-for-reviewed-update; если наблюдается «caller с CREATE может указать существующий id и молча перезаписать edge без UPDATE» — fail и эскалация владельцу. Во всех остальных случаях статус unknown. К карточке приложите «edge-id-state / actor-create / actor-update / chosen-action / row-before-after» и criterion «остановиться до общей базы, чужого record id или необратимого commit». Такое дерево не превращает один advisory в универсальную рекомендацию и сохраняет people-first приоритет: минимальное воздействие, ясная остановка и проверяемый ответ.
Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.
Источники и проверка
- GitHub Reviewed Advisory ghsa-f82j-v89j-mf86 проверено 2026-08-31
- Upstream-репозиторий SurrealDB RELATE проверено 2026-08-31
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.