@things-factory/headless-twin 10.0.15 → 10.0.18

package/server/service/twin-model/isa95-coverage.ts

@@ -55,15 +55,18 @@ export interface Isa95Concept {
    *
    * 그래서 축일 수 없는 것은 갈 곳을 가리킨다. 여기가 비어 있고 축도 없으면 그것은 **진짜 빈칸**이다.
    *
-   * ── ★ `surface` 와 짝을 맞춘다 (2026-08-24 실측으로 붙임) ─────────────────
-   * 이 칸은 「그 사실이 어느 축에 **담겨 있나**」가 아니라 「**어디서 보이나**」다. 화면이 그것을
-   * 「해당 축 항목에 표시됩니다」로 읽어 내므로, 둘이 어긋나면 표가 거짓을 말한다.
+   * ── ★ 뜻을 고쳐 적는다 (2026-08-24, 사용자 지적) ──────────────────────────
+   * 한때 이 칸을 「**어디서 보이나**」로 읽고, 화면이 그것을 「해당 축 항목에 표시됩니다」라는 문장으로
+   * 냈다. 두 가지가 잘못이었다.
    *
-   *   `surface: 'none'` 인데 여기가 차 있다   → **거짓**. 없는 화면으로 사람을 보낸다
-   *   `surface` 가 있는데 여기가 비어 있다     → **과소**. 「진짜 빈칸」으로 읽힌다(위 규칙)
+   *  ① 그 문장은 **한국어가 아니었다**(사용자 지적). 그리고 칩이 이미 갈 곳을 보이므로 **군더더기**다.
+   *  ② 뜻이 틀렸다. 이 칸은 「**어디에 속하나**」다 — 그 개념이 자기 목록을 갖지 않고 **어느 축의 안에
+   *     들어 있나**. 화면에 그려지는지는 `surface` 가 따로 답한다. 둘은 다른 물음이다.
    *
-   * 같은 날 셋을 그렇게 틀리게 넣었다: 새 개념 둘(`TestResult`·`OperationsEvent`)에 화면이 없는데
-   * 갈 곳을 적었고, `MaterialSublot` 은 물품 이름으로 보이는데 갈 곳을 비워 두었다.
+   * 그래서 **`surface` 와 짝을 맞추지 않는다.** 자기 축이 없으면 언제나 갈 곳을 적는다 — 아직 그려지지
+   * 않는 개념도 **어디에 속하는지는 사실**이고, 그것을 비우면 「어디에도 없는 것」으로 읽힌다.
+   *
+   * 여기가 비어 있고 축도 없으면 그것은 **진짜 빈칸**이다(위 규칙).
    */
   shownOn?: string[]
 }
@@ -124,7 +127,17 @@ const PART2: Isa95Concept[] = [
    * `TestSpecificationID`(로트별 기준 참조 — 품목 정의가 대신 답하므로 두지 않았다) · `Status` ·
    * `HierarchyScope` · `Version`. 채운 것만 세는 것이 이 표의 규율이다.
    */
-  { std: 'MaterialLot', part: '2', label: 'twin.isa95.MaterialLot', axis: null, structure: 'partial', behavior: 'full', surface: 'partial', note: 'twin.isa95.note.lot' },
+  /*
+   * ── 2026-08-25 — 목록이 쌓이기만 하던 것을 고쳤다 ──────────────────────────
+   * 연결된 시스템은 매 주기 현재 재고를 전부 보내는데, 트윈은 그것을 낱낱의 관측으로 받아 **더하기만
+   * 했다.** 「그리고 이것 말고는 없다」를 받는 곳이 없어서 목록에서 빠진 줄이 영원히 남았다.
+   * 실측: 실제 1,704건인데 트윈이 10,038건.
+   *
+   * 그동안 이 줄은 「기능 있음」이었다. **현재 재고를 맞게 유지하지 못하는 상태로 그렇게 적을 수
+   * 없다.** 오늘 「이 목록이 전부다」를 받는 길을 냈고(커널 0.7.63), 수량으로 온 재고도 없어질 수
+   * 있게 했다. 이제 사실이다.
+   */
+  { std: 'MaterialLot', part: '2', label: 'twin.isa95.MaterialLot', axis: 'items', structure: 'partial', behavior: 'full', surface: 'partial', note: 'twin.isa95.note.lot' },
   /*
    * ── 2026-08-24 판정 정정: `none` 이 아니었다 ──────────────────────────────
    * 이 줄은 셋 다 `none` 이었는데 **표가 코드보다 뒤처져 있었다.** 커널은 서브로트를 든다:
@@ -134,7 +147,7 @@ const PART2: Isa95Concept[] = [
    *   `itemKeyOf(item)`      **개체의 정체성이 이 값이다** — `subLotId ?? epc`
    *
    * 기능이 `full` 인 근거: 이 축이 없으면 같은 로트를 rack-1 에 100개·rack-2 에 60개 관측했을 때
-   * **뒤에 온 관측이 앞을 덮어 100개가 조용히 사라진다**(합계 160 → 60). 실제로 그 결함을 이 축으로
+   * **뒤에 온 관측이 앞을 덮어 100개가 오류 없이 사라진다**(합계 160 → 60). 실제로 그 결함을 이 축으로
    * 고쳤다. 즉 장식이 아니라 정체성을 지탱한다.
    *
    * 구조가 `partial` 인 이유: 서브로트는 로트와 같은 모양이고(위 참조) 그 로트가 `partial` 이다.
@@ -154,7 +167,7 @@ const PART2: Isa95Concept[] = [
    * 기능은 **부분**이다: 호스트의 주행 추정기가 `speed` 를 읽어 이동 시간을 만드는 것이 유일한 소비처다
    * (다른 속성은 아직 아무도 읽지 않는다). 그 사실을 `full` 로 올리면 표가 거짓이 된다.
    */
-  { std: 'Property', part: '2', label: 'twin.isa95.Property', axis: null, structure: 'full', behavior: 'partial', surface: 'full', note: 'twin.isa95.note.property' },
+  { std: 'Property', part: '2', label: 'twin.isa95.Property', axis: null, shownOn: ['equipment', 'persons', 'assets'], structure: 'full', behavior: 'partial', surface: 'full', note: 'twin.isa95.note.property' },
   /*
    * **자리의 상시 관측** — 2026-08-24 신설(커널 0.7.56). 표에 이 개념이 아예 없었다.
    *
@@ -172,12 +185,26 @@ const PART2: Isa95Concept[] = [
    * 계층이고 냉장실은 `StorageZone` 수준의 설비다. `OperationalLocationType` 에는 이 축이 없다.
    *
    * 구조가 `partial`: 봉투 전체(`ID`·`Description`·사건 분류·`OperationsRecord` 구조)가 아니라 관측
-   * 하나를 담는 데 필요한 칸만 든다.
+   * 하나를 담는 데 필요한 칸만 든다. 2026-08-25 에 지난 기록의 봉투가 사람이 적은 문장을 함께
+   * 나르게 됐지만(`CanonicalEnvelope.description`), 그것은 **기록에 남는 말**이고 이 타입의
+   * `Description` 칸이 아니다 — 상태에 담기지 않으므로 이 줄의 등급을 올리지 않는다.
    * 기능이 `full`: 사건 채널(`location.measured`)이 상태를 만들고, 선언된 기준으로 판정해
    * `observation-out-of-limit` 신호를 세운다.
    * 화면이 `none`: 클라이언트에 이 축을 그리는 곳이 없다(실측 0곳).
    */
-  { std: 'OperationsEvent', part: '2', label: 'twin.isa95.OperationsEvent', axis: null, structure: 'partial', behavior: 'full', surface: 'none' }
+  /*
+   * ── 2026-08-25 — 이 줄이 실제보다 높게 적혀 있었다 ────────────────────────
+   * 「기능 있음」으로 적어 두었다. 커널이 관측을 반영하고 기준으로 판단하는 것은 사실이었으므로
+   * 그렇게 적었는데, **연결된 시스템이 그 값을 보낼 길이 없었다** — 유입 경로가 `locationId` 를
+   * 보지 않아 「어느 사실인지 모른다」로 거부했다.
+   *
+   * **아무도 먹일 수 없는 기능은 동작하는 기능이 아니다.** 오늘 그 경로를 냈고(커널 0.7.62),
+   * 이제 「기능 있음」이 사실이다. 그때까지는 「일부」였어야 했다.
+   *
+   * 같은 부류를 오늘 세 번 만났다 — 표가 **할 수 있는 일을 못 한다고** 적은 것이 여섯 줄이었고,
+   * 이것은 반대로 **못 하는 일을 할 수 있다고** 적은 것이다. 뒤쪽이 더 위험하다.
+   */
+  { std: 'OperationsEvent', part: '2', label: 'twin.isa95.OperationsEvent', axis: null, shownOn: ['locations'], structure: 'partial', behavior: 'full', surface: 'none' }
 ]
 
 /*
@@ -199,7 +226,7 @@ const PART4: Isa95Concept[] = [
    *
    * `surface` 도 `full` 이다(같은 날 두 번째 단계): 목록·상세·관계에 더해 **과거로 다시 계산하는 길**이 화면에
    * 있다 — 시각 커서를 옮기면 그 시점의 사실이 나오고, 무엇을 근거로 답했는지도 화면이 말한다
-   * (라이브=권위 · 저널=파생 · 접은 리비전). 실측: 이른 시각 0건 · 하루 뒤 504건.
+   * (라이브=권위 · 저널=파생 · 계산한 리비전). 실측: 이른 시각 0건 · 하루 뒤 504건.
    */
   { std: 'OperationsSchedule', part: '4', label: 'twin.isa95.OperationsSchedule', axis: 'orders', structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.schedule' },
   { std: 'OperationsPerformance', part: '4', label: 'twin.isa95.OperationsPerformance', axis: 'tasks', structure: 'full', behavior: 'full', surface: 'full', note: 'twin.isa95.note.performance' },
@@ -242,7 +269,7 @@ const PART4: Isa95Concept[] = [
    *
    * 화면은 `none` 이다 — 클라이언트에 이 축을 그리는 곳이 없다(실측: `operato-twin/client` 에 0곳).
    */
-  { std: 'TestResult', part: '4', label: 'twin.isa95.TestResult', axis: null, structure: 'partial', behavior: 'partial', surface: 'none' },
+  { std: 'TestResult', part: '4', label: 'twin.isa95.TestResult', axis: null, shownOn: ['items'], structure: 'partial', behavior: 'partial', surface: 'none' },
   { std: 'WorkMaster', part: '4', label: 'twin.isa95.WorkMaster', axis: 'recipes', structure: 'full', behavior: 'full', surface: 'full' },
   { std: 'WorkDirective', part: '4', label: 'twin.isa95.WorkDirective', axis: null, structure: 'none', behavior: 'none', surface: 'none' }
 ]
@@ -254,10 +281,10 @@ export const ISA95_CONCEPTS: Isa95Concept[] = [...PART2, ...PART4]
  * 적합성 보고 — **채운 것과 빠진 것을 함께.**
  *
  * `axis` 를 커널 축 목록과 맞춰 본다: 축이 있다고 적혀 있는데 커널에 없으면 그 선언이 낡은 것이므로
- * **구조 없음으로 낮추고 그 사실을 말한다**(조용히 통과시키면 이 표가 거짓이 된다).
+ * **구조 없음으로 낮추고 그 사실을 말한다**(알리지 않고 통과시키면 이 표가 거짓이 된다).
  */
 /**
- * 선언한 축을 커널의 축 목록과 맞춘다 — **어긋난 것을 조용히 지우지 않는다.**
+ * 선언한 축을 커널의 축 목록과 맞춘다 — **어긋난 것을 알리지 않고 지우지 않는다.**
  *
  * 두 자리가 어긋날 수 있다.
  *  · `axis` — 그 개념 자신의 문. 커널에 없으면 구조를 「없음」으로 낮추고 그 사실을 말한다.

package/server/service/twin-model/item-ref.ts

@@ -1,7 +1,7 @@
 /*
  * **개체에서 품목으로** — 정체성 모양이 하나가 아니다 (2026-08-23).
  *
- * ── 무엇이 조용히 비어 있었나 ───────────────────────────────────────────────
+ * ── 무엇이 알리지 않고 비어 있었나 ───────────────────────────────────────────────
  * 화면이 「이 개체는 선언된 자재가 아닙니다(라인 내부의 중간 산물일 수 있습니다)」라고 말했는데, 그
  * 품목은 원본의 선언에 이름까지 있었다(「냉동그린빈스」). 대응 표(`productionSpec.binding`)도 멀쩡했다.
  *
@@ -11,7 +11,7 @@
  *   https://…/class/product-M0000438@M2R0001  →  null    (모르던 모양)
  *
  * 웹 URI 로 정체성을 말하는 원본에서는 언제나 `null` 이 나왔고, 그래서 **개체를 자재에 이을 수 없었다.**
- * 그 결과가 화면 두 곳에서 조용한 빈칸이었다(계보 적합성 · 오더가 무엇을 만드나). 「없으면 붙이지
+ * 그 결과가 화면 두 곳에서 들어온 것이 없는 빈칸이었다(계보 적합성 · 오더가 무엇을 만드나). 「없으면 붙이지
  * 않는다」는 규율을 지키기 때문에 아무 오류도 나지 않았다.
  *
  * ── 무엇을 돌려주나 ─────────────────────────────────────────────────────────

package/server/service/twin-model/name-index.ts

@@ -6,7 +6,7 @@
  * 두 벌을 만들면 한쪽만 고쳐지므로 한 곳에 둔다(재발명 금지).
  */
 /* 커널 런타임 로드 — 어느 축이 있는지는 카탈로그가 선언한다(이 파일은 도메인 모양을 알지 않는다). */
-const { TWIN_AXES, axisSource } = require('@operato/twin-kernel')
+const { TWIN_AXES, axisSource } = require('@operato/ops-contract')
 
 /** `productionSpec.definition.recipes` 같은 경로를 문서에서 따라간다. */
 export const at = (o: any, path: string) => path.split('.').reduce((a: any, k: string) => (a == null ? undefined : a[k]), o)
@@ -16,7 +16,7 @@ export const at = (o: any, path: string) => path.split('.').reduce((a: any, k: s
  *
  * 도메인 모양을 코드가 아는 것이 아니라 **식별자 관례**를 아는 것이다. 후보를 순서대로 보고 첫
  * 값을 쓴다. 하나도 없으면 그 항목은 가리킬 수 없으므로 `null` — 목록에서 빼지 않고 **id 없음**으로
- * 낸다(조용히 빠지면 건수가 안 맞는다).
+ * 낸다(오류 없이 빠지면 건수가 안 맞는다).
  */
 export const idOf = (o: any, info?: { idField?: string | string[] }): string | null => {
   if (typeof o === 'string') return o

package/server/service/twin-model/project-structure.ts

@@ -5,7 +5,7 @@ import { TwinArea } from '../twin-space/twin-area.js'
 import { TwinLocation } from './twin-location.js'
 import { TwinEquipment } from './twin-equipment.js'
 import { TwinOperation } from './twin-operation.js'
-import { readBoardEquipment } from '@operato/twin-kernel'
+import { readBoardEquipment } from '@operato/ops-contract'
 
 /*
  * 구조 투영 — `model`(커널 입력 문서) → **표준 엔티티 행**(ADR-0032).
@@ -26,7 +26,7 @@ export interface ProjectionReport {
   locations: number
   equipment: number
   operations: number
-  /** 자리를 못 찾아 기준 자리를 비운 설비 — **조용히 넘기지 않는다.** */
+  /** 자리를 못 찾아 기준 자리를 비운 설비 — **알리지 않고 넘기지 않는다.** */
   unresolvedHome: string[]
   /** 구역을 못 찾아 비운 자리. 구역은 model 밖(호스트 개념)이라 어긋날 수 있다. */
   unresolvedArea: string[]
@@ -48,7 +48,7 @@ export async function projectStructure(domainId: string, instanceId: string, mod
    * 실측(2026-08-18): 현장 값을 그 현장의 트윈 전부에 얹다가 한 트윈에서 투영이 터졌다. 올라온 것은
    * `SQLITE_CONSTRAINT: UNIQUE constraint failed: twin_equipment...` 뿐이라 **무엇이 잘못됐는지 아무도
    * 알 수 없었다.** 원인은 그 모델에 설비 `load-1` 이 두 번 들어 있던 것이다(id 는 트윈 안에서 유일해야
-   * 한다). 조용히 하나만 남기지 않는다 — 그것은 모델링 오류를 감추는 일이고, 어느 쪽이 맞는지 우리는
+   * 한다). 알리지 않고 하나만 남기지 않는다 — 그것은 모델링 오류를 감추는 일이고, 어느 쪽이 맞는지 우리는
    * 모른다.
    */
   const dupOf = (list: any[] | undefined, what: string): string | undefined => {
@@ -117,7 +117,7 @@ export async function projectStructure(domainId: string, instanceId: string, mod
         parallelism: l.parallelism ?? null,
         area: area ? ({ id: area.id } as any) : null,
         gs1Id: l.gs1Id ?? null,
-        /* 자리의 속성도 옮긴다 — 옮기지 않으면 계약전력·요금이 항목 패널에서 사라진다(조용한 누락). */
+        /* 자리의 속성도 옮긴다 — 옮기지 않으면 계약전력·요금이 항목 패널에서 사라진다(들어온 것이 없는 누락). */
         properties: l.properties ?? null,
         sourceRef,
         ingestedAt
@@ -149,7 +149,8 @@ export async function projectStructure(domainId: string, instanceId: string, mod
         homeLocation: home ? ({ id: home.id } as any) : null,
         mtbfMs: m.mtbfMs ?? null,
         mttrMs: m.mttrMs ?? null,
-        gs1Id: m.gs1Id ?? null,
+        /* 선언된 정체성 — 예전에는 선언에 없는 `gs1Id` 를 읽어 이 칸이 늘 비어 있었다. */
+        identity: (m as any).identity ?? null,
         sourceRef,
         ingestedAt
       } as any)
@@ -173,7 +174,7 @@ export async function projectStructure(domainId: string, instanceId: string, mod
         intent: o.intent ?? null,
         locationType: o.locationType ?? null,
         resourceType: o.resourceType ?? null,
-        /* 소요시간은 ISO 8601 문자열이 정본 — 분으로 접으면 초가 조용히 사라진다. */
+        /* 소요시간은 ISO 8601 문자열이 정본 — 분으로 줄이면 초가 오류 없이 사라진다. */
         duration: o.duration ?? null,
         variability: o.variability ?? null,
         parameters: o.parameters ?? null,

package/server/service/twin-model/twin-equipment.ts

@@ -14,7 +14,7 @@ import { TwinLocation } from './twin-location.js'
  *
  * ── 테이블 이름을 명시한다 ──────────────────────────────────────────────────
  * `equipment` 는 영어에서 **불가산**이라 자동 복수화가 다른 표들과 규칙이 어긋난다
- * (`twin_locations` 인데 `twin_equipment`). 조용한 비일관은 나중에 "왜 이것만 다르지" 를
+ * (`twin_locations` 인데 `twin_equipment`). 들어온 것이 없는 비일관은 나중에 "왜 이것만 다르지" 를
  * 만들므로 이름을 고정한다(ADR-0032-I).
  */
 @Entity({ name: 'twin_equipment' })
@@ -97,7 +97,7 @@ export class TwinEquipment {
    * 그 시험들의 **결과** — 자격이 성립하는지는 이것이 말한다.
    *
    * 참조만 있으면 "무엇으로 검증한다" 까지다. 오늘 이 저장소에서 네 번 나온 결손과 같은 부류이므로
-   * 행에 자리를 함께 만든다 — 모델에는 있는데 행에 없으면 화면이 조용히 잃는다.
+   * 행에 자리를 함께 만든다 — 모델에는 있는데 행에 없으면 화면이 알리지 않고 잃는다.
    */
   @Column({ type: 'simple-json', nullable: true })
   @Field(type => ScalarObject, { nullable: true, description: 'Results of those tests (pass/fail with dates). Declared by the source — the twin does not produce them.' })
@@ -127,9 +127,21 @@ export class TwinEquipment {
   @Field(type => Int, { nullable: true, description: 'Declared mean time to repair in ms.' })
   mttrMs?: number
 
+  /*
+   * ── **선언된 설비 정체성** (2026-08-30) ───────────────────────────────────
+   *
+   * 예전 이름은 `gs1Id` 였고, 투영이 선언의 `m.gs1Id` 를 읽었다. **그런 필드가 선언에 없다** — 그래서
+   * 이 칸은 일곱 대 모두 영원히 비어 있었다. 자리는 있고 길이 없었다.
+   *
+   * 그 사이 커널에 `TwinModelDef.equipment[].identity` 를 열었으므로 어휘가 두 벌이 됐다. 하나로
+   * 합친다. 이름을 `identity` 로 두는 이유는 **GS1 키가 아닌 정체성이 정상**이기 때문이다 —
+   * 실측한 값은 인버터의 하드웨어 식별자(`ES100000007d8d061d-1`)이고 GS1 키가 아니다.
+   *
+   * 자리(`twin_location`)의 `gs1Id` 는 그대로 둔다. 그쪽은 실제로 SGLN 이 온다.
+   */
   @Column({ nullable: true })
-  @Field({ nullable: true, description: 'GS1 identifier supplied by the source (e.g. GIAI).' })
-  gs1Id?: string
+  @Field({ nullable: true, description: 'Declared global identity of this equipment (TwinModelDef.equipment[].identity). Not necessarily a GS1 key.' })
+  identity?: string
 
   /* ── 캐시라는 사실을 구조로 (ADR-0032-D) ── */
   @Column()

package/server/service/twin-model/twin-lineage-query.ts

@@ -52,11 +52,22 @@ export class TwinLineageQuery {
      * 변환 이벤트만 읽는다. **최신부터** 읽는다 — 계보를 묻는 개체는 대개 최근에 만들어진 것이고,
      * 창을 넘겨 잘릴 때 잃는 쪽이 오래된 것이어야 덜 아프다.
      */
-    const rows: any[] = await getRepository(TwinEvent).find({
-      where: { domain: { id: domainId } as any, instanceId, eventType: 'epcis.TransformationEvent' } as any,
-      order: { eventTime: 'DESC' } as any,
-      take: windowCap
-    })
+    /*
+     * 관계를 **컬럼으로** 묻는다 (2026-08-28). `find({ where: { domain: { id } } })` 은 관계를 가진
+     * 엔티티에서 두 단계 질의가 되고 **안쪽에 상한이 없다** — `take` 가 있어도 조건에 맞는 행을 전부
+     * 만든 뒤 밖에서 자른다. 변환 사건이 적은 트윈에서는 표가 안 나지만, 변환을 많이 내는 트윈에서는
+     * 이 한 번이 그 종류 전체를 만든다. 질의 빌더로 물으면 상한이 안쪽에 걸린다.
+     *
+     * 종류가 정확일치이므로 `(domain, instance, event_type, event_time)` 색인이 시각 순서까지 준다.
+     */
+    const rows: any[] = await getRepository(TwinEvent)
+      .createQueryBuilder('e')
+      .where('e.domain = :domainId', { domainId })
+      .andWhere('e.instanceId = :instanceId', { instanceId })
+      .andWhere('e.eventType = :eventType', { eventType: 'epcis.TransformationEvent' })
+      .orderBy('e.eventTime', 'DESC')
+      .limit(windowCap)
+      .getMany()
     const truncated = rows.length >= windowCap
 
     /* 산출 → 그 변환. 한 개체는 한 번만 만들어지지만, 데이터가 그렇지 않을 수 있으므로 목록으로 든다. */

package/server/service/twin-model/twin-location.ts

@@ -115,7 +115,7 @@ export class TwinLocation {
    * ── 왜 늦게 생겼나 (2026-08-18) ────────────────────────────────────────────
    * 설비 행에는 이 칸이 있었는데 자리 행에는 없었다. 그래서 수전 지점에 계약전력·요금을 넣어도 **항목
    * 패널의 「원본이 말한 값」에 그 줄이 아예 없었다** — 사용자는 값을 넣고도 화면에서 찾을 수 없었고,
-   * 「이 값이 무엇을 바꾸나」는 문장도 붙을 자리가 없었다(조용한 누락).
+   * 「이 값이 무엇을 바꾸나」는 문장도 붙을 자리가 없었다(들어온 것이 없는 누락).
    */
   @Column({ type: 'simple-json', nullable: true })
   @Field(type => ScalarObject, { nullable: true, description: 'Properties declared on this location (ISA-95 Property: value + dataType + unit of measure). Carries locally-declared numbers too, with source: local.' })

package/server/service/twin-model/twin-model-item-query.ts

@@ -17,7 +17,7 @@ import { TwinArea } from '../twin-space/twin-area.js'
 import { at, idOf, nameIndex, namesFor } from './name-index.js'
 
 /* 커널 런타임 로드 — 축·관계·속성 선언의 SSOT. 이 파일은 도메인 모양을 알지 않는다. */
-const { TWIN_AXES, TWIN_RELATIONS, axisInfo, axisSource, documentPath, relationsFrom, relationsTo, propertiesOf } = require('@operato/twin-kernel')
+const { TWIN_AXES, TWIN_RELATIONS, axisInfo, axisSource, documentPath, relationsFrom, relationsTo, propertiesOf } = require('@operato/ops-contract')
 
 /**
  * 축 → 그 축이 이미 **행으로 옮겨졌나**, 그리고 행의 어느 컬럼이 id 인가.
@@ -54,7 +54,7 @@ function matches(o: any, q: string): boolean {
  * 그래서 야드의 도크도어나 에너지의 계량기가 늘어도 여기 손댈 것이 없다(ADR-0031). 이 파일에
  * 도메인 이름이 한 번도 나오지 않는 것이 그 증거다.
  *
- * ── 조용히 자르지 않는다 ──────────────────────────────────────────────────────
+ * ── 알리지 않고 자르지 않는다 ──────────────────────────────────────────────────────
  * 목록은 항상 **총 건수**와 함께 온다. 그리고 어떻게 셌는지(`basis`)를 밝힌다 — 행이면 DB 가
  * 페이징했고, 문서면 서버가 문서를 통째로 읽어 잘라 냈다. 후자는 규모에서 한계가 되므로 그 사실이
  * 화면에 드러나야 이주 압력이 살아 있다.
@@ -118,7 +118,7 @@ export class TwinModelItemQuery {
       /*
        * 검색은 아직 DB 로 내리지 않았다. **그 사실을 밝힌다**(`basis: 'rows-scanned'`) —
        * 흉내로 덮으면 규모가 오는 날까지 아무도 이 한계를 모른다. 훑는 건수를 상한으로 막고,
-       * 상한에 닿았으면 잘렸다고 말한다(조용히 자르지 않는다).
+       * 상한에 닿았으면 잘렸다고 말한다(알리지 않고 자르지 않는다).
        */
       const SCAN_MAX = 5000
       const repo = getRepository(row.entity)
@@ -159,11 +159,11 @@ export class TwinModelItemQuery {
        * **라이브는 권위, 히스토리는 파생.**
        *
        * 지금 도는 커널의 상태가 이 축의 진실이다. 그런데 커널이 멈춰 있거나 사용자가 **과거 시각**을
-       * 물으면 답할 것이 없어진다 — 그때 저널을 그 시점까지 접어 답한다(`recover`). 둘은 같은 모양이지만
+       * 물으면 답할 것이 없어진다 — 그때 저널을 그 시점까지 계산해 답한다(`recover`). 둘은 같은 모양이지만
        * **성질이 다르므로 `basis` 로 구별해 낸다**: 파생을 권위처럼 내면 다시 계산한 값을 보고 "지금 이렇다"
        * 로 읽게 된다.
        *
-       * 규모: 접기 비용은 이벤트 수에 비례한다. 감추지 않고 **어느 리비전까지 접었는지 함께 낸다** —
+       * 규모: 계산 비용은 이벤트 수에 비례한다. 감추지 않고 **어느 리비전까지 계산했는지 함께 낸다** —
        * 이 화면이 목록마다 `basis` 를 밝혀 온 규율 그대로다.
        */
       const live = TwinEngine.isRunning(domainId, instanceId) && !at_
@@ -341,9 +341,9 @@ export class TwinModelItemQuery {
      */
     if (axisSource(axis) === 'state') {
       /*
-       * 동작하지 않으면 **목록과 같은 길로 저널을 접는다.**
+       * 동작하지 않으면 **목록과 같은 길로 저널을 계산한다.**
        *
-       * 목록만 접고 상세는 안 접었더니, 목록에는 472건이 보이는데 그 줄을 열면 "자기 속성이 없습니다"
+       * 목록만 계산하고 상세는 안 계산했더니, 목록에는 472건이 보이는데 그 줄을 열면 "자기 속성이 없습니다"
        * 가 나왔다 — 한 화면에서 두 답이 갈리면 어느 쪽이 맞는지 사용자가 알 수 없다.
        */
       const liveItem = TwinEngine.isRunning(domainId, instanceId)
@@ -471,7 +471,7 @@ export class TwinModelItemQuery {
       observed,
       /*
        * 관측 열이 **자기 근거를 말한다** — 목록의 그 낱말 그대로(`state`=라이브 권위, `journal`=다시 계산한
-       * 파생). 없으면 비교하지 못한 것이다. 파생이면 몇 번째 리비전까지 접었는지 함께 낸다.
+       * 파생). 없으면 비교하지 못한 것이다. 파생이면 몇 번째 리비전까지 계산했는지 함께 낸다.
        */
       ...('value' in seen
         ? { observedBasis: seen.basis, ...(seen.foldedRevision != null ? { observedRevision: seen.foldedRevision } : {}) }
@@ -631,8 +631,8 @@ export class TwinModelItemQuery {
    *
    * 근거를 값과 함께 낸다 — 목록이 오래 해 온 그대로다(§twinModelItemList). 라이브(권위)와 저널
    * 폴드(파생)는 **같은 모양의 객체**라서, 근거가 없으면 다시 계산한 값을 "지금 이렇다" 로 읽는다. 근거를
-   * 실을 자리가 없던 동안에는 멈춘 트윈의 저널을 아예 접지 않고 `—` 로 두는 편이 정직했다. 이제
-   * 자리가 있으니 접는다 — 멈춘 트윈에도 마지막으로 알던 사실이 있고, 그것을 감출 이유는 없다.
+   * 실을 자리가 없던 동안에는 멈춘 트윈의 저널을 아예 계산하지 않고 `—` 로 두는 편이 정직했다. 이제
+   * 자리가 있으니 계산한다 — 멈춘 트윈에도 마지막으로 알던 사실이 있고, 그것을 감출 이유는 없다.
    *
    * 다시 계산할 것이 없으면(모델도 저널도 없다) `null` 이다 — **없는 것과 비교하지 못한 것은 다르다.**
    */
@@ -652,9 +652,9 @@ export class TwinModelItemQuery {
         const rec = await TwinEngine.recover(domainId, instanceId)
         folded = Number((rec as any)?.revision) || undefined
         /*
-         * **이벤트를 하나도 접지 않은 폴드는 관측이 아니다.** 저널이 비어도 복원은 선언을 다시 투영한
+         * **이벤트를 하나도 계산하지 않은 폴드는 관측이 아니다.** 저널이 비어도 복원은 선언을 다시 투영한
          * 기준선을 돌려준다 — 그것을 "트윈이 관측한 값" 열에 실으면 **선언이 관측으로 위장한다**
-         * (원본이 말한 값이 오른쪽에도 똑같이 앉아, 견준 것처럼 보인다). 접은 것이 없으면 없다고 한다.
+         * (원본이 말한 값이 오른쪽에도 똑같이 앉아, 견준 것처럼 보인다). 계산한 것이 없으면 없다고 한다.
          */
         if (folded == null) return { absence: 'not-running' as const }
         state = unwrapState(rec)
@@ -700,7 +700,7 @@ export class TwinModelItemQuery {
     const model = inst.model ?? {}
 
     /*
-     * 관측 축의 항목들 — **한 번만** 읽는다(관계마다 다시 접으면 저널을 여러 번 접는다).
+     * 관측 축의 항목들 — **한 번만** 읽는다(관계마다 다시 계산하면 저널을 여러 번 계산한다).
      * 라이브가 있으면 그것, 없으면 저널 폴드. 없으면 빈 배열(없는 것을 지어내지 않는다).
      */
     let observedState: any
@@ -725,7 +725,7 @@ export class TwinModelItemQuery {
      *
      * 관계 선언의 필드 이름(`locations.parentId`)은 **원본 문서의 어휘**다. 행은 같은 사실을 자기
      * 컬럼 이름으로 담는다(자리의 구역은 `area` FK). 행을 보고 `parentId` 를 찾으면 늘 비어서
-     * "이어진 것이 없다" 로 조용히 답한다 — 실제로 그랬다.
+     * "이어진 것이 없다" 로 알리지 않고 답한다 — 실제로 그랬다.
      *
      * 어느 쪽이 정본인가로 구분하면 답이 분명하다: 관계를 선언한 어휘가 문서 어휘이므로 **문서에서
      * 푼다.** 행에만 있고 문서에 없는 항목(있을 수 있다)은 이어진 것이 비지만, 그것은 사실이다.
@@ -762,7 +762,7 @@ export class TwinModelItemQuery {
         const repo = getRepository(row.entity)
         /*
          * **FK 는 부르지 않으면 오지 않는다.** 관계 필드를 로딩하지 않고 조회하면 값이 늘 `undefined`
-         * 라서 "나를 가리키는 것이 하나도 없다" 로 조용히 답한다 — 실제로 그랬다(설비 둘이 이 자리를
+         * 라서 "나를 가리키는 것이 하나도 없다" 로 알리지 않고 답한다 — 실제로 그랬다(설비 둘이 이 자리를
          * 기준으로 삼는데 이웃이 비어 있었다).
          *
          * 어느 필드가 관계인지는 **엔티티 메타데이터**가 안다. 축마다 표를 두면 축이 늘 때마다

package/server/service/twin-model/twin-model-mutation.ts

@@ -71,7 +71,7 @@ async function spreadSpaceLayer(
     t.localDeclarations = out.instanceLayerApplied as any
     const running = TwinEngine.modeOf(domainId, t.instanceId)
     /*
-     * **트윈 하나가 실패해도 나머지는 받는다** — 다만 조용히 넘기지 않는다(2026-08-18 실측).
+     * **트윈 하나가 실패해도 나머지는 받는다** — 다만 알리지 않고 넘기지 않는다(2026-08-18 실측).
      *
      * 현장 선언을 처음 퍼뜨렸을 때 그 현장의 어떤 트윈에서 구조 투영이 터졌고(그 트윈 모델에 설비 id가
      * 겹쳐 있었다 — 선재 결함), 그 예외가 올라와 **한 트윈 때문에 현장 전체 선언이 실패**했다. 사용자는
@@ -132,12 +132,12 @@ export class TwinModelMutation {
    * 계량이 흐르는 트윈에서도 **금액이 영원히 나오지 않았다** — 넣을 문이 없었기 때문이다.
    *
    * 값은 `model` 에 직접 쓰지 않고 **겹**으로 보관한다: 모델은 원천의 사본이므로 다시 읽기가 그것을
-   * 새로 그리면 직접 쓴 값은 조용히 사라진다. 겹은 모델을 그릴 때마다 다시 얹힌다.
+   * 새로 그리면 직접 쓴 값은 오류 없이 사라진다. 겹은 모델을 그릴 때마다 다시 얹힌다.
    *
    * ── 돌고 있는 트윈에 어떻게 반영하나 ────────────────────────────────────────
    * 미러는 **동작 중에** 새 구조를 받는다(현실은 멈추지 않는다). 시뮬레이션은 받지 않는다 — 조건이
    * 바뀐 실험은 다른 실험이고, 커널이 그렇게 거절한다. 그때는 저장만 하고 **그 사실을 말한다**:
-   * 조용히 성공으로 답하면 사용자는 지금 화면의 수가 새 선언으로 계산된 줄로 읽는다.
+   * 알리지 않고 성공으로 답하면 사용자는 지금 화면의 수가 새 선언으로 계산된 줄로 읽는다.
    */
   @Directive('@privilege(category: "twin", privilege: "mutation", domainOwnerGranted: true, superUserGranted: true)')
   @Mutation(returns => ScalarObject, {
@@ -165,7 +165,7 @@ export class TwinModelMutation {
     if (!declarations?.length) return { ok: false, error: 'no declaration arrived — the declarations argument was empty' }
 
     /*
-     * 검사부터 — 받지 않은 것을 조용히 버리지 않는다(사용자는 값을 넣었다고 믿는다).
+     * 검사부터 — 받지 않은 것을 알리지 않고 버리지 않는다(사용자는 값을 넣었다고 믿는다).
      *
      * 공정 이름은 **대조로만** 걸러진다(모델에 행이 없어도 성립하는 선언이라 다른 안전망이 없다). 아직
      * 돌지도 않고 명세 행도 없는 트윈이면 목록이 `undefined` 이고, 그때는 받아 주되 답에 그 사실을 싣는다.