@operato/twin-kernel 0.7.42 → 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

@@ -103,8 +103,9 @@ export declare function isAggregationRecord(record: unknown): boolean;
  * 변환은 **들어간 것과 나온 것**으로 말한다. 개체 하나의 관측(`epc`)이나 담김(`parentID`)과 섞이지
  * 않게, 그 둘이 없고 입력·출력 중 하나라도 있으면 변환으로 본다.
  *
- * 한쪽만 있는 것도 변환이다 — 표준이 소실(N→0)과 생성(0→N)을 같은 이벤트로 표현한다. 둘 다 없으면
- * 변환이 아니다(무엇이 바뀌었는지 말하지 않은 것이다).
+ * 한쪽이라도 있으면 **변환하려는 레코드로 본다.** 양쪽이 다 있어야 유효한 이벤트가 되지만(아래),
+ * 판정은 「무엇을 말하려는 레코드인가」이므로 한쪽만 있어도 이 갈래로 보내야 한다 — 그러지 않으면
+ * 반쪽만 온 레코드가 개체 관측으로 잘못 흘러가고, 무엇이 빠졌는지 아무도 말해 주지 않는다.
  */
 export declare function isTransformationRecord(record: unknown): boolean;
 /** 룰: 소스 레코드의 판별자(sourceType)로 매핑을 고른다. */

package/dist/face2-adapter.js

@@ -27,8 +27,9 @@ export function isAggregationRecord(record) {
  * 변환은 **들어간 것과 나온 것**으로 말한다. 개체 하나의 관측(`epc`)이나 담김(`parentID`)과 섞이지
  * 않게, 그 둘이 없고 입력·출력 중 하나라도 있으면 변환으로 본다.
  *
- * 한쪽만 있는 것도 변환이다 — 표준이 소실(N→0)과 생성(0→N)을 같은 이벤트로 표현한다. 둘 다 없으면
- * 변환이 아니다(무엇이 바뀌었는지 말하지 않은 것이다).
+ * 한쪽이라도 있으면 **변환하려는 레코드로 본다.** 양쪽이 다 있어야 유효한 이벤트가 되지만(아래),
+ * 판정은 「무엇을 말하려는 레코드인가」이므로 한쪽만 있어도 이 갈래로 보내야 한다 — 그러지 않으면
+ * 반쪽만 온 레코드가 개체 관측으로 잘못 흘러가고, 무엇이 빠졌는지 아무도 말해 주지 않는다.
  */
 export function isTransformationRecord(record) {
     if (!record || typeof record !== 'object')
@@ -111,16 +112,25 @@ export function mapRecordChecked(record, mapping, eventTime) {
         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 && !outputEPCList.length && !outputQuantityList.length) {
-            errors.push('입력과 출력이 모두 비었다 — 변환은 들어간 것이나 나온 것 중 하나는 말해야 한다');
+        /*
+         * **양쪽이 다 있어야 한다** — 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,
                 /* 없는 쪽은 **필드를 만들지 않는다** — 빈 배열을 실으면 「없다」고 말하는 것이 된다.
-                   소실(N→0)과 생성(0→N)은 표준이 인정하는 변환이고, 그때 한쪽이 아예 없는 것이 사실이다. */
+                   개체로 말한 쪽과 수량으로 말한 쪽 중 하나만 쓰는 것이 정상이다. */
                 ...(inputEPCList.length ? { inputEPCList } : {}),
                 ...(inputQuantityList.length ? { inputQuantityList } : {}),
                 ...(outputEPCList.length ? { outputEPCList } : {}),

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 } : {}),

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

@@ -307,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);
@@ -2122,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;
 }
@@ -2671,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);
   }
 };
@@ -2861,8 +2878,11 @@ function mapRecordChecked(record, mapping, eventTime) {
     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 && !outputEPCList.length && !outputQuantityList.length) {
-      errors.push("\uC785\uB825\uACFC \uCD9C\uB825\uC774 \uBAA8\uB450 \uBE44\uC5C8\uB2E4 \u2014 \uBCC0\uD658\uC740 \uB4E4\uC5B4\uAC04 \uAC83\uC774\uB098 \uB098\uC628 \uAC83 \uC911 \uD558\uB098\uB294 \uB9D0\uD574\uC57C \uD55C\uB2E4");
+    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({
@@ -2870,7 +2890,7 @@ function mapRecordChecked(record, mapping, eventTime) {
         bizStep,
         disposition,
         /* 없는 쪽은 **필드를 만들지 않는다** — 빈 배열을 실으면 「없다」고 말하는 것이 된다.
-           소실(N→0)과 생성(0→N)은 표준이 인정하는 변환이고, 그때 한쪽이 아예 없는 것이 사실이다. */
+           개체로 말한 쪽과 수량으로 말한 쪽 중 하나만 쓰는 것이 정상이다. */
         ...inputEPCList.length ? { inputEPCList } : {},
         ...inputQuantityList.length ? { inputQuantityList } : {},
         ...outputEPCList.length ? { outputEPCList } : {},
@@ -3429,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);
@@ -4286,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 } : {},
@@ -6620,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;
@@ -6862,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);
@@ -6878,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() }));
@@ -8073,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 = [];
@@ -8090,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);
@@ -8116,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;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@operato/twin-kernel",
-  "version": "0.7.42",
+  "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": {