@canonical/pragma-cli 0.34.0 → 0.36.0

package/dist/src/kernel/packs/runBodies.js

@@ -0,0 +1,140 @@
+/**
+ * The shared run bodies a compiled pack verb closes over.
+ *
+ * Each factory returns a `VerbSpec.run` closure. Reads are plain async: the list
+ * body runs the pack's SELECT then applies post-query filters/search; the lookup
+ * body resolves names → IRIs and fetches per the declared source, gated by the
+ * resolved disclosure level; the sample body draws N random entities at the
+ * highest level. All store access is through the runtime facade (lazy), so these
+ * factories carry no heavy static import.
+ */
+import { cliRecovery, PragmaError } from "../error/index.js";
+import { resolvePackDetail } from "./disclosure.js";
+import { listEntityNames, resolveLookup, } from "./resolveEntity.js";
+import { parseSampleCount, pickRandom } from "./sample.js";
+import { applyPackFilters, } from "./sparql/applyFilters.js";
+import { applyPackSearch } from "./sparql/applySearch.js";
+import { runSelect } from "./sparql/runSelect.js";
+/** The highest canonical level — sample fetches everything for shape discovery. */
+const HIGHEST_LEVEL = "detailed";
+/**
+ * The recovery every lookup-shaped miss carries: browse the noun's list.
+ *
+ * `mcp.params` is populated rather than left off. A bare tool NAME is only half
+ * an instruction to an agent — it still has to guess an argument bag, and a
+ * guess that misses returns `-32602 Invalid arguments`, which reads like the
+ * recovery itself was wrong. `{}` is the concrete, valid call: every compiled
+ * list verb's params are optional, so the recovery is now copy-pasteable.
+ */
+function listRecovery(noun) {
+    return cliRecovery(`${noun} list`, `List available ${noun} entries.`, {
+        tool: `${noun}_list`,
+        params: {},
+    });
+}
+/**
+ * Build the run body for a list-shaped verb (`list` or an extra verb).
+ *
+ * Zero rows is a plain empty list — a SUCCESS, not an error. It returns `[]`
+ * (JSON stays `[]`, exit 0); the formatter turns the emptiness into a non-blank
+ * message (a pack's `emptyRecovery` becomes that message's hint). Routing zero
+ * results through EMPTY_RESULTS would map to exit 1 and break the uniform
+ * `ok:true` list contract, so the run body never throws on emptiness.
+ */
+export function makeListRun(shape, meta) {
+    return async (params, rt) => {
+        const rows = await runSelect(rt, shape.query, meta.source);
+        const vocabularies = await readFilterVocabularies(rt, shape.filters, params, meta.source);
+        return applyPackSearch(applyPackFilters(rows, shape.filters, params, vocabularies), shape.search, params);
+    };
+}
+/**
+ * Read the declared vocabulary of each value-free filter the caller actually
+ * used.
+ *
+ * WHY a second query rather than the rows already in hand: the rows are a
+ * population, not a vocabulary. A category the graph declares with no standards
+ * filed under it, or a `ds:ConceptType` no concept uses yet, is a REAL value
+ * that appears in no row — and rejecting it as `INVALID_INPUT` contradicts both
+ * `standard categories` (which lists it, with count 0) and the documented calm
+ * empty list. The query reads the same terms the enumerating surface reads, so
+ * "the graph is the vocabulary" stays true of the graph rather than of whatever
+ * the list happened to return.
+ *
+ * Only for a filter that is DECLARED with a vocabulary, carries no `values`
+ * (a declared set is already the vocabulary), and was actually PROVIDED — an
+ * unfiltered `list` runs exactly the one query it always did.
+ */
+async function readFilterVocabularies(rt, filters, params, source) {
+    const needed = (filters ?? []).filter((filter) => filter.vocabulary !== undefined &&
+        filter.values === undefined &&
+        params[filter.param] !== undefined);
+    if (needed.length === 0)
+        return undefined;
+    const resolved = new Map();
+    for (const filter of needed) {
+        const vocabulary = filter.vocabulary;
+        if (!vocabulary)
+            continue;
+        const variable = vocabulary.variable ?? filter.variable;
+        const rows = await runSelect(rt, vocabulary.query, source);
+        resolved.set(filter.param, rows.map((row) => row[variable] ?? "").filter((value) => value !== ""));
+    }
+    return resolved;
+}
+/** Build the run body for a lookup verb (variadic names → resolved entities). */
+export function makeLookupRun(lookup, noun, source, prefixes) {
+    return async (params, rt) => {
+        const names = readNames(params);
+        const level = await resolvePackDetail(rt, lookup.disclosure);
+        const output = await resolveLookup(rt, lookup, noun, names, source, prefixes, level);
+        // A total miss (single or all-miss) exits non-zero; a partial batch renders
+        // the results it found and notes the misses.
+        if (output.results.length === 0 && output.errors.length > 0) {
+            const first = output.errors[0];
+            if (first) {
+                throw new PragmaError({
+                    code: first.code,
+                    message: first.message,
+                    suggestions: first.suggestions ? [...first.suggestions] : undefined,
+                    recovery: listRecovery(noun),
+                });
+            }
+        }
+        return output;
+    };
+}
+/** Build the run body for a sample verb (N random entities at the highest level). */
+export function makeSampleRun(lookup, noun, source, prefixes, defaultCount) {
+    return async (params, rt) => {
+        const count = parseSampleCount(params.count ?? defaultCount);
+        const names = await listEntityNames(rt, lookup, source);
+        // An empty population is a clean EMPTY_RESULTS (nothing to sample), not the
+        // "(empty)" INVALID_INPUT resolveLookup would raise on a zero-length batch.
+        if (names.length === 0) {
+            throw PragmaError.emptyResults(noun, {
+                message: `No ${noun} entries to sample.`,
+                recovery: listRecovery(noun),
+            });
+        }
+        const selected = pickRandom(names, count);
+        const output = await resolveLookup(rt, lookup, noun, selected, source, prefixes, HIGHEST_LEVEL);
+        return {
+            samples: output.results,
+            totalCount: names.length,
+            nextSteps: [
+                `These are ${output.results.length} of ${names.length} total ${noun} entries.`,
+                `Use ${noun}_lookup to inspect specific entries by name.`,
+                `Use ${noun}_list to browse all entries.`,
+            ],
+        };
+    };
+}
+/** Read the variadic `name` positional as a string array. */
+function readNames(params) {
+    const raw = params.name;
+    if (Array.isArray(raw))
+        return raw.filter((n) => typeof n === "string");
+    return typeof raw === "string" ? [raw] : [];
+}
+//# sourceMappingURL=runBodies.js.map

package/dist/src/kernel/packs/runBodies.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runBodies.js","sourceRoot":"","sources":["../../../../src/kernel/packs/runBodies.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEpD,OAAO,EAEL,eAAe,EACf,aAAa,GACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EACL,gBAAgB,GAEjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AASlD,mFAAmF;AACnF,MAAM,aAAa,GAAG,UAAU,CAAC;AAEjC;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,WAAW,CAAC,GAAG,IAAI,OAAO,EAAE,kBAAkB,IAAI,WAAW,EAAE;QACpE,IAAI,EAAE,GAAG,IAAI,OAAO;QACpB,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;AACL,CAAC;AAOD;;;;;;;;GAQG;AACH,MAAM,UAAU,WAAW,CACzB,KAAe,EACf,IAAiB;IAEjB,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;QAC1B,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3D,MAAM,YAAY,GAAG,MAAM,sBAAsB,CAC/C,EAAE,EACF,KAAK,CAAC,OAAO,EACb,MAAM,EACN,IAAI,CAAC,MAAM,CACZ,CAAC;QACF,OAAO,eAAe,CACpB,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,CAAC,EAC3D,KAAK,CAAC,MAAM,EACZ,MAAM,CACP,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,KAAK,UAAU,sBAAsB,CACnC,EAAiB,EACjB,OAA0C,EAC1C,MAA+B,EAC/B,MAAmB;IAEnB,MAAM,MAAM,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,MAAM,CACnC,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,UAAU,KAAK,SAAS;QAC/B,MAAM,CAAC,MAAM,KAAK,SAAS;QAC3B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,CACrC,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA6B,CAAC;IACtD,KAAK,MAAM,MAAM,IAAI,MAAM,EAAE,CAAC;QAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QACrC,IAAI,CAAC,UAAU;YAAE,SAAS;QAC1B,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC;QACxD,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3D,QAAQ,CAAC,GAAG,CACV,MAAM,CAAC,KAAK,EACZ,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,CACvE,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,aAAa,CAC3B,MAAkB,EAClB,IAAY,EACZ,MAAmB,EACnB,QAA0C;IAK1C,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;QAC1B,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,EAAE,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,MAAM,aAAa,CAChC,EAAE,EACF,MAAM,EACN,IAAI,EACJ,KAAK,EACL,MAAM,EACN,QAAQ,EACR,KAAK,CACN,CAAC;QACF,4EAA4E;QAC5E,6CAA6C;QAC7C,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,IAAI,WAAW,CAAC;oBACpB,IAAI,EAAE,KAAK,CAAC,IAA2B;oBACvC,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS;oBACnE,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,aAAa,CAC3B,MAAkB,EAClB,IAAY,EACZ,MAAmB,EACnB,QAA0C,EAC1C,YAAoB;IAKpB,OAAO,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;QAC1B,MAAM,KAAK,GAAG,gBAAgB,CAAC,MAAM,CAAC,KAAK,IAAI,YAAY,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QACxD,4EAA4E;QAC5E,4EAA4E;QAC5E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,WAAW,CAAC,YAAY,CAAC,IAAI,EAAE;gBACnC,OAAO,EAAE,MAAM,IAAI,qBAAqB;gBACxC,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC;aAC7B,CAAC,CAAC;QACL,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,MAAM,aAAa,CAChC,EAAE,EACF,MAAM,EACN,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,QAAQ,EACR,aAAa,CACd,CAAC;QACF,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,UAAU,EAAE,KAAK,CAAC,MAAM;YACxB,SAAS,EAAE;gBACT,aAAa,MAAM,CAAC,OAAO,CAAC,MAAM,OAAO,KAAK,CAAC,MAAM,UAAU,IAAI,WAAW;gBAC9E,OAAO,IAAI,8CAA8C;gBACzD,OAAO,IAAI,8BAA8B;aAC1C;SACF,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED,6DAA6D;AAC7D,SAAS,SAAS,CAAC,MAA+B;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC;IACxB,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QACpB,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;IAC/D,OAAO,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9C,CAAC"}

package/dist/src/kernel/packs/sample.js

@@ -0,0 +1,56 @@
+/**
+ * Sample-count parsing and uniform random selection for the `sample` verb.
+ *
+ * Ported from the v1 shared helpers: a missing count falls back to the default,
+ * a non-integer is rejected as invalid input, and a valid integer is clamped to
+ * the supported 1–5 range. Selection is a Fisher-Yates partial shuffle.
+ */
+import { PragmaError } from "../error/index.js";
+/** Smallest number of samples the `sample` verb returns. */
+export const MIN_SAMPLE_COUNT = 1;
+/** Largest number of samples the `sample` verb returns. */
+export const MAX_SAMPLE_COUNT = 5;
+/** Number of samples returned when the count is omitted. */
+export const DEFAULT_SAMPLE_COUNT = 2;
+/** The default sample count a lookup declares, or the built-in default. */
+export function sampleDefaultCount(lookup) {
+    const sample = lookup.sample;
+    if (sample && sample !== true && typeof sample.count === "number") {
+        return sample.count;
+    }
+    return DEFAULT_SAMPLE_COUNT;
+}
+/**
+ * Resolve the raw `count` arg into a clamped sample count.
+ *
+ * @throws PragmaError INVALID_INPUT when `raw` is present but not an integer.
+ */
+export function parseSampleCount(raw) {
+    if (raw === undefined || raw === null || raw === "") {
+        return DEFAULT_SAMPLE_COUNT;
+    }
+    const text = String(raw).trim();
+    if (!/^-?\d+$/.test(text)) {
+        throw PragmaError.invalidInput("count", String(raw), {
+            recovery: {
+                message: `Provide an integer between ${MIN_SAMPLE_COUNT} and ${MAX_SAMPLE_COUNT}.`,
+            },
+        });
+    }
+    return Math.max(MIN_SAMPLE_COUNT, Math.min(MAX_SAMPLE_COUNT, Number(text)));
+}
+/** Pick `count` random items without replacement (Fisher-Yates partial shuffle). */
+export function pickRandom(arr, count) {
+    const n = Math.min(count, arr.length);
+    if (n === 0)
+        return [];
+    const copy = [...arr];
+    for (let i = 0; i < n; i++) {
+        const j = i + Math.floor(Math.random() * (copy.length - i));
+        const tmp = copy[i];
+        copy[i] = copy[j];
+        copy[j] = tmp;
+    }
+    return copy.slice(0, n);
+}
+//# sourceMappingURL=sample.js.map

package/dist/src/kernel/packs/sample.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sample.js","sourceRoot":"","sources":["../../../../src/kernel/packs/sample.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAClC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAClC,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAEtC,2EAA2E;AAC3E,MAAM,UAAU,kBAAkB,CAAC,MAAkB;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,MAAM,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAClE,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,GAAY;IAC3C,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;QACpD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,WAAW,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;YACnD,QAAQ,EAAE;gBACR,OAAO,EAAE,8BAA8B,gBAAgB,QAAQ,gBAAgB,GAAG;aACnF;SACF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,gBAAgB,EAAE,IAAI,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9E,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,UAAU,CAAI,GAAiB,EAAE,KAAa;IAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvB,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;IACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAM,CAAC;QACzB,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAM,CAAC;QACvB,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1B,CAAC"}

package/dist/src/kernel/packs/schema.js

@@ -0,0 +1,421 @@
+/**
+ * The zod pack-definition validator — the single gate for DYNAMIC (config- and
+ * package-declared) packs and the parity round-trip tests. It replaces the old
+ * ~1,000-line hand validator with a schema plus a handful of cross-field
+ * refinements that encode the source rule (§3): `type` XOR `types`, a
+ * graphql-sourced lookup names its fragment target, SPARQL expands stay
+ * single-hop, GraphQL fields reject property paths, and every disclosure `level`
+ * names a declared canonical level. Two more refinements make the definition
+ * COMPILABLE, not merely well-shaped: distinct compiled verb names and distinct
+ * filter params (see {@link refineVerbNames} / {@link refineFilterParams}).
+ *
+ * zod lives here and ONLY here in the pack layer, imported lazily (never on the
+ * `--help`/`__complete` fast path). The distribution's own stories are compiled
+ * statically by `capabilities/distribution.ts` and never revalidated at dispatch
+ * (`collect.projectStoryTiers`'s default-origin carve-out); this runs for config-
+ * and package-declared stories, and in `distribution.test.ts`'s round-trip.
+ */
+import { z } from "zod";
+import { DETAIL_LEVELS, RECOVERY_CLI_PREFIX } from "../../constants.js";
+import { PragmaError } from "../error/index.js";
+const NOUN_PATTERN = /^[a-z][a-z0-9-]*$/;
+/** Message for {@link NOUN_PATTERN} — third-party authors never see the regex. */
+const NOUN_MESSAGE = 'must be lowercase kebab-case, e.g. "design-token"';
+const FILTER_PARAM_PATTERN = /^[a-z][a-z0-9]*$/;
+const FIELD_PATTERN = /^[A-Za-z_][A-Za-z0-9_]*$/;
+const GRAPHQL_NAME_PATTERN = /^[_A-Za-z][_0-9A-Za-z]*$/;
+/**
+ * A prefixed name (`ds:Thing`), a property path of them, or an absolute IRI.
+ * Each path segment may carry the SPARQL inverse marker (`^ds:tier`) — the
+ * contract (`types.ts`) admits "prefixed name, IRI, or path", and an inverse
+ * step IS a property path, so rejecting it here was a schema bug, not a
+ * grammar decision (L-OPEN-9: the tier story's `blocks` expand reads
+ * `^ds:tier`).
+ */
+const TERM_PATTERN = /^(?:[A-Za-z][A-Za-z0-9+.-]*:\/\/[^<>"\s]+|\^?[A-Za-z][\w-]*:[^/<>"\s]+(?:\/\^?[A-Za-z][\w-]*:[^/<>"\s]+)*)$/;
+/** Params a filter/verb may not claim (they are the shared read vocabulary). */
+const RESERVED_PARAMS = new Set(["search", "detail", "name", "count"]);
+/**
+ * Whether an author-supplied query is a SELECT (optionally preceded by its own
+ * PREFIX lines). Every author query a story declares runs through `runSelect`,
+ * which reads `result.bindings` — so a non-SELECT is a shape mismatch caught
+ * here rather than downstream.
+ */
+function isSelectQuery(query) {
+    return /^\s*(?:PREFIX\s+[^\n]*\n\s*)*SELECT\s/i.test(query);
+}
+const term = z.string().regex(TERM_PATTERN, "must be a prefixed name or IRI");
+const graphqlName = z.string().regex(GRAPHQL_NAME_PATTERN);
+const fieldName = z.string().regex(FIELD_PATTERN);
+const columnSchema = z
+    .object({ field: fieldName, label: z.string().optional() })
+    .strict();
+const vocabularySchema = z
+    .object({
+    query: z.string().min(1),
+    variable: fieldName.optional(),
+})
+    .strict();
+const filterSchema = z
+    .object({
+    param: z.string().regex(FILTER_PARAM_PATTERN),
+    variable: fieldName,
+    values: z.array(z.string()).min(1).optional(),
+    match: z.enum(["exact", "set"]).optional(),
+    vocabulary: vocabularySchema.optional(),
+    description: z.string().optional(),
+})
+    .strict()
+    .refine((f) => !RESERVED_PARAMS.has(f.param), {
+    message: "filter param is a reserved name",
+})
+    // A declared `values` set IS the vocabulary — the filter projects it as an
+    // enum and canonicalizes against it. A second, graph-read one alongside would
+    // be a silent no-op at best and a disagreement at worst.
+    .refine((f) => !(f.values && f.vocabulary), {
+    message: '"values" and "vocabulary" are mutually exclusive — a declared value set is already the vocabulary',
+})
+    .refine((f) => !f.vocabulary || isSelectQuery(f.vocabulary.query), {
+    message: '"vocabulary.query" must be a SPARQL SELECT query',
+});
+const searchSchema = z
+    .object({
+    variables: z.array(fieldName).min(1),
+    description: z.string().optional(),
+})
+    .strict();
+const emptyRecoverySchema = z
+    .object({
+    message: z.string().min(1),
+    // The command WITHOUT a binary name — the renderer prepends the CONSUMING
+    // distribution's. A story is portable only if it does not name a binary, so
+    // the old prefixed form is rejected rather than accepted and doubled. Named
+    // loudly, in the `packages` → `packs` tradition, because a third-party pack
+    // written against the old grammar is data, not a typo.
+    cli: z
+        .string()
+        .min(1)
+        .refine((value) => !value.startsWith(RECOVERY_CLI_PREFIX), `emptyRecovery.cli is now the command WITHOUT the binary name — write "sources update", not "${RECOVERY_CLI_PREFIX}sources update"`)
+        .optional(),
+})
+    .strict();
+const listShape = {
+    query: z.string().min(1),
+    columns: z.array(columnSchema).min(1),
+    filters: z.array(filterSchema).min(1).optional(),
+    search: searchSchema.optional(),
+    emptyRecovery: emptyRecoverySchema.optional(),
+};
+const listSchema = z.object(listShape).strict();
+const verbSchema = z
+    .object({
+    ...listShape,
+    verb: z.string().regex(NOUN_PATTERN, NOUN_MESSAGE),
+    description: z.string().optional(),
+    toolDescription: z.string().optional(),
+})
+    .strict();
+const fieldSchema = z
+    .object({
+    name: fieldName,
+    property: term,
+    label: z.string().optional(),
+    graphqlField: graphqlName.optional(),
+    level: z.string().optional(),
+})
+    .strict();
+const sectionSchema = fieldSchema.extend({
+    kind: z.enum(["field", "code"]).optional(),
+});
+const nestedExpandSchema = z
+    .object({
+    name: fieldName,
+    relation: term,
+    graphqlField: graphqlName.optional(),
+    select: z
+        .array(z
+        .object({
+        name: fieldName,
+        property: term,
+        label: z.string().optional(),
+        graphqlField: graphqlName.optional(),
+    })
+        .strict())
+        .min(1),
+})
+    .strict();
+const expandFieldSchema = z
+    .object({
+    name: fieldName,
+    property: term,
+    label: z.string().optional(),
+    graphqlField: graphqlName.optional(),
+})
+    .strict();
+const expandSchema = z
+    .object({
+    name: fieldName,
+    heading: z.string().optional(),
+    kind: z.enum(["list", "table"]).optional(),
+    relation: term,
+    graphqlField: graphqlName.optional(),
+    select: z.array(z.union([nestedExpandSchema, expandFieldSchema])).min(1),
+    showWhenEmpty: z.boolean().optional(),
+    level: z.string().optional(),
+})
+    .strict();
+const disclosureSchema = z
+    .object({
+    levels: z.array(z.enum(DETAIL_LEVELS)).min(1),
+    default: z.enum(DETAIL_LEVELS).optional(),
+})
+    .strict()
+    .superRefine((disclosure, ctx) => {
+    // `default` must name a DECLARED level, not merely a canonical one — else the
+    // injected MCP `detail` enum offers only the declared levels while the
+    // advertised/resolved default is unselectable (compounds the divergence
+    // resolvePackDetail guards at runtime).
+    if (disclosure.default !== undefined &&
+        !disclosure.levels.includes(disclosure.default)) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: `disclosure default "${disclosure.default}" is not one of the declared levels [${disclosure.levels.join(", ")}].`,
+            path: ["default"],
+        });
+    }
+});
+const sampleSchema = z.union([
+    z.literal(true),
+    z
+        .object({
+        count: z.number().int().min(1).max(5).optional(),
+        fixedCount: z.boolean().optional(),
+        description: z.string().optional(),
+        toolDescription: z.string().optional(),
+    })
+        .strict(),
+]);
+const completionSchema = z
+    .object({
+    enabled: z.boolean().optional(),
+    match: z.enum(["prefix", "substring", "fuzzy"]).optional(),
+    minChars: z.number().int().min(0).optional(),
+})
+    .strict();
+/**
+ * The declared scope-ranking factor (`PackScopeWeight`). `falloff` is bounded
+ * the same way `weights` is — a factor outside 0–1 is a promotion, and this
+ * declaration only ever DEMOTES a deeper scope below a shallower one.
+ */
+const scopeWeightSchema = z
+    .object({
+    via: term,
+    by: term,
+    falloff: z.number().min(0).max(1),
+    asserted: term.optional(),
+})
+    .strict();
+const lookupSchema = z
+    .object({
+    source: z.enum(["sparql", "graphql"]).optional(),
+    by: term,
+    nameFallback: z.enum(["iri"]).optional(),
+    type: term.optional(),
+    description: z.string().optional(),
+    toolDescription: z.string().optional(),
+    types: z.array(term).min(1).optional(),
+    weights: z.record(term, z.number().min(0).max(1)).optional(),
+    scopeWeight: scopeWeightSchema.optional(),
+    graphqlType: graphqlName.optional(),
+    fields: z.array(fieldSchema).min(1).optional(),
+    sections: z.array(sectionSchema).min(1).optional(),
+    expand: z.array(expandSchema).min(1).optional(),
+    disclosure: disclosureSchema.optional(),
+    sample: sampleSchema.optional(),
+    completion: completionSchema.optional(),
+})
+    .strict();
+const definitionSchema = z
+    .object({
+    noun: z.string().regex(NOUN_PATTERN, NOUN_MESSAGE),
+    description: z.string().optional(),
+    toolDescription: z.string().optional(),
+    list: listSchema.optional(),
+    verbs: z.array(verbSchema).min(1).optional(),
+    lookup: lookupSchema.optional(),
+    colophon: z.string().optional(),
+})
+    .strict()
+    .superRefine((def, ctx) => {
+    if (!def.list && !def.lookup) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: 'a pack must declare at least one of "list" or "lookup".',
+        });
+    }
+    if (def.list && !isSelectQuery(def.list.query)) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: '"list.query" must be a SPARQL SELECT query.',
+            path: ["list", "query"],
+        });
+    }
+    refineVerbNames(def, ctx);
+    if (def.list)
+        refineFilterParams(def.list.filters, ["list"], ctx);
+    for (const [index, verb] of (def.verbs ?? []).entries()) {
+        refineFilterParams(verb.filters, ["verbs", index], ctx);
+    }
+    if (def.lookup)
+        refineLookup(def.lookup, ctx);
+});
+/**
+ * The compiled `(noun, verb)` keys must be distinct.
+ *
+ * `compilePack` emits `list`, then each `verbs[].verb`, then `lookup` and
+ * `sample`. A repeat there survives the grammar into `assembleEffectiveModules`,
+ * where `assertUniqueVerbs` throws — and package stories reach dispatch before
+ * the command tree exists, so that throw would fail EVERY command, `doctor` and
+ * `sources update` included. The collision is a property of the definition, so
+ * the grammar is where it is caught.
+ */
+function refineVerbNames(def, ctx) {
+    const emitted = new Set(def.list ? ["list"] : []);
+    if (def.lookup) {
+        emitted.add("lookup");
+        if (def.lookup.sample)
+            emitted.add("sample");
+    }
+    const seen = new Set();
+    for (const [index, verb] of (def.verbs ?? []).entries()) {
+        if (emitted.has(verb.verb) || seen.has(verb.verb)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `verb "${verb.verb}" is already compiled by this pack — every verb must be distinct.`,
+                path: ["verbs", index, "verb"],
+            });
+        }
+        seen.add(verb.verb);
+    }
+}
+/**
+ * Filter params project to CLI options, so a repeat inside one list shape makes
+ * Commander refuse to register the second `--<param>` — outside every error
+ * envelope the CLI owns.
+ */
+function refineFilterParams(filters, path, ctx) {
+    const seen = new Set();
+    for (const [index, filter] of (filters ?? []).entries()) {
+        if (seen.has(filter.param)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `filter param "${filter.param}" is declared twice.`,
+                path: [...path, "filters", index, "param"],
+            });
+        }
+        seen.add(filter.param);
+    }
+}
+/** Cross-field lookup rules — the source rule (§3, F8). */
+function refineLookup(lookup, ctx) {
+    const source = lookup.source ?? "sparql";
+    if (lookup.type !== undefined && lookup.types !== undefined) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: '"lookup.type" and "lookup.types" are mutually exclusive.',
+            path: ["lookup"],
+        });
+    }
+    // An IRI-derived name is only as trustworthy as the class vouching for the
+    // entity it came from, and without a class constraint nothing bounds the scan
+    // the derived-name population would run. Rejected rather than ignored, for the
+    // same reason a stale weight is: a silent no-op is how a declaration that
+    // never applied survives review.
+    if (lookup.nameFallback !== undefined && !lookup.type && !lookup.types) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: '"lookup.nameFallback" requires a class constraint ("lookup.type" or "lookup.types") to vouch for the entities it names.',
+            path: ["lookup", "nameFallback"],
+        });
+    }
+    // A weight naming a type the lookup does not address can never apply. Reject
+    // it rather than ignore it — a silent no-op is how a stale weight survives a
+    // rename (the type moves, the weight stays, and nothing says so).
+    const addressed = new Set(lookup.types ?? (lookup.type ? [lookup.type] : []));
+    for (const named of Object.keys(lookup.weights ?? {})) {
+        if (!addressed.has(named)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `"lookup.weights" names "${named}", which is not in "lookup.type"/"lookup.types".`,
+                path: ["lookup", "weights"],
+            });
+        }
+    }
+    if (source === "graphql" && !lookup.graphqlType && !lookup.type) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: '"lookup.source" "graphql" requires "lookup.graphqlType" (or a single "lookup.type" to derive it).',
+            path: ["lookup"],
+        });
+    }
+    const allValues = [...(lookup.fields ?? []), ...(lookup.sections ?? [])];
+    const declared = new Set(lookup.disclosure?.levels ?? []);
+    for (const value of allValues) {
+        if (value.level !== undefined && !declared.has(value.level)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `field "${value.name}" level "${value.level}" is not a declared disclosure level.`,
+                path: ["lookup"],
+            });
+        }
+        if (source === "graphql" &&
+            isPropertyPath(value.property) &&
+            !value.graphqlField) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `field "${value.name}" uses a property path, which the GraphQL source cannot express — set "graphqlField" or use source "sparql".`,
+                path: ["lookup"],
+            });
+        }
+    }
+    for (const expand of lookup.expand ?? []) {
+        if (expand.level !== undefined && !declared.has(expand.level)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `expand "${expand.name}" level "${expand.level}" is not a declared disclosure level.`,
+                path: ["lookup"],
+            });
+        }
+        for (const entry of expand.select) {
+            if ("relation" in entry && source !== "graphql") {
+                ctx.addIssue({
+                    code: z.ZodIssueCode.custom,
+                    message: `expand "${expand.name}" nests a relation, which requires lookup.source "graphql" (the SPARQL expand sub-SELECT is single-hop).`,
+                    path: ["lookup"],
+                });
+            }
+        }
+    }
+}
+/** A term with a `/` join of prefixed names (never an absolute IRI). */
+function isPropertyPath(term) {
+    return term.includes("/") && !term.includes("://");
+}
+/**
+ * Validate a raw pack definition, throwing a config error on the first issue.
+ *
+ * @param raw - The untrusted definition (config/package JSON, or a test input).
+ * @param source - Where it came from, for error attribution.
+ * @returns The validated definition (shape-preserving — no injected defaults).
+ * @throws PragmaError CONFIG_ERROR describing the first violation.
+ */
+export function parsePackDefinition(raw, source) {
+    const result = definitionSchema.safeParse(raw);
+    if (!result.success) {
+        const issue = result.error.issues[0];
+        const path = issue?.path.join(".") ?? "<root>";
+        throw PragmaError.configError(`Invalid story in ${source} at ${path}: ${issue?.message ?? "unknown error"}`);
+    }
+    return result.data;
+}
+//# sourceMappingURL=schema.js.map

package/dist/src/kernel/packs/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../../src/kernel/packs/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD,MAAM,YAAY,GAAG,mBAAmB,CAAC;AACzC,kFAAkF;AAClF,MAAM,YAAY,GAAG,mDAAmD,CAAC;AACzE,MAAM,oBAAoB,GAAG,kBAAkB,CAAC;AAChD,MAAM,aAAa,GAAG,0BAA0B,CAAC;AACjD,MAAM,oBAAoB,GAAG,0BAA0B,CAAC;AACxD;;;;;;;GAOG;AACH,MAAM,YAAY,GAChB,6GAA6G,CAAC;AAEhH,gFAAgF;AAChF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEvE;;;;;GAKG;AACH,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,wCAAwC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,gCAAgC,CAAC,CAAC;AAC9E,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;AAC3D,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;AAElD,MAAM,YAAY,GAAG,CAAC;KACnB,MAAM,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;KAC1D,MAAM,EAAE,CAAC;AAEZ,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE;CAC/B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,YAAY,GAAG,CAAC;KACnB,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC;IAC7C,QAAQ,EAAE,SAAS;IACnB,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC7C,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,UAAU,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IACvC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC;KACD,MAAM,EAAE;KACR,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE;IAC5C,OAAO,EAAE,iCAAiC;CAC3C,CAAC;IACF,2EAA2E;IAC3E,8EAA8E;IAC9E,yDAAyD;KACxD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,UAAU,CAAC,EAAE;IAC1C,OAAO,EACL,mGAAmG;CACtG,CAAC;KACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,IAAI,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE;IACjE,OAAO,EAAE,kDAAkD;CAC5D,CAAC,CAAC;AAEL,MAAM,YAAY,GAAG,CAAC;KACnB,MAAM,CAAC;IACN,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,mBAAmB,GAAG,CAAC;KAC1B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,0EAA0E;IAC1E,4EAA4E;IAC5E,4EAA4E;IAC5E,4EAA4E;IAC5E,uDAAuD;IACvD,GAAG,EAAE,CAAC;SACH,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,mBAAmB,CAAC,EACjD,+FAA+F,mBAAmB,iBAAiB,CACpI;SACA,QAAQ,EAAE;CACd,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,SAAS,GAAG;IAChB,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC/B,aAAa,EAAE,mBAAmB,CAAC,QAAQ,EAAE;CAC9C,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,EAAE,CAAC;AAChD,MAAM,UAAU,GAAG,CAAC;KACjB,MAAM,CAAC;IACN,GAAG,SAAS;IACZ,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,YAAY,CAAC;IAClD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,WAAW,GAAG,CAAC;KAClB,MAAM,CAAC;IACN,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE,IAAI;IACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,YAAY,EAAE,WAAW,CAAC,QAAQ,EAAE;IACpC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,CAAC;KACzB,MAAM,CAAC;IACN,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,WAAW,CAAC,QAAQ,EAAE;IACpC,MAAM,EAAE,CAAC;SACN,KAAK,CACJ,CAAC;SACE,MAAM,CAAC;QACN,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC5B,YAAY,EAAE,WAAW,CAAC,QAAQ,EAAE;KACrC,CAAC;SACD,MAAM,EAAE,CACZ;SACA,GAAG,CAAC,CAAC,CAAC;CACV,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,iBAAiB,GAAG,CAAC;KACxB,MAAM,CAAC;IACN,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE,IAAI;IACd,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,YAAY,EAAE,WAAW,CAAC,QAAQ,EAAE;CACrC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,YAAY,GAAG,CAAC;KACnB,MAAM,CAAC;IACN,IAAI,EAAE,SAAS;IACf,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1C,QAAQ,EAAE,IAAI;IACd,YAAY,EAAE,WAAW,CAAC,QAAQ,EAAE;IACpC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,kBAAkB,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACrC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,QAAQ,EAAE;CAC1C,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,UAAU,EAAE,GAAG,EAAE,EAAE;IAC/B,8EAA8E;IAC9E,uEAAuE;IACvE,wEAAwE;IACxE,wCAAwC;IACxC,IACE,UAAU,CAAC,OAAO,KAAK,SAAS;QAChC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAC/C,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,uBAAuB,UAAU,CAAC,OAAO,wCAAwC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;YAC1H,IAAI,EAAE,CAAC,SAAS,CAAC;SAClB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC;IAC3B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACf,CAAC;SACE,MAAM,CAAC;QACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QAChD,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;QAClC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAClC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KACvC,CAAC;SACD,MAAM,EAAE;CACZ,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC1D,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC7C,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ;;;;GAIG;AACH,MAAM,iBAAiB,GAAG,CAAC;KACxB,MAAM,CAAC;IACN,GAAG,EAAE,IAAI;IACT,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE;CAC1B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,YAAY,GAAG,CAAC;KACnB,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,QAAQ,EAAE;IAChD,EAAE,EAAE,IAAI;IACR,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE;IACrB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACtC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACtC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5D,WAAW,EAAE,iBAAiB,CAAC,QAAQ,EAAE;IACzC,WAAW,EAAE,WAAW,CAAC,QAAQ,EAAE;IACnC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC9C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAClD,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC/C,UAAU,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IACvC,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC/B,UAAU,EAAE,gBAAgB,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,gBAAgB,GAAG,CAAC;KACvB,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,YAAY,EAAE,YAAY,CAAC;IAClD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACtC,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE;IAC3B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5C,MAAM,EAAE,YAAY,CAAC,QAAQ,EAAE;IAC/B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAChC,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;IACxB,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QAC7B,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,yDAAyD;SACnE,CAAC,CAAC;IACL,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,6CAA6C;YACtD,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC;SACxB,CAAC,CAAC;IACL,CAAC;IACD,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1B,IAAI,GAAG,CAAC,IAAI;QAAE,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAClE,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,GAAG,CAAC,MAAM;QAAE,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEL;;;;;;;;;GASG;AACH,SAAS,eAAe,CACtB,GAIC,EACD,GAAoB;IAEpB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAS,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1D,IAAI,GAAG,CAAC,MAAM,EAAE,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACtB,IAAK,GAAG,CAAC,MAA+B,CAAC,MAAM;YAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAClD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,mEAAmE;gBAC9F,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC;aAC/B,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CACzB,OAAiD,EACjD,IAAkC,EAClC,GAAoB;IAEpB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,iBAAiB,MAAM,CAAC,KAAK,sBAAsB;gBAC5D,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC;aAC3C,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;AACH,CAAC;AAED,2DAA2D;AAC3D,SAAS,YAAY,CACnB,MAAoC,EACpC,GAAoB;IAEpB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC;IAEzC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC5D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,0DAA0D;YACnE,IAAI,EAAE,CAAC,QAAQ,CAAC;SACjB,CAAC,CAAC;IACL,CAAC;IAED,2EAA2E;IAC3E,8EAA8E;IAC9E,+EAA+E;IAC/E,0EAA0E;IAC1E,iCAAiC;IACjC,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QACvE,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EACL,yHAAyH;YAC3H,IAAI,EAAE,CAAC,QAAQ,EAAE,cAAc,CAAC;SACjC,CAAC,CAAC;IACL,CAAC;IAED,6EAA6E;IAC7E,6EAA6E;IAC7E,kEAAkE;IAClE,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CACnD,CAAC;IACF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,2BAA2B,KAAK,kDAAkD;gBAC3F,IAAI,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAChE,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EACL,mGAAmG;YACrG,IAAI,EAAE,CAAC,QAAQ,CAAC;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,SAAS,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC,CAAC;IAElE,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,KAAK,uCAAuC;gBAC3F,IAAI,EAAE,CAAC,QAAQ,CAAC;aACjB,CAAC,CAAC;QACL,CAAC;QACD,IACE,MAAM,KAAK,SAAS;YACpB,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC9B,CAAC,KAAK,CAAC,YAAY,EACnB,CAAC;YACD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,UAAU,KAAK,CAAC,IAAI,8GAA8G;gBAC3I,IAAI,EAAE,CAAC,QAAQ,CAAC;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,WAAW,MAAM,CAAC,IAAI,YAAY,MAAM,CAAC,KAAK,uCAAuC;gBAC9F,IAAI,EAAE,CAAC,QAAQ,CAAC;aACjB,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,IAAI,UAAU,IAAI,KAAK,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBAChD,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;oBAC3B,OAAO,EAAE,WAAW,MAAM,CAAC,IAAI,0GAA0G;oBACzI,IAAI,EAAE,CAAC,QAAQ,CAAC;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,SAAS,cAAc,CAAC,IAAY;IAClC,OAAO,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACrD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAAY,EACZ,MAAc;IAEd,MAAM,MAAM,GAAG,gBAAgB,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAC;QAC/C,MAAM,WAAW,CAAC,WAAW,CAC3B,oBAAoB,MAAM,OAAO,IAAI,KAAK,KAAK,EAAE,OAAO,IAAI,eAAe,EAAE,CAC9E,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,IAAsB,CAAC;AACvC,CAAC"}