@operato/twin-kernel 0.7.43 → 0.7.44

package/dist/contract.d.ts

@@ -2015,6 +2015,19 @@ export declare function readBoardEquipment(def: TwinModelDef | Record<string, un
 /** 저장된 보드의 반복사용 자산 — 설비와 같은 정규화를 거친다. */
 export declare function readBoardAssets(def: TwinModelDef | Record<string, unknown>): NonNullable<TwinModelDef['assets']>;
 export interface TwinModelDef {
+    /**
+     * **이 트윈의 정체성 선언** — 팔레트·트레일러·문서의 식별자가 어디서 오나.
+     *
+     * ── 왜 모델에 있나 (2026-08-21) ──────────────────────────────────────────
+     * 처음에는 `ProductionSpec.identity` 하나였다. 그때 선언 모드가 있는 커널이 MES 뿐이었기 때문이다.
+     * 그런데 **정체성은 생산과 무관하다**: 창고는 팔레트(SSCC)를, 야드는 트레일러(GRAI)를 식별하는데
+     * 그 둘은 아무것도 생산하지 않는다. 생산 선언에 두면 생산하지 않는 트윈이 정체성을 선언할 자리가 없고,
+     * 실제로 그래서 두 커널이 프리픽스를 코드에 두고 있었다.
+     *
+     * 읽는 곳은 하나다(§`FlowEngine.identityDeclaration`). `ProductionSpec.identity` 는 **먼저 생긴
+     * 자리**이고, 픽스처·호스트가 이 자리로 옮기면 사라진다.
+     */
+    identity?: IdentityDeclaration;
     /** parallelism = 동시 처리 수(LocationState.parallelism 참조). capacity 는 저장 용량. */
     locations: {
         id: string;

package/dist/domain-catalog.d.ts

@@ -61,6 +61,17 @@ export interface TwinAxisInfo {
      * (저장·계약의 이름과 어긋나면 그 순간 방언이 생긴다).
      */
     axis: string;
+    /**
+     * **무엇이 이 축의 항목을 가리키나** — 없으면 소비처가 `id` 를 쓴다.
+     *
+     * 대부분의 축은 항목마다 `id` 가 있다. 그렇지 않은 축이 있고, 그것이 결함은 아니다 — 수요 구간의
+     * 정체성은 **구간이 언제 시작했나**다(요금의 알갱이가 그 시각으로 정해진다).
+     *
+     * 이 칸이 없던 동안 소비처는 `id`·`key`·`gtin` 을 **짐작**했고, 그래서 화면이 실재하는 항목을
+     * 「식별자 없음 — 참조할 수 없는 항목」으로 보였다. 값은 있는데 가리킬 수 없다고 말한 것이다.
+     * 짐작을 없애고 선언이 답한다 — 축이 사는 자리(`path`)를 선언하는 것과 같은 이유다.
+     */
+    idField?: string;
     /**
      * 이 축을 **어디서 읽나.**
      *

package/dist/domain-catalog.js

@@ -115,7 +115,17 @@ export const TWIN_AXES = [
      * 아직 세우지 않은 것: **요금 구간**(TariffPeriod)과 **원단위**(EnPI). 둘 다 아직 아무도 만들지
      * 않는다 — 선언만 하면 개념 지도가 언제나 0 을 보여 주고, 그것은 결손처럼 읽힌다(§10 7단계의 일).
      */
-    { axis: 'demandWindows', path: 'energy.closed', label: 'twin.axis.demandWindows', kind: 'instance',
+    /*
+     * **무엇이 이 항목을 가리키나** — `idField` 가 말한다.
+     *
+     * 수요 구간에는 `id` 가 없다. 그것이 결함은 아니다: 구간의 정체성은 **그 구간이 언제 시작했나**이고
+     * (요금의 알갱이가 그 시각으로 정해진다) 커널도 그것으로 키를 만든다(`contract-projected-over:<startMs>`).
+     *
+     * 그런데 소비처가 `id`·`key`·`gtin` 을 **짐작**하고 있어서, 화면이 여섯 구간 모두를 「식별자 없음 —
+     * 참조할 수 없는 항목」으로 보였다. 값은 실재하는데 가리킬 수 없다고 말한 것이다. 짐작을 없애고
+     * 선언이 답하게 한다 — 축이 사는 자리(`path`)를 선언하는 것과 같은 이유다.
+     */
+    { axis: 'demandWindows', path: 'energy.closed', idField: 'startMs', label: 'twin.axis.demandWindows', kind: 'instance',
         source: 'state', historical: true, standardClass: {}, systems: ['ems'] }
 ];
 /** 관계 전체 — 지도의 선과 항목의 이웃이 여기서 나온다(화면은 이 목록을 갖지 않는다). */

package/dist/epcis.d.ts

@@ -271,6 +271,20 @@ export declare function gdtiUri(companyPrefix: string, docType: string, serial:
  * 이름공간의 모양으로 URL 형태와 URN 형태를 가른다. 판정할 수 없는 모양이면 **답하지 않는다**(지어내지
  * 않는다) — 호출부가 다른 길을 고르게 한다.
  */
+/**
+ * **선언된 이름공간 아래의 개체 식별자** — SSCC·GRAI 를 쓰지 않는 길.
+ *
+ * 팔레트(SSCC)·트레일러(GRAI)는 개체 식별자이고, 그 조립에는 GS1 회사 프리픽스가 필요하다. 프리픽스가
+ * 없는 현장은 그 길로 갈 수 없다 — 그런데 커널이 프리픽스를 지어내면 저널에 남의 번호가 영구히 남는다.
+ *
+ * 표준이 다른 길을 정해 두었다.
+ *  · CBV 2.0 §8.2.4 `http(s)://[Subdomain.]Domain/⁎⁎/obj/Objid` — 그 도메인 소유자가 배정
+ *  · CBV 2.0 §8.2.3 `urn:URNNamespace:⁎⁎:obj:Objid` — URN 이름공간 소유자가 배정
+ *
+ * `obj` 표지가 필수다(클래스의 `class`·거래문서의 `bt` 와 같은 구조다). 다만 표준은 EPC URI 나 Digital
+ * Link 를 **권한다**(SHOULD) — 이 길은 프리픽스가 없을 때의 정합 경로다.
+ */
+export declare function objectUri(namespace: string, objId: string | number): string | undefined;
 export declare function bizTransactionUri(namespace: string, transId: string | number): string | undefined;
 /** 모든 빌더가 공통으로 받는 표준 헤더 옵션(선택) — 방출부가 필요할 때 채운다. */
 export interface EpcisHeaderOptions {

package/dist/epcis.js

@@ -132,25 +132,50 @@ export function gdtiUri(companyPrefix, docType, serial) {
  * 이름공간의 모양으로 URL 형태와 URN 형태를 가른다. 판정할 수 없는 모양이면 **답하지 않는다**(지어내지
  * 않는다) — 호출부가 다른 길을 고르게 한다.
  */
+/**
+ * **선언된 이름공간 아래의 개체 식별자** — SSCC·GRAI 를 쓰지 않는 길.
+ *
+ * 팔레트(SSCC)·트레일러(GRAI)는 개체 식별자이고, 그 조립에는 GS1 회사 프리픽스가 필요하다. 프리픽스가
+ * 없는 현장은 그 길로 갈 수 없다 — 그런데 커널이 프리픽스를 지어내면 저널에 남의 번호가 영구히 남는다.
+ *
+ * 표준이 다른 길을 정해 두었다.
+ *  · CBV 2.0 §8.2.4 `http(s)://[Subdomain.]Domain/⁎⁎/obj/Objid` — 그 도메인 소유자가 배정
+ *  · CBV 2.0 §8.2.3 `urn:URNNamespace:⁎⁎:obj:Objid` — URN 이름공간 소유자가 배정
+ *
+ * `obj` 표지가 필수다(클래스의 `class`·거래문서의 `bt` 와 같은 구조다). 다만 표준은 EPC URI 나 Digital
+ * Link 를 **권한다**(SHOULD) — 이 길은 프리픽스가 없을 때의 정합 경로다.
+ */
+export function objectUri(namespace, objId) {
+    return underNamespace(namespace, 'obj', objId);
+}
 export function bizTransactionUri(namespace, transId) {
+    return underNamespace(namespace, 'bt', transId);
+}
+/**
+ * 선언된 이름공간 아래에 표지를 붙여 식별자를 만든다 — 표지만 다르고 규칙은 같다.
+ *
+ * `obj`(개체 §8.2.3·§8.2.4) · `class`(클래스 §8.3.3·§8.3.4) · `bt`(거래문서 §8.5.4·§8.5.5) 가 같은
+ * 모양이다. 규칙을 세 곳에 적으면 한 곳만 고쳐지는 날이 온다.
+ */
+function underNamespace(namespace, marker, id) {
     const ns = namespace?.trim();
     if (!ns)
         return undefined;
-    const id = String(transId);
-    /* `transID` 에 구분자가 들어가면 표준이 요구하는 「성분 하나」가 깨진다. */
-    if (!id || id.includes('/') || id.includes(':'))
+    const v = String(id);
+    /* 표준이 요구하는 「성분 하나」가 깨진다 — 구분자가 든 값은 만들지 않는다. */
+    if (!v || v.includes('/') || v.includes(':'))
         return undefined;
     if (/^https?:\/\/[^/\s]+/.test(ns))
-        return `${ns.replace(/\/+$/, '')}/bt/${id}`;
+        return `${ns.replace(/\/+$/, '')}/${marker}/${v}`;
     /*
-     * **GS1 이 소유한 URN 공간에는 우리가 `:bt:` 를 만들 수 없다.** `urn:epc:`·`urn:epcglobal:` 의
-     * 소유 권한자는 GS1 이고(EPCIS §6.4), 그 안의 형태는 표준이 정해 둔 것만 유효하다. 그 공간을
-     * 이름공간으로 선언한 현장은 GDTI 문서 타입을 선언하는 쪽으로 가야 한다.
+     * **GS1 이 소유한 URN 공간에는 우리가 표지를 만들 수 없다.** `urn:epc:`·`urn:epcglobal:` 의 소유
+     * 권한자는 GS1 이고(EPCIS §6.4), 그 안의 형태는 표준이 정해 둔 것만 유효하다. 그 공간을 이름공간으로
+     * 선언한 현장은 GS1 키(SSCC·GRAI·GDTI)를 쓰는 쪽으로 가야 한다.
      */
     if (/^urn:epc(global)?:/.test(ns))
         return undefined;
     if (/^urn:[^:\s]+/.test(ns))
-        return `${ns.replace(/:+$/, '')}:bt:${id}`;
+        return `${ns.replace(/:+$/, '')}:${marker}:${v}`;
     return undefined;
 }
 function header(type, eventTime, bizStep, opts) {

package/dist/flow-engine.d.ts

@@ -1,4 +1,4 @@
-import type { TestResult, ISOTime, MaterialQuantity, WorkCalendarEntry, EffectivePeriod, Effectivity, OffCalendarReason, ResourceProperty, ResourceClassDef, MaterialDefinition, Attention, TwinModelDef, CanonicalEnvelope, Command, CommandAck, EventHandler, EquipmentMotion, OeeMetrics, AssetState, GeneratorSpec, InterventionOutcome, OrderState, PersonState, ScenarioControl, ScenarioOverride, StateSnapshot, TwinKernel, Unsubscribe, LocationState, ItemState, EquipmentState, OrderStatusDelta, TaskState, StructureShift, IdentityGroundingView } from './contract.ts';
+import type { TestResult, ISOTime, MaterialQuantity, WorkCalendarEntry, EffectivePeriod, Effectivity, OffCalendarReason, ResourceProperty, ResourceClassDef, MaterialDefinition, Attention, TwinModelDef, CanonicalEnvelope, Command, CommandAck, EventHandler, EquipmentMotion, OeeMetrics, AssetState, GeneratorSpec, InterventionOutcome, OrderState, PersonState, ScenarioControl, ScenarioOverride, StateSnapshot, TwinKernel, Unsubscribe, LocationState, ItemState, EquipmentState, OrderStatusDelta, TaskState, StructureShift, IdentityGroundingView, IdentityDeclaration } from './contract.ts';
 import type { EpcisEvent, BizTransactionElement } from './epcis.ts';
 import type { AllocationPolicy, SlotView } from './allocation-policy.ts';
 import type { DurationEstimator, DurationContext } from './duration-estimator.ts';
@@ -1253,6 +1253,26 @@ export declare abstract class FlowEngine implements TwinKernel {
      * 코어는 여기서 **정체성의 값을 정하지 않는다**: 「어디서 왔나」만 묻는다.
      */
     protected identityGroundingView(): IdentityGroundingView;
+    /**
+     * **이 트윈의 정체성 선언을 읽는 한 곳.**
+     *
+     * 모델이 갖는다(§`TwinModelDef.identity`) — 정체성은 생산과 무관하고, 생산하지 않는 트윈도 팔레트·
+     * 트레일러를 식별한다. 선언을 든 커널이 자기 것을 먼저 쓰도록 override 할 수 있다(MES 가 그렇게 한다:
+     * `ProductionSpec.identity` 가 먼저 생긴 자리다).
+     *
+     * 규칙을 두 곳에 적지 않기 위해 조립하는 쪽은 전부 이 함수를 지난다.
+     */
+    protected identityDeclaration(): IdentityDeclaration | undefined;
+    /**
+     * 선언된 이름공간 아래의 **개체 식별자** — 없으면 답하지 않는다.
+     *
+     * 팔레트·트레일러는 개체 식별자이고 GS1 키(SSCC·GRAI)에는 회사 프리픽스가 필요하다. 프리픽스가 없는
+     * 현장은 CBV §8.2.3·§8.2.4 의 길로 간다. 선언이 없으면 **지어내지 않고 `undefined` 를 답한다** —
+     * 호출부가 무엇을 할지 정한다(레거시 경로는 아직 상수를 쓴다).
+     */
+    protected declaredObjectId(id: string | number): string | undefined;
+    /** 선언된 이름공간 아래의 **거래 문서 식별자**(발주·주문·어포인트먼트) — 없으면 답하지 않는다. */
+    protected declaredBizTransactionId(id: string | number): string | undefined;
     private produceMaterials;
     /**
      * 이 작업이 **딛고 선 것**이 아직 있나 — 없으면 무엇이 없는지 답한다.

package/dist/flow-engine.js

@@ -11,7 +11,7 @@
  */
 import { OP_EVENT, CMD, locationStatusOf, readBoardEquipment, readBoardLocations, readBoardAssets, classClosure, capabilityOf, requiredTestsFor, priorityRank, dueStatusOf, effectivityAt, offCalendarAt, offCalendarReasonAt, minuteOfDayAt, activeShiftAt, subLotIdOf, itemKeyOf, identityGroundingOf } from "./contract.js";
 import { ObservedReducer } from "./observed-reducer.js";
-import { transformationEvent, aggregationEvent, objectEvent, parseEpc, DISP, ILMD_ATTR, CBV_BIZSTEP } from "./epcis.js";
+import { transformationEvent, aggregationEvent, objectEvent, parseEpc, DISP, ILMD_ATTR, CBV_BIZSTEP, objectUri, bizTransactionUri } from "./epcis.js";
 import { OP_PARAM } from "./domain-definition.js";
 import { parseIsoDuration } from "./iso-duration.js";
 import { analyzeCapacity } from "./capacity.js";
@@ -2578,6 +2578,42 @@ export class FlowEngine {
     identityGroundingView() {
         return identityGroundingOf(undefined);
     }
+    /**
+     * **이 트윈의 정체성 선언을 읽는 한 곳.**
+     *
+     * 모델이 갖는다(§`TwinModelDef.identity`) — 정체성은 생산과 무관하고, 생산하지 않는 트윈도 팔레트·
+     * 트레일러를 식별한다. 선언을 든 커널이 자기 것을 먼저 쓰도록 override 할 수 있다(MES 가 그렇게 한다:
+     * `ProductionSpec.identity` 가 먼저 생긴 자리다).
+     *
+     * 규칙을 두 곳에 적지 않기 위해 조립하는 쪽은 전부 이 함수를 지난다.
+     */
+    identityDeclaration() {
+        return this.boardDef?.identity;
+    }
+    /**
+     * 선언된 이름공간 아래의 **개체 식별자** — 없으면 답하지 않는다.
+     *
+     * 팔레트·트레일러는 개체 식별자이고 GS1 키(SSCC·GRAI)에는 회사 프리픽스가 필요하다. 프리픽스가 없는
+     * 현장은 CBV §8.2.3·§8.2.4 의 길로 간다. 선언이 없으면 **지어내지 않고 `undefined` 를 답한다** —
+     * 호출부가 무엇을 할지 정한다(레거시 경로는 아직 상수를 쓴다).
+     */
+    declaredObjectId(id) {
+        for (const ns of this.identityDeclaration()?.namespaces ?? []) {
+            const uri = objectUri(ns, id);
+            if (uri)
+                return uri;
+        }
+        return undefined;
+    }
+    /** 선언된 이름공간 아래의 **거래 문서 식별자**(발주·주문·어포인트먼트) — 없으면 답하지 않는다. */
+    declaredBizTransactionId(id) {
+        for (const ns of this.identityDeclaration()?.namespaces ?? []) {
+            const uri = bizTransactionUri(ns, id);
+            if (uri)
+                return uri;
+        }
+        return undefined;
+    }
     produceMaterials(t) {
         /* 도메인이 소유를 주장하면 코어는 비켜선다 — 둘이 만들면 재고가 두 배가 된다. */
         if (this.producesOwnOutputs(t.kind))

package/dist/kernel.js

@@ -57,13 +57,17 @@ export class WmsKernel extends FlowEngine {
     /** 입고 도착 — §4 라이프사이클: ASN(PO) → 팔레트 조립 → 수령 → putaway task. */
     onArrival(spec) {
         const dock = this.builtInLocation('dock', 'inbound pallets land here');
-        const epc = ssccUri(LEGACY_COMPANY_PREFIX, ++this.epcSeq); // 팔레트 SSCC
+        /* 선언이 있으면 선언에서(CBV §8.2.4) — 없으면 레거시 상수. 가드가 그 상수를 계속 센다. */
+        const seq = ++this.epcSeq;
+        const epc = this.declaredObjectId(`PAL-${seq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, seq); // 팔레트
         const gtin = this.pickGtin(spec.content.skuMix); // SGTIN idpat = epcClass
         /* 품목 구성이 비어 있으면 **도착을 만들지 않는다** — 무엇이 왔는지 말할 수 없는 입고는 사실이 아니다. */
         if (!gtin)
             return;
         const qty = this.randInt(spec.content.qtyPerLine.min, spec.content.qtyPerLine.max); // 케이스 수(비직렬)
-        const po = gdtiUri(LEGACY_COMPANY_PREFIX, '401', ++this.poSeq);
+        const poSeq = ++this.poSeq;
+        /* 발주 문서 식별자 — 선언된 이름공간 아래(CBV §8.5.5) 또는 선언된 GDTI 문서 타입. */
+        const po = this.declaredBizTransactionId(`PO-${poSeq}`) ?? gdtiUri(LEGACY_COMPANY_PREFIX, this.identityDeclaration()?.documentTypes?.purchaseorder ?? '401', poSeq);
         const eventTime = this.now();
         const qtyList = [{ epcClass: gtin, quantity: qty }];
         const poTxn = [{ type: BTT.po, bizTransaction: po }];
@@ -137,7 +141,8 @@ export class WmsKernel extends FlowEngine {
     /** 오더 생성 — 약속(납기·우선순위)은 base `promiseOf` 가 계산한다(도메인마다 다르게 재지 않는다). */
     createSalesOrder(lines, spec) {
         const id = `order-${++this.orderSeq}`;
-        const so = gdtiUri(LEGACY_COMPANY_PREFIX, '402', ++this.soSeq);
+        const soSeq = ++this.soSeq;
+        const so = this.declaredBizTransactionId(`SO-${soSeq}`) ?? gdtiUri(LEGACY_COMPANY_PREFIX, this.identityDeclaration()?.documentTypes?.salesorder ?? '402', soSeq);
         const requested = lines.reduce((s, l) => s + l.qty, 0);
         const order = {
             id, kind: 'outbound', status: 'created', requested, fulfilled: 0, bizTransaction: so,
@@ -349,7 +354,8 @@ export class WmsKernel extends FlowEngine {
                 continue;
             /* 클래스 줄을 팔레트로 바꾼다 — 자리 점유는 줄 하나에서 줄 하나로(늘지 않는다). */
             this.items.delete(key);
-            const pallet = ssccUri(LEGACY_COMPANY_PREFIX, ++this.epcSeq);
+            const palSeq = ++this.epcSeq;
+            const pallet = this.declaredObjectId(`PAL-${palSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, palSeq);
             const qtyList = [{ epcClass: m.definitionId, quantity: qty }];
             this.items.set(pallet, { epc: pallet, gtin: m.definitionId, qty, location: at, disposition: DISP.in_progress });
             const eventTime = this.now();
@@ -366,7 +372,8 @@ export class WmsKernel extends FlowEngine {
            창고의 모양이다(도크 단계가 없는 현장이 있다). 그 사실은 화물의 출발 자리로 저널에 남는다. */
         const shipDock = this.locationByType('dock-ship') ?? staging;
         const eventTime = this.now();
-        const shipment = ssccUri(LEGACY_COMPANY_PREFIX, ++this.epcSeq);
+        const shpSeq = ++this.epcSeq;
+        const shipment = this.declaredObjectId(`SHP-${shpSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, shpSeq);
         order.shipmentEpc = shipment;
         const soTxn = [{ type: BTT.so, bizTransaction: order.bizTransaction }];
         // 패킹: 화물(shipment) ← 팔레트 조립(merge). 팔레트는 출하 DELETE 까지 독립 유지 → consume 없음.

package/dist/mes-kernel.d.ts

@@ -37,6 +37,13 @@ export declare class MesKernel extends FlowEngine {
      * 아니다). 선언이 없는 MES 트윈은 이제 만들 수 없으므로(`loadTwinModel` 이 거절한다) `fabricated` 로
      * 판정될 일이 없다.
      */
+    /**
+     * MES 는 **생산 선언의 정체성을 먼저** 쓴다 — `ProductionSpec.identity` 가 먼저 생긴 자리다.
+     *
+     * 모델 자리(§`TwinModelDef.identity`)로 옮기면 이 override 는 사라진다. 두 자리를 동시에 읽는 것이
+     * 아니라 **하나를 고르는** 것이므로 규칙이 갈리지 않는다.
+     */
+    protected identityDeclaration(): import("./contract.ts").IdentityDeclaration | undefined;
     protected identityGroundingView(): IdentityGroundingView;
     /**
      * 선언이 말하는 자리 타입이 **이 트윈에 있나** — 로드 시점에 한 번, 모아서 말한다 (2026-08-20).

package/dist/mes-kernel.js

@@ -99,6 +99,15 @@ export class MesKernel extends FlowEngine {
      * 아니다). 선언이 없는 MES 트윈은 이제 만들 수 없으므로(`loadTwinModel` 이 거절한다) `fabricated` 로
      * 판정될 일이 없다.
      */
+    /**
+     * MES 는 **생산 선언의 정체성을 먼저** 쓴다 — `ProductionSpec.identity` 가 먼저 생긴 자리다.
+     *
+     * 모델 자리(§`TwinModelDef.identity`)로 옮기면 이 override 는 사라진다. 두 자리를 동시에 읽는 것이
+     * 아니라 **하나를 고르는** 것이므로 규칙이 갈리지 않는다.
+     */
+    identityDeclaration() {
+        return this.productionSpec?.identity ?? super.identityDeclaration();
+    }
     identityGroundingView() {
         return identityGroundingOf(this.productionSpec);
     }

package/dist/yms-kernel.js

@@ -64,19 +64,25 @@ export class YmsKernel extends FlowEngine {
         if (!gate || doors.length === 0)
             return;
         const inbound = kind === 'appointment';
-        const epc = graiUri(LEGACY_CP, '10', ++this.epcSeq);
+        const trSeq = ++this.epcSeq;
+        /* 선언이 있으면 선언에서(CBV §8.2.4) — 없으면 레거시 상수. */
+        const epc = this.declaredObjectId(`TRL-${trSeq}`) ?? graiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.trailer ?? '10', trSeq);
         this.items.set(epc, { epc, location: gate.id, disposition: DISP.in_progress });
         gate.occupancy++;
         this.emit(objectEvent({ eventTime: this.now(), action: 'ADD', bizStep: YARD_BIZSTEP.arriving, disposition: DISP.in_progress, epcList: [epc], readPoint: gate.id, bizLocation: gate.id }));
         // 인바운드: 화물 적재된 채 도착 → 조립(트레일러←화물) 기록. 아웃바운드: 빈 트레일러(화물은 도크에서 적재).
         if (inbound) {
-            const cargo = Array.from({ length: CARGO_PER_TRAILER }, () => ssccUri(LEGACY_CP, ++this.cargoSeq));
+            const cargo = Array.from({ length: CARGO_PER_TRAILER }, () => {
+                const c = ++this.cargoSeq;
+                return this.declaredObjectId(`CGO-${c}`) ?? ssccUri(LEGACY_CP, c);
+            });
             this.trailerCargo.set(epc, cargo);
             this.aggregate(epc, cargo, { bizStep: YARD_BIZSTEP.arriving, readPoint: gate.id }); // 적재된 채 도착(자식 opaque, 미materialize)
         }
         const door = doors[this.doorRR++ % doors.length];
         const id = `order-${++this.orderSeq}`;
-        const appt = gdtiUri(LEGACY_CP, '404', ++this.soSeq);
+        const apSeq = ++this.soSeq;
+        const appt = this.declaredBizTransactionId(`APPT-${apSeq}`) ?? gdtiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.appointment ?? '404', apSeq);
         const order = { id, kind, status: 'created', requested: 1, fulfilled: 0, bizTransaction: appt, allocated: [epc], picked: [], dockDoor: door.id,
             /* 내부 스케줄 게이트(시뮬 ms) — 표준 `EarliestStartTime` 과 같은 개념의 우리 단위. */
             windowStartMs: this.clockMs + WINDOW_DELAY_MS,

package/dist-cjs/index.cjs

@@ -138,6 +138,7 @@ __export(index_exports, {
   monteCarloForecast: () => monteCarloForecast,
   monteCarloForecastAsync: () => monteCarloForecastAsync,
   objectEvent: () => objectEvent,
+  objectUri: () => objectUri,
   offCalendarAt: () => offCalendarAt,
   offCalendarReasonAt: () => offCalendarReasonAt,
   operationalKindOf: () => operationalKindOf,
@@ -947,14 +948,20 @@ function parseEpc(uri) {
 function gdtiUri(companyPrefix, docType, serial) {
   return `urn:epc:id:gdti:${companyPrefix}.${docType}.${serial}`;
 }
+function objectUri(namespace, objId) {
+  return underNamespace(namespace, "obj", objId);
+}
 function bizTransactionUri(namespace, transId) {
+  return underNamespace(namespace, "bt", transId);
+}
+function underNamespace(namespace, marker, id) {
   const ns = namespace?.trim();
   if (!ns) return void 0;
-  const id = String(transId);
-  if (!id || id.includes("/") || id.includes(":")) return void 0;
-  if (/^https?:\/\/[^/\s]+/.test(ns)) return `${ns.replace(/\/+$/, "")}/bt/${id}`;
+  const v = String(id);
+  if (!v || v.includes("/") || v.includes(":")) return void 0;
+  if (/^https?:\/\/[^/\s]+/.test(ns)) return `${ns.replace(/\/+$/, "")}/${marker}/${v}`;
   if (/^urn:epc(global)?:/.test(ns)) return void 0;
-  if (/^urn:[^:\s]+/.test(ns)) return `${ns.replace(/:+$/, "")}:bt:${id}`;
+  if (/^urn:[^:\s]+/.test(ns)) return `${ns.replace(/:+$/, "")}:${marker}:${v}`;
   return void 0;
 }
 function header(type, eventTime, bizStep, opts) {
@@ -2526,9 +2533,20 @@ var TWIN_AXES = [
    * 아직 세우지 않은 것: **요금 구간**(TariffPeriod)과 **원단위**(EnPI). 둘 다 아직 아무도 만들지
    * 않는다 — 선언만 하면 개념 지도가 언제나 0 을 보여 주고, 그것은 결손처럼 읽힌다(§10 7단계의 일).
    */
+  /*
+   * **무엇이 이 항목을 가리키나** — `idField` 가 말한다.
+   *
+   * 수요 구간에는 `id` 가 없다. 그것이 결함은 아니다: 구간의 정체성은 **그 구간이 언제 시작했나**이고
+   * (요금의 알갱이가 그 시각으로 정해진다) 커널도 그것으로 키를 만든다(`contract-projected-over:<startMs>`).
+   *
+   * 그런데 소비처가 `id`·`key`·`gtin` 을 **짐작**하고 있어서, 화면이 여섯 구간 모두를 「식별자 없음 —
+   * 참조할 수 없는 항목」으로 보였다. 값은 실재하는데 가리킬 수 없다고 말한 것이다. 짐작을 없애고
+   * 선언이 답하게 한다 — 축이 사는 자리(`path`)를 선언하는 것과 같은 이유다.
+   */
   {
     axis: "demandWindows",
     path: "energy.closed",
+    idField: "startMs",
     label: "twin.axis.demandWindows",
     kind: "instance",
     source: "state",
@@ -5430,6 +5448,40 @@ var FlowEngine = class {
   identityGroundingView() {
     return identityGroundingOf(void 0);
   }
+  /**
+   * **이 트윈의 정체성 선언을 읽는 한 곳.**
+   *
+   * 모델이 갖는다(§`TwinModelDef.identity`) — 정체성은 생산과 무관하고, 생산하지 않는 트윈도 팔레트·
+   * 트레일러를 식별한다. 선언을 든 커널이 자기 것을 먼저 쓰도록 override 할 수 있다(MES 가 그렇게 한다:
+   * `ProductionSpec.identity` 가 먼저 생긴 자리다).
+   *
+   * 규칙을 두 곳에 적지 않기 위해 조립하는 쪽은 전부 이 함수를 지난다.
+   */
+  identityDeclaration() {
+    return this.boardDef?.identity;
+  }
+  /**
+   * 선언된 이름공간 아래의 **개체 식별자** — 없으면 답하지 않는다.
+   *
+   * 팔레트·트레일러는 개체 식별자이고 GS1 키(SSCC·GRAI)에는 회사 프리픽스가 필요하다. 프리픽스가 없는
+   * 현장은 CBV §8.2.3·§8.2.4 의 길로 간다. 선언이 없으면 **지어내지 않고 `undefined` 를 답한다** —
+   * 호출부가 무엇을 할지 정한다(레거시 경로는 아직 상수를 쓴다).
+   */
+  declaredObjectId(id) {
+    for (const ns of this.identityDeclaration()?.namespaces ?? []) {
+      const uri = objectUri(ns, id);
+      if (uri) return uri;
+    }
+    return void 0;
+  }
+  /** 선언된 이름공간 아래의 **거래 문서 식별자**(발주·주문·어포인트먼트) — 없으면 답하지 않는다. */
+  declaredBizTransactionId(id) {
+    for (const ns of this.identityDeclaration()?.namespaces ?? []) {
+      const uri = bizTransactionUri(ns, id);
+      if (uri) return uri;
+    }
+    return void 0;
+  }
   produceMaterials(t) {
     if (this.producesOwnOutputs(t.kind)) return;
     const made = (this.operationSpecs.get(t.kind)?.materialSpecification ?? []).filter((m) => m.use === "produced");
@@ -6073,11 +6125,13 @@ var WmsKernel = class extends FlowEngine {
   /** 입고 도착 — §4 라이프사이클: ASN(PO) → 팔레트 조립 → 수령 → putaway task. */
   onArrival(spec) {
     const dock = this.builtInLocation("dock", "inbound pallets land here");
-    const epc = ssccUri(LEGACY_COMPANY_PREFIX, ++this.epcSeq);
+    const seq = ++this.epcSeq;
+    const epc = this.declaredObjectId(`PAL-${seq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, seq);
     const gtin = this.pickGtin(spec.content.skuMix);
     if (!gtin) return;
     const qty = this.randInt(spec.content.qtyPerLine.min, spec.content.qtyPerLine.max);
-    const po = gdtiUri(LEGACY_COMPANY_PREFIX, "401", ++this.poSeq);
+    const poSeq = ++this.poSeq;
+    const po = this.declaredBizTransactionId(`PO-${poSeq}`) ?? gdtiUri(LEGACY_COMPANY_PREFIX, this.identityDeclaration()?.documentTypes?.purchaseorder ?? "401", poSeq);
     const eventTime = this.now();
     const qtyList = [{ epcClass: gtin, quantity: qty }];
     const poTxn = [{ type: BTT.po, bizTransaction: po }];
@@ -6148,7 +6202,8 @@ var WmsKernel = class extends FlowEngine {
   /** 오더 생성 — 약속(납기·우선순위)은 base `promiseOf` 가 계산한다(도메인마다 다르게 재지 않는다). */
   createSalesOrder(lines, spec) {
     const id = `order-${++this.orderSeq}`;
-    const so = gdtiUri(LEGACY_COMPANY_PREFIX, "402", ++this.soSeq);
+    const soSeq = ++this.soSeq;
+    const so = this.declaredBizTransactionId(`SO-${soSeq}`) ?? gdtiUri(LEGACY_COMPANY_PREFIX, this.identityDeclaration()?.documentTypes?.salesorder ?? "402", soSeq);
     const requested = lines.reduce((s, l) => s + l.qty, 0);
     const order = {
       id,
@@ -6321,7 +6376,8 @@ var WmsKernel = class extends FlowEngine {
       const qty = row.qty ?? 0;
       if (qty <= 0) continue;
       this.items.delete(key);
-      const pallet = ssccUri(LEGACY_COMPANY_PREFIX, ++this.epcSeq);
+      const palSeq = ++this.epcSeq;
+      const pallet = this.declaredObjectId(`PAL-${palSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, palSeq);
       const qtyList = [{ epcClass: m.definitionId, quantity: qty }];
       this.items.set(pallet, { epc: pallet, gtin: m.definitionId, qty, location: at, disposition: DISP.in_progress });
       const eventTime = this.now();
@@ -6335,7 +6391,8 @@ var WmsKernel = class extends FlowEngine {
   finalizeOrder(order, staging) {
     const shipDock = this.locationByType("dock-ship") ?? staging;
     const eventTime = this.now();
-    const shipment = ssccUri(LEGACY_COMPANY_PREFIX, ++this.epcSeq);
+    const shpSeq = ++this.epcSeq;
+    const shipment = this.declaredObjectId(`SHP-${shpSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, shpSeq);
     order.shipmentEpc = shipment;
     const soTxn = [{ type: BTT.so, bizTransaction: order.bizTransaction }];
     this.aggregate(shipment, order.picked.slice(), { bizStep: BIZSTEP.packing, readPoint: staging.id, bizLocation: staging.id });
@@ -6398,18 +6455,23 @@ var YmsKernel = class extends FlowEngine {
     const doors = [...this.locations.values()].filter((n) => n.type === "dock-door").sort((a, b) => a.id.localeCompare(b.id));
     if (!gate || doors.length === 0) return;
     const inbound = kind === "appointment";
-    const epc = graiUri(LEGACY_CP, "10", ++this.epcSeq);
+    const trSeq = ++this.epcSeq;
+    const epc = this.declaredObjectId(`TRL-${trSeq}`) ?? graiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.trailer ?? "10", trSeq);
     this.items.set(epc, { epc, location: gate.id, disposition: DISP.in_progress });
     gate.occupancy++;
     this.emit(objectEvent({ eventTime: this.now(), action: "ADD", bizStep: YARD_BIZSTEP.arriving, disposition: DISP.in_progress, epcList: [epc], readPoint: gate.id, bizLocation: gate.id }));
     if (inbound) {
-      const cargo = Array.from({ length: CARGO_PER_TRAILER }, () => ssccUri(LEGACY_CP, ++this.cargoSeq));
+      const cargo = Array.from({ length: CARGO_PER_TRAILER }, () => {
+        const c = ++this.cargoSeq;
+        return this.declaredObjectId(`CGO-${c}`) ?? ssccUri(LEGACY_CP, c);
+      });
       this.trailerCargo.set(epc, cargo);
       this.aggregate(epc, cargo, { bizStep: YARD_BIZSTEP.arriving, readPoint: gate.id });
     }
     const door = doors[this.doorRR++ % doors.length];
     const id = `order-${++this.orderSeq}`;
-    const appt = gdtiUri(LEGACY_CP, "404", ++this.soSeq);
+    const apSeq = ++this.soSeq;
+    const appt = this.declaredBizTransactionId(`APPT-${apSeq}`) ?? gdtiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.appointment ?? "404", apSeq);
     const order = {
       id,
       kind,
@@ -6602,6 +6664,15 @@ var MesKernel = class extends FlowEngine {
    * 아니다). 선언이 없는 MES 트윈은 이제 만들 수 없으므로(`loadTwinModel` 이 거절한다) `fabricated` 로
    * 판정될 일이 없다.
    */
+  /**
+   * MES 는 **생산 선언의 정체성을 먼저** 쓴다 — `ProductionSpec.identity` 가 먼저 생긴 자리다.
+   *
+   * 모델 자리(§`TwinModelDef.identity`)로 옮기면 이 override 는 사라진다. 두 자리를 동시에 읽는 것이
+   * 아니라 **하나를 고르는** 것이므로 규칙이 갈리지 않는다.
+   */
+  identityDeclaration() {
+    return this.productionSpec?.identity ?? super.identityDeclaration();
+  }
   identityGroundingView() {
     return identityGroundingOf(this.productionSpec);
   }
@@ -8489,6 +8560,7 @@ function retiredVocabularyIn(line) {
   monteCarloForecast,
   monteCarloForecastAsync,
   objectEvent,
+  objectUri,
   offCalendarAt,
   offCalendarReasonAt,
   operationalKindOf,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@operato/twin-kernel",
-  "version": "0.7.43",
+  "version": "0.7.44",
   "type": "module",
   "description": "Twin Domain Kernel — framework-agnostic, zero-dep (domain + sim + 3-channel contract). WMS/YMS/MES, EPCIS 2.0 · ISA-95.",
   "publishConfig": {