systemoneprompts 0.1.0

package/dist/patterns/run-many.js

@@ -0,0 +1,51 @@
+import { positiveInteger } from "./options.js";
+/**
+ * Ask questions about many states with bounded concurrency.
+ * Pass shared `questions` + `states`, or per-item `{ state, questions }`.
+ * Results keep input order; a failed call yields its `Error` instead of aborting the batch.
+ */
+export async function runMany(client, opts) {
+    const concurrency = positiveInteger("concurrency", opts.concurrency ?? 4);
+    const jobs = jobsOf(opts);
+    const results = new Array(jobs.length);
+    let next = 0;
+    const worker = async () => {
+        while (next < jobs.length) {
+            const index = next++;
+            const job = jobs[index];
+            try {
+                const result = (await client.systemOne({
+                    state: job.state,
+                    questions: job.questions,
+                    model: job.model,
+                }));
+                results[index] = result;
+            }
+            catch (error) {
+                const err = error instanceof Error ? error : new Error(String(error));
+                results[index] = err;
+            }
+            opts.onResult?.(index, results[index]);
+        }
+    };
+    await Promise.all(Array.from({ length: Math.min(concurrency, jobs.length) }, () => worker()));
+    return results;
+}
+function jobsOf(opts) {
+    const { items, states, questions, model } = opts;
+    if (items !== undefined && (states !== undefined || questions !== undefined)) {
+        throw new Error("runMany accepts either items or states, not both");
+    }
+    if (items !== undefined) {
+        return items.map((item) => ({
+            state: item.state,
+            questions: item.questions,
+            model: item.model ?? model,
+        }));
+    }
+    if (questions === undefined || states === undefined) {
+        throw new Error("runMany requires questions and states");
+    }
+    return states.map((state) => ({ state, questions, model }));
+}
+//# sourceMappingURL=run-many.js.map

package/dist/patterns/run-many.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-many.js","sourceRoot":"","sources":["../../src/patterns/run-many.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAwC/C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,MAAuB,EACvB,IAAuB;IAEvB,MAAM,WAAW,GAAG,eAAe,CAAC,aAAa,EAAE,IAAI,CAAC,WAAW,IAAI,CAAC,CAAC,CAAC;IAC1E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAsC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,MAAM,MAAM,GAAG,KAAK,IAAI,EAAE;QACxB,OAAO,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,IAAI,EAAE,CAAC;YACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,SAAS,CAAC;oBACrC,KAAK,EAAE,GAAG,CAAC,KAAK;oBAChB,SAAS,EAAE,GAAG,CAAC,SAAS;oBACxB,KAAK,EAAE,GAAG,CAAC,KAAK;iBACjB,CAAC,CAAuB,CAAC;gBAC1B,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;YAC1B,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;gBACtE,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;YACvB,CAAC;YACD,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAE,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9F,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,MAAM,CAAsB,IAAuB;IAC1D,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,IAK3C,CAAC;IACF,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,KAAK;SAC3B,CAAC,CAAC,CAAC;IACN,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAC9D,CAAC"}

package/dist/patterns/walk-taxonomy.d.ts

@@ -0,0 +1,37 @@
+import type { EntryType } from "../native.js";
+import type { SystemOneClient } from "./run-many.js";
+/** An explicit node: a description for this label plus optional children. */
+export interface TaxonomyNode {
+    description?: EntryType;
+    children?: TaxonomyTree;
+}
+/**
+ * Labels mapped to a leaf description (string), an explicit node, or a nested tree.
+ * A nested tree whose own labels are literally `description` / `children` must be
+ * written as an explicit `TaxonomyNode` to avoid being read as one.
+ */
+export interface TaxonomyTree {
+    [label: string]: string | TaxonomyNode | TaxonomyTree;
+}
+export interface WalkTaxonomyOptions {
+    state: unknown;
+    /** Instructions reused at every level; the criteria are the current node's children. */
+    instructions?: EntryType;
+    tree: TaxonomyTree;
+    /** Paths kept alive at each level, ranked by cumulative probability. Default 1. */
+    beamWidth?: number;
+    model?: string;
+}
+export interface TaxonomyPath {
+    path: string[];
+    /** Product of the Choice probabilities along the path. */
+    probability: number;
+}
+/**
+ * Hierarchical Choice: at each level the criteria are the current node's children with
+ * their subtrees as descriptions, so the model sees what each branch leads to. Returns the
+ * best complete paths found within the beam, most probable first. Beam pruning
+ * is approximate: it can discard a branch containing a globally better leaf.
+ */
+export declare function walkTaxonomy(client: SystemOneClient, opts: WalkTaxonomyOptions): Promise<TaxonomyPath[]>;
+//# sourceMappingURL=walk-taxonomy.d.ts.map

package/dist/patterns/walk-taxonomy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk-taxonomy.d.ts","sourceRoot":"","sources":["../../src/patterns/walk-taxonomy.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAkB,SAAS,EAAa,MAAM,cAAc,CAAC;AAEzE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,6EAA6E;AAC7E,MAAM,WAAW,YAAY;IAC3B,WAAW,CAAC,EAAE,SAAS,CAAC;IACxB,QAAQ,CAAC,EAAE,YAAY,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,YAAY,GAAG,YAAY,CAAC;CACvD;AAED,MAAM,WAAW,mBAAmB;IAClC,KAAK,EAAE,OAAO,CAAC;IACf,wFAAwF;IACxF,YAAY,CAAC,EAAE,SAAS,CAAC;IACzB,IAAI,EAAE,YAAY,CAAC;IACnB,mFAAmF;IACnF,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;CACrB;AAQD;;;;;GAKG;AACH,wBAAsB,YAAY,CAChC,MAAM,EAAE,eAAe,EACvB,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,YAAY,EAAE,CAAC,CAkDzB"}

package/dist/patterns/walk-taxonomy.js

@@ -0,0 +1,81 @@
+import { isPlainObject } from "../json.js";
+import { positiveInteger } from "./options.js";
+const STEP = "step";
+/**
+ * Hierarchical Choice: at each level the criteria are the current node's children with
+ * their subtrees as descriptions, so the model sees what each branch leads to. Returns the
+ * best complete paths found within the beam, most probable first. Beam pruning
+ * is approximate: it can discard a branch containing a globally better leaf.
+ */
+export async function walkTaxonomy(client, opts) {
+    const beamWidth = positiveInteger("beamWidth", opts.beamWidth ?? 1);
+    let beam = [{ path: [], probability: 1, node: opts.tree }];
+    const finished = [];
+    while (beam.length > 0) {
+        const expanded = [];
+        for (const item of beam) {
+            const labels = Object.keys(item.node);
+            if (labels.length === 0) {
+                finished.push({ path: item.path, probability: item.probability });
+                continue;
+            }
+            const criteria = Object.fromEntries(labels.map((label) => [label, subtreeDescription(item.node[label])]));
+            const questions = {
+                [STEP]: {
+                    type: "choice",
+                    ...(opts.instructions !== undefined ? { instructions: opts.instructions } : {}),
+                    criteria,
+                },
+            };
+            const response = await client.systemOne({ state: opts.state, questions, model: opts.model });
+            const { probabilities } = response.answers[STEP];
+            for (const label of labels) {
+                expanded.push({
+                    path: [...item.path, label],
+                    probability: item.probability * (probabilities[label] ?? 0),
+                    node: childrenOf(item.node[label]),
+                });
+            }
+        }
+        expanded.sort((a, b) => b.probability - a.probability);
+        const continuing = [];
+        for (const item of expanded) {
+            if (Object.keys(item.node).length === 0) {
+                finished.push({ path: item.path, probability: item.probability });
+            }
+            else {
+                continuing.push(item);
+            }
+        }
+        beam = continuing.slice(0, beamWidth);
+    }
+    finished.sort((a, b) => b.probability - a.probability);
+    return finished.slice(0, beamWidth);
+}
+function childrenOf(value) {
+    if (typeof value === "string")
+        return {};
+    if (isNode(value))
+        return value.children ?? {};
+    return value;
+}
+/** A leaf's description, or a nested object mirroring the subtree so the model sees where a branch leads. */
+function subtreeDescription(value) {
+    if (typeof value === "string")
+        return value;
+    if (isNode(value)) {
+        if (value.children && Object.keys(value.children).length > 0) {
+            return treeDescription(value.children);
+        }
+        return value.description ?? null;
+    }
+    return treeDescription(value);
+}
+function treeDescription(tree) {
+    return Object.fromEntries(Object.entries(tree).map(([label, child]) => [label, subtreeDescription(child)]));
+}
+function isNode(value) {
+    return (isPlainObject(value) &&
+        (Object.hasOwn(value, "description") || Object.hasOwn(value, "children")));
+}
+//# sourceMappingURL=walk-taxonomy.js.map

package/dist/patterns/walk-taxonomy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk-taxonomy.js","sourceRoot":"","sources":["../../src/patterns/walk-taxonomy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAsC/C,MAAM,IAAI,GAAG,MAAM,CAAC;AAEpB;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAAuB,EACvB,IAAyB;IAEzB,MAAM,SAAS,GAAG,eAAe,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;IACpE,IAAI,IAAI,GAAe,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAe,EAAE,CAAC;QAChC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;gBAClE,SAAS;YACX,CAAC;YAED,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,CACtE,CAAC;YACF,MAAM,SAAS,GAAc;gBAC3B,CAAC,IAAI,CAAC,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/E,QAAQ;iBACT;aACF,CAAC;YACF,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;YAC7F,MAAM,EAAE,aAAa,EAAE,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAmB,CAAC;YAEnE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC;oBAC3B,WAAW,EAAE,IAAI,CAAC,WAAW,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;oBAC3D,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;iBACpC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;QACvD,MAAM,UAAU,GAAe,EAAE,CAAC;QAClC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACvD,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,UAAU,CAAC,KAA2C;IAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACzC,IAAI,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC;IAC/C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6GAA6G;AAC7G,SAAS,kBAAkB,CAAC,KAA2C;IACrE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAClB,IAAI,KAAK,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7D,OAAO,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,KAAK,CAAC,WAAW,IAAI,IAAI,CAAC;IACnC,CAAC;IACD,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,eAAe,CAAC,IAAkB;IACzC,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,kBAAkB,CAAC,KAAK,CAAC,CAAC,CAAC,CACpE,CAAC;AACjB,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,CACL,aAAa,CAAC,KAAK,CAAC;QACpB,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC"}

package/dist/questions/references.d.ts

@@ -0,0 +1,12 @@
+import { type Diagnostic } from "../definition/diagnostics.js";
+import { type SourceIndex } from "../definition/locate.js";
+import type { Questions } from "../native.js";
+import type { Requirements } from "../state/requirements.js";
+/**
+ * Warn when a backticked, path-shaped token in `instructions` / `criteria` is not
+ * guaranteed by `[requires]`. A prefix of a guaranteed path (`ticket` when
+ * `ticket.message` is required) counts as guaranteed.
+ */
+export declare function lintBackticks(questions: Questions, requires: Requirements, index: SourceIndex): Diagnostic[];
+export declare function collectBackticks(...values: unknown[]): string[];
+//# sourceMappingURL=references.d.ts.map

package/dist/questions/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../../src/questions/references.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAA4B,MAAM,8BAA8B,CAAC;AACzF,OAAO,EAAU,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAI7D;;;;GAIG;AACH,wBAAgB,aAAa,CAC3B,SAAS,EAAE,SAAS,EACpB,QAAQ,EAAE,YAAY,EACtB,KAAK,EAAE,WAAW,GACjB,UAAU,EAAE,CA4Bd;AAqBD,wBAAgB,gBAAgB,CAAC,GAAG,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,EAAE,CAS/D"}

package/dist/questions/references.js

@@ -0,0 +1,76 @@
+import { diagnostic, nearestMatch } from "../definition/diagnostics.js";
+import { locate } from "../definition/locate.js";
+import { formatPath, parsePath } from "../state/paths.js";
+const BACKTICK_RE = /`([^`]+)`/g;
+/**
+ * Warn when a backticked, path-shaped token in `instructions` / `criteria` is not
+ * guaranteed by `[requires]`. A prefix of a guaranteed path (`ticket` when
+ * `ticket.message` is required) counts as guaranteed.
+ */
+export function lintBackticks(questions, requires, index) {
+    const guaranteed = Object.keys(requires).flatMap((path) => {
+        const segments = parsePath(path);
+        return segments ? [{ formatted: formatPath(segments), segments }] : [];
+    });
+    const diagnostics = [];
+    const guaranteedPaths = guaranteed.map((entry) => entry.formatted);
+    for (const [id, question] of Object.entries(questions)) {
+        const loc = locate(index, { table: ["questions", id], section: "questions", key: id });
+        for (const token of collectBackticks(question.instructions, question.criteria)) {
+            const segments = parsePath(token);
+            if (!segments)
+                continue;
+            if (guaranteed.some((entry) => pathGuaranteesToken(entry.segments, segments)))
+                continue;
+            const suggestion = nearestMatch(token, guaranteedPaths);
+            diagnostics.push(diagnostic("warning", "unguaranteed-backtick", `\`${token}\` is not guaranteed by [requires]`, loc, suggestion ? `did you mean \`${suggestion}\`?` : undefined));
+        }
+    }
+    return diagnostics;
+}
+function pathGuaranteesToken(required, token) {
+    for (let i = 0; i < token.length; i += 1) {
+        const requiredSegment = required[i];
+        if (requiredSegment == null)
+            return false;
+        if (!segmentGuarantees(requiredSegment, token[i]))
+            return false;
+    }
+    return true;
+}
+function segmentGuarantees(required, token) {
+    if (required.kind === "key" && token.kind === "key")
+        return required.name === token.name;
+    if (required.kind === "index" && token.kind === "index")
+        return required.index === token.index;
+    if (required.kind === "all" && token.kind === "all")
+        return true;
+    return required.kind === "all" && token.kind === "index";
+}
+export function collectBackticks(...values) {
+    const found = [];
+    walk(values, (text) => {
+        for (const match of text.matchAll(BACKTICK_RE)) {
+            const token = match[1] ?? "";
+            if (token && !found.includes(token))
+                found.push(token);
+        }
+    });
+    return found;
+}
+function walk(value, onString) {
+    if (typeof value === "string") {
+        onString(value);
+        return;
+    }
+    if (Array.isArray(value)) {
+        for (const entry of value)
+            walk(entry, onString);
+        return;
+    }
+    if (value && typeof value === "object") {
+        for (const entry of Object.values(value))
+            walk(entry, onString);
+    }
+}
+//# sourceMappingURL=references.js.map

package/dist/questions/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../../src/questions/references.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,UAAU,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AACzF,OAAO,EAAE,MAAM,EAAoB,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,UAAU,EAAoB,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAG5E,MAAM,WAAW,GAAG,YAAY,CAAC;AAEjC;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAC3B,SAAoB,EACpB,QAAsB,EACtB,KAAkB;IAElB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QACxD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;QACjC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,eAAe,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAEnE,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACvF,KAAK,MAAM,KAAK,IAAI,gBAAgB,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/E,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAClC,IAAI,CAAC,QAAQ;gBAAE,SAAS;YACxB,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAAE,SAAS;YACxF,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YACxD,WAAW,CAAC,IAAI,CACd,UAAU,CACR,SAAS,EACT,uBAAuB,EACvB,KAAK,KAAK,oCAAoC,EAC9C,GAAG,EACH,UAAU,CAAC,CAAC,CAAC,kBAAkB,UAAU,KAAK,CAAC,CAAC,CAAC,SAAS,CAC3D,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,mBAAmB,CAC1B,QAAgC,EAChC,KAA6B;IAE7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,eAAe,IAAI,IAAI;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,CAAC,iBAAiB,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC;YAAE,OAAO,KAAK,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAqB,EAAE,KAAkB;IAClE,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,QAAQ,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;IACzF,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC;IAC/F,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IACjE,OAAO,QAAQ,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;AAC3D,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,GAAG,MAAiB;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACpB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC7B,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,QAAgC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChB,OAAO;IACT,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,KAAK;YAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACjD,OAAO;IACT,CAAC;IACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClE,CAAC;AACH,CAAC"}

package/dist/questions/schema.d.ts

@@ -0,0 +1,18 @@
+import type { Diagnostic } from "../definition/diagnostics.js";
+import { type SourceIndex } from "../definition/locate.js";
+import type { Questions } from "../native.js";
+export declare const QUESTION_TYPES: readonly ["noul", "choice", "score"];
+export type QuestionType = (typeof QUESTION_TYPES)[number];
+/** What factor validation needs to know about a question: its primitive and, for Choice, its labels. */
+export interface QuestionInfo {
+    id: string;
+    type: QuestionType;
+    choiceLabels?: string[];
+}
+export declare function questionInfos(questions: Questions): Map<string, QuestionInfo>;
+export declare function validateQuestions(raw: unknown, index: SourceIndex): {
+    questions: Questions;
+    infos: Map<string, QuestionInfo>;
+    diagnostics: Diagnostic[];
+};
+//# sourceMappingURL=schema.d.ts.map

package/dist/questions/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/questions/schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAkB,MAAM,8BAA8B,CAAC;AAE/E,OAAO,EAAU,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEnE,OAAO,KAAK,EAAY,SAAS,EAAE,MAAM,cAAc,CAAC;AAExD,eAAO,MAAM,cAAc,sCAAuC,CAAC;AACnE,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAK3D,wGAAwG;AACxG,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,YAAY,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,wBAAgB,aAAa,CAAC,SAAS,EAAE,SAAS,GAAG,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAU7E;AAED,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,WAAW,GACjB;IAAE,SAAS,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CAuCvF"}

package/dist/questions/schema.js

@@ -0,0 +1,169 @@
+import { diagnostic } from "../definition/diagnostics.js";
+import { locate } from "../definition/locate.js";
+import { isJsonValue, isPlainObject } from "../json.js";
+export const QUESTION_TYPES = ["noul", "choice", "score"];
+const MAX_CHOICE_LABELS = 255;
+const QUESTION_FIELDS = new Set(["type", "instructions", "criteria"]);
+export function questionInfos(questions) {
+    const infos = new Map();
+    for (const [id, question] of Object.entries(questions)) {
+        infos.set(id, {
+            id,
+            type: question.type,
+            ...(question.type === "choice" ? { choiceLabels: Object.keys(question.criteria) } : {}),
+        });
+    }
+    return infos;
+}
+export function validateQuestions(raw, index) {
+    const diagnostics = [];
+    const questions = Object.create(null);
+    const infos = new Map();
+    if (raw == null || (isPlainObject(raw) && Object.keys(raw).length === 0)) {
+        diagnostics.push(diagnostic("error", "questions-empty", "[questions] must contain at least one question", locate(index, { table: "questions" })));
+        return { questions, infos, diagnostics };
+    }
+    if (!isPlainObject(raw)) {
+        diagnostics.push(diagnostic("error", "questions-not-table", "[questions] must be a table of question objects", locate(index, { table: "questions" })));
+        return { questions, infos, diagnostics };
+    }
+    for (const [id, value] of Object.entries(raw)) {
+        const loc = locate(index, { table: `questions.${id}`, section: "questions", key: id });
+        const result = validateQuestion(id, value, loc);
+        diagnostics.push(...result.diagnostics);
+        if (result.question && result.info) {
+            questions[id] = result.question;
+            infos.set(id, result.info);
+        }
+    }
+    return { questions, infos, diagnostics };
+}
+function validateQuestion(id, value, loc) {
+    const diagnostics = [];
+    if (!isPlainObject(value)) {
+        diagnostics.push(diagnostic("error", "question-not-table", `question \`${id}\` must be a table`, loc));
+        return { diagnostics };
+    }
+    const extraKeys = Object.keys(value).filter((k) => !QUESTION_FIELDS.has(k));
+    for (const key of extraKeys) {
+        diagnostics.push(diagnostic("error", "unknown-question-field", `question \`${id}\` has unknown field \`${key}\``, loc, "only `type`, `instructions`, and `criteria` are allowed"));
+    }
+    const type = value.type;
+    if (type !== "noul" && type !== "choice" && type !== "score") {
+        diagnostics.push(diagnostic("error", "invalid-question-type", `question \`${id}\` has ${type == null ? "missing" : `invalid`} type ${type == null ? "" : `\`${String(type)}\``}`.trim(), loc, 'type must be "noul", "choice", or "score"'));
+        return { diagnostics };
+    }
+    if (value.instructions !== undefined && !isEntryType(value.instructions)) {
+        diagnostics.push(diagnostic("error", "invalid-instructions", `question \`${id}\` instructions must be a string, table, or array`, loc));
+        return { diagnostics };
+    }
+    if (type === "noul") {
+        return validateNoul(id, value, loc, diagnostics);
+    }
+    if (type === "choice") {
+        return validateChoice(id, value, loc, diagnostics);
+    }
+    return validateScore(id, value, loc, diagnostics);
+}
+function validateNoul(id, value, loc, diagnostics) {
+    if (value.criteria != null) {
+        if (!isPlainObject(value.criteria)) {
+            diagnostics.push(diagnostic("error", "noul-criteria", `Noul \`${id}\` criteria must be a table with optional true/false keys`, loc));
+            return { diagnostics };
+        }
+        const unknown = Object.keys(value.criteria).filter((k) => k !== "true" && k !== "false");
+        if (unknown.length > 0) {
+            diagnostics.push(diagnostic("error", "noul-criteria-keys", `Noul \`${id}\` criteria may only contain true/false; found ${unknown.map((k) => `\`${k}\``).join(", ")}`, loc));
+            return { diagnostics };
+        }
+        for (const key of ["true", "false"]) {
+            const entry = value.criteria[key];
+            if (entry !== undefined && !isEntryType(entry)) {
+                diagnostics.push(diagnostic("error", "noul-criteria-entry", `Noul \`${id}\` criteria.${key} must be a string, table, or array`, loc));
+                return { diagnostics };
+            }
+        }
+    }
+    const question = stripUndefined({
+        type: "noul",
+        ...(value.instructions !== undefined
+            ? { instructions: value.instructions }
+            : {}),
+        ...(value.criteria !== undefined
+            ? { criteria: value.criteria }
+            : {}),
+    });
+    return { question, info: { id, type: "noul" }, diagnostics };
+}
+function validateChoice(id, value, loc, diagnostics) {
+    if (!isPlainObject(value.criteria)) {
+        diagnostics.push(diagnostic("error", "choice-criteria", `Choice \`${id}\` requires a non-empty criteria table`, loc));
+        return { diagnostics };
+    }
+    const labels = Object.keys(value.criteria);
+    if (labels.length === 0) {
+        diagnostics.push(diagnostic("error", "choice-criteria-empty", `Choice \`${id}\` criteria must not be empty`, loc));
+        return { diagnostics };
+    }
+    if (labels.length > MAX_CHOICE_LABELS) {
+        diagnostics.push(diagnostic("error", "choice-criteria-limit", `Choice \`${id}\` has ${labels.length} labels; maximum is ${MAX_CHOICE_LABELS}`, loc));
+        return { diagnostics };
+    }
+    for (const [label, entry] of Object.entries(value.criteria)) {
+        if (!isEntryType(entry)) {
+            diagnostics.push(diagnostic("error", "choice-criteria-entry", `Choice \`${id}\` criteria.${label} must be a string, table, or array`, loc));
+            return { diagnostics };
+        }
+    }
+    const question = stripUndefined({
+        type: "choice",
+        ...(value.instructions !== undefined
+            ? { instructions: value.instructions }
+            : {}),
+        criteria: value.criteria,
+    });
+    return { question, info: { id, type: "choice", choiceLabels: labels }, diagnostics };
+}
+function validateScore(id, value, loc, diagnostics) {
+    if (!Array.isArray(value.criteria)) {
+        diagnostics.push(diagnostic("error", "score-criteria", `Score \`${id}\` requires criteria as an array of at least 2 entries`, loc));
+        return { diagnostics };
+    }
+    if (value.criteria.length < 2) {
+        diagnostics.push(diagnostic("error", "score-criteria-min", `Score \`${id}\` criteria must have at least 2 entries`, loc));
+        return { diagnostics };
+    }
+    for (let i = 0; i < value.criteria.length; i++) {
+        const entry = value.criteria[i];
+        if (!isEntryType(entry)) {
+            diagnostics.push(diagnostic("error", "score-criteria-entry", `Score \`${id}\` criteria[${i}] must be a string, table, or array`, loc));
+            return { diagnostics };
+        }
+    }
+    const question = stripUndefined({
+        type: "score",
+        ...(value.instructions !== undefined
+            ? { instructions: value.instructions }
+            : {}),
+        criteria: value.criteria,
+    });
+    return { question, info: { id, type: "score" }, diagnostics };
+}
+function isEntryType(value) {
+    if (value === null)
+        return true;
+    if (typeof value === "string")
+        return true;
+    if (Array.isArray(value) || isPlainObject(value))
+        return isJsonValue(value);
+    return false;
+}
+function stripUndefined(value) {
+    const out = { ...value };
+    for (const [key, entry] of Object.entries(out)) {
+        if (entry === undefined)
+            delete out[key];
+    }
+    return out;
+}
+//# sourceMappingURL=schema.js.map

package/dist/questions/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../src/questions/schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAoB,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAGxD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAU,CAAC;AAGnE,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAC9B,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;AAStE,MAAM,UAAU,aAAa,CAAC,SAAoB;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC9C,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE;YACZ,EAAE;YACF,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,GAAG,CAAC,QAAQ,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACxF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,GAAY,EACZ,KAAkB;IAElB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAc,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAC;IAE9C,IAAI,GAAG,IAAI,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QACzE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,iBAAiB,EACjB,gDAAgD,EAChD,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CACtC,CACF,CAAC;QACF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAC3C,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,qBAAqB,EACrB,iDAAiD,EACjD,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CACtC,CACF,CAAC;QACF,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAC3C,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YACnC,SAAS,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,gBAAgB,CACvB,EAAU,EACV,KAAc,EACd,GAAmB;IAEnB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,UAAU,CAAC,OAAO,EAAE,oBAAoB,EAAE,cAAc,EAAE,oBAAoB,EAAE,GAAG,CAAC,CACrF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,KAAK,MAAM,GAAG,IAAI,SAAS,EAAE,CAAC;QAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,wBAAwB,EACxB,cAAc,EAAE,0BAA0B,GAAG,IAAI,EACjD,GAAG,EACH,yDAAyD,CAC1D,CACF,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7D,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,uBAAuB,EACvB,cAAc,EAAE,UAAU,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,SAAS,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EACzH,GAAG,EACH,2CAA2C,CAC5C,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QACzE,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,sBAAsB,EACtB,cAAc,EAAE,mDAAmD,EACnE,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IAED,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;QACpB,OAAO,YAAY,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,OAAO,cAAc,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,aAAa,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;AACpD,CAAC;AAED,SAAS,YAAY,CACnB,EAAU,EACV,KAA8B,EAC9B,GAAmB,EACnB,WAAyB;IAEzB,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,eAAe,EACf,UAAU,EAAE,2DAA2D,EACvE,GAAG,CACJ,CACF,CAAC;YACF,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,OAAO,CAAC,CAAC;QACzF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,oBAAoB,EACpB,UAAU,EAAE,kDAAkD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EACzG,GAAG,CACJ,CACF,CAAC;YACF,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,CAAU,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;YAClC,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC/C,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,qBAAqB,EACrB,UAAU,EAAE,eAAe,GAAG,oCAAoC,EAClE,GAAG,CACJ,CACF,CAAC;gBACF,OAAO,EAAE,WAAW,EAAE,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC;QAC9B,IAAI,EAAE,MAAe;QACrB,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAwC,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;YAC9B,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAwE,EAAE;YAC9F,CAAC,CAAC,EAAE,CAAC;KACR,CAAa,CAAC;IACf,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC;AAC/D,CAAC;AAED,SAAS,cAAc,CACrB,EAAU,EACV,KAA8B,EAC9B,GAAmB,EACnB,WAAyB;IAEzB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,iBAAiB,EACjB,YAAY,EAAE,wCAAwC,EACtD,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,uBAAuB,EACvB,YAAY,EAAE,+BAA+B,EAC7C,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,iBAAiB,EAAE,CAAC;QACtC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,uBAAuB,EACvB,YAAY,EAAE,UAAU,MAAM,CAAC,MAAM,uBAAuB,iBAAiB,EAAE,EAC/E,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,uBAAuB,EACvB,YAAY,EAAE,eAAe,KAAK,oCAAoC,EACtE,GAAG,CACJ,CACF,CAAC;YACF,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC;QAC9B,IAAI,EAAE,QAAiB;QACvB,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAwC,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;QACP,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAa,CAAC;IACf,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,aAAa,CACpB,EAAU,EACV,KAA8B,EAC9B,GAAmB,EACnB,WAAyB;IAEzB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,gBAAgB,EAChB,WAAW,EAAE,wDAAwD,EACrE,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,oBAAoB,EACpB,WAAW,EAAE,0CAA0C,EACvD,GAAG,CACJ,CACF,CAAC;QACF,OAAO,EAAE,WAAW,EAAE,CAAC;IACzB,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,CACd,UAAU,CACR,OAAO,EACP,sBAAsB,EACtB,WAAW,EAAE,eAAe,CAAC,qCAAqC,EAClE,GAAG,CACJ,CACF,CAAC;YACF,OAAO,EAAE,WAAW,EAAE,CAAC;QACzB,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC;QAC9B,IAAI,EAAE,OAAgB;QACtB,GAAG,CAAC,KAAK,CAAC,YAAY,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,YAAwC,EAAE;YAClE,CAAC,CAAC,EAAE,CAAC;QACP,QAAQ,EAAE,KAAK,CAAC,QAA4C;KAC7D,CAAa,CAAC;IACf,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;IAC5E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAoC,KAAQ;IACjE,MAAM,GAAG,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/state/paths.d.ts

@@ -0,0 +1,13 @@
+export type PathSegment = {
+    kind: "key";
+    name: string;
+} | {
+    kind: "index";
+    index: number;
+} | {
+    kind: "all";
+};
+export declare function parsePath(path: string): PathSegment[] | null;
+export declare function getAtPath(value: unknown, segments: readonly PathSegment[]): unknown;
+export declare function formatPath(segments: readonly PathSegment[]): string;
+//# sourceMappingURL=paths.d.ts.map

package/dist/state/paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../../src/state/paths.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAChC;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AASpB,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE,GAAG,IAAI,CAiB5D;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,WAAW,EAAE,GAAG,OAAO,CAmBnF;AAED,wBAAgB,UAAU,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAYnE"}

package/dist/state/paths.js

@@ -0,0 +1,70 @@
+const IDENT = "[A-Za-z_][A-Za-z0-9_]*";
+const INDEX = "\\[(-?\\d+)\\]";
+const ALL = "\\[\\]";
+const PATH_RE = new RegExp(`^(${IDENT})((?:\\.${IDENT}|${INDEX}|${ALL})*)$`);
+const TAIL_RE = new RegExp(`\\.(${IDENT})|${INDEX}|${ALL}`, "g");
+const MAX_INDEX = 2 ** 32 - 2;
+export function parsePath(path) {
+    const match = PATH_RE.exec(path);
+    if (!match)
+        return null;
+    const segments = [{ kind: "key", name: match[1] ?? "" }];
+    const tail = match[2] ?? "";
+    if (!tail)
+        return segments;
+    for (const part of tail.matchAll(TAIL_RE)) {
+        if (part[1] != null)
+            segments.push({ kind: "key", name: part[1] });
+        else if (part[2] != null) {
+            const index = Number(part[2]);
+            if (!Number.isInteger(index) || Math.abs(index) > MAX_INDEX)
+                return null;
+            segments.push({ kind: "index", index });
+        }
+        else {
+            segments.push({ kind: "all" });
+        }
+    }
+    return segments;
+}
+export function getAtPath(value, segments) {
+    let current = value;
+    for (const segment of segments) {
+        if (current == null)
+            return undefined;
+        if (segment.kind === "key") {
+            if (typeof current !== "object" || Array.isArray(current))
+                return undefined;
+            if (!Object.hasOwn(current, segment.name))
+                return undefined;
+            current = current[segment.name];
+            continue;
+        }
+        if (segment.kind === "all")
+            return undefined;
+        if (!Array.isArray(current) || !Number.isInteger(segment.index)) {
+            return undefined;
+        }
+        const index = segment.index >= 0 ? segment.index : current.length + segment.index;
+        if (index < 0 || index >= current.length)
+            return undefined;
+        current = current[index];
+    }
+    return current;
+}
+export function formatPath(segments) {
+    let out = "";
+    for (const segment of segments) {
+        if (segment.kind === "key") {
+            out = out === "" ? segment.name : `${out}.${segment.name}`;
+        }
+        else if (segment.kind === "all") {
+            out += "[]";
+        }
+        else {
+            out += `[${segment.index}]`;
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=paths.js.map

package/dist/state/paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../../src/state/paths.ts"],"names":[],"mappings":"AAKA,MAAM,KAAK,GAAG,wBAAwB,CAAC;AACvC,MAAM,KAAK,GAAG,gBAAgB,CAAC;AAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC;AACrB,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,KAAK,IAAI,KAAK,IAAI,GAAG,MAAM,CAAC,CAAC;AAC7E,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,KAAK,IAAI,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;AACjE,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAE9B,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAkB,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACxE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,IAAI;QAAE,OAAO,QAAQ,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aAC9D,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,SAAS;gBAAE,OAAO,IAAI,CAAC;YACzE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1C,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,KAAc,EAAE,QAAgC;IACxE,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,IAAI,IAAI;YAAE,OAAO,SAAS,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC5E,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC5D,OAAO,GAAI,OAAmC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC7D,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,SAAS,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;QAClF,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,OAAO,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC3D,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,QAAgC;IACzD,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC3B,GAAG,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC7D,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAClC,GAAG,IAAI,IAAI,CAAC;QACd,CAAC;aAAM,CAAC;YACN,GAAG,IAAI,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/state/requirements.d.ts

@@ -0,0 +1,25 @@
+import { type Diagnostic } from "../definition/diagnostics.js";
+import { type SourceIndex } from "../definition/locate.js";
+export declare const REQUIREMENT_TYPES: readonly ["string", "number", "boolean", "array", "object", "null", "exists"];
+export type RequirementType = (typeof REQUIREMENT_TYPES)[number];
+/** `[requires]`: dotted / indexed state path → minimum runtime type. */
+export type Requirements = Record<string, RequirementType>;
+export type StateAssert<T = Record<string, unknown>> = (state: unknown) => asserts state is T;
+export declare function parseRequirements(raw: unknown, index: SourceIndex): {
+    requires: Requirements;
+    diagnostics: Diagnostic[];
+};
+/**
+ * Check both explicit types and containers implied by dotted/indexed descendants.
+ * Compare parsed segments so spellings such as [0] and [00] refer to the same index.
+ */
+export declare function checkRequirementConflicts(requires: Requirements, index: SourceIndex): Diagnostic[];
+export declare function isRequirementType(value: unknown): value is RequirementType;
+/**
+ * Build an assertion that every `[requires]` path exists with the expected type.
+ * The assertion narrows and throws; it never copies or reshapes the state.
+ * Invalid paths fail here, at construction, rather than on first use.
+ */
+export declare function createStateAssert<T = Record<string, unknown>>(requires: Requirements): StateAssert<T>;
+export declare function checkRequirement(path: string, expected: RequirementType, actual: unknown): Diagnostic | undefined;
+//# sourceMappingURL=requirements.d.ts.map

package/dist/state/requirements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirements.d.ts","sourceRoot":"","sources":["../../src/state/requirements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqC,MAAM,8BAA8B,CAAC;AAClG,OAAO,EAAU,KAAK,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAInE,eAAO,MAAM,iBAAiB,+EAQpB,CAAC;AAEX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEjE,wEAAwE;AACxE,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;AAE3D,MAAM,MAAM,WAAW,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;AAE9F,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,OAAO,EACZ,KAAK,EAAE,WAAW,GACjB;IAAE,QAAQ,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CA8CvD;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,YAAY,EACtB,KAAK,EAAE,WAAW,GACjB,UAAU,EAAE,CA6Dd;AA4DD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,eAAe,CAE1E;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3D,QAAQ,EAAE,YAAY,GACrB,WAAW,CAAC,CAAC,CAAC,CAkBhB;AAyBD,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,eAAe,EACzB,MAAM,EAAE,OAAO,GACd,UAAU,GAAG,SAAS,CAIxB"}