К обсуждениям

SurrealDB: каскадное удаление edge обязано проверить PERMISSIONS

Редакция VOne Технологии

People-first проверка SurrealDB graph delete по ghsa-whwg-vh4f-pmmf: применимость, безопасный fixture для границы «сохранение edge delete/select permissions в автоматическом purge при удалении node», измеримый контракт и stop-rule без production-данных.

Определите применимость SurrealDB graph delete

Создайте карточку применимости для SurrealDB graph delete: installed version, package source, build digest, feature/config reachability и роль вызывающего субъекта. Reviewed Advisory описывает «SurrealDB: Edge PERMISSIONS FOR delete bypassed when a connected node is deleted», опубликована 2026-07-01, обновлена 2026-07-20 и задаёт диапазон «surrealdb < 3.1.0; first patched 3.1.0». Эти данные не доказывают состояние конкретного развёртывания. Проверьте vendor backport и commit provenance; при неизвестной сборке оставьте applicability=unknown. Фактическая граница статьи — «сохранение edge delete/select permissions в автоматическом purge при удалении node», а не общее обсуждение severity или продукта.

Опишите доверительную границу

Сформулируйте отдельную пользовательскую боль: право удалить node не должно неявно давать право удалить защищённые связанные edge records. Запишите доверенный субъект, объект, управляющую policy и первый потенциальный побочный эффект. Заранее задайте защитный контракт: операция отклонена или сохраняет запрещённый edge по контракту; permission evaluator не отключён. Его нельзя подменять отсутствием исключения или HTTP 200: важна стадия до чтения, передачи, allocation, mutation или delivery. Рабочий артефакт — node-delete / edge-policy / evaluator-called / edge-after / transaction-result. В нём нужны только классы и счётчики; значения credentials, содержимое файлов, IP, account identifiers и персональные данные исключаются.

Соберите обратимый стенд

Постройте минимальный обратимый стенд: in-memory graph с разрешённым node и запрещённым edge, fake permission evaluator и transaction rollback. Затем удалить node в лабораторный набор, затем сверить evaluator calls, edge state и atomic transaction result. Сеть должна быть отключена или замкнута на loopback, filesystem — на disposable temp, state — на in-memory либо transaction rollback. Добавьте эталонный путь и отрицательный boundary-case, дайте каждому bounded timeout и одинаковую конфигурацию. До опыта зафиксируйте digest входа; после опыта сохраните result class, side-effect counters и cleanup proof. Не увеличивайте нагрузку и не пытайтесь воспроизвести вредный эффект на чужой системе.

Измерьте контракт до побочного эффекта

Сведите observed в матрицу «node-delete / edge-policy / evaluator-called / edge-after / transaction-result» и сравните с критерием «операция отклонена или сохраняет запрещённый edge по контракту; permission evaluator не отключён». Для каждого ряда отметьте decision stage, mutation/read/send counter, final state digest и отклонение от expected. Normal-control обязан пройти тот же код, иначе отрицательный итог ничего не говорит о защите. Повторите лишь малый детерминированный набор; расхождение порядка считается отдельным race/cache сигналом. Pass ставится только когда запрет срабатывает раньше чувствительного действия, а разрешённый сценарий сохраняет documented behavior.

Свяжите patch с узким механизмом

Проверьте исправление по механизму, а не по номеру версии: upstream patch должен напрямую обеспечивать «сохранение edge delete/select permissions в автоматическом purge при удалении node». Сопоставьте pre/post build на том же лабораторный набор и сравните «node-delete / edge-policy / evaluator-called / edge-after / transaction-result». Для диапазона «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: остановиться до общей БД, пользовательских записей или commit без rollback. Красные флаги также включают внешний адрес, реальный credential, privilege prompt, необратимую запись, рост ресурсов, данные не из лабораторный набор, отсутствие cleanup и изменившийся объект вне test root. При первом флаге примените stop-rule и оставьте статус blocked. Для поддержки передайте ghsa-whwg-vh4f-pmmf, SurrealDB graph delete, «surrealdb < 3.1.0; first patched 3.1.0», reachability evidence, sanitized matrix, эталонный путь, stop reason и две прямые ссылки. Не публикуйте payload и чужие логи; неизвестное обозначьте unknown, а не выдуманным фактом.

Используйте минимальное дерево решения

Минимальное дерево решения для SurrealDB graph delete: если версия вне доказанного affected range и patch provenance подтверждён — not-applicable; если ветвь недостижима по документированной конфигурации — not-reachable; если лабораторный набор даёт «операция отклонена или сохраняет запрещённый edge по контракту; permission evaluator не отключён» на candidate build — ready-for-reviewed-update; если наблюдается «право удалить node не должно неявно давать право удалить защищённые связанные edge records» — fail и эскалация владельцу. Во всех остальных случаях статус unknown. К карточке приложите «node-delete / edge-policy / evaluator-called / edge-after / transaction-result» и criterion «остановиться до общей БД, пользовательских записей или commit без rollback». Такое дерево не превращает один advisory в универсальную рекомендацию и сохраняет people-first приоритет: минимальное воздействие, ясная остановка и проверяемый ответ.

Материал подготовлен редакцией VOne с помощью ИИ; даты, диапазоны, прямые ссылки, безопасный опыт, privacy-ограничения и отсутствие рекламных обещаний затем перепроверены по первичным источникам.

Источники и проверка

Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.

Ответы

0 опубликовано
Ответов пока нет. Вы можете начать обсуждение.

Ваш ответ

Добавьте свой опыт или уточнение по теме.

Вы публикуете как Аноним Аватар отличает разговоры, но не раскрывает личные данные.

Ответ появится сразу. Не публикуйте личные данные, ключи и приватные ссылки.