@canonical/pragma-cli 0.34.0 → 0.35.0

package/dist/src/kernel/completion/entitySource.js

@@ -0,0 +1,285 @@
+/**
+ * The dynamic-tier seam: where `{kind:"names"}` completions get their candidates
+ * for EVERY object family, plus the storeless pack-index read the resource
+ * browser (`info`, `doctor`, MCP prompts, the resource provider) shares.
+ *
+ * {@link indexCompletionEnv} is the one source-dispatched reader wired at the
+ * `__complete` fast path (bin) and the `__complete` verb. It resolves three
+ * storeless sources — all disk-readable, never a store/SPARQL:
+ * - `index`    → the active pack's `index.json`, filtered by a prefixed `type`
+ *                and read from the declared `field` (`name` by default).
+ * - `skills`   → SKILL.md names via {@link discoverSkills} (filesystem walk).
+ * - `prefixes` → the pack index's prefixes ∪ the default display prefixes.
+ *
+ * There is no per-family source. An entity family IS a `type` filter plus the
+ * field that family is addressed by, and both are declared at the verb, so this
+ * module names no entity type at all.
+ *
+ * The index is loaded once (lazy `readFileSync` + plain `JSON.parse` — never a
+ * store, facade, config evaluator, or zod schema; any I/O or parse error
+ * degrades to `[]`) and shared across the index and prefixes sources;
+ * the skills walk is memoized to one walk per `__complete` process.
+ * {@link createIndexEntityReader} exposes the index read for the storeless
+ * behavioural/safety tests; {@link emptyNameSource} is the default (no names).
+ *
+ * {@link readPackIndex} and {@link entityTotal} expose the same storeless read
+ * to `info`/`doctor` and the resource surfaces — but those callers are NOT on
+ * the fast path, so `readPackIndex` takes the boot decision rather than
+ * re-deriving one. Everything here relies only on the FROZEN `{ name, type }`
+ * index minimum (plus optional enrichment like `label`/`altNames`), so the
+ * index can grow without breaking completion.
+ *
+ * Storeless-graph notes:
+ * - The embedded fallback is read from `pack.index.generated` — its OWN
+ *   generated module (only the index string) — so the storeless `__complete`
+ *   path never EVALUATES the n-quads/schema/manifest strings that live in
+ *   `pack.generated`. Under the compiled binary it did not avoid PARSING them
+ *   either — one emitted script meant the whole embed was parsed at process
+ *   start on every invocation (~+25 ms, measured on `--version`; BUDGETS.md
+ *   records it), and the split bought only that a completion never allocated
+ *   the 1.87 MB. Shipping per-module output changed that: `pack.generated` is
+ *   a separate module the fast path never imports, so it is no longer parsed
+ *   at all there. The split now buys both.
+ * - The active pack is resolved through `kernel/runtime/paths` — a LEAF module
+ *   (node builtins only) that shares the pointer read with `resolveSources`.
+ *   `resolveSources` itself is unreachable from here: it pulls the graphpack
+ *   manifest schema (zod), which `safety.test.ts` forbids on this graph, and
+ *   `origins.packs` needs the config evaluator. So {@link loadActiveIndex}
+ *   implements only the POINTER half of the decision table — pointer → that
+ *   pack (else nothing), no pointer → the embedded snapshot. It cannot tell a
+ *   fresh install from a project that declared its own packs and never built
+ *   them, so a `__complete` in the latter still offers the snapshot's names.
+ *   That is the price of a config-free fast path, and it is bounded to
+ *   completion candidates: every read, and every surface that takes the
+ *   decision, refuses. `PackIndex`/`PackIndexEntity` are imported type-only, so
+ *   no zod schema is loaded at runtime.
+ * - `discoverSkills` (`node:fs/os/path` only) and `DEFAULT_PREFIX_MAP` (whose
+ *   domain half the distribution declares) are the only new edges — both
+ *   leaf-clean, so the fast path stays free of boot/config/store/zod.
+ */
+import { readFileSync } from "node:fs";
+import { join } from "node:path";
+import { discoverSkills } from "../../capabilities/skill/discover.js";
+// Inlined embedded index — its OWN generated module (only the index string), so
+// the storeless `__complete` path never pulls the n-quads/schema/manifest
+// strings that live in `pack.generated.ts`.
+import { DEFAULT_PREFIX_MAP } from "../render/index.js";
+import { indexJson as EMBEDDED_INDEX_JSON } from "../runtime/graphpack/embedded/pack.index.generated.js";
+import { packDir, readActivePack } from "../runtime/paths.js";
+/** The default name source: no index tier, so no candidates. */
+export const emptyNameSource = () => [];
+/** The pack index filename (kept local so this path never imports the zod schema). */
+const INDEX_FILE = "index.json";
+/**
+ * Read the storeless index of the pack the BOOT DECISION names — for `info`,
+ * `doctor`, the MCP resource browser, and native `prompts/list`. Never boots the
+ * store, never validates with zod — a plain `JSON.parse` off disk.
+ *
+ * It takes the decision rather than re-deriving one so these surfaces cannot
+ * list entities the same project's reads refuse: `unavailable` yields
+ * `undefined`, and callers degrade to a recovery hint (`buildResourceList`
+ * emits the `pragma:sources` entry, `info` omits the total).
+ *
+ * @param decision - The boot decision from `resolveSources`.
+ * @returns The answering pack's index, or `undefined` when none answers.
+ */
+export function readPackIndex(decision) {
+    switch (decision.kind) {
+        case "pack":
+            return readIndexFile(decision.dir);
+        case "embedded":
+            return parseIndex(EMBEDDED_INDEX_JSON);
+        case "unavailable":
+            return undefined;
+    }
+}
+/**
+ * Count a pack index's DISTINCT abox subjects — the "total entities" figure
+ * `info` and `doctor` report. Works over any {@link PackIndex}, whether read
+ * storelessly via {@link readPackIndex} or taken from a booted store session.
+ *
+ * NOT a sum of `instanceCountByType`: on a real OWL/Protégé export that raw
+ * multiset double-counts — every individual is typed as both its domain class
+ * AND `owl:NamedIndividual`, and the `owl:Class`/property meta-buckets pile on
+ * top — so the total ran ~2× the real entity count (A1). Counting distinct
+ * abox subjects (the individuals, each once) is the figure users expect; the
+ * tbox schema classes/properties are not "entities" in this count.
+ *
+ * @param index - A pack index.
+ * @returns The number of distinct abox subjects indexed.
+ */
+export function entityTotal(index) {
+    const subjects = new Set();
+    for (const entity of index.entities) {
+        if (entity.box === "abox")
+            subjects.add(entity.uri ?? entity.name);
+    }
+    return subjects.size;
+}
+/** Parse an index JSON string; any malformed input degrades to `undefined`. */
+function parseIndex(json) {
+    try {
+        return JSON.parse(json);
+    }
+    catch {
+        return undefined;
+    }
+}
+/** Read a pack directory's `index.json`; any I/O or parse error is `undefined`. */
+function readIndexFile(dir) {
+    try {
+        return parseIndex(readFileSync(join(dir, INDEX_FILE), "utf-8"));
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * The fast path's index — the POINTER half of the decision table (see the module
+ * docblock). A project with a pointer reads that pack and nothing else: a
+ * pointer whose pack the cache lost yields no candidates rather than the
+ * snapshot's, which is what the boot decision does with the same state.
+ */
+function loadActiveIndex(cwd) {
+    const contentHash = readActivePack(cwd);
+    return contentHash === undefined
+        ? parseIndex(EMBEDDED_INDEX_JSON)
+        : readIndexFile(packDir(contentHash));
+}
+/**
+ * Whether an entity matches a prefixed type filter (primary type or any type).
+ *
+ * Exported because the MCP resource listing addresses the index by the SAME
+ * vocabulary a completion source does (`McpListableRef` reuses
+ * `CompletionSourceRef`'s fields), and "which entities is this type?" must be
+ * ONE rule — two would let a type list entities its completion refuses.
+ *
+ * @param entity - The indexed entity to test.
+ * @param type - A prefixed type filter; empty matches every entity.
+ * @returns Whether the entity carries that type.
+ */
+export function matchesType(entity, type) {
+    if (!type)
+        return true;
+    if (entity.type === type)
+        return true;
+    return Array.isArray(entity.types) && entity.types.includes(type);
+}
+/**
+ * Build a storeless entity-name reader for a working directory.
+ *
+ * @param cwd - The project directory (to resolve the active pack).
+ * @returns `(type, partial) => string[]` — sorted entity names of `type`
+ *   starting with `partial`. The index is loaded once, lazily, and reused.
+ */
+export function createIndexEntityReader(cwd) {
+    let index;
+    let loaded = false;
+    return (type, partial) => {
+        if (!loaded) {
+            index = loadActiveIndex(cwd);
+            loaded = true;
+        }
+        if (!index)
+            return [];
+        const names = new Set();
+        for (const entity of index.entities) {
+            if (!matchesType(entity, type))
+                continue;
+            if (partial && !entity.name.startsWith(partial))
+                continue;
+            names.add(entity.name);
+        }
+        return [...names].sort();
+    };
+}
+/**
+ * One entity's completable tokens for a declared field, with NO fallback.
+ *
+ * A verb declares the field because that is the one its lookup matches on, so
+ * an entity the pack did not enrich contributes nothing. Standing a label in
+ * for an absent alt name would offer a token the lookup provably cannot resolve
+ * — a completion that hands the user a value and then refuses it — which is the
+ * complete-but-cannot-resolve split this whole declaration exists to close.
+ * Offering nothing for an under-enriched entity is the honest answer.
+ *
+ * @param entity - One index entity.
+ * @param field - The declared field to read.
+ * @returns The tokens that entity contributes; empty when it carries none.
+ */
+function readEntityNames(entity, field) {
+    switch (field) {
+        case "name":
+            return [entity.name];
+        case "label":
+            return entity.label ? [entity.label] : [];
+        case "altNames":
+            return entity.altNames ?? [];
+    }
+}
+/** A ref's candidates: entities of its type, read from its field, sorted. */
+function indexNames(index, ref) {
+    if (!index)
+        return [];
+    const names = new Set();
+    for (const entity of index.entities) {
+        if (!matchesType(entity, ref.type ?? ""))
+            continue;
+        for (const name of readEntityNames(entity, ref.field ?? "name")) {
+            names.add(name);
+        }
+    }
+    return [...names].sort();
+}
+/** The completable namespace prefixes: the index's ∪ the default display map. */
+function prefixNames(index) {
+    const keys = new Set(Object.keys(DEFAULT_PREFIX_MAP));
+    if (index?.prefixes) {
+        for (const key of Object.keys(index.prefixes))
+            keys.add(key);
+    }
+    return [...keys].sort();
+}
+/**
+ * The completion environment for a working directory — the one source-dispatched
+ * reader every name family shares. Wired at the `__complete` fast path (bin) and
+ * the `__complete` verb; storeless throughout (see the module docblock).
+ *
+ * The pack index is loaded once, lazily, and reused across the index and
+ * prefixes sources; the skills filesystem walk is memoized to one walk per
+ * process (the design's perf caveat). Every source returns the FULL candidate
+ * list in canonical casing — the resolver ranks/filters against the partial.
+ *
+ * @param cwd - The project directory (to resolve the active pack + skills).
+ * @returns A {@link CompletionEnv} dispatching on {@link CompletionSourceRef}.
+ */
+export function indexCompletionEnv(cwd) {
+    let index;
+    let indexLoaded = false;
+    const getIndex = () => {
+        if (!indexLoaded) {
+            index = loadActiveIndex(cwd);
+            indexLoaded = true;
+        }
+        return index;
+    };
+    let skills;
+    const getSkills = () => {
+        if (skills === undefined)
+            skills = discoverSkills(cwd).map((s) => s.name);
+        return skills;
+    };
+    return {
+        names(ref) {
+            switch (ref.from) {
+                case "index":
+                    return indexNames(getIndex(), ref);
+                case "skills":
+                    return getSkills();
+                case "prefixes":
+                    return prefixNames(getIndex());
+            }
+        },
+    };
+}
+//# sourceMappingURL=entitySource.js.map

package/dist/src/kernel/completion/entitySource.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entitySource.js","sourceRoot":"","sources":["../../../../src/kernel/completion/entitySource.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,cAAc,EAAE,MAAM,sCAAsC,CAAC;AACtE,gFAAgF;AAChF,0EAA0E;AAC1E,4CAA4C;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,SAAS,IAAI,mBAAmB,EAAE,MAAM,uDAAuD,CAAC;AAEzG,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAK9D,gEAAgE;AAChE,MAAM,CAAC,MAAM,eAAe,GAA2B,GAAG,EAAE,CAAC,EAAE,CAAC;AAEhE,sFAAsF;AACtF,MAAM,UAAU,GAAG,YAAY,CAAC;AAEhC;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,aAAa,CAC3B,QAAyB;IAEzB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,MAAM;YACT,OAAO,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,mBAAmB,CAAC,CAAC;QACzC,KAAK,aAAa;YAChB,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CAAC,KAAgB;IAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,MAAM,CAAC,GAAG,KAAK,MAAM;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAc,CAAC;IACvC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,aAAa,CAAC,GAAW;IAChC,IAAI,CAAC;QACH,OAAO,UAAU,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAClE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CAAC,GAAW;IAClC,MAAM,WAAW,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IACxC,OAAO,WAAW,KAAK,SAAS;QAC9B,CAAC,CAAC,UAAU,CAAC,mBAAmB,CAAC;QACjC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,WAAW,CAAC,MAAuB,EAAE,IAAY;IAC/D,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,GAAW;IAEX,IAAI,KAA4B,CAAC;IACjC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE;QACvB,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;YAC7B,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QACD,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC;gBAAE,SAAS;YACzC,IAAI,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;gBAAE,SAAS;YAC1D,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3B,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,eAAe,CACtB,MAAuB,EACvB,KAAsB;IAEtB,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,MAAM;YACT,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;IACjC,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CACjB,KAA4B,EAC5B,GAAwB;IAExB,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACpC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;YAAE,SAAS;QACnD,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,MAAM,EAAE,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED,iFAAiF;AACjF,SAAS,WAAW,CAAC,KAA4B;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC;IAC9D,IAAI,KAAK,EAAE,QAAQ,EAAE,CAAC;QACpB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,IAAI,KAA4B,CAAC;IACjC,IAAI,WAAW,GAAG,KAAK,CAAC;IACxB,MAAM,QAAQ,GAAG,GAA0B,EAAE;QAC3C,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;YAC7B,WAAW,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IACF,IAAI,MAAqC,CAAC;IAC1C,MAAM,SAAS,GAAG,GAAsB,EAAE;QACxC,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,OAAO;QACL,KAAK,CAAC,GAAwB;YAC5B,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;gBACjB,KAAK,OAAO;oBACV,OAAO,UAAU,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC;gBACrC,KAAK,QAAQ;oBACX,OAAO,SAAS,EAAE,CAAC;gBACrB,KAAK,UAAU;oBACb,OAAO,WAAW,CAAC,QAAQ,EAAE,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/src/kernel/completion/index.js

@@ -0,0 +1,14 @@
+/**
+ * Completion kernel barrel — the shared model, the `__complete` resolver
+ * pipeline (parse → resolve → rank), the static script emitter, and the
+ * dynamic-tier entity seam. Both tiers are driven off the grammar via
+ * `buildCompletionModel`, so they can never disagree.
+ */
+export { runComplete } from "./complete.js";
+export { emitScripts } from "./emitScripts.js";
+export { createIndexEntityReader, emptyNameSource, indexCompletionEnv, } from "./entitySource.js";
+export { assertSafeToken, buildCompletionModel, findNoun, SAFE_TOKEN_RE, } from "./model.js";
+export { parseWords } from "./parse.js";
+export { filterPrefix, MAX_CANDIDATES, rankCandidates } from "./rank.js";
+export { completionDebug, resolveRequest } from "./resolve.js";
+//# sourceMappingURL=index.js.map

package/dist/src/kernel/completion/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/kernel/completion/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,kBAAkB,GACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EACL,eAAe,EACf,oBAAoB,EACpB,QAAQ,EACR,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AACzE,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/kernel/completion/model.js

@@ -0,0 +1,301 @@
+/**
+ * Build the completion model from the capability modules — the ONE derivation
+ * both tiers share: the static scripts inline it, the `__complete` resolver
+ * walks it, so the two can never disagree.
+ *
+ * `ParamSpec.complete` resolution (defaults when the field is absent):
+ *
+ * | declared         | param kind             | source                     |
+ * | ---------------- | ---------------------- | -------------------------- |
+ * | absent           | enum                   | values (the enum's values) |
+ * | absent           | boolean                | none (flag name only)      |
+ * | absent           | string/number/string[] | none                       |
+ * | `{values}`       | enum only              | values                     |
+ * | `{names,source}` | string/string[]        | names (dynamic tier)       |
+ * | `{names,off}`    | any                    | none (opt-out)             |
+ * | `{files}`        | string/string[]        | files (native shell)       |
+ * | `{none}`         | any                    | none                       |
+ *
+ * Injection safety, primary gate: every token the static tier would inline
+ * (nouns, verb labels, flag names, enum values) must match
+ * {@link SAFE_TOKEN_RE}; the build THROWS otherwise, so `setup completions`
+ * fails loudly and no hostile name ever reaches a shell script. The resolver
+ * wraps this in its never-throw guard, so `__complete` degrades to zero
+ * candidates instead.
+ */
+import { DETAIL_LEVELS, OUTPUT_FORMATS } from "../../constants.js";
+import { kebabCase, verbLabel } from "../spec/index.js";
+/**
+ * The allowlist every inlined completion token must match: an alphanumeric
+ * head, then word/URI-ish characters. No whitespace, quotes, `$`, backticks,
+ * semicolons, or globs — nothing a shell could expand or split.
+ *
+ * KNOWN GAP, deliberately not closed: it admits shell RESERVED WORDS — `esac`,
+ * `in`, `do`, `done`, `fi`. A noun so named emits a `case` arm bash and zsh both
+ * refuse to parse, so `_pragma` is never defined and the user gets NO completion
+ * at all rather than a wrong candidate (`fish -n` does not catch it either). The
+ * gap is owned by the syntax gates, not by this regex: `shellDrive.test.ts`
+ * runs `bash -n`/`zsh -n` over the emitted scripts, so the day a live noun is
+ * named `done` the build fails loudly and names the file. A denylist here would
+ * be new production code guarding a case nothing in the tree exhibits — and a
+ * partial one (reserved words differ across families and versions) reads as
+ * more protection than it gives.
+ */
+export const SAFE_TOKEN_RE = /^[A-Za-z0-9][A-Za-z0-9@/:._+-]*$/;
+/**
+ * Assert a token is safe to inline in a shell script.
+ *
+ * @param token - The candidate token (a noun, verb label, flag name, value).
+ * @param where - Human-readable location for the error message.
+ * @throws Error when the token fails the {@link SAFE_TOKEN_RE} allowlist.
+ */
+export function assertSafeToken(token, where) {
+    if (!SAFE_TOKEN_RE.test(token)) {
+        throw new Error(`completion: unsafe token ${JSON.stringify(token)} in ${where} — ` +
+            `must match ${String(SAFE_TOKEN_RE)}`);
+    }
+}
+/** The global flags completion offers, mirroring the surface's globalFlags. */
+const GLOBAL_FLAGS = [
+    {
+        flag: "--format",
+        takesValue: true,
+        repeatable: false,
+        source: { kind: "values", values: OUTPUT_FORMATS },
+    },
+    { flag: "--verbose", takesValue: false, repeatable: false, source: none() },
+    {
+        flag: "--detail",
+        takesValue: true,
+        repeatable: false,
+        source: { kind: "values", values: DETAIL_LEVELS },
+    },
+    {
+        flag: "--no-headers",
+        takesValue: false,
+        repeatable: false,
+        source: none(),
+    },
+    { flag: "--quiet", takesValue: false, repeatable: false, source: none() },
+    { flag: "--help", takesValue: false, repeatable: false, source: none() },
+    {
+        flag: "--version",
+        takesValue: false,
+        repeatable: false,
+        rootOnly: true,
+        source: none(),
+    },
+];
+/** The flags auto-injected for `mutates` verbs (mirrors `buildProgram`). */
+const MUTATION_FLAGS = [
+    { flag: "--dry-run", takesValue: false, repeatable: false, source: none() },
+    { flag: "--undo", takesValue: false, repeatable: false, source: none() },
+    { flag: "--yes", takesValue: false, repeatable: false, source: none() },
+];
+/** The `{kind:"none"}` source (shared instance). */
+function none() {
+    return { kind: "none" };
+}
+/**
+ * Resolve a param's completion source from `ParamSpec.complete` + its kind
+ * (the table in the module docblock).
+ */
+function resolveSource(param) {
+    const declared = param.complete;
+    if (declared === undefined) {
+        return param.kind === "enum"
+            ? { kind: "values", values: param.values }
+            : none();
+    }
+    switch (declared.kind) {
+        case "values":
+            // The zod refinement makes {values} on a non-enum unregistrable; the
+            // model mirrors the rule structurally rather than trusting call order.
+            return param.kind === "enum"
+                ? { kind: "values", values: param.values }
+                : none();
+        case "names":
+            // The per-family opt-out (`enabled:false`) collapses to no completion.
+            if (declared.enabled === false)
+                return none();
+            return {
+                kind: "names",
+                ref: declared.source,
+                match: declared.match ?? "substring",
+                caseSensitive: declared.caseSensitive ?? false,
+            };
+        case "files":
+            return { kind: "files" };
+        case "none":
+            return none();
+    }
+}
+/** Assert the safety of every token a source could inline statically. */
+function assertSafeSource(source, where) {
+    if (source.kind === "values") {
+        for (const value of source.values) {
+            assertSafeToken(value, `${where} value`);
+        }
+    }
+    if (source.kind === "names" && source.ref.type && source.ref.type !== "") {
+        // The type key is never inlined into a script (only NAMES are, at runtime,
+        // through the same allowlist) — but keep any non-empty type well-formed
+        // anyway. An empty/absent type is the legitimate "any type" query (`graph
+        // inspect`), matched against every entity by the index reader.
+        assertSafeToken(source.ref.type, `${where} names type`);
+    }
+}
+/** Project one verb spec into its completion entry, asserting name safety. */
+function toVerbEntry(verb) {
+    const label = verbLabel(verb.path);
+    assertSafeToken(label, `verb "${verb.path.join(" ")}"`);
+    const flags = [];
+    const positionals = [];
+    for (const param of verb.params) {
+        const source = resolveSource(param);
+        if (param.positional) {
+            assertSafeSource(source, `positional "${param.name}"`);
+            positionals.push({
+                name: param.name,
+                required: param.required === true,
+                variadic: param.kind === "string[]",
+                source,
+            });
+        }
+        else {
+            const name = kebabCase(param.name);
+            assertSafeToken(name, `flag "--${name}"`);
+            assertSafeSource(source, `flag "--${name}"`);
+            flags.push({
+                flag: `--${name}`,
+                takesValue: param.kind !== "boolean",
+                // Two grammars accumulate, so two shapes are repeatable: a `string[]`
+                // flag (`--tag a --tag b`) and any `string`/`enum` param the spec
+                // marks `repeatable` — the form compiled packs give every declared
+                // filter. Reading only the kind de-offered a filter after its first
+                // use, hiding the repetition the parser had just started honouring.
+                repeatable: param.kind === "string[]" || param.repeatable === true,
+                source,
+            });
+        }
+    }
+    return { label, mutates: verb.capability.mutates, flags, positionals };
+}
+/**
+ * Convert one module-declared completion node (a mounted subtree's static
+ * data) into a verb entry, asserting every inlinable token's safety exactly
+ * as spec-derived entries are asserted. `mutates` is the owning verb's
+ * mutability, applied only to the LEAVES (see the namespace note below).
+ */
+function toMountedEntry(spec, mutates, where) {
+    assertSafeToken(spec.label, `${where} label`);
+    const flags = spec.flags.map((flag) => {
+        const name = flag.flag.replace(/^--?/, "");
+        assertSafeToken(name, `${where} flag "${flag.flag}"`);
+        const source = flag.values
+            ? { kind: "values", values: flag.values }
+            : none();
+        assertSafeSource(source, `${where} flag "${flag.flag}"`);
+        return {
+            flag: flag.flag,
+            takesValue: flag.takesValue,
+            repeatable: false,
+            source,
+        };
+    });
+    const positionals = spec.positionals.map((positional) => {
+        const source = positional.values
+            ? { kind: "values", values: positional.values }
+            : positional.files
+                ? { kind: "files" }
+                : none();
+        assertSafeSource(source, `${where} positional "${positional.name}"`);
+        return {
+            name: positional.name,
+            required: positional.required,
+            variadic: false,
+            source,
+        };
+    });
+    const children = spec.children && spec.children.length > 0
+        ? spec.children.map((child) => toMountedEntry(child, mutates, `${where}/${child.label}`))
+        : undefined;
+    return {
+        label: spec.label,
+        // A node with children is a NAMESPACE, not a runnable command:
+        // `registerGeneratorCommands` adds the host mutation trio to runnable
+        // LEAVES only, so a mutating namespace would offer `--dry-run`/`--undo`/
+        // `--yes` BEFORE the framework segment — an ordering the CLI rejects as
+        // an unknown option. The verb's mutability descends to the leaves.
+        mutates: children ? false : mutates,
+        flags,
+        positionals,
+        ...(children ? { children } : {}),
+    };
+}
+/**
+ * Derive the completion model from the capability modules.
+ *
+ * Hidden verbs are excluded (matching `emitSurface` and `buildProgram`).
+ * Every noun in the model comes from a declared verb — `mcp` used to be
+ * injected here because the bin served it without a spec, and it now declares
+ * `mcp serve` like any other pair.
+ *
+ * @param modules - The capability modules.
+ * @returns The completion model, nouns and verbs sorted.
+ * @throws Error when any inlined token fails the safety allowlist.
+ */
+export function buildCompletionModel(modules) {
+    const byNoun = new Map();
+    const bucketFor = (noun) => {
+        const existing = byNoun.get(noun);
+        if (existing)
+            return existing;
+        const created = { verbs: [] };
+        byNoun.set(noun, created);
+        return created;
+    };
+    for (const module of modules) {
+        // A module-owned mount REPLACES its verbs' completion surface: the flags
+        // the mounted tree actually registers (e.g. a default-on confirm's
+        // `--no-` form), the segment positionals, and the child walk — declared
+        // as static data by the module, converted and safety-asserted here.
+        const mountedChildren = module.cliProjection?.completionChildren();
+        for (const verb of module.verbs) {
+            if (verb.hidden)
+                continue;
+            const noun = verb.path[0];
+            assertSafeToken(noun, `noun "${noun}"`);
+            const bucket = bucketFor(noun);
+            const mountedSpec = mountedChildren?.[verbLabel(verb.path)];
+            const entry = mountedSpec
+                ? toMountedEntry(mountedSpec, verb.capability.mutates, `mounted "${verb.path.join(" ")}"`)
+                : toVerbEntry(verb);
+            if (verb.path[1] === undefined) {
+                bucket.selfVerb = entry;
+            }
+            else {
+                bucket.verbs.push(entry);
+            }
+        }
+    }
+    const nouns = [...byNoun.entries()]
+        .map(([noun, bucket]) => ({
+        noun,
+        ...(bucket.selfVerb ? { selfVerb: bucket.selfVerb } : {}),
+        verbs: [...bucket.verbs].sort((a, b) => a.label.localeCompare(b.label)),
+    }))
+        .sort((a, b) => a.noun.localeCompare(b.noun));
+    return { nouns, globalFlags: GLOBAL_FLAGS, mutationFlags: MUTATION_FLAGS };
+}
+/**
+ * Look up a noun's entry in the model.
+ *
+ * @param model - The completion model.
+ * @param noun - The noun token.
+ * @returns The entry, or `undefined` for an unknown noun.
+ */
+export function findNoun(model, noun) {
+    return model.nouns.find((entry) => entry.noun === noun);
+}
+//# sourceMappingURL=model.js.map

package/dist/src/kernel/completion/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../../../src/kernel/completion/model.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAgBxD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,kCAAkC,CAAC;AAEhE;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,KAAa,EAAE,KAAa;IAC1D,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,4BAA4B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK;YAChE,cAAc,MAAM,CAAC,aAAa,CAAC,EAAE,CACxC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,MAAM,YAAY,GAAyB;IACzC;QACE,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE;KACnD;IACD,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;IAC3E;QACE,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE;KAClD;IACD;QACE,IAAI,EAAE,cAAc;QACpB,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,MAAM,EAAE,IAAI,EAAE;KACf;IACD,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;IACzE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;IACxE;QACE,IAAI,EAAE,WAAW;QACjB,UAAU,EAAE,KAAK;QACjB,UAAU,EAAE,KAAK;QACjB,QAAQ,EAAE,IAAI;QACd,MAAM,EAAE,IAAI,EAAE;KACf;CACF,CAAC;AAEF,4EAA4E;AAC5E,MAAM,cAAc,GAAyB;IAC3C,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;IAC3E,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;IACxE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;CACxE,CAAC;AAEF,oDAAoD;AACpD,SAAS,IAAI;IACX,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,KAAgB;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM;YAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;YAC1C,CAAC,CAAC,IAAI,EAAE,CAAC;IACb,CAAC;IACD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,QAAQ;YACX,qEAAqE;YACrE,uEAAuE;YACvE,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC1B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE;gBAC1C,CAAC,CAAC,IAAI,EAAE,CAAC;QACb,KAAK,OAAO;YACV,uEAAuE;YACvE,IAAI,QAAQ,CAAC,OAAO,KAAK,KAAK;gBAAE,OAAO,IAAI,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,QAAQ,CAAC,MAAM;gBACpB,KAAK,EAAE,QAAQ,CAAC,KAAK,IAAI,WAAW;gBACpC,aAAa,EAAE,QAAQ,CAAC,aAAa,IAAI,KAAK;aAC/C,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM;YACT,OAAO,IAAI,EAAE,CAAC;IAClB,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,gBAAgB,CAAC,MAAwB,EAAE,KAAa;IAC/D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,eAAe,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;QACzE,2EAA2E;QAC3E,wEAAwE;QACxE,0EAA0E;QAC1E,+DAA+D;QAC/D,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,KAAK,aAAa,CAAC,CAAC;IAC1D,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,SAAS,WAAW,CAAC,IAAc;IACjC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,eAAe,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAExD,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrB,gBAAgB,CAAC,MAAM,EAAE,eAAe,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;YACvD,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,IAAI;gBACjC,QAAQ,EAAE,KAAK,CAAC,IAAI,KAAK,UAAU;gBACnC,MAAM;aACP,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACnC,eAAe,CAAC,IAAI,EAAE,WAAW,IAAI,GAAG,CAAC,CAAC;YAC1C,gBAAgB,CAAC,MAAM,EAAE,WAAW,IAAI,GAAG,CAAC,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,KAAK,IAAI,EAAE;gBACjB,UAAU,EAAE,KAAK,CAAC,IAAI,KAAK,SAAS;gBACpC,sEAAsE;gBACtE,kEAAkE;gBAClE,mEAAmE;gBACnE,oEAAoE;gBACpE,oEAAoE;gBACpE,UAAU,EAAE,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI;gBAClE,MAAM;aACP,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AACzE,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CACrB,IAAyB,EACzB,OAAgB,EAChB,KAAa;IAEb,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,QAAQ,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAgB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAC3C,eAAe,CAAC,IAAI,EAAE,GAAG,KAAK,UAAU,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACtD,MAAM,MAAM,GAAqB,IAAI,CAAC,MAAM;YAC1C,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;YACzC,CAAC,CAAC,IAAI,EAAE,CAAC;QACX,gBAAgB,CAAC,MAAM,EAAE,GAAG,KAAK,UAAU,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC;QACzD,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,UAAU,EAAE,KAAK;YACjB,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAsB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;QACzE,MAAM,MAAM,GAAqB,UAAU,CAAC,MAAM;YAChD,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE;YAC/C,CAAC,CAAC,UAAU,CAAC,KAAK;gBAChB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;gBACnB,CAAC,CAAC,IAAI,EAAE,CAAC;QACb,gBAAgB,CAAC,MAAM,EAAE,GAAG,KAAK,gBAAgB,UAAU,CAAC,IAAI,GAAG,CAAC,CAAC;QACrE,OAAO;YACL,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,QAAQ,EAAE,KAAK;YACf,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GACZ,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1B,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC,CAC1D;QACH,CAAC,CAAC,SAAS,CAAC;IAChB,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,+DAA+D;QAC/D,sEAAsE;QACtE,yEAAyE;QACzE,wEAAwE;QACxE,mEAAmE;QACnE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO;QACnC,KAAK;QACL,WAAW;QACX,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAoC;IAEpC,MAAM,MAAM,GAAG,IAAI,GAAG,EAGnB,CAAC;IACJ,MAAM,SAAS,GAAG,CAChB,IAAY,EACkC,EAAE;QAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,OAAO,GAAiD,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC5E,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1B,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,yEAAyE;QACzE,mEAAmE;QACnE,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,eAAe,GAAG,MAAM,CAAC,aAAa,EAAE,kBAAkB,EAAE,CAAC;QACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,IAAI,IAAI,CAAC,MAAM;gBAAE,SAAS;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC1B,eAAe,CAAC,IAAI,EAAE,SAAS,IAAI,GAAG,CAAC,CAAC;YACxC,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,WAAW,GAAG,eAAe,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5D,MAAM,KAAK,GAAG,WAAW;gBACvB,CAAC,CAAC,cAAc,CACZ,WAAW,EACX,IAAI,CAAC,UAAU,CAAC,OAAO,EACvB,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CACnC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACtB,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC/B,MAAM,CAAC,QAAQ,GAAG,KAAK,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAgB,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SAC7C,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACxB,IAAI;QACJ,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KACxE,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAEhD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,cAAc,EAAE,CAAC;AAC7E,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,QAAQ,CACtB,KAAsB,EACtB,IAAY;IAEZ,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC1D,CAAC"}