@operato/twin-kernel 0.11.19 → 0.11.21

package/README.md

@@ -221,6 +221,6 @@ Host binding (transport, persistence, connectors) · board binding (component
 
 - [`fold-and-resume.md`](../../design/fold-and-resume.md) — folding and resume points (the wrong turns, the principles, what is implemented)
 - [`runtime-state-model.md`](../../design/runtime-state-model.md) — live = authority / history = derived, the time axis, identity
-- [`04-decisions.md`](../../design/04-decisions.md) — ADRs
+- `operato-application/adr/` — ADRs
 - `plans/simulation-spec.md` (specs, estimators, forecast standing) · `plans/four-resources-and-conformance.md` (four resources, invariants) · `plans/kernel-unification-live-observe.md` (driver unification)
 - `profiles/ems.md` — the energy profile's standard anchors

package/dist/observed-reducer.js

@@ -970,6 +970,28 @@ export class ObservedReducer {
         /* 개체 없이 수량만 오는 입고(비직렬 자재) — 표준이 허용하고 검증기도 유효로 판정한다.
          * 이 경우 클래스 식별자 자체가 물품의 키다(로트 관리 자재는 LGTIN 이라 로트별로 갈린다). */
         if (!ev.epcList?.length) {
+            /*
+             * ── 자리를 말하지 않은 수량 관측은 **앉히지 않는다** (2026-09-19, ADR-0082) ──
+             *
+             * 열쇠가 `${epcClass}@${자리}` 이므로 자리가 없으면 `@undefined` 라는 줄이 선다. 그 줄은 어느
+             * 자리의 재고도 아닌데 합에는 든다 — 실측: 자리 있는 100 + 자리 없는 40 = 140, 그리고 아무 데도
+             * 세어지지 않았다.
+             *
+             * **전수로 세어 보니 일부러 그렇게 보내는 원본이 없다** — 수량 관측을 만드는 여덟 자리(chef v1
+             * 셋 · v2 하나 · warehouse 입고 둘 · 출고 둘)가 전부 `readPoint` 를 싣고, sap-ewm · oracle-wms ·
+             * ppms · ems 는 수량 관측을 내지 않는다. 그래서 잃는 원본 없이 닫을 수 있다.
+             *
+             * 「없어졌다」(`DELETE`)는 **건드리지 않는다** — 그쪽에서 자리를 말하지 않은 것은 「그 로트가
+             * 통째로 없어졌다」는 진술이고 위에서 그 범위대로 지운다.
+             *
+             * 순서 판정(`stale`)을 지나지 않는다. 그 함수가 트윈의 「지금」을 미는 유일한 자리인데, 받아들이지
+             * 않은 사실로 시계를 움직이면 이 트윈이 「방금 들었다」고 말하면서 아무것도 앉히지 않은 것이 된다.
+             */
+            if (!loc && (ev.quantityList ?? []).some(qe => qe?.epcClass)) {
+                if (envelope)
+                    this.noteUnhandled(envelope, 'epcis.ObjectEvent:quantity-without-readpoint');
+                return;
+            }
             for (const qe of ev.quantityList ?? []) {
                 if (!qe?.epcClass)
                     continue;

package/dist-cjs/index.cjs

@@ -328,8 +328,36 @@ function outsideLimit(criterion, observed) {
     return true;
   return false;
 }
+function isTestSpecificationBasis(value) {
+  if (!value || typeof value !== "object" || Array.isArray(value))
+    return false;
+  const basis = value;
+  if (!["id", "revisionId", "planId", "contentHash", "businessTime"].every((key) => typeof basis[key] === "string" && basis[key].trim()))
+    return false;
+  if (!Number.isFinite(Date.parse(basis.businessTime)))
+    return false;
+  return Array.isArray(basis.criteria) && basis.criteria.every((c) => {
+    if (!c || typeof c !== "object" || Array.isArray(c) || typeof c.id !== "string" || !c.id.trim())
+      return false;
+    if (["description", "expression", "evaluatedPropertyId"].some((key) => c[key] !== void 0 && typeof c[key] !== "string"))
+      return false;
+    if (c.limit === void 0)
+      return true;
+    const limit = c.limit;
+    if (!limit || typeof limit !== "object" || Array.isArray(limit))
+      return false;
+    if (["minimum", "maximum"].some((key) => limit[key] !== void 0 && (typeof limit[key] !== "number" || !Number.isFinite(limit[key]))))
+      return false;
+    if (limit.uom !== void 0 && typeof limit.uom !== "string")
+      return false;
+    return !(limit.minimum !== void 0 && limit.maximum !== void 0 && limit.minimum > limit.maximum);
+  });
+}
 function judgeAgainstSpec(spec, result) {
-  const criteria = (spec?.criteria ?? []).filter((c) => !criterionSaysNothing(c));
+  const basis = result?.specificationBasis;
+  if (basis !== void 0 && !isTestSpecificationBasis(basis))
+    return void 0;
+  const criteria = (basis ? basis.criteria : spec?.criteria ?? []).filter((c) => !criterionSaysNothing(c));
   if (!criteria.length)
     return void 0;
   const measurements = result?.propertyMeasurements ?? [];
@@ -2156,8 +2184,15 @@ var SPECS = {
       expiresAt: "string",
       derived: "boolean",
       propertyMeasurements: "object[]",
+      specificationBasis: "object",
       recordTime: "string"
     },
+    shapes: {
+      specificationBasis: {
+        required: ["id", "revisionId", "planId", "contentHash", "businessTime", "criteria"],
+        fields: { id: "string", revisionId: "string", planId: "string", contentHash: "string", businessTime: "string" }
+      }
+    },
     enums: { result: ["pass", "fail"] }
   },
   /*
@@ -3227,6 +3262,10 @@ var ObservedReducer = class {
       this.items.set(itemKeyOf(seen), Number.isFinite(atSeen) ? { ...seen, seenAtMs: atSeen } : seen);
     }
     if (!ev.epcList?.length) {
+      if (!loc && (ev.quantityList ?? []).some((qe) => qe?.epcClass)) {
+        if (envelope) this.noteUnhandled(envelope, "epcis.ObjectEvent:quantity-without-readpoint");
+        return;
+      }
       for (const qe of ev.quantityList ?? []) {
         if (!qe?.epcClass) continue;
         const mine = all.filter((x) => x.epcClass === qe.epcClass);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@operato/twin-kernel",
-  "version": "0.11.19",
+  "version": "0.11.21",
   "type": "module",
   "description": "Twin Domain Kernel — framework-agnostic, zero-dep (domain + sim + 3-channel contract). WMS/YMS/MES, EPCIS 2.0 · ISA-95.",
   "publishConfig": {
@@ -28,6 +28,6 @@
     "test": "node --test test/*.test.ts"
   },
   "dependencies": {
-    "@operato/ops-contract": "^0.9.30"
+    "@operato/ops-contract": "^0.9.31"
   }
 }