@operato/twin-kernel 0.7.44 → 0.7.45

package/dist/contract.d.ts

@@ -2242,6 +2242,19 @@ export interface IdentityDeclaration {
      * 키는 문서의 종류(예: `workorder`), 값은 그 현장이 배정한 문서 타입이다.
      */
     documentTypes?: Record<string, string>;
+    /**
+     * **이 현장이 배정받은 GS1 회사 프리픽스** — GS1 키(SSCC·GRAI·GDTI)를 쓰는 현장이 선언한다.
+     *
+     * 이 자리가 없으면 GS1 키를 만들 수 없다. 그것이 막힘이 아니라 **정직**이다: 프리픽스는 GS1 이
+     * 회사에 배정하는 것이고, 커널이 값을 고르면 저널에 남의 번호가 영구히 남는다.
+     *
+     * 프리픽스가 없는 현장은 `namespaces` 로 간다 — 도메인만 있으면 표준 정합이다(CBV §8.2.4·§8.5.5).
+     * 그쪽이 진입장벽이 낮다.
+     *
+     * 여기 있다는 것이 **발급받았다는 증명은 아니다** — 그 주장은 `issuedClaim` 이 따로 말하고, 우리는
+     * 확인하지 않는다(§`IdentityGroundingView`).
+     */
+    companyPrefix?: string;
 }
 /**
  * 정체성의 **근거** — 값이 어디서 왔나. 「우리가 구현했나」와 **다른 축**이다.

package/dist/domain-catalog.d.ts

@@ -100,7 +100,7 @@ export interface TwinAxisInfo {
      *
      * **`source` 가 가리키는 자료 안의 경로다** — 예전에는 「`document` 일 때만 있다」고 못 박았는데,
      * 상태 축도 중첩될 수 있다는 것이 에너지에서 드러났다(수요 구간은 `state.energy.closed` 에 산다).
-     * 그때 축 이름을 상태의 최상위 키로 맞추려면 같은 배열을 두 자리에 실어야 했다(방송이 그만큼 커진다).
+     * 그때 축 이름을 상태의 최상위 키로 맞추려면 같은 배열을 두 자리에 실어야 했다(브로드캐스팅이 그만큼 커진다).
      *
      * 규칙은 하나다: **경로가 있으면 그 경로로 읽고, 없으면 축 이름으로 읽는다.** 빈 문자열로 두지
      * 않는다 — 소비처가 자료의 뿌리를 읽고 통째로 잘못된 답을 만든다.

package/dist/ems-kernel.d.ts

@@ -11,7 +11,7 @@ export declare class EmsKernel extends FlowEngine {
     private closed;
     private closedTotal;
     private peak?;
-    /** 이 구간에서 이미 제안을 냈나 — 같은 사실을 되풀어 방송하지 않는다(라이브 브리지의 교훈). */
+    /** 이 구간에서 이미 제안을 냈나 — 같은 사실을 되풀어 브로드캐스팅하지 않는다(라이브 브리지의 교훈). */
     private suggestedFor?;
     private windowMs;
     /**

package/dist/ems-kernel.js

@@ -59,7 +59,7 @@ export class EmsKernel extends FlowEngine {
     closed = [];
     closedTotal = 0;
     peak;
-    /** 이 구간에서 이미 제안을 냈나 — 같은 사실을 되풀어 방송하지 않는다(라이브 브리지의 교훈). */
+    /** 이 구간에서 이미 제안을 냈나 — 같은 사실을 되풀어 브로드캐스팅하지 않는다(라이브 브리지의 교훈). */
     suggestedFor;
     windowMs;
     /**

package/dist/epcis.js

@@ -77,6 +77,19 @@ export function lgtinClass(companyPrefix, itemRefAndIndicator, lot) {
  */
 export function parseEpc(uri) {
     const raw = String(uri ?? '');
+    /*
+     * ── CBV 형식을 먼저 읽는다 (2026-08-21) ──────────────────────────────────
+     * GS1 프리픽스가 없는 현장은 선언된 이름공간 아래에서 식별자를 만든다(CBV 2.0 §8.2.3·§8.2.4 개체
+     * `obj` · §8.3.3·§8.3.4 클래스 `class`). 그 형식을 모르면 `scheme: 'unknown'` · `instance: false` 가
+     * 되고, 소비처가 **개체를 클래스로 읽는다** — 미러가 트레일러의 개체 URI 를 그 물품의 품번으로 적었다
+     * (적합성 대조가 「미러만 아는 것=[gtin]」으로 잡았다).
+     *
+     * 표지가 종류를 말한다. 그것이 이 형식의 설계이고(그래서 표지가 필수다) 여기서 그대로 읽는다.
+     */
+    if (/(?:\/obj\/|:obj:)[^/:\s]+$/.test(raw))
+        return { scheme: 'unknown', instance: true, uri: raw };
+    if (/(?:\/class\/|:class:)[^/:\s]+$/.test(raw))
+        return { scheme: 'unknown', instance: false, uri: raw };
     const cls = raw.match(/^urn:epc:class:lgtin:(.+)$/);
     if (cls) {
         const seg = cls[1].split('.');

package/dist/flow-engine.d.ts

@@ -1271,6 +1271,18 @@ export declare abstract class FlowEngine implements TwinKernel {
      * 호출부가 무엇을 할지 정한다(레거시 경로는 아직 상수를 쓴다).
      */
     protected declaredObjectId(id: string | number): string | undefined;
+    /**
+     * 개체 식별자 — **선언이 없으면 오류를 낸다.**
+     *
+     * 예전에는 선언이 없으면 커널 상수 프리픽스로 만들었다(`0614141` — GS1 이 규격 예제로 쓰다 버린
+     * 값이고 `06…` 은 실 배정 대역이다). 저널에 남는 것은 가짜 데이터가 아니라 **남의 번호일 수 있는
+     * 데이터**이고, 저널은 지우지 않는다. 그래서 지어내지 않고 멈춘다 — 조용히 도는 것보다 낫다.
+     */
+    protected requireObjectId(id: string | number): string;
+    /** 거래 문서 식별자 — 선언된 이름공간 또는 선언된 GDTI 문서 타입. 둘 다 없으면 오류를 낸다. */
+    protected requireBizTransactionId(id: string | number, docKind: string): string;
+    /** 같은 문장을 두 곳에 적지 않는다 — 고치는 자리가 하나여야 한다. */
+    private identityMissing;
     /** 선언된 이름공간 아래의 **거래 문서 식별자**(발주·주문·어포인트먼트) — 없으면 답하지 않는다. */
     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, objectUri, bizTransactionUri } from "./epcis.js";
+import { transformationEvent, aggregationEvent, objectEvent, parseEpc, DISP, ILMD_ATTR, CBV_BIZSTEP, objectUri, bizTransactionUri, gdtiUri } from "./epcis.js";
 import { OP_PARAM } from "./domain-definition.js";
 import { parseIsoDuration } from "./iso-duration.js";
 import { analyzeCapacity } from "./capacity.js";
@@ -1622,7 +1622,7 @@ export class FlowEngine {
         }
         this.observer.apply(envelope);
         /* **구독자에게 그대로 흘린다** — 호스트가 시뮬·관측 두 모드에서 같은 배선을 쓰게 하기 위해서다
-         * (`onEvent` 하나로 저널·방송이 붙는다). 관측 모드에서 이것은 **재방출**이지 새 사실이 아니다:
+         * (`onEvent` 하나로 저널·브로드캐스팅이 붙는다). 관측 모드에서 이것은 **재방출**이지 새 사실이 아니다:
          * 원천이 이미 그 이벤트를 갖고 있으므로, 호스트가 인입과 재방출을 **둘 다 저널에 적으면 중복**이
          * 된다. 저널은 인입에서 한 번만 적는다. */
         for (const h of this.observedHandlers())
@@ -2605,6 +2605,39 @@ export class FlowEngine {
         }
         return undefined;
     }
+    /**
+     * 개체 식별자 — **선언이 없으면 오류를 낸다.**
+     *
+     * 예전에는 선언이 없으면 커널 상수 프리픽스로 만들었다(`0614141` — GS1 이 규격 예제로 쓰다 버린
+     * 값이고 `06…` 은 실 배정 대역이다). 저널에 남는 것은 가짜 데이터가 아니라 **남의 번호일 수 있는
+     * 데이터**이고, 저널은 지우지 않는다. 그래서 지어내지 않고 멈춘다 — 조용히 도는 것보다 낫다.
+     */
+    requireObjectId(id) {
+        const uri = this.declaredObjectId(id);
+        if (uri)
+            return uri;
+        throw new Error(this.identityMissing('object'));
+    }
+    /** 거래 문서 식별자 — 선언된 이름공간 또는 선언된 GDTI 문서 타입. 둘 다 없으면 오류를 낸다. */
+    requireBizTransactionId(id, docKind) {
+        const uri = this.declaredBizTransactionId(id);
+        if (uri)
+            return uri;
+        const decl = this.identityDeclaration();
+        const docType = decl?.documentTypes?.[docKind];
+        const prefix = decl?.companyPrefix;
+        if (docType && prefix)
+            return gdtiUri(prefix, docType, Number(id) || 0);
+        throw new Error(this.identityMissing(`business transaction '${docKind}'`));
+    }
+    /** 같은 문장을 두 곳에 적지 않는다 — 고치는 자리가 하나여야 한다. */
+    identityMissing(what) {
+        return (`this twin has no identity declaration, so the kernel cannot name a ${what}. ` +
+            'Declare `identity.namespaces` on the model (CBV 2.0 §8.2.4 `.../obj/<id>` · §8.5.5 `.../bt/<id>` — ' +
+            'assigned by the owner of that internet domain), or `identity.documentTypes` with `identity.companyPrefix` ' +
+            'for GS1 keys. The kernel does not invent a company prefix: GS1 assigns it to a company, and a value the ' +
+            'kernel picked would sit in the journal forever with nothing saying it was invented.');
+    }
     /** 선언된 이름공간 아래의 **거래 문서 식별자**(발주·주문·어포인트먼트) — 없으면 답하지 않는다. */
     declaredBizTransactionId(id) {
         for (const ns of this.identityDeclaration()?.namespaces ?? []) {

package/dist/kernel.js

@@ -10,21 +10,9 @@ import { firstFitPolicy } from "./allocation-policy.js";
 import { FlowEngine } from "./flow-engine.js";
 import { planMakeToOrder } from "./make-to-order.js";
 import { BIZSTEP, BTT } from "./wms-profile.js";
-import { DISP, ILMD_ATTR, aggregationEvent, gdtiUri, objectEvent, ssccUri, transactionEvent } from "./epcis.js";
+import { DISP, ILMD_ATTR, aggregationEvent, objectEvent, transactionEvent } from "./epcis.js";
 import { subLotIdOf, itemKeyOf } from "./contract.js";
 const TRAVEL_MS = 30_000;
-/**
- * 이 내장 시나리오가 쓰는 **날조된 회사 프리픽스** — 선언이 없는 트윈만 이 길로 온다.
- *
- * 값이 실 배정 대역(`06…`)이라 저널에 남는 것은 **남의 번호일 수 있는 데이터**다. GS1 은 2022 년에
- * 모든 예제를 `952` 로 옮겼으므로(CBV 2.0 변경 이력), 이 값은 「GS1 이 버린 옛 예제」이기도 하다.
- *
- * 지우는 길은 이 상수를 다른 값으로 바꾸는 것이 **아니다** — 이 경로는 부품·라우트까지 상수여서
- * 정체성만 고치면 「지원하는 척」이 된다. 선언(`productionSpec`)으로 도는 트윈은 이 상수를 지나지
- * 않으며, 지나는 트윈은 `identityGroundingOf` 가 `fabricated` 로 판정한다 — 릴리즈 게이트가 그 값으로
- * 막는다. 이름에 `LEGACY_` 를 둔 이유는 **새 코드가 무심코 집어 들지 못하게** 하는 것이다.
- */
-const LEGACY_COMPANY_PREFIX = '0614141';
 const SHELF_MS = 30 * 24 * 3_600_000; // 기본 유통기한(30일)
 const SHELF_JITTER_MS = 5 * 24 * 3_600_000; // 로트별 만료 편차(FEFO 가 FIFO 와 갈리게)
 export class WmsKernel extends FlowEngine {
@@ -59,7 +47,7 @@ export class WmsKernel extends FlowEngine {
         const dock = this.builtInLocation('dock', 'inbound pallets land here');
         /* 선언이 있으면 선언에서(CBV §8.2.4) — 없으면 레거시 상수. 가드가 그 상수를 계속 센다. */
         const seq = ++this.epcSeq;
-        const epc = this.declaredObjectId(`PAL-${seq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, seq); // 팔레트
+        const epc = this.requireObjectId(`PAL-${seq}`); // 팔레트
         const gtin = this.pickGtin(spec.content.skuMix); // SGTIN idpat = epcClass
         /* 품목 구성이 비어 있으면 **도착을 만들지 않는다** — 무엇이 왔는지 말할 수 없는 입고는 사실이 아니다. */
         if (!gtin)
@@ -67,7 +55,7 @@ export class WmsKernel extends FlowEngine {
         const qty = this.randInt(spec.content.qtyPerLine.min, spec.content.qtyPerLine.max); // 케이스 수(비직렬)
         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 po = this.requireBizTransactionId(`PO-${poSeq}`, 'purchaseorder');
         const eventTime = this.now();
         const qtyList = [{ epcClass: gtin, quantity: qty }];
         const poTxn = [{ type: BTT.po, bizTransaction: po }];
@@ -142,7 +130,7 @@ export class WmsKernel extends FlowEngine {
     createSalesOrder(lines, spec) {
         const id = `order-${++this.orderSeq}`;
         const soSeq = ++this.soSeq;
-        const so = this.declaredBizTransactionId(`SO-${soSeq}`) ?? gdtiUri(LEGACY_COMPANY_PREFIX, this.identityDeclaration()?.documentTypes?.salesorder ?? '402', soSeq);
+        const so = this.requireBizTransactionId(`SO-${soSeq}`, 'salesorder');
         const requested = lines.reduce((s, l) => s + l.qty, 0);
         const order = {
             id, kind: 'outbound', status: 'created', requested, fulfilled: 0, bizTransaction: so,
@@ -355,7 +343,7 @@ export class WmsKernel extends FlowEngine {
             /* 클래스 줄을 팔레트로 바꾼다 — 자리 점유는 줄 하나에서 줄 하나로(늘지 않는다). */
             this.items.delete(key);
             const palSeq = ++this.epcSeq;
-            const pallet = this.declaredObjectId(`PAL-${palSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, palSeq);
+            const pallet = this.requireObjectId(`PAL-${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();
@@ -373,7 +361,7 @@ export class WmsKernel extends FlowEngine {
         const shipDock = this.locationByType('dock-ship') ?? staging;
         const eventTime = this.now();
         const shpSeq = ++this.epcSeq;
-        const shipment = this.declaredObjectId(`SHP-${shpSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, shpSeq);
+        const shipment = this.requireObjectId(`SHP-${shpSeq}`);
         order.shipmentEpc = shipment;
         const soTxn = [{ type: BTT.so, bizTransaction: order.bizTransaction }];
         // 패킹: 화물(shipment) ← 팔레트 조립(merge). 팔레트는 출하 DELETE 까지 독립 유지 → consume 없음.

package/dist/runtime.d.ts

@@ -28,7 +28,7 @@ export declare class TwinRuntime {
         revision: number;
         state: StateSnapshot;
     };
-    /** 클록-싱크 하트비트 메시지 — host 가 자기 send-rate 로 방송(⊥ tick). 클라 보간의 nowSim. */
+    /** 클록-싱크 하트비트 메시지 — host 가 자기 send-rate 로 브로드캐스팅(⊥ tick). 클라 보간의 nowSim. */
     nowClock(): Extract<SubscriptionMessage, {
         kind: 'clock';
     }>;

package/dist/runtime.js

@@ -37,7 +37,7 @@ export class TwinRuntime {
     resync() {
         return { revision: this.currentRevision, state: this.kernel.getSnapshot() };
     }
-    /** 클록-싱크 하트비트 메시지 — host 가 자기 send-rate 로 방송(⊥ tick). 클라 보간의 nowSim. */
+    /** 클록-싱크 하트비트 메시지 — host 가 자기 send-rate 로 브로드캐스팅(⊥ tick). 클라 보간의 nowSim. */
     nowClock() {
         return { kind: 'clock', revision: this.currentRevision, simClockMs: this.kernel.getSnapshot().simClockMs };
     }

package/dist/yms-kernel.js

@@ -18,8 +18,8 @@
 import { itemKeyOf } from "./contract.js";
 import { firstFitPolicy } from "./allocation-policy.js";
 import { FlowEngine } from "./flow-engine.js";
-import { DISP, objectEvent, transactionEvent, gdtiUri, ssccUri } from "./epcis.js";
-import { YARD_BIZSTEP, BTT_DELIVERY, graiUri } from "./yms-profile.js";
+import { DISP, objectEvent, transactionEvent } from "./epcis.js";
+import { YARD_BIZSTEP, BTT_DELIVERY } from "./yms-profile.js";
 const TRAVEL_MS = 20_000; // 야드 이동
 const DWELL_MS = 30_000; // 도크 체류(상·하차) — depart 이동에 folded
 const WINDOW_DELAY_MS = 40_000; // 도착 후 어포인트먼트 창까지(early arrival → 대기)
@@ -34,12 +34,6 @@ const WINDOW_DELAY_MS = 40_000; // 도착 후 어포인트먼트 창까지(early
  */
 const WINDOW_LENGTH_MS = 20 * 60_000;
 const CARGO_PER_TRAILER = 2; // 트레일러 적재/하역 화물(SSCC) 수
-/**
- * 이 내장 시나리오가 쓰는 **날조된 회사 프리픽스** — 선언이 없는 트윈만 이 길로 온다.
- * 근거·처분은 WMS 커널의 같은 상수 주석에 있다(`kernel.ts`). 이름의 `LEGACY_` 는 새 코드가 무심코
- * 집어 들지 못하게 하는 표시다 — 이 상수를 지나는 트윈은 `fabricated` 로 판정된다.
- */
-const LEGACY_CP = '0614141';
 export class YmsKernel extends FlowEngine {
     doorRR = 0;
     cargoSeq = 0;
@@ -66,7 +60,7 @@ export class YmsKernel extends FlowEngine {
         const inbound = kind === 'appointment';
         const trSeq = ++this.epcSeq;
         /* 선언이 있으면 선언에서(CBV §8.2.4) — 없으면 레거시 상수. */
-        const epc = this.declaredObjectId(`TRL-${trSeq}`) ?? graiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.trailer ?? '10', trSeq);
+        const epc = this.requireObjectId(`TRL-${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 }));
@@ -74,7 +68,7 @@ export class YmsKernel extends FlowEngine {
         if (inbound) {
             const cargo = Array.from({ length: CARGO_PER_TRAILER }, () => {
                 const c = ++this.cargoSeq;
-                return this.declaredObjectId(`CGO-${c}`) ?? ssccUri(LEGACY_CP, c);
+                return this.requireObjectId(`CGO-${c}`);
             });
             this.trailerCargo.set(epc, cargo);
             this.aggregate(epc, cargo, { bizStep: YARD_BIZSTEP.arriving, readPoint: gate.id }); // 적재된 채 도착(자식 opaque, 미materialize)
@@ -82,7 +76,7 @@ export class YmsKernel extends FlowEngine {
         const door = doors[this.doorRR++ % doors.length];
         const id = `order-${++this.orderSeq}`;
         const apSeq = ++this.soSeq;
-        const appt = this.declaredBizTransactionId(`APPT-${apSeq}`) ?? gdtiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.appointment ?? '404', apSeq);
+        const appt = this.requireBizTransactionId(`APPT-${apSeq}`, 'appointment');
         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

@@ -914,6 +914,8 @@ function lgtinClass(companyPrefix, itemRefAndIndicator, lot) {
 }
 function parseEpc(uri) {
   const raw = String(uri ?? "");
+  if (/(?:\/obj\/|:obj:)[^/:\s]+$/.test(raw)) return { scheme: "unknown", instance: true, uri: raw };
+  if (/(?:\/class\/|:class:)[^/:\s]+$/.test(raw)) return { scheme: "unknown", instance: false, uri: raw };
   const cls = raw.match(/^urn:epc:class:lgtin:(.+)$/);
   if (cls) {
     const seg = cls[1].split(".");
@@ -3020,7 +3022,7 @@ var TwinRuntime = class {
   resync() {
     return { revision: this.currentRevision, state: this.kernel.getSnapshot() };
   }
-  /** 클록-싱크 하트비트 메시지 — host 가 자기 send-rate 로 방송(⊥ tick). 클라 보간의 nowSim. */
+  /** 클록-싱크 하트비트 메시지 — host 가 자기 send-rate 로 브로드캐스팅(⊥ tick). 클라 보간의 nowSim. */
   nowClock() {
     return { kind: "clock", revision: this.currentRevision, simClockMs: this.kernel.getSnapshot().simClockMs };
   }
@@ -5474,6 +5476,32 @@ var FlowEngine = class {
     }
     return void 0;
   }
+  /**
+   * 개체 식별자 — **선언이 없으면 오류를 낸다.**
+   *
+   * 예전에는 선언이 없으면 커널 상수 프리픽스로 만들었다(`0614141` — GS1 이 규격 예제로 쓰다 버린
+   * 값이고 `06…` 은 실 배정 대역이다). 저널에 남는 것은 가짜 데이터가 아니라 **남의 번호일 수 있는
+   * 데이터**이고, 저널은 지우지 않는다. 그래서 지어내지 않고 멈춘다 — 조용히 도는 것보다 낫다.
+   */
+  requireObjectId(id) {
+    const uri = this.declaredObjectId(id);
+    if (uri) return uri;
+    throw new Error(this.identityMissing("object"));
+  }
+  /** 거래 문서 식별자 — 선언된 이름공간 또는 선언된 GDTI 문서 타입. 둘 다 없으면 오류를 낸다. */
+  requireBizTransactionId(id, docKind) {
+    const uri = this.declaredBizTransactionId(id);
+    if (uri) return uri;
+    const decl = this.identityDeclaration();
+    const docType = decl?.documentTypes?.[docKind];
+    const prefix = decl?.companyPrefix;
+    if (docType && prefix) return gdtiUri(prefix, docType, Number(id) || 0);
+    throw new Error(this.identityMissing(`business transaction '${docKind}'`));
+  }
+  /** 같은 문장을 두 곳에 적지 않는다 — 고치는 자리가 하나여야 한다. */
+  identityMissing(what) {
+    return `this twin has no identity declaration, so the kernel cannot name a ${what}. Declare \`identity.namespaces\` on the model (CBV 2.0 \xA78.2.4 \`.../obj/<id>\` \xB7 \xA78.5.5 \`.../bt/<id>\` \u2014 assigned by the owner of that internet domain), or \`identity.documentTypes\` with \`identity.companyPrefix\` for GS1 keys. The kernel does not invent a company prefix: GS1 assigns it to a company, and a value the kernel picked would sit in the journal forever with nothing saying it was invented.`;
+  }
   /** 선언된 이름공간 아래의 **거래 문서 식별자**(발주·주문·어포인트먼트) — 없으면 답하지 않는다. */
   declaredBizTransactionId(id) {
     for (const ns of this.identityDeclaration()?.namespaces ?? []) {
@@ -6091,7 +6119,6 @@ function matches(s, req) {
 
 // src/kernel.ts
 var TRAVEL_MS = 3e4;
-var LEGACY_COMPANY_PREFIX = "0614141";
 var SHELF_MS = 30 * 24 * 36e5;
 var SHELF_JITTER_MS = 5 * 24 * 36e5;
 var WmsKernel = class extends FlowEngine {
@@ -6126,12 +6153,12 @@ var WmsKernel = class extends FlowEngine {
   onArrival(spec) {
     const dock = this.builtInLocation("dock", "inbound pallets land here");
     const seq = ++this.epcSeq;
-    const epc = this.declaredObjectId(`PAL-${seq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, seq);
+    const epc = this.requireObjectId(`PAL-${seq}`);
     const gtin = this.pickGtin(spec.content.skuMix);
     if (!gtin) return;
     const qty = this.randInt(spec.content.qtyPerLine.min, spec.content.qtyPerLine.max);
     const poSeq = ++this.poSeq;
-    const po = this.declaredBizTransactionId(`PO-${poSeq}`) ?? gdtiUri(LEGACY_COMPANY_PREFIX, this.identityDeclaration()?.documentTypes?.purchaseorder ?? "401", poSeq);
+    const po = this.requireBizTransactionId(`PO-${poSeq}`, "purchaseorder");
     const eventTime = this.now();
     const qtyList = [{ epcClass: gtin, quantity: qty }];
     const poTxn = [{ type: BTT.po, bizTransaction: po }];
@@ -6203,7 +6230,7 @@ var WmsKernel = class extends FlowEngine {
   createSalesOrder(lines, spec) {
     const id = `order-${++this.orderSeq}`;
     const soSeq = ++this.soSeq;
-    const so = this.declaredBizTransactionId(`SO-${soSeq}`) ?? gdtiUri(LEGACY_COMPANY_PREFIX, this.identityDeclaration()?.documentTypes?.salesorder ?? "402", soSeq);
+    const so = this.requireBizTransactionId(`SO-${soSeq}`, "salesorder");
     const requested = lines.reduce((s, l) => s + l.qty, 0);
     const order = {
       id,
@@ -6377,7 +6404,7 @@ var WmsKernel = class extends FlowEngine {
       if (qty <= 0) continue;
       this.items.delete(key);
       const palSeq = ++this.epcSeq;
-      const pallet = this.declaredObjectId(`PAL-${palSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, palSeq);
+      const pallet = this.requireObjectId(`PAL-${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();
@@ -6392,7 +6419,7 @@ var WmsKernel = class extends FlowEngine {
     const shipDock = this.locationByType("dock-ship") ?? staging;
     const eventTime = this.now();
     const shpSeq = ++this.epcSeq;
-    const shipment = this.declaredObjectId(`SHP-${shpSeq}`) ?? ssccUri(LEGACY_COMPANY_PREFIX, shpSeq);
+    const shipment = this.requireObjectId(`SHP-${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 });
@@ -6425,7 +6452,6 @@ var DWELL_MS = 3e4;
 var WINDOW_DELAY_MS = 4e4;
 var WINDOW_LENGTH_MS = 20 * 6e4;
 var CARGO_PER_TRAILER = 2;
-var LEGACY_CP = "0614141";
 var YmsKernel = class extends FlowEngine {
   doorRR = 0;
   cargoSeq = 0;
@@ -6456,14 +6482,14 @@ var YmsKernel = class extends FlowEngine {
     if (!gate || doors.length === 0) return;
     const inbound = kind === "appointment";
     const trSeq = ++this.epcSeq;
-    const epc = this.declaredObjectId(`TRL-${trSeq}`) ?? graiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.trailer ?? "10", trSeq);
+    const epc = this.requireObjectId(`TRL-${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 }, () => {
         const c = ++this.cargoSeq;
-        return this.declaredObjectId(`CGO-${c}`) ?? ssccUri(LEGACY_CP, c);
+        return this.requireObjectId(`CGO-${c}`);
       });
       this.trailerCargo.set(epc, cargo);
       this.aggregate(epc, cargo, { bizStep: YARD_BIZSTEP.arriving, readPoint: gate.id });
@@ -6471,7 +6497,7 @@ var YmsKernel = class extends FlowEngine {
     const door = doors[this.doorRR++ % doors.length];
     const id = `order-${++this.orderSeq}`;
     const apSeq = ++this.soSeq;
-    const appt = this.declaredBizTransactionId(`APPT-${apSeq}`) ?? gdtiUri(LEGACY_CP, this.identityDeclaration()?.documentTypes?.appointment ?? "404", apSeq);
+    const appt = this.requireBizTransactionId(`APPT-${apSeq}`, "appointment");
     const order = {
       id,
       kind,
@@ -7113,7 +7139,7 @@ var EmsKernel = class extends FlowEngine {
   closed = [];
   closedTotal = 0;
   peak;
-  /** 이 구간에서 이미 제안을 냈나 — 같은 사실을 되풀어 방송하지 않는다(라이브 브리지의 교훈). */
+  /** 이 구간에서 이미 제안을 냈나 — 같은 사실을 되풀어 브로드캐스팅하지 않는다(라이브 브리지의 교훈). */
   suggestedFor;
   windowMs;
   /**

package/package.json

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