@canonical/pragma-cli 0.34.0 → 0.36.0

package/dist/src/capabilities/ontology/verbs.js

@@ -0,0 +1,181 @@
+/**
+ * `ontology list` and `ontology lookup <prefix>` — schema (TBox) inspection.
+ *
+ * `list` groups loaded namespaces by prefix with class/property counts; `lookup`
+ * renders a namespace's class hierarchy (with per-class instance counts read
+ * from the pack index) and, with `--properties`, a `--class` focus, or a
+ * `--detail` of `standard`+, its properties. `--full-uris` shows absolute IRIs;
+ * `--class <name>` narrows to one class and the properties whose domain is that
+ * class.
+ *
+ * `ontology lookup` is the ratified by-name read name (AV-228 B1 renamed it
+ * from `show` for consistency with block/standard/tier/etc.); the old alias
+ * is gone — one job, one spelling.
+ *
+ * Disclosure (B5): rather than reinvent its own scheme, the by-name read declares
+ * the canonical disclosure ladder and honours the `--detail`/config `detail` the
+ * rest of the CLI reads AND the injected `detail` tool param the MCP projector
+ * derives from that declaration — a two-behaviour fold where `summary` is
+ * classes-only and `standard`/`detailed` add the properties section. The frozen
+ * `--properties` flag stays as an explicit override (it forces the section at
+ * any level), so the covenant is untouched.
+ */
+import { BIN_NAME } from "../../constants.js";
+import { cliRecovery, PragmaError } from "../../kernel/error/index.js";
+import { resolvePackDetail } from "../../kernel/packs/disclosure.js";
+import { asVerb } from "../../kernel/spec/asVerb.js";
+import { listNamespaces, localName, queryClasses, queryProperties, } from "./queries.js";
+import { ontologyListFormatters, ontologyShowFormatters } from "./render.js";
+/** Resolve a prefix (`ds`) or full namespace URI to the `{ prefix, namespace }` pair. */
+function resolvePrefix(input, prefixes) {
+    if (input.startsWith("http://") || input.startsWith("https://")) {
+        const entry = Object.entries(prefixes).find(([, ns]) => ns === input);
+        if (entry)
+            return { prefix: entry[0], namespace: entry[1] };
+        throw PragmaError.invalidInput("namespace", input, {
+            validOptions: Object.values(prefixes),
+            recovery: cliRecovery("ontology list", "List loaded ontology namespaces.", {
+                tool: "ontology_list",
+            }),
+        });
+    }
+    const namespace = prefixes[input];
+    if (namespace === undefined) {
+        throw PragmaError.invalidInput("prefix", input, {
+            validOptions: Object.keys(prefixes),
+            recovery: cliRecovery("ontology list", "List loaded ontologies.", {
+                tool: "ontology_list",
+            }),
+        });
+    }
+    return { prefix: input, namespace };
+}
+const listVerb = {
+    path: ["ontology", "list"],
+    summary: "List loaded ontology namespaces with class and property counts.",
+    params: [],
+    output: { formatters: ontologyListFormatters },
+    examples: [{ cmd: `${BIN_NAME} ontology list` }],
+    capability: {
+        needsStore: true,
+        mutates: false,
+        mcp: {
+            expose: true,
+            annotations: { readOnlyHint: true, openWorldHint: false },
+        },
+    },
+    run: async (_params, rt) => {
+        const session = await rt.store.get();
+        return listNamespaces(rt, session.prefixes);
+    },
+};
+/**
+ * The canonical disclosure the by-name read folds onto (B5). Declared on
+ * {@link ontologyLookupVerb} — so the MCP projector injects the `detail` enum
+ * tool param and its per-call `withDetail` seeding light up (symmetric with
+ * `block`/`standard`, which an inline resolve left dark over MCP) — AND read by
+ * `run` to resolve the effective level, so the advertised param and the fetched
+ * level share ONE source. The levels are the full canonical ladder; the fold is
+ * two-behaviour (`summary` = classes only, `standard`/`detailed` add properties).
+ */
+const BY_NAME_DISCLOSURE = {
+    levels: ["summary", "standard", "detailed"],
+    default: "summary",
+};
+/** The params of the `ontology lookup` by-name read. */
+const BY_NAME_PARAMS = [
+    {
+        kind: "string",
+        name: "prefix",
+        doc: "The namespace prefix (ds) or full URI.",
+        positional: true,
+        required: true,
+        complete: { kind: "names", source: { from: "prefixes" } },
+    },
+    {
+        kind: "boolean",
+        name: "properties",
+        doc: "Include the properties section (also implied by --detail standard or higher).",
+    },
+    {
+        kind: "boolean",
+        name: "fullUris",
+        doc: "Show full IRIs instead of prefixed.",
+    },
+    {
+        kind: "string",
+        name: "class",
+        doc: "Focus on one class and its properties.",
+    },
+];
+/** The by-name read capability — a storeless-free, read-only MCP tool. */
+const BY_NAME_CAPABILITY = {
+    needsStore: true,
+    mutates: false,
+    mcp: {
+        expose: true,
+        annotations: { readOnlyHint: true, openWorldHint: false },
+    },
+};
+/**
+ * The `ontology lookup` by-name read handler.
+ *
+ * @param params - The coerced param bag (`prefix`, `properties`, `fullUris`, `class`).
+ * @param rt - The runtime (store + disclosure precedence).
+ * @returns The namespace's classes (and, per disclosure, properties) payload.
+ */
+async function runByName(params, rt) {
+    const session = await rt.store.get();
+    const { prefix, namespace } = resolvePrefix(String(params.prefix), session.prefixes);
+    const focus = typeof params.class === "string" ? params.class : undefined;
+    // Fold ontology's bespoke disclosure onto the canonical `--detail` (B5),
+    // resolving through the SAME {@link BY_NAME_DISCLOSURE} the verb declares (so
+    // the MCP `detail` param and its withDetail seeding resolve identically, not
+    // just the CLI `--detail` flag) and the SAME precedence packs use (flag >
+    // explicit config > default). The frozen `--properties` flag and a `--class`
+    // focus still force the section, so honouring the level is covenant-safe.
+    const level = await resolvePackDetail(rt, BY_NAME_DISCLOSURE);
+    const wantProperties = params.properties === true || focus !== undefined || level !== "summary";
+    let classes = await queryClasses(rt, namespace, session.index.instanceCountByType);
+    let properties = wantProperties ? await queryProperties(rt, namespace) : [];
+    if (focus !== undefined) {
+        const needle = focus.toLowerCase();
+        classes = classes.filter((c) => localName(c.uri).toLowerCase() === needle ||
+            c.label.toLowerCase() === needle);
+        const focusUris = new Set(classes.map((c) => c.uri));
+        properties = properties.filter((p) => p.domain !== undefined && focusUris.has(p.domain));
+    }
+    if (classes.length === 0 && properties.length === 0) {
+        throw PragmaError.notFound("ontology", String(params.prefix), {
+            recovery: cliRecovery("ontology list", "List loaded ontologies.", {
+                tool: "ontology_list",
+            }),
+        });
+    }
+    return {
+        prefix,
+        namespace,
+        classes,
+        properties,
+        fullUris: params.fullUris === true,
+        ...(focus !== undefined ? { focus } : {}),
+    };
+}
+/** The `ontology` verbs (`list` and the `lookup` by-name read). */
+export const ontologyListVerb = asVerb(listVerb);
+/** `ontology lookup <prefix>` — the by-name schema read. */
+export const ontologyLookupVerb = asVerb({
+    path: ["ontology", "lookup"],
+    summary: "Look up a namespace's classes (hierarchy + counts) and properties.",
+    params: BY_NAME_PARAMS,
+    output: { formatters: ontologyShowFormatters },
+    examples: [
+        { cmd: `${BIN_NAME} ontology lookup ds` },
+        { cmd: `${BIN_NAME} ontology lookup ds --properties` },
+        { cmd: `${BIN_NAME} ontology lookup ds --class Component` },
+    ],
+    disclosure: BY_NAME_DISCLOSURE,
+    capability: BY_NAME_CAPABILITY,
+    run: runByName,
+});
+//# sourceMappingURL=verbs.js.map

package/dist/src/capabilities/ontology/verbs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verbs.js","sourceRoot":"","sources":["../../../../src/capabilities/ontology/verbs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAErE,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAMrD,OAAO,EACL,cAAc,EACd,SAAS,EAGT,YAAY,EACZ,eAAe,GAChB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAE7E,yFAAyF;AACzF,SAAS,aAAa,CACpB,KAAa,EACb,QAA0C;IAE1C,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;QACtE,IAAI,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,MAAM,WAAW,CAAC,YAAY,CAAC,WAAW,EAAE,KAAK,EAAE;YACjD,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;YACrC,QAAQ,EAAE,WAAW,CACnB,eAAe,EACf,kCAAkC,EAClC;gBACE,IAAI,EAAE,eAAe;aACtB,CACF;SACF,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,WAAW,CAAC,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE;YAC9C,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC;YACnC,QAAQ,EAAE,WAAW,CAAC,eAAe,EAAE,yBAAyB,EAAE;gBAChE,IAAI,EAAE,eAAe;aACtB,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,QAAQ,GAAyD;IACrE,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC;IAC1B,OAAO,EAAE,iEAAiE;IAC1E,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE;IAC9C,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,QAAQ,gBAAgB,EAAE,CAAC;IAChD,UAAU,EAAE;QACV,UAAU,EAAE,IAAI;QAChB,OAAO,EAAE,KAAK;QACd,GAAG,EAAE;YACH,MAAM,EAAE,IAAI;YACZ,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;SAC1D;KACF;IACD,GAAG,EAAE,KAAK,EAAE,OAAgC,EAAE,EAAiB,EAAE,EAAE;QACjE,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACrC,OAAO,cAAc,CAAC,EAAE,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;CACF,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,kBAAkB,GAAmB;IACzC,MAAM,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC;IAC3C,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,wDAAwD;AACxD,MAAM,cAAc,GAAgB;IAClC;QACE,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,QAAQ;QACd,GAAG,EAAE,wCAAwC;QAC7C,UAAU,EAAE,IAAI;QAChB,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE;KAC1D;IACD;QACE,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,YAAY;QAClB,GAAG,EAAE,+EAA+E;KACrF;IACD;QACE,IAAI,EAAE,SAAS;QACf,IAAI,EAAE,UAAU;QAChB,GAAG,EAAE,qCAAqC;KAC3C;IACD;QACE,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,OAAO;QACb,GAAG,EAAE,wCAAwC;KAC9C;CACF,CAAC;AAEF,0EAA0E;AAC1E,MAAM,kBAAkB,GAAG;IACzB,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,KAAK;IACd,GAAG,EAAE;QACH,MAAM,EAAE,IAAa;QACrB,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;KAC1D;CACF,CAAC;AAEF;;;;;;GAMG;AACH,KAAK,UAAU,SAAS,CACtB,MAA+B,EAC/B,EAAiB;IAEjB,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACrC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,aAAa,CACzC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACrB,OAAO,CAAC,QAAQ,CACjB,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,yEAAyE;IACzE,8EAA8E;IAC9E,6EAA6E;IAC7E,0EAA0E;IAC1E,6EAA6E;IAC7E,0EAA0E;IAC1E,MAAM,KAAK,GAAG,MAAM,iBAAiB,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;IAC9D,MAAM,cAAc,GAClB,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,CAAC;IAE3E,IAAI,OAAO,GAAG,MAAM,YAAY,CAC9B,EAAE,EACF,SAAS,EACT,OAAO,CAAC,KAAK,CAAC,mBAAmB,CAClC,CAAC;IACF,IAAI,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,MAAM,eAAe,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE5E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,MAAM,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QACnC,OAAO,GAAG,OAAO,CAAC,MAAM,CACtB,CAAC,CAAC,EAAE,EAAE,CACJ,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM;YACzC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,MAAM,CACnC,CAAC;QACF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,UAAU,GAAG,UAAU,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CACzD,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpD,MAAM,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE;YAC5D,QAAQ,EAAE,WAAW,CAAC,eAAe,EAAE,yBAAyB,EAAE;gBAChE,IAAI,EAAE,eAAe;aACtB,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,MAAM;QACN,SAAS;QACT,OAAO;QACP,UAAU;QACV,QAAQ,EAAE,MAAM,CAAC,QAAQ,KAAK,IAAI;QAClC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;AAEjD,4DAA4D;AAC5D,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC;IACvC,IAAI,EAAE,CAAC,UAAU,EAAE,QAAQ,CAAC;IAC5B,OAAO,EAAE,oEAAoE;IAC7E,MAAM,EAAE,cAAc;IACtB,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE;IAC9C,QAAQ,EAAE;QACR,EAAE,GAAG,EAAE,GAAG,QAAQ,qBAAqB,EAAE;QACzC,EAAE,GAAG,EAAE,GAAG,QAAQ,kCAAkC,EAAE;QACtD,EAAE,GAAG,EAAE,GAAG,QAAQ,uCAAuC,EAAE;KAC5D;IACD,UAAU,EAAE,kBAAkB;IAC9B,UAAU,EAAE,kBAAkB;IAC9B,GAAG,EAAE,SAAS;CAC+C,CAAC,CAAC"}

package/dist/src/capabilities/prompt/index.js

@@ -0,0 +1,16 @@
+/**
+ * The `prompt` capability module — the covenant content noun
+ * (`prompt_list`/`prompt_lookup`) PLUS the native MCP `prompts/*` surface, both
+ * projecting the ONE `ds:Prompt` source. The `mcpPrompts` hook is the same
+ * `promptProvider` the kernel defines; this module is where it attaches, so the
+ * default MCP server advertises prompts sourced from the active graph.
+ */
+import { promptProvider } from "../../kernel/project/mcp/prompts/index.js";
+import { promptListVerb, promptLookupVerb } from "./verbs.js";
+/** The `prompt` capability module (content tools + native prompt surface). */
+export const promptModule = {
+    name: "prompt",
+    verbs: [promptListVerb, promptLookupVerb],
+    mcpPrompts: promptProvider,
+};
+//# sourceMappingURL=index.js.map

package/dist/src/capabilities/prompt/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/capabilities/prompt/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAC;AAE3E,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE9D,8EAA8E;AAC9E,MAAM,CAAC,MAAM,YAAY,GAAqB;IAC5C,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,CAAC,cAAc,EAAE,gBAAgB,CAAC;IACzC,UAAU,EAAE,cAAc;CAC3B,CAAC"}

package/dist/src/capabilities/prompt/prompt.render.js

@@ -0,0 +1,78 @@
+/**
+ * Formatters for the `prompt` content noun — plain, llm, json.
+ */
+import { defaultStyle } from "../../kernel/render/style.js";
+/** Render an argument list as `name (required)` / `name` tokens. */
+function argTokens(args) {
+    if (args.length === 0)
+        return "(none)";
+    return args
+        .map((arg) => (arg.required ? `${arg.name} (required)` : arg.name))
+        .join(", ");
+}
+export const promptListFormatters = {
+    // Zero prompts: plain stdout stays empty — the notice is `notice`,
+    // routed to stderr (exit 0) by the dispatcher so a pipe reads no prose.
+    notice: (data) => data.prompts.length === 0 ? "No prompts in the store." : undefined,
+    plain(data) {
+        if (data.prompts.length === 0)
+            return "";
+        const lines = ["Prompts"];
+        for (const prompt of data.prompts) {
+            lines.push(`  ${prompt.name} — ${prompt.description ?? ""}`.trimEnd());
+            lines.push(`    args: ${argTokens(prompt.arguments)}`);
+        }
+        return lines.join("\n");
+    },
+    llm(data) {
+        if (data.prompts.length === 0)
+            return "_No prompts in the store._";
+        // H2 for a content read — consistent with the shared list renderer (B2).
+        const lines = ["## Prompts"];
+        for (const prompt of data.prompts) {
+            lines.push(`- \`${prompt.name}\` — ${prompt.description ?? ""}`.trimEnd());
+            lines.push(`  - args: ${argTokens(prompt.arguments)}`);
+        }
+        return lines.join("\n");
+    },
+    json(data) {
+        return JSON.stringify(data);
+    },
+};
+export const promptLookupFormatters = {
+    plain(data) {
+        // Full delegation to `renderLookupPlain` is infeasible: the description line
+        // carries no field label and the template body is appended raw, whereas the
+        // shared renderer only emits `label: value` fields + indented sections. So
+        // route the TITLE + rule + field label through the SAME style seam it uses
+        // (bold title, dim rule, cyan label) — closing the TTY drift where a prompt
+        // title stayed unstyled — and keep the bespoke body inline. Off a TTY the
+        // styler is inert, so piped output stays byte-stable (B7).
+        const style = defaultStyle();
+        const rule = "═".repeat(Math.max(data.name.length, 24));
+        const lines = [style.bold(data.name), style.dim(rule), ""];
+        if (data.description)
+            lines.push(`  ${data.description}`);
+        lines.push(`  ${style.cyan("args")}: ${argTokens(data.arguments)}`, "", data.body);
+        return lines.join("\n");
+    },
+    llm(data) {
+        // H2 entity title with H3 sub-sections — the hierarchy the shared
+        // `renderLookupLlm` uses (`## title` / `### section`) (B2).
+        const lines = [`## ${data.name}`];
+        if (data.description)
+            lines.push(data.description);
+        if (data.arguments.length > 0) {
+            lines.push("", "### Arguments");
+            for (const arg of data.arguments) {
+                lines.push(`- \`${arg.name}\`${arg.required ? " (required)" : ""}${arg.description ? ` — ${arg.description}` : ""}`);
+            }
+        }
+        lines.push("", "### Template", data.body);
+        return lines.join("\n");
+    },
+    json(data) {
+        return JSON.stringify(data);
+    },
+};
+//# sourceMappingURL=prompt.render.js.map

package/dist/src/capabilities/prompt/prompt.render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.render.js","sourceRoot":"","sources":["../../../../src/capabilities/prompt/prompt.render.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAQ5D,oEAAoE;AACpE,SAAS,SAAS,CAAC,IAA+B;IAChD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACvC,OAAO,IAAI;SACR,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;SAClE,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAA+B;IAC9D,mEAAmE;IACnE,wEAAwE;IACxE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CACf,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,SAAS;IACpE,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACzC,MAAM,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,MAAM,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;YACvE,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,GAAG,CAAC,IAAI;QACN,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,4BAA4B,CAAC;QACnE,yEAAyE;QACzE,MAAM,KAAK,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CACR,OAAO,MAAM,CAAC,IAAI,QAAQ,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,CAC/D,CAAC;YACF,KAAK,CAAC,IAAI,CAAC,aAAa,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,IAAI;QACP,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAiC;IAClE,KAAK,CAAC,IAAI;QACR,6EAA6E;QAC7E,4EAA4E;QAC5E,2EAA2E;QAC3E,2EAA2E;QAC3E,4EAA4E;QAC5E,0EAA0E;QAC1E,2DAA2D;QAC3D,MAAM,KAAK,GAAG,YAAY,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CACR,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EACvD,EAAE,EACF,IAAI,CAAC,IAAI,CACV,CAAC;QACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,GAAG,CAAC,IAAI;QACN,kEAAkE;QAClE,4DAA4D;QAC5D,MAAM,KAAK,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;YAChC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CACR,OAAO,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACzG,CAAC;YACJ,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,cAAc,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,IAAI,CAAC,IAAI;QACP,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;CACF,CAAC"}

package/dist/src/capabilities/prompt/types.js

@@ -0,0 +1,10 @@
+/**
+ * Data shapes for the `prompt` content noun (`prompt_list`/`prompt_lookup`).
+ *
+ * Both project the SAME `ds:Prompt` entities the native MCP `prompts/*` surface
+ * reads (via the shared `kernel/project/mcp/prompts/source.ts`), so the tool and
+ * the native prompt can never disagree. `list` returns summaries (no body);
+ * `lookup` returns the full entry (body + arguments).
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/src/capabilities/prompt/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../../src/capabilities/prompt/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/src/capabilities/prompt/verbs.js

@@ -0,0 +1,93 @@
+/**
+ * `prompt list` and `prompt lookup <name>` — the covenant `prompt` content noun.
+ *
+ * Bespoke (not compilePack): the covenant freezes `prompt_lookup` with a SINGLE
+ * `<name>` positional, whereas a pack lookup always emits the variadic
+ * `<name...>`. Both are `needsStore` (per covenant) and read the SAME
+ * `ds:Prompt` source the native `prompts/*` provider uses, so the tool surface
+ * and the native prompt surface are ONE data source, two projections.
+ *
+ * Run bodies dynamic-import the store-backed source, keeping the store code off
+ * the `--help`/`__complete` fast path (the module barrel loads only specs +
+ * formatters).
+ */
+import { BIN_NAME } from "../../constants.js";
+import { cliRecovery, PragmaError } from "../../kernel/error/index.js";
+import { VOCABULARY } from "../../kernel/index.js";
+import { asVerb } from "../../kernel/spec/asVerb.js";
+import { promptListFormatters, promptLookupFormatters, } from "./prompt.render.js";
+const READ_CAPABILITY = {
+    needsStore: true,
+    mutates: false,
+    mcp: {
+        expose: true,
+        annotations: { readOnlyHint: true, openWorldHint: false },
+    },
+};
+const listVerb = {
+    path: ["prompt", "list"],
+    summary: "List the workflow prompt templates the design system offers.",
+    doc: `Browse the prompt entities the active graph declares (${VOCABULARY.prompt.type} in this distribution) — name, description, and argument names. This distribution's graph carries none today. The same prompts are offered natively over MCP prompts/list; use prompt_lookup for the full template body.`,
+    params: [],
+    output: { formatters: promptListFormatters },
+    examples: [{ cmd: `${BIN_NAME} prompt list` }],
+    capability: READ_CAPABILITY,
+    run: (_params, rt) => import("../../kernel/project/mcp/prompts/source.js").then(async (m) => {
+        const prompts = await m.readPrompts(rt);
+        return {
+            prompts: prompts.map((prompt) => ({
+                name: prompt.name,
+                ...(prompt.description ? { description: prompt.description } : {}),
+                arguments: prompt.arguments,
+            })),
+        };
+    }),
+};
+const lookupVerb = {
+    path: ["prompt", "lookup"],
+    summary: "Show one workflow prompt template's body and arguments by name.",
+    doc: "Fetch a single prompt entity's full template body (with {{arg}} placeholders) and its declared arguments. A prompt is addressed by its label; prompt_list names the ones the active graph carries.",
+    params: [
+        {
+            kind: "string",
+            name: "name",
+            doc: "The prompt name, as `prompt list` reports it.",
+            positional: true,
+            required: true,
+            // A prompt is addressed by its `rdfs:label`, which the index carries as
+            // `label`, and the index reader offers no substitute for a prompt that
+            // carries none. Not a total guarantee: `label` is the first of several
+            // label predicates the index accepts, so an entity labelled ONLY by
+            // `skos:prefLabel` would still complete without resolving. That gap is
+            // the index's label preference order, not this ref.
+            complete: {
+                kind: "names",
+                source: { from: "index", type: VOCABULARY.prompt.type, field: "label" },
+            },
+        },
+    ],
+    output: { formatters: promptLookupFormatters },
+    // No example command: this distribution's graph declares no prompt, so any
+    // name quoted here exits 1 with ENTITY_NOT_FOUND — and this is the GENERATED
+    // reference, published as machine-derived truth.
+    examples: [],
+    capability: READ_CAPABILITY,
+    run: (params, rt) => import("../../kernel/project/mcp/prompts/source.js").then(async (m) => {
+        const name = String(params.name);
+        const entry = await m.readPrompt(rt, name);
+        if (!entry) {
+            const available = await m.readPrompts(rt);
+            throw PragmaError.notFound("prompt", name, {
+                suggestions: available.map((prompt) => prompt.name),
+                recovery: cliRecovery("prompt list", "List available prompts.", {
+                    tool: "prompt_list",
+                }),
+            });
+        }
+        return entry;
+    }),
+};
+/** The `prompt` content verbs (`list`, `lookup`). */
+export const promptListVerb = asVerb(listVerb);
+export const promptLookupVerb = asVerb(lookupVerb);
+//# sourceMappingURL=verbs.js.map

package/dist/src/capabilities/prompt/verbs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verbs.js","sourceRoot":"","sources":["../../../../src/capabilities/prompt/verbs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AACvE,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAErD,OAAO,EACL,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,oBAAoB,CAAC;AAG5B,MAAM,eAAe,GAAG;IACtB,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,KAAK;IACd,GAAG,EAAE;QACH,MAAM,EAAE,IAAa;QACrB,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE;KAC1D;CACF,CAAC;AAEF,MAAM,QAAQ,GAAsD;IAClE,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;IACxB,OAAO,EAAE,8DAA8D;IACvE,GAAG,EAAE,yDAAyD,UAAU,CAAC,MAAM,CAAC,IAAI,0NAA0N;IAC9S,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE,UAAU,EAAE,oBAAoB,EAAE;IAC5C,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,QAAQ,cAAc,EAAE,CAAC;IAC9C,UAAU,EAAE,eAAe;IAC3B,GAAG,EAAE,CAAC,OAAgC,EAAE,EAAiB,EAAE,EAAE,CAC3D,MAAM,CAAC,4CAA4C,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACpE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QACxC,OAAO;YACL,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;gBAChC,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClE,SAAS,EAAE,MAAM,CAAC,SAAS;aAC5B,CAAC,CAAC;SACJ,CAAC;IACJ,CAAC,CAAC;CACL,CAAC;AAEF,MAAM,UAAU,GAAwD;IACtE,IAAI,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC1B,OAAO,EAAE,iEAAiE;IAC1E,GAAG,EAAE,oMAAoM;IACzM,MAAM,EAAE;QACN;YACE,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;YACZ,GAAG,EAAE,+CAA+C;YACpD,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,wEAAwE;YACxE,uEAAuE;YACvE,uEAAuE;YACvE,oEAAoE;YACpE,uEAAuE;YACvE,oDAAoD;YACpD,QAAQ,EAAE;gBACR,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE;aACxE;SACF;KACF;IACD,MAAM,EAAE,EAAE,UAAU,EAAE,sBAAsB,EAAE;IAC9C,2EAA2E;IAC3E,6EAA6E;IAC7E,iDAAiD;IACjD,QAAQ,EAAE,EAAE;IACZ,UAAU,EAAE,eAAe;IAC3B,GAAG,EAAE,CAAC,MAA+B,EAAE,EAAiB,EAAE,EAAE,CAC1D,MAAM,CAAC,4CAA4C,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QACpE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YAC1C,MAAM,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE;gBACzC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC;gBACnD,QAAQ,EAAE,WAAW,CAAC,aAAa,EAAE,yBAAyB,EAAE;oBAC9D,IAAI,EAAE,aAAa;iBACpB,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;CACL,CAAC;AAEF,qDAAqD;AACrD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC/C,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC"}

package/dist/src/capabilities/resources/index.js

@@ -0,0 +1,10 @@
+/**
+ * The MCP resource browser barrel.
+ *
+ * The `graph-entity` resource surface is a MODULE hook (not a tool), attached to
+ * the `graph` capability — `graph inspect` (CLI) and the resource read (MCP)
+ * share one entity reader. Exposed here so `graph/index` can hang it off its
+ * module and the resources suite can exercise list/complete/read directly.
+ */
+export { buildResourceList, rankUriCompletions, resourceProvider, } from "./provider.js";
+//# sourceMappingURL=index.js.map

package/dist/src/capabilities/resources/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/capabilities/resources/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,iBAAiB,EAEjB,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,eAAe,CAAC"}