Защитная диагностика Kiota Copilot: граница пути и URL в manifest по GHSA-4JWF-M4WG-8P66: применимость, изолированный тест, измеримый verdict, критерий остановки и пакет данных для владельца системы.
Короткий ответ и применимость — Kiota Copilot: граница пути и URL в manifest
Проверяемая задача: проверить containment путей и URL из x-ai-* расширений при генерации Copilot manifest. Сначала подтвердите фактически загруженный компонент Microsoft Kiota, его runtime digest, затронутый entry point и границу версий «Microsoft.OpenApi.Kiota >= 1.30.0, fixed 1.32.5; Microsoft.OpenApi.Kiota.Builder >= 1.30.0, fixed 1.32.5; Microsoft.OpenApi.Kiota >= 0, fixed 1.29.1; Microsoft.OpenApi.Kiota.Builder >= 0, fixed 1.29.1». Только после inventory выполняется ограниченный regression: Сгенерировать manifest в disposable directory из benign schema и набора синтетических x-ai-* boundary-значений; filesystem и URL resolver заменить recorder Пользовательская боль конкретна: значение OpenAPI extension может изменить путь вывода или адрес в сгенерированном manifest. Результат оформляется как таблица extension / normalized path / resolved URL / write target / verdict. GHSA GHSA-4JWF-M4WG-8P66 — ориентир для проверки, но не доказательство состояния вашей установки, инцидента или эксплуатации.
Граница данных и решения — Kiota Copilot: граница пути и URL в manifest
Разложите этот путь на источник данных, нормализованное представление, policy verdict и side effect. Специальная инварианта: Нормализованный output остаётся внутри корня, а URL проходит scheme/authority policy до сериализации. Для каждого перехода укажите владельца решения, ожидаемое состояние и запрещённый результат. NOT_APPLICABLE возможен только при доказанном отсутствии Microsoft Kiota или соответствующей функции. Неизвестная версия, digest либо конфигурация означает UNKNOWN, а не безопасность; номер исправленного релиза не заменяет runtime readback.
Изолированный стенд — Kiota Copilot: граница пути и URL в manifest
Используйте disposable temp directory, in-memory repository, detached DOM или pure adapter — по типу компонента, но не production. Протокол: Сгенерировать manifest в disposable directory из benign schema и набора синтетических x-ai-* boundary-значений; filesystem и URL resolver заменить recorder Сеть, shell, database, filesystem, browser, message broker, выдача сессии и другие side effects заменяются spies, recorders или счётчиками. Применяйте короткие synthetic labels; реальные токены, IP, аккаунты, конфиги, логи и пользовательские данные запрещены. Перед control сохраните baseline hash и нулевые counters.
Control и один boundary-case — Kiota Copilot: граница пути и URL в manifest
Benign control доказывает достижимость нужной ветки. Boundary-case меняет ровно один структурный признак и обязан остановиться до состояния «значение OpenAPI extension может изменить путь вывода или адрес в сгенерированном manifest». Сохраните таблица extension / normalized path / resolved URL / write target / verdict, reason code, monotonic duration и cleanup state. Проверяемое правило: Нормализованный output остаётся внутри корня, а URL проходит scheme/authority policy до сериализации. Не увеличивайте размер, глубину или число повторов после первого нарушения; материал не требует эксплуатационного payload, внешней цели или реального секрета.
Как вынести PASS, FAIL и UNKNOWN — Kiota Copilot: граница пути и URL в manifest
PASS требует подтверждённых component digest и entry point, успешного control, соблюдения инварианты «Нормализованный output остаётся внутри корня, а URL проходит scheme/authority policy до сериализации», остановки boundary до side effect и доказанного cleanup. FAIL — тот же provenance и наблюдаемый запрещённый call, counter либо state transition. UNKNOWN — нет digest, конфигурации, точки наблюдения, control или восстановления. NOT_APPLICABLE — компонент или функция доказанно отсутствуют. Для воспроизводимости приложите таблица extension / normalized path / resolved URL / write target / verdict; субъективного «выглядит нормально» недостаточно.
Красная линия и восстановление — Kiota Copilot: граница пути и URL в manifest
Немедленно остановитесь, если write target вышел из temp root или URL сохранил запрещённые scheme либо authority. Не повторяйте проверку с более сильным вводом. Верните disposable state к исходному hash, освободите объекты и выполните один benign control. Любой неожиданный ненулевой counter сети, процессов, файлов, записей, маршрутов, браузерной навигации или сессий блокирует PASS и фиксируется отдельно от parser/policy результата. Production, реальные учётные записи и чужие данные в тест не входят.
Почему это самостоятельный intent — Kiota Copilot: граница пути и URL в manifest
Объединяет файловую и URL-границу в один контракт генератора без записи за пределами temp. Это не общий output containment: проверяется provenance специальных x-ai-* полей до двух разных sink в Copilot manifest. Поэтому механическая замена бренда, ОС или устройства не создаёт ещё один URL. Самостоятельная практическая ценность выражена deliverable «таблица extension / normalized path / resolved URL / write target / verdict» и инвариантой «Нормализованный output остаётся внутри корня, а URL проходит scheme/authority policy до сериализации». Если опубликованная страница уже покрывает тот же вопрос, пользовательскую боль и дерево решения, правильное действие — update/merge по отдельному контракту, а не соседняя страница.
Минимальный пакет для владельца — Kiota Copilot: граница пути и URL в manifest
Передайте владельцу GHSA GHSA-4JWF-M4WG-8P66, runtime digest, границу «Microsoft.OpenApi.Kiota >= 1.30.0, fixed 1.32.5; Microsoft.OpenApi.Kiota.Builder >= 1.30.0, fixed 1.32.5; Microsoft.OpenApi.Kiota >= 0, fixed 1.29.1; Microsoft.OpenApi.Kiota.Builder >= 0, fixed 1.29.1», entry point, sanitized config, control/boundary rows, counters, verdict, stop reason и cleanup proof. Advisory опубликована 2026-07-24, обновлена 2026-08-17; даты подтверждают свежесть проверенного источника, но не популярность запроса и не состояние конкретной системы. После remediation повторите тот же fixture и сравните state transition без изменения тестового масштаба.
Материал подготовлен редакцией VOne с помощью автоматизированного черновика; даты, версии, границы и ссылки сверены по GitHub Advisory Database и прямому upstream-материалу. Текст самостоятельный, не копирует источник и не содержит эксплуатационных шагов.
Источники и проверка
- GitHub Advisory Database — GHSA-4JWF-M4WG-8P66 проверено 2026-09-02
- Первичный upstream материал — Microsoft Kiota проверено 2026-09-02
Информация актуальна на дату публикации. Правила сервисов, приложений и сетей могут меняться.