@things-factory/station 10.1.33

package/dist-server/service/station/station-assignment-service.js

@@ -0,0 +1,64 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.stationSituationOf = stationSituationOf;
+exports.stationAssignmentFor = stationAssignmentFor;
+const typeorm_1 = require("typeorm");
+const ops_master_1 = require("@things-factory/ops-master");
+const station_screen_assignment_1 = require("./station-screen-assignment");
+const station_assignment_choice_1 = require("./station-assignment-choice");
+const station_product_js_1 = require("./station-product.js");
+/**
+ * What this station is, in the words the assignment selects on.
+ *
+ * ── Read the situation from the same place the screen reads it ─────────────
+ * It comes from the product's declared ground reader, which is the same function the screen's own
+ * context is built on. One vocabulary answers both "which screen shows" and "what does it show" —
+ * gathered separately they would drift, and a factory could select on something the screen cannot
+ * display and never work out why the board is blank.
+ *
+ * Declared rather than imported so the machinery does not name this product (ADR-0083 decision 2).
+ */
+async function stationSituationOf(manager, domain, equipmentName, at) {
+    const ground = await (0, station_product_js_1.stationProduct)().readGround(manager, domain, equipmentName, at);
+    const equipment = await manager.findOne(ops_master_1.Equipment, {
+        where: { domain: { id: domain.id }, name: equipmentName }
+    });
+    return {
+        equipmentName,
+        /*
+         * 소속은 `equipmentClassIds ∪ {kind}` 다 — 계약이 그렇게 본다(`equipmentClassMembership`).
+         * `kind` 를 빼면 등급 칸이 열리기 전에 만든 설비가 「용접설비」 배정에서 조용히 빠진다.
+         */
+        equipmentClassIds: [...(equipment?.equipmentClassIds ?? []), ...(equipment?.kind ? [equipment.kind] : [])],
+        workCenterName: ground.workCenterName,
+        operationKey: at?.operationKey,
+        routeKey: ground.routeKey,
+        materialClassIds: ground.materialClassIds,
+        personnelClassIds: ground.personnelClassIds
+    };
+}
+/**
+ * Which board this station shows right now.
+ *
+ * ── Effectiveness is filtered here, matching is not ────────────────────────
+ * A row that does not apply today is not a candidate at all, so it is left out before the rule runs
+ * — keeping the pure rule about specificity and nothing else. The dates are the standard
+ * `EffectiveStartDate` / `EffectiveEndDate` pair the masters already use, and they are what lets a
+ * changeover be prepared in advance rather than switched by hand on the morning.
+ */
+async function stationAssignmentFor(manager, domain, equipmentName, at, now = new Date()) {
+    const rows = await manager.find(station_screen_assignment_1.StationScreenAssignment, {
+        where: [
+            { domain: { id: domain.id }, effectiveStart: (0, typeorm_1.IsNull)(), effectiveEnd: (0, typeorm_1.IsNull)() },
+            { domain: { id: domain.id }, effectiveStart: (0, typeorm_1.LessThanOrEqual)(now), effectiveEnd: (0, typeorm_1.IsNull)() },
+            { domain: { id: domain.id }, effectiveStart: (0, typeorm_1.IsNull)(), effectiveEnd: (0, typeorm_1.MoreThan)(now) },
+            { domain: { id: domain.id }, effectiveStart: (0, typeorm_1.LessThanOrEqual)(now), effectiveEnd: (0, typeorm_1.MoreThan)(now) }
+        ]
+    });
+    if (!rows.length) {
+        return undefined;
+    }
+    const situation = await stationSituationOf(manager, domain, equipmentName, at);
+    return (0, station_assignment_choice_1.chooseStationAssignment)(rows, situation);
+}
+//# sourceMappingURL=station-assignment-service.js.map

package/dist-server/service/station/station-assignment-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"station-assignment-service.js","sourceRoot":"","sources":["../../../server/service/station/station-assignment-service.ts"],"names":[],"mappings":";;AAqBA,gDAyBC;AAWD,oDAuBC;AAhFD,qCAA0E;AAG1E,2DAAsD;AAEtD,2EAAqE;AACrE,2EAAqE;AAErE,6DAAqD;AAErD;;;;;;;;;;GAUG;AACI,KAAK,UAAU,kBAAkB,CACtC,OAAsB,EACtB,MAAc,EACd,aAAqB,EACrB,EAA4E;IAE5E,MAAM,MAAM,GAAG,MAAM,IAAA,mCAAc,GAAE,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,CAAA;IAEpF,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC,sBAAS,EAAE;QACjD,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;KAC1D,CAAC,CAAA;IAEF,OAAO;QACL,aAAa;QACb;;;WAGG;QACH,iBAAiB,EAAE,CAAC,GAAG,CAAC,SAAS,EAAE,iBAAiB,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1G,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,YAAY,EAAE,EAAE,EAAE,YAAY;QAC9B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;KAC5C,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACI,KAAK,UAAU,oBAAoB,CACxC,OAAsB,EACtB,MAAc,EACd,aAAqB,EACrB,EAA4E,EAC5E,MAAY,IAAI,IAAI,EAAE;IAEtB,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,mDAAuB,EAAE;QACvD,KAAK,EAAE;YACL,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,IAAA,gBAAM,GAAE,EAAE,YAAY,EAAE,IAAA,gBAAM,GAAE,EAAE;YAC/E,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,IAAA,yBAAe,EAAC,GAAG,CAAC,EAAE,YAAY,EAAE,IAAA,gBAAM,GAAE,EAAE;YAC3F,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,IAAA,gBAAM,GAAE,EAAE,YAAY,EAAE,IAAA,kBAAQ,EAAC,GAAG,CAAC,EAAE;YACpF,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,EAAE,cAAc,EAAE,IAAA,yBAAe,EAAC,GAAG,CAAC,EAAE,YAAY,EAAE,IAAA,kBAAQ,EAAC,GAAG,CAAC,EAAE;SACjG;KACF,CAAC,CAAA;IAEF,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,CAAC,CAAA;IAE9E,OAAO,IAAA,mDAAuB,EAAC,IAA+B,EAAE,SAAS,CAAC,CAAA;AAC5E,CAAC","sourcesContent":["import { EntityManager, IsNull, LessThanOrEqual, MoreThan } from 'typeorm'\n\nimport { Domain } from '@things-factory/shell'\nimport { Equipment } from '@things-factory/ops-master'\n\nimport { StationScreenAssignment } from './station-screen-assignment'\nimport { chooseStationAssignment } from './station-assignment-choice'\nimport type { StationAssignmentChoice, StationAssignmentRule, StationAssignmentSituation } from './station-assignment-choice'\nimport { stationProduct } from './station-product.js'\n\n/**\n * What this station is, in the words the assignment selects on.\n *\n * ── Read the situation from the same place the screen reads it ─────────────\n * It comes from the product's declared ground reader, which is the same function the screen's own\n * context is built on. One vocabulary answers both \"which screen shows\" and \"what does it show\" —\n * gathered separately they would drift, and a factory could select on something the screen cannot\n * display and never work out why the board is blank.\n *\n * Declared rather than imported so the machinery does not name this product (ADR-0083 decision 2).\n */\nexport async function stationSituationOf(\n  manager: EntityManager,\n  domain: Domain,\n  equipmentName: string,\n  at?: { operationKey?: string; operatorName?: string; jobOrderName?: string }\n): Promise<StationAssignmentSituation> {\n  const ground = await stationProduct().readGround(manager, domain, equipmentName, at)\n\n  const equipment = await manager.findOne(Equipment, {\n    where: { domain: { id: domain.id }, name: equipmentName }\n  })\n\n  return {\n    equipmentName,\n    /*\n     * 소속은 `equipmentClassIds ∪ {kind}` 다 — 계약이 그렇게 본다(`equipmentClassMembership`).\n     * `kind` 를 빼면 등급 칸이 열리기 전에 만든 설비가 「용접설비」 배정에서 조용히 빠진다.\n     */\n    equipmentClassIds: [...(equipment?.equipmentClassIds ?? []), ...(equipment?.kind ? [equipment.kind] : [])],\n    workCenterName: ground.workCenterName,\n    operationKey: at?.operationKey,\n    routeKey: ground.routeKey,\n    materialClassIds: ground.materialClassIds,\n    personnelClassIds: ground.personnelClassIds\n  }\n}\n\n/**\n * Which board this station shows right now.\n *\n * ── Effectiveness is filtered here, matching is not ────────────────────────\n * A row that does not apply today is not a candidate at all, so it is left out before the rule runs\n * — keeping the pure rule about specificity and nothing else. The dates are the standard\n * `EffectiveStartDate` / `EffectiveEndDate` pair the masters already use, and they are what lets a\n * changeover be prepared in advance rather than switched by hand on the morning.\n */\nexport async function stationAssignmentFor(\n  manager: EntityManager,\n  domain: Domain,\n  equipmentName: string,\n  at?: { operationKey?: string; operatorName?: string; jobOrderName?: string },\n  now: Date = new Date()\n): Promise<StationAssignmentChoice | undefined> {\n  const rows = await manager.find(StationScreenAssignment, {\n    where: [\n      { domain: { id: domain.id }, effectiveStart: IsNull(), effectiveEnd: IsNull() },\n      { domain: { id: domain.id }, effectiveStart: LessThanOrEqual(now), effectiveEnd: IsNull() },\n      { domain: { id: domain.id }, effectiveStart: IsNull(), effectiveEnd: MoreThan(now) },\n      { domain: { id: domain.id }, effectiveStart: LessThanOrEqual(now), effectiveEnd: MoreThan(now) }\n    ]\n  })\n\n  if (!rows.length) {\n    return undefined\n  }\n\n  const situation = await stationSituationOf(manager, domain, equipmentName, at)\n\n  return chooseStationAssignment(rows as StationAssignmentRule[], situation)\n}\n"]}

package/dist-server/service/station/station-axes.d.ts

@@ -0,0 +1,9 @@
+/**
+ * The closed set of context axes, as the server sees it.
+ *
+ * The names themselves are declared once, in `shared/station-axes.js`, so that the browser's
+ * authoring surface and this gate cannot hold two lists that drift apart. Read that file for why
+ * the set is closed at all and why it lives there; this one exists so the server keeps importing
+ * the axes by the name it always did, and so `checkFlow` has a local place to reach for them.
+ */
+export { STATION_AXES, isStationAxis, nearestAxes } from '../../../shared/station-axes.js';

package/dist-server/service/station/station-axes.js

@@ -0,0 +1,16 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nearestAxes = exports.isStationAxis = exports.STATION_AXES = void 0;
+/**
+ * The closed set of context axes, as the server sees it.
+ *
+ * The names themselves are declared once, in `shared/station-axes.js`, so that the browser's
+ * authoring surface and this gate cannot hold two lists that drift apart. Read that file for why
+ * the set is closed at all and why it lives there; this one exists so the server keeps importing
+ * the axes by the name it always did, and so `checkFlow` has a local place to reach for them.
+ */
+var station_axes_js_1 = require("../../../shared/station-axes.js");
+Object.defineProperty(exports, "STATION_AXES", { enumerable: true, get: function () { return station_axes_js_1.STATION_AXES; } });
+Object.defineProperty(exports, "isStationAxis", { enumerable: true, get: function () { return station_axes_js_1.isStationAxis; } });
+Object.defineProperty(exports, "nearestAxes", { enumerable: true, get: function () { return station_axes_js_1.nearestAxes; } });
+//# sourceMappingURL=station-axes.js.map

package/dist-server/service/station/station-axes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"station-axes.js","sourceRoot":"","sources":["../../../server/service/station/station-axes.ts"],"names":[],"mappings":";;;AAAA;;;;;;;GAOG;AACH,mEAA0F;AAAjF,+GAAA,YAAY,OAAA;AAAE,gHAAA,aAAa,OAAA;AAAE,8GAAA,WAAW,OAAA","sourcesContent":["/**\n * The closed set of context axes, as the server sees it.\n *\n * The names themselves are declared once, in `shared/station-axes.js`, so that the browser's\n * authoring surface and this gate cannot hold two lists that drift apart. Read that file for why\n * the set is closed at all and why it lives there; this one exists so the server keeps importing\n * the axes by the name it always did, and so `checkFlow` has a local place to reach for them.\n */\nexport { STATION_AXES, isStationAxis, nearestAxes } from '../../../shared/station-axes.js'\n"]}

package/dist-server/service/station/station-flow.d.ts

@@ -0,0 +1,156 @@
+/**
+ * What a station screen does — **the flow, and the checks that read it.**
+ *
+ * Pure on purpose. The value this authoring surface sells is catching a mistake before the screen
+ * hangs on a bench, and a check nobody can run without a database and a logged-in browser is a
+ * check nobody runs.
+ *
+ * ── Why a flow and not a list of fields ────────────────────────────────────
+ * Half of a bench screen is not display. The operator scans, starts, counts, records a stop reason,
+ * finishes — each of those reads something and most of them **write** something. A design that only
+ * describes what is shown cannot say whether the finish button will produce a usable record.
+ *
+ * ── Where the safety comes from ────────────────────────────────────────────
+ * Not from the prompt, and not from care. From three closed sets — the step kinds below, the
+ * context axes (`stationBindingNames()` is their only source), and the roles — plus the shape of
+ * the service being called, which comes from the schema rather than from anybody's memory.
+ */
+/**
+ * What a step is, as the operator experiences it.
+ *
+ * Five, and deliberately not one per scene component. These are **the unit the checks ask about** —
+ * "does the run step have a source for every required argument", "is there an enter step feeding
+ * it" — and those questions cannot be asked of ten drawing parts. How a step is drawn is a separate
+ * matter that the layout decides.
+ */
+export type StationStepKind = 
+/** Reads a badge or a label and changes what the station knows. Writes nothing. */
+'scan'
+/** Shows values. Reads only. */
+ | 'show'
+/** The operator puts a number in. This is what an argument can take its value from. */
+ | 'enter'
+/** Calls a mutation. Decides `status` and the clock fields from its own meaning. */
+ | 'run'
+/** Not drawn. How often this screen reads, and what it reads. */
+ | 'settings'
+/** A standard display block retained while a pre-Composer screen is migrated. */
+ | 'legacy';
+/**
+ * Where an argument's value comes from. **Three, and no others.**
+ *
+ * A field with no source is the defect this module exists to name.
+ */
+export type StationArgumentSource = 
+/** The harness already knows it — equipment, operation, the scanned person. */
+{
+    from: 'context';
+    axis: string;
+}
+/** The step's own meaning decides it — `status`, `endTime`. */
+ | {
+    from: 'step';
+}
+/** A person put it in, at the named step. */
+ | {
+    from: 'input';
+    stepId: string;
+}
+/** Written down here on purpose. Rare, and visible when it happens. */
+ | {
+    from: 'fixed';
+    value: string | number | boolean;
+};
+/** One argument of the service a step calls, as the schema describes it. */
+export interface StationServiceField {
+    name: string;
+    /** What the field's own owner wrote about it, when they wrote anything. Shown instead of the name. */
+    describes?: string;
+    /** `!` in the schema. Without a source the call fails. */
+    required: boolean;
+    /**
+     * Absent means "nobody wrote it down", not zero.
+     *
+     * `ProductionReportPatch.goodCount` is the case this exists for: it is not required, so a finish
+     * button with no number pad is syntactically fine and produces a report that reads as if nothing
+     * was made. Which fields are like that is domain knowledge, so it is **told to this module**
+     * rather than guessed by it.
+     */
+    notable?: boolean;
+}
+/** The mutation a step calls, in the shape the schema gives. */
+export interface StationService {
+    /** The mutation name, exactly as in the schema. */
+    name: string;
+    fields: StationServiceField[];
+}
+export interface StationStep {
+    id: string;
+    kind: StationStepKind;
+    /** 실행 의미. 이름표를 바꾸어도 수행 업무는 바뀌지 않는다. */
+    action?: 'start' | 'finish' | 'pause' | 'resume';
+    /** What the operator sees on it. Absent means the axis name is used — never nothing. */
+    label?: string;
+    /** Context axes this step displays. Names come from `stationBindingNames()`. */
+    reads?: string[];
+    /**
+     * For `settings` steps — how often the screen re-reads.
+     *
+     * Nothing is drawn for it, but it has to survive into the model: without a home here the value
+     * a generator computes from the operation's duration is dropped on the way to the board, and
+     * every screen ends up on the same default with nothing saying why.
+     */
+    refreshSeconds?: number;
+    /** For `run` steps. */
+    service?: StationService;
+    /** Field name → where its value comes from. Only meaningful with a service. */
+    arguments?: Record<string, StationArgumentSource>;
+    /** A rendered Station block not yet expressible by the five authoring step kinds. */
+    legacyPart?: Record<string, unknown>;
+}
+export interface StationFlow {
+    steps: StationStep[];
+}
+export type StationProblemLevel = 'error' | 'warning';
+export interface StationProblem {
+    level: StationProblemLevel;
+    /** Which step, when it is about one. */
+    stepId?: string;
+    /** Which argument, when it is about one. */
+    field?: string;
+    /**
+     * Which check this is — the screen says it in the reader's language.
+     *
+     * ── Why a code after all ────────────────────────────────────────────────
+     * This used to be prose only, on the reasoning that an author reads it and nothing matches on
+     * it. That held right up until the composer put it on screen: the panel was in English and
+     * these sentences came out in Korean, because the server had written them. A sentence the
+     * server composes can only ever be in one language.
+     *
+     * So the server states **which** check failed and **about what**; the screen says it.
+     */
+    code: string;
+    /** Values to fill into that sentence — a field name, a step's name, a service name. */
+    params?: Record<string, string>;
+    /**
+     * The same thing in Korean, composed here.
+     *
+     * Not for the screen. This is what `npm run test:station` and the logs print, where there is
+     * no i18n and no reader to ask.
+     */
+    says: string;
+}
+/**
+ * Every context axis this flow reads.
+ *
+ * This is what `StationScreenSpec.requires` is filled from — derived, never typed. An author who
+ * has to keep a list in step with the screen will not, and then the assignment check is checking
+ * something that used to be true.
+ */
+export declare function axesRead(flow: StationFlow): string[];
+/**
+ * What is wrong with this flow — **from the flow and the schema alone.**
+ *
+ * No database, no running station. Everything here is answerable at the moment somebody is drawing.
+ */
+export declare function checkFlow(flow: StationFlow): StationProblem[];

package/dist-server/service/station/station-flow.js

@@ -0,0 +1,255 @@
+"use strict";
+/**
+ * What a station screen does — **the flow, and the checks that read it.**
+ *
+ * Pure on purpose. The value this authoring surface sells is catching a mistake before the screen
+ * hangs on a bench, and a check nobody can run without a database and a logged-in browser is a
+ * check nobody runs.
+ *
+ * ── Why a flow and not a list of fields ────────────────────────────────────
+ * Half of a bench screen is not display. The operator scans, starts, counts, records a stop reason,
+ * finishes — each of those reads something and most of them **write** something. A design that only
+ * describes what is shown cannot say whether the finish button will produce a usable record.
+ *
+ * ── Where the safety comes from ────────────────────────────────────────────
+ * Not from the prompt, and not from care. From three closed sets — the step kinds below, the
+ * context axes (`stationBindingNames()` is their only source), and the roles — plus the shape of
+ * the service being called, which comes from the schema rather than from anybody's memory.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.axesRead = axesRead;
+exports.checkFlow = checkFlow;
+const station_axes_js_1 = require("./station-axes.js");
+/**
+ * Every context axis this flow reads.
+ *
+ * This is what `StationScreenSpec.requires` is filled from — derived, never typed. An author who
+ * has to keep a list in step with the screen will not, and then the assignment check is checking
+ * something that used to be true.
+ */
+function axesRead(flow) {
+    const seen = new Set();
+    for (const step of flow.steps) {
+        step.reads?.forEach(axis => seen.add(axis));
+        for (const source of Object.values(step.arguments ?? {})) {
+            if (source.from === 'context') {
+                seen.add(source.axis);
+            }
+        }
+    }
+    return [...seen].sort();
+}
+/**
+ * What is wrong with this flow — **from the flow and the schema alone.**
+ *
+ * No database, no running station. Everything here is answerable at the moment somebody is drawing.
+ */
+function checkFlow(flow) {
+    const problems = [];
+    /*
+     * ── 축 이름부터 본다 ──────────────────────────────────────────────────
+     * 이것이 없던 동안 오타 축이 모든 검사를 지나 **영원히 빈 칸**으로 현장에 섰다. 미리보기에서도
+     * 「지금 값이 없는 정상 축」과 똑같이 보여서, 벤치에 걸기 전에 알 방법이 없었다 — 이 저작면이
+     * 없애려던 바로 그 혼동이다.
+     */
+    for (const step of flow.steps) {
+        for (const axis of step.reads ?? []) {
+            if (!(0, station_axes_js_1.isStationAxis)(axis)) {
+                problems.push(unknownAxis(step, axis));
+            }
+        }
+        for (const [field, source] of Object.entries(step.arguments ?? {})) {
+            if (source.from === 'context' && !(0, station_axes_js_1.isStationAxis)(source.axis)) {
+                problems.push({ ...unknownAxis(step, source.axis), field });
+            }
+        }
+    }
+    const byId = new Map(flow.steps.map(step => [step.id, step]));
+    /* 차례가 뜻을 갖는다 — 값을 받는 자리는 그 값을 쓰는 자리보다 앞에 있어야 한다. */
+    const order = flow.steps.map(step => step.id);
+    for (const step of flow.steps) {
+        if (!step.service) {
+            /*
+             * A step that writes nothing has nothing to check here. It is not an error to have one —
+             * a screen that only shows is a perfectly good screen.
+             */
+            continue;
+        }
+        const sources = step.arguments ?? {};
+        for (const field of step.service.fields) {
+            const source = sources[field.name];
+            if (!source) {
+                if (field.required) {
+                    problems.push({
+                        level: 'error',
+                        stepId: step.id,
+                        field: field.name,
+                        code: 'text.check-required-has-no-source',
+                        params: { step: label(step), field: field.name },
+                        says: `「${label(step)}」의 필수 칸 ${field.name} 에 출처가 없습니다 — 누르면 실패합니다`
+                    });
+                }
+                else if (field.notable && field.name === 'goodCount') {
+                    /*
+                     * 양품 수는 **결과가 구체적이다.** 이 작업대가 지시의 마지막 공정이면 서버가 수 없는 완료를 거절한다
+                     * (`report-completed-without-counts`). 저작 시점에는 어느 공정의 작업대인지 모르므로 경고로 두되,
+                     * 막연한 말 대신 그 결과를 말한다(아키텍트 판정 2026-09-17).
+                     */
+                    problems.push({
+                        level: 'warning',
+                        stepId: step.id,
+                        field: field.name,
+                        code: 'text.check-final-count-has-no-source',
+                        params: { step: label(step) },
+                        says: `「${label(step)}」을 눌러도 양품 수 없이 기록됩니다. 이 작업대가 지시의 마지막 공정이면 서버가 완료를 거절합니다. 양품 수를 받는 단계를 연결하십시오.`
+                    });
+                }
+                else if (field.notable) {
+                    problems.push({
+                        level: 'warning',
+                        stepId: step.id,
+                        field: field.name,
+                        code: 'text.check-notable-has-no-source',
+                        params: { step: label(step), field: field.name },
+                        says: `「${label(step)}」을 눌러도 ${field.name} 없이 기록됩니다. 비워 두면 0 이 아니라 적지 않은 것으로 남습니다.`
+                    });
+                }
+                continue;
+            }
+            /*
+             * An argument can name a step that is not there, or one that never asks anybody for anything.
+             * Both look fine in the editor and both fail on the bench.
+             */
+            if (source.from === 'input') {
+                const feeding = byId.get(source.stepId);
+                if (!feeding) {
+                    problems.push({
+                        level: 'error',
+                        stepId: step.id,
+                        field: field.name,
+                        code: 'text.check-source-step-gone',
+                        params: { field: field.name },
+                        says: `${field.name} 이 지워진 단계에서 값을 받게 되어 있습니다 — 그 단계를 다시 세우거나 출처를 바꾸십시오`
+                    });
+                }
+                else if (feeding.kind === 'enter' && order.indexOf(feeding.id) > order.indexOf(step.id)) {
+                    /*
+                     * The pad comes **after** the button that reads it.
+                     *
+                     * Nothing about this is wrong to the type system and the argument does point at a real
+                     * entry step, so every other check here passes. On the bench the operator presses finish
+                     * and only then reaches the box, and the count they type lands nowhere — the report is
+                     * already filed. Reordering steps is what makes this reachable, which is why it is here.
+                     */
+                    problems.push({
+                        level: 'error',
+                        stepId: step.id,
+                        field: field.name,
+                        code: 'text.check-source-comes-later',
+                        params: { field: field.name, from: label(feeding) },
+                        says: `${field.name} 이 「${label(feeding)}」에서 값을 받는데 그 단계가 이 단계보다 뒤에 있습니다. 값을 주는 단계를 앞으로 옮기십시오.`
+                    });
+                }
+                else if (feeding.kind !== 'enter') {
+                    problems.push({
+                        level: 'error',
+                        stepId: step.id,
+                        field: field.name,
+                        code: 'text.check-source-does-not-ask',
+                        params: { field: field.name, from: label(feeding) },
+                        says: `${field.name} 이 「${label(feeding)}」에서 값을 받는데, 그 단계는 값을 받는 자리가 아닙니다`
+                    });
+                }
+            }
+        }
+        /* An argument mapped to a field the service does not have — usually a renamed service. */
+        const known = new Set(step.service.fields.map(field => field.name));
+        for (const name of Object.keys(sources)) {
+            if (!known.has(name)) {
+                problems.push({
+                    level: 'error',
+                    stepId: step.id,
+                    field: name,
+                    code: 'text.check-service-has-no-such-field',
+                    params: { service: step.service.name, field: name },
+                    says: `${step.service.name} 에 ${name} 칸이 없습니다 — 서비스가 바뀌었는지 보십시오`
+                });
+            }
+        }
+    }
+    /*
+     * A number pad nobody reads.
+     *
+     * Not an error — the screen works. But somebody put it there meaning it to go somewhere, and
+     * on the bench an operator will type into it and watch it do nothing.
+     */
+    const consumed = new Set();
+    for (const step of flow.steps) {
+        for (const source of Object.values(step.arguments ?? {})) {
+            if (source.from === 'input') {
+                consumed.add(source.stepId);
+            }
+        }
+    }
+    for (const step of flow.steps) {
+        if (step.kind === 'enter' && !consumed.has(step.id)) {
+            problems.push({
+                level: 'warning',
+                stepId: step.id,
+                code: 'text.check-nobody-reads-this-entry',
+                params: { step: label(step) },
+                says: `「${label(step)}」에 넣은 값을 쓰는 단계가 없습니다 — 작업자가 적어도 아무 데도 안 갑니다`
+            });
+        }
+    }
+    return problems;
+}
+/**
+ * 이 단계를 사람에게 뭐라고 부르나.
+ *
+ * ── 만들어진 id 를 문장에 넣지 않는다 ────────────────────────────────────
+ * 예전에는 이름표가 없으면 `step.id` 로 떨어졌다. 그래서 저작자가 「수량 입력」을 막 더한 순간
+ * 「step-1789052869630-2 에 넣은 값을 쓰는 단계가 없습니다」를 읽었다 — 자기가 방금 누른 것이
+ * 그것인 줄 알 방법이 없다. 이름표를 아직 안 적은 것은 흔한 일이고, 잘못도 아니다.
+ *
+ * 이름표가 없으면 **그 단계가 무슨 종류인지**로 부른다. 화면의 목록에도 같은 낱말이 서 있어서
+ * 저작자가 눈으로 짚을 수 있다. 몇 번째인지는 화면이 앞에 붙인다 — 차례는 화면이 알고 있다.
+ */
+const KIND_SAID = {
+    scan: '사번 스캔',
+    show: '값 보여주기',
+    enter: '수량 입력',
+    run: '실행 단추',
+    settings: '화면 설정',
+    legacy: '보존된 표준 블록'
+};
+function label(step) {
+    return step.label?.trim() || KIND_SAID[step.kind];
+}
+/**
+ * 모르는 축 하나 — **무엇이 맞는지까지 말한다.**
+ *
+ * 「그런 축은 없습니다」에서 멈추면 저작자에게 틀렸다는 것만 알리고 남은 일은 그대로 남긴다. 이름이
+ * 쉰다섯이라 그 남은 일이 대부분이다. 한 글자 틀린 것이 흔한 경우이고, 그것이 답할 값어치가 있는
+ * 경우다.
+ */
+function unknownAxis(step, axis) {
+    const near = (0, station_axes_js_1.nearestAxes)(axis);
+    const said = axis.trim() ? axis : '(빈 이름)';
+    return near.length
+        ? {
+            level: 'error',
+            stepId: step.id,
+            code: 'text.check-unknown-axis-did-you-mean',
+            params: { axis: said, near: near.join(' · ') },
+            says: `${said} 라는 값은 없습니다 — 혹시 ${near.join(' · ')} 입니까`
+        }
+        : {
+            level: 'error',
+            stepId: step.id,
+            code: 'text.check-unknown-axis',
+            params: { axis: said },
+            says: `${said} 라는 값은 없습니다 — 고를 수 있는 것에서 골라 주십시오`
+        };
+}
+//# sourceMappingURL=station-flow.js.map

package/dist-server/service/station/station-flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"station-flow.js","sourceRoot":"","sources":["../../../server/service/station/station-flow.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;AAqIH,4BAcC;AAOD,8BA0KC;AAlUD,uDAA8D;AA4H9D;;;;;;GAMG;AACH,SAAgB,QAAQ,CAAC,IAAiB;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAE9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;QAE3C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;YACzD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC9B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;YACvB,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAA;AACzB,CAAC;AAED;;;;GAIG;AACH,SAAgB,SAAS,CAAC,IAAiB;IACzC,MAAM,QAAQ,GAAqB,EAAE,CAAA;IAErC;;;;;OAKG;IACH,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,IAAA,+BAAa,EAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;YACxC,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;YACnE,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,IAAA,+BAAa,EAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAA;YAC7D,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC7D,oDAAoD;IACpD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAE7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB;;;eAGG;YACH,SAAQ;QACV,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAA;QAEpC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAElC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;oBACnB,QAAQ,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,OAAO;wBACd,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,mCAAmC;wBACzC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;wBAChD,IAAI,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,IAAI,yBAAyB;qBACpE,CAAC,CAAA;gBACJ,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;oBACvD;;;;uBAIG;oBACH,QAAQ,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,SAAS;wBAChB,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,sCAAsC;wBAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;wBAC7B,IAAI,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,+EAA+E;qBACrG,CAAC,CAAA;gBACJ,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACzB,QAAQ,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,SAAS;wBAChB,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,kCAAkC;wBACxC,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;wBAChD,IAAI,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,IAAI,0CAA0C;qBACpF,CAAC,CAAA;gBACJ,CAAC;gBAED,SAAQ;YACV,CAAC;YAED;;;eAGG;YACH,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;gBAEvC,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,QAAQ,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,OAAO;wBACd,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,6BAA6B;wBACnC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;wBAC7B,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,qDAAqD;qBACzE,CAAC,CAAA;gBACJ,CAAC;qBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC1F;;;;;;;uBAOG;oBACH,QAAQ,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,OAAO;wBACd,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,+BAA+B;wBACrC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;wBACnD,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,uDAAuD;qBAChG,CAAC,CAAA;gBACJ,CAAC;qBAAM,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACpC,QAAQ,CAAC,IAAI,CAAC;wBACZ,KAAK,EAAE,OAAO;wBACd,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,IAAI,EAAE,gCAAgC;wBACtC,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE;wBACnD,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,OAAO,CAAC,kCAAkC;qBAC3E,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,0FAA0F;QAC1F,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QAEnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrB,QAAQ,CAAC,IAAI,CAAC;oBACZ,KAAK,EAAE,OAAO;oBACd,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,KAAK,EAAE,IAAI;oBACX,IAAI,EAAE,sCAAsC;oBAC5C,MAAM,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;oBACnD,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,MAAM,IAAI,4BAA4B;iBACjE,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAElC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC;YACzD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC;gBACZ,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE;gBAC7B,IAAI,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,6CAA6C;aACnE,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,SAAS,GAAoC;IACjD,IAAI,EAAE,OAAO;IACb,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,OAAO;IACd,GAAG,EAAE,OAAO;IACZ,QAAQ,EAAE,OAAO;IACjB,MAAM,EAAE,WAAW;CACpB,CAAA;AAED,SAAS,KAAK,CAAC,IAAiB;IAC9B,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACnD,CAAC;AAED;;;;;;GAMG;AACH,SAAS,WAAW,CAAC,IAAiB,EAAE,IAAY;IAClD,MAAM,IAAI,GAAG,IAAA,6BAAW,EAAC,IAAI,CAAC,CAAA;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAA;IAE1C,OAAO,IAAI,CAAC,MAAM;QAChB,CAAC,CAAC;YACE,KAAK,EAAE,OAAO;YACd,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,IAAI,EAAE,sCAAsC;YAC5C,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;YAC9C,IAAI,EAAE,GAAG,IAAI,oBAAoB,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;SACxD;QACH,CAAC,CAAC;YACE,KAAK,EAAE,OAAO;YACd,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,IAAI,EAAE,yBAAyB;YAC/B,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;YACtB,IAAI,EAAE,GAAG,IAAI,mCAAmC;SACjD,CAAA;AACP,CAAC","sourcesContent":["/**\n * What a station screen does — **the flow, and the checks that read it.**\n *\n * Pure on purpose. The value this authoring surface sells is catching a mistake before the screen\n * hangs on a bench, and a check nobody can run without a database and a logged-in browser is a\n * check nobody runs.\n *\n * ── Why a flow and not a list of fields ────────────────────────────────────\n * Half of a bench screen is not display. The operator scans, starts, counts, records a stop reason,\n * finishes — each of those reads something and most of them **write** something. A design that only\n * describes what is shown cannot say whether the finish button will produce a usable record.\n *\n * ── Where the safety comes from ────────────────────────────────────────────\n * Not from the prompt, and not from care. From three closed sets — the step kinds below, the\n * context axes (`stationBindingNames()` is their only source), and the roles — plus the shape of\n * the service being called, which comes from the schema rather than from anybody's memory.\n */\n\nimport { isStationAxis, nearestAxes } from './station-axes.js'\n\n/**\n * What a step is, as the operator experiences it.\n *\n * Five, and deliberately not one per scene component. These are **the unit the checks ask about** —\n * \"does the run step have a source for every required argument\", \"is there an enter step feeding\n * it\" — and those questions cannot be asked of ten drawing parts. How a step is drawn is a separate\n * matter that the layout decides.\n */\nexport type StationStepKind =\n  /** Reads a badge or a label and changes what the station knows. Writes nothing. */\n  | 'scan'\n  /** Shows values. Reads only. */\n  | 'show'\n  /** The operator puts a number in. This is what an argument can take its value from. */\n  | 'enter'\n  /** Calls a mutation. Decides `status` and the clock fields from its own meaning. */\n  | 'run'\n  /** Not drawn. How often this screen reads, and what it reads. */\n  | 'settings'\n  /** A standard display block retained while a pre-Composer screen is migrated. */\n  | 'legacy'\n\n/**\n * Where an argument's value comes from. **Three, and no others.**\n *\n * A field with no source is the defect this module exists to name.\n */\nexport type StationArgumentSource =\n  /** The harness already knows it — equipment, operation, the scanned person. */\n  | { from: 'context'; axis: string }\n  /** The step's own meaning decides it — `status`, `endTime`. */\n  | { from: 'step' }\n  /** A person put it in, at the named step. */\n  | { from: 'input'; stepId: string }\n  /** Written down here on purpose. Rare, and visible when it happens. */\n  | { from: 'fixed'; value: string | number | boolean }\n\n/** One argument of the service a step calls, as the schema describes it. */\nexport interface StationServiceField {\n  name: string\n  /** What the field's own owner wrote about it, when they wrote anything. Shown instead of the name. */\n  describes?: string\n  /** `!` in the schema. Without a source the call fails. */\n  required: boolean\n  /**\n   * Absent means \"nobody wrote it down\", not zero.\n   *\n   * `ProductionReportPatch.goodCount` is the case this exists for: it is not required, so a finish\n   * button with no number pad is syntactically fine and produces a report that reads as if nothing\n   * was made. Which fields are like that is domain knowledge, so it is **told to this module**\n   * rather than guessed by it.\n   */\n  notable?: boolean\n}\n\n/** The mutation a step calls, in the shape the schema gives. */\nexport interface StationService {\n  /** The mutation name, exactly as in the schema. */\n  name: string\n  fields: StationServiceField[]\n}\n\nexport interface StationStep {\n  id: string\n  kind: StationStepKind\n  /** 실행 의미. 이름표를 바꾸어도 수행 업무는 바뀌지 않는다. */\n  action?: 'start' | 'finish' | 'pause' | 'resume'\n  /** What the operator sees on it. Absent means the axis name is used — never nothing. */\n  label?: string\n  /** Context axes this step displays. Names come from `stationBindingNames()`. */\n  reads?: string[]\n  /**\n   * For `settings` steps — how often the screen re-reads.\n   *\n   * Nothing is drawn for it, but it has to survive into the model: without a home here the value\n   * a generator computes from the operation's duration is dropped on the way to the board, and\n   * every screen ends up on the same default with nothing saying why.\n   */\n  refreshSeconds?: number\n  /** For `run` steps. */\n  service?: StationService\n  /** Field name → where its value comes from. Only meaningful with a service. */\n  arguments?: Record<string, StationArgumentSource>\n  /** A rendered Station block not yet expressible by the five authoring step kinds. */\n  legacyPart?: Record<string, unknown>\n}\n\nexport interface StationFlow {\n  steps: StationStep[]\n}\n\nexport type StationProblemLevel = 'error' | 'warning'\n\nexport interface StationProblem {\n  level: StationProblemLevel\n  /** Which step, when it is about one. */\n  stepId?: string\n  /** Which argument, when it is about one. */\n  field?: string\n  /**\n   * Which check this is — the screen says it in the reader's language.\n   *\n   * ── Why a code after all ────────────────────────────────────────────────\n   * This used to be prose only, on the reasoning that an author reads it and nothing matches on\n   * it. That held right up until the composer put it on screen: the panel was in English and\n   * these sentences came out in Korean, because the server had written them. A sentence the\n   * server composes can only ever be in one language.\n   *\n   * So the server states **which** check failed and **about what**; the screen says it.\n   */\n  code: string\n  /** Values to fill into that sentence — a field name, a step's name, a service name. */\n  params?: Record<string, string>\n  /**\n   * The same thing in Korean, composed here.\n   *\n   * Not for the screen. This is what `npm run test:station` and the logs print, where there is\n   * no i18n and no reader to ask.\n   */\n  says: string\n}\n\n/**\n * Every context axis this flow reads.\n *\n * This is what `StationScreenSpec.requires` is filled from — derived, never typed. An author who\n * has to keep a list in step with the screen will not, and then the assignment check is checking\n * something that used to be true.\n */\nexport function axesRead(flow: StationFlow): string[] {\n  const seen = new Set<string>()\n\n  for (const step of flow.steps) {\n    step.reads?.forEach(axis => seen.add(axis))\n\n    for (const source of Object.values(step.arguments ?? {})) {\n      if (source.from === 'context') {\n        seen.add(source.axis)\n      }\n    }\n  }\n\n  return [...seen].sort()\n}\n\n/**\n * What is wrong with this flow — **from the flow and the schema alone.**\n *\n * No database, no running station. Everything here is answerable at the moment somebody is drawing.\n */\nexport function checkFlow(flow: StationFlow): StationProblem[] {\n  const problems: StationProblem[] = []\n\n  /*\n   * ── 축 이름부터 본다 ──────────────────────────────────────────────────\n   * 이것이 없던 동안 오타 축이 모든 검사를 지나 **영원히 빈 칸**으로 현장에 섰다. 미리보기에서도\n   * 「지금 값이 없는 정상 축」과 똑같이 보여서, 벤치에 걸기 전에 알 방법이 없었다 — 이 저작면이\n   * 없애려던 바로 그 혼동이다.\n   */\n  for (const step of flow.steps) {\n    for (const axis of step.reads ?? []) {\n      if (!isStationAxis(axis)) {\n        problems.push(unknownAxis(step, axis))\n      }\n    }\n\n    for (const [field, source] of Object.entries(step.arguments ?? {})) {\n      if (source.from === 'context' && !isStationAxis(source.axis)) {\n        problems.push({ ...unknownAxis(step, source.axis), field })\n      }\n    }\n  }\n  const byId = new Map(flow.steps.map(step => [step.id, step]))\n  /* 차례가 뜻을 갖는다 — 값을 받는 자리는 그 값을 쓰는 자리보다 앞에 있어야 한다. */\n  const order = flow.steps.map(step => step.id)\n\n  for (const step of flow.steps) {\n    if (!step.service) {\n      /*\n       * A step that writes nothing has nothing to check here. It is not an error to have one —\n       * a screen that only shows is a perfectly good screen.\n       */\n      continue\n    }\n\n    const sources = step.arguments ?? {}\n\n    for (const field of step.service.fields) {\n      const source = sources[field.name]\n\n      if (!source) {\n        if (field.required) {\n          problems.push({\n            level: 'error',\n            stepId: step.id,\n            field: field.name,\n            code: 'text.check-required-has-no-source',\n            params: { step: label(step), field: field.name },\n            says: `「${label(step)}」의 필수 칸 ${field.name} 에 출처가 없습니다 — 누르면 실패합니다`\n          })\n        } else if (field.notable && field.name === 'goodCount') {\n          /*\n           * 양품 수는 **결과가 구체적이다.** 이 작업대가 지시의 마지막 공정이면 서버가 수 없는 완료를 거절한다\n           * (`report-completed-without-counts`). 저작 시점에는 어느 공정의 작업대인지 모르므로 경고로 두되,\n           * 막연한 말 대신 그 결과를 말한다(아키텍트 판정 2026-09-17).\n           */\n          problems.push({\n            level: 'warning',\n            stepId: step.id,\n            field: field.name,\n            code: 'text.check-final-count-has-no-source',\n            params: { step: label(step) },\n            says: `「${label(step)}」을 눌러도 양품 수 없이 기록됩니다. 이 작업대가 지시의 마지막 공정이면 서버가 완료를 거절합니다. 양품 수를 받는 단계를 연결하십시오.`\n          })\n        } else if (field.notable) {\n          problems.push({\n            level: 'warning',\n            stepId: step.id,\n            field: field.name,\n            code: 'text.check-notable-has-no-source',\n            params: { step: label(step), field: field.name },\n            says: `「${label(step)}」을 눌러도 ${field.name} 없이 기록됩니다. 비워 두면 0 이 아니라 적지 않은 것으로 남습니다.`\n          })\n        }\n\n        continue\n      }\n\n      /*\n       * An argument can name a step that is not there, or one that never asks anybody for anything.\n       * Both look fine in the editor and both fail on the bench.\n       */\n      if (source.from === 'input') {\n        const feeding = byId.get(source.stepId)\n\n        if (!feeding) {\n          problems.push({\n            level: 'error',\n            stepId: step.id,\n            field: field.name,\n            code: 'text.check-source-step-gone',\n            params: { field: field.name },\n            says: `${field.name} 이 지워진 단계에서 값을 받게 되어 있습니다 — 그 단계를 다시 세우거나 출처를 바꾸십시오`\n          })\n        } else if (feeding.kind === 'enter' && order.indexOf(feeding.id) > order.indexOf(step.id)) {\n          /*\n           * The pad comes **after** the button that reads it.\n           *\n           * Nothing about this is wrong to the type system and the argument does point at a real\n           * entry step, so every other check here passes. On the bench the operator presses finish\n           * and only then reaches the box, and the count they type lands nowhere — the report is\n           * already filed. Reordering steps is what makes this reachable, which is why it is here.\n           */\n          problems.push({\n            level: 'error',\n            stepId: step.id,\n            field: field.name,\n            code: 'text.check-source-comes-later',\n            params: { field: field.name, from: label(feeding) },\n            says: `${field.name} 이 「${label(feeding)}」에서 값을 받는데 그 단계가 이 단계보다 뒤에 있습니다. 값을 주는 단계를 앞으로 옮기십시오.`\n          })\n        } else if (feeding.kind !== 'enter') {\n          problems.push({\n            level: 'error',\n            stepId: step.id,\n            field: field.name,\n            code: 'text.check-source-does-not-ask',\n            params: { field: field.name, from: label(feeding) },\n            says: `${field.name} 이 「${label(feeding)}」에서 값을 받는데, 그 단계는 값을 받는 자리가 아닙니다`\n          })\n        }\n      }\n    }\n\n    /* An argument mapped to a field the service does not have — usually a renamed service. */\n    const known = new Set(step.service.fields.map(field => field.name))\n\n    for (const name of Object.keys(sources)) {\n      if (!known.has(name)) {\n        problems.push({\n          level: 'error',\n          stepId: step.id,\n          field: name,\n          code: 'text.check-service-has-no-such-field',\n          params: { service: step.service.name, field: name },\n          says: `${step.service.name} 에 ${name} 칸이 없습니다 — 서비스가 바뀌었는지 보십시오`\n        })\n      }\n    }\n  }\n\n  /*\n   * A number pad nobody reads.\n   *\n   * Not an error — the screen works. But somebody put it there meaning it to go somewhere, and\n   * on the bench an operator will type into it and watch it do nothing.\n   */\n  const consumed = new Set<string>()\n\n  for (const step of flow.steps) {\n    for (const source of Object.values(step.arguments ?? {})) {\n      if (source.from === 'input') {\n        consumed.add(source.stepId)\n      }\n    }\n  }\n\n  for (const step of flow.steps) {\n    if (step.kind === 'enter' && !consumed.has(step.id)) {\n      problems.push({\n        level: 'warning',\n        stepId: step.id,\n        code: 'text.check-nobody-reads-this-entry',\n        params: { step: label(step) },\n        says: `「${label(step)}」에 넣은 값을 쓰는 단계가 없습니다 — 작업자가 적어도 아무 데도 안 갑니다`\n      })\n    }\n  }\n\n  return problems\n}\n\n/**\n * 이 단계를 사람에게 뭐라고 부르나.\n *\n * ── 만들어진 id 를 문장에 넣지 않는다 ────────────────────────────────────\n * 예전에는 이름표가 없으면 `step.id` 로 떨어졌다. 그래서 저작자가 「수량 입력」을 막 더한 순간\n * 「step-1789052869630-2 에 넣은 값을 쓰는 단계가 없습니다」를 읽었다 — 자기가 방금 누른 것이\n * 그것인 줄 알 방법이 없다. 이름표를 아직 안 적은 것은 흔한 일이고, 잘못도 아니다.\n *\n * 이름표가 없으면 **그 단계가 무슨 종류인지**로 부른다. 화면의 목록에도 같은 낱말이 서 있어서\n * 저작자가 눈으로 짚을 수 있다. 몇 번째인지는 화면이 앞에 붙인다 — 차례는 화면이 알고 있다.\n */\nconst KIND_SAID: Record<StationStepKind, string> = {\n  scan: '사번 스캔',\n  show: '값 보여주기',\n  enter: '수량 입력',\n  run: '실행 단추',\n  settings: '화면 설정',\n  legacy: '보존된 표준 블록'\n}\n\nfunction label(step: StationStep): string {\n  return step.label?.trim() || KIND_SAID[step.kind]\n}\n\n/**\n * 모르는 축 하나 — **무엇이 맞는지까지 말한다.**\n *\n * 「그런 축은 없습니다」에서 멈추면 저작자에게 틀렸다는 것만 알리고 남은 일은 그대로 남긴다. 이름이\n * 쉰다섯이라 그 남은 일이 대부분이다. 한 글자 틀린 것이 흔한 경우이고, 그것이 답할 값어치가 있는\n * 경우다.\n */\nfunction unknownAxis(step: StationStep, axis: string): StationProblem {\n  const near = nearestAxes(axis)\n  const said = axis.trim() ? axis : '(빈 이름)'\n\n  return near.length\n    ? {\n        level: 'error',\n        stepId: step.id,\n        code: 'text.check-unknown-axis-did-you-mean',\n        params: { axis: said, near: near.join(' · ') },\n        says: `${said} 라는 값은 없습니다 — 혹시 ${near.join(' · ')} 입니까`\n      }\n    : {\n        level: 'error',\n        stepId: step.id,\n        code: 'text.check-unknown-axis',\n        params: { axis: said },\n        says: `${said} 라는 값은 없습니다 — 고를 수 있는 것에서 골라 주십시오`\n      }\n}\n"]}