EM-MFG-04 · Предметная модель · W-IND

Фактическая конфигурация серийного изделия (as-built)

Фактическая структура одного серийного экземпляра: какие серийные компоненты, партии и версии ПО установлены, отклонения от плановой спецификации и последующие замены. Генеалогия партий и плановая спецификация принадлежат соседним контурам.

Частично опубликовано; исследование продолжается

Claude: initial-industry-contour-and-card-supplement; Grok: not-started.

Опубликованные результаты

The independent second-provider study, fixtures and the full research protocol remain open. Runtime promotion is governed by the package allocation holds.

Предметная граница и кандидатные типы

Вопросы глубокого исследования

Проверяемые инварианты

Сквозной приёмочный сценарий

Для синтетического серийного устройства зафиксировать сборку с одной утверждённой заменой, заменить модуль в эксплуатации и ответить, в каких поставленных экземплярах есть заданная партия компонента.

Отрицательный пример

Плановая спецификация показывается как структура поставленного экземпляра, и отзыв пропускает изделия, собранные с заменяющим компонентом.

Сопоставляемые подходы

Кандидаты в действующем каталоге

Требования к результату

Каждая карточка исполняется вместе с полным контрактом исследования: определения, поля и кратности, жизненный цикл, источники, мастерство данных, права, пять граней объекта, минимум восемь инвариантов, положительные и отрицательные примеры, зависимости, миграция и ограничения применимости.

Машиночитаемое задание JSON