@operato/twin-kernel 0.11.27 → 0.11.29

package/dist/flow-engine.d.ts

@@ -825,6 +825,11 @@ export declare abstract class FlowEngine implements TwinKernel {
             id: string;
             since: string;
         }[];
+        /**
+         * **접힌 오더**(ADR-0092) — 저널이나 원천을 다시 읽어 세우는 트윈도 이어받아야 한다. 이것이 없으면 세는 수를 잃고,
+         * 원천이 옛 종결을 다시 보낼 때 그것을 거를 경계가 없어 접힌 오더가 뜨거운 줄로 되살아난다.
+         */
+        foldedOrders?: FoldedOrders;
     }): void;
     /**
      * 씨앗의 확보분 중 **이 트윈에 실제로 있는 것만** 남긴다 — 없는 것은 세고 버린다.

package/dist/flow-engine.js

@@ -1049,6 +1049,21 @@ export class FlowEngine {
         for (const e of snap?.attentionSince ?? [])
             if (e?.id && e.since)
                 this._attentionSince.set(e.id, e.since);
+        if (snap?.foldedOrders && foldedOrderCount(snap.foldedOrders)) {
+            /*
+             * 이미 접힌 것이 있으면(재개점이 먼저 되세웠다) 건드리지 않는다 — 같은 값을 또 더하면 세는 수가 두 번 는다.
+             * 미러는 리듀서가 원천이다 — 거기에 넣어야 다시 온 옛 종결을 거른다. 리듀서가 아직 없으면 만든다(§restoreObserved).
+             */
+            if (this.observeMode) {
+                if (!this.observer)
+                    this.observer = new ObservedReducer(this.boardDef ?? { locations: [], equipment: [] });
+                if (this.observer.adoptFoldedOrders(snap.foldedOrders))
+                    this.observedDirty = true;
+            }
+            else if (!foldedOrderCount(this.foldedOrders)) {
+                this.foldedOrders = structuredClone(snap.foldedOrders);
+            }
+        }
     }
     /**
      * 씨앗의 확보분 중 **이 트윈에 실제로 있는 것만** 남긴다 — 없는 것은 세고 버린다.
@@ -1887,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);
     /**
      * **구조를 전환한다** — 관측된 사실은 지키고 토폴로지만 새 선언으로 바꾼다.
@@ -525,6 +530,13 @@ export declare class ObservedReducer {
      * 모델에서 오는 판정 입력(교대·등급·시간대)은 생성자가 이미 세웠으므로 건드리지 않는다.
      */
     restore(cp: ReducerCheckpoint): void;
+    /**
+     * **이어받은 접힌 쪽을 앉힌다**(ADR-0092) — 이어가기 씨앗으로 뜨는 미러가 부른다(§`FlowEngine.hydrateContinuity`).
+     *
+     * 이미 접힌 것이 있으면 **건드리지 않는다.** 재개점(체크포인트)이 먼저 되세웠다면 그것이 정본이고, 같은 값을 또 더하면 세는
+     * 수가 두 번 는다. 비어 있을 때만 이어받는다. 이어받았으면 참을 돌려준다.
+     */
+    adoptFoldedOrders(folded: FoldedOrders): boolean;
     /**
      * **끝난 오더를 접는다**(ADR-0092) — 접은 수를 돌려준다.
      *

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))
@@ -1409,6 +1443,18 @@ export class ObservedReducer {
         this.corrections = (cp?.corrections ?? []).map(c => ({ ...c }));
         this.unhandled = new Map((cp?.unhandled ?? []).map(({ eventType, ...v }) => [eventType, { ...v }]));
     }
+    /**
+     * **이어받은 접힌 쪽을 앉힌다**(ADR-0092) — 이어가기 씨앗으로 뜨는 미러가 부른다(§`FlowEngine.hydrateContinuity`).
+     *
+     * 이미 접힌 것이 있으면 **건드리지 않는다.** 재개점(체크포인트)이 먼저 되세웠다면 그것이 정본이고, 같은 값을 또 더하면 세는
+     * 수가 두 번 는다. 비어 있을 때만 이어받는다. 이어받았으면 참을 돌려준다.
+     */
+    adoptFoldedOrders(folded) {
+        if (foldedOrderCount(this.foldedOrders))
+            return false;
+        this.foldedOrders = structuredClone(folded);
+        return true;
+    }
     /**
      * **끝난 오더를 접는다**(ADR-0092) — 접은 수를 돌려준다.
      *
@@ -1479,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

@@ -868,6 +868,7 @@ var ALLOCATION_POLICY = {
   /** 먼저 만료되는 것부터(First Expired, First Out). */
   fefo: "fefo"
 };
+var BASIS_UNKNOWN = ["BEFORE_BASELINE"];
 var CMD = {
   orderHold: "order.hold",
   orderResume: "order.resume",
@@ -2035,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) {
@@ -2299,8 +2305,12 @@ var SPECS = {
        */
       recipeKey: "string",
       recipeBasis: "object",
-      materialBasis: "object[]"
+      materialBasis: "object[]",
+      /* 근거 칸이 빈 까닭 — 닫힌 낱말이다(§`BASIS_UNKNOWN`). 투입이 근거 장치보다 먼저였던 오더도 이행은 사실이다. */
+      basisUnknown: "string"
     },
+    /* 상태·종류는 도메인이 소유한다 — 닫지 않는다. 근거가 빈 까닭은 커널이 읽으므로 닫는다. */
+    enums: { basisUnknown: BASIS_UNKNOWN },
     /*
      * 확보분의 안쪽을 본다 — 열쇠와 수 둘이다(§`AllocatedQuantity`). 안 보면 틀린 이름이 조용히
      * 지나가고(`epcs`·`quantity` 따위), 미러는 잡힌 수를 0 으로 읽는다.
@@ -2322,7 +2332,6 @@ var SPECS = {
         positive: ["qty"]
       }
     }
-    /* 상태·종류는 도메인이 소유한다 — 닫지 않는다. */
   },
   quality: {
     eventType: OP_EVENT.quality,
@@ -2997,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);
@@ -3004,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) });
@@ -3035,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);
@@ -3105,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" });
   }
   /**
@@ -3552,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 }));
       }
@@ -3580,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);
@@ -3904,6 +3937,17 @@ var ObservedReducer = class {
     this.corrections = (cp?.corrections ?? []).map((c) => ({ ...c }));
     this.unhandled = new Map((cp?.unhandled ?? []).map(({ eventType, ...v }) => [eventType, { ...v }]));
   }
+  /**
+   * **이어받은 접힌 쪽을 앉힌다**(ADR-0092) — 이어가기 씨앗으로 뜨는 미러가 부른다(§`FlowEngine.hydrateContinuity`).
+   *
+   * 이미 접힌 것이 있으면 **건드리지 않는다.** 재개점(체크포인트)이 먼저 되세웠다면 그것이 정본이고, 같은 값을 또 더하면 세는
+   * 수가 두 번 는다. 비어 있을 때만 이어받는다. 이어받았으면 참을 돌려준다.
+   */
+  adoptFoldedOrders(folded) {
+    if (foldedOrderCount(this.foldedOrders)) return false;
+    this.foldedOrders = structuredClone(folded);
+    return true;
+  }
   /**
    * **끝난 오더를 접는다**(ADR-0092) — 접은 수를 돌려준다.
    *
@@ -3970,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]
     };
   }
@@ -4878,6 +4923,14 @@ var FlowEngine = class {
   hydrateContinuity(snap) {
     for (const id of snap?.acked ?? []) this._acked.add(id);
     for (const e of snap?.attentionSince ?? []) if (e?.id && e.since) this._attentionSince.set(e.id, e.since);
+    if (snap?.foldedOrders && foldedOrderCount(snap.foldedOrders)) {
+      if (this.observeMode) {
+        if (!this.observer) this.observer = new ObservedReducer(this.boardDef ?? { locations: [], equipment: [] });
+        if (this.observer.adoptFoldedOrders(snap.foldedOrders)) this.observedDirty = true;
+      } else if (!foldedOrderCount(this.foldedOrders)) {
+        this.foldedOrders = structuredClone(snap.foldedOrders);
+      }
+    }
   }
   /**
    * 씨앗의 확보분 중 **이 트윈에 실제로 있는 것만** 남긴다 — 없는 것은 세고 버린다.
@@ -5530,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.27",
+  "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"
   }
 }