@operato/twin-kernel 0.11.28 → 0.11.29

package/dist/flow-engine.js

@@ -1902,6 +1902,8 @@ export class FlowEngine {
             })),
             /* 접힌 오더 — 접은 것이 없으면 싣지 않는다(ADR-0092). */
             ...(foldedOrderCount(this.foldedOrders) ? { foldedOrders: structuredClone(this.foldedOrders) } : {}),
+            /* 다른 렌즈의 자리 — 모델의 선언 그대로(ADR-0081 보탬). 시뮬과 미러가 같은 칸을 낸다. */
+            ...(this.boardDef?.referencedLocations?.length ? { referencedLocations: this.boardDef.referencedLocations.map(r => ({ ...r })) } : {}),
             orders: [...this.orders.values()].map(o => ({
                 id: o.id, kind: o.kind, status: o.status,
                 ...(o.terminalAtMs !== undefined ? { terminalAtMs: o.terminalAtMs } : {}),

package/dist/observed-reducer.d.ts

@@ -1,4 +1,5 @@
 import type { AssetState, TestResult, MaterialQuantity, TwinModelDef, CanonicalEnvelope, LocationState, ItemState, LocationObservation, EquipmentState, PersonState, TaskState, OrderState, StructureShift, DispositionFact } from '@operato/ops-contract';
+import { type ReferencedLocation } from '@operato/ops-contract';
 import { type FoldedOrders } from '@operato/ops-contract';
 import type { MaterialLotUse } from '@operato/ops-contract';
 import { type VocabularyElement } from '@operato/ops-contract';
@@ -96,6 +97,8 @@ export interface ProjectedState {
         lastAtMs?: number;
     }[];
     locations: LocationState[];
+    /** 다른 렌즈의 자리 — 참조만 한다(§`ReferencedLocation`). 선언이 없으면 칸이 없다. */
+    referencedLocations?: ReferencedLocation[];
     items: ItemState[];
     /** 사람 — 등급·교대·투입. 인원을 선언하지 않은 트윈에서는 빈 배열. */
     persons: PersonState[];
@@ -306,6 +309,8 @@ export declare class ObservedReducer {
     private classDefs;
     /** 시각 해석 기준(트윈 모델 선언) — 없으면 UTC. 캘린더의 `HH:MM` 이 어느 기준인지 정한다. */
     private utcOffsetMinutes?;
+    private referencedDecl;
+    private referenced;
     constructor(model: TwinModelDef);
     /**
      * **구조를 전환한다** — 관측된 사실은 지키고 토폴로지만 새 선언으로 바꾼다.

package/dist/observed-reducer.js

@@ -21,7 +21,7 @@
  */
 import { computeOee, isWorkShiftExecutionBasis } from '@operato/ops-contract';
 import { OP_EVENT, capabilityOf, itemKeyOf, judgeAgainstSpec, requiredTestsFor, locationStatusOf, readBoardEquipment, readBoardLocations, readBoardAssets, effectivityAt, offCalendarAt, offCalendarReasonAt, activeShiftAt } from '@operato/ops-contract';
-import { ILMD_ATTR, parseEpc } from '@operato/ops-contract';
+import { ILMD_ATTR, parseEpc, referencedLocationIds } from '@operato/ops-contract';
 import { emptyFoldedOrders, foldOrdersInto, foldedOrderCount, pruneFoldedHours, isOrderTerminal, orderFoldPolicyOf, planOrderFold, standsNewOrderRow } from '@operato/ops-contract';
 import { expiryFromAttributes, lotFromAttributes } from '@operato/ops-contract';
 /* 클래스 마스터 표는 상태를 들므로 커널에 있다(§`class-master-table`). */
@@ -125,6 +125,12 @@ export class ObservedReducer {
     classDefs = {};
     /** 시각 해석 기준(트윈 모델 선언) — 없으면 UTC. 캘린더의 `HH:MM` 이 어느 기준인지 정한다. */
     utcOffsetMinutes;
+    /*
+     * **다른 렌즈의 자리** — 참조만 한다(ADR-0081 보탬). 관측으로 자리로 올리지 않고, 거기로 간 물품은 이 렌즈의 재고에서 뺀다.
+     * 창고가 조립 라인으로 불출한 자재는 창고 재고가 아니다 — 그 자리를 「종류 모르는 자리」로 세우면 재고가 거기 남는다.
+     */
+    referencedDecl = [];
+    referenced = new Set();
     constructor(model) {
         /* 접지 않는 선언(0 · 무한)은 거절한다 — 기본값으로 조용히 바꾸면 선언한 사람은 자기 값이 쓰이는 줄 안다. */
         const fold = orderFoldPolicyOf(model.orderFold);
@@ -136,6 +142,8 @@ export class ObservedReducer {
         /* 선언된 판정 기준 — 원천이 판정하지 않은 결과를 커널이 판정할 때 쓴다(§`judgeAgainstSpec`). */
         for (const sp of model.testSpecifications ?? [])
             this.testSpecs.set(sp.id, sp);
+        this.referencedDecl = [...(model.referencedLocations ?? [])];
+        this.referenced = referencedLocationIds(model);
         for (const n of readBoardLocations(model))
             this.master.set(n.id, { id: n.id, type: n.type, capacity: n.capacity, parallelism: n.parallelism, parentId: n.parentId, origin: 'master' });
         // 설비 기준선(마스터) — equipment.status 델타로 갱신됨.
@@ -177,6 +185,17 @@ export class ObservedReducer {
         const declaredLocationIds = new Set(locations.map(n => n.id));
         let locationsAdded = 0;
         let locationsDropped = 0;
+        this.referencedDecl = [...(model.referencedLocations ?? [])];
+        this.referenced = referencedLocationIds(model);
+        /* 새로 참조가 된 자리 — 관측으로 올라 있던 줄은 내리고, 거기 앉아 있던 물품은 이 렌즈의 재고에서 뺀다(참조의 뜻 그대로). */
+        for (const [id, cur] of [...this.master]) {
+            if (cur.origin === 'observed' && this.referenced.has(id))
+                this.master.delete(id);
+        }
+        for (const [key, it] of [...this.items]) {
+            if (it.location && this.referenced.has(it.location))
+                this.remove(key);
+        }
         for (const [id, cur] of [...this.master]) {
             if (declaredLocationIds.has(id) || cur.origin === 'observed')
                 continue;
@@ -256,7 +275,7 @@ export class ObservedReducer {
      * (트윈 모델에 좌표가 없고, 용량을 채워야 계획에 참여한다). 마스터 동기가 오면 `master` 로 승격된다.
      */
     touchLocation(id) {
-        if (!id || this.master.has(id))
+        if (!id || this.master.has(id) || this.referenced.has(id))
             return;
         this.master.set(id, { id, type: UNKNOWN_TYPE, origin: 'observed' });
     }
@@ -935,6 +954,9 @@ export class ObservedReducer {
             const loc = ev.readPoint?.id ?? '';
             /* 변환의 마스터데이터는 **출력**에 적용된다(§7.3.8) — 입력에 붙이면 소비되는 것에 태생을 심는 셈. */
             this.touchLocation(loc);
+            /* 다른 렌즈의 자리에서 나온 출력은 그 렌즈의 것이다 — 이 렌즈의 재고에 세우지 않는다. */
+            if (this.referenced.has(loc))
+                return;
             for (const epc of ev.outputEPCList ?? []) {
                 this.items.set(epc, this.mergeItem(epc, { location: loc, disposition: ev.disposition, ilmd: ev.ilmd }));
             }
@@ -993,6 +1015,18 @@ export class ObservedReducer {
         const all = ev.quantityList ?? [];
         const q = all[0];
         this.touchLocation(loc);
+        /*
+         * **다른 렌즈의 자리로 갔다** — 그 물품은 이 렌즈를 떠났다. 개체는 지우고, 수량은 거기 앉히지 않는다(떠난 쪽의 줄은
+         * 원본의 「없어졌다」가 줄인다). 순서 판정은 그대로 지난다 — 늦게 온 옛 불출이 그 뒤에 돌아온 물품을 지우지 않게.
+         */
+        if (loc && this.referenced.has(loc)) {
+            for (const epc of ev.epcList) {
+                if (envelope && this.stale(`item:${epc}`, envelope))
+                    continue;
+                this.remove(epc);
+            }
+            return;
+        }
         for (const epc of ev.epcList) {
             /* 물품별 순서 판정 — 늦게 온 옛 관측이 최신 위치를 덮지 않게. */
             if (envelope && this.stale(`item:${epc}`, envelope))
@@ -1491,6 +1525,7 @@ export class ObservedReducer {
             equipment: [...this.equipment.values()].map(m => ({ ...m, ...this.oeePart(m.id), ...this.effectivityPart(m), ...this.offShiftPart(`eq:${m.id}`), ...this.capabilityPart(m, `eq:${m.id}`, m.kind ? [m.kind] : [], this.classDefs.equipment) })),
             orders: [...this.orders.values()].map(o => ({ ...o })),
             ...(foldedOrderCount(this.foldedOrders) ? { foldedOrders: structuredClone(this.foldedOrders) } : {}),
+            ...(this.referencedDecl.length ? { referencedLocations: this.referencedDecl.map(r => ({ ...r })) } : {}),
             acked: [...this.acked]
         };
     }

package/dist-cjs/index.cjs

@@ -2036,6 +2036,11 @@ function pruneFoldedHours(folded, nowMs, policy = ORDER_FOLD_DEFAULT) {
   return out;
 }
 
+// ../ops-contract/dist/referenced-location.js
+function referencedLocationIds(def) {
+  return new Set((def?.referencedLocations ?? []).map((r) => r.id).filter(Boolean));
+}
+
 // ../ops-contract/dist/iso-duration.js
 var RE = /^(-)?P(?:(\d+(?:\.\d+)?)W)?(?:(\d+(?:\.\d+)?)D)?(?:T(?:(\d+(?:\.\d+)?)H)?(?:(\d+(?:\.\d+)?)M)?(?:(\d+(?:\.\d+)?)S)?)?$/;
 function parseIsoDuration(text) {
@@ -3001,6 +3006,12 @@ var ObservedReducer = class {
   classDefs = {};
   /** 시각 해석 기준(트윈 모델 선언) — 없으면 UTC. 캘린더의 `HH:MM` 이 어느 기준인지 정한다. */
   utcOffsetMinutes;
+  /*
+   * **다른 렌즈의 자리** — 참조만 한다(ADR-0081 보탬). 관측으로 자리로 올리지 않고, 거기로 간 물품은 이 렌즈의 재고에서 뺀다.
+   * 창고가 조립 라인으로 불출한 자재는 창고 재고가 아니다 — 그 자리를 「종류 모르는 자리」로 세우면 재고가 거기 남는다.
+   */
+  referencedDecl = [];
+  referenced = /* @__PURE__ */ new Set();
   constructor(model) {
     const fold = orderFoldPolicyOf(model.orderFold);
     if ("error" in fold) throw new Error(fold.error);
@@ -3008,6 +3019,8 @@ var ObservedReducer = class {
     this.utcOffsetMinutes = model.utcOffsetMinutes;
     this.classDefs = { personnel: model.personnelClasses, equipment: model.equipmentClasses, asset: model.assetClasses };
     for (const sp of model.testSpecifications ?? []) this.testSpecs.set(sp.id, sp);
+    this.referencedDecl = [...model.referencedLocations ?? []];
+    this.referenced = referencedLocationIds(model);
     for (const n of readBoardLocations(model)) this.master.set(n.id, { id: n.id, type: n.type, capacity: n.capacity, parallelism: n.parallelism, parentId: n.parentId, origin: "master" });
     for (const m of readBoardEquipment(model)) this.equipment.set(m.id, { id: m.id, kind: m.kind, ...m.equipmentClassIds ? { equipmentClassIds: m.equipmentClassIds } : {}, status: "idle", location: m.homeLocation, homeLocation: m.homeLocation, ...m.properties ? { properties: m.properties } : {}, ...m.testSpecificationIds ? { testSpecificationIds: m.testSpecificationIds } : {}, ...m.testResults ? { testResults: m.testResults } : {}, ...effectiveOf(m), origin: "master" });
     for (const p of model.persons ?? []) this.persons.set(p.id, { id: p.id, personnelClassIds: p.personnelClassIds, status: "idle", ...p.homeLocation ? { location: p.homeLocation } : {}, ...p.properties ? { properties: p.properties } : {}, ...p.testSpecificationIds ? { testSpecificationIds: p.testSpecificationIds } : {}, ...p.testResults ? { testResults: p.testResults } : {}, ...effectiveOf(p) });
@@ -3039,6 +3052,14 @@ var ObservedReducer = class {
     const declaredLocationIds = new Set(locations.map((n) => n.id));
     let locationsAdded = 0;
     let locationsDropped = 0;
+    this.referencedDecl = [...model.referencedLocations ?? []];
+    this.referenced = referencedLocationIds(model);
+    for (const [id, cur] of [...this.master]) {
+      if (cur.origin === "observed" && this.referenced.has(id)) this.master.delete(id);
+    }
+    for (const [key, it] of [...this.items]) {
+      if (it.location && this.referenced.has(it.location)) this.remove(key);
+    }
     for (const [id, cur] of [...this.master]) {
       if (declaredLocationIds.has(id) || cur.origin === "observed") continue;
       this.master.delete(id);
@@ -3109,7 +3130,7 @@ var ObservedReducer = class {
    * (트윈 모델에 좌표가 없고, 용량을 채워야 계획에 참여한다). 마스터 동기가 오면 `master` 로 승격된다.
    */
   touchLocation(id) {
-    if (!id || this.master.has(id)) return;
+    if (!id || this.master.has(id) || this.referenced.has(id)) return;
     this.master.set(id, { id, type: UNKNOWN_TYPE, origin: "observed" });
   }
   /**
@@ -3556,6 +3577,7 @@ var ObservedReducer = class {
       for (const epc of ev.inputEPCList ?? []) this.remove(epc);
       const loc2 = ev.readPoint?.id ?? "";
       this.touchLocation(loc2);
+      if (this.referenced.has(loc2)) return;
       for (const epc of ev.outputEPCList ?? []) {
         this.items.set(epc, this.mergeItem(epc, { location: loc2, disposition: ev.disposition, ilmd: ev.ilmd }));
       }
@@ -3584,6 +3606,13 @@ var ObservedReducer = class {
     const all = ev.quantityList ?? [];
     const q = all[0];
     this.touchLocation(loc);
+    if (loc && this.referenced.has(loc)) {
+      for (const epc of ev.epcList) {
+        if (envelope && this.stale(`item:${epc}`, envelope)) continue;
+        this.remove(epc);
+      }
+      return;
+    }
     for (const epc of ev.epcList) {
       if (envelope && this.stale(`item:${epc}`, envelope)) continue;
       const seen = this.mergeItem(epc, { location: loc, disposition: ev.disposition, ilmd: ev.ilmd }, q, all);
@@ -3985,6 +4014,7 @@ var ObservedReducer = class {
       equipment: [...this.equipment.values()].map((m) => ({ ...m, ...this.oeePart(m.id), ...this.effectivityPart(m), ...this.offShiftPart(`eq:${m.id}`), ...this.capabilityPart(m, `eq:${m.id}`, m.kind ? [m.kind] : [], this.classDefs.equipment) })),
       orders: [...this.orders.values()].map((o) => ({ ...o })),
       ...foldedOrderCount(this.foldedOrders) ? { foldedOrders: structuredClone(this.foldedOrders) } : {},
+      ...this.referencedDecl.length ? { referencedLocations: this.referencedDecl.map((r) => ({ ...r })) } : {},
       acked: [...this.acked]
     };
   }
@@ -5553,6 +5583,8 @@ var FlowEngine = class {
       })),
       /* 접힌 오더 — 접은 것이 없으면 싣지 않는다(ADR-0092). */
       ...foldedOrderCount(this.foldedOrders) ? { foldedOrders: structuredClone(this.foldedOrders) } : {},
+      /* 다른 렌즈의 자리 — 모델의 선언 그대로(ADR-0081 보탬). 시뮬과 미러가 같은 칸을 낸다. */
+      ...this.boardDef?.referencedLocations?.length ? { referencedLocations: this.boardDef.referencedLocations.map((r) => ({ ...r })) } : {},
       orders: [...this.orders.values()].map((o) => ({
         id: o.id,
         kind: o.kind,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@operato/twin-kernel",
-  "version": "0.11.28",
+  "version": "0.11.29",
   "type": "module",
   "description": "Twin Domain Kernel — framework-agnostic, zero-dep (domain + sim + 3-channel contract). WMS/YMS/MES, EPCIS 2.0 · ISA-95.",
   "publishConfig": {
@@ -28,6 +28,6 @@
     "test": "node --test test/*.test.ts"
   },
   "dependencies": {
-    "@operato/ops-contract": "^0.9.38"
+    "@operato/ops-contract": "^0.9.40"
   }
 }