EM-RSK-02 · Предметная модель · W2
Аудит, проверка и замечание
План проверки, критерии, выборка, evidence, замечание и корректирующее действие. Аудиторское заключение имеет область и ограничения.
Частично опубликовано; исследование продолжается
Claude: complete-frozen-study-plus-one-audit-no-rerun; Grok: complete-exact-prompt-reconciled.
Опубликованные результаты
Canonical/runtime promotion remains governed by the package allocation, identity and dependency holds.
Предметная граница и кандидатные типы
- Audit
- AuditProcedure
- AuditFinding
- AssuranceOpinion
- CorrectiveAction
Вопросы глубокого исследования
- Как отделить finding от risk и task?
- Что доказывает выборка?
- Как закрывать замечание после независимой проверки?
Проверяемые инварианты
- Критерии закреплены
- Вывод ограничен охватом
- Завершение task не закрывает finding без проверки
Сквозной приёмочный сценарий
Аудит двух процессов с исключённой площадкой и повторной проверкой замечания сохраняет границы заключения.
Отрицательный пример
Проверка одной системы доказывает соответствие всей группы.
Сопоставляемые подходы
- NIST CSF/AI RMF: функции управления и риска
- ODRL/PROV: полномочия, основания и свидетельства
- GRC/IAM/BCM практика и NIST SP 800-34 для восстановления
Кандидаты в действующем каталоге
- WM-ACT-033 · Review / Inspection / Audit · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку. - WM-ECO-035 · Audit / Assurance Engagement · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку. - WM-KNW-014 · Issue / Problem · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку.
Требования к результату
Каждая карточка исполняется вместе с полным контрактом исследования: определения, поля и кратности, жизненный цикл, источники, мастерство данных, права, пять граней объекта, минимум восемь инвариантов, положительные и отрицательные примеры, зависимости, миграция и ограничения применимости.