@things-factory/headless-twin 10.0.8 → 10.0.10

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
+}

package/server/service/twin-model/twin-lineage-query.ts

@@ -0,0 +1,193 @@
+import { Arg, Ctx, Int, Query, Resolver } from 'type-graphql'
+
+import { ScalarObject, getRepository } from '@things-factory/shell'
+
+import { TwinInstance } from '../twin-instance/twin-instance.js'
+import { TwinEvent } from '../twin-event/twin-event.js'
+
+/*
+ * 계보 — **이 개체는 무엇에서 나왔나**, 그리고 **설계대로 만들어졌나.**
+ *
+ * ── 구성과 계보는 주어가 다르다 ────────────────────────────────────────────────
+ * 구성(BOM)의 주어는 품목 **정의**다 — "트레일러는 프레임 1개로 만든다"(선언).
+ * 계보의 주어는 품목 **개체**다 — "이 트레일러는 저 프레임 로트에서 나왔다"(관측).
+ * 둘은 같은 모양이라 겹쳐 볼 수 있고, **그 차이가 곧 진단**이다: "설계는 1개인데 이건 2개를 먹었다".
+ * 트윈이 아니면 못 하는 답이고, 이 질의가 그 답의 재료다.
+ *
+ * ── 어디서 읽나 ────────────────────────────────────────────────────────────────
+ * 계보는 상태가 아니라 **저널**에 있다(EPCIS `TransformationEvent` 의 입력·산출 목록). 상태는
+ * 지금 무엇이 있는지만 알고, 없어진 원자재가 무엇이었는지는 이벤트만 안다.
+ *
+ * ── 규모 ───────────────────────────────────────────────────────────────────────
+ * 입력 목록은 **컬럼이 아니라 봉투 안**에 있어서 인덱스로 좁힐 수 없다. 그래서 변환 이벤트만
+ * 창으로 끊어 읽고, **끊었으면 끊었다고 말한다.** 그 사실을 감추면 "이 개체는 원자재가 없다" 로
+ * 읽히고, 계보에서 그 오해는 리콜 범위를 좁게 잡는 결과로 이어진다.
+ */
+
+/** GS1 SGTIN 의 **품목 참조** — 개체(serial)를 떼고 품목만 남긴다(`…sgtin:0614141.077101.42` → `077101`). */
+function itemRefOf(epc: string): string | null {
+  const m = /sgtin:[^.]+\.([^.]+)\./.exec(epc)
+  return m ? m[1] : null
+}
+
+@Resolver()
+export class TwinLineageQuery {
+  @Query(returns => ScalarObject, {
+    nullable: true,
+    description:
+      'Where one item came from (observed) laid next to what its type declares (BOM). Walks TransformationEvent input/output lists in the journal; reports the window it read and whether it was truncated. The declared|observed difference is the diagnosis: "the recipe says one frame, this one consumed two".'
+  })
+  async twinItemLineage(
+    @Arg('instanceId') instanceId: string,
+    @Arg('epc') epc: string,
+    @Ctx() context: ResolverContext,
+    @Arg('maxDepth', type => Int, { nullable: true }) maxDepth?: number,
+    @Arg('window', type => Int, { nullable: true }) window?: number
+  ): Promise<any | null> {
+    const domainId = context.state.domain.id
+    const inst = await getRepository(TwinInstance).findOne({ where: { domain: { id: domainId }, instanceId } })
+    if (!inst) return null
+
+    const depthCap = Math.min(Math.max(maxDepth ?? 6, 1), 12)
+    const windowCap = Math.min(Math.max(window ?? 5000, 1), 50000)
+
+    /*
+     * 변환 이벤트만 읽는다. **최신부터** 읽는다 — 계보를 묻는 개체는 대개 최근에 만들어진 것이고,
+     * 창을 넘겨 잘릴 때 잃는 쪽이 오래된 것이어야 덜 아프다.
+     */
+    const rows: any[] = await getRepository(TwinEvent).find({
+      where: { domain: { id: domainId } as any, instanceId, eventType: 'epcis.TransformationEvent' } as any,
+      order: { eventTime: 'DESC' } as any,
+      take: windowCap
+    })
+    const truncated = rows.length >= windowCap
+
+    /* 산출 → 그 변환. 한 개체는 한 번만 만들어지지만, 데이터가 그렇지 않을 수 있으므로 목록으로 든다. */
+    const madeBy = new Map<string, { inputs: string[]; at?: string; tx?: string }[]>()
+    for (const r of rows) {
+      const d = r.payload?.data ?? {}
+      const outs: string[] = d.outputEPCList ?? []
+      const ins: string[] = d.inputEPCList ?? []
+      const step = { inputs: ins, at: r.eventTime, tx: d.bizTransactionList?.[0]?.bizTransaction }
+      for (const o of outs) {
+        const list = madeBy.get(o) ?? []
+        list.push(step)
+        madeBy.set(o, list)
+      }
+    }
+
+    /* 거슬러 올라간다 — 너비 우선, 지나온 것은 다시 파지 않는다(사이클·공유 부품). */
+    const items: any[] = [{ epc, itemRef: itemRefOf(epc), depth: 0 }]
+    const edges: any[] = []
+    const seen = new Set<string>([epc])
+    let depthTruncated = false
+    let frontier = [{ epc, depth: 0 }]
+    while (frontier.length) {
+      const next: typeof frontier = []
+      for (const cur of frontier) {
+        if (cur.depth >= depthCap) { depthTruncated = true; continue }
+        for (const step of madeBy.get(cur.epc) ?? []) {
+          for (const input of step.inputs) {
+            edges.push({ from: cur.epc, to: input, at: step.at, tx: step.tx, depth: cur.depth + 1 })
+            if (seen.has(input)) continue
+            seen.add(input)
+            items.push({ epc: input, itemRef: itemRefOf(input), depth: cur.depth + 1 })
+            next.push({ epc: input, depth: cur.depth + 1 })
+          }
+        }
+      }
+      frontier = next
+    }
+
+    /*
+     * **겹쳐 본다.** 이 개체의 품목이 어느 레시피의 산출이면, 그 레시피가 선언한 투입과 실제로
+     * 소비된 것을 자재별로 나란히 센다.
+     *
+     * 개체(EPC)와 자재 키를 잇는 것은 `productionSpec.binding`(자재 키 → GS1 품목 참조)이다.
+     * 바인딩이 없으면 **비교하지 않는다** — 짐작으로 이으면 "설계와 다르다" 는 거짓 진단이 나오고,
+     * 그건 아무 말도 안 하는 것보다 나쁘다.
+     */
+    const spec: any = (inst.model as any)?.productionSpec
+    const binding: Record<string, string> = spec?.binding ?? {}
+    const refToMaterial = new Map(Object.entries(binding).map(([mat, ref]) => [String(ref), mat]))
+    const materialOf = (e: string) => {
+      const ref = itemRefOf(e)
+      return ref ? refToMaterial.get(ref) ?? null : null
+    }
+
+    const myMaterial = materialOf(epc)
+    const recipes: any[] = spec?.definition?.recipes ?? []
+    const recipe = myMaterial ? recipes.find((r: any) => (r.outputs ?? []).some((o: any) => o.material === myMaterial)) : undefined
+
+    let conformance: any = null
+    if (!Object.keys(binding).length) {
+      conformance = { comparable: false, reason: 'no-binding' }
+    } else if (!myMaterial) {
+      conformance = { comparable: false, reason: 'item-not-bound' }
+    } else if (!recipe) {
+      conformance = { comparable: false, reason: 'no-recipe-for-material' }
+    } else {
+      /*
+       * 관측: **바인딩된 자재까지 내려가 센다** — 중간 산물(WIP)은 통과한다.
+       *
+       * 다단 라인에서 완제품의 직접 투입은 원자재가 아니라 **WIP** 다: 원자재는 첫 공정에서
+       * 소비되고 완제품은 마지막 공정에서 나온다. 그래서 직접 투입만 세면 레시피가 선언한 자재와
+       * **영원히 안 맞는다**(검사가 이것을 잡았다).
+       *
+       * WIP 은 라우트의 내부 산물이고 선언된 자재가 아니다 — 레시피는 자재로 말하므로 비교도
+       * 자재로 해야 한다. 바인딩에 있으면 거기서 멈추고, 없으면 그 위로 계속 따라간다.
+       *
+       * 다만 **다른 완제품까지 넘어가지 않는다**: 바인딩된 것을 만나면 멈추므로, 하위조립도
+       * 자재로 선언돼 있으면 그 자리에서 세어진다(그 아래는 그 자재 자신의 레시피가 볼 일이다).
+       */
+      const observed = new Map<string, number>()
+      let unbound = 0
+      const parentsOf = (e: string) => edges.filter(x => x.from === e).map(x => x.to)
+      const walked = new Set<string>([epc])
+      let layer = parentsOf(epc)
+      while (layer.length) {
+        const deeper: string[] = []
+        for (const e of layer) {
+          if (walked.has(e)) continue
+          walked.add(e)
+          const mat = materialOf(e)
+          if (mat) { observed.set(mat, (observed.get(mat) ?? 0) + 1); continue }
+          const up = parentsOf(e)
+          /* 바인딩에도 없고 더 올라갈 곳도 없다 — 정말 모르는 투입이다(수만 낸다). */
+          if (!up.length) { unbound++; continue }
+          deeper.push(...up)
+        }
+        layer = deeper
+      }
+      const declared = new Map<string, number>((recipe.inputs ?? []).map((i: any) => [i.material, i.qty ?? null]))
+      const keys = [...new Set([...declared.keys(), ...observed.keys()])]
+      conformance = {
+        comparable: true,
+        material: myMaterial,
+        recipe: recipe.key,
+        /* 자재마다 선언·관측을 나란히. 어느 한쪽에만 있는 것도 사실이다(빠뜨리지 않는다). */
+        lines: keys.map(m => ({
+          material: m,
+          declared: declared.has(m) ? declared.get(m) : null,
+          observed: observed.get(m) ?? 0,
+          matches: declared.get(m) === (observed.get(m) ?? 0)
+        })),
+        /* 바인딩에 없는 투입 — 설계에 없는 것이 들어갔을 수도, 바인딩이 덜 선언됐을 수도 있다.
+           어느 쪽인지 우리는 모르므로 **수만 낸다.** */
+        unboundInputs: unbound
+      }
+    }
+
+    return {
+      instanceId,
+      epc,
+      itemRef: itemRefOf(epc),
+      material: myMaterial,
+      items,
+      edges,
+      conformance,
+      /* 무엇을 근거로 답했나 — 창을 넘겨 끊겼으면 계보가 실제보다 얕게 보인다. */
+      basis: { source: 'journal', transformationsRead: rows.length, truncated, depthTruncated, depthCap, windowCap }
+    }
+  }
+}