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

package/dist/impact-analysis.js

@@ -1,7 +1,7 @@
 import { existsSync, readFileSync } from 'node:fs';
 import * as nodePath from 'node:path';
-import { scanImports, loadTsconfigPaths } from '@shrkcrft/boundaries';
-import { AreaKind, buildAreaMap } from "./area-map.js";
+import { boundaryRuleSeverity, scanImports, loadTsconfigPaths } from '@shrkcrft/boundaries';
+import { AreaKind, areaIdOf, buildAreaMap, createAreaClassifier, formatClassificationRate, } from "./area-map.js";
 import { rankAll } from "./task-ranker.js";
 import { loadOwnershipRules, impactFor } from "./ownership.js";
 export const IMPACT_ANALYSIS_SCHEMA = 'sharkcraft.impact-analysis/v2';
@@ -243,16 +243,30 @@ function detectWorkspaces(ctx) {
     }
     return [...out.values()].sort((a, b) => b.fileCount - a.fileCount);
 }
+/**
+ * The areas the touched files are IN: each file goes through the one
+ * classifier and is keyed by `areaIdOf`, exactly as `buildAreaMap` keys its
+ * entries, so `boundaryRisks` finds the same entry by id.
+ *
+ * A prefix match on an entry's `paths` answered a different question.
+ * `paths` holds only the top segment, so with a config pattern for
+ * `libs/<group>/core/**` EVERY `libs/…` file hit the core area and earned a
+ * false `core-area` risk, while `areaCoverage` called the same file
+ * unclassified. A touched file whose area has no map entry yet (a planned file
+ * in a new directory) still reports the area it would be in.
+ */
 function affectedAreaSummary(ctx) {
-    const allTouched = unique([...ctx.files]);
     const out = new Map();
-    for (const a of ctx.areaMap.areas) {
-        const hitCount = allTouched.filter((f) => a.paths.some((p) => f === p || f.startsWith(p + '/') || f.startsWith(p))).length;
-        if (hitCount > 0) {
-            out.set(a.id, { id: a.id, kind: a.kind, fileCount: hitCount });
-        }
+    for (const f of unique([...ctx.files])) {
+        const classification = ctx.classify(f);
+        const id = areaIdOf(classification, f);
+        const hit = out.get(id);
+        if (hit)
+            hit.fileCount += 1;
+        else
+            out.set(id, { id, kind: classification.kind, fileCount: 1 });
     }
-    return [...out.values()].sort((a, b) => b.fileCount - a.fileCount);
+    return [...out.values()].sort((a, b) => b.fileCount - a.fileCount || a.id.localeCompare(b.id));
 }
 function boundaryRisks(ctx, affected) {
     const risks = [];
@@ -272,7 +286,8 @@ function boundaryRisks(ctx, affected) {
             risks.push({
                 ruleId,
                 reason: `Affects area ${a.id}; rule ${ruleId} guards that area.`,
-                severity: (rule.severity ?? 'warning'),
+                // The ENFORCED severity — an unset one is `error` (one authority).
+                severity: boundaryRuleSeverity(rule),
             });
         }
     }
@@ -377,8 +392,11 @@ function affectedPolicies(ctx, affected, boundary) {
 }
 async function ownershipImpactFor(ctx) {
     try {
-        const cfg = ctx.inspection.config;
-        const sources = cfg?.ownership?.sources;
+        // The DECLARED ownership-source key — the one `shrk ownership`, `shrk
+        // owners` and the MCP ownership tools read. The old `ownership.sources`
+        // read named a key the strict schema rejects, so impact silently fell back
+        // to the defaults even when `ownershipFiles` was configured.
+        const sources = ctx.inspection.config?.ownershipFiles;
         const { rules } = await loadOwnershipRules(ctx.inspection.projectRoot, sources);
         if (rules.length === 0)
             return null;
@@ -552,6 +570,9 @@ export async function analyzeImpact(inspection, input) {
     }
     const files = unique([...explicitFiles, ...planTargets, ...specifierTargets]);
     const task = (input.task ?? '').trim() || files.join(' ') || (input.specifier ?? '');
+    // THE classifier — the one buildAreaMap keys its entries by. Affected areas,
+    // `core-area`, boundary risks and `areaCoverage` all answer through it.
+    const classify = createAreaClassifier(inspection.config?.areaMap);
     const ctx = {
         inspection,
         files,
@@ -561,6 +582,7 @@ export async function analyzeImpact(inspection, input) {
         maxDepth,
         limit,
         areaMap,
+        classify,
     };
     const { direct, transitive, paths } = closeDependents(reverse, files, maxDepth);
     const directDependents = direct.slice(0, limit);
@@ -623,7 +645,7 @@ export async function analyzeImpact(inspection, input) {
     const hitsPolicy = files.some((f) => f.includes('policy') || f.includes('policy-engine'));
     const hitsTemplates = templates.length > 0 || pipelines.length > 0;
     const ownershipReview = (ownership?.requiredReviewFiles.length ?? 0) > 0;
-    const { risk, reasons: riskReasons } = classifyRisk({
+    const { risk, reasons: classifiedReasons } = classifyRisk({
         directCount: direct.length,
         transitiveCount: transitive.length,
         boundaryCount: boundaryConcerns.length,
@@ -636,6 +658,28 @@ export async function analyzeImpact(inspection, input) {
         hitsPolicy,
         hitsTemplates,
     });
+    // A derived view inherits its input's coverage and prints it: affected
+    // areas, boundary risks and `core-area` are only as complete as the area
+    // classification. Targets go through the SAME classifier the map uses.
+    const areaCoverage = {
+        classificationRate: areaMap.classificationRate,
+        degraded: areaMap.degraded,
+        unclassifiedTargets: files.filter((f) => classify(f).kind === AreaKind.Unknown),
+    };
+    // It flags, it does not lower the risk: the area-derived signals may be
+    // understated, which is the opposite of reassuring.
+    const riskReasons = areaCoverage.degraded || areaCoverage.unclassifiedTargets.length > 0
+        ? [
+            ...classifiedReasons,
+            {
+                code: 'area-attribution-degraded',
+                message: `Area attribution ${areaCoverage.degraded ? 'degraded' : 'partial'}: ` +
+                    `${formatClassificationRate(areaCoverage.classificationRate)} of the repo classified; ` +
+                    `${areaCoverage.unclassifiedTargets.length}/${files.length} target(s) in no known area — ` +
+                    'core/boundary/area signals may be understated (add areaMap.patterns to sharkcraft.config.ts).',
+            },
+        ]
+        : classifiedReasons;
     const truncations = [];
     if (direct.length > limit) {
         truncations.push({ list: 'directDependents', total: direct.length, shown: limit });
@@ -684,6 +728,7 @@ export async function analyzeImpact(inspection, input) {
         suggestedReviewCommands,
         relatedRules,
         relatedTemplates,
+        areaCoverage,
         risk,
         riskReasons,
         explanation,

package/dist/impact-render.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"impact-render.d.ts","sourceRoot":"","sources":["../src/impact-render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,MAAM,WAAW,oBAAoB;IACnC,kEAAkE;IAClE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,gDAAgD;IAChD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AA6BD,UAAU,SAAS;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED,uEAAuE;AACvE,wBAAgB,eAAe,CAC7B,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAC5C,SAAS,EAAE,CA0Cb;AAiCD,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,oBAAyB,GAC9B,MAAM,CAgER;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,oBAAyB,GAC9B,MAAM,CAyGR;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,oBAAyB,GAC9B,MAAM,CAiIR"}
+{"version":3,"file":"impact-render.d.ts","sourceRoot":"","sources":["../src/impact-render.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAkB5D,MAAM,WAAW,oBAAoB;IACnC,kEAAkE;IAClE,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,gDAAgD;IAChD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AA6BD,UAAU,SAAS;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,SAAS,EAAE,CAAC;CACvB;AAED,uEAAuE;AACvE,wBAAgB,eAAe,CAC7B,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAO,GAC5C,SAAS,EAAE,CA0Cb;AAiCD,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,oBAAyB,GAC9B,MAAM,CAkER;AAED,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,oBAAyB,GAC9B,MAAM,CA8GR;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,eAAe,EACvB,IAAI,GAAE,oBAAyB,GAC9B,MAAM,CAiIR"}

package/dist/impact-render.js

@@ -1,3 +1,17 @@
+import { formatClassificationRate } from "./area-map.js";
+/**
+ * `Area attribution: degraded (…)` — printed whenever the area map behind this
+ * impact view classified too little of the repo, or left a target in no area.
+ * Report only: it changes no exit, it says how far the area signals reach.
+ */
+function areaAttributionLine(impact) {
+    const ac = impact.areaCoverage;
+    if (!ac || (!ac.degraded && ac.unclassifiedTargets.length === 0))
+        return undefined;
+    return (`Area attribution: ${ac.degraded ? 'degraded' : 'partial'} ` +
+        `(${formatClassificationRate(ac.classificationRate)} of repo classified; ` +
+        `${ac.unclassifiedTargets.length}/${impact.normalizedTargets.length} target(s) unclassified)`);
+}
 function riskBadgeTag(risk) {
     switch (risk) {
         case 'low':
@@ -111,6 +125,9 @@ export function renderImpactText(impact, opts = {}) {
         for (const r of impact.riskReasons.slice(0, 6))
             lines.push(`  - ${r.code}: ${r.message}`);
     }
+    const areaLine = areaAttributionLine(impact);
+    if (areaLine)
+        lines.push(areaLine);
     lines.push(`Targets (${impact.normalizedTargets.length}):`);
     for (const f of impact.normalizedTargets.slice(0, 12))
         lines.push(`  • ${f}`);
@@ -197,6 +214,11 @@ export function renderImpactMarkdown(impact, opts = {}) {
         lines.push('_None._');
     for (const r of impact.riskReasons)
         lines.push(`- **${r.code}** — ${r.message}`);
+    const areaLine = areaAttributionLine(impact);
+    if (areaLine) {
+        lines.push('');
+        lines.push(`> ${areaLine}`);
+    }
     lines.push('');
     lines.push(`## Direct dependents (${impact.directDependents.length})`);
     lines.push('');

package/dist/import-hygiene.d.ts

@@ -1,3 +1,4 @@
+import type { IVerdictCoverage } from '@shrkcrft/core';
 export declare const IMPORT_HYGIENE_SCHEMA = "sharkcraft.import-hygiene/v1";
 export declare enum ImportHygieneFindingKind {
     InlineTypeImport = "inline-type-import",
@@ -24,6 +25,18 @@ export interface IImportHygieneReport {
     readonly counts: Readonly<Record<string, number>>;
     readonly verdict: 'ok' | 'warnings' | 'errors';
     readonly nextCommand: string;
+    /**
+     * Source files the check was asked to read — the subject list
+     * (`importHygieneSubjects` for an explicit `files` request, the tree walk
+     * otherwise). Always set by `buildImportHygieneReport`.
+     */
+    readonly filesInScope?: number;
+    /**
+     * In-scope files that could not be read (project-relative). Their imports
+     * were never checked, so a verdict over them is NOT VERIFIED — never "ok".
+     * Always set by `buildImportHygieneReport`.
+     */
+    readonly unread?: readonly string[];
 }
 export interface IImportHygieneOptions {
     /** Restrict scan to a set of relative file paths (e.g. changed files). */
@@ -58,7 +71,23 @@ export interface IAllowlistEntry {
     /** Optional ISO date after which this allowlist entry should be re-evaluated. */
     readonly expiresAt?: string;
 }
+/**
+ * The files of `files` import hygiene actually READS — existing `.ts`/`.tsx`
+ * sources, no declarations, no test fixtures (absolute paths). THE authority
+ * for "did the hygiene check examine anything?": `buildImportHygieneReport`
+ * scans exactly this list, and finish / diff-check count it, so a changeset of
+ * deleted files, `.js` edits or test fixtures can never read as a hygiene pass
+ * over nothing (round 11).
+ */
+export declare function importHygieneSubjects(projectRoot: string, files: readonly string[]): string[];
 export declare function buildImportHygieneReport(projectRoot: string, options?: IImportHygieneOptions): IImportHygieneReport;
+/**
+ * What an import-hygiene run examined, as one coverage record: in-scope files
+ * read of in-scope files, naming each unreadable one. THE fold finish,
+ * `diff-check` (CLI + MCP) and `check imports` settle on, so an unreadable
+ * changed file is NOT VERIFIED (2) on every surface — never a clean pass.
+ */
+export declare function importHygieneCoverage(report: Pick<IImportHygieneReport, 'filesInScope' | 'unread'>, unit?: string): IVerdictCoverage;
 export interface IImportHygieneAllowlistDraft {
     readonly schema: 'sharkcraft.import-hygiene-allowlist/v1';
     readonly comment: string;
@@ -89,5 +118,10 @@ export interface IEmitAllowlistOptions {
  *     patterns require per-case justification.
  */
 export declare function emitImportHygieneAllowlistDraft(report: IImportHygieneReport, options?: IEmitAllowlistOptions): IImportHygieneAllowlistDraft;
-export declare function renderImportHygieneText(report: IImportHygieneReport): string;
+/**
+ * Text rendering. `headline` overrides the header word — the CLI passes the
+ * SETTLED verdict (`NOT VERIFIED`) so a run that examined nothing, or not
+ * everything, never prints `(OK)` above its own NOT VERIFIED line.
+ */
+export declare function renderImportHygieneText(report: IImportHygieneReport, headline?: string): string;
 //# sourceMappingURL=import-hygiene.d.ts.map

package/dist/import-hygiene.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import-hygiene.d.ts","sourceRoot":"","sources":["../src/import-hygiene.ts"],"names":[],"mappings":"AAsBA,eAAO,MAAM,qBAAqB,iCAAiC,CAAC;AAEpE,oBAAY,wBAAwB;IAClC,gBAAgB,uBAAuB;IACvC,cAAc,oBAAoB;IAClC,aAAa,mBAAmB;CACjC;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;AAEjE,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACpD,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,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,qBAAqB;IACpC,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gDAAgD;IAChD,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,0FAA0F;IAC1F,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAC3C;AAED;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,UAAU,CAAC;AAEpD,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,CAKvE;AAED,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,wBAAwB,CAAC;IACzC,mCAAmC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAkPD,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,qBAA0B,GAClC,oBAAoB,CAyCtB;AAID,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,MAAM,EAAE,wCAAwC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,qBAAqB;IACpC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,wBAAwB,GAAG,KAAK,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,oBAAoB,EAC5B,OAAO,GAAE,qBAA0B,GAClC,4BAA4B,CAyB9B;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CAiB5E"}
+{"version":3,"file":"import-hygiene.d.ts","sourceRoot":"","sources":["../src/import-hygiene.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEvD,eAAO,MAAM,qBAAqB,iCAAiC,CAAC;AAEpE,oBAAY,wBAAwB;IAClC,gBAAgB,uBAAuB;IACvC,cAAc,oBAAoB;IAClC,aAAa,mBAAmB;CACjC;AAED,MAAM,MAAM,qBAAqB,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;AAEjE,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACpD,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,WAAW,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,0EAA0E;IAC1E,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,oDAAoD;IACpD,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gDAAgD;IAChD,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;IACjC,0FAA0F;IAC1F,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;CAC3C;AAED;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,UAAU,CAAC;AAEpD,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,OAAO,CAKvE;AAED,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,mDAAmD;IACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,wBAAwB,CAAC;IACzC,mCAAmC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,iFAAiF;IACjF,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAoPD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAK7F;AA4BD,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,qBAA0B,GAClC,oBAAoB,CA0DtB;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,IAAI,CAAC,oBAAoB,EAAE,cAAc,GAAG,QAAQ,CAAC,EAC7D,IAAI,GAAE,MAAuB,GAC5B,gBAAgB,CAelB;AAID,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,MAAM,EAAE,wCAAwC,CAAC;IAC1D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,qBAAqB;IACpC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,wBAAwB,GAAG,KAAK,CAAC;IACjD,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;CACjC;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,oBAAoB,EAC5B,OAAO,GAAE,qBAA0B,GAClC,4BAA4B,CAyB9B;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,oBAAoB,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CAqB/F"}

package/dist/import-hygiene.js

@@ -60,14 +60,23 @@ function loadAllowlist(projectRoot, allowlistFile) {
         return [];
     }
 }
-function listSourceFiles(root) {
+/**
+ * Every `.ts` / `.tsx` source under `root` (absolute paths). A directory the
+ * walk could not LIST (a permission error, not one that vanished) is pushed to
+ * `unlistedDirs`: every source beneath it went unexamined, so the report counts
+ * it as an unread unit of scope — never a directory that held nothing.
+ */
+function listSourceFiles(root, unlistedDirs = []) {
     const out = [];
     function walk(dir) {
         let entries = [];
         try {
             entries = readdirSync(dir, { withFileTypes: true });
         }
-        catch {
+        catch (e) {
+            const code = e.code;
+            if (code !== 'ENOENT' && code !== 'ENOTDIR')
+                unlistedDirs.push(dir);
             return;
         }
         for (const e of entries) {
@@ -87,6 +96,11 @@ function listSourceFiles(root) {
         walk(root);
     return out;
 }
+/**
+ * The findings one file holds, or `null` when it could not be READ — a file
+ * whose imports were never seen is unexamined, never "no findings" (the
+ * `[]` this used to return made an unreadable file read as a clean pass).
+ */
 function scanFile(projectRoot, absFile, allowlist, strictReasons = false) {
     const findings = [];
     let rawContent;
@@ -94,7 +108,7 @@ function scanFile(projectRoot, absFile, allowlist, strictReasons = false) {
         rawContent = readFileSync(absFile, 'utf8');
     }
     catch {
-        return findings;
+        return null;
     }
     const relFile = nodePath.relative(projectRoot, absFile);
     const lines = rawContent.split('\n');
@@ -260,6 +274,35 @@ function stripCommentsPreservingOffsets(source) {
  * drift — a change to a test file no longer spuriously fails an imports gate.
  */
 const EXCLUDED_FROM_HYGIENE = /__tests__|\/__fixtures__/;
+/**
+ * The files of `files` import hygiene actually READS — existing `.ts`/`.tsx`
+ * sources, no declarations, no test fixtures (absolute paths). THE authority
+ * for "did the hygiene check examine anything?": `buildImportHygieneReport`
+ * scans exactly this list, and finish / diff-check count it, so a changeset of
+ * deleted files, `.js` edits or test fixtures can never read as a hygiene pass
+ * over nothing (round 11).
+ */
+export function importHygieneSubjects(projectRoot, files) {
+    return files
+        .map((f) => (nodePath.isAbsolute(f) ? f : nodePath.join(projectRoot, f)))
+        .filter((f) => presentOrUnknowable(f) && /\.(ts|tsx)$/.test(f) && !/\.d\.ts$/.test(f))
+        .filter((f) => !EXCLUDED_FROM_HYGIENE.test(f));
+}
+/**
+ * A changed path that is GONE is out of scope. One whose stat fails for any
+ * other reason (a parent directory that cannot be listed) is kept: its read
+ * then fails and it is reported unread — never dropped as if it were deleted.
+ */
+function presentOrUnknowable(abs) {
+    try {
+        statSync(abs);
+        return true;
+    }
+    catch (e) {
+        const code = e.code;
+        return code !== 'ENOENT' && code !== 'ENOTDIR';
+    }
+}
 function defaultRoots(projectRoot) {
     const pkgsDir = nodePath.join(projectRoot, 'packages');
     if (!existsSync(pkgsDir))
@@ -278,19 +321,36 @@ export function buildImportHygieneReport(projectRoot, options = {}) {
         : loadAllowlist(projectRoot, options.allowlistFile);
     const roots = options.roots ?? defaultRoots(projectRoot);
     let scanned;
-    if (options.files && options.files.length > 0) {
-        scanned = options.files
-            .map((f) => (nodePath.isAbsolute(f) ? f : nodePath.join(projectRoot, f)))
-            .filter((f) => existsSync(f) && /\.(ts|tsx)$/.test(f) && !/\.d\.ts$/.test(f))
-            .filter((f) => !EXCLUDED_FROM_HYGIENE.test(f));
+    const unlistedDirs = [];
+    // An explicit `files` list — EVEN AN EMPTY ONE — is the whole request: `[]`
+    // scans nothing (an empty changeset), `undefined` scans the tree. Treating
+    // `[]` as "no filter" made `check imports --changed-only` over an empty
+    // changeset silently widen to the whole tree (round 11 review).
+    if (options.files !== undefined) {
+        scanned = importHygieneSubjects(projectRoot, options.files);
     }
     else {
-        scanned = roots.flatMap(listSourceFiles).filter((f) => !EXCLUDED_FROM_HYGIENE.test(f));
+        scanned = roots.flatMap((r) => listSourceFiles(r, unlistedDirs)).filter((f) => !EXCLUDED_FROM_HYGIENE.test(f));
     }
     const findings = [];
+    // A directory the walk could not list is one unexamined unit of scope each
+    // (`src/app/sub/`) — counted in `filesInScope` and named in `unread`, so
+    // `importHygieneCoverage` settles it NOT VERIFIED rather than a clean pass.
+    const unlisted = unlistedDirs
+        .map((d) => {
+        const rel = nodePath.relative(projectRoot, d).split(nodePath.sep).join('/');
+        return rel === '' ? './' : `${rel}/`;
+    })
+        .filter((d) => !EXCLUDED_FROM_HYGIENE.test(d));
+    const unread = [...unlisted];
     const strictReasons = options.strictAllowlistReasons === true;
-    for (const f of scanned)
-        findings.push(...scanFile(projectRoot, f, allowlist, strictReasons));
+    for (const f of scanned) {
+        const fileFindings = scanFile(projectRoot, f, allowlist, strictReasons);
+        if (fileFindings === null)
+            unread.push(nodePath.relative(projectRoot, f).split(nodePath.sep).join('/'));
+        else
+            findings.push(...fileFindings);
+    }
     const counts = { total: findings.length };
     for (const f of findings) {
         counts[f.kind] = (counts[f.kind] ?? 0) + 1;
@@ -311,6 +371,30 @@ export function buildImportHygieneReport(projectRoot, options = {}) {
             : verdict === 'warnings'
                 ? 'Review dynamic imports; allowlist legitimate lazy-load boundaries with a reason.'
                 : 'shrk check imports --changed-only',
+        filesInScope: scanned.length + unlisted.length,
+        unread,
+    };
+}
+/**
+ * What an import-hygiene run examined, as one coverage record: in-scope files
+ * read of in-scope files, naming each unreadable one. THE fold finish,
+ * `diff-check` (CLI + MCP) and `check imports` settle on, so an unreadable
+ * changed file is NOT VERIFIED (2) on every surface — never a clean pass.
+ */
+export function importHygieneCoverage(report, unit = 'source files') {
+    const expected = report.filesInScope ?? 0;
+    const unread = report.unread ?? [];
+    return {
+        unit,
+        expected,
+        examined: Math.max(0, expected - unread.length),
+        ...(unread.length > 0
+            ? {
+                unexamined: unread.slice(0, 20),
+                unexaminedTotal: unread.length,
+                reason: 'unreadable, so their imports were never checked',
+            }
+            : {}),
     };
 }
 /**
@@ -355,9 +439,19 @@ export function emitImportHygieneAllowlistDraft(report, options = {}) {
         allow: entries,
     };
 }
-export function renderImportHygieneText(report) {
+/**
+ * Text rendering. `headline` overrides the header word — the CLI passes the
+ * SETTLED verdict (`NOT VERIFIED`) so a run that examined nothing, or not
+ * everything, never prints `(OK)` above its own NOT VERIFIED line.
+ */
+export function renderImportHygieneText(report, headline) {
     const lines = [];
-    lines.push(`=== Import hygiene (${report.verdict.toUpperCase()}) ===`);
+    lines.push(`=== Import hygiene (${headline ?? report.verdict.toUpperCase()}) ===`);
+    if (report.filesInScope !== undefined)
+        lines.push(`  files in scope  ${report.filesInScope}`);
+    if (report.unread && report.unread.length > 0) {
+        lines.push(`  unreadable      ${report.unread.length} (${report.unread.slice(0, 5).join(', ')}${report.unread.length > 5 ? ', …' : ''})`);
+    }
     lines.push(`  scanned files (with findings)  ${new Set(report.findings.map((f) => f.file)).size}`);
     lines.push(`  errors    ${report.counts['error'] ?? 0}`);
     lines.push(`  warnings  ${report.counts['warning'] ?? 0}`);

package/dist/index.d.ts

@@ -1,4 +1,9 @@
 export * from './doctor-result.js';
+export * from './doctor-verdict-kind.js';
+export * from './i-doctor-verdict.js';
+export * from './doctor-verdict.js';
+export * from './quality-gate-status.js';
+export * from './quality-gate-row-status.js';
 export * from './code-intelligence-doctor.js';
 export * from './project-overview.js';
 export * from './sharkcraft-inspector.js';
@@ -8,6 +13,8 @@ export * from './agent-instructions.js';
 export * from './action-hint-diagnostics.js';
 export * from './ai-readiness.js';
 export * from './pack-doctor.js';
+export * from './pack-doctor-verdict.js';
+export * from './i-pack-doctor-verdict.js';
 export * from './task-packet.js';
 export * from './context-tuning.js';
 export * from './resolve-verification-commands.js';
@@ -36,6 +43,8 @@ export * from './adoption-merge-preview.js';
 export * from './adoption-report-renderer.js';
 export * from './adoption-check.js';
 export * from './quality-report.js';
+export * from './quality-gate-examination.js';
+export * from './quality-report-coverage.js';
 export * from './safety-audit.js';
 export * from './onboarding-agent-import.js';
 export * from './monorepo-onboarding.js';
@@ -53,6 +62,17 @@ export * from './dashboard/dashboard-data.js';
 export * from './dashboard/dashboard-knowledge.js';
 export * from './git-helpers.js';
 export * from './boundaries-changed-only.js';
+export * from './run-boundary-check.js';
+export * from './boundary-check-options.model.js';
+export * from './boundary-check-result.model.js';
+export * from './boundary-rule-check.model.js';
+export * from './boundary-rule-set-diff.model.js';
+export * from './boundary-stale-exception-finding.model.js';
+export * from './boundary-configuration-status.js';
+export * from './boundary-configuration-status.model.js';
+export * from './boundary-load-issue.model.js';
+export * from './boundary-rule-sources.js';
+export * from './boundary-rule-invalidation.model.js';
 export * from './helper-registry.js';
 export * from './pack-author-ux.js';
 export * from './pack-test-runner.js';
@@ -100,6 +120,22 @@ export * from './playbook-script.js';
 export * from './search-index.js';
 export * from './search-tuning-registry.js';
 export * from './search-tuning-explain.js';
+export * from './search-document-prefix.js';
+export * from './search-document-id.js';
+export * from './tuning-query-tokens.js';
+export * from './search-tuning-key-status.js';
+export * from './search-tuning-key-resolution.js';
+export * from './search-tuning-key-resolver.js';
+export * from './i-search-tuning-lint-issue.js';
+export * from './i-search-tuning-lint-report.js';
+export * from './search-tuning-lint.js';
+export * from './i-search-tuning-key-probe.js';
+export * from './search-tuning-key-probes.js';
+export * from './i-asset-doctor-flags.js';
+export * from './asset-doctor-proposed-exit.js';
+export * from './i-scaffold-pattern-doctor-report.js';
+export * from './scaffold-pattern-doctor-report.js';
+export * from './settled-unit-states.js';
 export * from './agent-brief.js';
 export * from './bundle-replay.js';
 export * from './bundle-diff.js';
@@ -170,6 +206,34 @@ export * from './ingest-apply.js';
 export * from './changed-scope.js';
 export * from './doctor-suppressions.js';
 export * from './knowledge-stale.js';
+export * from './knowledge-entry-verdict.js';
+export * from './knowledge-unverifiable-reason.js';
+export * from './knowledge-entry-verdict-record.js';
+export * from './knowledge-stale-coverage.js';
+export * from './knowledge-kind-bucket.js';
+export * from './knowledge-reference-kind-bucket.js';
+export * from './knowledge-stale-advisory.js';
+export * from './declared-reference-coverage.js';
+export * from './knowledge-stale-gate.js';
+export * from './knowledge-stale-gate-flags.js';
+export * from './knowledge-stale-gate-input.js';
+export * from './knowledge-stale-gate-result.js';
+export * from './knowledge-stale-gate-rule.js';
+export * from './knowledge-stale-gate-violation.js';
+export * from './knowledge-stale-quality-gate.js';
+export * from './declared-gate-plane-rules.js';
+export * from './i-command-safety.js';
+export * from './knowledge-advisory-code.js';
+export * from './knowledge-aged-entry.js';
+export * from './reference-failure.js';
+export * from './reference-asset-kind.js';
+export * from './reference-subject.js';
+export * from './reference-content-check.js';
+export * from './policy-declaration.js';
+export * from './inspection-discovery.js';
+export * from './knowledge-load-failure.js';
+export * from './symbol-member-kind.js';
+export * from './symbol-member-entry.js';
 export * from './knowledge-rename.js';
 export * from './template-drift.js';
 export * from './barrel-operations.js';
@@ -203,10 +267,36 @@ export * from './acceptance-replay.js';
 export * from './pack-helper-registry.js';
 export * from './task-routing-hint-registry.js';
 export * from './registration-hint-registry.js';
+export * from './routing-recommends-channels.js';
+export * from './registration-hint-discovery-status.js';
 export * from './import-hygiene.js';
 export * from './dev-cycle.js';
 export * from './ci-predict.js';
 export * from './pack-signature-status.js';
+export * from './pack-asset-freshness.js';
+export * from './contribution-load-failures.js';
+export * from './i-contribution-entry-rejection.js';
+export * from './i-contribution-accepted-entry.js';
+export * from './i-contribution-file-issue.js';
+export * from './i-registry-outcomes.js';
+export * from './i-kind-outcomes.js';
+export * from './framework-extractor-outcomes.js';
+export * from './unresolvable-reason.js';
+export * from './i-unresolvable-reference.js';
+export * from './i-unresolvable-reference-scan.js';
+export * from './i-contribution-file-report.js';
+export * from './i-contributions-report.js';
+export * from './contributions-report.js';
+export * from './i-contribution-file-validation.js';
+export * from './validate-contribution-file.js';
+export * from './typecheck-files.js';
+export * from './helper-view.js';
+export * from './helper-catalog.js';
+export * from './pack-helper-plan.js';
+export * from './substitute-placeholders.js';
+export * from './unregistered-exports.js';
+export * from './pack-manifest-reader.js';
+export * from './pack-typecheck.js';
 export * from './rule-drift.js';
 export * from './agent-task-prep.js';
 export * from './uncertainty-report.js';
@@ -232,5 +322,56 @@ export * from './grounding/nx-projects.js';
 export * from './why-file.js';
 export * from './nearest-id.js';
 export * from './reference-registry.js';
+export * from './i-reference-kind-declaration.js';
+export * from './reference-kind-declarations.js';
+export * from './i-workspace-profile-payload.js';
+export * from './probed-id-source.js';
+export * from './i-probed-id-field.js';
+export * from './probed-id-fields.js';
+export * from './command-resolution-status.js';
+export * from './i-command-resolution.js';
+export * from './i-reference-warm-options.js';
+export * from './i-command-resolve-options.js';
+export * from './reference-id-status.js';
 export * from './doc-references.js';
+export * from './declared-cross-references.js';
+export * from './declared-xref-status.js';
+export * from './i-declared-xref-field.js';
+export * from './i-declared-xref-issue.js';
+export * from './i-declared-xref-report.js';
+export * from './i-declared-xref-row.js';
+export * from './split-identifier.js';
+export * from './term-query.js';
+export * from './match-terms.js';
+export * from './query-intent-kind.js';
+export * from './query-intent-result.js';
+export * from './query-intent.js';
+export * from './command-safety-level.js';
+export * from './recommendation-source.js';
+export * from './recommendation-suppression.js';
+export * from './recommendation-candidate.js';
+export * from './recommendation-confidence.js';
+export * from './recommendation-ranking-options.js';
+export * from './ranked-recommendations.js';
+export * from './recommend-recipe.js';
+export * from './recommend-recipes.js';
+export * from './recommendation-ranking.js';
+export * from './playbook-load-issue.js';
+export * from './reuse/reuse-tokenize.js';
+export * from './reuse/score-reuse-name.js';
+export * from './reuse/reuse-match-detail.js';
+export * from './reuse/score-reuse-primitive.js';
+export * from './reuse/reuse-suggestion.js';
+export * from './reuse/rank-reuse-suggestions.js';
+export * from './reuse/reuse-candidate.js';
+export * from './reuse/reuse-ranking.js';
+export * from './reuse/rank-reuse-options.js';
+export * from './reuse/rank-reuse-candidates.js';
+export * from './reuse/reuse-curated-status.js';
+export * from './reuse/reuse-curated-coverage.js';
+export * from './reuse/reuse-symbol-lookup.js';
+export * from './reuse/reuse-curated-resolution.js';
+export * from './reuse/resolve-curated-reuse.js';
+export * from './reuse/reuse-coverage-report.js';
+export * from './reuse/compute-reuse-coverage.js';
 //# sourceMappingURL=index.d.ts.map