@operato/twin-kernel 0.7.52 → 0.7.53

package/dist/mes-kernel.d.ts

@@ -70,10 +70,21 @@ export declare class MesKernel extends FlowEngine {
      * 그 트윈은 「도는데 아무 일도 안 일어나는」 모습이 된다 — 실제로 `allocateDef` 가 첫 공정의 자리를
      * 못 찾으면 조용히 `return` 했고, 오더는 영원히 배정되지 않은 채 화면에는 「running」이라 적혔다.
      *
-     * ── 좁히지 않는다 ─────────────────────────────────────────────────────────
-     * 「이 트윈이 실제로 지나는 라우트만 본다」는 예외를 한 번 검토했다가 버렸다. 근거로 삼은 「여러
-     * 트윈이 한 선언을 공유한다」가 **이 코드에 없는 이야기**였다: 호스트는 트윈마다 자기 모델에서
-     * 선언을 만든다(`productionSpecOf(model)`). 없는 사정을 상상해 검사에 구멍을 내지 않는다.
+     * ── 「지나는 것」만 본다 — 좁히지 않았던 것을 되돌렸다 (2026-08-23) ──────────
+     * 처음에는 선언된 **모든** 자재·공정을 검사했다. 근거는 「여러 트윈이 한 선언을 공유하는 사정은 이
+     * 코드에 없다 — 호스트는 트윈마다 자기 모델에서 선언을 만든다(`productionSpecOf(model)`)」였다.
+     * **그 전제가 틀렸다.** 선언을 만드는 두 번째 길이 이미 있었다: 카탈로그다. `trailer-manufacturing`
+     * 은 스스로 「자재 반입→보관→공정 변환→완제품 반출 … 양끝 야드 물류(YMS·WMS·MES)」라 말한다 —
+     * **한 선언이 사이트 전체를 덮고, 도메인마다 다른 트윈이 그 일부를 지난다.**
+     *
+     * 그래서 MES 판(여섯 노드)이 `receive`→`dock-door` · `park`→`yard-slot` · `dispatch`→`gate` 때문에
+     * **아예 열리지 않았다.** 셋 다 이 트윈이 지나지 않는 공정이다. 없는 사정을 상상하지 말라던 규율을
+     * 지키려다, **있는 사정을 못 본 채로** 검사를 넓힌 것이 잘못이었다.
+     *
+     * 좁혀도 이 가드가 지키려던 것은 그대로 남는다. 막으려던 실패는 **「오더가 영원히 배정되지 않는
+     * 것」**이고, 그것은 `allocateDef` 가 지나는 공정의 자리를 못 찾을 때만 생긴다(§`routeOps`). 지나지
+     * 않는 공정은 그 실패를 만들 수 없다. 그러니 **레시피가 쓰는 라우트의 단계**와 **그 레시피가 드나
+     * 내는 자재**만 본다 — 검사의 값은 유지되고, 거짓 실패만 사라진다.
      *
      * 모아서 한 번에 말한다 — 하나씩 실패하면 사람이 같은 기동을 열 번 반복한다.
      */

package/dist/mes-kernel.js

@@ -223,10 +223,21 @@ export class MesKernel extends FlowEngine {
      * 그 트윈은 「도는데 아무 일도 안 일어나는」 모습이 된다 — 실제로 `allocateDef` 가 첫 공정의 자리를
      * 못 찾으면 조용히 `return` 했고, 오더는 영원히 배정되지 않은 채 화면에는 「running」이라 적혔다.
      *
-     * ── 좁히지 않는다 ─────────────────────────────────────────────────────────
-     * 「이 트윈이 실제로 지나는 라우트만 본다」는 예외를 한 번 검토했다가 버렸다. 근거로 삼은 「여러
-     * 트윈이 한 선언을 공유한다」가 **이 코드에 없는 이야기**였다: 호스트는 트윈마다 자기 모델에서
-     * 선언을 만든다(`productionSpecOf(model)`). 없는 사정을 상상해 검사에 구멍을 내지 않는다.
+     * ── 「지나는 것」만 본다 — 좁히지 않았던 것을 되돌렸다 (2026-08-23) ──────────
+     * 처음에는 선언된 **모든** 자재·공정을 검사했다. 근거는 「여러 트윈이 한 선언을 공유하는 사정은 이
+     * 코드에 없다 — 호스트는 트윈마다 자기 모델에서 선언을 만든다(`productionSpecOf(model)`)」였다.
+     * **그 전제가 틀렸다.** 선언을 만드는 두 번째 길이 이미 있었다: 카탈로그다. `trailer-manufacturing`
+     * 은 스스로 「자재 반입→보관→공정 변환→완제품 반출 … 양끝 야드 물류(YMS·WMS·MES)」라 말한다 —
+     * **한 선언이 사이트 전체를 덮고, 도메인마다 다른 트윈이 그 일부를 지난다.**
+     *
+     * 그래서 MES 판(여섯 노드)이 `receive`→`dock-door` · `park`→`yard-slot` · `dispatch`→`gate` 때문에
+     * **아예 열리지 않았다.** 셋 다 이 트윈이 지나지 않는 공정이다. 없는 사정을 상상하지 말라던 규율을
+     * 지키려다, **있는 사정을 못 본 채로** 검사를 넓힌 것이 잘못이었다.
+     *
+     * 좁혀도 이 가드가 지키려던 것은 그대로 남는다. 막으려던 실패는 **「오더가 영원히 배정되지 않는
+     * 것」**이고, 그것은 `allocateDef` 가 지나는 공정의 자리를 못 찾을 때만 생긴다(§`routeOps`). 지나지
+     * 않는 공정은 그 실패를 만들 수 없다. 그러니 **레시피가 쓰는 라우트의 단계**와 **그 레시피가 드나
+     * 내는 자재**만 본다 — 검사의 값은 유지되고, 거짓 실패만 사라진다.
      *
      * 모아서 한 번에 말한다 — 하나씩 실패하면 사람이 같은 기동을 열 번 반복한다.
      */
@@ -241,12 +252,22 @@ export class MesKernel extends FlowEngine {
                 'The kernel no longer carries a built-in demo product — what is made is decided by the model.');
         }
         const have = new Set([...this.locations.values()].map(l => l.type));
+        const decl = this.productionSpec.definition;
+        /* 이 트윈이 지나는 공정 — 선언된 레시피가 쓰는 라우트의 단계들. */
+        const routeKeys = new Set(this.distinctRouteKeys());
+        const traversed = new Set((decl.routes ?? []).filter(r => routeKeys.has(r.key)).flatMap(r => r.steps ?? []));
+        /* 이 트윈이 드나내는 자재 — 그 레시피들의 입력과 산출. */
+        const handled = new Set(this.recipesDef().flatMap(r => [...(r.inputs ?? []), ...(r.outputs ?? [])].map(x => x.material)));
         const missing = [];
-        for (const m of this.productionSpec.definition.materials ?? []) {
+        for (const m of decl.materials ?? []) {
+            if (!handled.has(m.key))
+                continue;
             if (m.locationType && !have.has(m.locationType))
                 missing.push(`material '${m.key}' → '${m.locationType}'`);
         }
-        for (const op of this.productionSpec.definition.operations ?? []) {
+        for (const op of decl.operations ?? []) {
+            if (!traversed.has(op.key))
+                continue;
             if (op.locationType && !have.has(op.locationType))
                 missing.push(`operation '${op.key}' → '${op.locationType}'`);
         }

package/dist-cjs/index.cjs

@@ -7114,10 +7114,21 @@ var MesKernel = class extends FlowEngine {
    * 그 트윈은 「도는데 아무 일도 안 일어나는」 모습이 된다 — 실제로 `allocateDef` 가 첫 공정의 자리를
    * 못 찾으면 조용히 `return` 했고, 오더는 영원히 배정되지 않은 채 화면에는 「running」이라 적혔다.
    *
-   * ── 좁히지 않는다 ─────────────────────────────────────────────────────────
-   * 「이 트윈이 실제로 지나는 라우트만 본다」는 예외를 한 번 검토했다가 버렸다. 근거로 삼은 「여러
-   * 트윈이 한 선언을 공유한다」가 **이 코드에 없는 이야기**였다: 호스트는 트윈마다 자기 모델에서
-   * 선언을 만든다(`productionSpecOf(model)`). 없는 사정을 상상해 검사에 구멍을 내지 않는다.
+   * ── 「지나는 것」만 본다 — 좁히지 않았던 것을 되돌렸다 (2026-08-23) ──────────
+   * 처음에는 선언된 **모든** 자재·공정을 검사했다. 근거는 「여러 트윈이 한 선언을 공유하는 사정은 이
+   * 코드에 없다 — 호스트는 트윈마다 자기 모델에서 선언을 만든다(`productionSpecOf(model)`)」였다.
+   * **그 전제가 틀렸다.** 선언을 만드는 두 번째 길이 이미 있었다: 카탈로그다. `trailer-manufacturing`
+   * 은 스스로 「자재 반입→보관→공정 변환→완제품 반출 … 양끝 야드 물류(YMS·WMS·MES)」라 말한다 —
+   * **한 선언이 사이트 전체를 덮고, 도메인마다 다른 트윈이 그 일부를 지난다.**
+   *
+   * 그래서 MES 판(여섯 노드)이 `receive`→`dock-door` · `park`→`yard-slot` · `dispatch`→`gate` 때문에
+   * **아예 열리지 않았다.** 셋 다 이 트윈이 지나지 않는 공정이다. 없는 사정을 상상하지 말라던 규율을
+   * 지키려다, **있는 사정을 못 본 채로** 검사를 넓힌 것이 잘못이었다.
+   *
+   * 좁혀도 이 가드가 지키려던 것은 그대로 남는다. 막으려던 실패는 **「오더가 영원히 배정되지 않는
+   * 것」**이고, 그것은 `allocateDef` 가 지나는 공정의 자리를 못 찾을 때만 생긴다(§`routeOps`). 지나지
+   * 않는 공정은 그 실패를 만들 수 없다. 그러니 **레시피가 쓰는 라우트의 단계**와 **그 레시피가 드나
+   * 내는 자재**만 본다 — 검사의 값은 유지되고, 거짓 실패만 사라진다.
    *
    * 모아서 한 번에 말한다 — 하나씩 실패하면 사람이 같은 기동을 열 번 반복한다.
    */
@@ -7129,11 +7140,19 @@ var MesKernel = class extends FlowEngine {
       );
     }
     const have = new Set([...this.locations.values()].map((l) => l.type));
+    const decl = this.productionSpec.definition;
+    const routeKeys = new Set(this.distinctRouteKeys());
+    const traversed = new Set((decl.routes ?? []).filter((r) => routeKeys.has(r.key)).flatMap((r) => r.steps ?? []));
+    const handled = new Set(
+      this.recipesDef().flatMap((r) => [...r.inputs ?? [], ...r.outputs ?? []].map((x) => x.material))
+    );
     const missing = [];
-    for (const m of this.productionSpec.definition.materials ?? []) {
+    for (const m of decl.materials ?? []) {
+      if (!handled.has(m.key)) continue;
       if (m.locationType && !have.has(m.locationType)) missing.push(`material '${m.key}' \u2192 '${m.locationType}'`);
     }
-    for (const op of this.productionSpec.definition.operations ?? []) {
+    for (const op of decl.operations ?? []) {
+      if (!traversed.has(op.key)) continue;
       if (op.locationType && !have.has(op.locationType)) missing.push(`operation '${op.key}' \u2192 '${op.locationType}'`);
     }
     if (missing.length) {

package/package.json

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