@vestra-player/sdk 1.6.17 → 1.6.19

package/dist/plugin/ui.js

@@ -1,1234 +0,0 @@
-/** Tool windows, docked panels and system dialogs. */
-import { shownText, templateArgs } from "./osd.js";
-import { isTextValue } from "../i18n.js";
-import { readFileSync } from "node:fs";
-import { basename, extname, resolve } from "node:path";
-import { failure, Latest, quiet } from "./runtime.js";
-import { dropsOf } from "./drops.js";
-import { MarkdownHandle, markdown, remoteImageFile } from "./markdown.js";
-import { HostError } from "../wire.js";
-import { countRow, diff, keyOf, CHUNK_BYTES, chunkOps, PATCH_FEATURE, prefixWithin, jsonBytes, rowBytes, replay, withinLimits, } from "./patch.js";
-import { UI_VALUE_LIMITS, valueLimitProblem } from "./values.js";
-/** Slint names are kebab-case; plugin code may use camelCase. */
-export const kebab = (name) => name.replace(/[A-Z]/g, (c) => `-${c.toLowerCase()}`);
-const encode = (props) => Object.fromEntries(Object.entries(props).map(([k, v]) => [kebab(k), v]));
-let images = 0;
-/**
- * `plugin.ui.image`. The wire form (`{ $vestraImage: path, ref }`) is an
- * internal detail; `ref` makes every call a new value, so a file rewritten
- * under the same path is sent (and decoded) again. The player checks the
- * path on every use, so a hand-made wire value gains nothing.
- */
-export class ImageHandle {
-    path;
-    __vestraImage = true;
-    #scope;
-    #ref = ++images;
-    #maxSide;
-    constructor(scope, path, maxSide) {
-        this.#scope = scope;
-        this.path = path;
-        this.#maxSide = maxSide;
-    }
-    /** Released with its scope: writing it is `invalid`. */
-    get released() {
-        return this.#scope.disposed;
-    }
-    toJSON() {
-        // `maxSide` only when given: players before 0.5.1 refuse the field.
-        return this.#maxSide === undefined
-            ? { $vestraImage: this.path, ref: this.#ref }
-            : { $vestraImage: this.path, ref: this.#ref, maxSide: this.#maxSide };
-    }
-}
-/** `ImageOptions.maxSide`, checked: an integer 1–4096 or absent. */
-export function imageSide(options) {
-    const side = options?.maxSide;
-    if (side === undefined)
-        return undefined;
-    if (!Number.isInteger(side) || side < 1 || side > 4096)
-        throw failure("invalid", "maxSide must be an integer 1–4096");
-    return side;
-}
-/**
- * A property value as sent: images and documents in wire form, at any depth
- * (released ones refused wherever they are), like the player.
- */
-function wireValue(value) {
-    if (value instanceof MarkdownHandle) {
-        if (value.released)
-            throw failure("invalid", "Markdown document was released with the scope that created it");
-        return value.toJSON();
-    }
-    if (value instanceof ImageHandle) {
-        if (value.released)
-            throw failure("invalid", `image ${value.path} was released with the scope that created it`);
-        return value.toJSON();
-    }
-    // Array.from: a hole is `null`, as `JSON.stringify` writes it.
-    if (Array.isArray(value))
-        return Array.from(value, (item) => wireValue(item ?? null));
-    if (value !== null && typeof value === "object") {
-        const out = {};
-        for (const [key, item] of Object.entries(value))
-            out[key] = wireValue(item);
-        return out;
-    }
-    return value;
-}
-/** Scalars compared by value. Non-finite numbers are JSON `null`: compared as JSON. */
-const isPrimitive = (value) => value === null ||
-    typeof value === "string" ||
-    typeof value === "boolean" ||
-    (typeof value === "number" && Number.isFinite(value));
-/** A row as `JSON.stringify` writes it inside an array. */
-const encodeRow = (row) => JSON.stringify(row) ?? "null";
-/** What a row's encoding holds: a Markdown document, an image. */
-const HAS_MARKDOWN = 1;
-const HAS_IMAGE = 2;
-const marksOf = (enc) => (enc.includes('"$vestraMarkdown"') ? HAS_MARKDOWN : 0) |
-    (enc.includes('"$vestraImage"') ? HAS_IMAGE : 0);
-/**
- * Row encodings by row object, shared by every property (a row's JSON does
- * not depend on where it is bound). Only rows that cannot change are kept
- * ({@link settled}): a plugin that mutates its rows in place sees no
- * difference, and one that keeps unchanged rows as the same deep-frozen
- * objects skips encoding them on every pass. Weak: a row the plugin drops
- * goes with its entry.
- */
-const settledRows = new WeakMap();
-/**
- * Frozen rows seen once. A frozen row is verified and kept on its second
- * pass, so rows frozen afresh on every pass cost one set entry, not a
- * verification each.
- */
-const seenRows = new WeakSet();
-/** Frozen rows that can still change (a mutable part, a getter): never kept. */
-const unsettledRows = new WeakSet();
-/**
- * `value` can never change what `JSON.stringify` writes for it: a primitive,
- * an image or document handle (their wire form is fixed when made), or a
- * frozen plain object or array whose own enumerable properties are data
- * properties (no getter, no own `toJSON`) holding such values. Freezing
- * fixes the properties and the prototype for good, so the answer holds as
- * long as the object lives.
- */
-function settled(value, depth) {
-    if (value === null || typeof value !== "object")
-        return typeof value !== "function";
-    if (value instanceof ImageHandle || value instanceof MarkdownHandle)
-        return true;
-    if (depth > UI_VALUE_LIMITS.depth || !Object.isFrozen(value))
-        return false;
-    const proto = Object.getPrototypeOf(value);
-    if (Array.isArray(value)
-        ? proto !== Array.prototype
-        : proto !== Object.prototype && proto !== null)
-        return false;
-    // An own `toJSON`, enumerable or not, is called by `JSON.stringify`.
-    if (Object.prototype.hasOwnProperty.call(value, "toJSON"))
-        return false;
-    for (const key of Object.keys(value)) {
-        const property = Object.getOwnPropertyDescriptor(value, key);
-        if (!property || !("value" in property))
-            return false;
-        if (!settled(property.value, depth + 1))
-            return false;
-    }
-    return true;
-}
-/** A row's encoding and marks, from {@link settledRows} when it is kept. */
-function rowEncoding(row, cache) {
-    if (cache && row !== null && typeof row === "object") {
-        // A kept row is frozen: looked up first, `isFrozen` only on a miss.
-        const kept = settledRows.get(row);
-        if (kept)
-            return kept;
-    }
-    if (cache &&
-        row !== null &&
-        typeof row === "object" &&
-        Object.isFrozen(row)) {
-        const enc = encodeRow(row);
-        const entry = { enc, marks: marksOf(enc) };
-        if (!seenRows.has(row))
-            seenRows.add(row);
-        else if (!unsettledRows.has(row)) {
-            if (settled(row, 1))
-                settledRows.set(row, entry);
-            else
-                unsettledRows.add(row);
-        }
-        return entry;
-    }
-    const enc = encodeRow(row);
-    return { enc, marks: marksOf(enc) };
-}
-/** Each row of an array as `JSON.stringify` writes it; a hole is `null`. */
-function encodeRows(rows) {
-    // A `toJSON` added to the shared prototypes would change any row's JSON:
-    // then nothing is taken from (or kept in) the cache.
-    const cache = !("toJSON" in Object.prototype) && !("toJSON" in Array.prototype);
-    const enc = [];
-    const marks = new Uint8Array(rows.length);
-    let markdown = false;
-    for (let i = 0; i < rows.length; i++) {
-        const row = rowEncoding(rows[i], cache);
-        enc[i] = row.enc;
-        marks[i] = row.marks;
-        if (row.marks & HAS_MARKDOWN)
-            markdown = true;
-    }
-    return { enc, marks, markdown, cache };
-}
-/** A row's limit counts, kept with its encoding when the row cannot change. */
-function rowCount(row, cache) {
-    const kept = cache && row !== null && typeof row === "object"
-        ? settledRows.get(row)
-        : undefined;
-    if (!kept)
-        return countRow(row);
-    return (kept.count ??= countRow(row));
-}
-function sameRows(a, b) {
-    if (a.length !== b.length)
-        return false;
-    for (let i = 0; i < a.length; i++)
-        if (a[i] !== b[i])
-            return false;
-    return true;
-}
-/** An initial property (wire form) as sent. */
-function sentOf(value, patches) {
-    if (isPrimitive(value))
-        return { kind: "value", value };
-    if (Array.isArray(value) && patches) {
-        const keyed = keyOf(value);
-        return {
-            kind: "rows",
-            rows: {
-                enc: encodeRows(value).enc,
-                field: keyed?.field ?? null,
-                keys: keyed?.keys ?? null,
-                counts: [],
-            },
-        };
-    }
-    return { kind: "json", enc: JSON.stringify(value) };
-}
-/**
- * A write sent in parts stopped because its view closed or showed its
- * initial properties again: not a failure.
- */
-class Abandoned extends Error {
-}
-/** The wire key of a Markdown document: rows holding one are never sent in parts. */ const MARKDOWN_KEY = '"$vestraMarkdown"';
-/** A row larger than one request can carry (`limit`). */
-const rowTooLarge = (key, bytes) => new HostError("limit", `${key}: a row of ${bytes} bytes is larger than one request takes (${CHUNK_BYTES} bytes)`);
-/** Refuse a patch carrying a row larger than one request, before sending it. */
-function tooLarge(key, ops) {
-    for (const op of ops) {
-        const rows = op.op === "set" ? [op.row] : op.op === "insert" ? op.rows : [];
-        for (const row of rows) {
-            const bytes = rowBytes(row);
-            if (bytes > CHUNK_BYTES)
-                throw rowTooLarge(key, bytes);
-        }
-    }
-}
-/**
- * The row patch from `sent` to `next` (the bound `rows`), in wire form, and
- * the new rows' limit counts; `null` when the whole value is to be sent:
- * nothing to type the rows by (no rows sent), a Markdown document in a row
- * (the player merges documents in place), too many operations, a value over
- * the limits (the player refuses it whole, as before), or no change (an
- * explicit `set()` of the same value).
- */
-function rowPatch(sent, next, rows) {
-    if (sent.enc.length === 0)
-        return null;
-    if (next.markdown)
-        return null;
-    const nextKeyed = sent.field === null ? null : next.keyed();
-    const keyed = nextKeyed !== null && nextKeyed.field === sent.field;
-    const plan = diff({ enc: sent.enc, keys: keyed ? sent.keys : null }, { enc: next.enc, keys: keyed ? nextKeyed.keys : null });
-    if (!plan || plan.ops.length === 0)
-        return null;
-    // A released image is refused wherever it is, as in a whole write: the
-    // rows the patch does not carry are checked too (those holding images).
-    for (let j = 0; j < rows.length; j++)
-        if (plan.from[j] >= 0 && next.marks[j] & HAS_IMAGE)
-            wireValue(rows[j] ?? null);
-    const counts = next.enc.map((_, j) => {
-        const from = plan.from[j];
-        return ((from >= 0 ? sent.counts[from] : undefined) ??
-            rowCount(rows[j], next.cache));
-    });
-    if (!withinLimits(counts))
-        return null;
-    // The ops must give exactly the new rows (a guard against this diff's bugs).
-    if (!sameRows(replay(sent.enc, plan.ops, next.enc), next.enc))
-        return null;
-    const ops = plan.ops.map((op) => {
-        switch (op.op) {
-            case "set":
-                return { op: "set", at: op.at, row: wireValue(rows[op.row] ?? null) };
-            case "insert":
-                return {
-                    op: "insert",
-                    at: op.at,
-                    rows: op.rows.map((j) => wireValue(rows[j] ?? null)),
-                };
-            default:
-                return op;
-        }
-    });
-    return { ops, counts };
-}
-export const ui = (scope) => ({
-    image(path, options) {
-        if (typeof path !== "string" || !path)
-            throw failure("invalid", "ui.image needs a file path");
-        return new ImageHandle(scope, path, imageSide(options));
-    },
-    async remoteImage(url, options) {
-        if (typeof url !== "string" || !url.startsWith("https://"))
-            throw failure("invalid", "ui.remoteImage needs an https: address");
-        const side = imageSide(options);
-        const file = await remoteImageFile(scope.runtime, url);
-        return new ImageHandle(scope, file, side);
-    },
-    markdown: (text, options) => markdown(scope, text, options),
-});
-/** Property and callback plumbing shared by windows, panels and settings pages. */
-export class ViewBase {
-    scope;
-    handlers = new Map();
-    #values = new Map();
-    /** Each binding, with where the plugin added it (for the player's log). */
-    #binders = new Map();
-    /** What the host currently shows, as far as this side knows. */
-    #sent = new Map();
-    /**
-     * Row patches (player feature `ui.patch`): each property's last write the
-     * player confirmed, by `seq` (0: the initial properties). A patch applies
-     * on it; a property without one is sent whole.
-     */
-    #bases = new Map();
-    /**
-     * Patches of a property answered `stale` in a row: after two, the
-     * property is sent whole until the view shows its initial properties again.
-     */
-    #stales = new Map();
-    #seq = 0;
-    /** Counts the times the view showed its initial properties (`shown`). */
-    #generation = 0;
-    /** Written by `set()`: sent even if equal to what was sent before. */
-    #forced = new Set();
-    /** The last value of each property whose write failed; not retried until it changes. */
-    #failed = new Map();
-    #backoff = 0;
-    /** A write failed and none succeeded since: further failures stay quiet. */
-    #broken = false;
-    #retry;
-    #flushing = false;
-    #binding;
-    closed = false;
-    constructor(scope) {
-        this.scope = scope;
-        this.#binding = scope.runtime.bind(() => this.evaluate());
-    }
-    /** The player takes row patches (and `seq` on whole writes). */
-    get #patches() {
-        return this.scope.runtime.features.has(PATCH_FEATURE);
-    }
-    /**
-     * Initial properties in wire form. A released image is left out (the
-     * property keeps its default) and reported, like a failed write. With a
-     * player that takes row patches, the arrays of one request carry at most
-     * {@link CHUNK_BYTES} of rows together (SDK 1.5.46): an array over that
-     * goes with its first rows, and the first flush sends the rest as patches.
-     * An array over the value limits is refused here, as the player would
-     * refuse it whole: left out and reported (a panel, a settings page), or,
-     * with `refuse` (a window's `show`), thrown.
-     */
-    wired(values, refuse = false) {
-        const out = {};
-        let room = CHUNK_BYTES;
-        for (const [key, value] of Object.entries(values)) {
-            let wire;
-            try {
-                wire = wireValue(value);
-            }
-            catch (error) {
-                this.#failed.set(key, JSON.stringify(value));
-                this.scope.report(error);
-                continue;
-            }
-            if (this.#patches && Array.isArray(wire)) {
-                const sizes = wire.map(rowBytes);
-                const total = sizes.reduce((a, b) => a + b, 0);
-                if (total > room && !JSON.stringify(wire).includes(MARKDOWN_KEY)) {
-                    const largest = sizes.reduce((a, b) => Math.max(a, b), 0);
-                    const problem = valueLimitProblem(wire);
-                    if (problem || largest > CHUNK_BYTES) {
-                        const error = problem
-                            ? new HostError("limit", `${key}: ${problem}`)
-                            : rowTooLarge(key, largest);
-                        if (refuse)
-                            throw error;
-                        this.#failed.set(key, JSON.stringify(value));
-                        this.scope.report(error);
-                        continue;
-                    }
-                    const count = room > 0 ? prefixWithin(sizes, room) : 0;
-                    wire = wire.slice(0, count);
-                    room -= sizes.slice(0, count).reduce((a, b) => a + b, 0);
-                }
-                else
-                    room -= total;
-            }
-            out[key] = wire;
-        }
-        return out;
-    }
-    on(callback, handler) {
-        const name = kebab(callback);
-        this.handlers.set(name, handler);
-        return this.scope.onDispose(() => {
-            if (this.handlers.get(name) === handler)
-                this.handlers.delete(name);
-        });
-    }
-    set(props) {
-        for (const [key, value] of Object.entries(encode(props))) {
-            this.#values.set(key, value);
-            this.#forced.add(key);
-            this.#failed.delete(key); // an explicit write is tried again (after any back-off)
-        }
-        this.flush();
-    }
-    bind(props) {
-        // `token` names this binding of this view in the runtime's read
-        // tracking: the same function bound to two views is two parts.
-        this.#binders.set(props, {
-            site: this.scope.runtime.callSite(),
-            token: {},
-        });
-        this.scope.update();
-        return this.scope.onDispose(() => {
-            this.#binders.delete(props);
-        });
-    }
-    /**
-     * Current desired properties (bound values win over earlier `set`). A
-     * precise pass (`Runtime.part`) skips a bind function that read none of
-     * the changed state: its last values stay.
-     */
-    snapshot() {
-        const runtime = this.scope.runtime;
-        for (const [binder, { site, token }] of this.#binders) {
-            try {
-                // Encoded inside the part: what encoding reads counts as the
-                // function's (a state object it returned).
-                const result = runtime.part(token, () => encode(runtime.reader("a view's bind", site, binder)));
-                if (!result)
-                    continue;
-                for (const [key, value] of Object.entries(result.value))
-                    this.#values.set(key, value);
-            }
-            catch (error) {
-                this.scope.report(error);
-            }
-        }
-        return Object.fromEntries(this.#values);
-    }
-    evaluate() {
-        if (this.closed)
-            return;
-        this.snapshot();
-        this.flush();
-    }
-    /** The host already shows these values (e.g. sent as initial properties). */
-    shown(values) {
-        this.#generation++;
-        const patches = this.#patches;
-        this.#sent = new Map(Object.entries(values).map(([k, v]) => [k, sentOf(v, patches)]));
-        this.#bases = new Map(patches ? Object.keys(values).map((key) => [key, 0]) : []);
-        this.#stales.clear();
-        this.#forced.clear();
-        for (const key of Object.keys(values))
-            this.#failed.delete(key);
-    }
-    /** `value` encoded, and whether it differs from what was sent. */
-    #encode(key, value) {
-        const sent = this.#sent.get(key);
-        if (isPrimitive(value)) {
-            // Compared as it is: no `JSON.stringify` for the scalars of a pass.
-            const changed = sent?.kind === "value"
-                ? sent.value !== value
-                : sent?.kind !== "json" || sent.enc !== JSON.stringify(value);
-            return {
-                key,
-                value,
-                changed,
-                signature: () => JSON.stringify(value),
-                sent: () => ({ kind: "value", value }),
-            };
-        }
-        if (Array.isArray(value) && this.#patches) {
-            // Row by row: the same work as one `JSON.stringify`, and the rows to
-            // diff against those last sent. Rows that cannot change (deep-frozen
-            // objects bound again, SDK 1.5.47) are taken from `settledRows`.
-            const encoded = encodeRows(value);
-            const { enc } = encoded;
-            const signature = () => `[${enc.join(",")}]`;
-            const changed = sent?.kind === "rows"
-                ? !sameRows(sent.rows.enc, enc)
-                : sent?.kind !== "json" || sent.enc !== signature();
-            // Keys only for a write: an unchanged array costs its encoding alone.
-            let keys;
-            const keyed = () => (keys === undefined ? (keys = keyOf(value)) : keys);
-            return {
-                key,
-                value,
-                changed,
-                signature,
-                rows: { ...encoded, keyed },
-                sent: (counts = []) => ({
-                    kind: "rows",
-                    rows: {
-                        enc,
-                        field: keyed()?.field ?? null,
-                        keys: keyed()?.keys ?? null,
-                        counts,
-                    },
-                }),
-            };
-        }
-        const enc = JSON.stringify(value);
-        return {
-            key,
-            value,
-            changed: sent?.kind !== "json" || sent.enc !== enc,
-            signature: () => enc,
-            sent: () => ({ kind: "json", enc }),
-        };
-    }
-    /**
-     * Write one property: a row patch when the player takes them and one
-     * applies (else the whole value); a `stale` patch is followed by the whole
-     * value at once. The base is forgotten on any failure, so the next write
-     * of the property is whole. A write larger than one request
-     * ({@link CHUNK_BYTES} of rows, SDK 1.5.46) is sent in parts: a whole
-     * array as its first rows and `insert` patches of the rest, a patch as
-     * several, each applying on the one before.
-     */
-    async #send(pending) {
-        const { key, value } = pending;
-        if (!this.#patches) {
-            await this.write(key, { value: wireValue(value) });
-            return pending.sent();
-        }
-        const generation = this.#generation;
-        const base = this.#bases.get(key);
-        this.#bases.delete(key);
-        const sent = this.#sent.get(key);
-        let plan = base !== undefined &&
-            sent?.kind === "rows" &&
-            pending.rows &&
-            (this.#stales.get(key) ?? 0) < 2
-            ? rowPatch(sent.rows, pending.rows, value)
-            : null;
-        // A patch sent in several never passes the row limit midway (the diff
-        // removes before it inserts; checked anyway); otherwise whole.
-        if (plan && sent?.kind === "rows") {
-            let length = sent.rows.enc.length;
-            for (const op of plan.ops) {
-                if (op.op === "insert")
-                    length += op.rows.length;
-                else if (op.op === "remove")
-                    length -= op.count;
-                if (length > UI_VALUE_LIMITS.arrayRows) {
-                    plan = null;
-                    break;
-                }
-            }
-        }
-        if (plan) {
-            tooLarge(key, plan.ops);
-            const [first, ...rest] = chunkOps(plan.ops);
-            const seq = ++this.#seq;
-            let applied = false;
-            try {
-                await this.write(key, { patch: { base: base, seq, ops: first } });
-                applied = true;
-            }
-            catch (error) {
-                if (!(error instanceof HostError && error.code === "stale"))
-                    throw error;
-                this.#stales.set(key, (this.#stales.get(key) ?? 0) + 1);
-            }
-            if (applied) {
-                this.#stales.delete(key);
-                await this.#parts(key, seq, rest, false, generation);
-                return pending.sent(plan.counts);
-            }
-        }
-        const seq = ++this.#seq;
-        // Rows holding Markdown documents go whole, as before: the player
-        // merges documents in place and takes no parts of them.
-        if (Array.isArray(value) && pending.rows && !pending.rows.markdown) {
-            const sizes = pending.rows.enc.map(jsonBytes);
-            const count = prefixWithin(sizes, CHUNK_BYTES);
-            if (count < value.length) {
-                const rows = value;
-                // Over the limits, or a row larger than one request: refused here,
-                // as the player would refuse the whole value, before any part is
-                // sent (a part refused midway would leave the list half sent).
-                const problem = valueLimitProblem(wireValue(value));
-                if (problem)
-                    throw new HostError("limit", `${key}: ${problem}`);
-                const largest = sizes.reduce((a, b) => Math.max(a, b), 0);
-                if (largest > CHUNK_BYTES)
-                    throw rowTooLarge(key, largest);
-                // Every part but the last carries `more`: the player holds them
-                // and writes the whole value at the last, so a list it shows is
-                // written once (player 0.6.0).
-                await this.write(key, {
-                    value: wireValue(rows.slice(0, count)),
-                    seq,
-                    more: true,
-                });
-                const insert = {
-                    op: "insert",
-                    at: count,
-                    rows: rows.slice(count).map((row) => wireValue(row ?? null)),
-                };
-                await this.#parts(key, seq, chunkOps([insert]), true, generation);
-                return pending.sent();
-            }
-        }
-        await this.write(key, { value: wireValue(value), seq });
-        this.#bases.set(key, seq);
-        return pending.sent();
-    }
-    /**
-     * The rest of a write sent in parts: each patch applies on the one
-     * before (`base`), and the property's base is the last one's; with
-     * `more`, every part but the last says so. A failure leaves no base: the
-     * next write of the property is whole. When the view closed or showed its
-     * initial properties again meanwhile (`generation`), the rest is dropped
-     * quietly ({@link Abandoned}): the view's next flush sends what it shows.
-     */
-    async #parts(key, base, groups, more, generation) {
-        let last = base;
-        for (const [i, ops] of groups.entries()) {
-            if (!this.live() || this.#generation !== generation)
-                throw new Abandoned();
-            const seq = ++this.#seq;
-            try {
-                await this.write(key, {
-                    patch: { base: last, seq, ops },
-                    ...(more && i < groups.length - 1 ? { more: true } : {}),
-                });
-            }
-            catch (error) {
-                // Refused because the view went meanwhile: not a failure.
-                if (!this.live() || this.#generation !== generation)
-                    throw new Abandoned();
-                throw error;
-            }
-            last = seq;
-        }
-        this.#bases.set(key, last);
-    }
-    /**
-     * Send what changed. A bound value is sent when it differs from the last one
-     * sent; a `set()` value is always sent once. Nothing is resent merely
-     * because a callback arrived, so text the user typed into an in-out
-     * property survives other callbacks (call `set()` to pull a control back).
-     * A failed bound value is not repeated until it changes; an explicit `set()`
-     * is, after a back-off (0.25 s doubling to 30 s). Only the first failure of
-     * a failing streak is reported, so an error handler that writes a status to
-     * a broken view cannot spin.
-     */
-    flush() {
-        if (this.#flushing || this.#retry || !this.live())
-            return;
-        this.#flushing = true;
-        void (async () => {
-            let failed = false;
-            let failure;
-            try {
-                let pending;
-                do {
-                    pending = [];
-                    for (const [key, value] of this.#values) {
-                        const encoded = this.#encode(key, value);
-                        const failedAs = this.#failed.get(key);
-                        if (failedAs !== undefined && failedAs === encoded.signature())
-                            continue;
-                        if (this.#forced.has(key) || encoded.changed)
-                            pending.push(encoded);
-                    }
-                    for (const encoded of pending) {
-                        if (!this.live())
-                            return;
-                        const key = encoded.key;
-                        this.#forced.delete(key);
-                        try {
-                            this.#sent.set(key, await this.#send(encoded));
-                            this.#failed.delete(key);
-                            this.#backoff = 0;
-                            this.#broken = false;
-                        }
-                        catch (error) {
-                            // The view closed or showed its initial properties again while
-                            // a write was sent in parts: nothing failed (the next flush
-                            // sends what the view shows).
-                            if (error instanceof Abandoned) {
-                                queueMicrotask(() => this.flush());
-                                return;
-                            }
-                            failed = true;
-                            // Report the start of a failing streak only.
-                            if (!this.#broken)
-                                failure ??= error;
-                            this.#broken = true;
-                            this.#failed.set(key, encoded.signature());
-                        }
-                    }
-                } while (pending.length && !failed && this.live());
-            }
-            finally {
-                this.#flushing = false;
-            }
-            if (!failed)
-                return;
-            this.#backoff = Math.min(Math.max(250, this.#backoff * 2), 30_000);
-            this.#retry = setTimeout(() => {
-                this.#retry = undefined;
-                this.flush();
-            }, this.#backoff);
-            this.#retry.unref?.();
-            if (failure !== undefined)
-                this.scope.report(failure);
-        })();
-    }
-    dispatch(callback, args) {
-        if (this.closed)
-            return;
-        const handler = this.handlers.get(callback);
-        if (handler)
-            this.scope.run(handler, ...args);
-        else
-            this.scope.update();
-    }
-    async release() {
-        this.closed = true;
-        clearTimeout(this.#retry);
-        await this.#binding.dispose();
-    }
-}
-class WindowHandle extends ViewBase {
-    #id;
-    #file;
-    #opened = false;
-    #queue = Promise.resolve();
-    constructor(scope, file, id) {
-        if (scope.runtime.views.has(id))
-            throw failure("conflict", `window ${id} already exists; pass a distinct id`);
-        super(scope);
-        this.#file = file;
-        this.#id = id;
-        scope.runtime.views.set(id, (callback, args) => this.dispatch(callback, args));
-        // The user closed it with the title bar: the host already dropped it.
-        this.#closedByUser = scope.runtime.raw("ui.closed", (data) => {
-            if (data.view !== this.#id || !this.#opened)
-                return;
-            this.#opened = false;
-            for (const listener of [...this.#closeListeners])
-                this.scope.run(listener);
-            this.scope.update();
-        });
-        scope.add(this);
-    }
-    #closeListeners = new Set();
-    #closedByUser;
-    onClose(listener) {
-        this.#closeListeners.add(listener);
-        return this.scope.onDispose(() => {
-            this.#closeListeners.delete(listener);
-        });
-    }
-    get opened() {
-        return this.#opened;
-    }
-    live() {
-        return this.#opened && !this.closed;
-    }
-    write(property, write) {
-        return this.scope.runtime.host.ui.set(this.#id, property, write);
-    }
-    on(callback, handler) {
-        // The host forwards only callbacks named when the window opens.
-        if (this.#opened && !this.handlers.has(kebab(callback)))
-            throw new Error(`bind window handler ${callback} before the first show()`);
-        return super.on(callback, handler);
-    }
-    /** Window RPCs run strictly in order; a failure does not block later calls. */
-    #serial(task) {
-        const next = this.#queue.then(task, task);
-        this.#queue = next.catch(() => { });
-        return next;
-    }
-    show() {
-        return this.#serial(async () => {
-            if (this.closed)
-                return;
-            const ui = this.scope.runtime.host.ui;
-            if (this.#opened)
-                return ui.show(this.#id, true);
-            const initial = this.wired(this.snapshot(), true);
-            await ui.open(this.#id, this.#file, initial, [...this.handlers.keys()]);
-            this.#opened = true;
-            this.shown(initial);
-            this.flush();
-        });
-    }
-    hide() {
-        return this.#serial(async () => {
-            if (this.#opened)
-                await this.scope.runtime.host.ui.show(this.#id, false);
-        });
-    }
-    close() {
-        return this.#serial(async () => {
-            if (!this.#opened)
-                return;
-            this.#opened = false;
-            await this.scope.runtime.host.ui.close(this.#id);
-        });
-    }
-    async dispose() {
-        if (this.closed)
-            return;
-        this.scope.forget(this);
-        await this.close().catch(() => { });
-        await this.release();
-        await this.#closedByUser.dispose();
-        this.#closeListeners.clear();
-        this.scope.runtime.views.delete(this.#id);
-    }
-}
-/** Find `export component X` / `export global Y` so most mounts need no names. */
-export function exported(directory, file, kind) {
-    const text = readFileSync(resolve(directory, file), "utf8");
-    const names = [
-        ...text.matchAll(new RegExp(`export\\s+${kind}\\s+([\\w-]+)`, "g")),
-    ].map((m) => m[1]);
-    if (names.length !== 1)
-        throw new Error(`${file}: name the ${kind} to mount (found ${names.length})`);
-    return names[0];
-}
-class PanelHandle extends ViewBase {
-    ready;
-    #slot;
-    #mounted = false;
-    #locks = { focused: false, dragging: false, popupOpen: false };
-    #interaction;
-    constructor(scope, slot, file, options) {
-        // One panel per slot (SDK 1.6.15, player 0.7.6; a player before 0.7.6
-        // refuses a second panel with `conflict`).
-        if (scope.runtime.views.has(`panel:${slot}`))
-            throw new Error(`this plugin already has a panel in the ${slot}`);
-        super(scope);
-        this.#slot = slot;
-        const runtime = scope.runtime;
-        runtime.views.set(`panel:${slot}`, (callback, args) => this.dispatch(callback, args));
-        this.#interaction = new Latest((locks) => runtime.host.ui.interaction(locks, this.#named()));
-        const component = options.component ?? exported(runtime.directory, file, "component");
-        const global = options.global ?? exported(runtime.directory, file, "global");
-        scope.add(this);
-        this.ready = runtime
-            .starting((async () => {
-            // Let handlers and bindings declared right after mount() join in.
-            await Promise.resolve();
-            const properties = this.wired(this.snapshot());
-            await runtime.host.ui.mount({
-                slot,
-                file,
-                component,
-                global,
-                ...(options.title === undefined ? {} : { title: options.title }),
-                properties,
-            });
-            this.#mounted = true;
-            this.shown(properties);
-            this.flush();
-            // The position's state changed: refresh it if this plugin reads it.
-            await layoutOf(runtime).refresh();
-        })(), (error) => scope.report(error))
-            .then(() => { });
-        quiet(this.ready);
-    }
-    live() {
-        return this.#mounted && !this.closed;
-    }
-    /**
-     * The slot to name in a request about this panel: only while the plugin
-     * has panels in more than one slot (the player then needs it); a plugin
-     * with one panel sends what it always sent.
-     */
-    #named() {
-        const panels = [...this.scope.runtime.views.keys()].filter((key) => key.startsWith("panel:"));
-        return panels.length > 1 ? this.#slot : undefined;
-    }
-    write(property, write) {
-        return this.scope.runtime.host.ui.setMount(property, write, this.#named());
-    }
-    get state() {
-        const service = layoutOf(this.scope.runtime);
-        service.start();
-        return this.live()
-            ? panelState(service.state, this.#slot, this.scope.runtime.manifest.id)
-            : null;
-    }
-    onChange(listener) {
-        const scope = this.scope;
-        let last = JSON.stringify(this.state);
-        const watch = layoutOf(scope.runtime).watch(() => {
-            const state = this.state;
-            const next = JSON.stringify(state);
-            if (next === last)
-                return;
-            last = next;
-            scope.run(listener, state);
-        });
-        return scope.add({
-            dispose: async () => {
-                scope.forget(watch);
-                await watch.dispose();
-            },
-        });
-    }
-    async show() {
-        await this.ready;
-        if (this.#slot === "backdrop")
-            throw failure("invalid", "the player shows the backdrop by itself");
-        await layoutOf(this.scope.runtime).set(this.#slot, {
-            active: this.scope.runtime.manifest.id,
-            visible: true,
-        });
-    }
-    async toggle() {
-        await this.ready;
-        if (this.#slot === "backdrop")
-            throw failure("invalid", "the player shows the backdrop by itself");
-        await layoutOf(this.scope.runtime).read();
-        const state = this.state;
-        // A switch, the same in every mode (user ruling 2026-11-08): off when
-        // on and current, else on at this tab. `reveal: false`: in fullscreen
-        // nothing pops out, the right edge reveals it (player 0.7.6; older
-        // players ignore it and pop it out).
-        if (state?.preferred && state.active)
-            await layoutOf(this.scope.runtime).set(this.#slot, { visible: false });
-        else
-            await layoutOf(this.scope.runtime).set(this.#slot, {
-                active: this.scope.runtime.manifest.id,
-                visible: true,
-                reveal: false,
-            });
-    }
-    async showMenu(items, at) {
-        await this.ready;
-        await this.scope.runtime.host.ui.menu(items.map((item) => item?.id ?? null), at.x, at.y, this.#named());
-    }
-    onDrop(listener) {
-        const watch = dropsOf(this.scope.runtime).listen(this.scope, (event) => this.scope.run(listener, event));
-        return this.scope.add({ dispose: () => watch.dispose() });
-    }
-    setInteraction(locks) {
-        Object.assign(this.#locks, locks);
-        this.#interaction
-            .push({ ...this.#locks })
-            .catch((error) => this.scope.report(error));
-    }
-    async dispose() {
-        if (this.closed)
-            return;
-        this.scope.forget(this);
-        this.#interaction.stop();
-        if (this.#mounted)
-            await this.scope.runtime.host.ui.unmount(this.#named()).catch(() => { });
-        this.#mounted = false;
-        await this.release();
-        this.scope.runtime.views.delete(`panel:${this.#slot}`);
-        // Listeners of `onChange` hear `null`.
-        this.scope.runtime.invalidate();
-        await layoutOf(this.scope.runtime).refresh();
-    }
-}
-/** One panel's view of its position (`Panel.state`). */
-function panelState(layout, slot, plugin) {
-    if (slot === "backdrop")
-        return (layout.backdrop && {
-            active: true,
-            preferred: true,
-            effective: layout.backdrop.effective,
-            reason: null,
-            detached: false,
-        });
-    const state = layout[slot];
-    if (!state)
-        return null;
-    // Players without tabs (no `panels`): the position holds this panel only.
-    const panels = layout.tabs[slot];
-    const own = panels?.find((panel) => panel.plugin === plugin);
-    if (panels && !own)
-        return null;
-    const active = own?.active ?? true;
-    return {
-        active,
-        preferred: state.preferred,
-        effective: state.effective && active,
-        reason: active ? state.reason : "otherTab",
-        detached: state.detached,
-    };
-}
-export const windows = (scope) => ({
-    create: (file, options) => new WindowHandle(scope, file, options?.id ?? basename(file, extname(file))),
-});
-/**
- * Both positions, one per plugin: read with `layout.state` after every
- * `window.state` event (one read in flight; events during it cause one more)
- * and after this plugin's own changes. Started on first use.
- */
-class LayoutService {
-    #runtime;
-    state = {
-        bottom: null,
-        sidebar: null,
-        adjust: null,
-        tabs: { bottom: null, sidebar: null, adjust: null },
-        backdrop: null,
-    };
-    #listeners = new Set();
-    #started = false;
-    #reading = false;
-    #again = false;
-    constructor(runtime) {
-        this.#runtime = runtime;
-    }
-    /** Read again, but only once something in this plugin uses the state. */
-    async refresh() {
-        if (this.#started)
-            await this.read();
-    }
-    start() {
-        if (this.#started || !this.#runtime.can("ui.mount"))
-            return;
-        this.#started = true;
-        // A mirror: panels listen through `watch`.
-        this.#runtime.on("window.state", () => void this.read(), "events", true);
-        void this.read();
-    }
-    watch(listener) {
-        this.start();
-        this.#listeners.add(listener);
-        const held = this.#runtime.hold("window.state");
-        return {
-            dispose: async () => {
-                this.#listeners.delete(listener);
-                await held.dispose();
-            },
-        };
-    }
-    async read() {
-        if (this.#reading) {
-            this.#again = true;
-            return;
-        }
-        this.#reading = true;
-        try {
-            do {
-                this.#again = false;
-                // "pending" until the host confirmed the layout: keep the last value.
-                const raw = await this.#runtime.host.layout.state().catch(() => null);
-                if (!raw)
-                    continue;
-                const view = (slot) => slot && {
-                    preferred: slot.preferred,
-                    effective: slot.effective,
-                    reason: slot.reason,
-                    detached: slot.detached,
-                };
-                const tabs = (slot) => slot?.panels
-                    ? Object.freeze(slot.panels.map((panel) => Object.freeze({
-                        plugin: panel.plugin,
-                        title: panel.title,
-                        active: panel.owner === slot.owner,
-                    })))
-                    : null;
-                const adjust = raw.adjust ?? null;
-                const next = {
-                    bottom: view(raw.bottom),
-                    sidebar: view(raw.sidebar),
-                    adjust: view(adjust),
-                    tabs: {
-                        bottom: tabs(raw.bottom),
-                        sidebar: tabs(raw.sidebar),
-                        adjust: tabs(adjust),
-                    },
-                    backdrop: raw.backdrop
-                        ? Object.freeze({ effective: raw.backdrop.effective === true })
-                        : null,
-                };
-                if (JSON.stringify(next) === JSON.stringify(this.state))
-                    continue;
-                this.state = next;
-                for (const listener of [...this.#listeners])
-                    listener(next);
-                this.#runtime.invalidate();
-            } while (this.#again);
-        }
-        finally {
-            this.#reading = false;
-        }
-    }
-    async set(slot, change) {
-        this.start();
-        await this.#runtime.host.layout.set({ slot, ...change });
-        await this.read();
-    }
-}
-const layoutOf = (runtime) => runtime.service("layout", () => new LayoutService(runtime));
-function slot(scope, name) {
-    const service = () => layoutOf(scope.runtime);
-    return {
-        get state() {
-            service().start();
-            return service().state[name];
-        },
-        get panels() {
-            service().start();
-            return service().state.tabs[name];
-        },
-        onChange(listener) {
-            const seen = (layout) => JSON.stringify([layout[name], layout.tabs[name]]);
-            let last = seen(service().state);
-            const watch = service().watch((layout) => {
-                const next = seen(layout);
-                if (next === last)
-                    return;
-                last = next;
-                scope.run(listener, layout[name]);
-            });
-            return scope.add({
-                dispose: async () => {
-                    scope.forget(watch);
-                    await watch.dispose();
-                },
-            });
-        },
-        setVisible: (visible) => service().set(name, { visible }),
-        async toggle() {
-            await service().read();
-            const current = service().state[name];
-            // A switch (see Panel.toggle): nothing pops out in fullscreen.
-            await service().set(name, {
-                visible: !(current?.preferred ?? true),
-                reveal: false,
-            });
-        },
-        setDetached: (detached) => service().set(name, { detached }),
-        activate: (plugin) => service().set(name, { active: plugin }),
-    };
-}
-function backdrop(scope) {
-    const service = () => layoutOf(scope.runtime);
-    return {
-        get state() {
-            service().start();
-            return service().state.backdrop;
-        },
-        onChange(listener) {
-            let last = JSON.stringify(service().state.backdrop);
-            const watch = service().watch((layout) => {
-                const next = JSON.stringify(layout.backdrop);
-                if (next === last)
-                    return;
-                last = next;
-                scope.run(listener, layout.backdrop);
-            });
-            return scope.add({
-                dispose: async () => {
-                    scope.forget(watch);
-                    await watch.dispose();
-                },
-            });
-        },
-    };
-}
-export const panels = (scope) => ({
-    mount: (position, file, options = {}) => new PanelHandle(scope, position, file, options),
-    bottom: slot(scope, "bottom"),
-    sidebar: slot(scope, "sidebar"),
-    adjust: slot(scope, "adjust"),
-    backdrop: backdrop(scope),
-});
-export const dialogs = (scope) => {
-    const open = async (kind, options = {}) => {
-        const result = await scope.runtime.host.dialogs.open({
-            kind,
-            ...(options.title === undefined
-                ? {}
-                : { title: shownText(options.title, undefined, "title") }),
-            ...(options.fileName === undefined
-                ? {}
-                : { fileName: shownText(options.fileName, undefined, "fileName") }),
-        });
-        return result.cancelled ? [] : result.paths;
-    };
-    return {
-        async confirm(options) {
-            const { message, detail, confirm, cancel, destructive, checkbox, args } = options ?? {};
-            const values = templateArgs(args);
-            // A string's length is checked here; a text value's (shown) length by
-            // the player.
-            const length = (text, min, max) => isTextValue(text) ||
-                (typeof text === "string" &&
-                    [...text].length >= min &&
-                    [...text].length <= max);
-            if (!length(message, 1, 200) ||
-                !length(confirm, 1, 40) ||
-                (detail !== undefined && !length(detail, 0, 2000)) ||
-                (cancel !== undefined && !length(cancel, 1, 40)) ||
-                (checkbox !== undefined && !length(checkbox, 1, 40)) ||
-                (destructive !== undefined && typeof destructive !== "boolean"))
-                throw failure("invalid", "confirm needs message 1–200, confirm/cancel/checkbox 1–40, detail ≤ 2000 characters");
-            // `args` fills the string templates; a text value carries its own.
-            const shown = (text, what) => shownText(text, undefined, what);
-            const answer = await scope.runtime.host.dialogs.confirm({
-                message: shown(message, "message"),
-                confirm: shown(confirm, "confirm"),
-                ...(detail === undefined ? {} : { detail: shown(detail, "detail") }),
-                ...(cancel === undefined ? {} : { cancel: shown(cancel, "cancel") }),
-                ...(destructive === undefined ? {} : { destructive }),
-                ...(checkbox === undefined
-                    ? {}
-                    : { checkbox: shown(checkbox, "checkbox") }),
-                ...(values === undefined ? {} : { args: values }),
-            });
-            return {
-                confirmed: answer.confirmed === true,
-                checked: answer.checked === true,
-            };
-        },
-        openFile: async (options) => (await open("openFile", options))[0] ?? null,
-        openFiles: (options) => open("openFiles", options),
-        openDirectory: async (options) => (await open("openDirectory", options))[0] ?? null,
-        saveFile: async (options) => (await open("saveFile", options))[0] ?? null,
-    };
-};