@canonical/pragma-cli 0.33.0 → 0.35.0

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

@@ -0,0 +1,185 @@
+/**
+ * Formatters for `pragma doctor` — plain (chalk on a TTY), llm (Markdown), json.
+ *
+ * Ported from the old shell's `doctor/formatters/doctor.ts`, retargeted at the
+ * kernel `Formatters` contract. The plain path is colored ONLY on a color-capable
+ * TTY: it consults the shared {@link defaultStyle} seam (stdout `isTTY` AND a
+ * non-zero chalk level), so a piped / redirected / CI run — where `supports-color`
+ * can report a level with no TTY (`GITHUB_ACTIONS`, `FORCE_COLOR`) — renders the
+ * plain form byte-for-byte instead of leaking ANSI into `doctor --format plain`.
+ * Glyphs are plain constants tinted at render time; nothing is baked at load.
+ */
+import chalk from "chalk";
+import { BIN_NAME } from "../../constants.js";
+import { defaultStyle } from "../../kernel/render/style.js";
+import { BAND_LABELS } from "../shared/index.js";
+/**
+ * Uncolored status glyphs — tinted at render time (never baked at module load).
+ * `available` gets its own glyph, distinct from ✗: an opt-in integration that
+ * is not set up is not a fault, and rendering it as one would train users to
+ * ignore the failure count. The glyph pairs with the word in the tally, so the
+ * distinction survives with color stripped.
+ */
+const STATUS_GLYPHS = {
+    pass: "✓",
+    fail: "✗",
+    available: "◇",
+    skip: "○",
+};
+const SUB_BULLET = "·";
+const FIX_ARROW = "↳";
+const INDENT = "     "; // aligns sub-lines under the check name
+/**
+ * Build the doctor styler for this process's stdout: the shared TTY seam, plus a
+ * `red` gated on the SAME decision, so a fail tint appears only on a color TTY.
+ *
+ * @returns A colorizing styler on a color-capable TTY, else the identity styler.
+ * @note Impure — {@link defaultStyle} reads `process.stdout.isTTY` + chalk level.
+ */
+function doctorStyle() {
+    const style = defaultStyle();
+    return {
+        ...style,
+        red: style.enabled ? (text) => chalk.red(text) : (text) => text,
+    };
+}
+/**
+ * Tint a status glyph by meaning — green pass, red fail, cyan available
+ * (actionable-but-optional, the same tint as the `fix:` arrow it points at),
+ * yellow skip.
+ */
+function paintGlyph(status, style) {
+    const glyph = STATUS_GLYPHS[status];
+    if (status === "pass")
+        return style.green(glyph);
+    if (status === "fail")
+        return style.red(glyph);
+    if (status === "available")
+        return style.cyan(glyph);
+    return style.yellow(glyph);
+}
+/**
+ * Render one check as terminal lines: a headline row (icon, aligned name,
+ * detail), an optional indented breakdown of sub-items, and — for failures — an
+ * inline remedial instruction.
+ */
+function formatCheckPlain(check, nameWidth, style) {
+    const name = check.name.padEnd(nameWidth);
+    const label = check.status === "fail" ? style.red(name) : style.bold(name);
+    const lines = [
+        `  ${paintGlyph(check.status, style)}  ${label}  ${style.dim(check.detail)}`,
+    ];
+    if (check.items && check.items.length > 0) {
+        const itemWidth = Math.max(...check.items.map((i) => i.label.length));
+        const anyStatus = check.items.some((i) => i.status !== undefined);
+        for (const item of check.items) {
+            const icon = anyStatus
+                ? item.status
+                    ? `${paintGlyph(item.status, style)} `
+                    : "  "
+                : "";
+            const itemLabel = item.detail ? item.label.padEnd(itemWidth) : item.label;
+            const detail = item.detail ? `  ${style.dim(item.detail)}` : "";
+            lines.push(`${INDENT}${style.dim(SUB_BULLET)} ${icon}${itemLabel}${detail}`);
+        }
+    }
+    // Both actionable tiers keep their inline instruction: a fail's remedy is
+    // the repair, an available's remedy is the setup command that enables it.
+    if ((check.status === "fail" || check.status === "available") &&
+        check.remedy) {
+        lines.push(`${INDENT}${style.cyan(FIX_ARROW)} ${style.cyan("fix:")} ${check.remedy}`);
+    }
+    return lines;
+}
+/**
+ * Render the pass/fail/available/skip tally, coloring the non-zero counts.
+ * `available` is counted apart from `failed` so a healthy install with
+ * integrations left to opt into never reports failures it does not have.
+ */
+function formatSummary(data, style) {
+    const parts = [style.green(`${data.passed} passed`)];
+    parts.push(data.failed > 0
+        ? style.red(`${data.failed} failed`)
+        : style.dim(`${data.failed} failed`));
+    parts.push(data.available > 0
+        ? style.cyan(`${data.available} available`)
+        : style.dim(`${data.available} available`));
+    parts.push(data.skipped > 0
+        ? style.yellow(`${data.skipped} skipped`)
+        : style.dim(`${data.skipped} skipped`));
+    return `  ${parts.join(style.dim(" · "))}`;
+}
+/**
+ * Partition checks into ordered bands: environment (no band), then the global
+ * and project bands. Declaration order is preserved within each band, so the
+ * report stays deterministic.
+ */
+function partitionByBand(checks) {
+    return {
+        environment: checks.filter((c) => c.band === undefined),
+        machine: checks.filter((c) => c.band === "global"),
+        project: checks.filter((c) => c.band === "project"),
+    };
+}
+export const doctorFormatters = {
+    plain(data) {
+        const style = doctorStyle();
+        const nameWidth = Math.max(...data.checks.map((c) => c.name.length), 0);
+        const lines = [style.bold(`${BIN_NAME} doctor`), ""];
+        const { environment, machine, project } = partitionByBand(data.checks);
+        const section = (heading, checks) => {
+            if (checks.length === 0)
+                return;
+            if (heading)
+                lines.push(style.bold(heading));
+            for (const check of checks)
+                lines.push(...formatCheckPlain(check, nameWidth, style));
+            lines.push("");
+        };
+        // Environment checks lead (no header); the global then project bands are the
+        // two banded sections before the tally.
+        section("", environment);
+        section(BAND_LABELS.global, machine);
+        section(BAND_LABELS.project, project);
+        lines.push(formatSummary(data, style));
+        return lines.join("\n");
+    },
+    llm(data) {
+        const renderCheck = (check) => {
+            const out = [
+                `- ${STATUS_GLYPHS[check.status]} **${check.name}**: ${check.detail}`,
+            ];
+            for (const item of check.items ?? []) {
+                const itemIcon = item.status ? `${STATUS_GLYPHS[item.status]} ` : "";
+                const detail = item.detail ? `: ${item.detail}` : "";
+                out.push(`  - ${itemIcon}${item.label}${detail}`);
+            }
+            // Same rule as the plain path: fail and available both carry their
+            // inline instruction (the repair, or the setup command).
+            if ((check.status === "fail" || check.status === "available") &&
+                check.remedy) {
+                out.push(`  - _fix:_ \`${check.remedy}\``);
+            }
+            return out;
+        };
+        const lines = ["## Doctor", ""];
+        const { environment, machine, project } = partitionByBand(data.checks);
+        const section = (heading, checks) => {
+            if (checks.length === 0)
+                return;
+            if (heading)
+                lines.push(`### ${heading}`, "");
+            for (const check of checks)
+                lines.push(...renderCheck(check));
+        };
+        section("", environment);
+        section(BAND_LABELS.global, machine);
+        section(BAND_LABELS.project, project);
+        lines.push("", `_${data.passed} passed, ${data.failed} failed, ${data.available} available, ${data.skipped} skipped_`);
+        return lines.join("\n");
+    },
+    json(data) {
+        return JSON.stringify(data);
+    },
+};
+//# sourceMappingURL=doctor.render.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"doctor.render.js","sourceRoot":"","sources":["../../../../src/capabilities/doctor/doctor.render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAoB,MAAM,8BAA8B,CAAC;AAE9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAGjD;;;;;;GAMG;AACH,MAAM,aAAa,GAAgC;IACjD,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,GAAG;IACT,SAAS,EAAE,GAAG;IACd,IAAI,EAAE,GAAG;CACV,CAAC;AAEF,MAAM,UAAU,GAAG,GAAG,CAAC;AACvB,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,wCAAwC;AAOhE;;;;;;GAMG;AACH,SAAS,WAAW;IAClB,MAAM,KAAK,GAAG,YAAY,EAAE,CAAC;IAC7B,OAAO;QACL,GAAG,KAAK;QACR,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;KAChE,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,MAAmB,EAAE,KAAkB;IACzD,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC7B,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CACvB,KAAkB,EAClB,SAAiB,EACjB,KAAkB;IAElB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,KAAK,GAAG;QACZ,KAAK,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,KAAK,KAAK,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE;KAC7E,CAAC;IAEF,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACtE,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;QAClE,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,SAAS;gBACpB,CAAC,CAAC,IAAI,CAAC,MAAM;oBACX,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG;oBACtC,CAAC,CAAC,IAAI;gBACR,CAAC,CAAC,EAAE,CAAC;YACP,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;YAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChE,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,GAAG,SAAS,GAAG,MAAM,EAAE,CACjE,CAAC;QACJ,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,0EAA0E;IAC1E,IACE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC;QACzD,KAAK,CAAC,MAAM,EACZ,CAAC;QACD,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAC1E,CAAC;IACJ,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,aAAa,CAAC,IAAgB,EAAE,KAAkB;IACzD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,SAAS,CAAC,CAAC,CAAC;IACrD,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,MAAM,GAAG,CAAC;QACb,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,SAAS,CAAC;QACpC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,SAAS,CAAC,CACvC,CAAC;IACF,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,SAAS,GAAG,CAAC;QAChB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,YAAY,CAAC;QAC3C,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,YAAY,CAAC,CAC7C,CAAC;IACF,KAAK,CAAC,IAAI,CACR,IAAI,CAAC,OAAO,GAAG,CAAC;QACd,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,UAAU,CAAC;QACzC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,UAAU,CAAC,CACzC,CAAC;IACF,OAAO,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,MAA8B;IAKrD,OAAO;QACL,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;QACvD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;QAClD,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,gBAAgB,GAA2B;IACtD,KAAK,CAAC,IAAI;QACR,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;QACxE,MAAM,KAAK,GAAa,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/D,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,MAAqB,EAAQ,EAAE;YAC/D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAChC,IAAI,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7C,KAAK,MAAM,KAAK,IAAI,MAAM;gBACxB,KAAK,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;YAC3D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,CAAC,CAAC;QACF,6EAA6E;QAC7E,wCAAwC;QACxC,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACzB,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACvC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,GAAG,CAAC,IAAI;QACN,MAAM,WAAW,GAAG,CAAC,KAAkB,EAAY,EAAE;YACnD,MAAM,GAAG,GAAG;gBACV,KAAK,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,EAAE;aACtE,CAAC;YACF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;gBACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrD,GAAG,CAAC,IAAI,CAAC,OAAO,QAAQ,GAAG,IAAI,CAAC,KAAK,GAAG,MAAM,EAAE,CAAC,CAAC;YACpD,CAAC;YACD,mEAAmE;YACnE,yDAAyD;YACzD,IACE,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC;gBACzD,KAAK,CAAC,MAAM,EACZ,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;YAC7C,CAAC;YACD,OAAO,GAAG,CAAC;QACb,CAAC,CAAC;QAEF,MAAM,KAAK,GAAa,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QAC1C,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvE,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,MAAqB,EAAQ,EAAE;YAC/D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO;YAChC,IAAI,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9C,KAAK,MAAM,KAAK,IAAI,MAAM;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC;QACF,OAAO,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACzB,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrC,OAAO,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CACR,EAAE,EACF,IAAI,IAAI,CAAC,MAAM,YAAY,IAAI,CAAC,MAAM,YAAY,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,OAAO,WAAW,CACvG,CAAC;QACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,IAAI,CAAC,IAAI;QACP,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;CACF,CAAC"}

package/dist/src/capabilities/doctor/doctor.verb.js

@@ -0,0 +1,45 @@
+/**
+ * The `doctor` verb spec (noun `doctor`, self-verb).
+ *
+ * A read (`mutates: false`) that declares `needsStore: false` — the covenant has
+ * neither flag — so the dispatcher never pre-boots the store. The one store
+ * check boots it lazily inside a try/catch, keeping doctor storeless-by-default
+ * while still reporting store health. `run` lazily imports the orchestrator, so
+ * building the tree pulls neither the checks nor `@canonical/harnesses`.
+ *
+ * Exit-code decision: doctor always exits 0 — failures live in the `{ failed }`
+ * envelope (agents read the data; CI greps it). See PARITY_GAP
+ * `doctor-exit-zero-with-failures`.
+ */
+import { BIN_NAME } from "../../constants.js";
+import { asVerb } from "../../kernel/spec/asVerb.js";
+import { doctorFormatters } from "./doctor.render.js";
+const doctorVerb = {
+    path: ["doctor"],
+    summary: "Check environment health and every setup target, in both bands.",
+    doc: "Reports the environment checks and then one row per setup target in each band, as pass, fail, available (an opt-in integration not yet set up), or skip, with inline remedies. Every banded row is named after the setup target that repairs it. Storeless by default; the store check boots lazily and never fails the run.",
+    params: [],
+    output: { formatters: doctorFormatters },
+    examples: [
+        { cmd: `${BIN_NAME} doctor` },
+        {
+            cmd: `${BIN_NAME} doctor --format json`,
+            note: "machine-readable checks",
+        },
+    ],
+    capability: {
+        needsStore: false,
+        mutates: false,
+        mcp: {
+            expose: true,
+            annotations: { readOnlyHint: true, openWorldHint: false },
+        },
+    },
+    run: (_params, runtime) => import("./runChecks.js").then((m) => m.runChecks(runtime)),
+};
+/** The `doctor` capability module. */
+export const doctorModule = {
+    name: "doctor",
+    verbs: [asVerb(doctorVerb)],
+};
+//# sourceMappingURL=doctor.verb.js.map

package/dist/src/capabilities/doctor/doctor.verb.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doctor.verb.js","sourceRoot":"","sources":["../../../../src/capabilities/doctor/doctor.verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAErD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAGtD,MAAM,UAAU,GAAkD;IAChE,IAAI,EAAE,CAAC,QAAQ,CAAC;IAChB,OAAO,EAAE,iEAAiE;IAC1E,GAAG,EAAE,8TAA8T;IACnU,MAAM,EAAE,EAAE;IACV,MAAM,EAAE,EAAE,UAAU,EAAE,gBAAgB,EAAE;IACxC,QAAQ,EAAE;QACR,EAAE,GAAG,EAAE,GAAG,QAAQ,SAAS,EAAE;QAC7B;YACE,GAAG,EAAE,GAAG,QAAQ,uBAAuB;YACvC,IAAI,EAAE,yBAAyB;SAChC;KACF;IACD,UAAU,EAAE;QACV,UAAU,EAAE,KAAK;QACjB,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,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CACxB,MAAM,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;CAC7D,CAAC;AAEF,sCAAsC;AACtC,MAAM,CAAC,MAAM,YAAY,GAAqB;IAC5C,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;CAC5B,CAAC"}

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

@@ -0,0 +1,5 @@
+/**
+ * The `doctor` capability barrel.
+ */
+export { doctorModule } from "./doctor.verb.js";
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/capabilities/doctor/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/capabilities/doctor/runChecks.js

@@ -0,0 +1,83 @@
+/**
+ * The `doctor` run body: the unbanded environment checks plus the banded rows
+ * the setup target table derives.
+ *
+ * Two kinds of finding live in one report and they are not the same kind. The
+ * ENVIRONMENT checks — the Node version, this CLI's own version, pack refs, the
+ * store — diagnose things `setup` cannot install; they carry no band and stay
+ * their own section. The BANDED rows are exactly the setup targets, in both
+ * bands, named with the target ids verbatim and repaired by the target's own
+ * command. Adding a target adds its rows here for free.
+ *
+ * Checks are started eagerly (they run concurrently) and collected in
+ * declaration order for a deterministic report. Each is guarded so a thrown
+ * check becomes an attributable `fail` rather than aborting the whole run.
+ * Lazily imported by `doctor.verb.ts`, so neither the checks nor
+ * `@canonical/harnesses` land on the fast path.
+ */
+import { BIN_NAME } from "../../constants.js";
+import { checkKeStore } from "./checks/checkKeStore.js";
+import { checkNodeVersion } from "./checks/checkNodeVersion.js";
+import { checkPackageRefs } from "./checks/checkPackageRefs.js";
+import { checkPragmaVersion } from "./checks/checkPragmaVersion.js";
+import { bandedChecks } from "./checks/targetHealth.js";
+/**
+ * The unbanded environment checks, each paired with the display name used if it
+ * rejects. The fallback name matches the `name` each check returns on success,
+ * so a thrown check reports the same label and stays correlatable.
+ */
+function buildEnvironmentChecks(rt) {
+    return [
+        ["Node version", checkNodeVersion()],
+        [`${BIN_NAME} version`, checkPragmaVersion(rt)],
+        ["pack refs", checkPackageRefs(rt)],
+        ["store", checkKeStore(rt)],
+    ];
+}
+/** Turn a rejected check into an attributable failure rather than a crash. */
+async function guarded(name, promise) {
+    try {
+        return await promise;
+    }
+    catch (error) {
+        const reason = error instanceof Error ? error.message : String(error);
+        return {
+            name,
+            status: "fail",
+            detail: `Check threw an unexpected error: ${reason}`,
+            remedy: `Re-run \`${BIN_NAME} doctor\`; if it persists, report this as a bug.`,
+        };
+    }
+}
+/**
+ * Run every health check and aggregate the results.
+ *
+ * @param rt - The per-invocation runtime.
+ * @returns The `{ checks, passed, failed, available, skipped }` summary.
+ * @note Impure — the checks read the fs, boot the store, and detect harnesses.
+ */
+export async function runChecks(rt) {
+    // The banded rows come back as a batch (one detection pass over the table),
+    // so they are guarded as a batch: a detection that throws becomes one
+    // attributable failure instead of taking the environment section with it.
+    const [environmentResults, bandedResults] = await Promise.all([
+        Promise.all(buildEnvironmentChecks(rt).map(([name, promise]) => guarded(name, promise))),
+        bandedChecks(rt, BIN_NAME).catch((error) => [
+            {
+                name: "setup targets",
+                status: "fail",
+                detail: `Detection threw an unexpected error: ${error instanceof Error ? error.message : String(error)}`,
+                remedy: `Re-run \`${BIN_NAME} doctor\`; if it persists, report this as a bug.`,
+            },
+        ]),
+    ]);
+    const checks = [...environmentResults, ...bandedResults];
+    return {
+        checks,
+        passed: checks.filter((c) => c.status === "pass").length,
+        failed: checks.filter((c) => c.status === "fail").length,
+        available: checks.filter((c) => c.status === "available").length,
+        skipped: checks.filter((c) => c.status === "skip").length,
+    };
+}
+//# sourceMappingURL=runChecks.js.map

package/dist/src/capabilities/doctor/runChecks.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runChecks.js","sourceRoot":"","sources":["../../../../src/capabilities/doctor/runChecks.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AAGxD;;;;GAIG;AACH,SAAS,sBAAsB,CAC7B,EAAiB;IAEjB,OAAO;QACL,CAAC,cAAc,EAAE,gBAAgB,EAAE,CAAC;QACpC,CAAC,GAAG,QAAQ,UAAU,EAAE,kBAAkB,CAAC,EAAE,CAAC,CAAC;QAC/C,CAAC,WAAW,EAAE,gBAAgB,CAAC,EAAE,CAAC,CAAC;QACnC,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;KAC5B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,KAAK,UAAU,OAAO,CACpB,IAAY,EACZ,OAA6B;IAE7B,IAAI,CAAC;QACH,OAAO,MAAM,OAAO,CAAC;IACvB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,OAAO;YACL,IAAI;YACJ,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,oCAAoC,MAAM,EAAE;YACpD,MAAM,EAAE,YAAY,QAAQ,kDAAkD;SAC/E,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,EAAiB;IAC/C,4EAA4E;IAC5E,sEAAsE;IACtE,0EAA0E;IAC1E,MAAM,CAAC,kBAAkB,EAAE,aAAa,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAC5D,OAAO,CAAC,GAAG,CACT,sBAAsB,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CACjD,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CACvB,CACF;QACD,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAiB,EAAE,CAAC;YAClE;gBACE,IAAI,EAAE,eAAe;gBACrB,MAAM,EAAE,MAAM;gBACd,MAAM,EAAE,wCACN,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CACvD,EAAE;gBACF,MAAM,EAAE,YAAY,QAAQ,kDAAkD;aAC/E;SACF,CAAC;KACH,CAAC,CAAC;IAEH,MAAM,MAAM,GAAkB,CAAC,GAAG,kBAAkB,EAAE,GAAG,aAAa,CAAC,CAAC;IACxE,OAAO;QACL,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;QACxD,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;QACxD,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM;QAChE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,MAAM;KAC1D,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,5 @@
+/**
+ * Data shapes for `pragma doctor` (ported verbatim from the old shell).
+ */
+export {};
+//# sourceMappingURL=types.js.map

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

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

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

@@ -0,0 +1,19 @@
+/**
+ * The `graph` capability module — `inspect` (single-entity read) plus `query`
+ * (the raw SPARQL escape hatch, PR6). The covenant blesses both.
+ */
+import { resourceProvider } from "../resources/index.js";
+import { graphInspectVerb } from "./inspect.verb.js";
+import { graphQueryVerb } from "./query.verb.js";
+/**
+ * The `graph` capability module. Carries the MCP resource browser: `graph
+ * inspect` (CLI) and the resource read (MCP) share one entity reader, so the
+ * two projections stay in lockstep. Resources are NOT tools — the emitted tool
+ * surface (and the golden) is unaffected.
+ */
+export const graphModule = {
+    name: "graph",
+    verbs: [graphInspectVerb, graphQueryVerb],
+    mcpResources: resourceProvider,
+};
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/capabilities/graph/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAqB;IAC3C,IAAI,EAAE,OAAO;IACb,KAAK,EAAE,CAAC,gBAAgB,EAAE,cAAc,CAAC;IACzC,YAAY,EAAE,gBAAgB;CAC/B,CAAC"}

package/dist/src/capabilities/graph/inspect.render.js

@@ -0,0 +1,76 @@
+/**
+ * Formatters for `graph inspect` — the entity's neighbourhood in three shapes.
+ *
+ * Terms arrive ALREADY compacted and named: the reader does it against the
+ * store's own merged prefix map, which is the map the graph was actually built
+ * with, so these formatters neither carry a prefix map nor re-derive one. They
+ * choose between the forms the reader supplies and nothing more.
+ */
+import { toTurtle } from "../../kernel/render/turtle.js";
+/** The short form of a term: prefixed when there is one, else the raw value. */
+const short = (term) => term.prefixed ?? term.value;
+/** A term as a reader should see it — short form, with its name when known. */
+const named = (term) => term.title ? `${short(term)} (${term.title})` : short(term);
+/**
+ * `predicate (330, sample of 5)` — the count is the truth, the list is not.
+ *
+ * A roster and a truncated relation read differently on purpose: "sample of"
+ * tells a reader that paging will not produce the rest and the noun's list verb
+ * is where the full set lives, where "showing" invites them to ask for more.
+ */
+function inboundHeading(group) {
+    if (group.sampled) {
+        return `${short(group.predicate)} (${group.count}, sample of ${group.subjects.length})`;
+    }
+    const suffix = group.truncated
+        ? `${group.count}, showing ${group.subjects.length}`
+        : `${group.count}`;
+    return `${short(group.predicate)} (${suffix})`;
+}
+export const inspectFormatters = {
+    plain(data) {
+        const title = data.label
+            ? `${short({ termType: "NamedNode", value: data.uri, ...(data.prefixed ? { prefixed: data.prefixed } : {}) })} — ${data.label}`
+            : (data.prefixed ?? data.uri);
+        const lines = [title, "═".repeat(Math.max(title.length, 24)), ""];
+        for (const group of data.groups) {
+            lines.push(`  ${short(group.predicate)}:`);
+            for (const object of group.objects)
+                lines.push(`    ${named(object)}`);
+        }
+        for (const [via, rows] of Object.entries(data.nested)) {
+            lines.push("", `  ${via}:`);
+            for (const row of rows) {
+                // Values are TERMS; `String(term)` rendered every nested field as
+                // `[object Object]`, which made the whole plain-format record unreadable.
+                const fields = Object.entries(row)
+                    .map(([key, value]) => `${key}=${named(value)}`)
+                    .join("  ");
+                lines.push(`    ${fields}`);
+            }
+        }
+        if (data.inbound.length > 0) {
+            lines.push("", "  Referenced by:");
+            for (const group of data.inbound) {
+                lines.push(`    ${inboundHeading(group)}`);
+                for (const subject of group.subjects) {
+                    lines.push(`      ${named(subject)}`);
+                }
+            }
+        }
+        return lines.join("\n").trimEnd();
+    },
+    /**
+     * The agent-facing format IS Turtle — same bytes the `pragma:{+uri}` resource
+     * read serves, which is what keeps the mirror contract meaningful now that the
+     * two are no longer both JSON. Measured on one button: 15.8 KB of JSON against
+     * 4.5 KB of Turtle for the same neighbourhood.
+     *
+     * `prefixes` comes from the reader, not from this formatter: it compacted the
+     * terms against the store's own merged map, so re-deriving a map here could
+     * only disagree with the names already in the payload.
+     */
+    llm: (data) => toTurtle(data, data.prefixes),
+    json: (data) => JSON.stringify(data, null, 2),
+};
+//# sourceMappingURL=inspect.render.js.map

package/dist/src/capabilities/graph/inspect.render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect.render.js","sourceRoot":"","sources":["../../../../src/capabilities/graph/inspect.render.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,+BAA+B,CAAC;AAQzD,gFAAgF;AAChF,MAAM,KAAK,GAAG,CAAC,IAAc,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC;AAEtE,+EAA+E;AAC/E,MAAM,KAAK,GAAG,CAAC,IAAc,EAAU,EAAE,CACvC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAE9D;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,KAAmB;IACzC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,KAAK,CAAC,KAAK,eAAe,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;IAC1F,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS;QAC5B,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,aAAa,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE;QACpD,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IACrB,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,MAAM,GAAG,CAAC;AACjD,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAA8B;IAC1D,KAAK,CAAC,IAAI;QACR,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK;YACtB,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE;YAC/H,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClE,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YAC3C,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO;gBAAE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtD,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,GAAG,GAAG,CAAC,CAAC;YAC5B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,kEAAkE;gBAClE,0EAA0E;gBAC1E,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;qBAC/B,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;qBAC/C,IAAI,CAAC,IAAI,CAAC,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,EAAE,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,kBAAkB,CAAC,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC,OAAO,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC3C,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;oBACrC,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;gBACxC,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;IACpC,CAAC;IACD;;;;;;;;;OASG;IACH,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC;IAC5C,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;CAC9C,CAAC"}

package/dist/src/capabilities/graph/inspect.verb.js

@@ -0,0 +1,53 @@
+/**
+ * `graph inspect <uri>` — every triple where the URI is the subject, grouped by
+ * predicate. The CLI twin of the MCP resource read (both share {@link readEntity}
+ * in PR3's resources browser); `graph query` (arbitrary SPARQL) lands in PR6.
+ *
+ * Store-backed: the URI is resolved through the store's merged prefix map and
+ * validated to the embeddable shape before it is interpolated, so a prefixed
+ * name or absolute IRI addresses the subject exactly.
+ */
+import { BIN_NAME, DEFAULT_DETAIL_LEVEL, DETAIL_LEVELS, } from "../../constants.js";
+import { readEntity } from "../../kernel/runtime/readEntity.js";
+import { asVerb } from "../../kernel/spec/asVerb.js";
+import { inspectFormatters } from "./inspect.render.js";
+const inspectVerb = {
+    path: ["graph", "inspect"],
+    summary: "Show every triple where a URI is the subject, grouped by predicate.",
+    doc: "Inspect one entity: all predicate/object pairs asserted on the subject. Address it by prefixed name (ds:global.component.button) or absolute IRI.",
+    params: [
+        {
+            kind: "string",
+            name: "uri",
+            doc: "The subject URI — a prefixed name or absolute IRI.",
+            positional: true,
+            required: true,
+            complete: { kind: "names", source: { from: "index", type: "" } },
+        },
+    ],
+    output: { formatters: inspectFormatters },
+    // The read is BOUNDED by disclosure — inbound exemplars and literal previews
+    // both widen with the level — so the verb must declare the ladder it honours.
+    // Without this the CLI `--detail` flag has nothing to validate against and the
+    // MCP projector injects no `detail` argument at all, so the documented knob
+    // was one an agent could not actually reach.
+    disclosure: { levels: [...DETAIL_LEVELS], default: DEFAULT_DETAIL_LEVEL },
+    examples: [
+        { cmd: `${BIN_NAME} graph inspect ds:global.component.button` },
+        {
+            cmd: `${BIN_NAME} graph inspect https://ds.canonical.com/global.component.button`,
+        },
+    ],
+    capability: {
+        needsStore: true,
+        mutates: false,
+        mcp: {
+            expose: true,
+            annotations: { readOnlyHint: true, openWorldHint: false },
+        },
+    },
+    run: (params, rt) => readEntity(rt, String(params.uri)),
+};
+/** The `graph inspect` verb. */
+export const graphInspectVerb = asVerb(inspectVerb);
+//# sourceMappingURL=inspect.verb.js.map

package/dist/src/capabilities/graph/inspect.verb.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inspect.verb.js","sourceRoot":"","sources":["../../../../src/capabilities/graph/inspect.verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,QAAQ,EACR,oBAAoB,EACpB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AAChE,OAAO,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAErD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,WAAW,GAAqD;IACpE,IAAI,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC;IAC1B,OAAO,EACL,qEAAqE;IACvE,GAAG,EAAE,mJAAmJ;IACxJ,MAAM,EAAE;QACN;YACE,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,KAAK;YACX,GAAG,EAAE,oDAAoD;YACzD,UAAU,EAAE,IAAI;YAChB,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE;SACjE;KACF;IACD,MAAM,EAAE,EAAE,UAAU,EAAE,iBAAiB,EAAE;IACzC,6EAA6E;IAC7E,8EAA8E;IAC9E,+EAA+E;IAC/E,4EAA4E;IAC5E,6CAA6C;IAC7C,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,aAAa,CAAC,EAAE,OAAO,EAAE,oBAAoB,EAAE;IACzE,QAAQ,EAAE;QACR,EAAE,GAAG,EAAE,GAAG,QAAQ,2CAA2C,EAAE;QAC/D;YACE,GAAG,EAAE,GAAG,QAAQ,iEAAiE;SAClF;KACF;IACD,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,CAAC,MAA+B,EAAE,EAAiB,EAAE,EAAE,CAC1D,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;CACrC,CAAC;AAEF,gCAAgC;AAChC,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC"}

package/dist/src/capabilities/graph/query.render.js

@@ -0,0 +1,73 @@
+/**
+ * Formatters for `pragma graph query` — plain, llm, json (no ink).
+ *
+ * Ported verbatim from the old shell's `graph/formatters/query.ts`:
+ * - plain: a tab-separated table for SELECT, `ASK: true/false`, readable triple
+ *   lines for CONSTRUCT.
+ * - llm: condensed Markdown (a table for SELECT, one line for ASK, a triple list
+ *   for CONSTRUCT).
+ * - json: the serialized {@link QueryResult}.
+ */
+/**
+ * Render CONSTRUCT triples as readable `subject\tpredicate\tobject` lines,
+ * collapsing any newlines in literal objects so each triple stays on one line.
+ */
+function formatTriples(triples) {
+    if (triples.length === 0)
+        return "No triples.";
+    return triples
+        .map((t) => {
+        const object = t.object.replace(/\s*\n\s*/g, " ").trim();
+        return `${t.subject}\t${t.predicate}\t${object}`;
+    })
+        .join("\n");
+}
+export const queryFormatters = {
+    // Zero rows/triples: plain stdout stays empty — the notice is
+    // `emptyNotice`, routed to stderr (exit 0) by the dispatcher so a pipe
+    // reads no prose. ASK always has a result and never goes empty.
+    emptyNotice(result) {
+        if (result.type === "select" && result.bindings.length === 0) {
+            return "No results.";
+        }
+        if (result.type === "construct" && result.triples.length === 0) {
+            return "No triples.";
+        }
+        return undefined;
+    },
+    plain(result) {
+        if (result.type === "select") {
+            if (result.bindings.length === 0)
+                return "";
+            const cols = Object.keys(result.bindings[0] ?? {});
+            const rows = result.bindings.map((b) => cols.map((c) => b[c] ?? "").join("\t"));
+            return [cols.join("\t"), ...rows].join("\n");
+        }
+        if (result.type === "ask") {
+            return `ASK: ${String(result.result)}`;
+        }
+        return result.triples.length === 0 ? "" : formatTriples(result.triples);
+    },
+    llm(result) {
+        if (result.type === "select") {
+            if (result.bindings.length === 0)
+                return "_No results._";
+            const cols = Object.keys(result.bindings[0] ?? {});
+            const header = `| ${cols.join(" | ")} |`;
+            const divider = `| ${cols.map(() => "---").join(" | ")} |`;
+            const rows = result.bindings.map((b) => `| ${cols.map((c) => b[c] ?? "").join(" | ")} |`);
+            return [header, divider, ...rows].join("\n");
+        }
+        if (result.type === "ask") {
+            return `**ASK** → ${String(result.result)}`;
+        }
+        return formatTriples(result.triples)
+            .split("\n")
+            .map((line) => (line.includes("\t") ? `- ${line}` : line))
+            .join("\n");
+    },
+    json(result) {
+        return JSON.stringify(result);
+    },
+};
+//# sourceMappingURL=query.render.js.map

package/dist/src/capabilities/graph/query.render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.render.js","sourceRoot":"","sources":["../../../../src/capabilities/graph/query.render.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAQH;;;GAGG;AACH,SAAS,aAAa,CACpB,OAIE;IAEF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,aAAa,CAAC;IAC/C,OAAO,OAAO;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACzD,OAAO,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,KAAK,MAAM,EAAE,CAAC;IACnD,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,MAAM,eAAe,GAA4B;IACtD,8DAA8D;IAC9D,uEAAuE;IACvE,gEAAgE;IAChE,WAAW,CAAC,MAAM;QAChB,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7D,OAAO,aAAa,CAAC;QACvB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/D,OAAO,aAAa,CAAC;QACvB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,KAAK,CAAC,MAAM;QACV,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,CAAC;YAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACvC,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,OAAO,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC1E,CAAC;IAED,GAAG,CAAC,MAAM;QACR,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,eAAe,CAAC;YACzD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,MAAM,MAAM,GAAG,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACzC,MAAM,OAAO,GAAG,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAC9B,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CACxD,CAAC;YACF,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC1B,OAAO,aAAa,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9C,CAAC;QACD,OAAO,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC;aACjC,KAAK,CAAC,IAAI,CAAC;aACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;aACzD,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,IAAI,CAAC,MAAM;QACT,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;CACF,CAAC"}