SEC / Безопасность
Отладочная возможность доступна в shipping product
portfolio.sec.26@1.0.0V-SEC-26 · Нарушение контракта
Отладочная возможность доступна в shipping product
Debug endpoint или обход проверки, попавший в shipping-вариант, открывает возможности, предназначенные только разработчику.
Пример проблемы и направление исправления
Учебные сокращённые фрагменты Swift или схемы протокола. Вспомогательные API условны. Это не тестовые oracle и не обещание, что текущий subset выдаст диагностику именно на этот код.
Проблемный сценарий
// Release configuration включает bypassAuthentication.
Возможное исправление
// Shipping variant не содержит debug capability.
// Варианты сборки проверяются явно.
Что изменить и что сохранить
Исключить capability из поставки и проверить эффективные build settings. Одного имени DEBUG или комментария недостаточно для доказательства.
Что нужно доказать
Resolved release variant сохраняет запрещённый debug endpoint, WebView inspection или обход security check
Требуемые факты по контракту: 004/017 resolved provenance, immutable resolution policy, release reachability
Безопасные случаи и границы
Debug-only compilation и недостижимый feature исключаются; имя debug недостаточно
Если необходимые факты не получены, результат — unknown, а не «ошибки нет». Для review-сигнала также нужен наблюдаемый риск; нехватки данных недостаточно.
Что подтверждено сейчас
В срезе 022 требуется восстановление и квалификация source producer. Целевое доказательство и пример описывают желаемое поведение; они не являются свидетельством действующей диагностики.
Контракты и происхождение
Страница объединяет утверждённый реестр и редакционные объяснения из Git-среза 4558458d. Raw engineering contracts не входят в public artifact; точные пути остаются во внутреннем manifest.
- Целевой каталог:
docs/product/final-rule-catalog.md - Реестр RuleID:
docs/evidence/matrices/022-complete-rule-portfolio.md - Матрица условий:
openspec/specs/022-complete-rule-portfolio/coverage-matrix.md - Срез приёмки:
openspec/specs/022-complete-rule-portfolio/reports/source-authority-recovery.md - Приёмка: t008-t009-source-batch:
openspec/specs/022-complete-rule-portfolio/reports/t008-t009-source-batch.md - Приёмка: t012-t015-source-batch:
openspec/specs/022-complete-rule-portfolio/reports/t012-t015-source-batch.md - Приёмка: t011-delivery:
openspec/specs/022-complete-rule-portfolio/reports/t011-delivery.md - Приёмка: t014-delivery:
openspec/specs/022-complete-rule-portfolio/reports/t014-delivery.md
Изменение статуса требует обновления подтверждённого среза и проверки каталога. Количество страниц не является количеством полностью квалифицированных правил.