@shrkcrft/inspector 0.1.0-alpha.30 → 0.1.0-alpha.32

package/dist/custom-checks.js

@@ -10,6 +10,15 @@
  * `metadata.checks: ICustomCheckDescriptor[]`. The engine never invents
  * a check; we only inventory what authors declare.
  *
+ * WHAT IS SCANNED: `type: 'rule'` entries ({@link isRuleEntry} — the same set
+ * `shrk rules list` shows) loaded from TypeScript knowledge / rule files, local
+ * or pack. A declaration anywhere else is REPORTED, never silently skipped:
+ *   - `metadata.checks` on a non-rule entry → `ignored`;
+ *   - a Markdown rule whose frontmatter held `metadata` (the Markdown loader
+ *     does not read it) → `ignored`;
+ *   - a non-array `metadata.checks` on a rule → `invalid`.
+ * Each is a declared check that can never run — a doctor error.
+ *
  * Hard rules:
  *   - No spawning a process by default.
  *   - Read-only inventory unless `--execute` is set explicitly.
@@ -19,7 +28,8 @@
 import { spawnSync } from 'node:child_process';
 import { existsSync, readFileSync } from 'node:fs';
 import * as nodePath from 'node:path';
-import { KnowledgeType } from '@shrkcrft/knowledge';
+import { KnowledgeSourceFormat, knowledgeSourceFormat, unsupportedFrontmatterKeys, } from '@shrkcrft/knowledge';
+import { isRuleEntry } from '@shrkcrft/rules';
 export const CUSTOM_CHECK_REPORT_SCHEMA = 'sharkcraft.custom-check/v1';
 export const CUSTOM_CHECKS_REGISTRY_SCHEMA = 'sharkcraft.custom-checks-registry/v1';
 export var CustomCheckScope;
@@ -56,6 +66,7 @@ export var CustomCheckStatus;
     CustomCheckStatus["Skipped"] = "skipped";
 })(CustomCheckStatus || (CustomCheckStatus = {}));
 const ID_RE = /^[a-z][a-z0-9.-]+$/;
+const TS_SOURCE_RE = /\.(?:ts|tsx|js|mjs|cjs)$/;
 /** Read the descriptors a rule declares under `metadata.checks`. */
 export function readDescriptorsFromRule(rule) {
     const md = rule.metadata;
@@ -64,25 +75,101 @@ export function readDescriptorsFromRule(rule) {
         return [];
     return raw.map((r) => ({ ...r, ownerRuleId: rule.id }));
 }
-export function buildCustomChecksRegistry(entries) {
+function describeType(value) {
+    if (value === null)
+        return 'null';
+    if (Array.isArray(value))
+        return 'array';
+    return typeof value;
+}
+/** The string ids of a declared `metadata.checks` value (whatever its shape). */
+function declaredCheckIds(raw) {
+    if (!Array.isArray(raw)) {
+        const id = raw && typeof raw === 'object' ? raw.id : undefined;
+        return typeof id === 'string' ? [id] : [];
+    }
+    return raw
+        .map((d) => (d && typeof d === 'object' ? d.id : undefined))
+        .filter((id) => typeof id === 'string');
+}
+function relativeSource(origin, projectRoot) {
+    if (!origin)
+        return undefined;
+    if (!projectRoot || !nodePath.isAbsolute(origin))
+        return origin;
+    return nodePath.relative(projectRoot, origin).split(nodePath.sep).join('/');
+}
+/**
+ * Did this Markdown file's frontmatter declare `metadata` holding `checks`?
+ * Read through the Markdown loader's own "what did I drop" authority.
+ */
+function markdownDroppedChecks(origin) {
+    if (!origin || !existsSync(origin))
+        return false;
+    let text;
+    try {
+        text = readFileSync(origin, 'utf8');
+    }
+    catch {
+        return false;
+    }
+    return unsupportedFrontmatterKeys(text).some((k) => k.key === 'metadata' && /\bchecks\b/.test(k.block));
+}
+export function buildCustomChecksRegistry(entries, options = {}) {
     const out = [];
     const idIndex = new Map();
     const invalid = [];
+    const ignored = [];
+    let scannedRules = 0;
     for (const e of entries) {
-        if (String(e.type) !== KnowledgeType.Rule)
+        const source = relativeSource(e.source?.origin, options.projectRoot);
+        const at = source ? { source } : {};
+        const raw = e.metadata?.['checks'];
+        if (!isRuleEntry(e)) {
+            if (raw !== undefined) {
+                ignored.push({
+                    entryId: e.id,
+                    entryType: String(e.type),
+                    ...at,
+                    reason: `metadata.checks on a type:'${String(e.type)}' entry is not scanned — only type:'rule' entries carry checks (set type: 'rule', or move the checks onto a rule)`,
+                    checkIds: declaredCheckIds(raw),
+                });
+            }
+            continue;
+        }
+        scannedRules += 1;
+        // THE source-format authority (round 15) — the one the stale-check remedy
+        // and the validator read, so "is this a Markdown entry?" has one answer.
+        if (knowledgeSourceFormat(e) === KnowledgeSourceFormat.Markdown) {
+            if (markdownDroppedChecks(e.source?.origin)) {
+                ignored.push({
+                    entryId: e.id,
+                    entryType: String(e.type),
+                    ...at,
+                    reason: 'Markdown rule — the Markdown loader does not support metadata, so its metadata.checks were dropped; declare the rule (with its checks) in a TypeScript rule file',
+                    checkIds: [],
+                });
+            }
             continue;
+        }
+        if (raw === undefined)
+            continue;
+        if (!Array.isArray(raw)) {
+            invalid.push({ ruleId: e.id, reason: `metadata.checks must be an array (got ${describeType(raw)})`, ...at });
+            continue;
+        }
         const descriptors = readDescriptorsFromRule(e);
         for (const d of descriptors) {
             const warnings = [];
             if (!d.id || typeof d.id !== 'string') {
-                invalid.push({ ruleId: e.id, reason: 'check entry missing string id' });
+                invalid.push({ ruleId: e.id, reason: 'check entry missing string id', ...at });
                 continue;
             }
             if (!ID_RE.test(d.id)) {
                 warnings.push(`id "${d.id}" should match ${ID_RE.source}`);
             }
             if (!d.command || typeof d.command !== 'string') {
-                invalid.push({ ruleId: e.id, reason: `check "${d.id}" missing command` });
+                invalid.push({ ruleId: e.id, reason: `check "${d.id}" missing command`, checkId: d.id, ...at });
                 continue;
             }
             if (d.output === CustomCheckOutput.Json && !d.reportPath) {
@@ -108,12 +195,77 @@ export function buildCustomChecksRegistry(entries) {
         entries: out,
         duplicates,
         invalid,
+        ignored,
+        scannedRules,
     };
 }
+/**
+ * Every declaration the registry saw: registered + invalid + ignored (an
+ * ignored entry whose ids are unreadable still counts as one). The `expected`
+ * of the doctor's coverage — 0 means nothing was declared at all.
+ */
+export function declaredCustomCheckCount(registry) {
+    return (registry.entries.length +
+        registry.invalid.length +
+        registry.ignored.reduce((n, i) => n + Math.max(1, i.checkIds.length), 0));
+}
+/**
+ * The concrete surface the custom-checks registry scans: local `ruleFiles` /
+ * `knowledgeFiles` / `docsFiles` and every valid pack's `ruleFiles` /
+ * `knowledgeFiles` — split into TypeScript (scanned) and Markdown (cannot
+ * carry metadata).
+ */
+export function customCheckScanSurface(inspection) {
+    const files = [];
+    const markdownFiles = [];
+    const add = (abs, via) => {
+        // The loaders skip a configured file that does not exist (the config's
+        // default docsFiles, a stale entry) — so does the surface they read.
+        if (!existsSync(abs))
+            return;
+        const file = nodePath.relative(inspection.projectRoot, abs).split(nodePath.sep).join('/') || abs;
+        if (TS_SOURCE_RE.test(abs))
+            files.push({ file, via });
+        else if (abs.toLowerCase().endsWith('.md'))
+            markdownFiles.push(file);
+    };
+    const cfg = inspection.config;
+    if (cfg && inspection.sharkcraftDir) {
+        for (const key of ['ruleFiles', 'knowledgeFiles', 'docsFiles']) {
+            for (const rel of cfg[key] ?? [])
+                add(nodePath.resolve(inspection.sharkcraftDir, rel), key);
+        }
+    }
+    for (const pack of inspection.packs.validPacks ?? []) {
+        const c = pack.manifest?.contributions;
+        for (const key of ['ruleFiles', 'knowledgeFiles']) {
+            for (const rel of c?.[key] ?? [])
+                add(nodePath.resolve(pack.packageRoot, rel), `pack ${pack.packageName} ${key}`);
+        }
+    }
+    const markdownRules = inspection.knowledgeEntries.filter((e) => isRuleEntry(e) && knowledgeSourceFormat(e) === KnowledgeSourceFormat.Markdown).length;
+    return { files, markdownFiles, markdownRules };
+}
 export function doctorCustomChecks(registry) {
     const details = [];
     for (const inv of registry.invalid) {
-        details.push({ ruleId: inv.ruleId, checkId: '(invalid)', severity: 'error', message: inv.reason });
+        details.push({
+            ruleId: inv.ruleId,
+            checkId: inv.checkId ?? '(invalid)',
+            severity: 'error',
+            message: inv.reason,
+            ...(inv.source ? { source: inv.source } : {}),
+        });
+    }
+    // A declared check that can never run is a defect, not a footnote.
+    for (const ig of registry.ignored) {
+        details.push({
+            ruleId: ig.entryId,
+            checkId: ig.checkIds.join(',') || '(ignored)',
+            severity: 'error',
+            message: ig.reason,
+            ...(ig.source ? { source: ig.source } : {}),
+        });
     }
     for (const dup of registry.duplicates) {
         details.push({
@@ -139,6 +291,9 @@ export function doctorCustomChecks(registry) {
         totalChecks: registry.entries.length,
         warnings: details.filter((d) => d.severity === 'warning').length,
         errors: details.filter((d) => d.severity === 'error').length,
+        declaredChecks: declaredCustomCheckCount(registry),
+        ignored: registry.ignored.length,
+        scannedRules: registry.scannedRules,
         details,
     };
 }

package/dist/dashboard/dashboard-data.d.ts

@@ -32,6 +32,12 @@ export declare function buildDashboardPipelines(inspection: ISharkcraftInspectio
 export declare function buildDashboardSessions(projectRoot: string): IDashboardSessionsResponse;
 export declare function buildDashboardSessionDetail(projectRoot: string, sessionId: string): IDashboardSessionDetailResponse;
 export declare function buildDashboardArchitecture(inspection: ISharkcraftInspection): IDashboardArchitectureResponse;
+/**
+ * The boundary panel (round 13, V1-U2): THE boundary orchestrator's verdict —
+ * the one `shrk check boundaries` prints. The panel used to return no
+ * violations unconditionally and render "No active violations." over any
+ * state, a failing gate included; `summary` now says what the check found.
+ */
 export declare function buildDashboardBoundaries(inspection: ISharkcraftInspection): IDashboardBoundaryResponse;
 export declare function buildDashboardDrift(inspection: ISharkcraftInspection): IDashboardDriftResponse;
 export declare function buildDashboardCoverage(inspection: ISharkcraftInspection): IDashboardCoverageResponse;

package/dist/dashboard/dashboard-data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dashboard-data.d.ts","sourceRoot":"","sources":["../../src/dashboard/dashboard-data.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EACV,0BAA0B,EAC1B,8BAA8B,EAC9B,0BAA0B,EAC1B,8BAA8B,EAC9B,0BAA0B,EAC1B,0BAA0B,EAC1B,wBAAwB,EACxB,uBAAuB,EACvB,2BAA2B,EAC3B,2BAA2B,EAC3B,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,4BAA4B,EAC5B,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,wBAAwB,EACxB,wBAAwB,EACxB,2BAA2B,EAC3B,yBAAyB,EACzB,+BAA+B,EAC/B,0BAA0B,EAC1B,uBAAuB,EAIxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAgBxE,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AA2E/E,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,0BAA0B,CAAC,CA2BrC;AAED,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,qBAAqB,GAAG,wBAAwB,CAkBhG;AAMD,wBAAsB,qBAAqB,CACzC,UAAU,EAAE,qBAAqB,EACjC,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,cAAc,CAAA;CAAE,GAC3C,OAAO,CAAC,yBAAyB,CAAC,CAsBpC;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,qBAAqB,EACjC,OAAO,EAAE,aAAa,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;CACvB,CAAC,EACF,QAAQ,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7D,wBAAwB,CA+B1B;AAMD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,aAAa,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GACtG,0BAA0B,CAc5B;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,GAAG,uBAAuB,CAc9F;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,qBAAqB,GAAG,yBAAyB,CAYlG;AAED,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,qBAAqB,GAAG,2BAA2B,CAOtG;AAMD,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,MAAM,GAAG,0BAA0B,CAgBtF;AAED,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAChB,+BAA+B,CAwCjC;AAMD,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,qBAAqB,GAAG,8BAA8B,CAO5G;AAED,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,qBAAqB,GAAG,0BAA0B,CAOtG;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,GAAG,uBAAuB,CAW9F;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,qBAAqB,GAAG,0BAA0B,CAWpG;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,GAAG,uBAAuB,CAO9F;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,2BAA2B,CAa7B;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,GACT,2BAA2B,CAW7B;AAMD,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,qBAAqB,GAChC,4BAA4B,CAkB9B;AAED,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,qBAAqB,GAChC,0BAA0B,CA0D5B;AAMD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,qBAAqB,GAAG,yBAAyB,CA0ClG;AAED,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,qBAAqB,EAClC,OAAO,CAAC,EAAE;IAAE,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GAChC,wBAAwB,CAoC1B;AAED,wBAAsB,uBAAuB,CAAC,UAAU,EAAE,qBAAqB,GAAG,OAAO,CAAC,2BAA2B,CAAC,CAerH;AAMD,wBAAgB,qBAAqB,IAAI,yBAAyB,CAejE;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC/D,qBAAqB,CAUvB;AAED,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,GAAG,wBAAwB,CASpF;AAED,wBAAsB,mBAAmB,CACvC,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GACjD,OAAO,CAAC,uBAAuB,CAAC,CAiClC;AAED,wBAAgB,0BAA0B,CACxC,YAAY,GAAE,OAAO,CAAC,8BAA8B,CAAM,GACzD,8BAA8B,CAwBhC"}
+{"version":3,"file":"dashboard-data.d.ts","sourceRoot":"","sources":["../../src/dashboard/dashboard-data.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EACV,0BAA0B,EAC1B,8BAA8B,EAC9B,0BAA0B,EAC1B,8BAA8B,EAC9B,0BAA0B,EAC1B,0BAA0B,EAC1B,wBAAwB,EACxB,uBAAuB,EACvB,2BAA2B,EAC3B,2BAA2B,EAC3B,uBAAuB,EACvB,wBAAwB,EACxB,qBAAqB,EACrB,4BAA4B,EAC5B,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,EAC3B,yBAAyB,EACzB,yBAAyB,EACzB,yBAAyB,EACzB,wBAAwB,EACxB,wBAAwB,EACxB,2BAA2B,EAC3B,yBAAyB,EACzB,+BAA+B,EAC/B,0BAA0B,EAC1B,uBAAuB,EAIxB,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAoBxE,OAAO,EAAsB,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AA2E/E,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,0BAA0B,CAAC,CA2BrC;AAED,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,qBAAqB,GAAG,wBAAwB,CA4BhG;AAMD,wBAAsB,qBAAqB,CACzC,UAAU,EAAE,qBAAqB,EACjC,OAAO,CAAC,EAAE;IAAE,aAAa,CAAC,EAAE,cAAc,CAAA;CAAE,GAC3C,OAAO,CAAC,yBAAyB,CAAC,CAwBpC;AAED,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,qBAAqB,EACjC,OAAO,EAAE,aAAa,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,OAAO,CAAC;IACrB,YAAY,EAAE,OAAO,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,cAAc,EAAE,OAAO,CAAC;IACxB,YAAY,EAAE,OAAO,CAAC;CACvB,CAAC,EACF,QAAQ,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GAC7D,wBAAwB,CA+B1B;AAMD,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,aAAa,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,GACtG,0BAA0B,CAc5B;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,GAAG,uBAAuB,CAc9F;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,qBAAqB,GAAG,yBAAyB,CAYlG;AAED,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,qBAAqB,GAAG,2BAA2B,CAOtG;AAMD,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,MAAM,GAAG,0BAA0B,CAgBtF;AAED,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAChB,+BAA+B,CAwCjC;AAMD,wBAAgB,0BAA0B,CAAC,UAAU,EAAE,qBAAqB,GAAG,8BAA8B,CAO5G;AAED;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,UAAU,EAAE,qBAAqB,GAAG,0BAA0B,CA2CtG;AA+BD,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,GAAG,uBAAuB,CAW9F;AAED,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,qBAAqB,GAAG,0BAA0B,CAWpG;AAED,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,qBAAqB,GAAG,uBAAuB,CAO9F;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,2BAA2B,CAa7B;AAED,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,GACT,2BAA2B,CAW7B;AAMD,wBAAgB,wBAAwB,CACtC,UAAU,EAAE,qBAAqB,GAChC,4BAA4B,CAkB9B;AAED,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,qBAAqB,GAChC,0BAA0B,CA0D5B;AAMD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,qBAAqB,GAAG,yBAAyB,CA0ClG;AAED,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,qBAAqB,EAClC,OAAO,CAAC,EAAE;IAAE,UAAU,CAAC,EAAE,MAAM,CAAA;CAAE,GAChC,wBAAwB,CAoC1B;AAED,wBAAsB,uBAAuB,CAAC,UAAU,EAAE,qBAAqB,GAAG,OAAO,CAAC,2BAA2B,CAAC,CAerH;AAMD,wBAAgB,qBAAqB,IAAI,yBAAyB,CAejE;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC/D,qBAAqB,CAUvB;AAED,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,MAAM,GAAG,wBAAwB,CASpF;AAED,wBAAsB,mBAAmB,CACvC,GAAG,EAAE,MAAM,EACX,IAAI,CAAC,EAAE;IAAE,WAAW,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GACjD,OAAO,CAAC,uBAAuB,CAAC,CAiClC;AAED,wBAAgB,0BAA0B,CACxC,YAAY,GAAE,OAAO,CAAC,8BAA8B,CAAM,GACzD,8BAA8B,CAwBhC"}

package/dist/dashboard/dashboard-data.js

@@ -13,9 +13,13 @@ import { existsSync, statSync } from 'node:fs';
 import * as nodePath from 'node:path';
 import { buildAiReadinessReport } from "../ai-readiness.js";
 import { runDoctor } from "../sharkcraft-inspector.js";
+import { doctorVerdict } from "../doctor-verdict.js";
+import { DoctorVerdictKind } from "../doctor-verdict-kind.js";
+import { qualityGateStatus } from "../quality-gate-row-status.js";
 import { DoctorSeverity } from "../doctor-result.js";
 import { buildCoverageReport } from "../coverage-report.js";
 import { buildDriftReport } from "../drift.js";
+import { runBoundaryCheck } from "../run-boundary-check.js";
 import { buildKnowledgeGraph, findGraphPath, getGraphNode } from "../knowledge-graph.js";
 import { buildOnboardingPlan } from "../onboarding.js";
 import { ADOPTION_STATE_SCHEMA, adoptionDir, computeAdoptionFreshness, readAdoptionState, } from "../adoption-state.js";
@@ -126,8 +130,17 @@ export function buildDashboardDoctor(inspection) {
             ...(c.fix ? { fix: c.fix } : {}),
         };
     });
+    // THE doctor settlement (`doctorVerdict`), the one `shrk doctor`, `shrk
+    // check` and MCP read: a setup the doctor could not fully verify (a compiled
+    // pack build with no build record) is `not-verified`, never `ready`.
+    const settled = doctorVerdict(doctor);
     return {
-        verdict: doctor.passed ? 'ready' : 'not-ready',
+        verdict: settled.verdict === DoctorVerdictKind.Ready
+            ? 'ready'
+            : settled.verdict === DoctorVerdictKind.NotVerified
+                ? 'not-verified'
+                : 'not-ready',
+        ...(settled.shortfalls.length > 0 ? { shortfalls: settled.shortfalls } : {}),
         readinessScore: buildAiReadinessReport(inspection).score,
         checks,
         summary: doctor.summary,
@@ -147,7 +160,9 @@ export async function buildDashboardQuality(inspection, options) {
         readiness: report.overall,
         gates: report.gates.map((g) => ({
             id: g.id,
-            status: (g.passed ? 'pass' : g.blocking ? 'fail' : 'warn'),
+            // THE row status (`qualityGateStatus`): never `pass` over a gate that
+            // passed over part of its scope, or could not run.
+            status: qualityGateStatus(g),
             ...(g.notes && g.notes.length > 0 ? { message: g.notes.join('; ') } : {}),
         })),
         blockers: report.gates.filter((g) => !g.passed && g.blocking).map((g) => g.label),
@@ -313,13 +328,89 @@ export function buildDashboardArchitecture(inspection) {
         coverage: buildDashboardCoverage(inspection),
     };
 }
+/**
+ * The boundary panel (round 13, V1-U2): THE boundary orchestrator's verdict —
+ * the one `shrk check boundaries` prints. The panel used to return no
+ * violations unconditionally and render "No active violations." over any
+ * state, a failing gate included; `summary` now says what the check found.
+ */
 export function buildDashboardBoundaries(inspection) {
     const rules = inspection.boundaryRegistry.list();
-    return {
-        available: rules.length > 0,
-        violations: [],
-        ruleCount: rules.length,
-    };
+    const loadIssues = inspection.boundaryLoadIssues ?? [];
+    if (rules.length === 0 && loadIssues.length === 0) {
+        return {
+            available: false,
+            violations: [],
+            ruleCount: 0,
+            verdict: 'not-verified',
+            exitCode: 2,
+            summary: 'No boundary rules loaded — nothing was checked.',
+        };
+    }
+    try {
+        const r = runBoundaryCheck(inspection);
+        return {
+            available: true,
+            violations: r.violations.map((v, i) => ({
+                id: `${v.ruleId}:${v.file}:${v.line}:${i}`,
+                from: `${v.file}:${v.line}`,
+                to: v.importSpecifier,
+                rule: v.ruleId,
+                severity: v.severity,
+                message: v.message,
+            })),
+            ruleCount: rules.length,
+            verdict: r.verdict,
+            exitCode: r.exitCode,
+            summary: dashboardBoundarySummary(r),
+            deadUnitCount: r.deadUnits.length,
+            intendedEmptyCount: r.intendedEmpty.length,
+            wentLiveCount: r.wentLive.length,
+        };
+    }
+    catch (e) {
+        return {
+            available: true,
+            violations: [],
+            ruleCount: rules.length,
+            verdict: 'not-verified',
+            exitCode: 2,
+            summary: `Boundary scan failed — nothing was checked: ${e.message}`,
+        };
+    }
+}
+/** One sentence for the boundary panel, from the settled verdict — never "no violations" over a failing or unverified run. */
+function dashboardBoundarySummary(r) {
+    const notes = [];
+    if (r.deadUnits.length > 0)
+        notes.push(`${r.deadUnits.length} dead selector unit(s)`);
+    if (r.wentLive.length > 0)
+        notes.push(`${r.wentLive.length} expectEmpty marker(s) went live`);
+    // "accepted" only when the settle accepted them — an acceptance exists at exit
+    // 0 alone (`r.accepted`); a failing or unverified run holds the same units as
+    // intended empty, the word finish's boundaries sub-gate uses.
+    if (r.intendedEmpty.length > 0) {
+        notes.push(r.exitCode === 0 && r.accepted.length > 0
+            ? `${r.intendedEmpty.length} expectEmpty unit(s) accepted`
+            : `${r.intendedEmpty.length} expectEmpty unit(s) intended empty`);
+    }
+    const tail = notes.length > 0 ? ` (${notes.join('; ')})` : '';
+    if (r.exitCode === 0)
+        return `No active violations — ${r.rules.length} rule(s) checked.${tail}`;
+    if (r.exitCode === 1) {
+        const parts = [];
+        if (r.violations.length > 0)
+            parts.push(`${r.violations.length} violation(s)`);
+        if (r.loadIssues.length > 0)
+            parts.push(`${r.loadIssues.length} errored rule(s)`);
+        if (r.staleExceptions.length > 0)
+            parts.push(`${r.staleExceptions.length} stale exception(s)`);
+        const onEmpty = r.rules.filter((x) => x.failedOnEmpty === true).length;
+        if (onEmpty > 0)
+            parts.push(`${onEmpty} rule(s) matched nothing (failOnEmpty)`);
+        return `Boundary check needs attention — ${parts.join(', ') || 'see `shrk check boundaries`'}.${tail}`;
+    }
+    return `NOT VERIFIED — ${r.shortfalls[0] ?? 'part of the boundary scope was never examined'}.${tail}`;
 }
 export function buildDashboardDrift(inspection) {
     const drift = buildDriftReport(inspection);
@@ -508,7 +599,7 @@ export function buildDashboardReview(_inspection, options) {
             suggestedChecks: [],
             artifacts: [],
             commandHints: [
-                commandHint('shrk review build --since main', 'Generate a review packet from a diff', 'read-only'),
+                commandHint('shrk review packet --since main', 'Generate a review packet from a diff', 'read-only'),
             ],
         };
     }

package/dist/dashboard/dashboard-knowledge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dashboard-knowledge.d.ts","sourceRoot":"","sources":["../../src/dashboard/dashboard-knowledge.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAGV,gCAAgC,EAGhC,gCAAgC,EAEhC,+BAA+B,EAG/B,kCAAkC,EAGnC,MAAM,yBAAyB,CAAC;AAQjC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAuHxE,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,qBAAqB,GAChC,+BAA+B,CAoBjC;AAED,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,gCAAgC,CAkDlC;AAKD,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,qBAAqB,GAChC,gCAAgC,CA8ClC;AAED,gFAAgF;AAChF,wBAAgB,8BAA8B,CAC5C,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,kCAAkC,CAqBpC"}
+{"version":3,"file":"dashboard-knowledge.d.ts","sourceRoot":"","sources":["../../src/dashboard/dashboard-knowledge.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAGV,gCAAgC,EAGhC,gCAAgC,EAEhC,+BAA+B,EAG/B,kCAAkC,EAGnC,MAAM,yBAAyB,CAAC;AAQjC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAuHxE,wBAAgB,2BAA2B,CACzC,UAAU,EAAE,qBAAqB,GAChC,+BAA+B,CAoBjC;AAED,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,gCAAgC,CAkDlC;AAKD,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,qBAAqB,GAChC,gCAAgC,CAyDlC;AAED,gFAAgF;AAChF,wBAAgB,8BAA8B,CAC5C,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,kCAAkC,CAqBpC"}

package/dist/dashboard/dashboard-knowledge.js

@@ -209,9 +209,15 @@ export function buildDashboardKnowledgeGraph(inspection) {
         seen.add(key);
         edges.push({ from, to, kind });
     };
-    // Semantic edges: explicit cross-references.
+    // Semantic edges: explicit cross-references. One whose target is not an entry
+    // in the drawn set (a dangling id, a non-knowledge id, or an entry outside the
+    // node cap) is not drawn — but it is COUNTED, so the graph never reads as
+    // complete while it silently lost edges.
+    let droppedEdges = 0;
     for (const e of entries) {
         for (const t of [...(e.related ?? []), ...(e.actionHints?.relatedKnowledge ?? [])]) {
+            if (t !== e.id && !ids.has(t))
+                droppedEdges += 1;
             addEdge(e.id, t, 'related');
         }
     }
@@ -230,7 +236,13 @@ export function buildDashboardKnowledgeGraph(inspection) {
             addEdge(group[i - 1], group[i], 'scope');
         }
     }
-    return { available: entries.length > 0, nodes, edges, truncated };
+    return {
+        available: entries.length > 0,
+        nodes,
+        edges,
+        truncated,
+        ...(droppedEdges > 0 ? { droppedEdges } : {}),
+    };
 }
 /** Relevance-ranked "more like this" for one entry (lexical, deterministic). */
 export function buildDashboardKnowledgeSimilar(inspection, id) {

package/dist/decision-records.d.ts

@@ -1,4 +1,6 @@
 import type { ISharkcraftInspection } from './sharkcraft-inspector.js';
+import { type IRejectedEntry } from '@shrkcrft/core';
+import type { IContributionFileIssue } from './i-contribution-file-issue.js';
 export declare const DECISION_RECORD_SCHEMA = "sharkcraft.decision/v1";
 export declare enum DecisionStatus {
     Proposed = "proposed",
@@ -18,6 +20,8 @@ export interface IDecisionRecord {
     relatedPolicies: readonly string[];
     relatedConstructs: readonly string[];
     relatedFiles: readonly string[];
+    /** Commands the decision relates to (TS decisions only) — probed by the self-config doctor. */
+    relatedCommands?: readonly string[];
     date: string;
     sourceFile?: string;
 }
@@ -35,12 +39,32 @@ export interface IDecisionDraftInput {
     date?: string;
 }
 export declare function listDecisions(inspection: ISharkcraftInspection): readonly IDecisionRecord[];
+/**
+ * THE TS-decision acceptance predicate (round 12, 12.1): a non-empty string
+ * `id` — `[]` means accepted. An id-less decision used to be dropped with no
+ * signal (`if (!rec?.id) return`).
+ */
+export declare function decisionRejectionReasons(raw: unknown): readonly string[];
 /**
  * Async warm-up for `sharkcraft/decisions.ts` and pack-contributed
  * decisions. Call this before `listDecisions` if you want TS decisions
  * folded in.
  */
 export declare function loadTsDecisions(inspection: ISharkcraftInspection): Promise<readonly IDecisionRecord[]>;
+/**
+ * {@link loadTsDecisions} with what did not take effect (round 12, 12.1): a
+ * decision file that failed to import (it used to be swallowed to `[]`), and
+ * every declared decision the loader refused — invalid, or a duplicate id.
+ * `rejected` also carries every Markdown record (`sharkcraft/decisions/*.md`,
+ * `docs/adr/*.md`) whose frontmatter THE parser cannot read as declared (round
+ * 15 follow-up, F6) — the same scan {@link listDecisions} reads, so a record is
+ * either listed or reported here, never neither.
+ */
+export declare function loadTsDecisionsWithIssues(inspection: ISharkcraftInspection): Promise<{
+    readonly decisions: readonly IDecisionRecord[];
+    readonly issues: readonly IContributionFileIssue[];
+    readonly rejected: readonly IRejectedEntry[];
+}>;
 export declare function getDecision(inspection: ISharkcraftInspection, id: string): IDecisionRecord | undefined;
 export declare function previewDecisionDraft(input: IDecisionDraftInput): string;
 export declare function decisionDraftTargetPath(projectRoot: string, id: string): string;

package/dist/decision-records.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"decision-records.d.ts","sourceRoot":"","sources":["../src/decision-records.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAGvE,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAE/D,oBAAY,cAAc;IACxB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,UAAU,eAAe;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,OAAO,sBAAsB,CAAC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AA8CD,wBAAgB,aAAa,CAAC,UAAU,EAAE,qBAAqB,GAAG,SAAS,eAAe,EAAE,CA2D3F;AA0BD;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,eAAe,EAAE,CAAC,CAuCrC;AAaD,wBAAgB,WAAW,CAAC,UAAU,EAAE,qBAAqB,EAAE,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAEtG;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CA0CvE;AAED,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAE/E"}
+{"version":3,"file":"decision-records.d.ts","sourceRoot":"","sources":["../src/decision-records.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EASL,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAE7E,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAE/D,oBAAY,cAAc;IACxB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,QAAQ,aAAa;IACrB,UAAU,eAAe;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,OAAO,sBAAsB,CAAC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,cAAc,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,+FAA+F;IAC/F,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAyKD,wBAAgB,aAAa,CAAC,UAAU,EAAE,qBAAqB,GAAG,SAAS,eAAe,EAAE,CAmB3F;AA0BD;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,CAIxE;AAED;;;;GAIG;AACH,wBAAsB,eAAe,CACnC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,eAAe,EAAE,CAAC,CAErC;AAED;;;;;;;;GAQG;AACH,wBAAsB,yBAAyB,CAAC,UAAU,EAAE,qBAAqB,GAAG,OAAO,CAAC;IAC1F,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;CAC9C,CAAC,CAuED;AAaD,wBAAgB,WAAW,CAAC,UAAU,EAAE,qBAAqB,EAAE,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAEtG;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CA8CvE;AAED,wBAAgB,uBAAuB,CAAC,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,MAAM,CAE/E"}