EM-KNW-02 · Предметная модель · W1
Решение, утверждение и доказательство
Утверждение, свидетельство, аргумент, альтернативы и решение, включая ADR. Evidence может поддерживать несколько оценок без копирования.
В очереди исследования
Claude: not-started; Grok: not-started.
Entire research brief pending
Предметная граница и кандидатные типы
- 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 · доступна для установки
Смысловое соответствие требует исследования границ; наличие опубликованной модели не завершает эту карточку.
Требования к результату
Каждая карточка исполняется вместе с полным контрактом исследования: определения, поля и кратности, жизненный цикл, источники, мастерство данных, права, пять граней объекта, минимум восемь инвариантов, положительные и отрицательные примеры, зависимости, миграция и ограничения применимости.