@operato/twin-kernel 0.7.41 → 0.7.43

package/dist/allocation-policy.d.ts

@@ -23,7 +23,18 @@ export interface PlacementContext {
 export interface StockRequest {
     gtin: string;
     qty: number;
-    available: readonly StockView[];
+    /**
+     * 후보 재고 — **한 번만 순회할 수 있는 것으로 본다.**
+     *
+     * ── 왜 배열이 아닌가 (2026-08-21 프로파일) ────────────────────────────────
+     * 예전에는 배열이었다. 그래서 호출부가 자리의 물품 전체를 배열로 만들어 넘겼고, 그것이 틱 시간의
+     * 25.1% 였다(물품 16,000 규모). 오더 하나가 요구하는 수는 보통 한 자리인데 후보 전체를 실물로
+     * 만들어 낸 것이다.
+     *
+     * 지연 순회로 바꾸면 기본 정책은 만들지 않고 고를 수 있다. 전체가 필요한 정책(FEFO 는 만료 순으로
+     * 정렬해야 한다)은 `[...available]` 로 펼치면 된다 — 그 비용은 그 정책이 실제로 필요해서 치르는 것이다.
+     */
+    available: Iterable<StockView>;
 }
 export interface AllocationPolicy {
     /** 배치 목적지 슬롯 id. 수용 불가면 null(도크 대기 → 다음 tick 재시도). */

package/dist/allocation-policy.js

@@ -5,15 +5,55 @@
  * 결정은 정책에 위임한다. 고객은 FIFO/FEFO/nearest/zone·부분할당 등을 정책 교체로만
  * 확장 — 코어 수정 없이. (설계 gap #5 "할당 정책 플러그")
  */
+/*
+ * ── 식별자 비교에 `localeCompare` 를 쓰지 않는다 (2026-08-21 프로파일) ───────
+ *
+ * 정렬 비용이 틱 시간의 17.2% 였다(`sortByEpc` 와 그 비교 함수 합). 원인이 둘이다.
+ *
+ * ① `localeCompare` 는 **로케일 대조**다. 사람이 읽는 목록을 그 언어의 관행대로 늘어놓기 위한 것이고,
+ *    그래서 비교 한 번이 문자열 비교보다 훨씬 비싸다. 그런데 여기서 비교하는 것은 **식별자**다 —
+ *    사람에게 보이지 않고, 필요한 것은 「언제 물어도 같은 순서」뿐이다. 부호 순서로 충분하다.
+ *
+ * ② 전량을 정렬한 뒤 앞의 `qty` 개만 취했다. 오더 하나가 요구하는 수는 보통 한 자리인데 재고는
+ *    수만 개가 될 수 있다 — 목표 규모는 물품 10만이다. **가장 작은 k 개**만 찾으면 된다.
+ *
+ * 결과는 바뀌지 않는다: 같은 순서에서 가장 작은 k 개는 정렬한 뒤 앞의 k 개와 같은 것들이고 순서도 같다.
+ */
+const byId = (a, b) => (a < b ? -1 : a > b ? 1 : 0);
 function freeBinsFirstFit(slots) {
-    const sorted = [...slots].sort((a, b) => a.id.localeCompare(b.id));
-    for (const b of sorted)
-        if (b.occupancy + b.reserved < b.capacity)
-            return b.id;
-    return null;
+    /* 정렬하지 않는다 — 가장 작은 id 하나만 찾으면 되므로 한 번 순회로 답한다. */
+    let best;
+    for (const b of slots) {
+        if (b.occupancy + b.reserved >= b.capacity)
+            continue;
+        if (!best || byId(b.id, best.id) < 0)
+            best = b;
+    }
+    return best?.id ?? null;
 }
-function sortByEpc(available) {
-    return [...available].sort((a, b) => a.epc.localeCompare(b.epc));
+/**
+ * `epc` 가 가장 작은 **k 개** — 전량 정렬 없이.
+ *
+ * 작은 정렬 버퍼를 들고 한 번 순회한다. k 가 작을 때(오더가 요구하는 수는 보통 한 자리다) 전량 정렬보다
+ * 훨씬 싸고, 결과는 정렬한 뒤 앞의 k 개와 **같다**.
+ */
+function smallestByEpc(available, k) {
+    if (k <= 0)
+        return { picked: [], total: 0 };
+    const out = [];
+    let total = 0;
+    for (const s of available) {
+        total++;
+        if (out.length === k && byId(s.epc, out[out.length - 1].epc) >= 0)
+            continue;
+        let i = out.length;
+        while (i > 0 && byId(out[i - 1].epc, s.epc) > 0)
+            i--;
+        out.splice(i, 0, s);
+        if (out.length > k)
+            out.pop();
+    }
+    return { picked: out, total };
 }
 /**
  * 기본 정책 — first-fit slot + all-or-nothing 오더 할당.
@@ -22,9 +62,11 @@ function sortByEpc(available) {
 export const firstFitPolicy = {
     selectPlacement: ({ slots }) => freeBinsFirstFit(slots),
     selectStock: ({ qty, available }) => {
-        if (available.length < qty)
+        /* 고르는 것과 세는 것을 **한 번의 순회**로 한다 — 전량 확보 판정에 개수가 필요하다. */
+        const { picked, total } = smallestByEpc(available, qty);
+        if (total < qty)
             return []; // 전량 확보 전엔 대기
-        return sortByEpc(available).slice(0, qty).map(s => s.epc);
+        return picked.map(s => s.epc);
     }
 };
 /**
@@ -33,7 +75,7 @@ export const firstFitPolicy = {
  */
 export const partialFitPolicy = {
     selectPlacement: ({ slots }) => freeBinsFirstFit(slots),
-    selectStock: ({ qty, available }) => sortByEpc(available).slice(0, qty).map(s => s.epc)
+    selectStock: ({ qty, available }) => smallestByEpc(available, qty).picked.map(s => s.epc)
 };
 /**
  * FEFO 정책 — First-Expired-First-Out. 만료 임박 로트를 먼저 출고(신선/제약 도메인).
@@ -42,9 +84,11 @@ export const partialFitPolicy = {
 export const fefoPolicy = {
     selectPlacement: ({ slots }) => freeBinsFirstFit(slots),
     selectStock: ({ qty, available }) => {
-        if (available.length < qty)
+        /* 만료 순이 필요하므로 전체를 펼친다 — 이 정책이 실제로 필요해서 치르는 비용이다. */
+        const all = [...available];
+        if (all.length < qty)
             return []; // 전량 확보 전엔 대기
-        const byExpiry = [...available].sort((a, b) => (a.expiry ?? Infinity) - (b.expiry ?? Infinity) || a.epc.localeCompare(b.epc));
+        const byExpiry = all.sort((a, b) => (a.expiry ?? Infinity) - (b.expiry ?? Infinity) || byId(a.epc, b.epc));
         return byExpiry.slice(0, qty).map(s => s.epc);
     }
 };

package/dist/contract.d.ts

@@ -1163,6 +1163,18 @@ export interface OrderState {
     recipeKey?: string;
     /** 씨앗이 이 오더의 확보분을 다 심지 못했다 — 이 오더의 답은 부족한 씨앗 위에 있다. */
     seedIncomplete?: boolean;
+    /**
+     * **이 오더가 왜 대기하는가** — 모자란 투입 줄(자재 키 · 필요 · 확보 가능).
+     *
+     * 확보는 전량 아니면 대기다. 그 거동은 옳은데 이유를 말하지 않으면 화면은 「running」만 보여 주고,
+     * 사람은 영구히 대기하는 오더를 정상으로 읽는다. 모자란 줄을 **전부** 싣는다 — 하나만 알려 주면
+     * 채운 뒤 다음 줄에서 또 막히고 같은 진단을 반복하게 된다.
+     */
+    shortage?: {
+        material: string;
+        need: number;
+        have: number;
+    }[];
     progress?: number;
     held?: boolean;
     /**

package/dist/face2-adapter.d.ts

@@ -59,7 +59,37 @@ export interface AggregationEventMapping {
     readPoint?: MapValue;
     bizLocation?: MapValue;
 }
-export type EventMapping = ObjectEventMapping | AggregationEventMapping;
+/**
+ * **변환의 사실** — 무엇이 들어가 무엇이 나왔나(EPCIS `TransformationEvent`).
+ *
+ * ── 왜 이 갈래가 필요한가 (2026-08-21) ─────────────────────────────────────
+ * 정규 레코드 계약이 `ObjectEvent`·`AggregationEvent` 둘만 다뤄서, 원본이 「이 로트를 소비해 이 제품을
+ * 만들었다」고 말해도 실을 자리가 없었다. 그 사실이 문 앞에서 사라진다.
+ *
+ * **HACCP 회수 범위 판정이 정확히 이 자리를 요구한다** — 「이 로트가 어느 제품에 들어갔나」다. 로트를
+ * 개체로 식별할 수 없는 현장(연속량·분할 로트)에서는 소비를 `inputQuantityList` 의 **LGTIN 클래스**
+ * (`urn:epc:class:lgtin:<프리픽스>.<품번>.<로트>`)로 말한다 — 표준이 로트 단위 클래스를 그렇게 정한다.
+ *
+ * `action` 이 없다: 표준이 `TransformationEvent` 에 `action` 을 두지 않는다(들어감과 나옴이 곧 뜻이다).
+ */
+export interface TransformationEventMapping {
+    type: 'TransformationEvent';
+    bizStep: MapValue;
+    disposition?: MapValue;
+    /** 소비된 개체들("$.inputEPCList") — 문자열 배열. */
+    inputEPCList?: MapValue;
+    /** 소비된 클래스+수량("$.inputQuantityList") — 로트 단위 소비가 이 자리다. */
+    inputQuantityList?: MapValue;
+    /** 산출된 개체들("$.outputEPCList"). */
+    outputEPCList?: MapValue;
+    /** 산출된 클래스+수량("$.outputQuantityList"). */
+    outputQuantityList?: MapValue;
+    /** 여러 이벤트를 한 변환으로 잇는 식별자("$.transformationID") — 한 오더의 여러 단계가 이것으로 묶인다. */
+    transformationID?: MapValue;
+    readPoint?: MapValue;
+    bizLocation?: MapValue;
+}
+export type EventMapping = ObjectEventMapping | AggregationEventMapping | TransformationEventMapping;
 /**
  * 이 품목 레코드가 **담김의 사실**인가 — 라우팅 판정을 한 곳에 둔다(소비처가 각자 짐작하지 않게).
  *
@@ -67,6 +97,17 @@ export type EventMapping = ObjectEventMapping | AggregationEventMapping;
  * 있으면 담김으로 본다 — 둘 다 있으면 커넥터가 무엇을 말하려는지 알 수 없으므로 담김으로 받지 않는다.
  */
 export declare function isAggregationRecord(record: unknown): boolean;
+/**
+ * 이 레코드가 **변환의 사실**인가 — 라우팅 판정을 한 곳에 둔다(소비처가 각자 짐작하지 않게).
+ *
+ * 변환은 **들어간 것과 나온 것**으로 말한다. 개체 하나의 관측(`epc`)이나 담김(`parentID`)과 섞이지
+ * 않게, 그 둘이 없고 입력·출력 중 하나라도 있으면 변환으로 본다.
+ *
+ * 한쪽이라도 있으면 **변환하려는 레코드로 본다.** 양쪽이 다 있어야 유효한 이벤트가 되지만(아래),
+ * 판정은 「무엇을 말하려는 레코드인가」이므로 한쪽만 있어도 이 갈래로 보내야 한다 — 그러지 않으면
+ * 반쪽만 온 레코드가 개체 관측으로 잘못 흘러가고, 무엇이 빠졌는지 아무도 말해 주지 않는다.
+ */
+export declare function isTransformationRecord(record: unknown): boolean;
 /** 룰: 소스 레코드의 판별자(sourceType)로 매핑을 고른다. */
 export interface AdapterRule {
     sourceType: string;

package/dist/face2-adapter.js

@@ -8,7 +8,7 @@
  * 매핑 엔진은 walking-skeleton 범위에서 무의존 declarative spec 사용.
  * (jsonata/템플릿 엔진 최종 선택은 열린 결정 — face2-adapters.md. 커널 zero-dep 유지 위해 여기선 미도입.)
  */
-import { aggregationEvent, objectEvent, validateEpcisEvent } from "./epcis.js";
+import { aggregationEvent, objectEvent, transformationEvent, validateEpcisEvent } from "./epcis.js";
 /**
  * 이 품목 레코드가 **담김의 사실**인가 — 라우팅 판정을 한 곳에 둔다(소비처가 각자 짐작하지 않게).
  *
@@ -21,6 +21,25 @@ export function isAggregationRecord(record) {
     const r = record;
     return typeof r.parentID === 'string' && r.parentID.trim().length > 0 && r.epc === undefined;
 }
+/**
+ * 이 레코드가 **변환의 사실**인가 — 라우팅 판정을 한 곳에 둔다(소비처가 각자 짐작하지 않게).
+ *
+ * 변환은 **들어간 것과 나온 것**으로 말한다. 개체 하나의 관측(`epc`)이나 담김(`parentID`)과 섞이지
+ * 않게, 그 둘이 없고 입력·출력 중 하나라도 있으면 변환으로 본다.
+ *
+ * 한쪽이라도 있으면 **변환하려는 레코드로 본다.** 양쪽이 다 있어야 유효한 이벤트가 되지만(아래),
+ * 판정은 「무엇을 말하려는 레코드인가」이므로 한쪽만 있어도 이 갈래로 보내야 한다 — 그러지 않으면
+ * 반쪽만 온 레코드가 개체 관측으로 잘못 흘러가고, 무엇이 빠졌는지 아무도 말해 주지 않는다.
+ */
+export function isTransformationRecord(record) {
+    if (!record || typeof record !== 'object')
+        return false;
+    const r = record;
+    if (r.epc !== undefined || r.parentID !== undefined)
+        return false;
+    const has = (k) => Array.isArray(r[k]) && r[k].length > 0;
+    return has('inputEPCList') || has('inputQuantityList') || has('outputEPCList') || has('outputQuantityList');
+}
 function get(obj, path) {
     return path.split('.').reduce((o, k) => (o == null ? o : o[k]), obj);
 }
@@ -83,12 +102,47 @@ function resolveQuantityList(v, record, field, errors) {
 /** 단일 레코드 → 정규 EPCIS 이벤트 + 매핑에서 드러난 문제(검증은 `ingest` 가 이어서 한다). */
 export function mapRecordChecked(record, mapping, eventTime) {
     const errors = [];
-    const action = (resolve(mapping.action, record, 'action', errors) ?? '');
     const bizStep = resolve(mapping.bizStep, record, 'bizStep', errors) ?? '';
     const disposition = resolve(mapping.disposition, record, 'disposition', errors);
     const readPoint = resolve(mapping.readPoint, record, 'readPoint', errors);
     const bizLocation = resolve(mapping.bizLocation, record, 'bizLocation', errors);
+    if (mapping.type === 'TransformationEvent') {
+        const inputEPCList = resolveList(mapping.inputEPCList, record, 'inputEPCList', errors);
+        const inputQuantityList = resolveQuantityList(mapping.inputQuantityList, record, 'inputQuantityList', errors);
+        const outputEPCList = resolveList(mapping.outputEPCList, record, 'outputEPCList', errors);
+        const outputQuantityList = resolveQuantityList(mapping.outputQuantityList, record, 'outputQuantityList', errors);
+        const transformationID = resolve(mapping.transformationID, record, 'transformationID', errors);
+        /*
+         * **양쪽이 다 있어야 한다** — EPCIS 2.0 §7.4.5 의 정의다: 「objects … are fully or partially
+         * consumed as inputs **and** one or more objects … are produced as outputs」. 네 목록 필드가
+         * 각각 선택인 것은 개체로 말하든 수량으로 말하든 되기 때문이고, 한쪽을 빼도 된다는 뜻이 아니다.
+         *
+         * 검증기도 같은 것을 본다. 여기서 함께 말하는 이유는 **가리키는 곳이 다르기** 때문이다 — 검증
+         * 메시지는 이벤트를 가리키고 이 메시지는 매핑을 가리킨다. 커넥터가 고칠 자리가 다르다.
+         */
+        if (!inputEPCList.length && !inputQuantityList.length) {
+            errors.push('입력이 비었다 — 변환은 무엇이 들어갔는지 말해야 한다(EPCIS 2.0 §7.4.5)');
+        }
+        if (!outputEPCList.length && !outputQuantityList.length) {
+            errors.push('출력이 비었다 — 변환은 무엇이 나왔는지 말해야 한다(EPCIS 2.0 §7.4.5)');
+        }
+        return {
+            event: transformationEvent({
+                eventTime, bizStep, disposition,
+                /* 없는 쪽은 **필드를 만들지 않는다** — 빈 배열을 실으면 「없다」고 말하는 것이 된다.
+                   개체로 말한 쪽과 수량으로 말한 쪽 중 하나만 쓰는 것이 정상이다. */
+                ...(inputEPCList.length ? { inputEPCList } : {}),
+                ...(inputQuantityList.length ? { inputQuantityList } : {}),
+                ...(outputEPCList.length ? { outputEPCList } : {}),
+                ...(outputQuantityList.length ? { outputQuantityList } : {}),
+                ...(transformationID ? { transformationID } : {}),
+                readPoint, bizLocation
+            }),
+            errors
+        };
+    }
     if (mapping.type === 'AggregationEvent') {
+        const action = (resolve(mapping.action, record, 'action', errors) ?? '');
         const parentID = resolve(mapping.parentID, record, 'parentID', errors) ?? '';
         const childEPCs = resolveList(mapping.childEPCs, record, 'childEPCs', errors);
         const childQuantityList = resolveQuantityList(mapping.childQuantityList, record, 'childQuantityList', errors);
@@ -103,6 +157,7 @@ export function mapRecordChecked(record, mapping, eventTime) {
             errors
         };
     }
+    const action = (resolve(mapping.action, record, 'action', errors) ?? '');
     const epc = resolve(mapping.epc, record, 'epc', errors);
     const quantityList = resolveQuantityList(mapping.quantityList, record, 'quantityList', errors);
     /* 개체도 수량도 없으면 무엇을 관측했는지 말하지 않은 것이다 — 검증에 넘기기 전에 여기서 말해 준다

package/dist/flow-engine.d.ts

@@ -233,6 +233,20 @@ export interface FlowOrder {
      * 말한다.** 이 표시가 없으면 그 상황과 「우리 계산의 결함」을 구별할 수 없다.
      */
     seedIncomplete?: boolean;
+    /**
+     * **이 오더가 왜 대기하는가** — 마지막 확보 시도에서 모자랐던 투입 줄들.
+     *
+     * 확보는 전량 아니면 대기다(부분 투입을 하면 재고가 거짓이 된다). 그 거동은 옳은데 **조용했다**:
+     * 실측에서 투입 18줄 중 6줄이 입고되지 않아 오더 다섯이 영구히 대기했고 화면에는 「running」이라
+     * 적혔다. 어느 자리도 이유를 말하지 않았다.
+     *
+     * 매 틱 새로 쓰인다(확보를 다시 시도하므로). 채워지면 지운다 — 남겨 두면 해결된 것을 계속 말한다.
+     */
+    shortage?: {
+        material: string;
+        need: number;
+        have: number;
+    }[];
     /** 우선순위 — 표준 `OperationsRequest.Priority`(작은 값이 급하다). 할당 순서를 정한다. */
     priority?: number;
     /** 예정 창 — 표준 `StartTime`/`EndTime`. 납기가 있어야 "늦었나" 를 물을 수 있다. */

package/dist/flow-engine.js

@@ -373,6 +373,11 @@ export class ItemStore {
             out.set(k, structuredClone(it));
         return out;
     }
+    /*
+     * 지연 순회(`*iterAt`)를 만들어 배열을 없애 보았으나 **더 느렸다** — 물품 16,000 규모에서 틱 합계가
+     * 1562ms 에서 2723ms 로 늘었다. 항목마다 생성기 규약을 지나는 비용이 배열 하나를 만드는 비용보다
+     * 크다. 측정이 그렇게 답했으므로 배열을 유지한다.
+     */
     /** 그 자리에 있는 물품들 — 색인이 답한다(전체 순회가 아니다). */
     at(location) {
         const keys = this.byLocation.get(location);
@@ -1325,6 +1330,8 @@ export class FlowEngine {
                 ...(o.recipeKey ? { recipeKey: o.recipeKey } : {}),
                 /* 씨앗이 다 심지 못했다는 사실 — 조용히 자르지 않는다(그 오더의 답은 부족한 씨앗 위에 있다). */
                 ...(o.seedIncomplete ? { seedIncomplete: true } : {}),
+                /* 왜 대기하는지 — 없으면 화면은 「running」만 보여 주고 사람은 원인을 찾을 자리가 없다. */
+                ...(o.shortage?.length ? { shortage: o.shortage.map(x => ({ ...x })) } : {}),
                 ...(o.lines?.length ? { lines: o.lines.map(l => ({ gtin: l.gtin, requested: l.requested })) } : {}),
                 ...(o.priority !== undefined ? { priority: o.priority } : {}),
                 ...(o.startTime ? { startTime: o.startTime } : {}),
@@ -2084,6 +2091,13 @@ export class FlowEngine {
          * 시뮬레이션에서 이것은 **우리 계산의 결함**이다(우리가 없는 물건을 소비하라고 요구했다). 그래서
          * 멈춘다. 미러는 처방이 다르다 — 원본이 진실이므로 받아들이고 어긋난 횟수를 남긴다.
          *
+         * ── 자리 규칙은 **여기서 확인하지 않는다** (2026-08-21에 호출부를 확인한 결과) ────
+         * 「자재는 작업이 일어나는 자리에 있어야 소비된다」는 규칙이 있고, 그 확인은 **소비 경로**
+         * (`claimMaterials`)가 이미 한다(그 자리에 있는 것만 선택한다). 이 원시에 같은 확인을 추가하면
+         * 정상 경로를 막는다: MES 선언 경로는 자재를 **라인사이드 보관 자리**에서 선택하고 변환은
+         * **공정 자리**에서 일어난다(`mes-kernel` 의 라우트 단계 — 두 자리가 다른 것이 그 경로의 설계다).
+         * 추가하려면 먼저 그 경로가 물건을 공정 자리로 이동시키게 만들어야 하고, 그것은 별개의 결정이다.
+         *
          * ── 미러를 멈추면 안 되는 이유 (2026-08-20, 시험으로 확인) ─────────────────
          * 씨앗으로 세운 커널은 그대로 `tick` 한다(§`hydrateObserved`). 원본이 확보분 하나를 누락한
          * 스냅샷을 주면 — 실 연동에서 흔한 빈틈이다 — 그 커널은 **첫 틱에 멈춘다.** 원본의 한 건이

package/dist/mes-kernel.d.ts

@@ -1,4 +1,4 @@
-import type { GeneratorSpec, Command, CommandAck, ProductionSpec, TwinModelDef, IdentityGroundingView } from './contract.ts';
+import type { GeneratorSpec, Command, CommandAck, ProductionSpec, TwinModelDef, IdentityGroundingView, Attention } from './contract.ts';
 import type { AllocationPolicy } from './allocation-policy.ts';
 import { FlowEngine } from './flow-engine.ts';
 import type { FlowOrder, FlowTask } from './flow-engine.ts';
@@ -60,6 +60,20 @@ export declare class MesKernel extends FlowEngine {
      * 이미 그 제품이면 no-op, 아니면 셋업(기본값, OEE 가용성 손실) + lastChangeoverKey 각인
      * (이후 그 제품 task 는 자동 셋업 생략). command → 변이 → State 델타(폐루프).
      */
+    /**
+     * **왜 대기하는지 화면에 말한다** — 자재가 모자라 확보가 미뤄진 오더.
+     *
+     * ── 왜 필요한가 (2026-08-21 실측) ─────────────────────────────────────────
+     * 확보는 전량 아니면 대기다(부분 투입을 하면 재고가 거짓이 된다). 그 거동은 옳다. 그런데 조용해서,
+     * 투입 18줄 중 6줄이 한 번도 입고되지 않은 공장에서 **오더 다섯이 영구히 대기하는 동안 화면에는
+     * 「running」이라 적혔다.** 아무 자리도 이유를 말하지 않았다.
+     *
+     * 판단만 여기서 한다 — 확인(ack)·처음 성립한 시각·사라진 조건 정리는 `computeAttentions` 가
+     * 한 곳에서 맡는다(확장점 규약).
+     *
+     * 사람이 읽는 문장은 만들지 않는다. `kind` 와 언어 중립 `params` 만 내고 문장은 표현계층이 만든다.
+     */
+    protected collectAttentions(): Attention[];
     protected handleCommand(cmd: Command): CommandAck;
     /** 부품 수령 — 도착한 품목이 선언된 입력 자재면 그 자재가 선언한 자리에 생성. */
     protected onArrival(spec: GeneratorSpec): void;

package/dist/mes-kernel.js

@@ -149,6 +149,43 @@ export class MesKernel extends FlowEngine {
      * 이미 그 제품이면 no-op, 아니면 셋업(기본값, OEE 가용성 손실) + lastChangeoverKey 각인
      * (이후 그 제품 task 는 자동 셋업 생략). command → 변이 → State 델타(폐루프).
      */
+    /**
+     * **왜 대기하는지 화면에 말한다** — 자재가 모자라 확보가 미뤄진 오더.
+     *
+     * ── 왜 필요한가 (2026-08-21 실측) ─────────────────────────────────────────
+     * 확보는 전량 아니면 대기다(부분 투입을 하면 재고가 거짓이 된다). 그 거동은 옳다. 그런데 조용해서,
+     * 투입 18줄 중 6줄이 한 번도 입고되지 않은 공장에서 **오더 다섯이 영구히 대기하는 동안 화면에는
+     * 「running」이라 적혔다.** 아무 자리도 이유를 말하지 않았다.
+     *
+     * 판단만 여기서 한다 — 확인(ack)·처음 성립한 시각·사라진 조건 정리는 `computeAttentions` 가
+     * 한 곳에서 맡는다(확장점 규약).
+     *
+     * 사람이 읽는 문장은 만들지 않는다. `kind` 와 언어 중립 `params` 만 내고 문장은 표현계층이 만든다.
+     */
+    collectAttentions() {
+        const out = super.collectAttentions();
+        for (const o of this.orders.values()) {
+            const short = o.shortage;
+            if (!short?.length)
+                continue;
+            out.push({
+                id: `material-short:${o.id}`,
+                kind: 'material-short',
+                /* 한 줄이 모자란 것과 여러 줄이 모자란 것은 할 일이 다르다 — 여럿이면 자재 공급 자체가 문제다. */
+                severity: short.length > 1 ? 'high' : 'medium',
+                anchor: { orderId: o.id },
+                params: {
+                    /* 모자란 줄 수와 투입 줄 수 — 「6/18」이 「하나 모자람」과 다른 상황임을 한눈에 말한다. */
+                    shortLines: short.length,
+                    /* 자재 키를 그대로 낸다. 커널이 사람이 읽는 이름을 만들지 않는다 — 이름은 모델이 갖는다. */
+                    materials: short.map(x => x.material).join(', '),
+                    need: short.reduce((n, x) => n + x.need, 0),
+                    have: short.reduce((n, x) => n + x.have, 0)
+                }
+            });
+        }
+        return out;
+    }
     handleCommand(cmd) {
         if (cmd.type === MES_CMD.changeover) {
             const a = cmd.args;
@@ -417,6 +454,7 @@ export class MesKernel extends FlowEngine {
         }
         const rc = this.recipeDef(o);
         const picks = [];
+        const short = [];
         /*
          * ── 자리별 색인을 사용한다 (2026-08-21) ────────────────────────────────────
          * 예전에는 투입 줄마다 `[...this.items.values()].filter(...)` 로 **물품 전체를 순회**했다. 오더 하나에
@@ -438,6 +476,11 @@ export class MesKernel extends FlowEngine {
             const g = this.classOf(line.material);
             /* 자리 필터는 남는다 — 완제품도 `sellable` 이라, 반제품→완제품 체인에서 이것이 없으면 산출물을 자재로 소비한다. */
             const fromType = this.locationTypeOfMaterial(line.material);
+            /*
+             * 후보를 배열로 모은다. 지연 순회(생성기)로 바꿔 보았으나 **더 느렸다** — 물품 16,000 규모에서
+             * 1562ms → 2723ms 였다. 항목마다 생성기 규약을 지나는 비용이 배열을 만드는 비용보다 크다.
+             * 측정이 그렇게 답했으므로 배열을 유지한다(§StockRequest.available 은 지연도 받는다).
+             */
             const available = [];
             for (const n of locsOfType.get(fromType) ?? []) {
                 for (const i of this.items.at(n.id)) {
@@ -446,10 +489,31 @@ export class MesKernel extends FlowEngine {
                 }
             }
             const chosen = this.policy.selectStock({ gtin: g, qty: line.qty, available });
-            if (chosen.length < line.qty)
-                return; // 자재 부족 → 대기
+            if (chosen.length < line.qty) {
+                /*
+                 * **왜 대기하는지 남긴다** (2026-08-21).
+                 *
+                 * 예전에는 첫 부족한 줄에서 그대로 반환했다. 거동은 옳다(전량 확보 전에는 만들지 않는다) —
+                 * 문제는 **조용한 것**이었다. 실측: Rosarito MES 는 투입 18줄 중 6줄이 한 번도 입고되지 않아
+                 * 오더 다섯이 영구히 대기했고, 화면에는 「running」이라 적혔다. 어느 자리도 이유를 말하지 않았다.
+                 *
+                 * 첫 줄에서 멈추지 않고 **모자란 줄을 다 센다.** 하나만 알려 주면 그것을 채운 뒤 다음 줄에서
+                 * 또 막히고, 사람은 같은 진단을 여섯 번 반복한다.
+                 */
+                short.push({ material: line.material, need: line.qty, have: chosen.length });
+                continue;
+            }
             picks.push(...chosen);
         }
+        if (short.length) {
+            /* 확보는 하지 않는다 — 사실만 남기고 다음 틱에 다시 본다(값은 매 틱 새로 쓰인다). */
+            o.shortage = short;
+            this.emitOrder(o);
+            return;
+        }
+        /* 채워졌으면 표시를 지운다 — 남겨 두면 화면이 이미 해결된 것을 계속 말한다. */
+        if (o.shortage)
+            delete o.shortage;
         for (const epc of picks)
             o.allocated.push(epc);
         this.reserve(picks, MES_BIZSTEP.producing);

package/dist-cjs/index.cjs

@@ -125,6 +125,7 @@ __export(index_exports, {
   isEnergyRecord: () => isEnergyRecord,
   isEquipmentLevel: () => isEquipmentLevel,
   isOperationalRecord: () => isOperationalRecord,
+  isTransformationRecord: () => isTransformationRecord,
   isoDurationHours: () => isoDurationHours,
   itemKeyOf: () => itemKeyOf,
   levelOfLocationType: () => levelOfLocationType,
@@ -306,14 +307,14 @@ function classIndex(defs) {
 }
 var EMPTY_CLASS_INDEX = /* @__PURE__ */ new Map();
 function classClosure(directIds, defs, at) {
-  const byId = classIndex(defs);
+  const byId2 = classIndex(defs);
   const inWindow = (d) => !d || effectivityAt(d, at) === void 0;
   const out = /* @__PURE__ */ new Set();
   const stack = [...directIds ?? []];
   while (stack.length) {
     const id = stack.pop();
     if (out.has(id)) continue;
-    const def = byId.get(id);
+    const def = byId2.get(id);
     if (!inWindow(def)) continue;
     out.add(id);
     for (const b of def?.baseIds ?? []) if (!out.has(b)) stack.push(b);
@@ -2121,11 +2122,11 @@ var EMS_TYPES = [
   }
 ];
 function electricalUpstreamOf(locations, id) {
-  const byId = new Map((locations ?? []).filter((l) => l?.id).map((l) => [String(l.id), l]));
-  const self = byId.get(String(id));
+  const byId2 = new Map((locations ?? []).filter((l) => l?.id).map((l) => [String(l.id), l]));
+  const self = byId2.get(String(id));
   if (!self) return void 0;
   if (self.upstreamId) return String(self.upstreamId);
-  const parent = self.parentId ? byId.get(String(self.parentId)) : void 0;
+  const parent = self.parentId ? byId2.get(String(self.parentId)) : void 0;
   if (!parent) return void 0;
   return isElectricalLocationType(String(parent.type ?? "")) ? String(parent.id) : void 0;
 }
@@ -2670,30 +2671,47 @@ function capabilitiesForType(system, typeKey) {
 }
 
 // src/allocation-policy.ts
+var byId = (a, b) => a < b ? -1 : a > b ? 1 : 0;
 function freeBinsFirstFit(slots) {
-  const sorted = [...slots].sort((a, b) => a.id.localeCompare(b.id));
-  for (const b of sorted) if (b.occupancy + b.reserved < b.capacity) return b.id;
-  return null;
+  let best;
+  for (const b of slots) {
+    if (b.occupancy + b.reserved >= b.capacity) continue;
+    if (!best || byId(b.id, best.id) < 0) best = b;
+  }
+  return best?.id ?? null;
 }
-function sortByEpc(available) {
-  return [...available].sort((a, b) => a.epc.localeCompare(b.epc));
+function smallestByEpc(available, k) {
+  if (k <= 0) return { picked: [], total: 0 };
+  const out = [];
+  let total = 0;
+  for (const s of available) {
+    total++;
+    if (out.length === k && byId(s.epc, out[out.length - 1].epc) >= 0) continue;
+    let i = out.length;
+    while (i > 0 && byId(out[i - 1].epc, s.epc) > 0) i--;
+    out.splice(i, 0, s);
+    if (out.length > k) out.pop();
+  }
+  return { picked: out, total };
 }
 var firstFitPolicy = {
   selectPlacement: ({ slots }) => freeBinsFirstFit(slots),
   selectStock: ({ qty, available }) => {
-    if (available.length < qty) return [];
-    return sortByEpc(available).slice(0, qty).map((s) => s.epc);
+    const { picked, total } = smallestByEpc(available, qty);
+    if (total < qty) return [];
+    return picked.map((s) => s.epc);
   }
 };
 var partialFitPolicy = {
   selectPlacement: ({ slots }) => freeBinsFirstFit(slots),
-  selectStock: ({ qty, available }) => sortByEpc(available).slice(0, qty).map((s) => s.epc)
+  selectStock: ({ qty, available }) => smallestByEpc(available, qty).picked.map((s) => s.epc)
 };
 var fefoPolicy = {
   selectPlacement: ({ slots }) => freeBinsFirstFit(slots),
   selectStock: ({ qty, available }) => {
-    if (available.length < qty) return [];
-    const byExpiry = [...available].sort((a, b) => (a.expiry ?? Infinity) - (b.expiry ?? Infinity) || a.epc.localeCompare(b.epc));
+    const all = [...available];
+    if (all.length < qty) return [];
+    const byExpiry = all.sort((a, b) => (a.expiry ?? Infinity) - (b.expiry ?? Infinity) || byId(a.epc, b.epc));
     return byExpiry.slice(0, qty).map((s) => s.epc);
   }
 };
@@ -2807,6 +2825,13 @@ function isAggregationRecord(record) {
   const r = record;
   return typeof r.parentID === "string" && r.parentID.trim().length > 0 && r.epc === void 0;
 }
+function isTransformationRecord(record) {
+  if (!record || typeof record !== "object") return false;
+  const r = record;
+  if (r.epc !== void 0 || r.parentID !== void 0) return false;
+  const has = (k) => Array.isArray(r[k]) && r[k].length > 0;
+  return has("inputEPCList") || has("inputQuantityList") || has("outputEPCList") || has("outputQuantityList");
+}
 function get(obj, path) {
   return path.split(".").reduce((o, k) => o == null ? o : o[k], obj);
 }
@@ -2843,19 +2868,49 @@ function resolveQuantityList(v, record, field, errors) {
 }
 function mapRecordChecked(record, mapping, eventTime) {
   const errors = [];
-  const action = resolve(mapping.action, record, "action", errors) ?? "";
   const bizStep = resolve(mapping.bizStep, record, "bizStep", errors) ?? "";
   const disposition = resolve(mapping.disposition, record, "disposition", errors);
   const readPoint = resolve(mapping.readPoint, record, "readPoint", errors);
   const bizLocation = resolve(mapping.bizLocation, record, "bizLocation", errors);
+  if (mapping.type === "TransformationEvent") {
+    const inputEPCList = resolveList(mapping.inputEPCList, record, "inputEPCList", errors);
+    const inputQuantityList = resolveQuantityList(mapping.inputQuantityList, record, "inputQuantityList", errors);
+    const outputEPCList = resolveList(mapping.outputEPCList, record, "outputEPCList", errors);
+    const outputQuantityList = resolveQuantityList(mapping.outputQuantityList, record, "outputQuantityList", errors);
+    const transformationID = resolve(mapping.transformationID, record, "transformationID", errors);
+    if (!inputEPCList.length && !inputQuantityList.length) {
+      errors.push("\uC785\uB825\uC774 \uBE44\uC5C8\uB2E4 \u2014 \uBCC0\uD658\uC740 \uBB34\uC5C7\uC774 \uB4E4\uC5B4\uAC14\uB294\uC9C0 \uB9D0\uD574\uC57C \uD55C\uB2E4(EPCIS 2.0 \xA77.4.5)");
+    }
+    if (!outputEPCList.length && !outputQuantityList.length) {
+      errors.push("\uCD9C\uB825\uC774 \uBE44\uC5C8\uB2E4 \u2014 \uBCC0\uD658\uC740 \uBB34\uC5C7\uC774 \uB098\uC654\uB294\uC9C0 \uB9D0\uD574\uC57C \uD55C\uB2E4(EPCIS 2.0 \xA77.4.5)");
+    }
+    return {
+      event: transformationEvent({
+        eventTime,
+        bizStep,
+        disposition,
+        /* 없는 쪽은 **필드를 만들지 않는다** — 빈 배열을 실으면 「없다」고 말하는 것이 된다.
+           개체로 말한 쪽과 수량으로 말한 쪽 중 하나만 쓰는 것이 정상이다. */
+        ...inputEPCList.length ? { inputEPCList } : {},
+        ...inputQuantityList.length ? { inputQuantityList } : {},
+        ...outputEPCList.length ? { outputEPCList } : {},
+        ...outputQuantityList.length ? { outputQuantityList } : {},
+        ...transformationID ? { transformationID } : {},
+        readPoint,
+        bizLocation
+      }),
+      errors
+    };
+  }
   if (mapping.type === "AggregationEvent") {
+    const action2 = resolve(mapping.action, record, "action", errors) ?? "";
     const parentID = resolve(mapping.parentID, record, "parentID", errors) ?? "";
     const childEPCs = resolveList(mapping.childEPCs, record, "childEPCs", errors);
     const childQuantityList = resolveQuantityList(mapping.childQuantityList, record, "childQuantityList", errors);
     return {
       event: aggregationEvent({
         eventTime,
-        action,
+        action: action2,
         bizStep,
         disposition,
         parentID,
@@ -2868,6 +2923,7 @@ function mapRecordChecked(record, mapping, eventTime) {
       errors
     };
   }
+  const action = resolve(mapping.action, record, "action", errors) ?? "";
   const epc = resolve(mapping.epc, record, "epc", errors);
   const quantityList = resolveQuantityList(mapping.quantityList, record, "quantityList", errors);
   if (!epc && !quantityList.length) {
@@ -3393,6 +3449,11 @@ var ItemStore = class _ItemStore {
     for (const [k, it] of this.map) out.set(k, structuredClone(it));
     return out;
   }
+  /*
+   * 지연 순회(`*iterAt`)를 만들어 배열을 없애 보았으나 **더 느렸다** — 물품 16,000 규모에서 틱 합계가
+   * 1562ms 에서 2723ms 로 늘었다. 항목마다 생성기 규약을 지나는 비용이 배열 하나를 만드는 비용보다
+   * 크다. 측정이 그렇게 답했으므로 배열을 유지한다.
+   */
   /** 그 자리에 있는 물품들 — 색인이 답한다(전체 순회가 아니다). */
   at(location) {
     const keys = this.byLocation.get(location);
@@ -4250,6 +4311,8 @@ var FlowEngine = class {
         ...o.recipeKey ? { recipeKey: o.recipeKey } : {},
         /* 씨앗이 다 심지 못했다는 사실 — 조용히 자르지 않는다(그 오더의 답은 부족한 씨앗 위에 있다). */
         ...o.seedIncomplete ? { seedIncomplete: true } : {},
+        /* 왜 대기하는지 — 없으면 화면은 「running」만 보여 주고 사람은 원인을 찾을 자리가 없다. */
+        ...o.shortage?.length ? { shortage: o.shortage.map((x) => ({ ...x })) } : {},
         ...o.lines?.length ? { lines: o.lines.map((l) => ({ gtin: l.gtin, requested: l.requested })) } : {},
         ...o.priority !== void 0 ? { priority: o.priority } : {},
         ...o.startTime ? { startTime: o.startTime } : {},
@@ -6584,6 +6647,42 @@ var MesKernel = class extends FlowEngine {
    * 이미 그 제품이면 no-op, 아니면 셋업(기본값, OEE 가용성 손실) + lastChangeoverKey 각인
    * (이후 그 제품 task 는 자동 셋업 생략). command → 변이 → State 델타(폐루프).
    */
+  /**
+   * **왜 대기하는지 화면에 말한다** — 자재가 모자라 확보가 미뤄진 오더.
+   *
+   * ── 왜 필요한가 (2026-08-21 실측) ─────────────────────────────────────────
+   * 확보는 전량 아니면 대기다(부분 투입을 하면 재고가 거짓이 된다). 그 거동은 옳다. 그런데 조용해서,
+   * 투입 18줄 중 6줄이 한 번도 입고되지 않은 공장에서 **오더 다섯이 영구히 대기하는 동안 화면에는
+   * 「running」이라 적혔다.** 아무 자리도 이유를 말하지 않았다.
+   *
+   * 판단만 여기서 한다 — 확인(ack)·처음 성립한 시각·사라진 조건 정리는 `computeAttentions` 가
+   * 한 곳에서 맡는다(확장점 규약).
+   *
+   * 사람이 읽는 문장은 만들지 않는다. `kind` 와 언어 중립 `params` 만 내고 문장은 표현계층이 만든다.
+   */
+  collectAttentions() {
+    const out = super.collectAttentions();
+    for (const o of this.orders.values()) {
+      const short = o.shortage;
+      if (!short?.length) continue;
+      out.push({
+        id: `material-short:${o.id}`,
+        kind: "material-short",
+        /* 한 줄이 모자란 것과 여러 줄이 모자란 것은 할 일이 다르다 — 여럿이면 자재 공급 자체가 문제다. */
+        severity: short.length > 1 ? "high" : "medium",
+        anchor: { orderId: o.id },
+        params: {
+          /* 모자란 줄 수와 투입 줄 수 — 「6/18」이 「하나 모자람」과 다른 상황임을 한눈에 말한다. */
+          shortLines: short.length,
+          /* 자재 키를 그대로 낸다. 커널이 사람이 읽는 이름을 만들지 않는다 — 이름은 모델이 갖는다. */
+          materials: short.map((x) => x.material).join(", "),
+          need: short.reduce((n, x) => n + x.need, 0),
+          have: short.reduce((n, x) => n + x.have, 0)
+        }
+      });
+    }
+    return out;
+  }
   handleCommand(cmd) {
     if (cmd.type === MES_CMD.changeover) {
       const a = cmd.args;
@@ -6826,6 +6925,7 @@ var MesKernel = class extends FlowEngine {
     }
     const rc = this.recipeDef(o);
     const picks = [];
+    const short = [];
     const locsOfType = /* @__PURE__ */ new Map();
     for (const n of this.locations.values()) {
       const bin = locsOfType.get(n.type);
@@ -6842,9 +6942,18 @@ var MesKernel = class extends FlowEngine {
         }
       }
       const chosen = this.policy.selectStock({ gtin: g, qty: line.qty, available });
-      if (chosen.length < line.qty) return;
+      if (chosen.length < line.qty) {
+        short.push({ material: line.material, need: line.qty, have: chosen.length });
+        continue;
+      }
       picks.push(...chosen);
     }
+    if (short.length) {
+      o.shortage = short;
+      this.emitOrder(o);
+      return;
+    }
+    if (o.shortage) delete o.shortage;
     for (const epc of picks) o.allocated.push(epc);
     this.reserve(picks, MES_BIZSTEP.producing);
     this.emit(transactionEvent({ eventTime: this.now(), action: "ADD", bizStep: MES_BIZSTEP.producing, bizTransactionList: [{ type: BTT_PRODORDER, bizTransaction: o.bizTransaction }], epcList: o.allocated.slice() }));
@@ -8037,7 +8146,7 @@ function ingestOperationalRecords(records, opts) {
 // src/energy-attribution.ts
 var near = (a, b, eps = 1e-9) => Math.abs(a - b) <= eps;
 function attributeEnergy(opts) {
-  const byId = new Map(opts.consumers.map((c) => [c.id, c]));
+  const byId2 = new Map(opts.consumers.map((c) => [c.id, c]));
   const dedicated = /* @__PURE__ */ new Map();
   for (const c of opts.consumers) if (c.meterId) dedicated.set(c.meterId, c);
   const shares = [];
@@ -8054,7 +8163,7 @@ function attributeEnergy(opts) {
     }
     if (pool.overhead) {
       const alloc = opts.overheadAllocation;
-      const targets = (alloc?.processConsumerIds ?? []).map((id) => byId.get(id)).filter((c) => !!c);
+      const targets = (alloc?.processConsumerIds ?? []).map((id) => byId2.get(id)).filter((c) => !!c);
       const wOf = (c) => alloc?.weightKind === "equal" ? 1 : Number.isFinite(Number(c.weight)) && Number(c.weight) > 0 ? Number(c.weight) : 0;
       const sharing2 = alloc?.weightKind === "equal" ? targets : targets.filter((c) => wOf(c) > 0);
       const ws = sharing2.map(wOf);
@@ -8080,7 +8189,7 @@ function attributeEnergy(opts) {
       });
       continue;
     }
-    const covered = (pool.consumerIds ?? []).map((id) => byId.get(id)).filter((c) => !!c);
+    const covered = (pool.consumerIds ?? []).map((id) => byId2.get(id)).filter((c) => !!c);
     if (!covered.length) {
       unattributed.push({ poolMeterId: pool.meterId, kWh, reason: pool.remainder ? "not-submetered" : "no-consumers" });
       continue;
@@ -8367,6 +8476,7 @@ function retiredVocabularyIn(line) {
   isEnergyRecord,
   isEquipmentLevel,
   isOperationalRecord,
+  isTransformationRecord,
   isoDurationHours,
   itemKeyOf,
   levelOfLocationType,

package/package.json

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