@things-factory/headless-twin 10.0.9 → 10.0.10

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

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

@@ -0,0 +1,140 @@
+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 { TwinArea } from '../twin-space/twin-area.js'
+
+/*
+ * TwinLocation — 이 트윈이 반영하는 **자리**. ISA-95 `OperationalLocation` / EPCIS `SGLN`.
+ *
+ * ── 왜 테이블인가 (ADR-0032, 2026-08-08) ────────────────────────────────────
+ * 지금까지 자리는 `TwinInstance.model` JSON 안에 있었다. 그래서 ⑴ 부분 갱신이 없어 쓰는 쪽이
+ * 빠뜨리면 삭제였고 ⑵ 라우트→공정·설비→자리 참조에 FK 를 못 걸어 **끊어진 참조를 화면이 보고만**
+ * 했고 ⑶ 5개 드라이버에서 JSON 질의가 이식되지 않아 "설비 몇 대?" 조차 서버가 못 답했다.
+ *
+ * ── 이것은 **원본에서 온 캐시**다 (ADR-0032-D) ──────────────────────────────
+ * 잘 만든 엔티티는 정본처럼 **생겼다.** 그래서 소유 침범을 부른다 — 누군가 "여기에만 있는 컬럼" 을
+ * 더하고, 쓰기 경로를 열고, 그러면 `ADR-0028`(트윈은 만들지 않는다)이 무너진다.
+ *
+ * 규율 셋을 구조로 박는다:
+ *  · `sourceRef`·`ingestedAt` 필수 — 어디서 언제 왔는지 없는 행은 만들 수 없다
+ *  · 쓰기 경로는 **인제스트 하나**
+ *  · **전부 지우고 다시 만들 수 있다** — 원본이 낼 수 없는 값을 여기 두지 않는다
+ */
+@Entity({ name: 'twin_locations' })
+@Index('ix_twin_location_0', (e: TwinLocation) => [e.domain, e.instance, e.locationId], { unique: true })
+/* 타입으로 좁혀 보기(인스펙션의 "이 타입의 자리들") — 공정이 타입을 가리키므로 잦은 질의다. */
+@Index('ix_twin_location_1', (e: TwinLocation) => [e.domain, e.instance, e.type])
+@ObjectType({ description: 'A location reflected into the twin (ISA-95 OperationalLocation / EPCIS SGLN). Projected from the source; never authored here.' })
+export class TwinLocation {
+  @PrimaryGeneratedColumn('uuid')
+  @Field(type => ID)
+  readonly id: string
+
+  @ManyToOne(type => Domain)
+  @Field(type => Domain, { nullable: true, description: 'Owning tenant domain.' })
+  domain?: Domain
+
+  @RelationId((e: TwinLocation) => e.domain)
+  domainId?: string
+
+  /* 이 자리가 속한 트윈. 트윈이 사라지면 그 구조도 함께 사라진다(투영이므로 재생성 가능). */
+  @ManyToOne(type => TwinInstance, { onDelete: 'CASCADE' })
+  @Field(type => TwinInstance, { nullable: true, description: 'Owning twin instance.' })
+  instance?: TwinInstance
+
+  @RelationId((e: TwinLocation) => e.instance)
+  instanceRowId?: string
+
+  /** 커널 계약의 `TwinModelDef.locations[].id` **그대로**. 바인딩은 id===id 다(ADR-0014). */
+  @Column()
+  @Field({ description: 'Location id as declared by the source (kernel TwinModelDef.locations[].id).' })
+  locationId: 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
+
+  /**
+   * 커널 카탈로그의 자리 타입 키(`storage`·`dock`·`yard-slot`…).
+   *
+   * **FK 를 걸지 않는다** — 타입 카탈로그는 커널이 SSOT 이고(ADR-0018) DB 로 내리면
+   * **커널 어휘의 사본**이 생긴다. 문자열 + 부팅 시 검증이 맞다(ADR-0032-F).
+   */
+  @Column()
+  @Field({ description: 'Location type key from the kernel catalog (not an FK — the catalog is the kernel SSOT).' })
+  type: string
+
+  @Column({ type: 'int', nullable: true })
+  @Field(type => Int, { nullable: true, description: 'Declared capacity. Absent when the source does not say.' })
+  capacity?: number
+
+  @Column({ type: 'int', nullable: true })
+  @Field(type => Int, { nullable: true, description: 'How many things can be worked on here at once, when the source declares it.' })
+  parallelism?: number
+
+  /**
+   * 속한 구역 — **실제 FK**.
+   *
+   * 커널 계약에서는 `locations[].parentId` 가 model 안에 대상이 없는 참조였다(마스터에서 구역도
+   * 자리와 한 목록이었다가 인제스트가 갈라 `TwinArea` 로 보내기 때문). 커널은 그것을
+   * `external: 'space.area'` 로 선언했고, **호스트에서는 평범한 FK 가 된다.**
+   */
+  @ManyToOne(type => TwinArea, { nullable: true, onDelete: 'SET NULL' })
+  @Field(type => TwinArea, { nullable: true, description: 'Logical area this location belongs to.' })
+  area?: TwinArea
+
+  @RelationId((e: TwinLocation) => e.area)
+  areaRowId?: string
+
+  /** GS1 식별자(SGLN 등) — 원본이 주면 싣는다. */
+  @Column({ nullable: true })
+  @Field({ nullable: true, description: 'GS1 identifier supplied by the source (e.g. SGLN).' })
+  gs1Id?: string
+
+  /**
+   * 이 자리의 **선언 속성** — 계약전력·요금 단가처럼 자리에 얹히는 수(ISA-95 Property).
+   *
+   * ── 왜 늦게 생겼나 (2026-08-18) ────────────────────────────────────────────
+   * 설비 행에는 이 칸이 있었는데 자리 행에는 없었다. 그래서 수전 지점에 계약전력·요금을 넣어도 **항목
+   * 패널의 「원본이 말한 값」에 그 줄이 아예 없었다** — 사용자는 값을 넣고도 화면에서 찾을 수 없었고,
+   * 「이 값이 무엇을 바꾸나」는 문장도 붙을 자리가 없었다(조용한 누락).
+   */
+  @Column({ type: 'simple-json', nullable: true })
+  @Field(type => ScalarObject, { nullable: true, description: 'Properties declared on this location (ISA-95 Property: value + dataType + unit of measure). Carries locally-declared numbers too, with source: local.' })
+  properties?: any
+
+  /* ── 캐시라는 사실을 구조로 (ADR-0032-D) ── */
+  @Column()
+  @Field({ description: 'Which reference (source system) this row came from. Required — a row with no origin cannot exist.' })
+  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
+}