@things-factory/headless-twin 10.0.9 → 10.0.10

package/server/service/twin-model/index.ts

@@ -0,0 +1,25 @@
+/*
+ * 트윈 구조 모델 — `TwinInstance.model`(JSON 덩어리) 에서 풀어낸 **표준 엔티티**(ADR-0032).
+ *
+ * 여기 있는 것은 전부 **원본에서 온 캐시**다. 정본은 원본 시스템이고(ADR-0028), 이 행들은
+ * 인제스트가 만들며 언제든 전부 지우고 다시 만들 수 있어야 한다.
+ *
+ * 오늘은 **실제로 채워지는 세 축**만 있다 — 자리·설비·공정. 사람·자산·등급·속성·생산 정의는
+ * 지금 0건이라 만들지 않는다("설계와 착수는 다르다", ADR-0032-H). 모델은 그때 옳게 세운다.
+ */
+export { TwinLocation } from './twin-location.js'
+export { TwinEquipment } from './twin-equipment.js'
+export { TwinOperation } from './twin-operation.js'
+
+import { TwinLocation } from './twin-location.js'
+import { TwinEquipment } from './twin-equipment.js'
+import { TwinOperation } from './twin-operation.js'
+
+import { TwinModelQuery } from './twin-model-query.js'
+import { TwinModelItemQuery } from './twin-model-item-query.js'
+import { TwinModelTreeQuery } from './twin-model-tree-query.js'
+import { TwinModelMutation } from './twin-model-mutation.js'
+import { TwinLineageQuery } from './twin-lineage-query.js'
+
+export const entities = [TwinLocation, TwinEquipment, TwinOperation]
+export const resolvers = [TwinModelQuery, TwinModelItemQuery, TwinModelTreeQuery, TwinModelMutation, TwinLineageQuery]

package/server/service/twin-model/isa95-coverage.ts

@@ -0,0 +1,190 @@
+/*
+ * ISA-95 적합성 기준 — **표준이 요구하는 것의 목록.**
+ *
+ * ── 왜 이 파일이 필요한가 ──────────────────────────────────────────────────────
+ * 지금까지 화면은 "우리가 가진 축" 만 보였다. 그러면 채운 것은 세어지지만 **빠진 것은 셀 수 없다** —
+ * 없는 것은 화면에 없으므로 아무도 그것을 묻지 않는다. 표준 준수는 "우리 축에 표준 이름을 붙였다"
+ * 가 아니라 **표준의 목록을 기준으로 빠진 것이 없다**는 말이어야 한다. 기준이 코드로 있어야 그
+ * 문장을 검사할 수 있다.
+ *
+ * ── 세 층에서 본다 ────────────────────────────────────────────────────────────
+ * 표준 준수는 한 층의 일이 아니다. 개념마다 셋을 따로 본다:
+ *
+ *  · `structure` — **데이터구조**가 있나(커널 축·호스트 표에 이 개념의 자리가 있나)
+ *  · `behavior`  — **기능**이 그것을 쓰나(커널이 계획·집행·집계에서 실제로 다루나)
+ *  · `surface`   — **UI 노출**이 있나(사용자가 그것을 볼 수 있나)
+ *
+ * 셋을 합치면 "구조는 있는데 아무도 안 쓰는 컬럼" 과 "커널은 쓰는데 화면에 없는 사실" 이 같은
+ * 값으로 보인다. 실제로 이 프로젝트에서 둘 다 나왔다(인력 명세는 구조·기능이 있었지만 화면에
+ * 없었고, `properties` 는 구조만 있다).
+ *
+ * ── 값은 관측이 아니라 선언이다 ────────────────────────────────────────────────
+ * 여기 적힌 것은 **사람이 판단해 적은 사실**이다(자동 판정이 아니다). 그래서 틀릴 수 있고, 틀리면
+ * 여기를 고쳐야 한다 — 화면은 이 선언을 그대로 보이고 지어내지 않는다. 자동으로 알 수 있는 것
+ * 하나는 자동으로 한다: `axis` 가 커널 축 목록에 없으면 그것은 **구조가 없는 것**이다(오타 방지).
+ *
+ * ── 이 표가 커널에 없는 이유 ──────────────────────────────────────────────────
+ * 커널은 **런타임 모델의 SSOT** 다(무엇이 있는가). 이 표는 **참조 모델의 목록**이다(무엇이 있어야
+ * 하는가). 둘은 다른 종류의 사실이고, 후자는 커널을 배포하지 않고도 늘어야 한다.
+ */
+
+/** 한 층의 상태 — 있음 · 부분 · 없음. "부분" 을 두는 이유: 절반 있는 것을 있다고 하면 기준이 죽는다. */
+export type CoverageLevel = 'full' | 'partial' | 'none'
+
+export interface Isa95Concept {
+  /** 표준이 부르는 이름 — 이 표의 키다(우리 어휘가 아니라 표준 어휘). */
+  std: string
+  /** 표준의 어느 부분인가 — Part 2(자원 모델) · Part 4(일정·실적) 등. */
+  part: string
+  /** 사람이 읽는 이름(i18n 키). 화면이 번역한다. */
+  label: string
+  /** 우리 커널 축 — 있으면 데이터구조가 있는 것이다. 없으면 `null`. */
+  axis: string | null
+  /** 세 층의 상태. `structure` 는 `axis` 로도 검증된다. */
+  structure: CoverageLevel
+  behavior: CoverageLevel
+  surface: CoverageLevel
+  /** 왜 그 수준인지 — **모르는 것을 감추지 않기 위해** 한 줄로 적는다(i18n 키). */
+  note?: string
+  /**
+   * 자기 축이 없을 때 **어디서 보이나** — 그 사실을 들고 있는 축들.
+   *
+   * 「어디에」칸이 두 가지를 합쳐고 있었다: *아직 축이 없다(부채)* 와 *축일 수 없다(설계)*. 가용 능력은
+   * 개체가 아니라 자원의 지금 상태이므로 축이 될 수 없는데, 세 층이 다 완전한 줄이 "개념 축이 없습니다"
+   * 라고만 말하면 **표가 스스로 모순된 말을 한다**(다 됐다면서 없다고 한다).
+   *
+   * 그래서 축일 수 없는 것은 갈 곳을 가리킨다. 여기가 비어 있고 축도 없으면 그것은 **진짜 빈칸**이다.
+   */
+  shownOn?: string[]
+}
+
+/*
+ * 가용 능력(2026-08-12, 커널 0.6.8) — **판정과 이유가 상태에 실려 온다**(`capability {available, reason}`).
+ *
+ * 셋 다 완전인 근거: 상태가 판정을 들고 오고(시뮬·미러가 같은 함수로 파생한다), 배정이 같은 판정을
+ * 쓰고, 두 화면이 같은 낱말로 그 이유를 보인다(자원 탭 배지 · 인스펙션 관측 열).
+ *
+ * 왜 축이 없는가 — 가용 능력은 개체가 아니라 **자원의 지금 상태**다. 개념 카드로 세우면 사람·설비와
+ * 나란히 놓여 "능력이 몇 개인가" 를 세게 되는데, 그건 물을 일이 아니다.
+ */
+
+/*
+ * 생산 능력(2026-08-13, 커널 0.6.12) — **구간의 양을 표준 종류로 구분한다.**
+ *
+ * `structure` 완전: 계약이 보고서를 낸다(`operationsCapabilityOf`) — 구간(StartTime·EndTime) · 표준
+ * 열거값(Committed·Available·Unattainable) · 공정별 분해 · 제약하는 축. 낱말은 B2MML 대조 후 표준 것을
+ * 그대로 쓴다(우리 낱말을 만들지 않았다).
+ * `behavior` 완전: 약정은 오더에서, 달성불가는 자원 판정(`capabilityOf`)에서 온다 — 그리고 그 판정은
+ * 배정이 쓰는 것과 같은 한 벌이다. 표준의 `Unattainable` 정의가 그 판정과 겹친다.
+ * `surface` 완전: 두 자리에서 보인다 — 성과 화면이 현장 전체의 "앞으로 더 받을 수 있는 몫" 을, 공정
+ * 상세가 그 공정 하나의 분해(상한·약정·달성불가·가용)와 제약하는 축을 보인다. 두 화면은 **같은 낱말**을
+ * 쓴다(같은 i18n 키) — 같은 사실을 다르게 부르면 어느 쪽이 맞는지 아무도 모른다.
+ *
+ * 남은 것 — 표준은 **게시된(약속된) 능력**도 담는다(계산이 아니라 선언). 값을 실을 소스가 아직
+ * 침묵하므로 빈 축을 먼저 만들지 않는다(상태 쪽 `workCalendar` 를 지운 이유와 같다).
+ *
+ * 과거 분해(Used·Unused)는 이 보고서에 없다 — 그것은 실적이고 이미 두 곳에 있다(설비 OEE 의 가동/유휴,
+ * 성과 화면의 구간 가동률). 표준이 그 둘을 다른 종류로 부르므로 **합치지 않는다.**
+ */
+
+/*
+ * Part 2 — 자원 모델. 네 자원 각각이 **등급/정의 ↔ 개체** 이중구조를 갖는 것이 이 부분의 핵심이고,
+ * 그 이중성이 이 트윈의 뼈대이기도 하다.
+ */
+const PART2: Isa95Concept[] = [
+  { std: 'PersonnelClass', part: '2', label: 'twin.isa95.PersonnelClass', axis: 'personnelClasses', structure: 'full', behavior: 'full', surface: 'full' },
+  { std: 'Person', part: '2', label: 'twin.isa95.Person', axis: 'persons', structure: 'full', behavior: 'full', surface: 'full' },
+  { std: 'PersonnelCapability', part: '2', label: 'twin.isa95.PersonnelCapability', axis: null, shownOn: ['persons'], structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.capability' },
+  { std: 'EquipmentClass', part: '2', label: 'twin.isa95.EquipmentClass', axis: 'equipmentClasses', structure: 'full', behavior: 'full', surface: 'full' },
+  { std: 'Equipment', part: '2', label: 'twin.isa95.Equipment', axis: 'equipment', structure: 'full', behavior: 'full', surface: 'full' },
+  { std: 'EquipmentCapability', part: '2', label: 'twin.isa95.EquipmentCapability', axis: null, shownOn: ['equipment'], structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.capability' },
+  { std: 'PhysicalAssetClass', part: '2', label: 'twin.isa95.PhysicalAssetClass', axis: 'assetClasses', structure: 'full', behavior: 'full', surface: 'full' },
+  { std: 'PhysicalAsset', part: '2', label: 'twin.isa95.PhysicalAsset', axis: 'assets', structure: 'full', behavior: 'full', surface: 'full' },
+  { std: 'MaterialClass', part: '2', label: 'twin.isa95.MaterialClass', axis: 'materialClasses', structure: 'full', behavior: 'partial', surface: 'full' },
+  { std: 'MaterialDefinition', part: '2', label: 'twin.isa95.MaterialDefinition', axis: 'materialDefinitions', structure: 'full', behavior: 'full', surface: 'full' },
+  /* 로트·서브로트는 개체 축이 아니라 **관측**으로 존재한다(EPCIS 개체) — 구조는 저널이 갖는다. */
+  { std: 'MaterialLot', part: '2', label: 'twin.isa95.MaterialLot', axis: null, structure: 'partial', behavior: 'full', surface: 'partial', note: 'twin.isa95.note.lot' },
+  { std: 'MaterialSublot', part: '2', label: 'twin.isa95.MaterialSublot', axis: null, structure: 'none', behavior: 'none', surface: 'none' },
+  { std: 'ProcessSegment', part: '2', label: 'twin.isa95.ProcessSegment', axis: 'operations', structure: 'full', behavior: 'full', surface: 'full' },
+  /*
+   * 속성은 자원마다 붙는 확장이라 **자기 축이 아니다** — 그래서 `axis` 는 없지만 구조는 완전하다:
+   * 계약(`ResourceProperty`: 값·데이터형·단위·하위·등급속성)이 표준을 그대로 담고, 인제스트·상태·
+   * 화면이 그것을 통과시킨다.
+   *
+   * 기능은 **부분**이다: 호스트의 주행 추정기가 `speed` 를 읽어 이동 시간을 만드는 것이 유일한 소비처다
+   * (다른 속성은 아직 아무도 읽지 않는다). 그 사실을 `full` 로 올리면 표가 거짓이 된다.
+   */
+  { std: 'Property', part: '2', label: 'twin.isa95.Property', axis: null, structure: 'full', behavior: 'partial', surface: 'full', note: 'twin.isa95.note.property' }
+]
+
+/*
+ * Part 4 — 일정과 실적.
+ *
+ * **2026-08-11 이전에는 이 부분이 거의 비어 있었다.** 오더·작업은 런타임과 저널에 실재하는데 조회
+ * 모델의 축이 아니었고, 그래서 "이 트윈이 표준의 어디를 채우나" 라는 질문에 절반만 답했다.
+ *
+ * 커널이 계약을 넓혀(`source: 'state'`) 두 축이 추가되었다 — 이제 요구(`orders`)와 응답(`tasks`)을 개념으로
+ * 가리켜 걸어 들어갈 수 있다. 남은 것은 **과거로 다시 계산하는 길**(저널 커서 페이징)과 능력·검사 명세다.
+ */
+const PART4: Isa95Concept[] = [
+  { std: 'OperationsDefinition', part: '4', label: 'twin.isa95.OperationsDefinition', axis: 'productionSpec', structure: 'full', behavior: 'full', surface: 'partial', note: 'twin.isa95.note.opsdef' },
+  /*
+   * 2026-08-11 — **축이 추가되었다**(커널 0.6.3 · `source: 'state'`). 요구는 `orders`, 응답은 `tasks` 다.
+   *
+   * `structure` 를 `full` 로 올린다: 담을 자리가 계약에 있다(상태 계약 + 축 선언). **테이블 투영이
+   * 없는 것은 결손이 아니다** — 이 축의 정본은 저널이고, 투영하지 않는 것이 결정이다(ADR-0032-D).
+   *
+   * `surface` 도 `full` 이다(같은 날 두 번째 단계): 목록·상세·관계에 더해 **과거로 다시 계산하는 길**이 화면에
+   * 있다 — 시각 커서를 옮기면 그 시점의 사실이 나오고, 무엇을 근거로 답했는지도 화면이 말한다
+   * (라이브=권위 · 저널=파생 · 접은 리비전). 실측: 이른 시각 0건 · 하루 뒤 504건.
+   */
+  { std: 'OperationsSchedule', part: '4', label: 'twin.isa95.OperationsSchedule', axis: 'orders', structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.schedule' },
+  { std: 'OperationsPerformance', part: '4', label: 'twin.isa95.OperationsPerformance', axis: 'tasks', structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.performance' },
+  { std: 'OperationsCapability', part: '4', label: 'twin.isa95.OperationsCapability', axis: null, shownOn: ['operations'], structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.opscapability' },
+  /*
+   * 2026-08-12 — **축이 추가되었다**(커널 0.6.5). 자원 아홉이 가리키던 참조에 대상이 생겼고, 없는 명세를
+   * 가리키면 선 채움이 끊어진 참조로 센다.
+   *
+   * 기능이 **`partial` 로 살아났다**(커널 0.6.6): 결과(`TestResult`)가 계약에 들어오면서 커널이 배정에서
+   * 그것을 본다 — 만료·불합격이면 그 자격은 성립하지 않는다(실측: 만료된 용접사는 용접 작업 5건 중 한
+   * 번도 배정되지 않았다).
+   *
+   * `full` 이 아닌 이유는 둘이다: **사람만 판정한다**(설비·자산의 검사 결과는 아직 배정에 쓰지 않는다),
+   * 그리고 결과가 없으면 판정하지 않는다(선언한 것만 제약이 된다 — 그건 결손이 아니라 규율이다).
+   */
+  { std: 'TestSpecification', part: '4', label: 'twin.isa95.TestSpecification', axis: 'testSpecifications', structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.test' },
+  { std: 'WorkMaster', part: '4', label: 'twin.isa95.WorkMaster', axis: 'recipes', structure: 'full', behavior: 'full', surface: 'full' },
+  { std: 'WorkDirective', part: '4', label: 'twin.isa95.WorkDirective', axis: null, structure: 'none', behavior: 'none', surface: 'none' }
+]
+
+/** 표준이 요구하는 것 전부 — 이 배열이 곧 기준이다. */
+export const ISA95_CONCEPTS: Isa95Concept[] = [...PART2, ...PART4]
+
+/**
+ * 적합성 보고 — **채운 것과 빠진 것을 함께.**
+ *
+ * `axis` 를 커널 축 목록과 맞춰 본다: 축이 있다고 적혀 있는데 커널에 없으면 그 선언이 낡은 것이므로
+ * **구조 없음으로 낮추고 그 사실을 말한다**(조용히 통과시키면 이 표가 거짓이 된다).
+ */
+export function isa95Coverage(axes: string[]): {
+  model: string
+  concepts: (Isa95Concept & { axisMissing?: boolean })[]
+  totals: { concepts: number; structure: number; behavior: number; surface: number }
+} {
+  const known = new Set(axes)
+  const concepts = ISA95_CONCEPTS.map(c => {
+    const axisMissing = !!c.axis && !known.has(c.axis)
+    /* 가리키는 곳이 없어진 축은 **가리키지 않는다** — 죽은 문으로 보내면 화면이 거짓말을 한다.
+       `axis` 와 같은 규율이고, 여기가 비면 그 줄은 다시 "축이 없다" 로 정직하게 돌아간다. */
+    const shownOn = c.shownOn?.filter(a => known.has(a))
+    const fixed = shownOn && shownOn.length !== c.shownOn?.length ? { ...c, shownOn } : c
+    return axisMissing ? { ...fixed, structure: 'none' as CoverageLevel, axisMissing } : fixed
+  })
+  /* 채운 수는 `full` 만 센다 — 부분을 채운 것으로 세면 기준이 스스로를 속인다. */
+  const count = (k: 'structure' | 'behavior' | 'surface') => concepts.filter(c => c[k] === 'full').length
+  return {
+    model: 'ISA-95',
+    concepts,
+    totals: { concepts: concepts.length, structure: count('structure'), behavior: count('behavior'), surface: count('surface') }
+  }
+}

package/server/service/twin-model/project-structure.ts

@@ -0,0 +1,199 @@
+import { getRepository } from '@things-factory/shell'
+
+import { TwinInstance } from '../twin-instance/twin-instance.js'
+import { TwinArea } from '../twin-space/twin-area.js'
+import { TwinLocation } from './twin-location.js'
+import { TwinEquipment } from './twin-equipment.js'
+import { TwinOperation } from './twin-operation.js'
+import { readBoardEquipment } from '@operato/twin-kernel'
+
+/*
+ * 구조 투영 — `model`(커널 입력 문서) → **표준 엔티티 행**(ADR-0032).
+ *
+ * ── 왜 전량 교체인가 ────────────────────────────────────────────────────────
+ * 이 행들은 **원본에서 온 캐시**다(ADR-0032-D). 원본이 진실이므로 diff 로 아끼는 것보다
+ * **매번 그대로 다시 그리는 것**이 맞다 — diff 는 "우리 쪽에 남겨야 할 것이 있다" 는 전제를
+ * 깔고, 그 전제가 소유 침범의 시작이다.
+ *
+ * 규모가 커지면 서명(`TwinStructure.signature`)이 같을 때 건너뛰는 장치가 이미 있으므로
+ * 그것을 앞에 둔다. 여기서 diff 를 발명하지 않는다.
+ *
+ * ── 순서가 중요하다 ────────────────────────────────────────────────────────
+ * 설비가 자리를 FK 로 가리키므로 **자리를 먼저** 넣는다. 지우는 것은 반대 순서다.
+ * (자리 삭제 시 설비의 `homeLocation` 은 `SET NULL` 이지만, 전량 교체에서는 둘 다 지운다.)
+ */
+export interface ProjectionReport {
+  locations: number
+  equipment: number
+  operations: number
+  /** 자리를 못 찾아 기준 자리를 비운 설비 — **조용히 넘기지 않는다.** */
+  unresolvedHome: string[]
+  /** 구역을 못 찾아 비운 자리. 구역은 model 밖(호스트 개념)이라 어긋날 수 있다. */
+  unresolvedArea: string[]
+}
+
+/**
+ * 이 트윈의 구조 행을 **원본 그대로 다시 그린다.**
+ *
+ * `sourceRef` 는 어느 원본에서 왔는지다(`ReferenceMaster.source` = instanceId). 없는 행은
+ * 만들 수 없다 — 캐시라는 사실을 구조로 지킨다.
+ */
+export async function projectStructure(domainId: string, instanceId: string, model: any, sourceRef: string): Promise<ProjectionReport> {
+  const instance = await getRepository(TwinInstance).findOne({ where: { domain: { id: domainId }, instanceId } })
+  if (!instance) throw new Error(`cannot project structure: twin instance "${instanceId}" is not registered`)
+
+  /*
+   * **같은 id 가 둘이면 그 사실을 말한다** — 제약 위반 문구를 사용자에게 던지지 않는다.
+   *
+   * 실측(2026-08-18): 현장 값을 그 현장의 트윈 전부에 얹다가 한 트윈에서 투영이 터졌다. 올라온 것은
+   * `SQLITE_CONSTRAINT: UNIQUE constraint failed: twin_equipment...` 뿐이라 **무엇이 잘못됐는지 아무도
+   * 알 수 없었다.** 원인은 그 모델에 설비 `load-1` 이 두 번 들어 있던 것이다(id 는 트윈 안에서 유일해야
+   * 한다). 조용히 하나만 남기지 않는다 — 그것은 모델링 오류를 감추는 일이고, 어느 쪽이 맞는지 우리는
+   * 모른다.
+   */
+  const dupOf = (list: any[] | undefined, what: string): string | undefined => {
+    const seen = new Set<string>()
+    for (const e of list ?? []) {
+      const id = String(e?.id ?? '')
+      if (!id) continue
+      if (seen.has(id)) return `twin "${instanceId}" has two ${what} with id "${id}" — ids must be unique within a twin, so the model cannot be projected`
+      seen.add(id)
+    }
+    return undefined
+  }
+  const dupMsg = dupOf(model?.locations, 'locations') ?? dupOf(readBoardEquipment(model), 'equipment')
+  if (dupMsg) throw new Error(dupMsg)
+
+  const locRepo = getRepository(TwinLocation)
+  const eqRepo = getRepository(TwinEquipment)
+  const opRepo = getRepository(TwinOperation)
+  const scope = { domain: { id: domainId } as any, instance: { id: instance.id } as any }
+  const ingestedAt = new Date()
+
+  /*
+   * 전량 교체 — 이 행들은 **원본에서 온 캐시**이므로 매번 그대로 다시 그린다.
+   * diff 로 아끼는 것은 "우리 쪽에 남겨야 할 것이 있다" 는 전제를 깔고, 그 전제가 소유 침범의 시작이다.
+   *
+   * **관측으로 자란 자원은 여기 쓰지 않는다.** 커널은 마스터에 없던 설비도 이벤트로 알게 되지만
+   * (`observed-reducer` 의 `origin: 'observed'`), 그것을 이 표에 밀어 넣으면 **쓰기 경로가 둘**이 되고
+   * 틱 루프에서 DB 로 쓰는 길이 생긴다(ADR-0032-D 위반). 그 차이는 **조회 시점에 비교해 보고**한다 —
+   * 숨겨야 할 불일치가 아니라 "원본이 모르는 설비가 실행 중이다" 는 사실이다.
+   */
+  await eqRepo.delete(scope)
+  await opRepo.delete(scope)
+  await locRepo.delete(scope)
+
+  /* 구역은 model 밖에 산다(호스트의 TwinArea). 이름으로 찾아 FK 를 잇는다. */
+  const areas = await getRepository(TwinArea).find({ where: { domain: { id: domainId } as any } })
+  const areaOf = new Map(areas.map(a => [a.areaId, a]))
+  const unresolvedArea: string[] = []
+
+  /*
+   * ── 전기 상류를 「구역」으로 읽지 않는다 (2026-08-18) ────────────────────────
+   *
+   * 자리의 부모가 **다른 자리**일 수 있다(분기의 상류는 수전이다). 그 부모를 구역 표에서 찾으면 당연히
+   * 없고, 예전에는 그것을 매번 「구역이 이 트윈에 없다」로 경고했다 — 에너지 트윈을 인제스트할 때마다
+   * 분기 수만큼 거짓 경보가 났다. 경보가 소음이 되면 **사람이 경보 자체를 읽지 않게 된다.**
+   *
+   * 자리를 가리키는 부모는 계층(자리 ⊃ 자리)이고, 구역은 model 밖의 다른 표다. 그래서 부모가 이 모델의
+   * 자리이면 구역 해석을 **시도하지 않는다**(없는 것을 못 찾았다고 말하지 않는다).
+   */
+  const locationIds = new Set((model?.locations ?? []).filter((l: any) => l?.id).map((l: any) => String(l.id)))
+
+  const locations: TwinLocation[] = (model?.locations ?? [])
+    .filter((l: any) => l?.id)
+    .map((l: any) => {
+      const parentIsLocation = l.parentId ? locationIds.has(String(l.parentId)) : false
+      const area = l.parentId && !parentIsLocation ? areaOf.get(l.parentId) : undefined
+      if (l.parentId && !parentIsLocation && !area) unresolvedArea.push(`${l.id}→${l.parentId}`)
+      return locRepo.create({
+        ...scope,
+        locationId: l.id,
+        /* **이름을 옮긴다.** 버리고 있었다 — 그래서 화면에 자리 id 만 남았다(§name 주석 참조). */
+        name: l.name ?? null,
+        description: l.description ?? null,
+        type: l.type,
+        capacity: l.capacity ?? null,
+        parallelism: l.parallelism ?? null,
+        area: area ? ({ id: area.id } as any) : null,
+        gs1Id: l.gs1Id ?? null,
+        /* 자리의 속성도 옮긴다 — 옮기지 않으면 계약전력·요금이 항목 패널에서 사라진다(조용한 누락). */
+        properties: l.properties ?? null,
+        sourceRef,
+        ingestedAt
+      } as any)
+    })
+  const savedLocations = locations.length ? await locRepo.save(locations, { chunk: 500 }) : []
+  const locOf = new Map(savedLocations.map(l => [l.locationId, l]))
+
+  const unresolvedHome: string[] = []
+  const equipment: TwinEquipment[] = (model?.equipment ?? [])
+    .filter((m: any) => m?.id)
+    .map((m: any) => {
+      const home = m.homeLocation ? locOf.get(m.homeLocation) : undefined
+      /* 끊어진 기준 자리는 **이름을 대고** 보고한다. 예전에는 화면이 경고할 뿐이었고
+         다른 경로로 들어온 데이터는 아무도 안 봤다. */
+      if (m.homeLocation && !home) unresolvedHome.push(`${m.id}→${m.homeLocation}`)
+      return eqRepo.create({
+        ...scope,
+        equipmentId: m.id,
+        name: m.name ?? null,
+        description: m.description ?? null,
+        kind: m.kind,
+        /* 속성도 옮긴다 — 행에 자리가 없어 흘리고 있었다(소비처가 실제로 읽는 사실이다: 주행 속도). */
+        properties: m.properties ?? null,
+        /* 시험 참조도 함께 — 흘리면 명세 쪽에서 "누가 나를 가리키나" 에 이 설비가 빠진다. */
+        testSpecificationIds: m.testSpecificationIds ?? null,
+        /* 결과까지 — 참조만 있으면 "무엇으로 검증한다" 까지고, 자격 성립은 결과가 말한다. */
+        testResults: m.testResults ?? null,
+        homeLocation: home ? ({ id: home.id } as any) : null,
+        mtbfMs: m.mtbfMs ?? null,
+        mttrMs: m.mttrMs ?? null,
+        gs1Id: m.gs1Id ?? null,
+        sourceRef,
+        ingestedAt
+      } as any)
+    })
+  if (equipment.length) await eqRepo.save(equipment, { chunk: 500 })
+
+  const operations: TwinOperation[] = (model?.operations ?? [])
+    .filter((o: any) => o?.key)
+    .map((o: any, i: number) =>
+      opRepo.create({
+        ...scope,
+        operationKey: o.key,
+        /*
+         * 공정은 마스터가 `label` 로 말한다 — 행에서는 **규약의 이름 하나만** 둔다.
+         *
+         * 한동안 `label` 컬럼도 함께 남겨 뒀더니 조회 화면에 "이름" 열이 **두 개** 떴다(같은 값이
+         * 두 번). 어휘를 하나로 한다고 하면서 둘을 남기면 반드시 이렇게 새어 나온다.
+         */
+        name: o.name ?? o.label ?? null,
+        description: o.description ?? null,
+        intent: o.intent ?? null,
+        locationType: o.locationType ?? null,
+        resourceType: o.resourceType ?? null,
+        /* 소요시간은 ISO 8601 문자열이 정본 — 분으로 접으면 초가 조용히 사라진다. */
+        duration: o.duration ?? null,
+        variability: o.variability ?? null,
+        parameters: o.parameters ?? null,
+        /* **네 자원 명세를 함께 옮긴다.** 셋이 빠져 있어서 조회 화면이 "원본이 말한 값" 이라 적고도
+           넷 중 하나만 보였다 — 사람이 필요한 공정을 보고 사람이 필요 없다고 결론 내게 된다. */
+        personnelSpecification: o.personnelSpecification ?? null,
+        physicalAssetSpecification: o.physicalAssetSpecification ?? null,
+        materialSpecification: o.materialSpecification ?? null,
+        seq: i,
+        sourceRef,
+        ingestedAt
+      } as any)
+    )
+  if (operations.length) await opRepo.save(operations, { chunk: 500 })
+
+  return {
+    locations: savedLocations.length,
+    equipment: equipment.length,
+    operations: operations.length,
+    unresolvedHome,
+    unresolvedArea
+  }
+}

package/server/service/twin-model/standard-coverage.ts

@@ -0,0 +1,35 @@
+/*
+ * 이 트윈이 기대는 **표준들** — 종류에 따라 다르다.
+ *
+ * 적합성 패널이 트윈 종류와 무관하게 ISA-95 하나만 말하고 있었다. 에너지 트윈에서 그것은 거짓은
+ * 아니지만 부족하다: 계량기·차단기·태양광·축전지의 어휘를 주는 것은 IEC 61850 이고, 무엇이 비었는지도
+ * 그 목록으로만 셀 수 있다.
+ *
+ * ── 여기 넣지 않는 것 ───────────────────────────────────────────────────────
+ * ISO 50001·ISO 55000 은 **경영 시스템**이다. 데이터 스키마가 아니라 요구사항에 답해야 하는 대상이라
+ * 「필드 커버리지」로 말할 수 없다 — 배우기 문서가 같은 구분을 지키고 있고, 화면도 그래야 한다.
+ *
+ * ── 왜 표를 여기서 부르지 않나 ──────────────────────────────────────────────
+ * 이 파일은 **정책**만 담는다(어느 종류가 어느 표준을 기대하나). 표를 직접 불러오면 그 순간 이 규칙을
+ * 단위 시험이 불러올 수 없게 된다(모듈 사슬이 런타임 해석을 탄다). 조립은 질의가 한 줄로 한다.
+ */
+
+/** 우리가 적합성 표를 가진 표준들. */
+export type StandardId = 'isa95' | 'epcis' | 'iec61850'
+
+/**
+ * 이 종류의 트윈이 기대는 표준 — **순서 = 화면에 놓이는 순서.**
+ *
+ * ISA-95 는 종류와 상관없이 낸다: 자원과 계층은 어느 도메인에서나 그 표준의 것이다.
+ * 종류가 더하는 표준만 뒤에 붙인다.
+ */
+export function standardsForKind(kind?: string): StandardId[] {
+  /*
+   * 물류·제조는 **EPCIS** 로 「무슨 일이 있었나」와 「이 번호가 무엇을 가리키나」를 정한다.
+   * 에너지에는 붙이지 않는다 — 그 트윈에는 오가는 물건이 없고, 계측은 EPCIS 사건이 아니라 표본으로
+   * 들어온다(사건과 시계열은 다른 층이다).
+   */
+  if (kind === 'ems') return ['isa95', 'iec61850']
+  if (kind === 'wms' || kind === 'yms' || kind === 'mes') return ['isa95', 'epcis']
+  return ['isa95']
+}

package/server/service/twin-model/twin-equipment.ts

@@ -0,0 +1,150 @@
+import { CreateDateColumn, Entity, Index, Column, RelationId, ManyToOne, PrimaryGeneratedColumn, UpdateDateColumn } from 'typeorm'
+import { ObjectType, Field, ID, Int } from 'type-graphql'
+
+import { Domain, ScalarObject } from '@things-factory/shell'
+
+import { TwinInstance } from '../twin-instance/twin-instance.js'
+import { TwinLocation } from './twin-location.js'
+
+/*
+ * TwinEquipment — 이 트윈이 반영하는 **설비**. ISA-95 `Equipment` / ISO 55000 `Asset` / EPCIS `GIAI`.
+ *
+ * 자리와 같은 규율을 따른다(`twin-location.ts` 머리말) — 이것도 **원본에서 온 캐시**이고,
+ * `sourceRef`·`ingestedAt` 이 필수이며, 쓰기 경로는 인제스트 하나다.
+ *
+ * ── 테이블 이름을 명시한다 ──────────────────────────────────────────────────
+ * `equipment` 는 영어에서 **불가산**이라 자동 복수화가 다른 표들과 규칙이 어긋난다
+ * (`twin_locations` 인데 `twin_equipment`). 조용한 비일관은 나중에 "왜 이것만 다르지" 를
+ * 만들므로 이름을 고정한다(ADR-0032-I).
+ */
+@Entity({ name: 'twin_equipment' })
+@Index('ix_twin_equipment_0', (e: TwinEquipment) => [e.domain, e.instance, e.equipmentId], { unique: true })
+/* 종류로 좁혀 보기 — 공정이 `resourceType` 으로 종류를 가리키므로 잦은 질의다. */
+@Index('ix_twin_equipment_1', (e: TwinEquipment) => [e.domain, e.instance, e.kind])
+@ObjectType({ description: 'Equipment reflected into the twin (ISA-95 Equipment / ISO 55000 Asset). Projected from the source; never authored here.' })
+export class TwinEquipment {
+  @PrimaryGeneratedColumn('uuid')
+  @Field(type => ID)
+  readonly id: string
+
+  @ManyToOne(type => Domain)
+  @Field(type => Domain, { nullable: true, description: 'Owning tenant domain.' })
+  domain?: Domain
+
+  @RelationId((e: TwinEquipment) => e.domain)
+  domainId?: string
+
+  @ManyToOne(type => TwinInstance, { onDelete: 'CASCADE' })
+  @Field(type => TwinInstance, { nullable: true, description: 'Owning twin instance.' })
+  instance?: TwinInstance
+
+  @RelationId((e: TwinEquipment) => e.instance)
+  instanceRowId?: string
+
+  /** 커널 계약의 `TwinModelDef.equipment[].id` 그대로. */
+  @Column()
+  @Field({ description: 'Equipment id as declared by the source (kernel TwinModelDef.equipment[].id).' })
+  equipmentId: string
+
+  /**
+   * **사람이 부르는 이름** — 프레임워크 엔티티 규약의 `name`/`description`.
+   *
+   * ── 왜 이것이 빠져 있었고, 무엇이 망가졌나 ────────────────────────────────────
+   * 투영이 마스터의 `name` 을 버리고 있었다. 그래서 행에는 id 만 남고, 화면은 이름을 만들 재료가
+   * 없어 `cut-station` 을 그대로 찍었다 — 그 결함이 목록·표·관계 그림마다 따로 나타나서 표면을
+   * 하나씩 고치게 만들었다. 표면의 문제가 아니라 **행에 이름이 없던 문제**다.
+   *
+   * 원본이 이름을 말하지 않으면 비운다(id 를 이름으로 베끼지 않는다 — 그러면 "이름이 있다" 는
+   * 거짓이 되고, 화면이 이름 없음을 알아볼 수 없게 된다).
+   */
+  @Column({ nullable: true })
+  @Field({ nullable: true, description: 'Human name as declared by the source. Empty when the source does not name it (never copied from the id).' })
+  name?: string
+
+  @Column({ nullable: true })
+  @Field({ nullable: true, description: 'Longer description when the source provides one.' })
+  description?: string
+
+  /** 커널 카탈로그의 설비 종류 키(`forklift`·`welder`…). FK 아님 — 카탈로그는 커널 SSOT. */
+  @Column()
+  @Field({ description: 'Equipment kind key from the kernel catalog (not an FK — the catalog is the kernel SSOT).' })
+  kind: string
+
+  /**
+   * 자원 속성 — **ISA-95 `Property`**(값·데이터형·단위·하위 속성).
+   *
+   * 모델에는 있는데 행에 자리가 없어 투영이 흘리고 있었다. 그러면 조회 화면은 "원본이 말한 값" 이라
+   * 적고도 속성을 보이지 못한다 — 이름이 같은 식으로 사라졌던 것과 같은 부류다(2026-08-11).
+   *
+   * 소비처가 실제로 읽는 사실이다: 주행 추정기가 `speed` 로 이동 시간을 만든다. 단위가 값 옆에 붙어
+   * 있어야 뜻이 서므로 **모양 그대로** 담는다(문자열 값 + `uom` + `dataType`).
+   */
+  @Column({ type: 'simple-json', nullable: true })
+  @Field(type => ScalarObject, { nullable: true, description: 'Resource properties as declared by the source (ISA-95 Property: value + dataType + unit of measure, optional children).' })
+  properties?: any
+
+  /**
+   * 이 설비의 적격을 검증한 **시험 명세들** — 표준 `TestSpecificationID`(`maxOccurs="unbounded"`).
+   *
+   * 참조만 담는다(대상은 `testSpecifications` 축). 속성과 **같은 부류의 결손**이었다: 모델에는 있는데
+   * 행에 자리가 없어 투영이 흘렸고, 그래서 명세 쪽에서 "누가 나를 가리키나" 를 물으면 설비가 빠졌다.
+   */
+  @Column({ type: 'simple-json', nullable: true })
+  @Field(type => [String], { nullable: true, description: 'Test specifications that verified this equipment (ISA-95 TestSpecificationID, unbounded). References only — the specifications themselves live on the testSpecifications axis.' })
+  testSpecificationIds?: string[]
+
+  /**
+   * 그 시험들의 **결과** — 자격이 성립하는지는 이것이 말한다.
+   *
+   * 참조만 있으면 "무엇으로 검증한다" 까지다. 오늘 이 저장소에서 네 번 나온 결손과 같은 부류이므로
+   * 행에 자리를 함께 만든다 — 모델에는 있는데 행에 없으면 화면이 조용히 잃는다.
+   */
+  @Column({ type: 'simple-json', nullable: true })
+  @Field(type => ScalarObject, { nullable: true, description: 'Results of those tests (pass/fail with dates). Declared by the source — the twin does not produce them.' })
+  testResults?: any
+
+  /**
+   * 기준 자리 — **실제 FK**. 예전에는 `homeLocation` 문자열이라 끊어진 참조를 화면이 경고했고
+   * (`brokenHomeRefs`), 다른 경로로 들어오는 데이터는 아무도 안 봤다. 이제 DB 가 막는다.
+   */
+  @ManyToOne(type => TwinLocation, { nullable: true, onDelete: 'SET NULL' })
+  @Field(type => TwinLocation, { nullable: true, description: 'Home location this equipment belongs to.' })
+  homeLocation?: TwinLocation
+
+  @RelationId((e: TwinEquipment) => e.homeLocation)
+  homeLocationRowId?: string
+
+  /*
+   * 고장 모델 — 원본이 선언할 때만 있다. 없으면 고장 없는 설비로 동작한다(커널 계약).
+   * **관측(가동률)은 여기 두지 않는다** — 그건 트윈이 저널에서 만든 것이라 성질이 다르고,
+   * 이 표는 원본에서 재생성 가능해야 한다(ADR-0032-D).
+   */
+  @Column({ type: 'int', nullable: true })
+  @Field(type => Int, { nullable: true, description: 'Declared mean time between failures in ms. Absent = no failure model.' })
+  mtbfMs?: number
+
+  @Column({ type: 'int', nullable: true })
+  @Field(type => Int, { nullable: true, description: 'Declared mean time to repair in ms.' })
+  mttrMs?: number
+
+  @Column({ nullable: true })
+  @Field({ nullable: true, description: 'GS1 identifier supplied by the source (e.g. GIAI).' })
+  gs1Id?: string
+
+  /* ── 캐시라는 사실을 구조로 (ADR-0032-D) ── */
+  @Column()
+  @Field({ description: 'Which reference (source system) this row came from. Required.' })
+  sourceRef: string
+
+  @Column({ type: 'datetime' })
+  @Field({ description: 'When this row was projected from the source.' })
+  ingestedAt: Date
+
+  @CreateDateColumn()
+  @Field({ nullable: true })
+  createdAt?: Date
+
+  @UpdateDateColumn()
+  @Field({ nullable: true })
+  updatedAt?: Date
+}