@codesys/mcp-toolkit 2.1.2 → 2.3.0

package/dist/hmi/spec.d.ts

@@ -0,0 +1,821 @@
+/**
+ * HMI screens: what the model writes. A screen is a grid of tiles; each tile is
+ * one widget bound to PLC variables (full instance paths, e.g. "PLC_PRG.fbPump.xRunning").
+ * The same description renders as a live HTML/SVG screen in the browser, as a
+ * screenshot for the model, and as a native CODESYS visualization.
+ */
+import * as z from "zod/v4";
+declare const tone: z.ZodEnum<{
+    accent: "accent";
+    alarm: "alarm";
+    neutral: "neutral";
+    ok: "ok";
+    warn: "warn";
+}>;
+declare const faceplate: z.ZodObject<{
+    title: z.ZodOptional<z.ZodString>;
+    auto: z.ZodOptional<z.ZodString>;
+    start: z.ZodOptional<z.ZodString>;
+    stop: z.ZodOptional<z.ZodString>;
+    open: z.ZodOptional<z.ZodString>;
+    close: z.ZodOptional<z.ZodString>;
+    reset: z.ZodOptional<z.ZodString>;
+    values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        label: z.ZodString;
+        value: z.ZodString;
+        unit: z.ZodOptional<z.ZodString>;
+        decimals: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>>>;
+    setpoint: z.ZodOptional<z.ZodObject<{
+        label: z.ZodOptional<z.ZodString>;
+        variable: z.ZodString;
+        min: z.ZodNumber;
+        max: z.ZodNumber;
+        step: z.ZodOptional<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+/** Things placed on a process (mimic) diagram, in a 0..100 x 0..100 box scaled to the tile. */
+declare const processItem: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"tank">;
+    id: z.ZodOptional<z.ZodString>;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+    w: z.ZodNumber;
+    h: z.ZodNumber;
+    level: z.ZodString;
+    max: z.ZodDefault<z.ZodNumber>;
+    unit: z.ZodOptional<z.ZodString>;
+    label: z.ZodOptional<z.ZodString>;
+    bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodNumber;
+        tone: z.ZodEnum<{
+            accent: "accent";
+            alarm: "alarm";
+            neutral: "neutral";
+            ok: "ok";
+            warn: "warn";
+        }>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"pump">;
+    id: z.ZodOptional<z.ZodString>;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+    size: z.ZodDefault<z.ZodNumber>;
+    running: z.ZodString;
+    fault: z.ZodOptional<z.ZodString>;
+    label: z.ZodOptional<z.ZodString>;
+    faceplate: z.ZodOptional<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        auto: z.ZodOptional<z.ZodString>;
+        start: z.ZodOptional<z.ZodString>;
+        stop: z.ZodOptional<z.ZodString>;
+        open: z.ZodOptional<z.ZodString>;
+        close: z.ZodOptional<z.ZodString>;
+        reset: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            value: z.ZodString;
+            unit: z.ZodOptional<z.ZodString>;
+            decimals: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>>;
+        setpoint: z.ZodOptional<z.ZodObject<{
+            label: z.ZodOptional<z.ZodString>;
+            variable: z.ZodString;
+            min: z.ZodNumber;
+            max: z.ZodNumber;
+            step: z.ZodOptional<z.ZodNumber>;
+            unit: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"fan">;
+    id: z.ZodOptional<z.ZodString>;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+    size: z.ZodDefault<z.ZodNumber>;
+    running: z.ZodString;
+    label: z.ZodOptional<z.ZodString>;
+    faceplate: z.ZodOptional<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        auto: z.ZodOptional<z.ZodString>;
+        start: z.ZodOptional<z.ZodString>;
+        stop: z.ZodOptional<z.ZodString>;
+        open: z.ZodOptional<z.ZodString>;
+        close: z.ZodOptional<z.ZodString>;
+        reset: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            value: z.ZodString;
+            unit: z.ZodOptional<z.ZodString>;
+            decimals: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>>;
+        setpoint: z.ZodOptional<z.ZodObject<{
+            label: z.ZodOptional<z.ZodString>;
+            variable: z.ZodString;
+            min: z.ZodNumber;
+            max: z.ZodNumber;
+            step: z.ZodOptional<z.ZodNumber>;
+            unit: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"valve">;
+    id: z.ZodOptional<z.ZodString>;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+    size: z.ZodDefault<z.ZodNumber>;
+    open: z.ZodString;
+    vertical: z.ZodOptional<z.ZodBoolean>;
+    label: z.ZodOptional<z.ZodString>;
+    faceplate: z.ZodOptional<z.ZodObject<{
+        title: z.ZodOptional<z.ZodString>;
+        auto: z.ZodOptional<z.ZodString>;
+        start: z.ZodOptional<z.ZodString>;
+        stop: z.ZodOptional<z.ZodString>;
+        open: z.ZodOptional<z.ZodString>;
+        close: z.ZodOptional<z.ZodString>;
+        reset: z.ZodOptional<z.ZodString>;
+        values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            value: z.ZodString;
+            unit: z.ZodOptional<z.ZodString>;
+            decimals: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>>>;
+        setpoint: z.ZodOptional<z.ZodObject<{
+            label: z.ZodOptional<z.ZodString>;
+            variable: z.ZodString;
+            min: z.ZodNumber;
+            max: z.ZodNumber;
+            step: z.ZodOptional<z.ZodNumber>;
+            unit: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"junction">;
+    id: z.ZodString;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"pipe">;
+    from: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>]>>;
+    to: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>]>>;
+    via: z.ZodOptional<z.ZodArray<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
+    points: z.ZodOptional<z.ZodArray<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
+    flow: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"sensor">;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+    value: z.ZodString;
+    unit: z.ZodOptional<z.ZodString>;
+    label: z.ZodOptional<z.ZodString>;
+    decimals: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"lamp">;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+    on: z.ZodString;
+    tone: z.ZodOptional<z.ZodEnum<{
+        accent: "accent";
+        alarm: "alarm";
+        neutral: "neutral";
+        ok: "ok";
+        warn: "warn";
+    }>>;
+    label: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    type: z.ZodLiteral<"label">;
+    x: z.ZodNumber;
+    y: z.ZodNumber;
+    text: z.ZodString;
+}, z.core.$strip>], "type">;
+export declare const widgetSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"value">;
+    value: z.ZodString;
+    unit: z.ZodOptional<z.ZodString>;
+    decimals: z.ZodOptional<z.ZodNumber>;
+    bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodNumber;
+        tone: z.ZodEnum<{
+            accent: "accent";
+            alarm: "alarm";
+            neutral: "neutral";
+            ok: "ok";
+            warn: "warn";
+        }>;
+    }, z.core.$strip>>>;
+    trend: z.ZodOptional<z.ZodBoolean>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"gauge">;
+    value: z.ZodString;
+    min: z.ZodDefault<z.ZodNumber>;
+    max: z.ZodDefault<z.ZodNumber>;
+    unit: z.ZodOptional<z.ZodString>;
+    decimals: z.ZodOptional<z.ZodNumber>;
+    bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodNumber;
+        tone: z.ZodEnum<{
+            accent: "accent";
+            alarm: "alarm";
+            neutral: "neutral";
+            ok: "ok";
+            warn: "warn";
+        }>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"bar">;
+    value: z.ZodString;
+    min: z.ZodDefault<z.ZodNumber>;
+    max: z.ZodDefault<z.ZodNumber>;
+    unit: z.ZodOptional<z.ZodString>;
+    vertical: z.ZodOptional<z.ZodBoolean>;
+    bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodNumber;
+        tone: z.ZodEnum<{
+            accent: "accent";
+            alarm: "alarm";
+            neutral: "neutral";
+            ok: "ok";
+            warn: "warn";
+        }>;
+    }, z.core.$strip>>>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"status">;
+    items: z.ZodArray<z.ZodObject<{
+        label: z.ZodString;
+        on: z.ZodString;
+        tone: z.ZodOptional<z.ZodEnum<{
+            accent: "accent";
+            alarm: "alarm";
+            neutral: "neutral";
+            ok: "ok";
+            warn: "warn";
+        }>>;
+        invert: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"buttons">;
+    items: z.ZodArray<z.ZodObject<{
+        label: z.ZodString;
+        variable: z.ZodString;
+        action: z.ZodDefault<z.ZodEnum<{
+            reset: "reset";
+            set: "set";
+            tap: "tap";
+            toggle: "toggle";
+        }>>;
+        tone: z.ZodOptional<z.ZodEnum<{
+            accent: "accent";
+            alarm: "alarm";
+            neutral: "neutral";
+            ok: "ok";
+            warn: "warn";
+        }>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"switch">;
+    variable: z.ZodString;
+    label: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"setpoint">;
+    variable: z.ZodString;
+    min: z.ZodNumber;
+    max: z.ZodNumber;
+    step: z.ZodOptional<z.ZodNumber>;
+    unit: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"trend">;
+    series: z.ZodArray<z.ZodObject<{
+        value: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    min: z.ZodOptional<z.ZodNumber>;
+    max: z.ZodOptional<z.ZodNumber>;
+    seconds: z.ZodDefault<z.ZodNumber>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"alarms">;
+    items: z.ZodArray<z.ZodObject<{
+        active: z.ZodString;
+        text: z.ZodString;
+        severity: z.ZodDefault<z.ZodEnum<{
+            alarm: "alarm";
+            info: "info";
+            warning: "warning";
+        }>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"text">;
+    text: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+    title: z.ZodOptional<z.ZodString>;
+    type: z.ZodLiteral<"process">;
+    items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"tank">;
+        id: z.ZodOptional<z.ZodString>;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        w: z.ZodNumber;
+        h: z.ZodNumber;
+        level: z.ZodString;
+        max: z.ZodDefault<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+        label: z.ZodOptional<z.ZodString>;
+        bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            from: z.ZodNumber;
+            tone: z.ZodEnum<{
+                accent: "accent";
+                alarm: "alarm";
+                neutral: "neutral";
+                ok: "ok";
+                warn: "warn";
+            }>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"pump">;
+        id: z.ZodOptional<z.ZodString>;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        size: z.ZodDefault<z.ZodNumber>;
+        running: z.ZodString;
+        fault: z.ZodOptional<z.ZodString>;
+        label: z.ZodOptional<z.ZodString>;
+        faceplate: z.ZodOptional<z.ZodObject<{
+            title: z.ZodOptional<z.ZodString>;
+            auto: z.ZodOptional<z.ZodString>;
+            start: z.ZodOptional<z.ZodString>;
+            stop: z.ZodOptional<z.ZodString>;
+            open: z.ZodOptional<z.ZodString>;
+            close: z.ZodOptional<z.ZodString>;
+            reset: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                label: z.ZodString;
+                value: z.ZodString;
+                unit: z.ZodOptional<z.ZodString>;
+                decimals: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>>;
+            setpoint: z.ZodOptional<z.ZodObject<{
+                label: z.ZodOptional<z.ZodString>;
+                variable: z.ZodString;
+                min: z.ZodNumber;
+                max: z.ZodNumber;
+                step: z.ZodOptional<z.ZodNumber>;
+                unit: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"fan">;
+        id: z.ZodOptional<z.ZodString>;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        size: z.ZodDefault<z.ZodNumber>;
+        running: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+        faceplate: z.ZodOptional<z.ZodObject<{
+            title: z.ZodOptional<z.ZodString>;
+            auto: z.ZodOptional<z.ZodString>;
+            start: z.ZodOptional<z.ZodString>;
+            stop: z.ZodOptional<z.ZodString>;
+            open: z.ZodOptional<z.ZodString>;
+            close: z.ZodOptional<z.ZodString>;
+            reset: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                label: z.ZodString;
+                value: z.ZodString;
+                unit: z.ZodOptional<z.ZodString>;
+                decimals: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>>;
+            setpoint: z.ZodOptional<z.ZodObject<{
+                label: z.ZodOptional<z.ZodString>;
+                variable: z.ZodString;
+                min: z.ZodNumber;
+                max: z.ZodNumber;
+                step: z.ZodOptional<z.ZodNumber>;
+                unit: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"valve">;
+        id: z.ZodOptional<z.ZodString>;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        size: z.ZodDefault<z.ZodNumber>;
+        open: z.ZodString;
+        vertical: z.ZodOptional<z.ZodBoolean>;
+        label: z.ZodOptional<z.ZodString>;
+        faceplate: z.ZodOptional<z.ZodObject<{
+            title: z.ZodOptional<z.ZodString>;
+            auto: z.ZodOptional<z.ZodString>;
+            start: z.ZodOptional<z.ZodString>;
+            stop: z.ZodOptional<z.ZodString>;
+            open: z.ZodOptional<z.ZodString>;
+            close: z.ZodOptional<z.ZodString>;
+            reset: z.ZodOptional<z.ZodString>;
+            values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                label: z.ZodString;
+                value: z.ZodString;
+                unit: z.ZodOptional<z.ZodString>;
+                decimals: z.ZodOptional<z.ZodNumber>;
+            }, z.core.$strip>>>;
+            setpoint: z.ZodOptional<z.ZodObject<{
+                label: z.ZodOptional<z.ZodString>;
+                variable: z.ZodString;
+                min: z.ZodNumber;
+                max: z.ZodNumber;
+                step: z.ZodOptional<z.ZodNumber>;
+                unit: z.ZodOptional<z.ZodString>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"junction">;
+        id: z.ZodString;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"pipe">;
+        from: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>]>>;
+        to: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>]>>;
+        via: z.ZodOptional<z.ZodArray<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
+        points: z.ZodOptional<z.ZodArray<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
+        flow: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"sensor">;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        value: z.ZodString;
+        unit: z.ZodOptional<z.ZodString>;
+        label: z.ZodOptional<z.ZodString>;
+        decimals: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"lamp">;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        on: z.ZodString;
+        tone: z.ZodOptional<z.ZodEnum<{
+            accent: "accent";
+            alarm: "alarm";
+            neutral: "neutral";
+            ok: "ok";
+            warn: "warn";
+        }>>;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        type: z.ZodLiteral<"label">;
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+        text: z.ZodString;
+    }, z.core.$strip>], "type">>;
+}, z.core.$strip>], "type">;
+export declare const screenSchema: z.ZodObject<{
+    name: z.ZodString;
+    title: z.ZodString;
+    subtitle: z.ZodOptional<z.ZodString>;
+    theme: z.ZodDefault<z.ZodEnum<{
+        dark: "dark";
+        light: "light";
+    }>>;
+    size: z.ZodDefault<z.ZodEnum<{
+        "1024x768": "1024x768";
+        "1280x720": "1280x720";
+        "1920x1080": "1920x1080";
+        "800x480": "800x480";
+    }>>;
+    grid: z.ZodDefault<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>;
+    widgets: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"value">;
+        value: z.ZodString;
+        unit: z.ZodOptional<z.ZodString>;
+        decimals: z.ZodOptional<z.ZodNumber>;
+        bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            from: z.ZodNumber;
+            tone: z.ZodEnum<{
+                accent: "accent";
+                alarm: "alarm";
+                neutral: "neutral";
+                ok: "ok";
+                warn: "warn";
+            }>;
+        }, z.core.$strip>>>;
+        trend: z.ZodOptional<z.ZodBoolean>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"gauge">;
+        value: z.ZodString;
+        min: z.ZodDefault<z.ZodNumber>;
+        max: z.ZodDefault<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+        decimals: z.ZodOptional<z.ZodNumber>;
+        bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            from: z.ZodNumber;
+            tone: z.ZodEnum<{
+                accent: "accent";
+                alarm: "alarm";
+                neutral: "neutral";
+                ok: "ok";
+                warn: "warn";
+            }>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"bar">;
+        value: z.ZodString;
+        min: z.ZodDefault<z.ZodNumber>;
+        max: z.ZodDefault<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+        vertical: z.ZodOptional<z.ZodBoolean>;
+        bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            from: z.ZodNumber;
+            tone: z.ZodEnum<{
+                accent: "accent";
+                alarm: "alarm";
+                neutral: "neutral";
+                ok: "ok";
+                warn: "warn";
+            }>;
+        }, z.core.$strip>>>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"status">;
+        items: z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            on: z.ZodString;
+            tone: z.ZodOptional<z.ZodEnum<{
+                accent: "accent";
+                alarm: "alarm";
+                neutral: "neutral";
+                ok: "ok";
+                warn: "warn";
+            }>>;
+            invert: z.ZodOptional<z.ZodBoolean>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"buttons">;
+        items: z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            variable: z.ZodString;
+            action: z.ZodDefault<z.ZodEnum<{
+                reset: "reset";
+                set: "set";
+                tap: "tap";
+                toggle: "toggle";
+            }>>;
+            tone: z.ZodOptional<z.ZodEnum<{
+                accent: "accent";
+                alarm: "alarm";
+                neutral: "neutral";
+                ok: "ok";
+                warn: "warn";
+            }>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"switch">;
+        variable: z.ZodString;
+        label: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"setpoint">;
+        variable: z.ZodString;
+        min: z.ZodNumber;
+        max: z.ZodNumber;
+        step: z.ZodOptional<z.ZodNumber>;
+        unit: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"trend">;
+        series: z.ZodArray<z.ZodObject<{
+            value: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+        min: z.ZodOptional<z.ZodNumber>;
+        max: z.ZodOptional<z.ZodNumber>;
+        seconds: z.ZodDefault<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"alarms">;
+        items: z.ZodArray<z.ZodObject<{
+            active: z.ZodString;
+            text: z.ZodString;
+            severity: z.ZodDefault<z.ZodEnum<{
+                alarm: "alarm";
+                info: "info";
+                warning: "warning";
+            }>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"text">;
+        text: z.ZodString;
+    }, z.core.$strip>, z.ZodObject<{
+        at: z.ZodTuple<[z.ZodNumber, z.ZodNumber, z.ZodNumber, z.ZodNumber], null>;
+        title: z.ZodOptional<z.ZodString>;
+        type: z.ZodLiteral<"process">;
+        items: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+            type: z.ZodLiteral<"tank">;
+            id: z.ZodOptional<z.ZodString>;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            w: z.ZodNumber;
+            h: z.ZodNumber;
+            level: z.ZodString;
+            max: z.ZodDefault<z.ZodNumber>;
+            unit: z.ZodOptional<z.ZodString>;
+            label: z.ZodOptional<z.ZodString>;
+            bands: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                from: z.ZodNumber;
+                tone: z.ZodEnum<{
+                    accent: "accent";
+                    alarm: "alarm";
+                    neutral: "neutral";
+                    ok: "ok";
+                    warn: "warn";
+                }>;
+            }, z.core.$strip>>>;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"pump">;
+            id: z.ZodOptional<z.ZodString>;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            size: z.ZodDefault<z.ZodNumber>;
+            running: z.ZodString;
+            fault: z.ZodOptional<z.ZodString>;
+            label: z.ZodOptional<z.ZodString>;
+            faceplate: z.ZodOptional<z.ZodObject<{
+                title: z.ZodOptional<z.ZodString>;
+                auto: z.ZodOptional<z.ZodString>;
+                start: z.ZodOptional<z.ZodString>;
+                stop: z.ZodOptional<z.ZodString>;
+                open: z.ZodOptional<z.ZodString>;
+                close: z.ZodOptional<z.ZodString>;
+                reset: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    label: z.ZodString;
+                    value: z.ZodString;
+                    unit: z.ZodOptional<z.ZodString>;
+                    decimals: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>>;
+                setpoint: z.ZodOptional<z.ZodObject<{
+                    label: z.ZodOptional<z.ZodString>;
+                    variable: z.ZodString;
+                    min: z.ZodNumber;
+                    max: z.ZodNumber;
+                    step: z.ZodOptional<z.ZodNumber>;
+                    unit: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"fan">;
+            id: z.ZodOptional<z.ZodString>;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            size: z.ZodDefault<z.ZodNumber>;
+            running: z.ZodString;
+            label: z.ZodOptional<z.ZodString>;
+            faceplate: z.ZodOptional<z.ZodObject<{
+                title: z.ZodOptional<z.ZodString>;
+                auto: z.ZodOptional<z.ZodString>;
+                start: z.ZodOptional<z.ZodString>;
+                stop: z.ZodOptional<z.ZodString>;
+                open: z.ZodOptional<z.ZodString>;
+                close: z.ZodOptional<z.ZodString>;
+                reset: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    label: z.ZodString;
+                    value: z.ZodString;
+                    unit: z.ZodOptional<z.ZodString>;
+                    decimals: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>>;
+                setpoint: z.ZodOptional<z.ZodObject<{
+                    label: z.ZodOptional<z.ZodString>;
+                    variable: z.ZodString;
+                    min: z.ZodNumber;
+                    max: z.ZodNumber;
+                    step: z.ZodOptional<z.ZodNumber>;
+                    unit: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"valve">;
+            id: z.ZodOptional<z.ZodString>;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            size: z.ZodDefault<z.ZodNumber>;
+            open: z.ZodString;
+            vertical: z.ZodOptional<z.ZodBoolean>;
+            label: z.ZodOptional<z.ZodString>;
+            faceplate: z.ZodOptional<z.ZodObject<{
+                title: z.ZodOptional<z.ZodString>;
+                auto: z.ZodOptional<z.ZodString>;
+                start: z.ZodOptional<z.ZodString>;
+                stop: z.ZodOptional<z.ZodString>;
+                open: z.ZodOptional<z.ZodString>;
+                close: z.ZodOptional<z.ZodString>;
+                reset: z.ZodOptional<z.ZodString>;
+                values: z.ZodOptional<z.ZodArray<z.ZodObject<{
+                    label: z.ZodString;
+                    value: z.ZodString;
+                    unit: z.ZodOptional<z.ZodString>;
+                    decimals: z.ZodOptional<z.ZodNumber>;
+                }, z.core.$strip>>>;
+                setpoint: z.ZodOptional<z.ZodObject<{
+                    label: z.ZodOptional<z.ZodString>;
+                    variable: z.ZodString;
+                    min: z.ZodNumber;
+                    max: z.ZodNumber;
+                    step: z.ZodOptional<z.ZodNumber>;
+                    unit: z.ZodOptional<z.ZodString>;
+                }, z.core.$strip>>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"junction">;
+            id: z.ZodString;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"pipe">;
+            from: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>]>>;
+            to: z.ZodOptional<z.ZodUnion<readonly [z.ZodString, z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>]>>;
+            via: z.ZodOptional<z.ZodArray<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
+            points: z.ZodOptional<z.ZodArray<z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>>>;
+            flow: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"sensor">;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            value: z.ZodString;
+            unit: z.ZodOptional<z.ZodString>;
+            label: z.ZodOptional<z.ZodString>;
+            decimals: z.ZodOptional<z.ZodNumber>;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"lamp">;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            on: z.ZodString;
+            tone: z.ZodOptional<z.ZodEnum<{
+                accent: "accent";
+                alarm: "alarm";
+                neutral: "neutral";
+                ok: "ok";
+                warn: "warn";
+            }>>;
+            label: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>, z.ZodObject<{
+            type: z.ZodLiteral<"label">;
+            x: z.ZodNumber;
+            y: z.ZodNumber;
+            text: z.ZodString;
+        }, z.core.$strip>], "type">>;
+    }, z.core.$strip>], "type">>;
+}, z.core.$strip>;
+export type Widget = z.infer<typeof widgetSchema>;
+export type ProcessItem = z.infer<typeof processItem>;
+export type Screen = z.infer<typeof screenSchema>;
+/** A screen as written, with defaults left out. */
+export type ScreenInput = z.input<typeof screenSchema>;
+export type Tone = z.infer<typeof tone>;
+export type Faceplate = z.infer<typeof faceplate>;
+/** Every alarm on any screen, for the header's alarm count. */
+export declare function allAlarms(screens: Screen[]): {
+    active: string;
+    text: string;
+    severity: string;
+}[];
+/** Every PLC variable a screen reads or writes. */
+export declare function screenVariables(s: Screen): string[];
+/** Overlapping or out-of-grid tiles, as readable problems (empty when the layout is fine). */
+export declare function layoutProblems(s: Screen): string[];
+export { plcValue } from "./value.js";