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

package/dist/reference-registry.js

@@ -0,0 +1,239 @@
+import { listConstructs, warmConstructCache } from "./construct-registry.js";
+import { listConventions } from "./convention-registry.js";
+import { loadAllContractTemplates } from "./contract-template-registry.js";
+import { listDecisions } from "./decision-records.js";
+import { HELPERS } from "./helper-registry.js";
+import { listMigrationProfilesFromPacks } from "./migration-profile-registry.js";
+import { listPackHelpers } from "./pack-helper-registry.js";
+import { listPlaybooks, warmPlaybookCache } from "./playbook-registry.js";
+import { listPolicyIds, warmPolicyCache } from "./policy-registry.js";
+import { listRegistrationHints } from "./registration-hint-registry.js";
+import { loadScaffoldPatternsFromInspection } from "./scaffold-patterns.js";
+import { listTaskRoutingHints } from "./task-routing-hint-registry.js";
+/**
+ * Every kind that resolves against a registry of ids.
+ *
+ * `command` is deliberately absent: the catalog lives in the CLI package,
+ * ABOVE this layer, so it resolves by shape instead of by list. `file` /
+ * `directory` / `symbol` / `package` / `url` are not id registries at all.
+ */
+export const ALL_ID_REFERENCE_KINDS = [
+    'template',
+    'pipeline',
+    'playbook',
+    'policy',
+    'construct',
+    'helper',
+    'boundary-rule',
+    'path-convention',
+    'knowledge',
+    'rule',
+    'decision',
+    'convention',
+    'contract-template',
+    'migration-profile',
+    'routing-hint',
+    'registration-hint',
+    'scaffold-pattern',
+];
+function listIds(reg) {
+    if (!reg || typeof reg.list !== 'function')
+        return [];
+    return (reg.list() ?? []).map((r) => r.id);
+}
+/**
+ * Kinds whose ids only exist after an ASYNC load.
+ *
+ * The resolver is synchronous — a doc linter walks lines, and a lookup set is
+ * built once — so these are read from a snapshot that {@link
+ * warmReferenceRegistries} fills. An unwarmed snapshot is empty, which reads as
+ * "no such id" for every id; {@link emptyReferenceKinds} is the safety net for
+ * when a caller forgets.
+ */
+const CACHE_BACKED_KINDS = [
+    'playbook',
+    'construct',
+    'policy',
+    'helper',
+    'convention',
+    'contract-template',
+    'migration-profile',
+    'routing-hint',
+    'registration-hint',
+    'scaffold-pattern',
+];
+/** Snapshot of the async-loaded kinds, per project root. */
+const ASYNC_IDS = new Map();
+async function safeIds(load) {
+    try {
+        return await load();
+    }
+    catch {
+        // A registry that will not load is its OWN surface's problem to report.
+        // Resolution must degrade to "no candidates", never to a crash — but never
+        // silently to "your id is wrong" either, which is what the empty-kind guard
+        // is for.
+        return [];
+    }
+}
+/**
+ * Populate the snapshot the synchronous accessors read.
+ *
+ * Call this once, from the async layer that owns the inspection, before
+ * resolving anything. Without it a correct playbook — or convention, or
+ * scaffold pattern — resolves to nothing, which is exactly how a correct id got
+ * reported as an error twice.
+ */
+export async function warmReferenceRegistries(inspection) {
+    await Promise.all([
+        warmPlaybookCache(inspection),
+        warmConstructCache(inspection),
+        warmPolicyCache(inspection),
+    ]);
+    const [packHelpers, conventions, contractTemplates, migrationProfiles, routingHints, registrationHints, scaffoldPatterns,] = await Promise.all([
+        safeIds(async () => (await listPackHelpers(inspection)).map((e) => e.helper.id)),
+        safeIds(async () => (await listConventions(inspection)).map((e) => e.convention.id)),
+        safeIds(async () => (await loadAllContractTemplates(inspection)).entries.map((e) => e.template.id)),
+        safeIds(async () => (await listMigrationProfilesFromPacks(inspection)).map((p) => p.id)),
+        safeIds(async () => (await listTaskRoutingHints(inspection)).map((e) => e.hint.id)),
+        safeIds(async () => (await listRegistrationHints(inspection)).map((e) => e.hint.id)),
+        safeIds(async () => (await loadScaffoldPatternsFromInspection(inspection)).patterns.map((e) => e.pattern.id)),
+    ]);
+    ASYNC_IDS.set(inspection.projectRoot, new Map([
+        // Built-in helpers need no load; pack-contributed ones do. The doc
+        // resolver used to see only the built-ins (an empty frozen array) while
+        // the doctor saw both — a live divergence between the two paths.
+        ['helper', [...HELPERS.map((h) => h.id), ...packHelpers]],
+        ['convention', conventions],
+        ['contract-template', contractTemplates],
+        ['migration-profile', migrationProfiles],
+        ['routing-hint', routingHints],
+        ['registration-hint', registrationHints],
+        ['scaffold-pattern', scaffoldPatterns],
+    ]));
+}
+function asyncIds(inspection, kind) {
+    return ASYNC_IDS.get(inspection.projectRoot)?.get(kind) ?? [];
+}
+/**
+ * Every registered id of `kind`, for existence checks and for suggesting what
+ * an unresolved token might have meant.
+ *
+ * **The invariant:** each kind reads the SAME source its `list` verb reads.
+ * `template` goes through `templateRegistry` because that is what `shrk
+ * templates list` prints — not the `templates` array it happens to be built
+ * from today, which would agree only until someone filters one of them.
+ */
+export function referenceIdsFor(inspection, kind) {
+    switch (kind) {
+        case 'template':
+            return listIds(inspection.templateRegistry);
+        case 'pipeline':
+            return listIds(inspection.pipelineRegistry);
+        case 'rule':
+            return listIds(inspection.ruleService);
+        case 'boundary-rule':
+            return listIds(inspection.boundaryRegistry);
+        case 'path-convention':
+            return listIds(inspection.pathService);
+        case 'knowledge':
+            return inspection.knowledgeEntries.map((k) => k.id);
+        case 'decision':
+            try {
+                return listDecisions(inspection).map((d) => d.id);
+            }
+            catch {
+                return [];
+            }
+        case 'playbook':
+            return listPlaybooks(inspection).map((p) => p.id);
+        case 'construct':
+            return listConstructs(inspection).map((c) => c.id);
+        case 'policy':
+            // Declarations only — `evaluatePolicy` is the one that RUNS them.
+            return listPolicyIds(inspection);
+        case 'helper':
+        case 'convention':
+        case 'contract-template':
+        case 'migration-profile':
+        case 'routing-hint':
+        case 'registration-hint':
+        case 'scaffold-pattern':
+            return asyncIds(inspection, kind);
+        case 'command':
+            // The command catalog lives in the CLI package, ABOVE this layer, so it
+            // cannot be imported here. `referenceIdExists` keeps the permissive
+            // shape check instead of pretending to a list it cannot see.
+            return [];
+        default:
+            // `file` / `directory` / `symbol` / `package` / `url` are not id
+            // registries; they resolve against the filesystem or not at all.
+            return [];
+    }
+}
+/**
+ * Kinds among `kinds` whose registry is EMPTY in this repo.
+ *
+ * This is the generalisation of the bug that prompted it: resolving against an
+ * empty registry cannot succeed, so every id checked against it is reported
+ * wrong — a gate confidently flagging CORRECT usage, which is the fastest way
+ * to get a gate switched off. Emptiness is repo-dependent (a project may simply
+ * have no playbooks), so it cannot be a config-time error; the caller surfaces
+ * it as a loud refusal at run time instead.
+ */
+export function emptyReferenceKinds(inspection, kinds) {
+    return kinds.filter((kind) => kind !== 'command' && referenceIdsFor(inspection, kind).length === 0);
+}
+/** True when `kind`'s ids come from an async-populated cache. */
+export function isCacheBackedKind(kind) {
+    return CACHE_BACKED_KINDS.includes(kind);
+}
+/**
+ * Whether `id` is registered under `kind`.
+ *
+ * `command` keeps its historical permissiveness: the catalog is not always
+ * populated, and a repo citing `shrk gen …` should not be told its own CLI
+ * does not exist because an optional catalog was absent.
+ */
+export function referenceIdExists(inspection, kind, id) {
+    if (kind === 'command') {
+        const catalog = inspection.commandCatalog;
+        if (Array.isArray(catalog) && catalog.some((c) => c.id === id))
+            return true;
+        return id.startsWith('shrk ') || id.startsWith('bun ');
+    }
+    return referenceIdsFor(inspection, kind).includes(id);
+}
+/**
+ * The union of candidate ids across `kinds`, deduped and sorted.
+ *
+ * A doc token is checked against several registries at once (a `nge.foo` might
+ * be a template OR a playbook), so the suggester needs one pool rather than
+ * per-kind lists that would each propose their own nearest miss.
+ */
+export function referenceIdPool(inspection, kinds) {
+    const pool = new Set();
+    for (const kind of kinds) {
+        for (const id of referenceIdsFor(inspection, kind))
+            pool.add(id);
+    }
+    return [...pool].sort();
+}
+/**
+ * Whether `id` is registered under ANY kind.
+ *
+ * For cross-references that do not name a kind — a search-tuning entry boosts
+ * "some id", a decision record relates to "some id". That union used to be
+ * hand-written as a chain of `lookups.x.has(id) || lookups.y.has(id) || …`,
+ * which is a list that silently goes stale: it omitted policies, decisions and
+ * scaffold patterns, so seven of shrk's own correctly-registered ids were
+ * reported unknown. Reading the kind list means adding a kind widens the union
+ * automatically.
+ */
+export function referenceIdExistsInAnyKind(inspection, id) {
+    return ALL_ID_REFERENCE_KINDS.some((kind) => referenceIdsFor(inspection, kind).includes(id));
+}
+/** The kind that accepted `id`, or `undefined` — for "resolved as what?" output. */
+export function referenceKindOf(inspection, id) {
+    return ALL_ID_REFERENCE_KINDS.find((kind) => referenceIdsFor(inspection, kind).includes(id));
+}

package/dist/resolve-project-config.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"resolve-project-config.d.ts","sourceRoot":"","sources":["../src/resolve-project-config.ts"],"names":[],"mappings":"AAwBA,OAAO,EAGL,KAAK,QAAQ,EAQb,KAAK,MAAM,EACZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EASL,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAG1B;;;GAGG;AACH,MAAM,WAAW,sBAAuB,SAAQ,YAAY;IAC1D;;;;;;OAMG;IACH,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAiID;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,MAAM,CAAC,sBAAsB,EAAE,QAAQ,CAAC,CAAC,CAqGnD"}
+{"version":3,"file":"resolve-project-config.d.ts","sourceRoot":"","sources":["../src/resolve-project-config.ts"],"names":[],"mappings":"AAwBA,OAAO,EAIL,KAAK,QAAQ,EASb,KAAK,MAAM,EACZ,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAUL,KAAK,YAAY,EAClB,MAAM,kBAAkB,CAAC;AAG1B;;;GAGG;AACH,MAAM,WAAW,sBAAuB,SAAQ,YAAY;IAC1D;;;;;;OAMG;IACH,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAkID;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,GAAG,EAAE,MAAM,GACV,OAAO,CAAC,MAAM,CAAC,sBAAsB,EAAE,QAAQ,CAAC,CAAC,CAuInD"}

package/dist/resolve-project-config.js

@@ -22,8 +22,8 @@
  */
 import { existsSync } from 'node:fs';
 import * as nodePath from 'node:path';
-import { importModuleViaLoader, ok, } from '@shrkcrft/core';
-import { BaselineRuleSchema, GeneratedArtifactRuleSchema, loadProjectConfig, PolicyRuleSchema, RegistrationIdiomSchema, RegistryDeclarationSchema, ReusePrimitiveSchema, WiringRuleSchema, } from '@shrkcrft/config';
+import { importModuleViaLoader, ok, resolvePlaneExtractors, } from '@shrkcrft/core';
+import { BaselineRuleSchema, DocReferenceRuleSchema, GeneratedArtifactRuleSchema, loadProjectConfig, PolicyRuleSchema, RegistrationIdiomSchema, RegistryDeclarationSchema, ReusePrimitiveSchema, WiringRuleSchema, } from '@shrkcrft/config';
 import { discoverPacks } from '@shrkcrft/packs';
 /**
  * Generic per-plane load + validate + merge. Seeds the merged map from the
@@ -145,17 +145,35 @@ export async function resolveProjectConfig(cwd) {
     const generatedArtifacts = await mergePlane(base.config.generatedArtifacts ?? [], gatherPackContribs(validPacks, 'generatedArtifactFiles'), GeneratedArtifactRuleSchema, (r) => r.id, 'generatedArtifact', diagnostics, (item, packName) => item.regen !== undefined
         ? `pack ${packName}: generatedArtifact "${item.id}" declares a \`regen\` command — pack-contributed commands are never auto-run — skipped`
         : undefined);
+    // No shell, no writes — a pack may contribute a prose-reference rule freely,
+    // unlike the two shell-executing planes above.
+    const docReferences = await mergePlane(base.config.docReferences ?? [], gatherPackContribs(validPacks, 'docReferenceFiles'), DocReferenceRuleSchema, (r) => r.id, 'docReference', diagnostics);
     const reusePrimitives = await mergePlane(base.config.reusePrimitives ?? [], gatherPackContribs(validPacks, 'reusePrimitiveFiles'), ReusePrimitiveSchema, (r) => r.symbol, 'reusePrimitive', diagnostics);
+    // Pack-contributed elements have NOT been through the loader's `$use`
+    // resolution (that ran on the local config only), so resolve the merged
+    // planes here. A pack rule referencing an extractor this repo does not
+    // declare is DROPPED with a diagnostic — never kept half-resolved, which
+    // would read as "a source with no files" and match nothing, i.e. a silent
+    // pass. Local rules are already resolved, so every error found here belongs
+    // to a pack element by construction.
+    const resolvedPlanes = resolvePlaneExtractors({ wiringRules, registries, registrationGraph, baselines }, base.config.extractors);
+    const dropped = new Set();
+    for (const e of resolvedPlanes.errors) {
+        dropped.add(e.path.slice(0, e.path.indexOf(']') + 1));
+        diagnostics.push(`${e.path}: ${e.message} — rule skipped`);
+    }
+    const keep = (items, plane, keyOf) => dropped.size === 0 ? items : items.filter((i) => !dropped.has(`${plane}[${keyOf(i)}]`));
     return ok({
         ...base,
         config: {
             ...base.config,
-            wiringRules,
-            registries,
-            registrationGraph,
+            wiringRules: keep(resolvedPlanes.wiringRules ?? wiringRules, 'wiringRules', (r) => r.id),
+            registries: keep(resolvedPlanes.registries ?? registries, 'registries', (r) => r.name),
+            registrationGraph: keep(resolvedPlanes.registrationGraph ?? registrationGraph, 'registrationGraph', (r) => r.name),
             policyRules,
-            baselines,
+            baselines: keep(resolvedPlanes.baselines ?? baselines, 'baselines', (r) => r.id),
             generatedArtifacts,
+            docReferences,
             reusePrimitives,
         },
         planeDiagnostics: diagnostics,

package/dist/self-config-doctor-v2.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"self-config-doctor-v2.d.ts","sourceRoot":"","sources":["../src/self-config-doctor-v2.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,4BAA4B,qCAAqC,CAAC;AAE/E,oBAAY,oBAAoB;IAC9B,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,KAAK,UAAU;CAChB;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB,WAAW,GACX,SAAS,GACT,QAAQ,GACR,UAAU,GACV,UAAU,GACV,UAAU,GACV,QAAQ,GACR,MAAM,GACN,MAAM,GACN,YAAY,GACZ,mBAAmB,GACnB,cAAc,GACd,YAAY,GACZ,UAAU,GACV,SAAS,GACT,mBAAmB,GACnB,mBAAmB,GACnB,MAAM,GACN,QAAQ,GACR,MAAM,GACN,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,YAAY,GACZ,SAAS,GACT,WAAW,GACX,UAAU,GACV,UAAU,GACV,WAAW,GACX,OAAO,GACP,WAAW,GACX,YAAY,GACZ,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;CAChD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,OAAO,4BAA4B,CAAC;IACrD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;QACxB,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7C,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/C,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KAChD,CAAC,CAAC;IACH,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,UAAU,GAAG,QAAQ,CAAC;IAC/C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAwqBD,wBAAsB,6BAA6B,CACjD,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,yBAAyB,CAAC,CAyCpC;AAsBD,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,yBAAyB,GAAG,MAAM,CA+BtF;AAED,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,yBAAyB,GAChC,MAAM,CAqBR"}
+{"version":3,"file":"self-config-doctor-v2.d.ts","sourceRoot":"","sources":["../src/self-config-doctor-v2.ts"],"names":[],"mappings":"AA8BA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,4BAA4B,qCAAqC,CAAC;AAE/E,oBAAY,oBAAoB;IAC9B,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,KAAK,UAAU;CAChB;AAED;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB,WAAW,GACX,SAAS,GACT,QAAQ,GACR,UAAU,GACV,UAAU,GACV,UAAU,GACV,QAAQ,GACR,MAAM,GACN,MAAM,GACN,YAAY,GACZ,mBAAmB,GACnB,cAAc,GACd,YAAY,GACZ,UAAU,GACV,SAAS,GACT,mBAAmB,GACnB,mBAAmB,GACnB,MAAM,GACN,QAAQ,GACR,MAAM,GACN,SAAS,CAAC;AAEd;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B,YAAY,GACZ,SAAS,GACT,WAAW,GACX,UAAU,GACV,UAAU,GACV,WAAW,GACX,OAAO,GACP,WAAW,GACX,YAAY,GACZ,SAAS,CAAC;AAEd,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;CAChD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,OAAO,4BAA4B,CAAC;IACrD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;QACxB,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,MAAM,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC7C,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC/C,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;KAChD,CAAC,CAAC;IACH,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,UAAU,GAAG,QAAQ,CAAC;IAC/C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAymBD,wBAAsB,6BAA6B,CACjD,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,yBAAyB,CAAC,CAyCpC;AAsBD,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,yBAAyB,GAAG,MAAM,CA+BtF;AAED,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,yBAAyB,GAChC,MAAM,CAqBR"}

package/dist/self-config-doctor-v2.js

@@ -17,14 +17,10 @@
  */
 import { existsSync } from 'node:fs';
 import * as nodePath from 'node:path';
-import { listConventions } from "./convention-registry.js";
-import { loadAllContractTemplates } from "./contract-template-registry.js";
-import { listMigrationProfilesFromPacks } from "./migration-profile-registry.js";
-import { listPackHelpers } from "./pack-helper-registry.js";
-import { HELPERS } from "./helper-registry.js";
 import { listTaskRoutingHints } from "./task-routing-hint-registry.js";
 import { listRegistrationHints } from "./registration-hint-registry.js";
 import { listDecisions } from "./decision-records.js";
+import { referenceIdExistsInAnyKind, referenceIdsFor, warmReferenceRegistries, } from "./reference-registry.js";
 import { listPlaybooks } from "./playbook-registry.js";
 import { buildPackContributionsInventory } from "./pack-contributions-inventory.js";
 export const SELF_CONFIG_DOCTOR_V2_SCHEMA = 'sharkcraft.self-config-doctor/v2';
@@ -35,78 +31,38 @@ export var SelfConfigSeverityV2;
     SelfConfigSeverityV2["Error"] = "error";
 })(SelfConfigSeverityV2 || (SelfConfigSeverityV2 = {}));
 async function buildLookupsV2(inspection) {
-    const knowledge = new Set(inspection.knowledgeEntries.map((k) => k.id));
-    const rules = new Set((inspection.ruleService?.list?.() ?? []).map((r) => r.id));
-    const paths = new Set((inspection.pathService?.list?.() ?? []).map((p) => p.id));
-    const templates = new Set(inspection.templateRegistry?.list?.().map((t) => t.id) ?? []);
-    const pipelines = new Set(inspection.pipelineRegistry?.list?.().map((p) => p.id) ?? []);
-    const conventions = new Set((await listConventions(inspection)).map((e) => e.convention.id));
-    const contractTemplatesPair = await loadAllContractTemplates(inspection);
-    const contractTemplates = new Set(contractTemplatesPair.entries.map((e) => e.template.id));
-    const migrationProfiles = new Set((await listMigrationProfilesFromPacks(inspection)).map((p) => p.id));
-    const helpers = new Set([
-        ...HELPERS.map((h) => h.id),
-        ...(await listPackHelpers(inspection)).map((e) => e.helper.id),
-    ]);
-    const routingHints = new Set((await listTaskRoutingHints(inspection)).map((e) => e.hint.id));
-    const registrationHints = new Set((await listRegistrationHints(inspection)).map((e) => e.hint.id));
-    let playbooks;
-    try {
-        const pb = await listPlaybooks(inspection);
-        playbooks = new Set(pb.map((p) => p.id));
-    }
-    catch {
-        playbooks = new Set();
-    }
-    // Policies surface through the pack contributions inventory; the policy
-    // engine itself runs side-effects we want to avoid here.
-    const policies = new Set();
-    try {
-        const inv = buildPackContributionsInventory(inspection);
-        for (const entry of inv.entriesByKind['policy'] ?? [])
-            policies.add(entry.id);
-    }
-    catch {
-        // ignore
-    }
-    const decisions = new Set();
-    try {
-        for (const d of listDecisions(inspection))
-            decisions.add(d.id);
-    }
-    catch {
-        // ignore
-    }
-    // Commands & MCP tools — taken from the catalog / repository commands
-    // surface. Best-effort; if registries are absent the sets stay empty and
-    // the corresponding checks degrade to info-level.
-    const commands = new Set();
-    const mcpTools = new Set();
-    try {
-        const repoCmds = inspection.repositoryCommands;
-        for (const c of repoCmds ?? [])
-            commands.add(c.id);
-    }
-    catch {
-        // ignore
-    }
+    // Every set is a projection of the SHARED reference registry — the same
+    // module the prose linter and the structured-`references[]` validator use.
+    //
+    // These sets used to be built here from their own sources, and the doc claim
+    // "there is one definition of does-this-id-exist, not two" was true only by
+    // coincidence. It was not always true: `policies` came from the pack
+    // contributions inventory alone, so every LOCALLY declared policy read as
+    // unknown; `scaffoldPatterns` had no set at all; `commands` read a
+    // `repositoryCommands` property nothing assigns. Seven of shrk's own
+    // correctly-registered ids were reported missing.
+    await warmReferenceRegistries(inspection);
+    const ids = (kind) => new Set(referenceIdsFor(inspection, kind));
     return {
-        knowledge,
-        rules,
-        paths,
-        templates,
-        pipelines,
-        policies,
-        playbooks,
-        conventions,
-        contractTemplates,
-        migrationProfiles,
-        helpers,
-        routingHints,
-        registrationHints,
-        decisions,
-        commands,
-        mcpTools,
+        knowledge: ids('knowledge'),
+        rules: ids('rule'),
+        paths: ids('path-convention'),
+        templates: ids('template'),
+        pipelines: ids('pipeline'),
+        policies: ids('policy'),
+        playbooks: ids('playbook'),
+        conventions: ids('convention'),
+        contractTemplates: ids('contract-template'),
+        migrationProfiles: ids('migration-profile'),
+        helpers: ids('helper'),
+        routingHints: ids('routing-hint'),
+        registrationHints: ids('registration-hint'),
+        decisions: ids('decision'),
+        scaffoldPatterns: ids('scaffold-pattern'),
+        // The catalog lives in the CLI package, above this layer. `command`
+        // resolves by SHAPE in the shared registry rather than by a list this
+        // layer cannot see.
+        commands: new Set(),
     };
 }
 function findingId(parts) {
@@ -169,16 +125,11 @@ async function checkSearchTuning(inspection, lookups, findings) {
             if (!idMap)
                 continue;
             for (const targetId of Object.keys(idMap)) {
-                const found = lookups.knowledge.has(targetId) ||
-                    lookups.rules.has(targetId) ||
-                    lookups.templates.has(targetId) ||
-                    lookups.pipelines.has(targetId) ||
-                    lookups.contractTemplates.has(targetId) ||
-                    lookups.conventions.has(targetId) ||
-                    lookups.playbooks.has(targetId) ||
-                    lookups.helpers.has(targetId) ||
-                    lookups.commands.has(targetId);
-                if (found)
+                // Not a hand-maintained chain of `lookups.x.has(...)`: that list
+                // silently omitted policies, decisions and scaffold patterns, so ids
+                // that WERE registered got reported as unknown. Adding a kind to the
+                // registry now widens this automatically.
+                if (referenceIdExistsInAnyKind(inspection, targetId))
                     continue;
                 pushFinding(findings, {
                     severity: SelfConfigSeverityV2.Warning,

package/dist/self-config-doctor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"self-config-doctor.d.ts","sourceRoot":"","sources":["../src/self-config-doctor.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,yBAAyB,qCAAqC,CAAC;AAE5E,oBAAY,kBAAkB;IAC5B,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,OAAO,yBAAyB,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,UAAU,GAAG,QAAQ,CAAC;IAC/C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,iCAAiC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACvD;AA0WD,wBAAsB,2BAA2B,CAC/C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,uBAAuB,CAAC,CAsClC;AAED,wBAAsB,oBAAoB,CACxC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,gBAAgB,CAAC,CAuC3B;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CAyBlF;AAED,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CAoBtF"}
+{"version":3,"file":"self-config-doctor.d.ts","sourceRoot":"","sources":["../src/self-config-doctor.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAOvE,eAAO,MAAM,yBAAyB,qCAAqC,CAAC;AAE5E,oBAAY,kBAAkB;IAC5B,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,MAAM,EAAE,OAAO,yBAAyB,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,kBAAkB,EAAE,CAAC;IACjD,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,IAAI,GAAG,UAAU,GAAG,QAAQ,CAAC;IAC/C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1C;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,oBAAoB,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,iCAAiC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAChD,QAAQ,CAAC,KAAK,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,SAAS,oBAAoB,EAAE,CAAC;CACvD;AA2TD,wBAAsB,2BAA2B,CAC/C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,uBAAuB,CAAC,CAsClC;AAED,wBAAsB,oBAAoB,CACxC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,gBAAgB,CAAC,CAuC3B;AAED,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CAyBlF;AAED,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,uBAAuB,GAAG,MAAM,CAoBtF"}

package/dist/self-config-doctor.js

@@ -13,12 +13,8 @@
 import { existsSync } from 'node:fs';
 import * as nodePath from 'node:path';
 import { buildPackContributionsInventory } from "./pack-contributions-inventory.js";
-import { listConventions } from "./convention-registry.js";
-import { loadAllContractTemplates } from "./contract-template-registry.js";
-import { listMigrationProfilesFromPacks } from "./migration-profile-registry.js";
-import { listPackHelpers } from "./pack-helper-registry.js";
 import { listTaskRoutingHints } from "./task-routing-hint-registry.js";
-import { listRegistrationHints } from "./registration-hint-registry.js";
+import { referenceIdsFor, warmReferenceRegistries, } from "./reference-registry.js";
 export const SELF_CONFIG_DOCTOR_SCHEMA = 'sharkcraft.self-config-doctor/v1';
 export var SelfConfigSeverity;
 (function (SelfConfigSeverity) {
@@ -26,40 +22,27 @@ export var SelfConfigSeverity;
     SelfConfigSeverity["Warning"] = "warning";
     SelfConfigSeverity["Error"] = "error";
 })(SelfConfigSeverity || (SelfConfigSeverity = {}));
+/**
+ * Every set is a projection of the SHARED reference registry.
+ *
+ * This used to build its own sets from its own sources, and carried eleven more
+ * fields that nothing read — nine of them hardcoded `new Set()`, so any check
+ * that had started using one would have reported every correct id as unknown.
+ * The v2 doctor made exactly that mistake with `policies` and `commands`.
+ */
 async function buildLookups(inspection) {
-    const knowledge = new Set(inspection.knowledgeEntries.map((k) => k.id));
-    const rules = new Set((inspection.ruleService?.list?.() ?? []).map((r) => r.id));
-    const paths = new Set((inspection.pathService?.list?.() ?? []).map((p) => p.id));
-    const templates = new Set(inspection.templateRegistry?.list?.().map((t) => t.id) ?? []);
-    const pipelines = new Set(inspection.pipelineRegistry?.list?.().map((p) => p.id) ?? []);
-    // Convention/profile/contract registries return entries asynchronously.
-    const conventions = new Set((await listConventions(inspection)).map((e) => e.convention.id));
-    const contractTemplatesPair = await loadAllContractTemplates(inspection);
-    const contractTemplates = new Set(contractTemplatesPair.entries.map((e) => e.template.id));
-    const migrationProfiles = new Set((await listMigrationProfilesFromPacks(inspection)).map((p) => p.id));
-    const helpers = new Set((await listPackHelpers(inspection)).map((e) => e.helper.id));
-    const routingHints = new Set((await listTaskRoutingHints(inspection)).map((e) => e.hint.id));
-    const registrationHints = new Set((await listRegistrationHints(inspection)).map((e) => e.hint.id));
+    await warmReferenceRegistries(inspection);
+    const ids = (kind) => new Set(referenceIdsFor(inspection, kind));
     return {
-        knowledge,
-        rules,
-        paths,
-        pathConventions: new Set(), // alias of paths for cross-ref readability
-        templates,
-        pipelines,
-        policies: new Set(),
-        playbooks: new Set(),
-        constructs: new Set(),
-        scaffoldPatterns: new Set(),
-        conventions,
-        contractTemplates,
-        migrationProfiles,
-        helpers,
-        routingHints,
-        registrationHints,
-        commands: new Set(),
-        mcpTools: new Set(),
-        files: new Set(),
+        knowledge: ids('knowledge'),
+        rules: ids('rule'),
+        templates: ids('template'),
+        pipelines: ids('pipeline'),
+        conventions: ids('convention'),
+        contractTemplates: ids('contract-template'),
+        migrationProfiles: ids('migration-profile'),
+        helpers: ids('helper'),
+        registrationHints: ids('registration-hint'),
     };
 }
 function addFinding(out, finding) {

package/dist/sharkcraft-inspector.d.ts

@@ -9,6 +9,7 @@ import { type IPackDiscoveryResult } from '@shrkcrft/packs';
 import { PresetRegistry } from '@shrkcrft/presets';
 import { BoundaryRegistry } from '@shrkcrft/boundaries';
 import { type IDoctorResult } from './doctor-result.js';
+import { type IGraphDivergence } from './code-intelligence-doctor.js';
 import { type ILoaderDiagnostic } from './loader-diagnostics.js';
 /**
  * Find SharkCraft packs that live IN the repo but are not discovered (i.e.
@@ -83,5 +84,16 @@ export interface InspectOptions {
     onLoaderDiagnostic?: (d: ILoaderDiagnostic) => void;
 }
 export declare function inspectSharkcraft(options?: InspectOptions): Promise<ISharkcraftInspection>;
-export declare function runDoctor(inspection: ISharkcraftInspection): IDoctorResult;
+/** Inputs `runDoctor` cannot compute from this layer. */
+export interface IRunDoctorOptions {
+    /**
+     * Working-tree divergence of the graph index, from `@shrkcrft/graph`'s
+     * `detectGraphFreshness`. Callers above the graph layer (cli, mcp-server)
+     * pass it so the code-intelligence checks report a divergence-checked
+     * verdict; without it those checks say "not verified" rather than guessing
+     * freshness from a timestamp.
+     */
+    graphDivergence?: IGraphDivergence;
+}
+export declare function runDoctor(inspection: ISharkcraftInspection, options?: IRunDoctorOptions): IDoctorResult;
 //# sourceMappingURL=sharkcraft-inspector.d.ts.map

package/dist/sharkcraft-inspector.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sharkcraft-inspector.d.ts","sourceRoot":"","sources":["../src/sharkcraft-inspector.ts"],"names":[],"mappings":"AAOA,OAAO,EAAoB,KAAK,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,EAAE,KAAK,iBAAiB,EAAqB,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,yBAAyB,EAC9B,cAAc,EAIf,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,KAAK,mBAAmB,EAAyB,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACxG,OAAO,EAAE,KAAK,mBAAmB,EAAyB,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACxG,OAAO,EAAiB,KAAK,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAwC,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAA6B,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAqC,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAW3F,OAAO,EAGL,KAAK,iBAAiB,EAEvB,MAAM,yBAAyB,CAAC;AAGjC;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,GACvC,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAqDjD;AAED,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACjC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,gBAAgB,EAAE,yBAAyB,EAAE,CAAC;IAC9C,KAAK,EAAE,oBAAoB,CAAC;IAC5B,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,KAAK,EAAE,cAAc,CAAC;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,WAAW,EAAE,WAAW,CAAC;IACzB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,cAAc,EAAE,cAAc,CAAC;IAC/B,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChD,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,8CAA8C;IAC9C,iBAAiB,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,sDAAsD;IACtD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,4DAA4D;IAC5D,YAAY,EAAE,OAAO,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gDAAgD;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,4EAA4E;IAC5E,kBAAkB,CAAC,EAAE,CAAC,CAAC,EAAE,iBAAiB,KAAK,IAAI,CAAC;CACrD;AAoJD,wBAAsB,iBAAiB,CAAC,OAAO,GAAE,cAAmB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAwZpG;AAED,wBAAgB,SAAS,CAAC,UAAU,EAAE,qBAAqB,GAAG,aAAa,CAiQ1E"}
+{"version":3,"file":"sharkcraft-inspector.d.ts","sourceRoot":"","sources":["../src/sharkcraft-inspector.ts"],"names":[],"mappings":"AAOA,OAAO,EAAoB,KAAK,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,EAAE,KAAK,iBAAiB,EAAqB,MAAM,kBAAkB,CAAC;AAC7E,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,yBAAyB,EAC9B,cAAc,EAIf,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,KAAK,mBAAmB,EAAyB,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACxG,OAAO,EAAE,KAAK,mBAAmB,EAAyB,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACxG,OAAO,EAAiB,KAAK,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAC3E,OAAO,EAAwC,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACzF,OAAO,EAAE,gBAAgB,EAA6B,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAqC,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAE3F,OAAO,EAEL,KAAK,gBAAgB,EACtB,MAAM,+BAA+B,CAAC;AASvC,OAAO,EAGL,KAAK,iBAAiB,EAEvB,MAAM,yBAAyB,CAAC;AAGjC;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,EACnB,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,GACvC,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAqDjD;AAED,MAAM,WAAW,qBAAqB;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACjC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,SAAS,EAAE,mBAAmB,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,gBAAgB,EAAE,yBAAyB,EAAE,CAAC;IAC9C,KAAK,EAAE,oBAAoB,CAAC;IAC5B,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAC/C,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,KAAK,EAAE,cAAc,CAAC;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,WAAW,EAAE,WAAW,CAAC;IACzB,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,cAAc,EAAE,cAAc,CAAC;IAC/B,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAChD,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,8CAA8C;IAC9C,iBAAiB,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,sDAAsD;IACtD,mBAAmB,EAAE,MAAM,CAAC;IAC5B,4DAA4D;IAC5D,YAAY,EAAE,OAAO,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,OAAO,GAAG,MAAM,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,cAAc;IAC7B,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,gDAAgD;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,4EAA4E;IAC5E,kBAAkB,CAAC,EAAE,CAAC,CAAC,EAAE,iBAAiB,KAAK,IAAI,CAAC;CACrD;AAoJD,wBAAsB,iBAAiB,CAAC,OAAO,GAAE,cAAmB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAwZpG;AAED,yDAAyD;AACzD,MAAM,WAAW,iBAAiB;IAChC;;;;;;OAMG;IACH,eAAe,CAAC,EAAE,gBAAgB,CAAC;CACpC;AAED,wBAAgB,SAAS,CACvB,UAAU,EAAE,qBAAqB,EACjC,OAAO,GAAE,iBAAsB,GAC9B,aAAa,CAmQf"}

package/dist/sharkcraft-inspector.js

@@ -13,7 +13,7 @@ import { BUILTIN_PRESETS, loadPresetsFromFile, PresetRegistry } from '@shrkcrft/
 import { BoundaryRegistry, loadBoundaryRulesFromFile } from '@shrkcrft/boundaries';
 import { DoctorSeverity } from "./doctor-result.js";
 import { diagnoseActionHints } from "./action-hint-diagnostics.js";
-import { buildCodeIntelligenceChecks } from "./code-intelligence-doctor.js";
+import { buildCodeIntelligenceChecks, } from "./code-intelligence-doctor.js";
 import { loadSearchTuning } from "./search-tuning-registry.js";
 import { buildDelegateRecipeChecks } from "./delegate-doctor.js";
 import { computeFileFingerprint, createInspectorCache, } from "./inspector-cache.js";
@@ -608,7 +608,7 @@ export async function inspectSharkcraft(options = {}) {
     }
     return inspection;
 }
-export function runDoctor(inspection) {
+export function runDoctor(inspection, options = {}) {
     const checks = [];
     if (!inspection.workspace.hasPackageJson) {
         checks.push({
@@ -825,7 +825,9 @@ export function runDoctor(inspection) {
     // quality-gates, migrations). Each finding reads a stable on-disk
     // state file under `.sharkcraft/` and stays silent when the user has
     // not opted into the relevant feature.
-    for (const c of buildCodeIntelligenceChecks(inspection.projectRoot)) {
+    for (const c of buildCodeIntelligenceChecks(inspection.projectRoot, {
+        ...(options.graphDivergence ? { graphDivergence: options.graphDivergence } : {}),
+    })) {
         checks.push(c);
     }
     // Delegate-worker recipe health: surface any recipe that isn't safely

package/dist/test-runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test-runner.d.ts","sourceRoot":"","sources":["../src/test-runner.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAIvE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,YAAY,EAClB,MAAM,uBAAuB,CAAC;AAK/B;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/B,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9B,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9B,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,sBAAsB;IACrC,oCAAoC;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,wFAAwF;IACxF,gBAAgB,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,eAAe,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IAC9E,mDAAmD;IACnD,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,WAAW,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,+BAA+B;IAC9C,EAAE,EAAE,MAAM,CAAC;IACX,sDAAsD;IACtD,IAAI,EACA,UAAU,GACV,MAAM,GACN,UAAU,GACV,kBAAkB,GAClB,sBAAsB,GACtB,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,WAAW,GACX,SAAS,GACT,WAAW,GACX,kBAAkB,CAAC;IACvB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,wCAAwC;IACxC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,WAAW,CAAC,EAAE,SAAS,+BAA+B,EAAE,CAAC;CAC1D;AAYD;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,YAAY,EAAE,CAAC,CAkBzB;AAED,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAgB/B;AAED,wBAAgB,cAAc,CAC5B,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,YAAY,GACjB,kBAAkB,CA6EpB;AAsBD,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,kBAAkB,EACxB,UAAU,CAAC,EAAE,wBAAwB,GACpC,wBAAwB,CA6Q1B;AAuDD;;;;;GAKG;AACH,wBAAsB,2BAA2B,CAC/C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,wBAAwB,CAAC,CASnC"}
+{"version":3,"file":"test-runner.d.ts","sourceRoot":"","sources":["../src/test-runner.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAIvE,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,YAAY,EAClB,MAAM,uBAAuB,CAAC;AAK/B;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/B,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9B,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAChC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9B,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,sBAAsB;IACrC,oCAAoC;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,wFAAwF;IACxF,gBAAgB,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,eAAe,CAAC,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IAC9E,mDAAmD;IACnD,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,WAAW,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,+BAA+B;IAC9C,EAAE,EAAE,MAAM,CAAC;IACX,sDAAsD;IACtD,IAAI,EACA,UAAU,GACV,MAAM,GACN,UAAU,GACV,kBAAkB,GAClB,sBAAsB,GACtB,QAAQ,GACR,UAAU,GACV,QAAQ,GACR,WAAW,GACX,SAAS,GACT,WAAW,GACX,kBAAkB,CAAC;IACvB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAED,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,YAAY,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,uBAAuB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,2BAA2B,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,wCAAwC;IACxC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,iBAAiB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,uDAAuD;IACvD,oBAAoB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,WAAW,CAAC,EAAE,SAAS,+BAA+B,EAAE,CAAC;CAC1D;AAYD;;GAEG;AACH,wBAAsB,gBAAgB,CACpC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,YAAY,EAAE,CAAC,CAkBzB;AAED,wBAAsB,sBAAsB,CAC1C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,kBAAkB,EAAE,CAAC,CAgB/B;AAED,wBAAgB,cAAc,CAC5B,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,YAAY,GACjB,kBAAkB,CA6EpB;AAsBD,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,kBAAkB,EACxB,UAAU,CAAC,EAAE,wBAAwB,GACpC,wBAAwB,CA6Q1B;AA2CD;;;;;GAKG;AACH,wBAAsB,2BAA2B,CAC/C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,wBAAwB,CAAC,CASnC"}