EM-KNW-02 · Предметная модель · W1
Решение, утверждение и доказательство
Утверждение, свидетельство, аргумент, альтернативы и решение, включая ADR. Evidence может поддерживать несколько оценок без копирования.
Частично опубликовано; исследование продолжается
Claude: complete-frozen-study-and-audit-with-remediation; Grok: complete-reconciled.
Опубликованные результаты
Canonical/runtime promotion remains governed by the package allocation, identity and dependency holds.
Предметная граница и кандидатные типы
- Claim
- EvidenceArtifact
- Argument
- Decision
- DecisionAlternative
Вопросы глубокого исследования
- Как отличить наблюдение от интерпретации?
- Что происходит при опровержении доказательства?
- Как сохранить отвергнутые альтернативы?
Проверяемые инварианты
- Утверждение имеет автора и контекст
- Evidence не автоматически истинно
- Отмена решения не стирает rationale
Сквозной приёмочный сценарий
Два решения используют одно evidence, которое позже опровергнуто: влияние прослеживается без перезаписи истории.
Отрицательный пример
Ссылка на документ превращает любое утверждение в установленный факт.
Сопоставляемые подходы
- W3C PROV: утверждения, источники и действия
- SKOS: понятия, определения и mapping
- Практика DMS/wiki/ADR: документ, версия, носитель и решение
Кандидаты в действующем каталоге
- WM-KNW-010 · Decision / Rationale · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку. - WM-REC-010 · Decision / Approval Record · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку. - WM-KNW-007 · Claim / Proposition · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку. - WM-KNW-008 · Evidence / Citation · 0.3.0-research.1 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку.
Требования к результату
Каждая карточка исполняется вместе с полным контрактом исследования: определения, поля и кратности, жизненный цикл, источники, мастерство данных, права, пять граней объекта, минимум восемь инвариантов, положительные и отрицательные примеры, зависимости, миграция и ограничения применимости.