@operato/ops-contract 0.9.4 → 0.9.6

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;
@@ -3172,6 +3216,38 @@ export declare const EQUIPMENT_STATUS: readonly ["busy", "setup", "down", "idle"
 export type EquipmentStatus = (typeof EQUIPMENT_STATUS)[number];
 /** 선언된 상태인가. */
 export declare function isEquipmentStatus(value: unknown): value is EquipmentStatus;
+/**
+ * **ISA-95 의 네 자원** — 「무엇이 자원인가」를 한 자리에서 말한다.
+ *
+ * ── 왜 필요한가 (MES 레인이 물음, 2026-09-05) ──────────────────────────────
+ * 계약이 네 자원을 여러 곳에서 다루는데, **넷이라고 말하는 값이 없었다.** 그래서 소비처가 저마다
+ * 손으로 든다 — 자원 하나에 걸린 것을 한자리에 보이는 화면(360)이 종류마다 무엇을 물을지 정하려면
+ * 그 목록이 필요하고, 지금은 화면마다 적게 된다.
+ *
+ * 이미 갈라지기 시작했다: `CapacityAxis`(§`capacity.ts`)가 넷을 손으로 들고 있다.
+ * `EQUIPMENT_STATUS` 가 정확히 같은 자리였다 — 계약에 있는데 소비처가 따로 선언하고 있었다.
+ *
+ * ── 왜 넷만인가 ────────────────────────────────────────────────────────────
+ * 표준이 넷이라고 말한다(ISA-95 Part 1 §5: Personnel · Equipment · Material · Physical Asset).
+ * 자리·공정·로트를 여기 섞고 싶은 힘이 있는데 — 화면이 그것들도 보여 주므로 — **섞으면 이 상수가
+ * ISA-95 를 말하지 않게 된다.** 그러면 다음 사람이 이것을 근거로 쓸 수 없다.
+ *
+ *   자리   자원을 **담는 곳**이다. 자원이 아니다
+ *   로트   자재의 **개체**다. 자재 종류와 다른 층이다
+ *   공정   자원을 **쓰는 일**이다
+ *
+ * 화면이 그 셋도 필요하면 다른 이름으로 든다. 이 목록은 「무엇이 자원인가」에만 답한다.
+ *
+ * ── `CapacityAxis` 와 다르다 ───────────────────────────────────────────────
+ * 그것은 **제약이 걸린 축**이고(무엇을 늘려야 하는가), 자리가 들어간다 — 자리가 모자라도 못 돌기
+ * 때문이다. 자재는 없다(늘린다고 지금 나오는 것이 아니다). 둘은 겹치지만 같지 않다.
+ *
+ * 합치면 한 값이 두 물음에 답하게 되고, 그러면 어느 쪽 뜻으로 읽어야 하는지 알 수 없다.
+ */
+export declare const RESOURCE_KIND: readonly ["equipment", "personnel", "material", "asset"];
+export type ResourceKind = (typeof RESOURCE_KIND)[number];
+/** 선언된 자원 종류인가. */
+export declare function isResourceKind(value: unknown): value is ResourceKind;
 /**
  * 원본의 낱말을 우리 상태로 옮긴다 — **모르면 `undefined` 다.**
  *

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'.
@@ -1276,6 +1288,39 @@ export const EQUIPMENT_STATUS = ['busy', 'setup', 'down', 'idle', 'planned-stop'
 export function isEquipmentStatus(value) {
     return typeof value === 'string' && EQUIPMENT_STATUS.includes(value);
 }
+/**
+ * **ISA-95 의 네 자원** — 「무엇이 자원인가」를 한 자리에서 말한다.
+ *
+ * ── 왜 필요한가 (MES 레인이 물음, 2026-09-05) ──────────────────────────────
+ * 계약이 네 자원을 여러 곳에서 다루는데, **넷이라고 말하는 값이 없었다.** 그래서 소비처가 저마다
+ * 손으로 든다 — 자원 하나에 걸린 것을 한자리에 보이는 화면(360)이 종류마다 무엇을 물을지 정하려면
+ * 그 목록이 필요하고, 지금은 화면마다 적게 된다.
+ *
+ * 이미 갈라지기 시작했다: `CapacityAxis`(§`capacity.ts`)가 넷을 손으로 들고 있다.
+ * `EQUIPMENT_STATUS` 가 정확히 같은 자리였다 — 계약에 있는데 소비처가 따로 선언하고 있었다.
+ *
+ * ── 왜 넷만인가 ────────────────────────────────────────────────────────────
+ * 표준이 넷이라고 말한다(ISA-95 Part 1 §5: Personnel · Equipment · Material · Physical Asset).
+ * 자리·공정·로트를 여기 섞고 싶은 힘이 있는데 — 화면이 그것들도 보여 주므로 — **섞으면 이 상수가
+ * ISA-95 를 말하지 않게 된다.** 그러면 다음 사람이 이것을 근거로 쓸 수 없다.
+ *
+ *   자리   자원을 **담는 곳**이다. 자원이 아니다
+ *   로트   자재의 **개체**다. 자재 종류와 다른 층이다
+ *   공정   자원을 **쓰는 일**이다
+ *
+ * 화면이 그 셋도 필요하면 다른 이름으로 든다. 이 목록은 「무엇이 자원인가」에만 답한다.
+ *
+ * ── `CapacityAxis` 와 다르다 ───────────────────────────────────────────────
+ * 그것은 **제약이 걸린 축**이고(무엇을 늘려야 하는가), 자리가 들어간다 — 자리가 모자라도 못 돌기
+ * 때문이다. 자재는 없다(늘린다고 지금 나오는 것이 아니다). 둘은 겹치지만 같지 않다.
+ *
+ * 합치면 한 값이 두 물음에 답하게 되고, 그러면 어느 쪽 뜻으로 읽어야 하는지 알 수 없다.
+ */
+export const RESOURCE_KIND = ['equipment', 'personnel', 'material', 'asset'];
+/** 선언된 자원 종류인가. */
+export function isResourceKind(value) {
+    return typeof value === 'string' && RESOURCE_KIND.includes(value);
+}
 /**
  * 원본의 낱말을 우리 상태로 옮긴다 — **모르면 `undefined` 다.**
  *

package/dist/domain-catalog.d.ts

@@ -170,6 +170,25 @@ export type TwinRelationTarget = {
     kind: 'external';
     entity: string;
 };
+/**
+ * **그 관계가 가리키는 것이 언제의 일인가** — 화면의 판단이 여기서 갈린다.
+ *
+ * ── 왜 필요한가 (MES 레인이 실측으로 올림, 2026-09-05) ─────────────────────
+ * 설비 하나에 걸린 것을 한자리에 보이면, 들어오는 관계라도 뜻이 갈린다.
+ *
+ *   past       이미 일어났다 — 세워도 안 바뀐다        실적 · 상태 구간
+ *   future     아직이다 — 세우면 이것이 걸린다          정비 계획 · 지시
+ *   standing   시간이 없는 사실                        등급 · 붙박인 자리 · 종류
+ *
+ * 한 묶음에 담으면 **「걸린 것이 열」인데 아홉이 지난 일인 경우와 아홉이 앞의 일인 경우가 같아
+ * 보인다.** 「이 설비를 세워도 되나」의 답이 정반대인 두 상황이다.
+ *
+ * ── 왜 `via` 로 가르면 안 되나 ──────────────────────────────────────────────
+ * `via` 는 i18n 키다. **「이것이 지난 일인가」를 말하지 않는다.** 화면이 키 이름을 보고 짐작하게
+ * 되고, 축이 하나 늘 때 한 화면만 따라간다. 읽는 곳은 제품마다여도 **무엇을 아는지는 한 벌**이어야
+ * 한다.
+ */
+export type RelationTense = 'past' | 'future' | 'standing';
 export interface TwinRelationInfo {
     /** 출발 축. */
     from: string;
@@ -183,7 +202,27 @@ export interface TwinRelationInfo {
     via: string;
     /** 없을 수 있는 참조인가. `false` 인데 비면 **끊어진 참조**로 보고한다. */
     optional?: boolean;
+    /**
+     * 언제의 일인가. **없으면 「선언이 말하지 않았다」** — `standing` 이 아니다.
+     *
+     * 기본값을 두고 싶은 힘이 있는데 두면 거짓이 된다. 예를 들어 `tasks.resourceRef → equipment` 는
+     * **그 작업이 끝났는지에 따라** 과거이기도 미래이기도 하다. 선언이 답할 수 없는 자리이고, 거기
+     * `standing` 을 씌우면 「시간이 없는 사실」이라고 잘못 말하게 된다.
+     *
+     * 그러니 말할 수 있는 관계만 말한다. 안 말한 것을 화면이 시간으로 묶으려 하면 안 된다.
+     */
+    tense?: RelationTense;
 }
+/**
+ * 그 관계가 언제의 일인가 — **모르면 `undefined`.**
+ *
+ * 소비처가 저마다 `?? 'standing'` 을 적지 않게 한 자리에 둔다. 그리고 그 기본값을 **주지 않는
+ * 것**이 이 함수의 요점이다 — 선언이 말하지 않은 것을 「시간이 없는 사실」로 바꾸면 화면이 모르는
+ * 것을 아는 척한다.
+ *
+ * 시간으로 묶는 화면은 `undefined` 인 것을 **묶지 않고 그대로 둔다.**
+ */
+export declare function tenseOf(r: Pick<TwinRelationInfo, 'tense'> | undefined): RelationTense | undefined;
 /** 관계 전체 — 지도의 선과 항목의 이웃이 여기서 나온다(화면은 이 목록을 갖지 않는다). */
 export declare const TWIN_RELATIONS: TwinRelationInfo[];
 export type TwinObservationKind = 

package/dist/domain-catalog.js

@@ -149,24 +149,36 @@ export const TWIN_AXES = [
     { axis: 'demandWindows', path: 'energy.closed', idField: 'startMs', label: 'twin.axis.demandWindows', kind: 'instance',
         source: 'state', historical: true, standardClass: {}, systems: ['ems'] }
 ];
+/**
+ * 그 관계가 언제의 일인가 — **모르면 `undefined`.**
+ *
+ * 소비처가 저마다 `?? 'standing'` 을 적지 않게 한 자리에 둔다. 그리고 그 기본값을 **주지 않는
+ * 것**이 이 함수의 요점이다 — 선언이 말하지 않은 것을 「시간이 없는 사실」로 바꾸면 화면이 모르는
+ * 것을 아는 척한다.
+ *
+ * 시간으로 묶는 화면은 `undefined` 인 것을 **묶지 않고 그대로 둔다.**
+ */
+export function tenseOf(r) {
+    return r?.tense;
+}
 /** 관계 전체 — 지도의 선과 항목의 이웃이 여기서 나온다(화면은 이 목록을 갖지 않는다). */
 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 },
     /* 자원이 사는 자리 */
-    { 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 },
+    { from: 'persons', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.home', optional: true },
+    { from: 'assets', field: 'homeLocation', target: { kind: 'axis', axis: 'locations' }, via: 'ops.rel.home', optional: true },
     /* 자원의 등급 — 설비만 `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 },
+    { from: 'assets', field: 'assetClassIds[]', target: { kind: 'axis', axis: 'assetClasses' }, via: 'ops.rel.class', optional: true },
+    { from: 'equipment', field: 'kind', target: { kind: 'type', role: 'equipment' }, via: 'ops.rel.type' },
+    { from: 'locations', field: 'type', target: { kind: 'type', role: 'location' }, via: 'ops.rel.type' },
     /* 생산 — 레시피에서 시작해 라우트·공정·품목으로 퍼진다 */
-    { 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 },
+    { from: 'recipes', field: 'inputs[].material', target: { kind: 'axis', axis: 'materials' }, via: 'ops.rel.input' },
+    { from: 'recipes', field: 'outputs[].material', target: { kind: 'axis', axis: 'materials' }, via: 'ops.rel.output' },
+    { from: 'routes', field: 'steps[]', target: { kind: 'axis', axis: 'operations' }, via: 'ops.rel.step' },
     /*
      * 일정·실적의 관계 — **관측 관계다.** 선언 관계는 "그렇게 만들기로 했다" 이고, 이것은 "그렇게
      * 일어났다" 다. 관계가 없으면 이 두 축은 지도에서 연결되지 않은 카드가 된다(그러면 걸어 들어갈 수 없다).
@@ -176,14 +188,14 @@ 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 },
+    { 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) — 없으면 축이 **걸어 들어갈 수 없는 목록**이 된다.
      *
@@ -193,15 +205,15 @@ 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 },
+    { 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 },
     /*
      * 자격을 검증한 시험 — **여덟 갈래.** 자원(개체)과 등급 양쪽이 가리킨다: 표준이 그 둘 모두에 이
      * 참조를 두었기 때문이다(개체는 "이 사람이 통과했다", 등급은 "이 자격은 이 시험을 요구한다").
@@ -209,17 +221,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 },
+    { from: 'personnelClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true },
+    { from: 'equipment', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true },
+    { from: 'equipmentClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true },
+    { from: 'assets', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true },
+    { from: 'assetClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true },
+    { from: 'materialDefinitions', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true },
+    { from: 'materialClasses', field: 'testSpecificationIds[]', target: { kind: 'axis', axis: 'testSpecifications' }, via: 'ops.rel.test', optional: true },
     /* 공정이 도는 자리·자원 — 항목이 아니라 **타입**을 가리킨다 */
-    { 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 },
+    { from: 'operations', field: 'resourceType', target: { kind: 'type', role: 'equipment' }, via: 'ops.rel.by', optional: true }
 ];
 /**
  * 오늘 **실제로 짝이 서는 것**만 선언한다. 그럴듯한 속성을 미리 적어 두면 화면이 빈칸을 줄줄이

package/dist/reliability.d.ts

@@ -42,3 +42,38 @@ export interface Mtbf {
  * 사라지고, 그러면 이 수가 실제보다 좋아진다 — 자료가 나쁠수록 수가 좋아지는 쪽은 두지 않는다.
  */
 export declare function computeMtbf(input: MtbfInput): Mtbf;
+export interface MttrInput {
+    /** 어느 설비의. */
+    equipmentId: string;
+    /** 그 설비의 상태 구간들. 순서는 상관없다 — 여기서 시각으로 세운다. */
+    periods: readonly ReliabilityPeriod[];
+}
+/** 낼 수 없는 이유 — 「0」이나 「무한」으로 답하지 않는다. */
+export type MttrMissing = 
+/** 고장이 없다 — 나눌 수가 0이다. 고칠 일이 없었던 것이지 복구가 빠른 것이 아니다. */
+'no-failure'
+/** 모르는 상태 낱말이 있다 — 조용히 빼면 고장이 사라진다. */
+ | 'unknown-status'
+/** 길이가 없거나 시각을 읽을 수 없는 구간이 있다. */
+ | 'invalid-period';
+export interface Mttr {
+    equipmentId: string;
+    /** 평균 복구 시간(ms). **낼 수 없으면 없다.** */
+    mttrMs?: number;
+    /** 분자 — `down` 구간 길이의 합. */
+    downMs: number;
+    /** 분모 — **고장으로 들어간 횟수**(이어진 `down` 은 한 번). MTBF 와 같은 수다. */
+    failures: number;
+    /** 받은 `down` 구간의 수 — `failures` 와 다르면 이어진 것이 있었다. */
+    downPeriods: number;
+    /** 옮길 수 없던 상태 낱말들 — 무엇이 왔는지 말한다. */
+    unknownStatuses: string[];
+    missing: MttrMissing[];
+}
+/**
+ * 이 설비의 MTTR.
+ *
+ * **모르는 상태를 만나면 답하지 않는다.** MTBF 와 같은 이유다 — 그 구간이 고장이었다면 빼는 순간
+ * 복구 시간이 짧아 보인다. 자료가 나쁠수록 수가 좋아지는 쪽은 두지 않는다.
+ */
+export declare function computeMttr(input: MttrInput): Mttr;

package/dist/reliability.js

@@ -1,5 +1,8 @@
 /*
- * **MTBF** — ISO 22400-2. 고장 사이에 얼마나 돌았나.
+ * **MTBF · MTTR** — ISO 22400-2. 고장 사이에 얼마나 돌았나 · 고치는 데 얼마나 걸렸나.
+ *
+ * 표준이 둘을 **짝으로** 정의한다. 한쪽만 두면 소비처가 나머지를 자기 식으로 짓고, 그러면 같은
+ * 설비가 화면마다 다른 수를 갖는다 — 이 파일이 애초에 존재하는 이유가 그것이다.
  *
  * ── 왜 구간을 받나 (집계 값이 아니라) ────────────────────────────────────────
  * `computeMtbf(가동시간, 고장횟수)` 로 두면 **「고장 횟수」를 부르는 쪽이 센다.** 그러면 세는 방법이
@@ -42,15 +45,22 @@ const at = (t) => (typeof t === 'string' ? Date.parse(t) : NaN);
  * **모르는 상태를 만나면 답하지 않는다.** 빼고 계산하면 그 구간이 고장이었을 때 고장이 조용히
  * 사라지고, 그러면 이 수가 실제보다 좋아진다 — 자료가 나쁠수록 수가 좋아지는 쪽은 두지 않는다.
  */
-export function computeMtbf(input) {
-    const { equipmentId } = input;
-    const missing = [];
+/**
+ * 구간을 한 번 훑어 두 산출식이 쓸 것을 다 센다.
+ *
+ * **두 함수가 따로 걸으면 안 된다** — 「이어진 `down` 은 한 번」 규칙이 두 곳에 살게 되고, 한 곳만
+ * 고쳐지는 날 같은 설비의 MTBF 와 MTTR 이 서로 어긋난다. 그 둘은 같은 고장 횟수로 나눈 값이므로
+ * 어긋나면 둘 중 하나가 반드시 틀렸는데, 어느 쪽인지 아무도 모른다.
+ */
+function scanPeriods(periods) {
     const unknown = new Set();
     /* 시각으로 세운다 — 받은 순서를 믿지 않는다. 이어짐 판정이 순서에 걸린다. */
-    const sorted = [...(input.periods ?? [])]
+    const sorted = [...(periods ?? [])]
         .map(p => ({ status: normalizeEquipmentStatus(p?.status), said: String(p?.status ?? ''), from: at(p?.from), to: at(p?.to) }))
         .sort((a, b) => a.from - b.from);
     let operatingMs = 0;
+    /** 고친 시간의 합 — MTTR 의 분자. */
+    let downMs = 0;
     let failures = 0;
     let downPeriods = 0;
     let invalid = false;
@@ -74,6 +84,7 @@ export function computeMtbf(input) {
         if (p.status === 'busy')
             operatingMs += p.to - p.from;
         if (p.status === 'down') {
+            downMs += p.to - p.from;
             downPeriods++;
             if (!wasDown)
                 failures++;
@@ -83,23 +94,61 @@ export function computeMtbf(input) {
             wasDown = false;
         }
     }
-    if (invalid)
+    return { operatingMs, downMs, failures, downPeriods, unknownStatuses: [...unknown], invalid };
+}
+/**
+ * 이 설비의 MTBF.
+ *
+ * **모르는 상태를 만나면 답하지 않는다.** 빼고 계산하면 그 구간이 고장이었을 때 고장이 조용히
+ * 사라지고, 그러면 이 수가 실제보다 좋아진다 — 자료가 나쁠수록 수가 좋아지는 쪽은 두지 않는다.
+ */
+export function computeMtbf(input) {
+    const s = scanPeriods(input.periods);
+    const missing = [];
+    if (s.invalid)
         missing.push('invalid-period');
-    if (unknown.size)
+    if (s.unknownStatuses.length)
         missing.push('unknown-status');
-    if (operatingMs <= 0)
+    if (s.operatingMs <= 0)
         missing.push('no-operating-time');
-    if (failures === 0)
+    if (s.failures === 0)
+        missing.push('no-failure');
+    const out = {
+        equipmentId: input.equipmentId,
+        operatingMs: s.operatingMs,
+        failures: s.failures,
+        downPeriods: s.downPeriods,
+        unknownStatuses: s.unknownStatuses,
+        missing
+    };
+    if (missing.length)
+        return out;
+    return { ...out, mtbfMs: s.operatingMs / s.failures };
+}
+/**
+ * 이 설비의 MTTR.
+ *
+ * **모르는 상태를 만나면 답하지 않는다.** MTBF 와 같은 이유다 — 그 구간이 고장이었다면 빼는 순간
+ * 복구 시간이 짧아 보인다. 자료가 나쁠수록 수가 좋아지는 쪽은 두지 않는다.
+ */
+export function computeMttr(input) {
+    const s = scanPeriods(input.periods);
+    const missing = [];
+    if (s.invalid)
+        missing.push('invalid-period');
+    if (s.unknownStatuses.length)
+        missing.push('unknown-status');
+    if (s.failures === 0)
         missing.push('no-failure');
     const out = {
-        equipmentId,
-        operatingMs,
-        failures,
-        downPeriods,
-        unknownStatuses: [...unknown],
+        equipmentId: input.equipmentId,
+        downMs: s.downMs,
+        failures: s.failures,
+        downPeriods: s.downPeriods,
+        unknownStatuses: s.unknownStatuses,
         missing
     };
     if (missing.length)
         return out;
-    return { ...out, mtbfMs: operatingMs / failures };
+    return { ...out, mttrMs: s.downMs / s.failures };
 }

package/dist-cjs/index.cjs

@@ -62,6 +62,7 @@ __export(index_exports, {
   OP_PARAM: () => OP_PARAM,
   ORDER_TERMINAL_STATUS: () => ORDER_TERMINAL_STATUS,
   PRIORITY_UNSET: () => PRIORITY_UNSET,
+  RESOURCE_KIND: () => RESOURCE_KIND,
   RETIRED_VOCABULARY: () => RETIRED_VOCABULARY,
   SCHEDULE_STATUS: () => SCHEDULE_STATUS,
   TWIN_AXES: () => TWIN_AXES,
@@ -103,6 +104,7 @@ __export(index_exports, {
   commandsOf: () => commandsOf,
   computeFirstPassYield: () => computeFirstPassYield,
   computeMtbf: () => computeMtbf,
+  computeMttr: () => computeMttr,
   computeOee: () => computeOee,
   conversionFactorOf: () => conversionFactorOf,
   criterionSaysNothing: () => criterionSaysNothing,
@@ -118,6 +120,7 @@ __export(index_exports, {
   graiUri: () => graiUri,
   gs1KeyDigitViolation: () => gs1KeyDigitViolation,
   hierarchyOf: () => hierarchyOf,
+  homeOf: () => homeOf,
   identityGroundingOf: () => identityGroundingOf,
   inWorkCalendar: () => inWorkCalendar,
   inWorkCalendarAt: () => inWorkCalendarAt,
@@ -151,6 +154,7 @@ __export(index_exports, {
   isOperationalRecord: () => isOperationalRecord,
   isOrderTerminal: () => isOrderTerminal,
   isPlannedStopStatus: () => isPlannedStopStatus,
+  isResourceKind: () => isResourceKind,
   isTransformationRecord: () => isTransformationRecord,
   isoDurationHours: () => isoDurationHours,
   itemKeyOf: () => itemKeyOf,
@@ -203,6 +207,7 @@ __export(index_exports, {
   ssccUri: () => ssccUri,
   stateFieldsOf: () => stateFieldsOf,
   subLotIdOf: () => subLotIdOf,
+  tenseOf: () => tenseOf,
   testEvidenceGaps: () => testEvidenceGaps,
   testPassedAt: () => testPassedAt,
   transactionEvent: () => transactionEvent,
@@ -825,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",
@@ -1024,6 +1033,10 @@ var EQUIPMENT_STATUS = ["busy", "setup", "down", "idle", "planned-stop"];
 function isEquipmentStatus(value) {
   return typeof value === "string" && EQUIPMENT_STATUS.includes(value);
 }
+var RESOURCE_KIND = ["equipment", "personnel", "material", "asset"];
+function isResourceKind(value) {
+  return typeof value === "string" && RESOURCE_KIND.includes(value);
+}
 function normalizeEquipmentStatus(value) {
   const said = typeof value === "string" ? value.trim().toLowerCase() : "";
   return isEquipmentStatus(said) ? said : void 0;
@@ -1860,23 +1873,26 @@ var TWIN_AXES = [
     systems: ["ems"]
   }
 ];
+function tenseOf(r) {
+  return r?.tense;
+}
 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 },
   /* 자원이 사는 자리 */
-  { 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 },
+  { from: "persons", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "ops.rel.home", optional: true },
+  { from: "assets", field: "homeLocation", target: { kind: "axis", axis: "locations" }, via: "ops.rel.home", optional: true },
   /* 자원의 등급 — 설비만 `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 },
+  { from: "assets", field: "assetClassIds[]", target: { kind: "axis", axis: "assetClasses" }, via: "ops.rel.class", optional: true },
+  { from: "equipment", field: "kind", target: { kind: "type", role: "equipment" }, via: "ops.rel.type" },
+  { from: "locations", field: "type", target: { kind: "type", role: "location" }, via: "ops.rel.type" },
   /* 생산 — 레시피에서 시작해 라우트·공정·품목으로 퍼진다 */
-  { 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 },
+  { from: "recipes", field: "inputs[].material", target: { kind: "axis", axis: "materials" }, via: "ops.rel.input" },
+  { from: "recipes", field: "outputs[].material", target: { kind: "axis", axis: "materials" }, via: "ops.rel.output" },
+  { from: "routes", field: "steps[]", target: { kind: "axis", axis: "operations" }, via: "ops.rel.step" },
   /*
    * 일정·실적의 관계 — **관측 관계다.** 선언 관계는 "그렇게 만들기로 했다" 이고, 이것은 "그렇게
    * 일어났다" 다. 관계가 없으면 이 두 축은 지도에서 연결되지 않은 카드가 된다(그러면 걸어 들어갈 수 없다).
@@ -1886,14 +1902,14 @@ 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 },
+  { 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) — 없으면 축이 **걸어 들어갈 수 없는 목록**이 된다.
    *
@@ -1903,15 +1919,15 @@ 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 },
+  { 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 },
   /*
    * 자격을 검증한 시험 — **여덟 갈래.** 자원(개체)과 등급 양쪽이 가리킨다: 표준이 그 둘 모두에 이
    * 참조를 두었기 때문이다(개체는 "이 사람이 통과했다", 등급은 "이 자격은 이 시험을 요구한다").
@@ -1919,17 +1935,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 },
+  { from: "personnelClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true },
+  { from: "equipment", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true },
+  { from: "equipmentClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true },
+  { from: "assets", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true },
+  { from: "assetClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true },
+  { from: "materialDefinitions", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true },
+  { from: "materialClasses", field: "testSpecificationIds[]", target: { kind: "axis", axis: "testSpecifications" }, via: "ops.rel.test", optional: true },
   /* 공정이 도는 자리·자원 — 항목이 아니라 **타입**을 가리킨다 */
-  { 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 },
+  { from: "operations", field: "resourceType", target: { kind: "type", role: "equipment" }, via: "ops.rel.by", optional: true }
 ];
 var TWIN_PROPERTIES = [
   /* 공정 — 선언(ISO 8601 기간)과 관측(저널에서 계산한 분포)이 둘 다 있는 유일한 짝. */
@@ -4070,12 +4086,11 @@ function rolledThroughputYield(steps) {
 
 // src/reliability.ts
 var at = (t) => typeof t === "string" ? Date.parse(t) : NaN;
-function computeMtbf(input) {
-  const { equipmentId } = input;
-  const missing = [];
+function scanPeriods(periods) {
   const unknown = /* @__PURE__ */ new Set();
-  const sorted = [...input.periods ?? []].map((p) => ({ status: normalizeEquipmentStatus(p?.status), said: String(p?.status ?? ""), from: at(p?.from), to: at(p?.to) })).sort((a, b) => a.from - b.from);
+  const sorted = [...periods ?? []].map((p) => ({ status: normalizeEquipmentStatus(p?.status), said: String(p?.status ?? ""), from: at(p?.from), to: at(p?.to) })).sort((a, b) => a.from - b.from);
   let operatingMs = 0;
+  let downMs = 0;
   let failures = 0;
   let downPeriods = 0;
   let invalid = false;
@@ -4092,6 +4107,7 @@ function computeMtbf(input) {
     }
     if (p.status === "busy") operatingMs += p.to - p.from;
     if (p.status === "down") {
+      downMs += p.to - p.from;
       downPeriods++;
       if (!wasDown) failures++;
       wasDown = true;
@@ -4099,20 +4115,42 @@ function computeMtbf(input) {
       wasDown = false;
     }
   }
-  if (invalid) missing.push("invalid-period");
-  if (unknown.size) missing.push("unknown-status");
-  if (operatingMs <= 0) missing.push("no-operating-time");
-  if (failures === 0) missing.push("no-failure");
+  return { operatingMs, downMs, failures, downPeriods, unknownStatuses: [...unknown], invalid };
+}
+function computeMtbf(input) {
+  const s = scanPeriods(input.periods);
+  const missing = [];
+  if (s.invalid) missing.push("invalid-period");
+  if (s.unknownStatuses.length) missing.push("unknown-status");
+  if (s.operatingMs <= 0) missing.push("no-operating-time");
+  if (s.failures === 0) missing.push("no-failure");
+  const out = {
+    equipmentId: input.equipmentId,
+    operatingMs: s.operatingMs,
+    failures: s.failures,
+    downPeriods: s.downPeriods,
+    unknownStatuses: s.unknownStatuses,
+    missing
+  };
+  if (missing.length) return out;
+  return { ...out, mtbfMs: s.operatingMs / s.failures };
+}
+function computeMttr(input) {
+  const s = scanPeriods(input.periods);
+  const missing = [];
+  if (s.invalid) missing.push("invalid-period");
+  if (s.unknownStatuses.length) missing.push("unknown-status");
+  if (s.failures === 0) missing.push("no-failure");
   const out = {
-    equipmentId,
-    operatingMs,
-    failures,
-    downPeriods,
-    unknownStatuses: [...unknown],
+    equipmentId: input.equipmentId,
+    downMs: s.downMs,
+    failures: s.failures,
+    downPeriods: s.downPeriods,
+    unknownStatuses: s.unknownStatuses,
     missing
   };
   if (missing.length) return out;
-  return { ...out, mtbfMs: operatingMs / failures };
+  return { ...out, mttrMs: s.downMs / s.failures };
 }
 
 // src/erp.ts
@@ -4319,6 +4357,7 @@ function commandSpecGaps(specs, command) {
   OP_PARAM,
   ORDER_TERMINAL_STATUS,
   PRIORITY_UNSET,
+  RESOURCE_KIND,
   RETIRED_VOCABULARY,
   SCHEDULE_STATUS,
   TWIN_AXES,
@@ -4360,6 +4399,7 @@ function commandSpecGaps(specs, command) {
   commandsOf,
   computeFirstPassYield,
   computeMtbf,
+  computeMttr,
   computeOee,
   conversionFactorOf,
   criterionSaysNothing,
@@ -4375,6 +4415,7 @@ function commandSpecGaps(specs, command) {
   graiUri,
   gs1KeyDigitViolation,
   hierarchyOf,
+  homeOf,
   identityGroundingOf,
   inWorkCalendar,
   inWorkCalendarAt,
@@ -4408,6 +4449,7 @@ function commandSpecGaps(specs, command) {
   isOperationalRecord,
   isOrderTerminal,
   isPlannedStopStatus,
+  isResourceKind,
   isTransformationRecord,
   isoDurationHours,
   itemKeyOf,
@@ -4460,6 +4502,7 @@ function commandSpecGaps(specs, command) {
   ssccUri,
   stateFieldsOf,
   subLotIdOf,
+  tenseOf,
   testEvidenceGaps,
   testPassedAt,
   transactionEvent,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@operato/ops-contract",
-  "version": "0.9.4",
+  "version": "0.9.6",
   "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",