@things-factory/headless-twin 10.1.278 → 10.1.280

package/test/oee-site-calendar.test.ts

@@ -1,146 +0,0 @@
-/*
- * 현장의 조업 달력이 계획 조업 시간에 닿나.
- *
- * ── 왜 필요한가 (2026-09-07) ────────────────────────────────────────────────
- * 계획 조업 시간(PBT)이 「재기 시작한 뒤 흐른 시간 전부」였다. 주말도 야간도 휴일도 계획 조업으로
- * 세었다. [산술] 8시간 × 주5일이면 168시간 중 40시간이 조업이니 PBT 가 4.2배 크다.
- *
- * plant 레인이 같은 자리를 먼저 겪고 실측을 냈다 — 3교대를 물려받으면 `availability 0.4583`,
- * 달력이 아예 없으면 수를 안 낸다. 트윈은 창 전체를 계획으로 쳐서 수를 냈다.
- *
- * ── 이 시험이 지키는 것은 「자리가 있고 부르는 곳이 있다」다 ─────────────────
- * 오늘 이 저장소에서 그것을 여섯 번 놓쳤다. 값을 받을 칸을 만들고 아무도 채우지 않거나, 채우고
- * 아무도 안 읽는 자리다. 그래서 여기서는 **누적기가 그 값을 실제로 쓰는지**를 본다 — 달력을 얹은
- * 것과 안 얹은 것의 답이 달라야 한다.
- */
-import test from 'node:test'
-import assert from 'node:assert/strict'
-
-import { OeeAccumulator } from '../server/engine/oee-accumulator.js'
-
-const HOUR = 3_600_000
-const MON = Date.UTC(2026, 8, 7, 0, 0, 0)
-
-/** 08:00~16:00 만 조업 — 하루 열여섯 시간이 비근무다. */
-const EIGHT_HOURS = [{ id: 'day', fromTime: '08:00', toTime: '16:00' }] as any[]
-
-/** 여덟 시간 내내 돈 설비 한 대. */
-function ranAllShift(calendar?: any[]) {
-  const acc = new OeeAccumulator()
-  acc.setWorkCalendar(calendar ? { workCalendar: calendar } : undefined)
-  /*
-   * 봉투의 `data` 에 `moverId` 다 — `payload.data` 도 `equipmentId` 도 아니다. 처음 그렇게 써서
-   * 누적기가 아무것도 안 받았고, 시험 넷이 빨개져서 알았다. 읽어서 고쳤다(`oee-accumulator.ts:111`).
-   */
-  acc.apply({
-    eventType: 'equipment.status',
-    eventTime: new Date(MON + 8 * HOUR).toISOString(),
-    data: { moverId: 'EQ-1', status: 'busy' }
-  } as any)
-
-  return acc.counters('EQ-1', MON + 24 * HOUR)
-}
-
-test('달력을 얹으면 계획 정지가 나온다 — 계측 창 안의 비근무만', () => {
-  /*
-   * ⚠ 하루가 아니다. 계측 창은 **첫 이벤트부터**이므로 08:00~24:00 의 열여섯 시간이고, 그중 조업이
-   * 08:00~16:00 이니 비근무가 여덟 시간이다.
-   *
-   * 처음 이 값을 열여섯으로 적었다 — 「하루 중 열여섯 시간이 비근무」라는 달력의 성질을 계측 창에
-   * 그대로 옮긴 것이다. 재보고 고쳤다. 계획 정지는 **달력의 성질이 아니라 이 창에서 잰 값**이다.
-   */
-  const c = ranAllShift(EIGHT_HOURS) as any
-
-  assert.equal(c.holdMs, 8 * HOUR)
-  assert.equal(c.metricsSinceMs, MON + 8 * HOUR, '창이 첫 이벤트부터라는 것이 위 계산의 전제다')
-})
-
-test('달력이 없으면 그 칸을 만들지 않는다 — 0 은 「쉬는 시간이 없다」는 주장이다', () => {
-  const c = ranAllShift() as any
-
-  assert.equal('holdMs' in c, false)
-})
-
-test('얹은 것과 안 얹은 것의 답이 다르다 — 같으면 그 값이 안 쓰이는 것이다', () => {
-  /*
-   * 이 시험이 이 파일의 요점이다. 오늘 제가 낸 결함 중 하나가 「값을 넣어 줄 사람이 있는지 아무것도
-   * 검사하지 않은 시험」이었다 — 고쳐도 통과하고 안 고쳐도 통과했다.
-   */
-  const withCal = ranAllShift(EIGHT_HOURS) as any
-  const without = ranAllShift() as any
-
-  assert.notEqual(withCal.holdMs, without.holdMs)
-})
-
-test('실 생산 시간은 달력과 무관하다 — APT 는 잰 값이다', () => {
-  /*
-   * 달력은 PBT 를 정하고 APT 는 안 건드린다. 휴일에 돌린 열한 시간이 사라지던 것이 그 반대 방향의
-   * 결함이었고, 그것은 자르는 쪽이었다.
-   */
-  const withCal = ranAllShift(EIGHT_HOURS)
-  const without = ranAllShift()
-
-  assert.equal(withCal.runMs, without.runMs)
-  assert.equal(withCal.runMs, 16 * HOUR, '08:00 에 busy 로 들어가 24:00 까지면 열여섯 시간이다')
-})
-
-test('잰 구간의 시작은 그대로다 — 그 칸에 파생값을 얹지 않는다', () => {
-  /*
-   * 같은 효과를 `metricsSinceMs` 를 당겨서 낼 수도 있는데, 그 칸은 「언제부터 쟀나」라는 사실이다.
-   * plant 레인이 그 방식으로 하고 있었고 `holdMs` 로 옮겼다 — 수는 자릿수까지 같았다.
-   */
-  const c = ranAllShift(EIGHT_HOURS)
-
-  assert.equal(c.metricsSinceMs, MON + 8 * HOUR)
-})
-
-/*
- * ── 설비의 달력이 현장의 것을 이긴다 ────────────────────────────────────────
- * 이 자리가 실제 자료를 살렸다. rosarito 트윈들이 설비 41대에 3교대 × 평일 달력을 이미 갖고 있었는데,
- * 처음 배선할 때 **현장 달력만 읽었다.** 현장에 달력을 선언한 공간이 하나도 없어서, 있는 자료를 두고
- * 계획 조업 시간이 창 전체로 남아 있었다.
- *
- * 사용자가 「모든 공간에 달력을 세우라」고 한 것이 그 말을 듣고 나온 지시였고, 재보니 세울 것이 아니라
- * **읽을 것이 있었다.**
- */
-const ROUND_CLOCK = [{ id: 'always', fromTime: '00:00', toTime: '24:00' }] as any[]
-
-function withModel(model: any) {
-  const acc = new OeeAccumulator()
-  acc.setWorkCalendar(model)
-  acc.apply({
-    eventType: 'equipment.status',
-    eventTime: new Date(MON + 8 * HOUR).toISOString(),
-    data: { moverId: 'EQ-1', status: 'busy' }
-  } as any)
-
-  return acc.counters('EQ-1', MON + 24 * HOUR) as any
-}
-
-test('설비가 자기 달력을 선언하면 그것을 쓴다 — 24시간 도는 로가 현장 근무조에 안 잘린다', () => {
-  const c = withModel({ workCalendar: EIGHT_HOURS, equipment: [{ id: 'EQ-1', workCalendar: ROUND_CLOCK }] })
-
-  assert.equal(c.holdMs, 0, '자기 달력이 종일 가동이면 계획 정지가 없다')
-})
-
-test('설비가 선언하지 않으면 현장의 달력으로 떨어진다', () => {
-  const c = withModel({ workCalendar: EIGHT_HOURS, equipment: [{ id: 'EQ-OTHER', workCalendar: ROUND_CLOCK }] })
-
-  assert.equal(c.holdMs, 8 * HOUR, '이 설비의 것이 없으니 현장 것을 쓴다')
-})
-
-test('현장이 없고 설비만 있어도 답한다 — 지금 실제 자료가 그 모양이다', () => {
-  /*
-   * rosarito 가 이렇다: 공간에 달력이 없고 설비 41대에 3교대가 있다. 현장 달력만 읽으면 이 자료가
-   * 통째로 안 쓰인다.
-   */
-  const c = withModel({ equipment: [{ id: 'EQ-1', workCalendar: EIGHT_HOURS }] })
-
-  assert.equal(c.holdMs, 8 * HOUR)
-})
-
-test('둘 다 없으면 그 칸을 만들지 않는다', () => {
-  const c = withModel({ equipment: [{ id: 'EQ-1' }] })
-
-  assert.equal('holdMs' in c, false)
-})

package/test/open-doors.test.ts

@@ -1,197 +0,0 @@
-/*
- * Which of headless-twin's doors are open, and why each one is allowed to be.
- *
- * ── The thing this catches ──────────────────────────────────────────────────
- * `@privilege` is opt-in. A root field that declares nothing is recorded as open, and that is
- * indistinguishable from a field somebody decided to open. The list below turns the absence into a
- * statement: anything open that is not on it fails, and the reason has to be written first.
- * Same measure as `auth-base/tests/open-doors.test.ts`.
- *
- * ── The decision the reads rest on ──────────────────────────────────────────
- * ADR-0027: the twin gates **writes** only. Reading is the product's purpose, and the boundary for a
- * read is tenant membership — so an ungated read is correct only if its body narrows to the caller's
- * domain. Every entry below says how it does. (The one read that crosses tenants on purpose,
- * `twinLoad`, is super-user gated and so is not here.) A door that answers from the installation
- * rather than from any tenant's rows says so instead.
- *
- * ── Why this reads the build ────────────────────────────────────────────────
- * The schema is built from `service/index`'s own `resolverClasses`, the list the server boots from.
- * type-graphql needs decorator metadata to build it, and Node's type stripping (how the other tests
- * here run the source) does not emit it. So this one reads `dist-server`. A stale build would miss a
- * door added since, and pass — hence the freshness check before anything else.
- */
-import { test } from 'node:test'
-import assert from 'node:assert/strict'
-import { createRequire } from 'node:module'
-import { existsSync, readdirSync, readFileSync, statSync } from 'node:fs'
-import { dirname, join, relative } from 'node:path'
-import { fileURLToPath } from 'node:url'
-
-const PKG = join(dirname(fileURLToPath(import.meta.url)), '..')
-const DIST = join(PKG, 'dist-server')
-
-/* Resolver sources newer than their build: the schema below would not be the one served. */
-function staleResolvers(): string[] {
-  const out: string[] = []
-  const walk = (dir: string) => {
-    for (const name of readdirSync(dir)) {
-      const p = join(dir, name)
-      if (statSync(p).isDirectory()) walk(p)
-      else if (p.endsWith('.ts') && /@(Query|Mutation|Subscription)\(/.test(readFileSync(p, 'utf8'))) {
-        const built = join(DIST, relative(join(PKG, 'server'), p)).replace(/\.ts$/, '.js')
-        if (!existsSync(built) || statSync(built).mtimeMs < statSync(p).mtimeMs) out.push(relative(PKG, p))
-      }
-    }
-  }
-  walk(join(PKG, 'server'))
-  return out
-}
-
-const INSTALLATION = 'answers from the installation, not from any tenant\'s rows'
-const DOMAIN_ROWS = 'reads rows where domain = the caller\'s'
-const DOMAIN_RUNTIME = 'reads the runtime keyed (caller\'s domain, instanceId)'
-
-/** Open on purpose (ADR-0027), each with how it stays inside the caller's tenant. */
-const OPEN_BY_DECISION: Record<'Query' | 'Subscription', Record<string, string>> = {
-  Query: {
-    /* Catalogues — what this build can do. */
-    referenceAdapterTypes: `${INSTALLATION}: registered connector type keys`,
-    referenceAdapters: `${INSTALLATION}: connector metadata and judged capabilities`,
-    twinDomainCatalog: `${INSTALLATION}: the kernel's location-type vocabulary`,
-    twinTargetMetrics: `${INSTALLATION}: the metric ids a target may name`,
-    twinTemplates: `${INSTALLATION}: registered twin templates and their knobs`,
-
-    /* Connections and references. */
-    discoverReferenceSites: `${DOMAIN_ROWS} (TwinReference by source), then asks that connection`,
-    referenceSources: `${DOMAIN_ROWS} (TwinInstance) and the caller's runtimes`,
-    twinConnection: `${DOMAIN_ROWS} (TwinReference, TwinInstance)`,
-    twinConnections: `${DOMAIN_ROWS} (TwinReference, TwinInstance)`,
-    twinReference: `${DOMAIN_ROWS} (TwinReference)`,
-    twinReferences: `${DOMAIN_ROWS} (TwinReference, TwinInstance)`,
-    twinReferenceReconciliation: `${DOMAIN_ROWS} (TwinReferenceReconciliation)`,
-    twinReferenceReconciliations: `${DOMAIN_ROWS} (TwinReferenceReconciliation)`,
-
-    /* Actuation — reading what was proposed and how it went. Acting is gated. */
-    twinActuationOpinion: 'loads the command by (caller\'s domain, id); refuses without a domain',
-    twinActuationOutcome: 'loads the command by (caller\'s domain, id); refuses without a domain',
-    twinActuationReadiness: 'loads the command by (caller\'s domain, id); refuses without a domain',
-    twinActuationRules: `${DOMAIN_ROWS} (TwinActuationRule list params with the caller's domain)`,
-    twinCommands: `${DOMAIN_ROWS} (TwinCommandRecord list params with the caller's domain)`,
-
-    /* Instances and lifecycle. */
-    twinAdoptionPath: `${DOMAIN_ROWS} after an ownership check`,
-    twinDeletionPreview: `${DOMAIN_ROWS} (TwinInstance, TwinEvent) — describes, deletes nothing`,
-    twinInstanceDetail: `${DOMAIN_ROWS} (TwinEngine.detail)`,
-    twinInstanceList: `${DOMAIN_ROWS} (TwinEngine.list)`,
-    twinInstances: `${DOMAIN_ROWS} (TwinEngine.list)`,
-    twinSourceCapability: `${DOMAIN_RUNTIME}; empty without a domain`,
-    twinSpaceInstanceIds: `${DOMAIN_ROWS} (TwinEngine.instanceIdsOfSpace)`,
-
-    /* Journal, history, time travel. */
-    twinAuditList: `${DOMAIN_ROWS} (TwinAuditEvent list params with the caller's domain)`,
-    twinCapacity: `${DOMAIN_RUNTIME} after an ownership check`,
-    twinEventList: `${DOMAIN_ROWS} (TwinEvent) for targets resolved inside the caller's domain`,
-    twinEvents: `${DOMAIN_ROWS} (TwinEvent)`,
-    twinKpi: `${DOMAIN_ROWS} after an ownership check`,
-    twinOperationsCapability: `${DOMAIN_RUNTIME} after an ownership check`,
-    twinReplay: `${DOMAIN_RUNTIME} or its journal (TwinEngine.recover)`,
-    twinStructures: `${DOMAIN_ROWS} (TwinStructure, TwinEvent) after an ownership check`,
-    twinSubjectHistory: `${DOMAIN_ROWS} (TwinSubjectEvent)`,
-    twinTimeRange: `${DOMAIN_ROWS} (TwinInstance, TwinEvent)`,
-
-    /* Model and entity views. */
-    spaceDeclarations: `${DOMAIN_ROWS} (TwinSpace, TwinInstance) and the caller's runtimes`,
-    twinDeclarations: `${DOMAIN_ROWS} (TwinInstance, TwinSpace) and the caller's runtime`,
-    twinItemLineage: `${DOMAIN_ROWS} (TwinInstance, TwinEvent)`,
-    twinModelEntities: `${DOMAIN_ROWS} (TwinInstance and the entity tables) or the caller's runtime`,
-    twinModelItem: `${DOMAIN_ROWS} (TwinInstance and the entity tables) or the caller's runtime`,
-    twinModelSummary: `${DOMAIN_ROWS} (TwinInstance, TwinReference, TwinEvent) or the caller's runtime`,
-    twinModelTree: `${DOMAIN_ROWS} (TwinInstance)`,
-
-    /* Spaces and targets. */
-    twinAreas: `${DOMAIN_ROWS} (TwinArea)`,
-    twinSpace: `${DOMAIN_ROWS} (TwinSpace, representations, areas)`,
-    twinSpaceIntegrity: `${DOMAIN_ROWS} (every space table)`,
-    twinSpaces: `${DOMAIN_ROWS} (TwinSpace, representations, TwinInstance)`,
-    twinTargets: `${DOMAIN_ROWS} (TwinTarget)`,
-
-    /* Live health and forecasting — computed from the caller's runtime. */
-    twinAttentionDigest: `${DOMAIN_RUNTIME} after an ownership check`,
-    twinAttentions: `${DOMAIN_RUNTIME} after an ownership check`,
-    twinForecast: `${DOMAIN_RUNTIME} (forks the caller's kernel)`,
-    twinForecastGapTrend: `${DOMAIN_RUNTIME} for the caller's co-located twins`,
-    twinIngestHealth: `${DOMAIN_RUNTIME} after an ownership check; raw samples need more`,
-    twinIngestHistory: `${DOMAIN_ROWS} (TwinIngestWindow) and the caller's runtime`,
-    twinMetrics: `${DOMAIN_RUNTIME} after an ownership check`,
-    twinMetricsAll: `${DOMAIN_RUNTIME} for every runtime of the caller's domain`
-  },
-  Subscription: {
-    twinState: 'the caller must own the instance to subscribe (ADR-0027 read)',
-    twinReferenceProgress: 'import progress for one source (ADR-0027 read)'
-  }
-}
-
-const req = createRequire(import.meta.url)
-let schemaPromise: Promise<any> | undefined
-
-function schema(): Promise<any> {
-  const stale = staleResolvers()
-  if (stale.length) {
-    throw new Error(
-      `dist-server is older than ${stale.length} resolver source(s), so the schema below is not the one served:\n  ` +
-        stale.join('\n  ') +
-        '\nBuild first: yarn workspace @things-factory/headless-twin build:server'
-    )
-  }
-  schemaPromise ??= (async () => {
-    req('reflect-metadata')
-    const { buildSchema } = req('type-graphql')
-    const { schema: declared } = req(join(DIST, 'service/index.js'))
-    const { privilegeDirectiveResolver } = req('@things-factory/auth-base/dist-server/service/privilege/privilege-directive.js')
-    /* Subscriptions need a PubSub to build. Nothing is published here — only the shape is read. */
-    const pubSub = { publish() {}, subscribe: () => (async function* () {})() }
-    const built = await buildSchema({ resolvers: declared.resolverClasses, validate: false, pubSub })
-    privilegeDirectiveResolver(built)
-    return built
-  })()
-  return schemaPromise
-}
-
-const privilegeOfField = (t: string, f: string) =>
-  req('@things-factory/auth-base/dist-server/service/privilege/privilege-directive.js').privilegeOfField(t, f)
-
-async function fieldsOf(typeName: 'Query' | 'Mutation' | 'Subscription'): Promise<string[]> {
-  const s = await schema()
-  const type = typeName === 'Query' ? s.getQueryType() : typeName === 'Mutation' ? s.getMutationType() : s.getSubscriptionType()
-  return Object.keys(type?.getFields() ?? {})
-}
-
-async function openFields(typeName: 'Query' | 'Mutation' | 'Subscription'): Promise<string[]> {
-  return (await fieldsOf(typeName)).filter(f => {
-    const gate = privilegeOfField(typeName, f)
-    return gate.known && gate.gate === null
-  })
-}
-
-test('every open read is one somebody chose, with how it stays in the caller\'s tenant', async () => {
-  for (const t of ['Query', 'Subscription'] as const) {
-    assert.deepEqual((await openFields(t)).sort(), Object.keys(OPEN_BY_DECISION[t]).sort(), `${t}: open fields ≠ OPEN_BY_DECISION`)
-  }
-})
-
-test('no write is open — ADR-0027 gates every mutation', async () => {
-  assert.deepEqual(await openFields('Mutation'), [])
-})
-
-test('the walk reaches the whole schema, not a handful of fields', async () => {
-  /* If the resolver list shrank to nothing, the two tests above would pass by having nothing to look at. */
-  assert.ok((await fieldsOf('Query')).length > 50)
-  assert.ok((await fieldsOf('Mutation')).length > 40)
-  assert.ok((await fieldsOf('Subscription')).length >= 2)
-})
-
-test('an undeclared field is told apart from one the schema does not have', async () => {
-  await schema()
-  /* `known: false` must never read as open — that is how a typo becomes a gate that is not there. */
-  assert.deepEqual(privilegeOfField('Query', 'noSuchField'), { known: false })
-})

package/test/operation-basis.test.ts

@@ -1,127 +0,0 @@
-/*
- * 공정 목록 — **무엇을 돌리고, 그 시간이 어디서 오나.**
- *
- * ── 왜 이 목록이 필요한가 (2026-08-18) ─────────────────────────────────────
- * 「측정이 없을 때의 표준 시간」을 현장이 선언하려면 먼저 무엇에 선언할지 보여야 한다. 그런데 실측으로
- * 운영 중인 트윈 35개 중 **창고·야드는 공정 명세 행이 0개**였다 — 모델만 보면 「공정이 없다」로 읽힌다.
- * 실제로는 `putaway`·`spot` 을 돌리고 있고, 그 사실은 **커널만 안다**(`specCoverage`).
- *
- * 그래서 이 모듈이 지키는 것:
- *  ① 목록을 지어내지 않는다 — 원천 행·커널 보고·우리 선언, 세 곳에서만 모은다.
- *  ② 돌지 않은 트윈에서 「공정이 없다」고 말하지 않는다 — `basis` 가 비는 것으로 모름을 드러낸다.
- *  ③ 선언해 둔 공정이 목록에서 사라지지 않는다(그러면 철회할 자리가 없어진다).
- */
-import { test } from 'node:test'
-import assert from 'node:assert/strict'
-
-import { readFileSync } from 'node:fs'
-import { fileURLToPath } from 'node:url'
-
-import { operationBasis, knownOperationKinds } from '../server/engine/operation-basis.ts'
-
-/** 커널 흉내 — 자기보고만 낸다(이 모듈이 커널에서 읽는 것은 그것뿐이다). */
-const kernelReporting = (ops: { kind: string; duration: 'measured' | 'declared' | 'default' }[]) => ({
-  specCoverage: () => ({
-    operations: ops.map(o => ({ ...o, parameters: [] })),
-    measuredDurations: ops.filter(o => o.duration === 'measured').length,
-    declaredDurations: ops.filter(o => o.duration === 'declared').length,
-    defaultDurations: ops.filter(o => o.duration === 'default').length
-  })
-})
-
-test('행이 없는 트윈에서도 돌린 공정이 나온다 — 창고·야드가 바로 그 경우다', () => {
-  const rows = operationBasis({ locations: [], equipment: [] }, kernelReporting([{ kind: 'putaway', duration: 'default' }]))
-  assert.deepEqual(rows, [{ kind: 'putaway', basis: 'default' }])
-})
-
-test('원천 명세 행은 이름과 시간을 함께 든다 — 우리 선언이 그것을 이긴다', () => {
-  const model = { operations: [{ key: 'weld', label: 'Welding', intent: 'process', duration: 'PT90S' }], localDurations: { weld: 'PT60S' } }
-  const rows = operationBasis(model, kernelReporting([{ kind: 'weld', duration: 'declared' }]))
-  assert.deepEqual(rows, [{ kind: 'weld', label: 'Welding', referenceDuration: 'PT90S', basis: 'declared', localDuration: 'PT60S' }])
-})
-
-test('정지 트윈은 basis 가 빈다 — 「공정이 없다」가 아니라 「모른다」다', () => {
-  const rows = operationBasis({ operations: [{ key: 'pick', label: 'Pick' }] }, undefined)
-  assert.deepEqual(rows, [{ kind: 'pick', label: 'Pick' }])
-  assert.equal(rows[0].basis, undefined)
-})
-
-test('선언해 둔 공정은 커널이 아직 돌리지 않아도 목록에 남는다 — 철회할 자리가 사라지지 않게', () => {
-  const rows = operationBasis({ localDurations: { spot: 'PT300S' } }, kernelReporting([]))
-  assert.deepEqual(rows, [{ kind: 'spot', localDuration: 'PT300S' }])
-})
-
-test('아무 근거도 없으면 목록을 지어내지 않는다 — 빈 배열이다', () => {
-  assert.deepEqual(operationBasis({}, undefined), [])
-})
-
-test('확인 목록은 하나도 없을 때 undefined 다 — 빈 배열은 「아무것도 안 된다」로 읽힌다', () => {
-  assert.equal(knownOperationKinds({}, undefined), undefined)
-  assert.deepEqual(knownOperationKinds({}, kernelReporting([{ kind: 'putaway', duration: 'default' }])), ['putaway'])
-})
-
-test('커널이 보고하지 못해도 터지지 않는다 — 옛 커널에서도 목록은 나온다', () => {
-  const rows = operationBasis({ operations: [{ key: 'pick', label: 'Pick' }] }, { tick: () => {} })
-  assert.deepEqual(rows, [{ kind: 'pick', label: 'Pick' }])
-})
-
-/*
- * ── 재기동 직후의 빈칸 (2026-08-18 실측) ────────────────────────────────────
- * 커널의 자기보고는 **작업이 새로 생길 때** 채워진다. 그래서 이력이 풍부한 창고 트윈(pick·putaway 를
- * 이미 배운 트윈)도 재기동 직후에는 목록이 비었다 — 값을 채울 곳을 보여야 하는 화면이 그때 아무 말도
- * 못 한다. 이력에서 배운 종류를 넷째 근거로 넣어 그 빈칸을 메운다.
- */
-test('이력에서 배운 종류가 목록에 나온다 — 재기동 직후에도 빈칸이 아니다', () => {
-  const rows = operationBasis({}, kernelReporting([]), ['pick', 'putaway'])
-  assert.deepEqual(rows, [{ kind: 'pick', basis: 'measured' }, { kind: 'putaway', basis: 'measured' }])
-})
-
-test('커널이 실제로 돌린 사실이 이력 목록을 덮지 않는다 — 더 강한 사실이 이긴다', () => {
-  const rows = operationBasis({}, kernelReporting([{ kind: 'putaway', duration: 'default' }]), ['putaway'])
-  assert.deepEqual(rows, [{ kind: 'putaway', basis: 'default' }], '지금 상수로 돌고 있으면 그렇게 말한다')
-})
-
-test('이력 목록은 선언 대조에도 쓰인다 — 오타를 그때부터 잡는다', () => {
-  assert.deepEqual(knownOperationKinds({}, undefined, ['pick']), ['pick'])
-})
-
-/*
- * ── 도는 시뮬레이션은 「저장했다」가 아니다 (2026-08-18 실측) ────────────────
- * 시뮬 기동 경로가 `mode` 를 비워 두어(「미지정=sim」 규약에 기대) `modeOf()` 가 도는 트윈에 undefined 를
- * 답했다. 그래서 선언·철회의 답이 「저장했다」로 나갔다 — 실제로는 도는 커널이 옛 수를 쓰고 재기동 때
- * 받는데, 사용자는 지금 화면의 수가 새 값으로 계산된 줄로 읽는다. 사실을 적는 쪽으로 고쳤다.
- */
-test('시뮬 기동이 모드를 적는다 — 「돌고 있나」를 묻는 쪽이 답을 받아야 한다', () => {
-  const src = readFileSync(fileURLToPath(new URL('../server/engine/twin-engine.ts', import.meta.url)), 'utf-8')
-  assert.match(src, /mode: 'sim',\s*\n\s*runtime/, '시뮬 런타임도 모드를 든다')
-  /* 답이 갈리는 자리 — 도는 트윈이면 「재기동 때 받는다」로 말해야 한다. */
-  const mut = readFileSync(fileURLToPath(new URL('../server/service/twin-model/twin-model-mutation.ts', import.meta.url)), 'utf-8')
-  assert.match(mut, /running \? 'on-restart' : 'stored'/)
-})
-
-/*
- * ── 공정 모수도 목록에 실린다 (2026-08-19) ──────────────────────────────────
- * 수율·셋업은 시간과 다른 표에 담긴다(`localParams`). 목록이 그것을 함께 들지 않으면 선언해 둔 값이
- * 화면에서 사라지고, 그러면 철회할 자리도 없어진다. 원천이 말한 모수도 함께 들어 견줄 수 있게 한다.
- */
-test('선언한 모수와 원천 모수를 함께 든다 — 무엇을 고쳤나가 보인다', () => {
-  const model = {
-    operations: [{ key: 'weld', label: 'Welding', intent: 'process', parameters: [{ id: 'yield', value: '0.7' }] }],
-    localParams: { weld: { yield: '0.92', setupDuration: 'PT30S' } }
-  }
-  const rows = operationBasis(model, kernelReporting([{ kind: 'weld', duration: 'declared' }]))
-  assert.deepEqual(rows, [
-    {
-      kind: 'weld',
-      label: 'Welding',
-      referenceParams: { yield: '0.7' },
-      basis: 'declared',
-      localParams: { yield: '0.92', setupDuration: 'PT30S' }
-    }
-  ])
-})
-
-test('모수만 선언한 공정도 목록에 남는다 — 커널이 아직 돌리지 않았어도', () => {
-  const rows = operationBasis({ localParams: { inspect: { yield: '0.99' } } }, undefined)
-  assert.deepEqual(rows, [{ kind: 'inspect', localParams: { yield: '0.99' } }])
-})

package/test/operational-vocabulary.test.ts

@@ -1,108 +0,0 @@
-/*
- * **라이브 문이 운영 사실을 안다** — 미러가 시뮬보다 가난하지 않게 (ADR-0029 어휘 넓히기, 2026-08-19).
- *
- * ── 무엇이 막혀 있었나 ──────────────────────────────────────────────────────
- * 이 문(`ingestCanonicalRecords`)은 어휘를 셋만 알았다: EPCIS 품목 · 에너지 계량 · 설비 에너지. 그리고
- * **모르는 것은 EPCIS 로 떨어졌다** — 작업 사실을 넣으면 `epc` 가 없어 거부됐고, 원본은 「이 작업이
- * 끝났다」를 말할 길이 없었다. 시뮬 커널만 그것을 알고 미러는 영원히 몰랐다.
- *
- * ── 이 시험이 지키는 것 ─────────────────────────────────────────────────────
- *  ① 네 어휘가 **한 문**에서 갈린다(판정은 커널의 것이고 여기서 다시 짐작하지 않는다).
- *  ② 운영 사실이 자기 봉투로 나온다 — EPCIS 로 감싸지지 않는다.
- *  ③ 섞여 와도 갈린다(실 피드는 한 배치에 여러 어휘가 섞인다).
- *  ④ 거부는 이유와 함께 남는다 — 피드 결선이 그 이유를 사람에게 말한다.
- */
-import { test } from 'node:test'
-import assert from 'node:assert/strict'
-import { readFileSync } from 'node:fs'
-import { fileURLToPath } from 'node:url'
-
-import { ingestCanonicalRecords } from '../server/engine/canonical-ingest.ts'
-
-const AT = '2026-08-19T09:00:00.000Z'
-
-test('운영 사실이 자기 봉투로 나온다 — EPCIS 로 감싸지지 않는다', () => {
-  const { accepted, rejected } = ingestCanonicalRecords(
-    [{ taskId: 'tk-1', kind: 'putaway', status: 'completed' } as any],
-    'domain-1',
-    AT
-  )
-  assert.deepEqual(rejected, [])
-  assert.equal(accepted.length, 1)
-  assert.equal(accepted[0].eventType, 'task.status')
-  assert.equal(accepted[0].eventTime, AT, '시각을 주지 않으면 이 문이 정한 기본 시각을 쓴다')
-  assert.equal(accepted[0].tenantId, 'domain-1')
-})
-
-test('네 어휘가 한 배치에서 갈린다 — 실 피드는 섞여 온다', () => {
-  const { accepted, rejected } = ingestCanonicalRecords(
-    [
-      { epc: 'urn:epc:id:sgtin:9521321.012345.1', action: 'ADD', bizStep: 'urn:epcglobal:cbv:bizstep:receiving', readPoint: 'dock-1' },
-      { meterId: 'm-1', kW: 120 },
-      { equipmentId: 'pv-1', generatedKW: 40 },
-      { moverId: 'fk-1', kind: 'forklift', status: 'busy' }, // vocabulary-guard: allow 저널 와이어 필드
-      { orderId: 'or-1', kind: 'outbound', status: 'picking', requested: 10, fulfilled: 3 }
-    ] as any,
-    'domain-1',
-    AT
-  )
-  assert.deepEqual(rejected, [], '어느 어휘도 남의 길로 떨어지지 않는다')
-  assert.deepEqual(accepted.map(e => e.eventType).sort(), [
-    'energy.equipment', 'energy.measured', 'epcis.ObjectEvent', 'equipment.status', 'order.status'
-  ].sort())
-})
-
-test('거부는 이유와 함께 남는다 — 유효한 것은 함께 통과한다', () => {
-  const { accepted, rejected } = ingestCanonicalRecords(
-    [
-      { taskId: 'tk-1', kind: 'pick', status: 'completed' },
-      { taskId: 'tk-2', kind: 'pick', status: 'FINISHED' } // 커널이 다룰 수 없는 낱말
-    ] as any,
-    'domain-1',
-    AT
-  )
-  assert.equal(accepted.length, 1)
-  assert.equal(rejected.length, 1)
-  assert.ok(rejected[0].errors.join(' ').length > 0)
-})
-
-test('피드 결선이 거부를 알리지 않고 버리지 않는다 — 이유를 사람에게 말한다', () => {
-  const src = readFileSync(fileURLToPath(new URL('../server/service/reference/reference-live.ts', import.meta.url)), 'utf-8')
-  assert.match(src, /record\(s\) rejected/, '거부 수와 이유를 남긴다')
-})
-
-/*
- * ── 담김도 이 문을 지난다 (2026-08-19) ──────────────────────────────────────
- * 실 앱에서 한 바퀴 돌리자 「옮기지 못했다」 로그가 `epcis.AggregationEvent` 를 짚었다 — 관측 리듀서는 그
- * 사실로 자식 물품에 `parent` 를 붙이는데(3D 가 「이 상자가 어느 팔레트에 실렸나」를 묻는 자리) 문에 그
- * 어휘가 없었다.
- */
-test('담김 레코드가 자기 봉투로 나온다 — 개체 관측과 한 배치에 섞여 와도 갈린다', () => {
-  const { accepted, rejected } = ingestCanonicalRecords(
-    [
-      { epc: 'urn:epc:id:sgtin:9521321.012345.1', action: 'ADD', bizStep: 'urn:epcglobal:cbv:bizstep:receiving', readPoint: 'dock-1' },
-      { parentID: 'urn:epc:id:sscc:0614141.0000000001', childEPCs: ['urn:epc:id:sgtin:9521321.012345.1'], action: 'ADD', bizStep: 'urn:epcglobal:cbv:bizstep:packing', readPoint: 'packing' }
-    ] as any,
-    'domain-1',
-    AT
-  )
-  assert.deepEqual(rejected, [])
-  assert.deepEqual(accepted.map(e => e.eventType), ['epcis.ObjectEvent', 'epcis.AggregationEvent'])
-  assert.equal((accepted[1].data as any).parentID, 'urn:epc:id:sscc:0614141.0000000001')
-})
-
-test('자리를 구조째 실으면 거부한다 — 예전에는 "[object Object]" 로 굳어 저널에 쌓였다', () => {
-  const { accepted, rejected } = ingestCanonicalRecords(
-    [{ epc: 'urn:epc:id:sgtin:9521321.012345.1', action: 'ADD', bizStep: 'urn:epcglobal:cbv:bizstep:receiving', readPoint: { id: 'dock-1' } }] as any,
-    'domain-1',
-    AT
-  )
-  assert.equal(accepted.length, 0)
-  assert.match(rejected[0].errors.join(' '), /readPoint/)
-})
-
-test('이 문이 어휘가 넷임을 스스로 말한다 — 다음 사람이 세 어휘로 읽지 않게', () => {
-  const src = readFileSync(fileURLToPath(new URL('../server/engine/canonical-ingest.ts', import.meta.url)), 'utf-8')
-  assert.match(src, /어휘가 넷이다/)
-  assert.match(src, /isOperationalRecord/, '판정은 커널의 것을 부른다(여기서 다시 짐작하지 않는다)')
-})