Гайд · TNWS AI

Как не подменить ссылку на файл в AI-ответе через символическую ссылку

6 мин—

Создаём временный symlink и показываем, как pathlib.Path.resolve обнаруживает выход за разрешённую директорию.

Практическая задача

Проверить файловый AI-инструмент на ссылку внутри каталога, ведущую наружу. Путь docs/alias.txt на вид находится в разрешённой папке, но символическая ссылка может вести к соседнему файлу. Path.resolve раскрывает её в момент проверки. Пример создаёт временную папку и соседний файл с синтетическим содержимым; если платформа не поддерживает symlink, проверку пропускают с явным сообщением, а не принимают как успешную. Техника помогает выявить один случай, но не исключает гонку между проверкой и чтением. Этот сценарий применим, когда у команды есть контроль над входом или выходом AI-приложения и требуется конкретный сигнал о нарушении правила, а не общее впечатление от нескольких ответов. Все входы ниже вымышлены; числовые результаты относятся только к этим примерам.

Документация методов Python и синтаксиса workflow сверена 20.09.2026. Если вы используете другое окружение, проверьте совместимость до копирования команд. Статья не утверждает, что показанный код измеряет качество конкретной модели или заменяет ручную проверку.

Подготовка и проверяемый контракт

Перед запуском запишите, какие данные считаются входом, что является ожидаемым результатом, что именно означает отказ и кому предстоит разбирать расхождение. Для такой проверки храните тестовый вход, ожидаемый результат и фактический исход раздельно: если они смешаны, тест может подтверждать сам себя. Используйте стабильные синтетические ID, чтобы видеть ошибку в журнале, не раскрывая содержимое клиентских обращений.

Сначала прогоните тест на маленьком входе, где правильное поведение известно вручную. Затем внесите одну контролируемую ошибку и убедитесь, что код её замечает. После этого верните корректный набор и только тогда расширяйте проверку до реальных данных. Не переносите демонстрационные численные значения или пороги в производство без отдельного обоснования: они выбраны для наглядности, а не рассчитаны по вашей аудитории.

Вход и ожидаемый результат

Обычный docs/readme.txt проходит; docs/alias.txt указывает на файл вне docs и отклоняется. В поддерживаемой среде вы увидите Symlink escape rejected, а не содержимое соседнего файла. Перед тем как применять правило к закрытым данным, обсудите пограничные случаи, которые могут поменять интерпретацию входа. Запись в документации о границах теста не менее важна, чем зелёный check.

Пошаговые действия

  1. Создайте scripts/check.py в корне репозитория и вставьте код из блока ниже. Он использует названия функций стандартной библиотеки, указанные в официальных ссылках в конце статьи.
  2. Выполните python scripts/check.py локально. Не продолжайте, если уже демонстрационная фикстура даёт иной результат: сначала проверьте копирование кода и кодировку файла.
  3. Запустите тест в среде, где доступны symlink. Не считайте сообщение о недоступной фикстуре подтверждением защиты. Добавьте сценарий со ссылкой на вложенный файл внутри разрешённого каталога: политика может разрешать его, но такое решение нужно записать явно. Для конкурентного изменения ссылок между resolve и открытием потребуется другой механизм доступа. Ограничьте права процесса ОС и не доверяйте только тексту пути из модели.
  4. Создайте .github/workflows/ai-corpus-check.yml из YAML-шаблона. Событие pull_request полезно для проверки данных до слияния; чтение репозитория ограничено permissions: contents: read. Скрипт не должен получать ключ внешней модели или реальные секреты.
  5. В разделе Actions откройте job check, сопоставьте его код завершения с локальным прогоном и зафиксируйте ссылку на проверенный коммит в PR. Не принимайте зелёный результат на старой ревизии за проверку последнего изменения.
# scripts/check.py
from pathlib import Path
from tempfile import TemporaryDirectory
def safe(root,name):
    base=root.resolve()
    candidate=(base/name).resolve()
    if not candidate.is_relative_to(base): raise ValueError("outside")
    return candidate
with TemporaryDirectory() as tmp:
    base=Path(tmp)/"docs";base.mkdir()
    (base/"readme.txt").write_text("ok",encoding="utf-8")
    outside=Path(tmp)/"private.txt";outside.write_text("hidden",encoding="utf-8")
    assert safe(base,"readme.txt").read_text(encoding="utf-8")=="ok"
    try: (base/"alias.txt").symlink_to(outside)
    except (OSError,NotImplementedError): print("Symlink fixture unavailable")
    else:
        try: safe(base,"alias.txt")
        except ValueError: print("Symlink escape rejected")
        else: raise AssertionError("symlink escape accepted")
name: AI corpus checks
on:
  pull_request:
permissions:
  contents: read
jobs:
  check:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v7
      - uses: actions/setup-python@v7
        with:
          python-version: '3.13'
      - run: python scripts/check.py

Ошибки интерпретации и границы

Поведение symlink зависит от платформы и прав. Проверка resolve не предотвращает гонку до read_text; не называйте её полноценным sandbox. Учебный тест не должен читать реальные приватные данные. Если вы расширяете набор случаев, добавляйте не только новые примеры, но и отрицательные случаи, на которых тест обязан упасть. Проверяйте, что изменение expected прошло ревью отдельно от изменения кода: иначе можно незаметно изменить правило под текущий ответ системы. Избегайте вывода полного приватного набора в CI и не сохраняйте в артефактах ответ закрытой модели без решения о доступе и хранении.

Ошибка выполнения самого Python, нераспознанный формат входа и обнаруженный бизнес-дефект — разные ситуации. В сообщении теста указывайте тип проблемы и безопасный ID. Если тест требует внешний сервис, вынесите его из PR с недоверенным кодом и явно ограничьте доступ к токенам; этот пример намеренно работает локально. Перед публикацией каких-либо результатов опишите методику, область применения и происхождение примеров, иначе читатель воспримет демонстрационную арифметику как характеристику продукта.

Практический разбор именно этого контроля

Проверить файловый AI-инструмент на ссылку внутри каталога, ведущую наружу. Для самостоятельной проверки сначала выпишите три наблюдаемых состояния: допустимый вход, намеренно недопустимый вход и видимый сигнал отказа. В данной фикстуре это выглядит так: Обычный docs/readme.txt проходит; docs/alias.txt указывает на файл вне docs и отклоняется. При успешном тесте ожидается: В поддерживаемой среде вы увидите Symlink escape rejected, а не содержимое соседнего файла. Не превращайте это в числовой KPI: здесь проверяется контракт на конкретных примерах, а не поведение модели на пользовательском трафике.

Поведение symlink зависит от платформы и прав. Проверка resolve не предотвращает гонку до read_text; не называйте её полноценным sandbox. Учебный тест не должен читать реальные приватные данные. Подключая проверку к продукту, расположите её до той операции, ради которой она написана: парсинга, сохранения, отображения или экспорта. Для каждого нового формата добавляйте отдельный негативный пример и письменное решение, почему он отклоняется. Отдельно просмотрите обработку ошибок: система должна отличать невалидный ответ AI от сбоя тестовой инфраструктуры, а пользователь не должен видеть сырой стек или приватное содержимое.

Чек-лист финальной проверки

  • Синтетический вход и ожидаемый исход согласованы предметным владельцем.
  • Команда python scripts/check.py работает локально и в CI на одной версии файлов.
  • Негативный случай обнаруживается, а не только успешный случай проходит.
  • Имена ID и меток уникальны там, где этого требует контракт.
  • В репозитории, логах и артефактах нет реальных секретов и приватных текстов.
  • Понятно, какой дефект тест находит и каких выводов о качестве AI он не даёт.
  • Ссылки на применённые функции и синтаксис workflow перепроверены при переносе.

FAQ

Почему alias выглядит разрешённым?

Имя лежит внутри docs, но ссылка ведёт наружу.

Что значит unavailable?

Фикстура не проверила защиту в этой среде.

resolve гарантирует безопасность?

Нет, между проверкой и чтением остаётся гонка.

Зачем временная папка?

Для теста без пользовательских файлов.

Что делать после обнаружения сбоя

Сохраните конкретный ID, воспроизведите его на текущей ревизии и отделите ошибку входных данных от ошибки функции. Если неверна контракт, исправьте её после предметного ревью; если неверен код, сначала оставьте проваливающийся тест, затем вносите исправление. После зелёного запуска просмотрите соседние случаи с похожими признаками, чтобы локальная правка не изменила другое согласованное поведение. Сохраните версии кода, набора и параметров запуска рядом с выводом: без них сравнивать результаты в будущем нельзя. Не приводите цифру из синтетического примера как измеренный показатель продукта.

Официальные первоисточники

Проверено 20.09.2026: 1, 2, 3, 4, 5. Описание переписано своими словами; изменяемые версии и поля нужно повторно сверять перед дальнейшим использованием.

Читайте также

Комментарии

Пока тихо. Скажите первое слово