@operato/ops-contract 0.9.5 → 0.9.7

package/dist/contract.d.ts

@@ -1477,6 +1477,28 @@ export type OeeMissing =
  | 'produced-quantity'
 /** 실 생산 시간이 0 이다 — 성능률의 분모가 없다. */
  | 'actual-production-time';
+/**
+ * 설비의 소속이 어느 단인가 — 자리(작업 셀)인가 구역(라인·구역)인가.
+ *
+ * ISA-95 의 설비 계층에서 설비는 어느 단에도 있을 수 있다. 라인에 딸린 부대 설비(배기·집진·세척·
+ * 출입 설비)가 그 경우다 — 어느 작업 셀에도 안 붙는다.
+ */
+export type HomeKind = 'location' | 'area';
+/**
+ * 그 설비의 소속과 단 — **없으면 자리다.**
+ *
+ * 소비처가 저마다 `?? 'location'` 을 적지 않게 한 자리에 둔다. 이 기본값은 짐작이 아니다: 이 칸이
+ * 생기기 전의 모든 값은 자리였고(커널이 그것만 받았다) 필드 이름 자체가 `homeLocation` 이다.
+ *
+ * 소속 자체가 없으면 답하지 않는다 — 단만 있고 대상이 없는 것은 뜻이 없다.
+ */
+export declare function homeOf(e: {
+    homeLocation?: string;
+    homeLocationKind?: HomeKind;
+} | undefined): {
+    id: string;
+    kind: HomeKind;
+} | undefined;
 export interface EquipmentState extends EffectivePeriod {
     id: string;
     kind: string;
@@ -1504,6 +1526,28 @@ export interface EquipmentState extends EffectivePeriod {
      * 그래서 이동 설비가 한 번 움직이면 원래 소속을 아무도 알 수 없었다.
      */
     homeLocation?: string;
+    /**
+     * 그 소속이 **어느 단인가** — 자리(작업 셀)인가 구역(라인·구역)인가.
+     *
+     * ── 왜 열었나 (2026-09-05 실측) ────────────────────────────────────────────
+     * 미라텍 라인에 에어 샤워가 있다. 청정실 출입구이고 **제품에 손대지 않는다** — 등급도
+     * `EC-CAM-FACILITY`(부대 설비)다. 그 라인의 셋은 다 공정 셀인데 에어 샤워는 그 셀들에 들어가기
+     * **전** 출입구라 어느 셀에도 안 붙는다.
+     *
+     * 원본이 그것을 선언한다 — `homeLocationType: production-line`. 그런데 커널이 자리만 받아서 그
+     * 설비 하나가 「이 트윈에 없는 것을 가리킨다」로 남았다.
+     *
+     * ISA-95 로도 맞다: 설비 계층은 Site › Area › ProductionLine › WorkCell 이고 **설비는 어느 단에도
+     * 있을 수 있다.** 라인 배기·집진·세척처럼 라인에 딸린 설비는 흔한 모양이다.
+     *
+     * ── 셀을 지어 붙이지 않는다 ────────────────────────────────────────────────
+     * 「청정실 출입」 셀을 만들어 거기 붙이면 그 라인이 **네 공정으로 보인다.** 실제는 셋이다. 원본이
+     * 그러지 말라고 명시했고, 지어낸 자리는 화면이 실제 배치로 읽는다.
+     *
+     * 이 필드의 주석이 이미 「이 라인의 설비 가동률」이라고 적고 있었다 — 뜻은 처음부터 소속이었고
+     * 구현만 자리를 요구했다.
+     */
+    homeLocationKind?: HomeKind;
     status: string;
     taskId?: string;
     motion?: EquipmentMotion;

package/dist/contract.js

@@ -1013,6 +1013,18 @@ export function observationAt(observations, propertyId, at) {
     }
     return best;
 }
+/**
+ * 그 설비의 소속과 단 — **없으면 자리다.**
+ *
+ * 소비처가 저마다 `?? 'location'` 을 적지 않게 한 자리에 둔다. 이 기본값은 짐작이 아니다: 이 칸이
+ * 생기기 전의 모든 값은 자리였고(커널이 그것만 받았다) 필드 이름 자체가 `homeLocation` 이다.
+ *
+ * 소속 자체가 없으면 답하지 않는다 — 단만 있고 대상이 없는 것은 뜻이 없다.
+ */
+export function homeOf(e) {
+    const id = e?.homeLocation;
+    return id ? { id, kind: e?.homeLocationKind ?? 'location' } : undefined;
+}
 // ── 운영 델타(비-EPCIS) — State 채널의 나머지 절반 ──────────────────────────
 // EPCIS 이벤트는 재고/위치만 재구성 가능. tasks·equipment·orders 의 운영 상태는
 // 이 델타로 미러한다. envelope.eventType = 'task.status' | 'equipment.status' | 'order.status'.

package/dist/domain-catalog.js

@@ -164,21 +164,21 @@ export function tenseOf(r) {
 /** 관계 전체 — 지도의 선과 항목의 이웃이 여기서 나온다(화면은 이 목록을 갖지 않는다). */
 export const TWIN_RELATIONS = [
     /* 자리가 속한 구역 — **board 밖**(호스트의 `TwinArea`). 해소는 호스트가 한다. */
-    { from: 'locations', field: 'parentId', target: { kind: 'external', entity: 'space.area' }, via: 'twin.rel.area', optional: true },
+    { from: 'locations', field: 'parentId', target: { kind: 'external', entity: 'space.area' }, via: 'ops.rel.area', optional: true, tense: 'standing' },
     /* 자원이 사는 자리 */
-    { from: 'equipment', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'twin.rel.home', optional: true },
-    { from: 'persons', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'twin.rel.home', optional: true },
-    { from: 'assets', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'twin.rel.home', optional: true },
+    { from: 'equipment', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.home', optional: true, tense: 'standing' },
+    { from: 'persons', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.home', optional: true, tense: 'standing' },
+    { from: 'assets', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.home', optional: true, tense: 'standing' },
     /* 자원의 등급 — 설비만 `kind`(타입)로 가고 사람·자산은 등급 목록으로 간다. 표준의 비대칭 그대로. */
-    { from: 'persons', field: 'personnelClassIds[]', target: { kind: 'axis', axis: 'personnelClasses' }, via: 'twin.rel.class', optional: true },
-    { from: 'assets', field: 'assetClassIds[]', target: { kind: 'axis', axis: 'assetClasses' }, via: 'twin.rel.class', optional: true },
-    { from: 'equipment', field: 'kind', target: { kind: 'type', role: 'equipment' }, via: 'twin.rel.type' },
-    { from: 'locations', field: 'type', target: { kind: 'type', role: 'location' }, via: 'twin.rel.type' },
+    { from: 'persons', field: 'personnelClassIds[]', target: { kind: 'axis', axis: 'personnelClasses' }, via: 'ops.rel.class', optional: true, tense: 'standing' },
+    { from: 'assets', field: 'assetClassIds[]', target: { kind: 'axis', axis: 'assetClasses' }, via: 'ops.rel.class', optional: true, tense: 'standing' },
+    { from: 'equipment', field: 'kind', target: { kind: 'type', role: 'equipment' }, via: 'ops.rel.type', tense: 'standing' },
+    { from: 'locations', field: 'type', target: { kind: 'type', role: 'location' }, via: 'ops.rel.type', tense: 'standing' },
     /* 생산 — 레시피에서 시작해 라우트·공정·품목으로 퍼진다 */
-    { from: 'recipes', field: 'route', target: { kind: 'axis', axis: 'routes' }, via: 'twin.rel.route', optional: true },
-    { from: 'recipes', field: 'inputs[].material', target: { kind: 'axis', axis: 'materials' }, via: 'twin.rel.input' },
-    { from: 'recipes', field: 'outputs[].material', target: { kind: 'axis', axis: 'materials' }, via: 'twin.rel.output' },
-    { from: 'routes', field: 'steps[]', target: { kind: 'axis', axis: 'operations' }, via: 'twin.rel.step' },
+    { from: 'recipes', field: 'route', target: { kind: 'axis', axis: 'routes' }, via: 'ops.rel.route', optional: true, tense: 'standing' },
+    { from: 'recipes', field: 'inputs[].material', target: { kind: 'axis', axis: 'materials' }, via: 'ops.rel.input', tense: 'standing' },
+    { from: 'recipes', field: 'outputs[].material', target: { kind: 'axis', axis: 'materials' }, via: 'ops.rel.output', tense: 'standing' },
+    { from: 'routes', field: 'steps[]', target: { kind: 'axis', axis: 'operations' }, via: 'ops.rel.step', tense: 'standing' },
     /*
      * 일정·실적의 관계 — **관측 관계다.** 선언 관계는 "그렇게 만들기로 했다" 이고, 이것은 "그렇게
      * 일어났다" 다. 관계가 없으면 이 두 축은 지도에서 연결되지 않은 카드가 된다(그러면 걸어 들어갈 수 없다).
@@ -188,14 +188,24 @@ export const TWIN_RELATIONS = [
      * 것은 `productionSpec.binding` 이고 그 해소는 호스트가 한다 — 자리·구역과 같은 `external` 이다.
      * 축을 직접 가리키게 적으면 없는 필드를 가리키는 선언이 된다(계약을 보고 고쳤다).
      */
-    { from: 'orders', field: 'lines[].gtin', target: { kind: 'external', entity: 'gs1.itemRef' }, via: 'twin.rel.item', optional: true },
-    { from: 'tasks', field: 'orderId', target: { kind: 'axis', axis: 'orders' }, via: 'twin.rel.order', optional: true },
+    { from: 'orders', field: 'lines[].gtin', target: { kind: 'external', entity: 'gs1.itemRef' }, via: 'ops.rel.item', optional: true, tense: 'standing' },
+    /*
+     * ── 작업의 관계는 `tense` 를 **선언하지 않는다** ────────────────────────────
+     * 여섯 줄 모두 비어 있는 것이 판단이다. 작업의 시간축은 **그 줄의 상태**가 정한다 — 끝난 작업이
+     * 이 설비를 가리키면 지난 일이고, 아직인 작업이 가리키면 앞의 일이다. 한 선언이 둘 다이다.
+     *
+     * 여기에 `standing` 을 적으면 화면은 「이 설비에 걸린 작업 열」을 시간이 없는 사실로 묶고, **세워도
+     * 되나의 답이 정확히 뒤집힌다.** 채우고 싶은 힘이 있는 자리이므로 적어 둔다: 비어 있음이 답이다.
+     *
+     * 줄마다 다른 것은 선언이 아니라 **읽는 쪽이 상태를 보고 판정한다**(`TaskState.status`).
+     */
+    { from: 'tasks', field: 'orderId', target: { kind: 'axis', axis: 'orders' }, via: 'ops.rel.order', optional: true },
     /* 작업의 `kind` 는 그 공정의 키다(라우트의 단계 이름 그대로 — `mes-kernel` 의 공정 목록이 그 증거). */
-    { from: 'tasks', field: 'kind', target: { kind: 'axis', axis: 'operations' }, via: 'twin.rel.operation', optional: true },
-    { from: 'tasks', field: 'fromNode', target: { kind: 'axis', axis: 'locations' }, via: 'twin.rel.from', optional: true },
-    { from: 'tasks', field: 'toNode', target: { kind: 'axis', axis: 'locations' }, via: 'twin.rel.at', optional: true },
-    { from: 'tasks', field: 'resourceRef', target: { kind: 'axis', axis: 'equipment' }, via: 'twin.rel.by', optional: true },
-    { from: 'tasks', field: 'personnel[]', target: { kind: 'axis', axis: 'persons' }, via: 'twin.rel.crew', optional: true },
+    { from: 'tasks', field: 'kind', target: { kind: 'axis', axis: 'operations' }, via: 'ops.rel.operation', optional: true },
+    { from: 'tasks', field: 'fromNode', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.from', optional: true },
+    { from: 'tasks', field: 'toNode', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.at', optional: true },
+    { from: 'tasks', field: 'resourceRef', target: { kind: 'axis', axis: 'equipment' }, via: 'ops.rel.by', optional: true },
+    { from: 'tasks', field: 'personnel[]', target: { kind: 'axis', axis: 'persons' }, via: 'ops.rel.crew', optional: true },
     /*
      * 물품의 관계 (2026-08-22) — 없으면 축이 **걸어 들어갈 수 없는 목록**이 된다.
      *
@@ -205,15 +215,25 @@ export const TWIN_RELATIONS = [
      * `parent` 는 **물품 축을 자기 자신으로** 가리킨다(팔레트에 담긴 상자 — EPCIS `AggregationEvent`).
      * `carriedBy` 는 다른 축이다 — 반복사용 자산(GRAI)이 물류단위를 실어 나른다(§`FlowItem.carriedBy`).
      *
-     * 관계 이름은 **소문자 한 낱말**이다(`twin.rel.<name>`) — 기존 열여덟 개가 그 규율이고 시험이 지킨다.
+     * 관계 이름은 **소문자 한 낱말**이다(`ops.rel.<name>`) — 기존 열여덟 개가 그 규율이고 시험이 지킨다.
      *
      * 품목(`gtin`)은 오더와 **같은 규율**이다: 자재 키가 아니라 GS1 품목 참조이므로 축을 직접 가리키지
      * 않고 `external` 로 둔다. 축을 가리키게 적으면 없는 필드를 가리키는 선언이 된다.
      */
-    { from: 'items', field: 'location', target: { kind: 'axis', axis: 'locations' }, via: 'twin.rel.at' },
-    { from: 'items', field: 'parent', target: { kind: 'axis', axis: 'items' }, via: 'twin.rel.parent', optional: true },
-    { from: 'items', field: 'carriedBy', target: { kind: 'axis', axis: 'assets' }, via: 'twin.rel.asset', optional: true },
-    { from: 'items', field: 'gtin', target: { kind: 'external', entity: 'gs1.itemRef' }, via: 'twin.rel.item', optional: true },
+    /*
+     * ── 물품의 지금 자리는 세 낱말에 **안 들어간다** ───────────────────────────
+     * `location`·`parent`·`carriedBy` 는 지난 일도 앞의 일도 아니고, `standing`(시간이 없는 사실)도
+     * 아니다 — **지금 그렇고 곧 바뀐다.** 붙박인 자리(`homeLocation`)와 정반대 성질이고, 두 줄이 같은
+     * 낱말을 받으면 화면이 「이 상자는 A 에 있다」를 등급처럼 담아 둔다(캐시해도 되는 사실로 읽는다).
+     *
+     * 그래서 비워 둔다. **낱말이 하나 없다** — `current`(지금의 사실, 다시 물어야 한다)가 그 자리다.
+     * 열거를 늘리는 것은 소비처가 실제로 그 구별에 걸릴 때 하고, 그때까지 미선언으로 남긴다
+     * (짐작으로 채우면 그 뒤로는 아무도 이 물음을 다시 안 한다).
+     */
+    { from: 'items', field: 'location', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.at' },
+    { from: 'items', field: 'parent', target: { kind: 'axis', axis: 'items' }, via: 'ops.rel.parent', optional: true },
+    { from: 'items', field: 'carriedBy', target: { kind: 'axis', axis: 'assets' }, via: 'ops.rel.asset', optional: true },
+    { from: 'items', field: 'gtin', target: { kind: 'external', entity: 'gs1.itemRef' }, via: 'ops.rel.item', optional: true, tense: 'standing' },
     /*
      * 자격을 검증한 시험 — **여덟 갈래.** 자원(개체)과 등급 양쪽이 가리킨다: 표준이 그 둘 모두에 이
      * 참조를 두었기 때문이다(개체는 "이 사람이 통과했다", 등급은 "이 자격은 이 시험을 요구한다").
@@ -221,17 +241,17 @@ export const TWIN_RELATIONS = [
      * **자리(`locations`)에는 없다** — 표준이 자리를 시험 대상으로 두지 않았고 그 비대칭은 표준의
      * 판단이다(`contract.ts` 가 "우리도 자리에 넣지 않는다" 고 적었다).
      */
-    { from: 'persons', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
-    { from: 'personnelClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
-    { from: 'equipment', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
-    { from: 'equipmentClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
-    { from: 'assets', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
-    { from: 'assetClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
-    { from: 'materialDefinitions', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
-    { from: 'materialClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'twin.rel.test', optional: true },
+    { from: 'persons', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
+    { from: 'personnelClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
+    { from: 'equipment', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
+    { from: 'equipmentClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
+    { from: 'assets', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
+    { from: 'assetClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
+    { from: 'materialDefinitions', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
+    { from: 'materialClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true, tense: 'standing' },
     /* 공정이 도는 자리·자원 — 항목이 아니라 **타입**을 가리킨다 */
-    { from: 'operations', field: 'locationType', target: { kind: 'type', role: 'location' }, via: 'twin.rel.at', optional: true },
-    { from: 'operations', field: 'resourceType', target: { kind: 'type', role: 'equipment' }, via: 'twin.rel.by', optional: true }
+    { from: 'operations', field: 'locationType', target: { kind: 'type', role: 'location' }, via: 'ops.rel.at', optional: true, tense: 'standing' },
+    { from: 'operations', field: 'resourceType', target: { kind: 'type', role: 'equipment' }, via: 'ops.rel.by', optional: true, tense: 'standing' }
 ];
 /**
  * 오늘 **실제로 짝이 서는 것**만 선언한다. 그럴듯한 속성을 미리 적어 두면 화면이 빈칸을 줄줄이

package/dist-cjs/index.cjs

@@ -120,6 +120,7 @@ __export(index_exports, {
   graiUri: () => graiUri,
   gs1KeyDigitViolation: () => gs1KeyDigitViolation,
   hierarchyOf: () => hierarchyOf,
+  homeOf: () => homeOf,
   identityGroundingOf: () => identityGroundingOf,
   inWorkCalendar: () => inWorkCalendar,
   inWorkCalendarAt: () => inWorkCalendarAt,
@@ -829,6 +830,10 @@ function observationAt(observations, propertyId, at2) {
   }
   return best;
 }
+function homeOf(e) {
+  const id = e?.homeLocation;
+  return id ? { id, kind: e?.homeLocationKind ?? "location" } : void 0;
+}
 var OP_EVENT = {
   task: "task.status",
   equipment: "equipment.status",
@@ -1873,21 +1878,21 @@ function tenseOf(r) {
 }
 var TWIN_RELATIONS = [
   /* 자리가 속한 구역 — **board 밖**(호스트의 `TwinArea`). 해소는 호스트가 한다. */
-  { from: "locations", field: "parentId", target: { kind: "external", entity: "space.area" }, via: "twin.rel.area", optional: true },
+  { from: "locations", field: "parentId", target: { kind: "external", entity: "space.area" }, via: "ops.rel.area", optional: true, tense: "standing" },
   /* 자원이 사는 자리 */
-  { from: "equipment", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "twin.rel.home", optional: true },
-  { from: "persons", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "twin.rel.home", optional: true },
-  { from: "assets", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "twin.rel.home", optional: true },
+  { from: "equipment", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "ops.rel.home", optional: true, tense: "standing" },
+  { from: "persons", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "ops.rel.home", optional: true, tense: "standing" },
+  { from: "assets", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "ops.rel.home", optional: true, tense: "standing" },
   /* 자원의 등급 — 설비만 `kind`(타입)로 가고 사람·자산은 등급 목록으로 간다. 표준의 비대칭 그대로. */
-  { from: "persons", field: "personnelClassIds[]", target: { kind: "axis", axis: "personnelClasses" }, via: "twin.rel.class", optional: true },
-  { from: "assets", field: "assetClassIds[]", target: { kind: "axis", axis: "assetClasses" }, via: "twin.rel.class", optional: true },
-  { from: "equipment", field: "kind", target: { kind: "type", role: "equipment" }, via: "twin.rel.type" },
-  { from: "locations", field: "type", target: { kind: "type", role: "location" }, via: "twin.rel.type" },
+  { from: "persons", field: "personnelClassIds[]", target: { kind: "axis", axis: "personnelClasses" }, via: "ops.rel.class", optional: true, tense: "standing" },
+  { from: "assets", field: "assetClassIds[]", target: { kind: "axis", axis: "assetClasses" }, via: "ops.rel.class", optional: true, tense: "standing" },
+  { from: "equipment", field: "kind", target: { kind: "type", role: "equipment" }, via: "ops.rel.type", tense: "standing" },
+  { from: "locations", field: "type", target: { kind: "type", role: "location" }, via: "ops.rel.type", tense: "standing" },
   /* 생산 — 레시피에서 시작해 라우트·공정·품목으로 퍼진다 */
-  { from: "recipes", field: "route", target: { kind: "axis", axis: "routes" }, via: "twin.rel.route", optional: true },
-  { from: "recipes", field: "inputs[].material", target: { kind: "axis", axis: "materials" }, via: "twin.rel.input" },
-  { from: "recipes", field: "outputs[].material", target: { kind: "axis", axis: "materials" }, via: "twin.rel.output" },
-  { from: "routes", field: "steps[]", target: { kind: "axis", axis: "operations" }, via: "twin.rel.step" },
+  { from: "recipes", field: "route", target: { kind: "axis", axis: "routes" }, via: "ops.rel.route", optional: true, tense: "standing" },
+  { from: "recipes", field: "inputs[].material", target: { kind: "axis", axis: "materials" }, via: "ops.rel.input", tense: "standing" },
+  { from: "recipes", field: "outputs[].material", target: { kind: "axis", axis: "materials" }, via: "ops.rel.output", tense: "standing" },
+  { from: "routes", field: "steps[]", target: { kind: "axis", axis: "operations" }, via: "ops.rel.step", tense: "standing" },
   /*
    * 일정·실적의 관계 — **관측 관계다.** 선언 관계는 "그렇게 만들기로 했다" 이고, 이것은 "그렇게
    * 일어났다" 다. 관계가 없으면 이 두 축은 지도에서 연결되지 않은 카드가 된다(그러면 걸어 들어갈 수 없다).
@@ -1897,14 +1902,24 @@ var TWIN_RELATIONS = [
    * 것은 `productionSpec.binding` 이고 그 해소는 호스트가 한다 — 자리·구역과 같은 `external` 이다.
    * 축을 직접 가리키게 적으면 없는 필드를 가리키는 선언이 된다(계약을 보고 고쳤다).
    */
-  { from: "orders", field: "lines[].gtin", target: { kind: "external", entity: "gs1.itemRef" }, via: "twin.rel.item", optional: true },
-  { from: "tasks", field: "orderId", target: { kind: "axis", axis: "orders" }, via: "twin.rel.order", optional: true },
+  { from: "orders", field: "lines[].gtin", target: { kind: "external", entity: "gs1.itemRef" }, via: "ops.rel.item", optional: true, tense: "standing" },
+  /*
+   * ── 작업의 관계는 `tense` 를 **선언하지 않는다** ────────────────────────────
+   * 여섯 줄 모두 비어 있는 것이 판단이다. 작업의 시간축은 **그 줄의 상태**가 정한다 — 끝난 작업이
+   * 이 설비를 가리키면 지난 일이고, 아직인 작업이 가리키면 앞의 일이다. 한 선언이 둘 다이다.
+   *
+   * 여기에 `standing` 을 적으면 화면은 「이 설비에 걸린 작업 열」을 시간이 없는 사실로 묶고, **세워도
+   * 되나의 답이 정확히 뒤집힌다.** 채우고 싶은 힘이 있는 자리이므로 적어 둔다: 비어 있음이 답이다.
+   *
+   * 줄마다 다른 것은 선언이 아니라 **읽는 쪽이 상태를 보고 판정한다**(`TaskState.status`).
+   */
+  { from: "tasks", field: "orderId", target: { kind: "axis", axis: "orders" }, via: "ops.rel.order", optional: true },
   /* 작업의 `kind` 는 그 공정의 키다(라우트의 단계 이름 그대로 — `mes-kernel` 의 공정 목록이 그 증거). */
-  { from: "tasks", field: "kind", target: { kind: "axis", axis: "operations" }, via: "twin.rel.operation", optional: true },
-  { from: "tasks", field: "fromNode", target: { kind: "axis", axis: "locations" }, via: "twin.rel.from", optional: true },
-  { from: "tasks", field: "toNode", target: { kind: "axis", axis: "locations" }, via: "twin.rel.at", optional: true },
-  { from: "tasks", field: "resourceRef", target: { kind: "axis", axis: "equipment" }, via: "twin.rel.by", optional: true },
-  { from: "tasks", field: "personnel[]", target: { kind: "axis", axis: "persons" }, via: "twin.rel.crew", optional: true },
+  { from: "tasks", field: "kind", target: { kind: "axis", axis: "operations" }, via: "ops.rel.operation", optional: true },
+  { from: "tasks", field: "fromNode", target: { kind: "axis", axis: "locations" }, via: "ops.rel.from", optional: true },
+  { from: "tasks", field: "toNode", target: { kind: "axis", axis: "locations" }, via: "ops.rel.at", optional: true },
+  { from: "tasks", field: "resourceRef", target: { kind: "axis", axis: "equipment" }, via: "ops.rel.by", optional: true },
+  { from: "tasks", field: "personnel[]", target: { kind: "axis", axis: "persons" }, via: "ops.rel.crew", optional: true },
   /*
    * 물품의 관계 (2026-08-22) — 없으면 축이 **걸어 들어갈 수 없는 목록**이 된다.
    *
@@ -1914,15 +1929,25 @@ var TWIN_RELATIONS = [
    * `parent` 는 **물품 축을 자기 자신으로** 가리킨다(팔레트에 담긴 상자 — EPCIS `AggregationEvent`).
    * `carriedBy` 는 다른 축이다 — 반복사용 자산(GRAI)이 물류단위를 실어 나른다(§`FlowItem.carriedBy`).
    *
-   * 관계 이름은 **소문자 한 낱말**이다(`twin.rel.<name>`) — 기존 열여덟 개가 그 규율이고 시험이 지킨다.
+   * 관계 이름은 **소문자 한 낱말**이다(`ops.rel.<name>`) — 기존 열여덟 개가 그 규율이고 시험이 지킨다.
    *
    * 품목(`gtin`)은 오더와 **같은 규율**이다: 자재 키가 아니라 GS1 품목 참조이므로 축을 직접 가리키지
    * 않고 `external` 로 둔다. 축을 가리키게 적으면 없는 필드를 가리키는 선언이 된다.
    */
-  { from: "items", field: "location", target: { kind: "axis", axis: "locations" }, via: "twin.rel.at" },
-  { from: "items", field: "parent", target: { kind: "axis", axis: "items" }, via: "twin.rel.parent", optional: true },
-  { from: "items", field: "carriedBy", target: { kind: "axis", axis: "assets" }, via: "twin.rel.asset", optional: true },
-  { from: "items", field: "gtin", target: { kind: "external", entity: "gs1.itemRef" }, via: "twin.rel.item", optional: true },
+  /*
+   * ── 물품의 지금 자리는 세 낱말에 **안 들어간다** ───────────────────────────
+   * `location`·`parent`·`carriedBy` 는 지난 일도 앞의 일도 아니고, `standing`(시간이 없는 사실)도
+   * 아니다 — **지금 그렇고 곧 바뀐다.** 붙박인 자리(`homeLocation`)와 정반대 성질이고, 두 줄이 같은
+   * 낱말을 받으면 화면이 「이 상자는 A 에 있다」를 등급처럼 담아 둔다(캐시해도 되는 사실로 읽는다).
+   *
+   * 그래서 비워 둔다. **낱말이 하나 없다** — `current`(지금의 사실, 다시 물어야 한다)가 그 자리다.
+   * 열거를 늘리는 것은 소비처가 실제로 그 구별에 걸릴 때 하고, 그때까지 미선언으로 남긴다
+   * (짐작으로 채우면 그 뒤로는 아무도 이 물음을 다시 안 한다).
+   */
+  { from: "items", field: "location", target: { kind: "axis", axis: "locations" }, via: "ops.rel.at" },
+  { from: "items", field: "parent", target: { kind: "axis", axis: "items" }, via: "ops.rel.parent", optional: true },
+  { from: "items", field: "carriedBy", target: { kind: "axis", axis: "assets" }, via: "ops.rel.asset", optional: true },
+  { from: "items", field: "gtin", target: { kind: "external", entity: "gs1.itemRef" }, via: "ops.rel.item", optional: true, tense: "standing" },
   /*
    * 자격을 검증한 시험 — **여덟 갈래.** 자원(개체)과 등급 양쪽이 가리킨다: 표준이 그 둘 모두에 이
    * 참조를 두었기 때문이다(개체는 "이 사람이 통과했다", 등급은 "이 자격은 이 시험을 요구한다").
@@ -1930,17 +1955,17 @@ var TWIN_RELATIONS = [
    * **자리(`locations`)에는 없다** — 표준이 자리를 시험 대상으로 두지 않았고 그 비대칭은 표준의
    * 판단이다(`contract.ts` 가 "우리도 자리에 넣지 않는다" 고 적었다).
    */
-  { from: "persons", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
-  { from: "personnelClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
-  { from: "equipment", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
-  { from: "equipmentClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
-  { from: "assets", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
-  { from: "assetClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
-  { from: "materialDefinitions", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
-  { from: "materialClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "twin.rel.test", optional: true },
+  { from: "persons", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
+  { from: "personnelClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
+  { from: "equipment", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
+  { from: "equipmentClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
+  { from: "assets", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
+  { from: "assetClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
+  { from: "materialDefinitions", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
+  { from: "materialClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true, tense: "standing" },
   /* 공정이 도는 자리·자원 — 항목이 아니라 **타입**을 가리킨다 */
-  { from: "operations", field: "locationType", target: { kind: "type", role: "location" }, via: "twin.rel.at", optional: true },
-  { from: "operations", field: "resourceType", target: { kind: "type", role: "equipment" }, via: "twin.rel.by", optional: true }
+  { from: "operations", field: "locationType", target: { kind: "type", role: "location" }, via: "ops.rel.at", optional: true, tense: "standing" },
+  { from: "operations", field: "resourceType", target: { kind: "type", role: "equipment" }, via: "ops.rel.by", optional: true, tense: "standing" }
 ];
 var TWIN_PROPERTIES = [
   /* 공정 — 선언(ISO 8601 기간)과 관측(저널에서 계산한 분포)이 둘 다 있는 유일한 짝. */
@@ -4410,6 +4435,7 @@ function commandSpecGaps(specs, command) {
   graiUri,
   gs1KeyDigitViolation,
   hierarchyOf,
+  homeOf,
   identityGroundingOf,
   inWorkCalendar,
   inWorkCalendarAt,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@operato/ops-contract",
-  "version": "0.9.5",
+  "version": "0.9.7",
   "description": "Operations domain contract — the standard vocabulary that producers and readers agree on (EPCIS 2.0/GS1, ISA-95, IEC 61850/ISO 50001). Types, guards, validation. No state, no engine.",
   "type": "module",
   "main": "./dist-cjs/index.cjs",