@operato/twin-kernel 0.6.4 → 0.6.6

package/dist/contract.d.ts

@@ -149,6 +149,81 @@ export interface ResourceProperty {
  * 자리가 없으면 사실이 들어오지 못한다.
  */
 export type TestSpecificationRefs = string[];
+/**
+ * 시험 명세 — **참조가 가리키는 대상.**
+ *
+ * ── 왜 최소 모양인가 ──────────────────────────────────────────────────────────
+ * 자원 아홉 종류가 이미 이것을 **가리키고 있었다**(`TestSpecificationRefs`). 그런데 가리켜지는 것이
+ * 모델에 없어서 그 참조는 **허공을 가리켰다** — 값을 실을 수는 있어도 그것이 무엇인지 아무도 답할 수
+ * 없었고, 화면은 그 사실을 조용히 넘겼다. 대상을 세우는 것이 이 선언의 일이다.
+ *
+ * 여기 담는 것은 **셋뿐이다**: 식별자·설명·판. 표준의 명세 타입(`B2MML-OperationsTest.xsd`)에는 재는
+ * 속성과 합격 기준이 더 있는데, 그 필드 이름을 **아직 1차 출처와 대조하지 않았다.** 짐작해 넣으면
+ * 표준 이름을 발명하는 것이고 이 저장소의 가드가 그것을 잡는다 — 대조한 뒤에 늘린다.
+ *
+ * 그래서 지금 이 축은 **"무엇으로 검증했다고 하는지"를 이름으로 답한다.** 그 이상을 주장하지 않는다.
+ *
+ * ── 결과는 여기 담지 않는다 ───────────────────────────────────────────────────
+ * 명세는 **선언**이고 시험 결과는 **관측**이다(누가 언제 통과했나). 결과의 집은 저널이고, 축이
+ * 필요해지면 일정·실적과 같은 방식(`source: 'state'|'journal'`)으로 따로 낸다. 한 축에 둘을 담으면
+ * 선언과 관측을 가르는 이 트윈의 뼈대가 무너진다.
+ */
+/**
+ * 시험 결과 — **"이 개체가 그 시험을 통과했다"** 는 기록.
+ *
+ * ── 이것은 관측인데 왜 선언 경로로 오나 ───────────────────────────────────────
+ * 결과는 사실이 일어난 것이므로 관측이다. 그런데 그 사실을 **낳는 곳이 트윈이 아니다** — 자격 시험은
+ * 인사 시스템이, 설비 검사는 정비 시스템이 기록한다. 트윈은 그 기록을 **원본에서 받아** 안다.
+ * 그래서 이 값은 자원에 실려 인제스트로 들어온다(저널이 낳는 관측과 다른 길이다).
+ *
+ * ── 없으면 판정하지 않는다 ────────────────────────────────────────────────────
+ * 등급이 시험을 요구하는데(`ResourceClassDef.testSpecificationIds`) 그 사람에게 **결과가 아예 없으면
+ * 막지 않는다.** 없는 것으로 막으면 자격자가 전부 사라져 라인이 영구히 굶고, 그건 "선언한 것만 제약이
+ * 된다" 는 이 커널의 규율에도 어긋난다 — 원본이 결과를 주지 않는 현장에서는 그 제약이 선언되지 않은
+ * 것이다.
+ *
+ * **결과가 선언돼 있으면 그때부터 제약이 된다**: 불합격이거나 유효기간이 지났으면 그 등급으로 자격이
+ * 성립하지 않는다. 그것이 이 값을 싣는 이유다(싣지 않으면 아무 제약도 없다).
+ *
+ * 필드 이름은 최소로 둔다 — 표준 결과 타입(`B2MML-OperationsTest.xsd`)과 아직 대조하지 않았다.
+ */
+export interface TestResult {
+    /** 어느 시험인가 — `TestSpecification.id` 를 가리킨다. */
+    specId: string;
+    /** 합격 여부. 표준의 판정 어휘를 대조하기 전이므로 둘만 둔다(모르는 값을 만들지 않는다). */
+    result: 'pass' | 'fail';
+    /** 언제 통과·불합격했나(ISO). */
+    at?: ISOTime;
+    /**
+     * 언제까지 유효한가(ISO) — 자격에는 대개 유효기간이 있다.
+     *
+     * **없으면 무기한으로 본다.** 여기서 짐작으로 기한을 만들면 멀쩡한 자격자가 조용히 사라진다
+     * (유효기간을 모르는 것과 지난 것은 다르다).
+     */
+    expiresAt?: ISOTime;
+}
+/**
+ * 이 시험 결과가 **이 시각에 유효한 합격인가.**
+ *
+ * 판정을 한 곳에 둔다 — 자리마다 `result === 'pass'` 와 날짜 비교를 다시 적으면 한 곳이 빠지고,
+ * 빠진 쪽은 만료된 자격을 통과시킨다(조용한 결함).
+ */
+export declare function testPassedAt(r: TestResult, at?: ISOTime): boolean;
+/**
+ * 이 개체가 **요구된 시험들을 만족하나** — 등급이 요구하고 개체가 기록을 든다.
+ *
+ * `required` 가 비면 요구가 없으므로 참이다. 요구된 시험에 **결과가 없으면 참**이다(위 머리말의 규율:
+ * 없는 것으로 막지 않는다). 결과가 있으면 그것이 유효한 합격이어야 한다.
+ */
+export declare function meetsTests(required: readonly string[], results: readonly TestResult[] | undefined, at?: ISOTime): boolean;
+export interface TestSpecification {
+    /** 표준 `ID` — 자원의 `testSpecificationIds` 가 이 값을 가리킨다. */
+    id: string;
+    /** 표준 `Description`. i18n 키일 수 있다(사람 언어는 표현 계층이 렌더한다). */
+    description?: string;
+    /** 표준 `Version` — 같은 시험의 판이 바뀌면 자격의 뜻도 바뀐다(어느 판으로 검증했나). */
+    version?: string;
+}
 /**
  * 유효 기간 — **ISA-95 `EffectiveStartDate` / `EffectiveEndDate`.**
  *
@@ -321,6 +396,13 @@ export interface MaterialDefinition extends EffectivePeriod {
     properties?: ResourceProperty[];
     /** 적격을 검증한 시험 명세들 — 표준 `MaterialDefinition.TestSpecificationID`. */
     testSpecificationIds?: TestSpecificationRefs;
+    /**
+     * 그 시험들의 **결과** — "언제 통과했고 언제까지 유효한가"(§TestResult).
+     *
+     * 참조만 있으면 "무엇으로 검증한다" 까지고, 결과가 있어야 **자격이 성립하는지**를 말할 수 있다.
+     * 없으면 판정하지 않는다(없는 것으로 막으면 자격자가 전부 사라진다).
+     */
+    testResults?: TestResult[];
 }
 /** 품목 정의 색인 — id(GTIN) → 정의. 소비처가 매번 배열을 훑지 않게. */
 export type MaterialDefinitionIndex = ReadonlyMap<string, MaterialDefinition>;
@@ -707,6 +789,13 @@ export interface EquipmentState extends EffectivePeriod {
     workCalendar?: WorkCalendarEntry[];
     /** 적격을 검증한 시험 명세들 — 표준 `Equipment.TestSpecificationID`(§TestSpecificationRefs). */
     testSpecificationIds?: TestSpecificationRefs;
+    /**
+     * 그 시험들의 **결과** — "언제 통과했고 언제까지 유효한가"(§TestResult).
+     *
+     * 참조만 있으면 "무엇으로 검증한다" 까지고, 결과가 있어야 **자격이 성립하는지**를 말할 수 있다.
+     * 없으면 판정하지 않는다(없는 것으로 막으면 자격자가 전부 사라진다).
+     */
+    testResults?: TestResult[];
 }
 /**
  * 사람 — **ISA-95 `Person`.** 설비와 다른 자원 종류다.
@@ -765,6 +854,13 @@ export interface PersonState extends EffectivePeriod {
     workCalendar?: WorkCalendarEntry[];
     /** 자격을 검증한 시험 명세들 — 표준 `Person.TestSpecificationID`(§TestSpecificationRefs). */
     testSpecificationIds?: TestSpecificationRefs;
+    /**
+     * 그 시험들의 **결과** — "언제 통과했고 언제까지 유효한가"(§TestResult).
+     *
+     * 참조만 있으면 "무엇으로 검증한다" 까지고, 결과가 있어야 **자격이 성립하는지**를 말할 수 있다.
+     * 없으면 판정하지 않는다(없는 것으로 막으면 자격자가 전부 사라진다).
+     */
+    testResults?: TestResult[];
 }
 /**
  * 물리 자산 — **ISA-95 `PhysicalAsset`, GS1 `GRAI`(반복사용 자산).**
@@ -1358,6 +1454,7 @@ export interface TwinModelDef {
         workCalendar?: WorkCalendarEntry[];
         properties?: ResourceProperty[];
         testSpecificationIds?: TestSpecificationRefs;
+        testResults?: TestResult[];
     })[];
     /**
      * 사람 — ISA-95 `Person`. `personnelClasses` 로 **속한 등급들**을 밝히고(복수가 표준), `window` 로
@@ -1375,6 +1472,7 @@ export interface TwinModelDef {
         homeLocation?: string;
         properties?: ResourceProperty[];
         testSpecificationIds?: TestSpecificationRefs;
+        testResults?: TestResult[];
     })[];
     /** 물리 자산(반복사용) — ISA-95 `PhysicalAsset` / GS1 `GRAI`. 선언하지 않으면 자산 제약이 없다. */
     assets?: (EffectivePeriod & {
@@ -1383,6 +1481,7 @@ export interface TwinModelDef {
         homeLocation?: string;
         properties?: ResourceProperty[];
         testSpecificationIds?: TestSpecificationRefs;
+        testResults?: TestResult[];
     })[];
     /**
      * 이 트윈의 **시각 해석 기준**(UTC 로부터의 분). 근무 캘린더의 `HH:MM` 이 어느 기준인지 정한다.
@@ -1394,6 +1493,14 @@ export interface TwinModelDef {
      * **절대 구간**(`StartDateTime`/`FinishDateTime`)을 계산해 넣는 것이다.
      */
     utcOffsetMinutes?: number;
+    /**
+     * **시험 명세** — 표준 `TestSpecification`. 자원의 `testSpecificationIds` 가 가리키는 대상.
+     *
+     * 선언하지 않아도 트윈은 돈다 — 그때 그 참조는 **가리킬 것이 없다**(화면이 끊어진 참조로 센다).
+     * 커널은 이 값으로 자격을 판정하지 않는다: 판정에는 **결과**가 필요하고 결과는 아직 모델에 없다.
+     * 없는 것으로 판정하면 자격자가 전부 사라져 라인이 영구히 굶는다.
+     */
+    testSpecifications?: TestSpecification[];
     /**
      * **등급 정의** — 표준 `PersonnelClass` · `EquipmentClass` · `PhysicalAssetClass`.
      *

package/dist/contract.js

@@ -127,6 +127,38 @@ export function hierarchyOf(s) {
         }
     };
 }
+/**
+ * 이 시험 결과가 **이 시각에 유효한 합격인가.**
+ *
+ * 판정을 한 곳에 둔다 — 자리마다 `result === 'pass'` 와 날짜 비교를 다시 적으면 한 곳이 빠지고,
+ * 빠진 쪽은 만료된 자격을 통과시킨다(조용한 결함).
+ */
+export function testPassedAt(r, at) {
+    if (r.result !== 'pass')
+        return false;
+    if (!r.expiresAt || !at)
+        return r.result === 'pass';
+    return Date.parse(at) <= Date.parse(r.expiresAt);
+}
+/**
+ * 이 개체가 **요구된 시험들을 만족하나** — 등급이 요구하고 개체가 기록을 든다.
+ *
+ * `required` 가 비면 요구가 없으므로 참이다. 요구된 시험에 **결과가 없으면 참**이다(위 머리말의 규율:
+ * 없는 것으로 막지 않는다). 결과가 있으면 그것이 유효한 합격이어야 한다.
+ */
+export function meetsTests(required, results, at) {
+    if (!required.length)
+        return true;
+    const bySpec = new Map((results ?? []).map(r => [r.specId, r]));
+    for (const specId of required) {
+        const r = bySpec.get(specId);
+        if (!r)
+            continue; // 결과가 선언되지 않았다 — 제약이 아니다
+        if (!testPassedAt(r, at))
+            return false;
+    }
+    return true;
+}
 /**
  * 이 시각에 유효 기간 밖인가 — **한 규칙**으로 개체·등급·설비↔자산 매핑을 모두 판정한다.
  *

package/dist/domain-catalog.js

@@ -44,6 +44,16 @@ export const TWIN_AXES = [
         standardClass: { isa95: 'OperationsSegment' } },
     { axis: 'materials', path: 'productionSpec.definition.materials', label: 'twin.axis.materials', kind: 'class',
         standardClass: { isa95: 'MaterialDefinition' } },
+    /*
+     * 시험 명세 — **자원 아홉 종류가 가리키는 대상.**
+     *
+     * 이 축이 없던 동안 `testSpecificationIds` 는 허공을 가리켰다(값은 실리는데 무엇인지 아무도 모른다).
+     * 축이 서면 인스펙션의 선 채움이 **끊어진 참조를 센다** — 없는 명세를 가리키면 화면이 말한다.
+     *
+     * `kind: 'spec'` 이다: 자원도 등급도 아니고 **판정의 정의**다(공정·레시피와 같은 부류).
+     */
+    { axis: 'testSpecifications', path: 'testSpecifications', label: 'twin.axis.testSpecifications', kind: 'spec',
+        standardClass: { isa95: 'TestSpecification' } },
     /*
      * ── ISA-95 Part 4 — 일정과 실적 ────────────────────────────────────────────────
      *
@@ -101,6 +111,21 @@ export const TWIN_RELATIONS = [
     { 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 },
+    /*
+     * 자격을 검증한 시험 — **여덟 갈래.** 자원(개체)과 등급 양쪽이 가리킨다: 표준이 그 둘 모두에 이
+     * 참조를 두었기 때문이다(개체는 "이 사람이 통과했다", 등급은 "이 자격은 이 시험을 요구한다").
+     *
+     * **자리(`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: '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 }

package/dist/flow-engine.d.ts

@@ -1,4 +1,4 @@
-import type { ISOTime, MaterialQuantity, WorkCalendarEntry, EffectivePeriod, Effectivity, OffCalendarReason, ResourceProperty, ResourceClassDef, MaterialDefinition, Attention, TwinModelDef, CanonicalEnvelope, Command, CommandAck, EventHandler, EquipmentMotion, OeeMetrics, AssetState, GeneratorSpec, OrderState, PersonState, ScenarioControl, StateSnapshot, TwinKernel, Unsubscribe, LocationState, ItemState, EquipmentState, OrderStatusDelta, TaskState, StructureShift } from './contract.ts';
+import type { TestResult, ISOTime, MaterialQuantity, WorkCalendarEntry, EffectivePeriod, Effectivity, OffCalendarReason, ResourceProperty, ResourceClassDef, MaterialDefinition, Attention, TwinModelDef, CanonicalEnvelope, Command, CommandAck, EventHandler, EquipmentMotion, OeeMetrics, AssetState, GeneratorSpec, OrderState, PersonState, ScenarioControl, StateSnapshot, TwinKernel, Unsubscribe, LocationState, ItemState, EquipmentState, OrderStatusDelta, TaskState, StructureShift } from './contract.ts';
 import type { EpcisEvent, BizTransactionElement } from './epcis.ts';
 import type { AllocationPolicy, SlotView } from './allocation-policy.ts';
 import type { DurationEstimator, DurationContext } from './duration-estimator.ts';
@@ -76,6 +76,13 @@ export interface FlowPerson extends EffectivePeriod {
     properties?: ResourceProperty[];
     /** 자격을 검증한 시험 명세들 — 표준 `TestSpecificationID`. */
     testSpecificationIds?: string[];
+    /**
+     * 그 시험들의 **결과** — 자격이 성립하는지는 이것이 말한다(§TestResult).
+     *
+     * 참조만 있으면 "무엇으로 검증한다" 까지고, 배정 판정은 결과가 있어야 할 수 있다. 없으면 판정하지
+     * 않는다(없는 것으로 막으면 자격자가 전부 사라진다).
+     */
+    testResults?: TestResult[];
 }
 export interface FlowEquipment extends EffectivePeriod {
     id: string;
@@ -793,6 +800,16 @@ export declare abstract class FlowEngine implements TwinKernel {
     private recordMaterialActual;
     /** 확보한 자재를 **작업 시작 시점에 소비**한다 — 수량이 0 이 되면 물품 자체가 사라진다. */
     private consumeMaterials;
+    /**
+     * 이 사람이 **속한 등급들이 요구하는 시험**을 만족하나.
+     *
+     * 요구는 등급이 말하고(`ResourceClassDef.testSpecificationIds`) 기록은 사람이 든다. 상속을 타고 닫은
+     * 등급 전부의 요구를 모아 본다 — 상위 등급이 요구하는 시험도 자격의 조건이다.
+     *
+     * 판정 규칙은 계약이 소유한다(`meetsTests`) — 여기서 다시 적으면 규칙이 두 곳이 되고, 한쪽이 만료를
+     * 조용히 통과시킨다.
+     */
+    private qualifiedByTests;
     private claimPersonnel;
     /**
      * 필요 설비를 고른다 — **인원·자산과 같은 규칙**(등급으로 요구, 부분 확보 없이 전량 아니면 대기).

package/dist/flow-engine.js

@@ -9,7 +9,7 @@
  * 통합 타입은 도메인 필드를 옵셔널로 넓혀(FlowItem.gtin?, FlowOrder.shipmentEpc? 등) 두 도메인을 담는다.
  * (roadmap Phase5 발견 → 추출. [[project_flow_single_base_vision]] FlowLocation 단일 base 방향과 정합.)
  */
-import { OP_EVENT, CMD, locationStatusOf, readBoardEquipment, readBoardLocations, readBoardAssets, classClosure, priorityRank, dueStatusOf, effectivityAt, offCalendarAt, offCalendarReasonAt, minuteOfDayAt, activeShiftAt, subLotIdOf, itemKeyOf } from "./contract.js";
+import { OP_EVENT, CMD, locationStatusOf, readBoardEquipment, readBoardLocations, readBoardAssets, classClosure, meetsTests, priorityRank, dueStatusOf, effectivityAt, offCalendarAt, offCalendarReasonAt, minuteOfDayAt, activeShiftAt, subLotIdOf, itemKeyOf } from "./contract.js";
 import { ObservedReducer } from "./observed-reducer.js";
 import { transformationEvent, aggregationEvent, objectEvent, parseEpc, DISP, ILMD_ATTR, CBV_BIZSTEP } from "./epcis.js";
 import { parseIsoDuration } from "./iso-duration.js";
@@ -284,10 +284,12 @@ export class FlowEngine {
         return { id: n.id, type: n.type, capacity: n.capacity, parallelism: n.parallelism, occupancy: 0, status: 'idle', parentId: n.parentId };
     }
     buildPerson(p) {
-        return { id: p.id, personnelClassIds: p.personnelClassIds, status: 'idle', taskId: null, window: p.window, ...(p.workCalendar ? { workCalendar: p.workCalendar } : {}), ...(p.homeLocation ? { location: p.homeLocation } : {}), ...(p.properties ? { properties: p.properties } : {}), ...(p.testSpecificationIds ? { testSpecificationIds: p.testSpecificationIds } : {}), ...effectiveOnly(p) };
+        return { id: p.id, personnelClassIds: p.personnelClassIds, status: 'idle', taskId: null, window: p.window, ...(p.workCalendar ? { workCalendar: p.workCalendar } : {}), ...(p.homeLocation ? { location: p.homeLocation } : {}), ...(p.properties ? { properties: p.properties } : {}),
+            ...(p.testResults ? { testResults: p.testResults } : {}), ...(p.testSpecificationIds ? { testSpecificationIds: p.testSpecificationIds } : {}), ...(p.testResults ? { testResults: p.testResults } : {}), ...effectiveOnly(p) };
     }
     buildAsset(a) {
-        return { id: a.id, assetClassIds: a.assetClassIds, location: a.homeLocation, status: 'idle', taskId: null, ...(a.properties ? { properties: a.properties } : {}), ...(a.testSpecificationIds ? { testSpecificationIds: a.testSpecificationIds } : {}), ...effectiveOnly(a) };
+        return { id: a.id, assetClassIds: a.assetClassIds, location: a.homeLocation, status: 'idle', taskId: null, ...(a.properties ? { properties: a.properties } : {}),
+            ...(a.testResults ? { testResults: a.testResults } : {}), ...(a.testSpecificationIds ? { testSpecificationIds: a.testSpecificationIds } : {}), ...(a.testResults ? { testResults: a.testResults } : {}), ...effectiveOnly(a) };
     }
     /**
      * 이 커널이 **관측으로 구동된다**고 선언한다 — 미러가 첫 이벤트를 받기 전에도 그렇다.
@@ -1843,6 +1845,26 @@ export class FlowEngine {
             });
         }
     }
+    /**
+     * 이 사람이 **속한 등급들이 요구하는 시험**을 만족하나.
+     *
+     * 요구는 등급이 말하고(`ResourceClassDef.testSpecificationIds`) 기록은 사람이 든다. 상속을 타고 닫은
+     * 등급 전부의 요구를 모아 본다 — 상위 등급이 요구하는 시험도 자격의 조건이다.
+     *
+     * 판정 규칙은 계약이 소유한다(`meetsTests`) — 여기서 다시 적으면 규칙이 두 곳이 되고, 한쪽이 만료를
+     * 조용히 통과시킨다.
+     */
+    qualifiedByTests(p) {
+        const defs = this.classDefs.personnel;
+        if (!defs?.length)
+            return true;
+        const closure = classClosure(p.personnelClassIds, defs, this.now());
+        const required = [];
+        for (const d of defs)
+            if (closure.has(d.id))
+                required.push(...(d.testSpecificationIds ?? []));
+        return meetsTests(required, p.testResults, this.now());
+    }
     claimPersonnel(t) {
         const need = this.operationSpecs.get(t.kind)?.personnelSpecification;
         if (!need?.length)
@@ -1860,7 +1882,16 @@ export class FlowEngine {
                    다른 등급을 상속한다. "생산직 2명" 요구를 "용접 자격자" 가 만족해야 한다.
                    유효기간 밖의 등급은 닫힘에서 빠진다(만료된 자격으로 배정되지 않는다). */
                 (req.personnelClass === undefined ||
-                    classClosure(p.personnelClassIds, this.classDefs.personnel, this.now()).has(req.personnelClass)));
+                    classClosure(p.personnelClassIds, this.classDefs.personnel, this.now()).has(req.personnelClass)) &&
+                /*
+                 * **요구된 시험을 만족하나** — 등급이 요구하고(`testSpecificationIds`) 사람이 결과를 든다
+                 * (`testResults`). 만료·불합격이면 그 자격은 성립하지 않는다.
+                 *
+                 * 결과가 **아예 없으면 막지 않는다**: 없는 것으로 막으면 자격자가 전부 사라져 라인이 영구히
+                 * 굶고, 원본이 결과를 주지 않는 현장에서는 그 제약이 선언되지 않은 것이다("선언한 것만
+                 * 제약이 된다" — 이 커널의 규율).
+                 */
+                this.qualifiedByTests(p));
             if (avail.length < want)
                 return null; // 한 등급이라도 모자라면 시작하지 않는다
             for (let i = 0; i < want; i++)

package/dist-cjs/index.cjs

@@ -99,6 +99,7 @@ __export(index_exports, {
   lgtinClass: () => lgtinClass,
   locationStatusOf: () => locationStatusOf,
   mapRecord: () => mapRecord,
+  meetsTests: () => meetsTests,
   minuteOfDayAt: () => minuteOfDayAt,
   monteCarloForecast: () => monteCarloForecast,
   objectEvent: () => objectEvent,
@@ -123,6 +124,7 @@ __export(index_exports, {
   ssccUri: () => ssccUri,
   stateFieldsOf: () => stateFieldsOf,
   subLotIdOf: () => subLotIdOf,
+  testPassedAt: () => testPassedAt,
   transactionEvent: () => transactionEvent,
   transformationEvent: () => transformationEvent,
   validateDomainDefinition: () => validateDomainDefinition,
@@ -218,6 +220,21 @@ function hierarchyOf(s) {
     }
   };
 }
+function testPassedAt(r, at) {
+  if (r.result !== "pass") return false;
+  if (!r.expiresAt || !at) return r.result === "pass";
+  return Date.parse(at) <= Date.parse(r.expiresAt);
+}
+function meetsTests(required, results, at) {
+  if (!required.length) return true;
+  const bySpec = new Map((results ?? []).map((r) => [r.specId, r]));
+  for (const specId of required) {
+    const r = bySpec.get(specId);
+    if (!r) continue;
+    if (!testPassedAt(r, at)) return false;
+  }
+  return true;
+}
 function effectivityAt(p, at) {
   if (!p || !at) return void 0;
   const atMs = Date.parse(at);
@@ -1676,6 +1693,21 @@ var TWIN_AXES = [
     kind: "class",
     standardClass: { isa95: "MaterialDefinition" }
   },
+  /*
+   * 시험 명세 — **자원 아홉 종류가 가리키는 대상.**
+   *
+   * 이 축이 없던 동안 `testSpecificationIds` 는 허공을 가리켰다(값은 실리는데 무엇인지 아무도 모른다).
+   * 축이 서면 인스펙션의 선 채움이 **끊어진 참조를 센다** — 없는 명세를 가리키면 화면이 말한다.
+   *
+   * `kind: 'spec'` 이다: 자원도 등급도 아니고 **판정의 정의**다(공정·레시피와 같은 부류).
+   */
+  {
+    axis: "testSpecifications",
+    path: "testSpecifications",
+    label: "twin.axis.testSpecifications",
+    kind: "spec",
+    standardClass: { isa95: "TestSpecification" }
+  },
   /*
    * ── ISA-95 Part 4 — 일정과 실적 ────────────────────────────────────────────────
    *
@@ -1744,6 +1776,21 @@ var TWIN_RELATIONS = [
   { 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 },
+  /*
+   * 자격을 검증한 시험 — **여덟 갈래.** 자원(개체)과 등급 양쪽이 가리킨다: 표준이 그 둘 모두에 이
+   * 참조를 두었기 때문이다(개체는 "이 사람이 통과했다", 등급은 "이 자격은 이 시험을 요구한다").
+   *
+   * **자리(`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: "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 }
@@ -2364,10 +2411,34 @@ var FlowEngine = class {
     return { id: n.id, type: n.type, capacity: n.capacity, parallelism: n.parallelism, occupancy: 0, status: "idle", parentId: n.parentId };
   }
   buildPerson(p) {
-    return { id: p.id, personnelClassIds: p.personnelClassIds, status: "idle", taskId: null, window: p.window, ...p.workCalendar ? { workCalendar: p.workCalendar } : {}, ...p.homeLocation ? { location: p.homeLocation } : {}, ...p.properties ? { properties: p.properties } : {}, ...p.testSpecificationIds ? { testSpecificationIds: p.testSpecificationIds } : {}, ...effectiveOnly(p) };
+    return {
+      id: p.id,
+      personnelClassIds: p.personnelClassIds,
+      status: "idle",
+      taskId: null,
+      window: p.window,
+      ...p.workCalendar ? { workCalendar: p.workCalendar } : {},
+      ...p.homeLocation ? { location: p.homeLocation } : {},
+      ...p.properties ? { properties: p.properties } : {},
+      ...p.testResults ? { testResults: p.testResults } : {},
+      ...p.testSpecificationIds ? { testSpecificationIds: p.testSpecificationIds } : {},
+      ...p.testResults ? { testResults: p.testResults } : {},
+      ...effectiveOnly(p)
+    };
   }
   buildAsset(a) {
-    return { id: a.id, assetClassIds: a.assetClassIds, location: a.homeLocation, status: "idle", taskId: null, ...a.properties ? { properties: a.properties } : {}, ...a.testSpecificationIds ? { testSpecificationIds: a.testSpecificationIds } : {}, ...effectiveOnly(a) };
+    return {
+      id: a.id,
+      assetClassIds: a.assetClassIds,
+      location: a.homeLocation,
+      status: "idle",
+      taskId: null,
+      ...a.properties ? { properties: a.properties } : {},
+      ...a.testResults ? { testResults: a.testResults } : {},
+      ...a.testSpecificationIds ? { testSpecificationIds: a.testSpecificationIds } : {},
+      ...a.testResults ? { testResults: a.testResults } : {},
+      ...effectiveOnly(a)
+    };
   }
   /**
    * 이 커널이 **관측으로 구동된다**고 선언한다 — 미러가 첫 이벤트를 받기 전에도 그렇다.
@@ -3769,6 +3840,23 @@ var FlowEngine = class {
       });
     }
   }
+  /**
+   * 이 사람이 **속한 등급들이 요구하는 시험**을 만족하나.
+   *
+   * 요구는 등급이 말하고(`ResourceClassDef.testSpecificationIds`) 기록은 사람이 든다. 상속을 타고 닫은
+   * 등급 전부의 요구를 모아 본다 — 상위 등급이 요구하는 시험도 자격의 조건이다.
+   *
+   * 판정 규칙은 계약이 소유한다(`meetsTests`) — 여기서 다시 적으면 규칙이 두 곳이 되고, 한쪽이 만료를
+   * 조용히 통과시킨다.
+   */
+  qualifiedByTests(p) {
+    const defs = this.classDefs.personnel;
+    if (!defs?.length) return true;
+    const closure = classClosure(p.personnelClassIds, defs, this.now());
+    const required = [];
+    for (const d of defs) if (closure.has(d.id)) required.push(...d.testSpecificationIds ?? []);
+    return meetsTests(required, p.testResults, this.now());
+  }
   claimPersonnel(t) {
     const need = this.operationSpecs.get(t.kind)?.personnelSpecification;
     if (!need?.length) return [];
@@ -3781,7 +3869,15 @@ var FlowEngine = class {
         /* 자격은 **상속을 타고 닫아** 판정한다 — 사람은 여러 등급에 속할 수 있고(표준), 등급은
            다른 등급을 상속한다. "생산직 2명" 요구를 "용접 자격자" 가 만족해야 한다.
            유효기간 밖의 등급은 닫힘에서 빠진다(만료된 자격으로 배정되지 않는다). */
-        (req.personnelClass === void 0 || classClosure(p.personnelClassIds, this.classDefs.personnel, this.now()).has(req.personnelClass))
+        (req.personnelClass === void 0 || classClosure(p.personnelClassIds, this.classDefs.personnel, this.now()).has(req.personnelClass)) && /*
+         * **요구된 시험을 만족하나** — 등급이 요구하고(`testSpecificationIds`) 사람이 결과를 든다
+         * (`testResults`). 만료·불합격이면 그 자격은 성립하지 않는다.
+         *
+         * 결과가 **아예 없으면 막지 않는다**: 없는 것으로 막으면 자격자가 전부 사라져 라인이 영구히
+         * 굶고, 원본이 결과를 주지 않는 현장에서는 그 제약이 선언되지 않은 것이다("선언한 것만
+         * 제약이 된다" — 이 커널의 규율).
+         */
+        this.qualifiedByTests(p)
       );
       if (avail.length < want) return null;
       for (let i = 0; i < want; i++) picked.push(avail[i].id);
@@ -5089,6 +5185,7 @@ function retiredVocabularyIn(line) {
   lgtinClass,
   locationStatusOf,
   mapRecord,
+  meetsTests,
   minuteOfDayAt,
   monteCarloForecast,
   objectEvent,
@@ -5113,6 +5210,7 @@ function retiredVocabularyIn(line) {
   ssccUri,
   stateFieldsOf,
   subLotIdOf,
+  testPassedAt,
   transactionEvent,
   transformationEvent,
   validateDomainDefinition,

package/package.json

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