@operato/twin-kernel 0.7.55 → 0.7.56

package/dist/contract.d.ts

@@ -439,9 +439,9 @@ export interface TestSpecificationCriterion {
      * 이 저장소의 규율이고(§`TestResult.result` 의 좁힘과 같은 자리), 그러면 다음 사람이 이것을
      * 「표준이 준 이름」으로 읽지 않는다.
      *
-     * 실 원본이 이 모양으로 준다는 것이 확인됐다(첫 실 연동: `criticalLimits.{minimum,maximum}`).
-     * **그것이 이 축을 정한 것은 아니다** — 판정이 필요하다는 당위가 정했고, 원본은 그것을 채울 수
-     * 있다는 사실을 확인해 준 것이다.
+     * 이 모양으로 한계를 주는 실 원본이 있다는 것도 확인했다. **그것이 이 축을 정한 것은 아니다** —
+     * 판정이 필요하다는 당위가 정했고, 원본은 그것을 채울 수 있다는 사실을 확인해 준 것이다.
+     * 어느 배포가 무엇을 주는지는 **커널이 알 일이 아니므로 여기 적지 않는다**(연동 쪽 문서의 몫이다).
      */
     limit?: {
         /** 이 값 미만이면 벗어난다. 없으면 아래쪽 한계가 없다(모르는 것이 아니라 없는 것이다). */
@@ -2070,6 +2070,18 @@ export declare const OP_EVENT: {
      * 과거를 다시 계산해도 그때 무엇을 확인했는지 알 수 없다 — 저널이 현실을 불완전하게 담는 자리였다.
      */
     readonly attentionAck: "attention.acked";
+    /**
+     * **자리에서 관측된 물리량** — 냉장실 온도·습도, 세척수 유량 같은 것(§`LocationObservation`).
+     *
+     * ── 왜 채널이 필요한가 ────────────────────────────────────────────────────
+     * `LocationState.observations` 를 상태에 두었는데 그것을 낳는 사건이 없었다. 그러면 **상태 ⊆ 이벤트**
+     * 가 깨진다: 채워도 재기동에서 사라지고, 폴드가 되살릴 수 없고, 미러가 이어받을 수도 없다. 상태에만
+     * 있는 축은 조용히 사라지는 축이다.
+     *
+     * 이름을 `energy.measured` 와 같은 결로 둔다 — 그쪽이 에너지 계량의 도착이고 이쪽이 그 일반형이다.
+     * 두 채널을 합치지 않는 이유는 에너지 쪽이 **구간에 누적되는 표본**이라 처리가 다르기 때문이다.
+     */
+    readonly observation: "location.measured";
 };
 /**
  * 에너지 트윈의 사건 — **물(物)의 계보가 아니라 스칼라의 시계열.**
@@ -2408,6 +2420,7 @@ export interface TwinModelDef {
         parallelism?: number;
         parentId?: string;
         properties?: ResourceProperty[];
+        testSpecificationIds?: TestSpecificationRefs;
     }[];
     /**
      * 설비(설비). mtbfMs/mttrMs 지정 시 확률적 고장 모델 참여(OEE Availability 손실). 미지정=고장 없음.

package/dist/contract.js

@@ -898,7 +898,19 @@ export const OP_EVENT = {
      * "확인해라"(요청)이고 이벤트는 "확인했다"(사실)다. 같은 문자열을 쓰면 저널에서 요청과 사실이
      * 구별되지 않는다.
      */
-    attentionAck: 'attention.acked'
+    attentionAck: 'attention.acked',
+    /**
+     * **자리에서 관측된 물리량** — 냉장실 온도·습도, 세척수 유량 같은 것(§`LocationObservation`).
+     *
+     * ── 왜 채널이 필요한가 ────────────────────────────────────────────────────
+     * `LocationState.observations` 를 상태에 두었는데 그것을 낳는 사건이 없었다. 그러면 **상태 ⊆ 이벤트**
+     * 가 깨진다: 채워도 재기동에서 사라지고, 폴드가 되살릴 수 없고, 미러가 이어받을 수도 없다. 상태에만
+     * 있는 축은 조용히 사라지는 축이다.
+     *
+     * 이름을 `energy.measured` 와 같은 결로 둔다 — 그쪽이 에너지 계량의 도착이고 이쪽이 그 일반형이다.
+     * 두 채널을 합치지 않는 이유는 에너지 쪽이 **구간에 누적되는 표본**이라 처리가 다르기 때문이다.
+     */
+    observation: 'location.measured'
 };
 // ── 에너지(EMS) 사건 — 네 번째 종류의 어휘 ────────────────────────────────
 /**

package/dist/epcis.d.ts

@@ -8,6 +8,58 @@ export declare const DISP: {
     readonly reserved: "urn:epcglobal:cbv:disp:reserved";
     readonly in_transit: "urn:epcglobal:cbv:disp:in_transit";
     readonly non_sellable: "urn:epcglobal:cbv:disp:non_sellable_other";
+    /**
+     * **기한이 지났다** — CBV `expired`.
+     *
+     * ── 왜 `non_sellable` 로 접지 않나 (2026-08-24) ─────────────────────────────
+     * 커널의 `non_sellable` 은 CBV 의 `non_sellable_other`, 즉 **「그 밖의 이유」**다. 기한 지남을 거기
+     * 넣으면 「기한이 지나 못 판다」와 「깨져서 못 판다」가 같은 값이 되고, 화면은 회수·폐기의 사유를
+     * 구별할 수 없다. 식품에서 그 둘은 다른 조치다.
+     *
+     * 그리고 표준에 **정확한 낱말이 있다** — 접는 것은 있는 낱말을 버리는 것이다.
+     *
+     * ── 기한 날짜와 다른 축이다 ────────────────────────────────────────────────
+     * `ItemState.expiry` 는 **날짜**이고 이것은 **상태**다. 날짜가 있으면 「지났나」는 파생이지만, 원본이
+     * 「기한 지남」을 상태로 선언하는 시스템이 있다 — 그때 이 값은 관측이다.
+     *
+     * 둘이 어긋나면(날짜는 남았는데 상태가 지남, 또는 그 반대) **어느 쪽이 맞다고 정하지 않는다** —
+     * 아직 그 판정을 세울 근거가 없다. 어긋남의 구분을 없애지 않는 것이 지금의 규율이다.
+     *
+     * ── 원문으로 확인했다 (2026-08-24) ────────────────────────────────────────
+     * 1차 출처: **CBV Standard Release 2.0, Ratified Jun 2022** §7.2.3 처분 값 표(38개). 이 객체의
+     * 다른 값들(`in_progress`·`sellable_accessible`·`reserved`·`in_transit`·`non_sellable_other`)도
+     * 그 표에 있다.
+     *
+     * **`non_sellable_expired` 를 쓰지 않는 이유**: 그 값은 CBV 1.0 의 것이고 표준이 **폐기**했다 —
+     * 「deprecated in favour of new disposition values expired, damaged, disposed, … introduced in
+     * CBV 1.1」. 폐기된 값을 쓰면 새 소비처가 읽지 못한다.
+     *
+     * 참고: GS1 어휘 등록처(`ref.gs1.org/cbv/…`)로는 확인할 수 없었다 — **없는 값에도 같은 응답**을
+     * 준다(지어낸 값의 JSON-LD 가 실재 값과 바이트까지 같았다). 그 경로를 근거로 삼지 말 것.
+     */
+    readonly expired: "urn:epcglobal:cbv:disp:expired";
+    /**
+     * **검사에 합격했다 / 불합격했다** — CBV `conformant` / `non_conformant`.
+     *
+     * 1차 출처(CBV 2.0 §7.2.3) 정의 그대로다.
+     *
+     *   conformant       Outcome of a successful/passed inspection in an inspecting or repairing step
+     *   non_conformant   Outcome of an unsuccessful/failed inspection in an inspecting or repairing step
+     *
+     * ── 왜 시험 결과 축을 자원에 더하지 않고 이것을 쓰나 (2026-08-24) ────────────
+     * 로트의 검사 판정을 담을 자리를 찾다가 `ItemState.testResults` 를 더하려 했다. 그런데 표준은 그
+     * 사실을 **이미 처분으로 말한다**: `bizStep: inspecting` 사건에 이 처분이 붙는다.
+     *
+     * 처분을 쓰면 두 가지가 공짜로 성립한다.
+     *   ① **상태 ⊆ 이벤트** — 처분은 이미 사건에서 온다. 상태에만 있는 축을 만들지 않는다
+     *   ② **운영에 곧 닿는다** — 「이 자재를 쓸 수 있나」가 처분으로 답해진다(판정을 따로 읽지 않는다)
+     *
+     * 시험의 **자세한 내용**(어느 명세로, 무엇을 재어)은 다른 물음이고, 표준은 그것을 `TestResult` 로
+     * 두며 결과가 대상을 가리킨다(`TestableObjectID`) — 대상이 결과를 들지 않는다. 그 축이 필요해지면
+     * 그때 열되, **판정 자체는 여기서 끝난다.**
+     */
+    readonly conformant: "urn:epcglobal:cbv:disp:conformant";
+    readonly non_conformant: "urn:epcglobal:cbv:disp:non_conformant";
 };
 /**
  * **자재 소비·산출의 CBV 단계** — 도메인 무관하게 코어가 쓴다.
@@ -20,6 +72,15 @@ export declare const CBV_BIZSTEP: {
     readonly consuming: "urn:epcglobal:cbv:bizstep:consuming";
     /** 새 물품이 생겨 계보가 시작된다 — ISA-95 `MaterialUse: Produced`. */
     readonly commissioning: "urn:epcglobal:cbv:bizstep:commissioning";
+    /**
+     * **검사** — CBV `inspecting`. 1차 출처(CBV 2.0) 정의: 「Process of reviewing objects to address
+     * potential physical or documentation defects」이고, 「표본과 달리 검사된 대상은 그대로 남는다」고
+     * 이어진다(즉 검사는 물건을 소비하지 않는다).
+     *
+     * 이 단계에 `DISP.conformant`/`DISP.non_conformant` 가 붙어 판정이 처분으로 남는다 — 입고검수·
+     * 공정 중 검사가 그 모양이다.
+     */
+    readonly inspecting: "urn:epcglobal:cbv:bizstep:inspecting";
 };
 export type EpcisEventType = 'ObjectEvent' | 'AggregationEvent' | 'TransactionEvent' | 'TransformationEvent';
 export type EpcisAction = 'ADD' | 'OBSERVE' | 'DELETE';

package/dist/epcis.js

@@ -16,7 +16,59 @@ export const DISP = {
     sellable: 'urn:epcglobal:cbv:disp:sellable_accessible',
     reserved: 'urn:epcglobal:cbv:disp:reserved',
     in_transit: 'urn:epcglobal:cbv:disp:in_transit',
-    non_sellable: 'urn:epcglobal:cbv:disp:non_sellable_other' // 불량/scrap
+    non_sellable: 'urn:epcglobal:cbv:disp:non_sellable_other', // 불량/scrap
+    /**
+     * **기한이 지났다** — CBV `expired`.
+     *
+     * ── 왜 `non_sellable` 로 접지 않나 (2026-08-24) ─────────────────────────────
+     * 커널의 `non_sellable` 은 CBV 의 `non_sellable_other`, 즉 **「그 밖의 이유」**다. 기한 지남을 거기
+     * 넣으면 「기한이 지나 못 판다」와 「깨져서 못 판다」가 같은 값이 되고, 화면은 회수·폐기의 사유를
+     * 구별할 수 없다. 식품에서 그 둘은 다른 조치다.
+     *
+     * 그리고 표준에 **정확한 낱말이 있다** — 접는 것은 있는 낱말을 버리는 것이다.
+     *
+     * ── 기한 날짜와 다른 축이다 ────────────────────────────────────────────────
+     * `ItemState.expiry` 는 **날짜**이고 이것은 **상태**다. 날짜가 있으면 「지났나」는 파생이지만, 원본이
+     * 「기한 지남」을 상태로 선언하는 시스템이 있다 — 그때 이 값은 관측이다.
+     *
+     * 둘이 어긋나면(날짜는 남았는데 상태가 지남, 또는 그 반대) **어느 쪽이 맞다고 정하지 않는다** —
+     * 아직 그 판정을 세울 근거가 없다. 어긋남의 구분을 없애지 않는 것이 지금의 규율이다.
+     *
+     * ── 원문으로 확인했다 (2026-08-24) ────────────────────────────────────────
+     * 1차 출처: **CBV Standard Release 2.0, Ratified Jun 2022** §7.2.3 처분 값 표(38개). 이 객체의
+     * 다른 값들(`in_progress`·`sellable_accessible`·`reserved`·`in_transit`·`non_sellable_other`)도
+     * 그 표에 있다.
+     *
+     * **`non_sellable_expired` 를 쓰지 않는 이유**: 그 값은 CBV 1.0 의 것이고 표준이 **폐기**했다 —
+     * 「deprecated in favour of new disposition values expired, damaged, disposed, … introduced in
+     * CBV 1.1」. 폐기된 값을 쓰면 새 소비처가 읽지 못한다.
+     *
+     * 참고: GS1 어휘 등록처(`ref.gs1.org/cbv/…`)로는 확인할 수 없었다 — **없는 값에도 같은 응답**을
+     * 준다(지어낸 값의 JSON-LD 가 실재 값과 바이트까지 같았다). 그 경로를 근거로 삼지 말 것.
+     */
+    expired: 'urn:epcglobal:cbv:disp:expired',
+    /**
+     * **검사에 합격했다 / 불합격했다** — CBV `conformant` / `non_conformant`.
+     *
+     * 1차 출처(CBV 2.0 §7.2.3) 정의 그대로다.
+     *
+     *   conformant       Outcome of a successful/passed inspection in an inspecting or repairing step
+     *   non_conformant   Outcome of an unsuccessful/failed inspection in an inspecting or repairing step
+     *
+     * ── 왜 시험 결과 축을 자원에 더하지 않고 이것을 쓰나 (2026-08-24) ────────────
+     * 로트의 검사 판정을 담을 자리를 찾다가 `ItemState.testResults` 를 더하려 했다. 그런데 표준은 그
+     * 사실을 **이미 처분으로 말한다**: `bizStep: inspecting` 사건에 이 처분이 붙는다.
+     *
+     * 처분을 쓰면 두 가지가 공짜로 성립한다.
+     *   ① **상태 ⊆ 이벤트** — 처분은 이미 사건에서 온다. 상태에만 있는 축을 만들지 않는다
+     *   ② **운영에 곧 닿는다** — 「이 자재를 쓸 수 있나」가 처분으로 답해진다(판정을 따로 읽지 않는다)
+     *
+     * 시험의 **자세한 내용**(어느 명세로, 무엇을 재어)은 다른 물음이고, 표준은 그것을 `TestResult` 로
+     * 두며 결과가 대상을 가리킨다(`TestableObjectID`) — 대상이 결과를 들지 않는다. 그 축이 필요해지면
+     * 그때 열되, **판정 자체는 여기서 끝난다.**
+     */
+    conformant: 'urn:epcglobal:cbv:disp:conformant',
+    non_conformant: 'urn:epcglobal:cbv:disp:non_conformant'
 };
 /**
  * **자재 소비·산출의 CBV 단계** — 도메인 무관하게 코어가 쓴다.
@@ -28,7 +80,16 @@ export const CBV_BIZSTEP = {
     /** 공정에 자재가 들어갔다 — ISA-95 `MaterialUse: Consumed`. */
     consuming: 'urn:epcglobal:cbv:bizstep:consuming',
     /** 새 물품이 생겨 계보가 시작된다 — ISA-95 `MaterialUse: Produced`. */
-    commissioning: 'urn:epcglobal:cbv:bizstep:commissioning'
+    commissioning: 'urn:epcglobal:cbv:bizstep:commissioning',
+    /**
+     * **검사** — CBV `inspecting`. 1차 출처(CBV 2.0) 정의: 「Process of reviewing objects to address
+     * potential physical or documentation defects」이고, 「표본과 달리 검사된 대상은 그대로 남는다」고
+     * 이어진다(즉 검사는 물건을 소비하지 않는다).
+     *
+     * 이 단계에 `DISP.conformant`/`DISP.non_conformant` 가 붙어 판정이 처분으로 남는다 — 입고검수·
+     * 공정 중 검사가 그 모양이다.
+     */
+    inspecting: 'urn:epcglobal:cbv:bizstep:inspecting'
 };
 // ── GS1 EPC URI 헬퍼 (표준) ────────────────────────────────────────────────
 /** SSCC (물류단위: 팔레트/화물/트레일러) — 결정적 카운터 기반. */

package/dist/flow-engine.d.ts

@@ -1,4 +1,5 @@
-import type { TestResult, ISOTime, MaterialQuantity, WorkCalendarEntry, EffectivePeriod, Effectivity, OffCalendarReason, ResourceProperty, ResourceClassDef, MaterialDefinition, Attention, TwinModelDef, CanonicalEnvelope, Command, CommandAck, EventHandler, EquipmentMotion, OeeMetrics, AssetState, GeneratorSpec, InterventionOutcome, OrderState, PersonState, ScenarioControl, ScenarioOverride, StateSnapshot, TwinKernel, Unsubscribe, LocationState, ItemState, EquipmentState, OrderStatusDelta, TaskState, TaskStatus, StructureShift, IdentityGroundingView, IdentityDeclaration } from './contract.ts';
+import type { TestResult, ISOTime, MaterialQuantity, WorkCalendarEntry, EffectivePeriod, Effectivity, OffCalendarReason, ResourceProperty, ResourceClassDef, MaterialDefinition, Attention, TwinModelDef, CanonicalEnvelope, Command, CommandAck, EventHandler, EquipmentMotion, OeeMetrics, AssetState, GeneratorSpec, InterventionOutcome, OrderState, PersonState, ScenarioControl, ScenarioOverride, StateSnapshot, TwinKernel, Unsubscribe, LocationState, ItemState, EquipmentState, OrderStatusDelta, TaskState, TaskStatus, StructureShift, IdentityGroundingView, IdentityDeclaration, TestSpecificationCriterion, LocationObservation } from './contract.ts';
+import type { ReducerCheckpoint } from './observed-reducer.ts';
 import type { EpcisEvent, BizTransactionElement } from './epcis.ts';
 import type { AllocationPolicy, SlotView } from './allocation-policy.ts';
 import type { DurationEstimator, DurationContext } from './duration-estimator.ts';
@@ -369,6 +370,10 @@ export declare function deriveAttentions(view: {
         id: string;
         capacity?: number;
         occupancy?: number;
+        /** 이 자리에 걸린 판정 기준들 — 없으면 관측을 판정하지 않는다. */
+        criteria?: TestSpecificationCriterion[];
+        /** 이 자리에서 관측된 물리량들(속성당 최신). */
+        observations?: LocationObservation[];
     }[];
     orders: {
         id: string;
@@ -560,6 +565,37 @@ export declare abstract class FlowEngine implements TwinKernel {
     protected localParams: Map<string, Map<string, string>>;
     /** 관측 구동(P0) — 이벤트를 접는 투영기와 그 사실. tick 과 섞이지 않게 명시적으로 들고 있다. */
     private observer?;
+    /**
+     * **관측 리듀서의 재개점을 꺼낸다** — 호스트가 저장해 다음 기동에서 되돌릴 수 있게.
+     *
+     * ── 무엇이 문제였나 (2026-08-24 실측) ──────────────────────────────────────
+     * 미러는 재기동마다 저널을 **0부터** 다시 집계했다. 실측으로 저널이 2,960만 줄이고, 그 때문에 기동
+     * 직후 몇 분간 상태가 비어 있었다. 계측처럼 경계 없이 자라는 흐름이 들어오면 그 몇 분이 몇십 분이
+     * 된다 — 불편이 아니라 벽이다.
+     *
+     * 재개점 자체는 오래전부터 있었다(`serialize`/`restore`). 조회 경로는 그것을 쓰는데
+     * (`replayFrom`) **라이브 경로에는 꺼낼 문이 없었다.** 그래서 호스트가 저장할 수 없었다.
+     *
+     * ── 상태 스냅샷으로는 대신할 수 없다 ──────────────────────────────────────
+     * 리듀서는 소비처가 보는 값 말고도 든다: 부모를 기다리는 담김·집계 중인 수량·담을 줄 몰라 세어 둔
+     * 사건. 상태만 되돌리고 이어 집계하면 **0부터 집계한 결과와 조용히 달라진다**(§`ReducerCheckpoint`).
+     *
+     * 관측 구동이 아니면 `undefined` — 시뮬은 리듀서를 갖지 않는다(저장할 것이 없다).
+     */
+    observedCheckpoint(): ReducerCheckpoint | undefined;
+    /**
+     * **재개점에서 관측 리듀서를 되세운다** — 저널을 0부터 다시 집계하지 않게.
+     *
+     * 리듀서가 아직 없으면 만든다: 미러는 첫 봉투가 올 때 리듀서를 만드는데(§`apply`), 되돌리기는 그보다
+     * 먼저 일어나야 한다(그러지 않으면 첫 봉투가 빈 리듀서를 만들고 되돌린 것을 덮는다).
+     *
+     * 되돌린 뒤 상태로 옮긴다 — 그러지 않으면 첫 스냅샷이 빈 상태를 보인다.
+     *
+     * **구조가 다르면 되돌리지 않는다**: 재개점은 그 모델 위에서 만들어진 것이고, 다른 공장의 재개점을
+     * 얹으면 없는 자리·설비가 생긴다. 판단은 부르는 쪽이 한다(`structureRev` 를 아는 것은 호스트다) —
+     * 여기서는 받은 것을 그대로 세운다.
+     */
+    restoreObserved(cp: ReducerCheckpoint): void;
     /**
      * 이 커널의 상태가 **관측에서 왔나** — 미러인가.
      *

package/dist/flow-engine.js

@@ -9,7 +9,7 @@
  * 통합 타입은 도메인 필드를 옵셔널로 넓혀(FlowItem.gtin?, FlowOrder.shipmentEpc? 등) 두 도메인을 담는다.
  * (roadmap Phase5 발견 → 추출. [[project_flow_single_base_vision]] FlowLocation 단일 base 방향과 정합.)
  */
-import { OP_EVENT, CMD, locationStatusOf, readBoardEquipment, readBoardLocations, readBoardAssets, classClosure, capabilityOf, requiredTestsFor, priorityRank, dueStatusOf, isOrderTerminal, effectivityAt, offCalendarAt, offCalendarReasonAt, minuteOfDayAt, activeShiftAt, subLotIdOf, itemKeyOf, identityGroundingOf } from "./contract.js";
+import { OP_EVENT, CMD, locationStatusOf, readBoardEquipment, readBoardLocations, readBoardAssets, classClosure, capabilityOf, requiredTestsFor, priorityRank, dueStatusOf, isOrderTerminal, effectivityAt, offCalendarAt, offCalendarReasonAt, minuteOfDayAt, activeShiftAt, subLotIdOf, itemKeyOf, identityGroundingOf, outsideLimit } from "./contract.js";
 import { ObservedReducer } from "./observed-reducer.js";
 import { transformationEvent, aggregationEvent, objectEvent, parseEpc, DISP, ILMD_ATTR, CBV_BIZSTEP, objectUri, bizTransactionUri, gdtiUri } from "./epcis.js";
 import { OP_PARAM } from "./domain-definition.js";
@@ -108,6 +108,56 @@ thresholds) {
         }
     }
     for (const n of view.locations) {
+        /*
+         * **관측이 한계를 벗어났다** — 판정할 수 있을 때만 낸다.
+         *
+         * ── 왜 이 자리인가 ────────────────────────────────────────────────────────
+         * 기준과 측정값을 계약에 넣어 두고 **아무도 부르지 않았다**(`outsideLimit`). 부르지 않는 판정
+         * 함수는 시험만 통과하는 코드이고, 「선언만 있는 능력은 사용자에게 거짓말이 된다」와 같은 자리다.
+         *
+         * ── 커널이 하지 않는 것 ───────────────────────────────────────────────────
+         * 표현식을 읽지 않는다. 숫자 한계가 없으면 `outsideLimit` 이 `undefined` 를 주고, 그때는 **신호를
+         * 내지 않는다** — 「판정 못 했다」를 「벗어났다」로도 「괜찮다」로도 만들지 않는다.
+         *
+         * 그 「판정 못 했다」가 조용히 사라지는 것은 다른 축이 답한다(`criterionSaysNothing` ·
+         * `testEvidenceGaps`) — 그것은 설정의 흠이고 이것은 운영의 사실이라, 한 신호에 섞지 않는다.
+         *
+         * ── 심각도를 벗어난 폭으로 가르지 않는다 ──────────────────────────────────
+         * 에너지 초과는 5%·15% 로 갈랐다(계량 오차와 구별하기 어려우므로). 여기서는 그러지 않는다:
+         * 식품 안전 한계는 **넘으면 넘은 것**이고, 「조금 넘었다」를 낮게 부르면 그 판단을 커널이 대신
+         * 하는 것이 된다. 폭은 `params` 로 함께 내고 판단은 현장이 한다.
+         */
+        for (const c of n.criteria ?? []) {
+            const propertyId = c.evaluatedPropertyId;
+            if (!propertyId)
+                continue;
+            const observed = (n.observations ?? []).find(o => o.propertyId === propertyId);
+            if (!observed)
+                continue;
+            if (outsideLimit(c, observed) !== true)
+                continue;
+            out.push({
+                /* 자리·기준마다 하나 — 같은 방의 온도와 습도가 한 신호로 뭉치지 않는다. */
+                id: `observation-out-of-limit:${n.id}:${c.id}`,
+                kind: 'observation-out-of-limit',
+                severity: 'high',
+                anchor: { locationId: n.id },
+                /* 언어중립 원시값만 — 문장은 표현계층이 kind 로 골라 렌더한다. */
+                params: {
+                    locationId: n.id,
+                    criterionId: c.id,
+                    propertyId,
+                    /* 값이 없으면 판정이 서지 않으므로 여기 오지 않는다 — 그래도 타입을 좁혀 둔다. */
+                    value: observed.value ?? '',
+                    ...(observed.uom ? { uom: observed.uom } : {}),
+                    ...(c.limit?.minimum !== undefined ? { minimum: c.limit.minimum } : {}),
+                    ...(c.limit?.maximum !== undefined ? { maximum: c.limit.maximum } : {}),
+                    /* **언제의 값인가** — 4개월 전 값으로 지금을 판정한 것인지 소비처가 알아야 한다. */
+                    effectiveTime: observed.effectiveTime,
+                    ...(observed.derived ? { derived: 'true' } : {})
+                }
+            });
+        }
         if ((n.capacity ?? 0) > 0) {
             const r = (n.occupancy ?? 0) / n.capacity;
             /* 기준은 현장이 정한다 — 없으면 기본값이고, 어느 쪽인지 함께 낸다(조용히 기본값을 진실로 두지 않는다). */
@@ -573,6 +623,47 @@ export class FlowEngine {
     localParams = new Map();
     /** 관측 구동(P0) — 이벤트를 접는 투영기와 그 사실. tick 과 섞이지 않게 명시적으로 들고 있다. */
     observer;
+    /**
+     * **관측 리듀서의 재개점을 꺼낸다** — 호스트가 저장해 다음 기동에서 되돌릴 수 있게.
+     *
+     * ── 무엇이 문제였나 (2026-08-24 실측) ──────────────────────────────────────
+     * 미러는 재기동마다 저널을 **0부터** 다시 집계했다. 실측으로 저널이 2,960만 줄이고, 그 때문에 기동
+     * 직후 몇 분간 상태가 비어 있었다. 계측처럼 경계 없이 자라는 흐름이 들어오면 그 몇 분이 몇십 분이
+     * 된다 — 불편이 아니라 벽이다.
+     *
+     * 재개점 자체는 오래전부터 있었다(`serialize`/`restore`). 조회 경로는 그것을 쓰는데
+     * (`replayFrom`) **라이브 경로에는 꺼낼 문이 없었다.** 그래서 호스트가 저장할 수 없었다.
+     *
+     * ── 상태 스냅샷으로는 대신할 수 없다 ──────────────────────────────────────
+     * 리듀서는 소비처가 보는 값 말고도 든다: 부모를 기다리는 담김·집계 중인 수량·담을 줄 몰라 세어 둔
+     * 사건. 상태만 되돌리고 이어 집계하면 **0부터 집계한 결과와 조용히 달라진다**(§`ReducerCheckpoint`).
+     *
+     * 관측 구동이 아니면 `undefined` — 시뮬은 리듀서를 갖지 않는다(저장할 것이 없다).
+     */
+    observedCheckpoint() {
+        return this.observer?.serialize();
+    }
+    /**
+     * **재개점에서 관측 리듀서를 되세운다** — 저널을 0부터 다시 집계하지 않게.
+     *
+     * 리듀서가 아직 없으면 만든다: 미러는 첫 봉투가 올 때 리듀서를 만드는데(§`apply`), 되돌리기는 그보다
+     * 먼저 일어나야 한다(그러지 않으면 첫 봉투가 빈 리듀서를 만들고 되돌린 것을 덮는다).
+     *
+     * 되돌린 뒤 상태로 옮긴다 — 그러지 않으면 첫 스냅샷이 빈 상태를 보인다.
+     *
+     * **구조가 다르면 되돌리지 않는다**: 재개점은 그 모델 위에서 만들어진 것이고, 다른 공장의 재개점을
+     * 얹으면 없는 자리·설비가 생긴다. 판단은 부르는 쪽이 한다(`structureRev` 를 아는 것은 호스트다) —
+     * 여기서는 받은 것을 그대로 세운다.
+     */
+    restoreObserved(cp) {
+        if (!this.observer) {
+            this.observer = new ObservedReducer(this.boardDef ?? { locations: [], equipment: [] });
+            this.observeMode = true;
+        }
+        this.observer.restore(cp);
+        this.observedDirty = true;
+        this.settleObserved();
+    }
     /**
      * 이 커널의 상태가 **관측에서 왔나** — 미러인가.
      *
@@ -1663,9 +1754,31 @@ export class FlowEngine {
     collectAttentions() {
         // 계산 층은 순수 함수 deriveAttentions 로 위임 — sim(여기)과 live projector 미러가 공유(face2-inbound-live §1.1).
         const now = this.now();
+        /*
+         * **자리에 걸린 기준을 여기서 푼다** — 순수 함수는 모델을 읽지 않는다(그 규율은 `attentionThresholds`
+         * 와 같다). 종류 선언(`LocationTypeDef.testSpecificationIds`) → 명세 → 기준으로 풀어 넘긴다.
+         *
+         * 선언이 없으면 빈 배열이고, 그러면 그 자리의 관측은 판정되지 않는다 — 관측은 남고 신호만 서지
+         * 않는다(「선언한 것만 제약이 된다」).
+         */
+        const specById = new Map((this.boardDef?.testSpecifications ?? []).map(sp => [sp.id, sp]));
+        const criteriaOf = new Map();
+        if (specById.size) {
+            for (const n of readBoardLocations(this.boardDef ?? {})) {
+                const ids = n.testSpecificationIds;
+                if (!ids?.length)
+                    continue;
+                const cs = ids.flatMap(id => specById.get(id)?.criteria ?? []);
+                if (cs.length)
+                    criteriaOf.set(n.id, cs);
+            }
+        }
         const out = deriveAttentions({
             equipment: [...this.equipment.values()],
-            locations: [...this.locations.values()],
+            locations: [...this.locations.values()].map(n => {
+                const criteria = criteriaOf.get(n.id);
+                return criteria?.length ? { ...n, criteria } : n;
+            }),
             orders: [...this.orders.values()],
             tasks: [...this.tasks.values()]
         }, this._acked, now, // 지연 판정의 "지금" — 관측 중이면 마지막으로 들은 시각이다(§nowMs)

package/dist/observed-reducer.d.ts

@@ -1,4 +1,4 @@
-import type { AssetState, MaterialQuantity, TwinModelDef, CanonicalEnvelope, LocationState, ItemState, EquipmentState, PersonState, TaskState, OrderState, StructureShift } from './contract.ts';
+import type { AssetState, MaterialQuantity, TwinModelDef, CanonicalEnvelope, LocationState, ItemState, LocationObservation, EquipmentState, PersonState, TaskState, OrderState, StructureShift } from './contract.ts';
 interface ProjItem {
     epc: string;
     /** 로트의 부분(표준 MaterialSubLot.ID) — 비직렬 로트가 자리마다 갈릴 때만. */
@@ -141,10 +141,17 @@ export interface ReducerCheckpoint {
         firstAtMs?: number;
         lastAtMs?: number;
     }[];
+    /** 자리별 · 속성별 마지막 관측 — 이어 접기가 이 축을 0부터 다시 만들지 않게. */
+    observations?: {
+        id: string;
+        values: LocationObservation[];
+    }[];
 }
 export declare class ObservedReducer {
     /** 로케이션 마스터 — 출처를 함께 들고 있다(마스터가 말한 자리 vs 관측으로 알게 된 자리). */
     private master;
+    /** 자리별 · 속성별 **마지막 관측** — 이력이 아니다(§`OP_EVENT.observation`). */
+    private observations;
     private items;
     private aggregation;
     /** 아직 관측되지 않은 자식의 담김 — 물품을 지어내지 않고 보류했다가 등장할 때 붙인다. */

package/dist/observed-reducer.js

@@ -41,6 +41,8 @@ function effectiveOf(r) {
 export class ObservedReducer {
     /** 로케이션 마스터 — 출처를 함께 들고 있다(마스터가 말한 자리 vs 관측으로 알게 된 자리). */
     master = new Map();
+    /** 자리별 · 속성별 **마지막 관측** — 이력이 아니다(§`OP_EVENT.observation`). */
+    observations = new Map();
     items = new Map();
     aggregation = new Map();
     /** 아직 관측되지 않은 자식의 담김 — 물품을 지어내지 않고 보류했다가 등장할 때 붙인다. */
@@ -339,6 +341,27 @@ export class ObservedReducer {
                 this.touchLocation(d.location);
                 break;
             }
+            case OP_EVENT.observation: {
+                /*
+                 * **자리의 물리 관측** — 속성마다 마지막 값 하나만 든다(§`LocationState.observations`).
+                 *
+                 * 이력을 들지 않는 이유: 상태가 **시간에 비례해 자라지 않게**. 「그때 몇 도였나」는 저널이
+                 * 답하는 물음이고, 상태가 답하는 것은 「지금 몇 도냐」다.
+                 *
+                 * 늦게 온 옛 관측이 최신을 덮지 않게 `stale` 을 지난다 — 대상 키에 속성을 넣는다(온도가 늦게
+                 * 와도 습도의 최신은 지켜져야 한다).
+                 */
+                const d = e.data;
+                if (!d?.locationId || !d?.propertyId)
+                    break;
+                if (this.stale(`observation:${d.locationId}:${d.propertyId}`, e))
+                    return;
+                this.touchLocation(d.locationId);
+                const bin = this.observations.get(d.locationId) ?? new Map();
+                bin.set(d.propertyId, { ...d });
+                this.observations.set(d.locationId, bin);
+                break;
+            }
             case OP_EVENT.attentionAck: {
                 /* 확인한 사실만 담는다 — 그 신호가 지금도 성립하는지는 상태가 답한다(여기서 판단하지 않는다). */
                 const d = e.data;
@@ -747,6 +770,8 @@ export class ObservedReducer {
      */
     serialize() {
         return {
+            /* 관측도 재개점에 든다 — 없으면 이어 접기가 그 축을 0부터 다시 만든다. */
+            observations: [...this.observations.entries()].map(([id, bin]) => ({ id, values: [...bin.values()] })),
             revision: this.revision,
             master: [...this.master.values()].map(n => ({ ...n })),
             items: [...this.items.values()].map(i => ({ ...i })),
@@ -771,6 +796,7 @@ export class ObservedReducer {
      * 모델에서 오는 판정 입력(교대·등급·시간대)은 생성자가 이미 세웠으므로 건드리지 않는다.
      */
     restore(cp) {
+        this.observations = new Map((cp?.observations ?? []).map(o => [o.id, new Map((o.values ?? []).map(v => [v.propertyId, { ...v }]))]));
         this.revision = cp?.revision ?? 0;
         this.master = new Map((cp?.master ?? []).map(n => [n.id, { ...n }]));
         this.items = new Map((cp?.items ?? []).map(i => [i.epc, { ...i }]));
@@ -807,6 +833,11 @@ export class ObservedReducer {
                     ...(n.capacity === undefined ? {} : { capacity: n.capacity }),
                     ...(n.parallelism === undefined ? {} : { parallelism: n.parallelism }),
                     ...(n.parentId ? { parentId: n.parentId } : {}),
+                    /* 관측된 물리량 — 없으면 **키를 만들지 않는다**(빈 배열은 「센서가 없다」와 「못 들었다」를 같게 만든다). */
+                    ...(() => {
+                        const bin = this.observations.get(n.id);
+                        return bin?.size ? { observations: [...bin.values()] } : {};
+                    })(),
                     origin: n.origin
                 };
             }),

package/dist-cjs/index.cjs

@@ -599,7 +599,19 @@ var OP_EVENT = {
    * "확인해라"(요청)이고 이벤트는 "확인했다"(사실)다. 같은 문자열을 쓰면 저널에서 요청과 사실이
    * 구별되지 않는다.
    */
-  attentionAck: "attention.acked"
+  attentionAck: "attention.acked",
+  /**
+   * **자리에서 관측된 물리량** — 냉장실 온도·습도, 세척수 유량 같은 것(§`LocationObservation`).
+   *
+   * ── 왜 채널이 필요한가 ────────────────────────────────────────────────────
+   * `LocationState.observations` 를 상태에 두었는데 그것을 낳는 사건이 없었다. 그러면 **상태 ⊆ 이벤트**
+   * 가 깨진다: 채워도 재기동에서 사라지고, 폴드가 되살릴 수 없고, 미러가 이어받을 수도 없다. 상태에만
+   * 있는 축은 조용히 사라지는 축이다.
+   *
+   * 이름을 `energy.measured` 와 같은 결로 둔다 — 그쪽이 에너지 계량의 도착이고 이쪽이 그 일반형이다.
+   * 두 채널을 합치지 않는 이유는 에너지 쪽이 **구간에 누적되는 표본**이라 처리가 다르기 때문이다.
+   */
+  observation: "location.measured"
 };
 var ENERGY_EVENT = {
   /** 계량 도착 — 그 시점의 유효전력·누적량. 15분 수요 구간에 누적된다. */
@@ -971,14 +983,75 @@ var DISP = {
   sellable: "urn:epcglobal:cbv:disp:sellable_accessible",
   reserved: "urn:epcglobal:cbv:disp:reserved",
   in_transit: "urn:epcglobal:cbv:disp:in_transit",
-  non_sellable: "urn:epcglobal:cbv:disp:non_sellable_other"
+  non_sellable: "urn:epcglobal:cbv:disp:non_sellable_other",
   // 불량/scrap
+  /**
+   * **기한이 지났다** — CBV `expired`.
+   *
+   * ── 왜 `non_sellable` 로 접지 않나 (2026-08-24) ─────────────────────────────
+   * 커널의 `non_sellable` 은 CBV 의 `non_sellable_other`, 즉 **「그 밖의 이유」**다. 기한 지남을 거기
+   * 넣으면 「기한이 지나 못 판다」와 「깨져서 못 판다」가 같은 값이 되고, 화면은 회수·폐기의 사유를
+   * 구별할 수 없다. 식품에서 그 둘은 다른 조치다.
+   *
+   * 그리고 표준에 **정확한 낱말이 있다** — 접는 것은 있는 낱말을 버리는 것이다.
+   *
+   * ── 기한 날짜와 다른 축이다 ────────────────────────────────────────────────
+   * `ItemState.expiry` 는 **날짜**이고 이것은 **상태**다. 날짜가 있으면 「지났나」는 파생이지만, 원본이
+   * 「기한 지남」을 상태로 선언하는 시스템이 있다 — 그때 이 값은 관측이다.
+   *
+   * 둘이 어긋나면(날짜는 남았는데 상태가 지남, 또는 그 반대) **어느 쪽이 맞다고 정하지 않는다** —
+   * 아직 그 판정을 세울 근거가 없다. 어긋남의 구분을 없애지 않는 것이 지금의 규율이다.
+   *
+   * ── 원문으로 확인했다 (2026-08-24) ────────────────────────────────────────
+   * 1차 출처: **CBV Standard Release 2.0, Ratified Jun 2022** §7.2.3 처분 값 표(38개). 이 객체의
+   * 다른 값들(`in_progress`·`sellable_accessible`·`reserved`·`in_transit`·`non_sellable_other`)도
+   * 그 표에 있다.
+   *
+   * **`non_sellable_expired` 를 쓰지 않는 이유**: 그 값은 CBV 1.0 의 것이고 표준이 **폐기**했다 —
+   * 「deprecated in favour of new disposition values expired, damaged, disposed, … introduced in
+   * CBV 1.1」. 폐기된 값을 쓰면 새 소비처가 읽지 못한다.
+   *
+   * 참고: GS1 어휘 등록처(`ref.gs1.org/cbv/…`)로는 확인할 수 없었다 — **없는 값에도 같은 응답**을
+   * 준다(지어낸 값의 JSON-LD 가 실재 값과 바이트까지 같았다). 그 경로를 근거로 삼지 말 것.
+   */
+  expired: "urn:epcglobal:cbv:disp:expired",
+  /**
+   * **검사에 합격했다 / 불합격했다** — CBV `conformant` / `non_conformant`.
+   *
+   * 1차 출처(CBV 2.0 §7.2.3) 정의 그대로다.
+   *
+   *   conformant       Outcome of a successful/passed inspection in an inspecting or repairing step
+   *   non_conformant   Outcome of an unsuccessful/failed inspection in an inspecting or repairing step
+   *
+   * ── 왜 시험 결과 축을 자원에 더하지 않고 이것을 쓰나 (2026-08-24) ────────────
+   * 로트의 검사 판정을 담을 자리를 찾다가 `ItemState.testResults` 를 더하려 했다. 그런데 표준은 그
+   * 사실을 **이미 처분으로 말한다**: `bizStep: inspecting` 사건에 이 처분이 붙는다.
+   *
+   * 처분을 쓰면 두 가지가 공짜로 성립한다.
+   *   ① **상태 ⊆ 이벤트** — 처분은 이미 사건에서 온다. 상태에만 있는 축을 만들지 않는다
+   *   ② **운영에 곧 닿는다** — 「이 자재를 쓸 수 있나」가 처분으로 답해진다(판정을 따로 읽지 않는다)
+   *
+   * 시험의 **자세한 내용**(어느 명세로, 무엇을 재어)은 다른 물음이고, 표준은 그것을 `TestResult` 로
+   * 두며 결과가 대상을 가리킨다(`TestableObjectID`) — 대상이 결과를 들지 않는다. 그 축이 필요해지면
+   * 그때 열되, **판정 자체는 여기서 끝난다.**
+   */
+  conformant: "urn:epcglobal:cbv:disp:conformant",
+  non_conformant: "urn:epcglobal:cbv:disp:non_conformant"
 };
 var CBV_BIZSTEP = {
   /** 공정에 자재가 들어갔다 — ISA-95 `MaterialUse: Consumed`. */
   consuming: "urn:epcglobal:cbv:bizstep:consuming",
   /** 새 물품이 생겨 계보가 시작된다 — ISA-95 `MaterialUse: Produced`. */
-  commissioning: "urn:epcglobal:cbv:bizstep:commissioning"
+  commissioning: "urn:epcglobal:cbv:bizstep:commissioning",
+  /**
+   * **검사** — CBV `inspecting`. 1차 출처(CBV 2.0) 정의: 「Process of reviewing objects to address
+   * potential physical or documentation defects」이고, 「표본과 달리 검사된 대상은 그대로 남는다」고
+   * 이어진다(즉 검사는 물건을 소비하지 않는다).
+   *
+   * 이 단계에 `DISP.conformant`/`DISP.non_conformant` 가 붙어 판정이 처분으로 남는다 — 입고검수·
+   * 공정 중 검사가 그 모양이다.
+   */
+  inspecting: "urn:epcglobal:cbv:bizstep:inspecting"
 };
 function ssccUri(companyPrefix, serial) {
   return `urn:epc:id:sscc:${companyPrefix}.${String(serial).padStart(10, "0")}`;
@@ -1256,6 +1329,8 @@ function effectiveOf(r) {
 var ObservedReducer = class {
   /** 로케이션 마스터 — 출처를 함께 들고 있다(마스터가 말한 자리 vs 관측으로 알게 된 자리). */
   master = /* @__PURE__ */ new Map();
+  /** 자리별 · 속성별 **마지막 관측** — 이력이 아니다(§`OP_EVENT.observation`). */
+  observations = /* @__PURE__ */ new Map();
   items = /* @__PURE__ */ new Map();
   aggregation = /* @__PURE__ */ new Map();
   /** 아직 관측되지 않은 자식의 담김 — 물품을 지어내지 않고 보류했다가 등장할 때 붙인다. */
@@ -1524,6 +1599,16 @@ var ObservedReducer = class {
         this.touchLocation(d.location);
         break;
       }
+      case OP_EVENT.observation: {
+        const d = e.data;
+        if (!d?.locationId || !d?.propertyId) break;
+        if (this.stale(`observation:${d.locationId}:${d.propertyId}`, e)) return;
+        this.touchLocation(d.locationId);
+        const bin = this.observations.get(d.locationId) ?? /* @__PURE__ */ new Map();
+        bin.set(d.propertyId, { ...d });
+        this.observations.set(d.locationId, bin);
+        break;
+      }
       case OP_EVENT.attentionAck: {
         const d = e.data;
         if (d?.id) this.acked.add(d.id);
@@ -1846,6 +1931,8 @@ var ObservedReducer = class {
    */
   serialize() {
     return {
+      /* 관측도 재개점에 든다 — 없으면 이어 접기가 그 축을 0부터 다시 만든다. */
+      observations: [...this.observations.entries()].map(([id, bin]) => ({ id, values: [...bin.values()] })),
       revision: this.revision,
       master: [...this.master.values()].map((n) => ({ ...n })),
       items: [...this.items.values()].map((i) => ({ ...i })),
@@ -1870,6 +1957,9 @@ var ObservedReducer = class {
    * 모델에서 오는 판정 입력(교대·등급·시간대)은 생성자가 이미 세웠으므로 건드리지 않는다.
    */
   restore(cp) {
+    this.observations = new Map(
+      (cp?.observations ?? []).map((o) => [o.id, new Map((o.values ?? []).map((v) => [v.propertyId, { ...v }]))])
+    );
     this.revision = cp?.revision ?? 0;
     this.master = new Map((cp?.master ?? []).map((n) => [n.id, { ...n }]));
     this.items = new Map((cp?.items ?? []).map((i) => [i.epc, { ...i }]));
@@ -1905,6 +1995,11 @@ var ObservedReducer = class {
           ...n.capacity === void 0 ? {} : { capacity: n.capacity },
           ...n.parallelism === void 0 ? {} : { parallelism: n.parallelism },
           ...n.parentId ? { parentId: n.parentId } : {},
+          /* 관측된 물리량 — 없으면 **키를 만들지 않는다**(빈 배열은 「센서가 없다」와 「못 들었다」를 같게 만든다). */
+          ...(() => {
+            const bin = this.observations.get(n.id);
+            return bin?.size ? { observations: [...bin.values()] } : {};
+          })(),
           origin: n.origin
         };
       }),
@@ -3421,6 +3516,34 @@ function deriveAttentions(view, acked, nowIso, thresholds) {
     }
   }
   for (const n of view.locations) {
+    for (const c of n.criteria ?? []) {
+      const propertyId = c.evaluatedPropertyId;
+      if (!propertyId) continue;
+      const observed = (n.observations ?? []).find((o) => o.propertyId === propertyId);
+      if (!observed) continue;
+      if (outsideLimit(c, observed) !== true) continue;
+      out.push({
+        /* 자리·기준마다 하나 — 같은 방의 온도와 습도가 한 신호로 뭉치지 않는다. */
+        id: `observation-out-of-limit:${n.id}:${c.id}`,
+        kind: "observation-out-of-limit",
+        severity: "high",
+        anchor: { locationId: n.id },
+        /* 언어중립 원시값만 — 문장은 표현계층이 kind 로 골라 렌더한다. */
+        params: {
+          locationId: n.id,
+          criterionId: c.id,
+          propertyId,
+          /* 값이 없으면 판정이 서지 않으므로 여기 오지 않는다 — 그래도 타입을 좁혀 둔다. */
+          value: observed.value ?? "",
+          ...observed.uom ? { uom: observed.uom } : {},
+          ...c.limit?.minimum !== void 0 ? { minimum: c.limit.minimum } : {},
+          ...c.limit?.maximum !== void 0 ? { maximum: c.limit.maximum } : {},
+          /* **언제의 값인가** — 4개월 전 값으로 지금을 판정한 것인지 소비처가 알아야 한다. */
+          effectiveTime: observed.effectiveTime,
+          ...observed.derived ? { derived: "true" } : {}
+        }
+      });
+    }
     if ((n.capacity ?? 0) > 0) {
       const r = (n.occupancy ?? 0) / n.capacity;
       const declaredPct = thresholds?.congestionPctOf?.(n.id);
@@ -3801,6 +3924,47 @@ var FlowEngine = class {
   localParams = /* @__PURE__ */ new Map();
   /** 관측 구동(P0) — 이벤트를 접는 투영기와 그 사실. tick 과 섞이지 않게 명시적으로 들고 있다. */
   observer;
+  /**
+   * **관측 리듀서의 재개점을 꺼낸다** — 호스트가 저장해 다음 기동에서 되돌릴 수 있게.
+   *
+   * ── 무엇이 문제였나 (2026-08-24 실측) ──────────────────────────────────────
+   * 미러는 재기동마다 저널을 **0부터** 다시 집계했다. 실측으로 저널이 2,960만 줄이고, 그 때문에 기동
+   * 직후 몇 분간 상태가 비어 있었다. 계측처럼 경계 없이 자라는 흐름이 들어오면 그 몇 분이 몇십 분이
+   * 된다 — 불편이 아니라 벽이다.
+   *
+   * 재개점 자체는 오래전부터 있었다(`serialize`/`restore`). 조회 경로는 그것을 쓰는데
+   * (`replayFrom`) **라이브 경로에는 꺼낼 문이 없었다.** 그래서 호스트가 저장할 수 없었다.
+   *
+   * ── 상태 스냅샷으로는 대신할 수 없다 ──────────────────────────────────────
+   * 리듀서는 소비처가 보는 값 말고도 든다: 부모를 기다리는 담김·집계 중인 수량·담을 줄 몰라 세어 둔
+   * 사건. 상태만 되돌리고 이어 집계하면 **0부터 집계한 결과와 조용히 달라진다**(§`ReducerCheckpoint`).
+   *
+   * 관측 구동이 아니면 `undefined` — 시뮬은 리듀서를 갖지 않는다(저장할 것이 없다).
+   */
+  observedCheckpoint() {
+    return this.observer?.serialize();
+  }
+  /**
+   * **재개점에서 관측 리듀서를 되세운다** — 저널을 0부터 다시 집계하지 않게.
+   *
+   * 리듀서가 아직 없으면 만든다: 미러는 첫 봉투가 올 때 리듀서를 만드는데(§`apply`), 되돌리기는 그보다
+   * 먼저 일어나야 한다(그러지 않으면 첫 봉투가 빈 리듀서를 만들고 되돌린 것을 덮는다).
+   *
+   * 되돌린 뒤 상태로 옮긴다 — 그러지 않으면 첫 스냅샷이 빈 상태를 보인다.
+   *
+   * **구조가 다르면 되돌리지 않는다**: 재개점은 그 모델 위에서 만들어진 것이고, 다른 공장의 재개점을
+   * 얹으면 없는 자리·설비가 생긴다. 판단은 부르는 쪽이 한다(`structureRev` 를 아는 것은 호스트다) —
+   * 여기서는 받은 것을 그대로 세운다.
+   */
+  restoreObserved(cp) {
+    if (!this.observer) {
+      this.observer = new ObservedReducer(this.boardDef ?? { locations: [], equipment: [] });
+      this.observeMode = true;
+    }
+    this.observer.restore(cp);
+    this.observedDirty = true;
+    this.settleObserved();
+  }
   /**
    * 이 커널의 상태가 **관측에서 왔나** — 미러인가.
    *
@@ -4700,10 +4864,23 @@ var FlowEngine = class {
    */
   collectAttentions() {
     const now = this.now();
+    const specById = new Map((this.boardDef?.testSpecifications ?? []).map((sp) => [sp.id, sp]));
+    const criteriaOf = /* @__PURE__ */ new Map();
+    if (specById.size) {
+      for (const n of readBoardLocations(this.boardDef ?? {})) {
+        const ids = n.testSpecificationIds;
+        if (!ids?.length) continue;
+        const cs = ids.flatMap((id) => specById.get(id)?.criteria ?? []);
+        if (cs.length) criteriaOf.set(n.id, cs);
+      }
+    }
     const out = deriveAttentions(
       {
         equipment: [...this.equipment.values()],
-        locations: [...this.locations.values()],
+        locations: [...this.locations.values()].map((n) => {
+          const criteria = criteriaOf.get(n.id);
+          return criteria?.length ? { ...n, criteria } : n;
+        }),
         orders: [...this.orders.values()],
         tasks: [...this.tasks.values()]
       },

package/package.json

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