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

package/dist/i-registry-outcomes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-registry-outcomes.d.ts","sourceRoot":"","sources":["../src/i-registry-outcomes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AACrF,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAEhF;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,YAAY,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC3D,QAAQ,CAAC,UAAU,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,SAAS,0BAA0B,EAAE,CAAC;CAC1D"}

package/dist/i-registry-outcomes.js

@@ -0,0 +1 @@
+export {};

package/dist/i-scaffold-pattern-doctor-report.d.ts

@@ -0,0 +1,35 @@
+import type { IRejectedEntry, IVerdictCoverage } from '@shrkcrft/core';
+import type { IScaffoldPatternCoverage, IScaffoldPatternIssue, IScaffoldPatternWithSource, scaffoldPatternCoverage } from './scaffold-patterns.js';
+/**
+ * THE scaffold-pattern doctor's findings (`buildScaffoldPatternDoctorReport`)
+ * — what `shrk scaffolds doctor` and MCP `get_scaffold_pattern_doctor` both
+ * render and settle (round 13), so the two cannot disagree.
+ */
+export interface IScaffoldPatternDoctorReport {
+    /** Every accepted pattern (loaded, normalised; a pack's markers stamped). */
+    readonly patterns: readonly IScaffoldPatternWithSource[];
+    /** FILE-level load problems (missing, not an array, failed to import). */
+    readonly loadWarnings: readonly string[];
+    /** Every pattern its loader REFUSED (THE rejection channel) — each counts as an error. */
+    readonly rejected: readonly IRejectedEntry[];
+    /** The definition checks plus the per-unit findings, from THE settles. */
+    readonly issues: readonly IScaffoldPatternIssue[];
+    /** Error issues plus refused entries. */
+    readonly errors: number;
+    readonly warnings: number;
+    /** THE settles over the enumeration (`scaffoldPatternCoverage`): their coverage, unmarked dead list and units. */
+    readonly measured: ReturnType<typeof scaffoldPatternCoverage>;
+    /**
+     * The verdict's coverage: `measured.coverage`, plus — over zero patterns — a
+     * "nothing declared" record (NOT VERIFIED unless the empty acceptance the
+     * caller passed accepts it, printed).
+     */
+    readonly coverage: readonly IVerdictCoverage[];
+    /** Per pattern: files matched after `excludePaths`, and per `matchPaths` glob — for `--json`. */
+    readonly patternCoverage: readonly {
+        readonly patternId: string;
+        readonly files: number;
+        readonly perMatchPath: IScaffoldPatternCoverage['perMatchPath'];
+    }[];
+}
+//# sourceMappingURL=i-scaffold-pattern-doctor-report.d.ts.map

package/dist/i-scaffold-pattern-doctor-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-scaffold-pattern-doctor-report.d.ts","sourceRoot":"","sources":["../src/i-scaffold-pattern-doctor-report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvE,OAAO,KAAK,EACV,wBAAwB,EACxB,qBAAqB,EACrB,0BAA0B,EAC1B,uBAAuB,EACxB,MAAM,wBAAwB,CAAC;AAEhC;;;;GAIG;AACH,MAAM,WAAW,4BAA4B;IAC3C,6EAA6E;IAC7E,QAAQ,CAAC,QAAQ,EAAE,SAAS,0BAA0B,EAAE,CAAC;IACzD,0EAA0E;IAC1E,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,0FAA0F;IAC1F,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,0EAA0E;IAC1E,QAAQ,CAAC,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAC;IAClD,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,kHAAkH;IAClH,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,uBAAuB,CAAC,CAAC;IAC9D;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,iGAAiG;IACjG,QAAQ,CAAC,eAAe,EAAE,SAAS;QACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,YAAY,EAAE,wBAAwB,CAAC,cAAc,CAAC,CAAC;KACjE,EAAE,CAAC;CACL"}

package/dist/i-scaffold-pattern-doctor-report.js

@@ -0,0 +1 @@
+export {};

package/dist/i-search-tuning-key-probe.d.ts

@@ -0,0 +1,30 @@
+import type { IUnitMark } from '@shrkcrft/core';
+import type { ISearchTuningKeyResolution } from './search-tuning-key-resolution.js';
+/**
+ * One search-tuning entry's declaration of one boost key (`boostIds` /
+ * `taskHints[].boostIds`), resolved through THE key resolver — what
+ * `searchTuningKeyProbes` returns. The lint settles and words these; the
+ * self-config doctor's unresolvable-reference scan (and so `packs
+ * contributions`) reads the SAME probes, so the two can never disagree about
+ * whether a contributed boost key could be checked (round 13).
+ */
+export interface ISearchTuningKeyProbe {
+    readonly tuningId: string;
+    /** The boost key exactly as declared — the unit an expectEmpty marker names. */
+    readonly key: string;
+    /** Every id boost map of the entry that declares the key, in order (`boostIds`, `taskHints[<i>].boostIds`). */
+    readonly lists: readonly string[];
+    /** The entry's expectEmpty markers on the key — one per marked map, stamped with the contributing pack. */
+    readonly marks: readonly IUnitMark[];
+    /** THE key resolver's answer (one resolution per distinct key, shared by every entry declaring it). */
+    readonly resolution: ISearchTuningKeyResolution;
+    /** The entry's `appliesToKinds` — set when it excludes the key's document kind. */
+    readonly appliesToKinds?: readonly string[];
+    /** The document kind `appliesToKinds` excludes: the matcher skips the entry, so the boost never fires. */
+    readonly excludedKind?: string;
+    /** Where the entry was declared (project- or pack-relative, as the loader records it). */
+    readonly sourceFile?: string;
+    /** The contributing pack, for a pack entry. */
+    readonly packageName?: string;
+}
+//# sourceMappingURL=i-search-tuning-key-probe.d.ts.map

package/dist/i-search-tuning-key-probe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-search-tuning-key-probe.d.ts","sourceRoot":"","sources":["../src/i-search-tuning-key-probe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAEpF;;;;;;;GAOG;AACH,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gFAAgF;IAChF,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,+GAA+G;IAC/G,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,2GAA2G;IAC3G,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,uGAAuG;IACvG,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;IAChD,mFAAmF;IACnF,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,0GAA0G;IAC1G,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,0FAA0F;IAC1F,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,+CAA+C;IAC/C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B"}

package/dist/i-search-tuning-key-probe.js

@@ -0,0 +1 @@
+export {};

package/dist/i-search-tuning-lint-issue.d.ts

@@ -0,0 +1,61 @@
+import type { ReferenceKind } from './reference-registry.js';
+import type { SearchTuningKeyStatus } from './search-tuning-key-status.js';
+/**
+ * One finding of THE search-tuning lint (`lintSearchTuning`). `search tuning
+ * doctor` prints it as-is; the self-config doctor prefixes the code
+ * (`search-tuning-<code>`) — one lint, two renderers.
+ */
+export interface ISearchTuningLintIssue {
+    readonly severity: 'info' | 'warning' | 'error';
+    /**
+     * `target-missing` · `key-unprefixed` · `key-unknown-kind` ·
+     * `boost-excluded-by-kind` · `duplicate-trigger` · `unreachable-trigger` ·
+     * `unknown-kind` · `unknown-source` · `cap-discards`.
+     */
+    readonly code: string;
+    readonly message: string;
+    /** The tuning entry (for `cap-discards`: the contributing entries, `+`-joined). */
+    readonly tuningId: string;
+    readonly source?: string;
+    /** The boost key, exactly as declared. */
+    readonly key?: string;
+    readonly status?: SearchTuningKeyStatus;
+    /**
+     * The registry the target id resolves (or would resolve) in: set for every
+     * key THE key resolver could place (a resolvable bare key included), and for
+     * a `cap-discards` document whose prefix has an id registry. Absent means
+     * the target is not a registry id (a registry-less document, a declaration)
+     * or resolves nowhere.
+     */
+    readonly referenceKind?: ReferenceKind;
+    /**
+     * The bare id the key names (or the whole key when unprefixed); for a
+     * `cap-discards` document with an id registry, its bare id
+     * (`knowledge:gamma.entry` → `gamma.entry`).
+     */
+    readonly targetId?: string;
+    /** How many boost maps of this entry declare the key — one issue, not one per map. */
+    readonly occurrences?: number;
+    /** The key (or kind) to write instead. */
+    readonly suggestion?: string;
+    /** `duplicate-trigger` / `unreachable-trigger`: the task hint's `whenTokens`. */
+    readonly trigger?: readonly string[];
+    /**
+     * `cap-discards`: the document the global cap clips. When its prefix has an
+     * id registry the issue ALSO carries `referenceKind` + the bare `targetId`,
+     * so the document is named in its registry, never as an unknown id.
+     */
+    readonly docId?: string;
+    /** `cap-discards`: how much of the composed delta the cap discards. */
+    readonly discarded?: number;
+    /**
+     * The declaration a SHAPE finding is about — it names no id: the task hint's
+     * `taskHints[<i>].whenTokens` (`duplicate-trigger`, `unreachable-trigger`),
+     * `appliesToKinds` / `taskHints[<i>].boostKinds` (`unknown-kind`),
+     * `boostSources` (`unknown-source`).
+     */
+    readonly field?: string;
+    /** The `cap-discards` summary issue: how many more documents the cap clips past the per-run issue cap. */
+    readonly moreDocuments?: number;
+}
+//# sourceMappingURL=i-search-tuning-lint-issue.d.ts.map

package/dist/i-search-tuning-lint-issue.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-search-tuning-lint-issue.d.ts","sourceRoot":"","sources":["../src/i-search-tuning-lint-issue.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAE3E;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,0CAA0C;IAC1C,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,qBAAqB,CAAC;IACxC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;IACvC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,sFAAsF;IACtF,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,0GAA0G;IAC1G,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC"}

package/dist/i-search-tuning-lint-issue.js

@@ -0,0 +1 @@
+export {};

package/dist/i-search-tuning-lint-report.d.ts

@@ -0,0 +1,38 @@
+import type { ISettledUnitLiveness, IVerdictCoverage } from '@shrkcrft/core';
+import type { ISearchTuningKeyProbe } from './i-search-tuning-key-probe.js';
+import type { ISearchTuningLintIssue } from './i-search-tuning-lint-issue.js';
+/** What {@link lintSearchTuning} found over every loaded search-tuning entry. */
+export interface ISearchTuningLintReport {
+    readonly entries: number;
+    readonly issues: readonly ISearchTuningLintIssue[];
+    /**
+     * Distinct boost keys probed, by resolution status — printed on one line, so
+     * a 100% failure rate reads as a probe fault rather than N content errors.
+     */
+    readonly probes: Readonly<{
+        probed: number;
+        resolved: number;
+        missing: number;
+        unprefixed: number;
+        unknownKind: number;
+        unverified: number;
+    }>;
+    /**
+     * Per-unit coverage, from THE settles (round 13): `boost keys` (live =
+     * resolves AND admitted by an entry's `appliesToKinds`; a marked missing
+     * target is its own printed `acceptedBy: expectEmpty` record) and `task hints`
+     * (reachable triggers). A dead or unverifiable unit is a shortfall, so a
+     * verdict can never pass over it.
+     */
+    readonly coverage: readonly IVerdictCoverage[];
+    /** Every UNMARKED dead unit (never fires), labelled — THE settles' `dead`. */
+    readonly deadUnits: readonly string[];
+    /**
+     * THE settles (round 13): boost keys, then task hints — each unit's state and
+     * marker, what `--fail-on-dead-units` decides on (`selectorUnitFails`).
+     */
+    readonly liveness: readonly ISettledUnitLiveness[];
+    /** THE key probes the lint judged (`searchTuningKeyProbes`) — the unresolvable-reference scan reads them. */
+    readonly keyProbes: readonly ISearchTuningKeyProbe[];
+}
+//# sourceMappingURL=i-search-tuning-lint-report.d.ts.map

package/dist/i-search-tuning-lint-report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-search-tuning-lint-report.d.ts","sourceRoot":"","sources":["../src/i-search-tuning-lint-report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAC7E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAE9E,iFAAiF;AACjF,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IACnD;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;QACxB,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;QACjB,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC,CAAC;IACH;;;;;;OAMG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,8EAA8E;IAC9E,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACnD,6GAA6G;IAC7G,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACtD"}

package/dist/i-search-tuning-lint-report.js

@@ -0,0 +1 @@
+export {};

package/dist/i-unresolvable-reference-scan.d.ts

@@ -0,0 +1,14 @@
+import type { IUnresolvableReference } from './i-unresolvable-reference.js';
+/**
+ * What the self-config doctor's REFERENCE probes examined (round 12,
+ * ONE-CHANGE): every declared reference id they probed (`expected`), how many
+ * could be checked (`examined`), and each one that could not. The same probes
+ * the doctor reports — `collectUnresolvableReferences` runs them, and
+ * `buildSelfConfigDoctorReportV2` carries the same list.
+ */
+export interface IUnresolvableReferenceScan {
+    readonly expected: number;
+    readonly examined: number;
+    readonly references: readonly IUnresolvableReference[];
+}
+//# sourceMappingURL=i-unresolvable-reference-scan.d.ts.map

package/dist/i-unresolvable-reference-scan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-unresolvable-reference-scan.d.ts","sourceRoot":"","sources":["../src/i-unresolvable-reference-scan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAE5E;;;;;;GAMG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACxD"}

package/dist/i-unresolvable-reference-scan.js

@@ -0,0 +1 @@
+export {};

package/dist/i-unresolvable-reference.d.ts

@@ -0,0 +1,29 @@
+import type { ReferenceKind } from './reference-registry.js';
+import type { UnresolvableReason } from './unresolvable-reason.js';
+/**
+ * One declared reference the self-config doctor's reference probes could not
+ * check — its kind's registry is empty here, or can never be filled — with the
+ * file and field that declare it (round 12, ONE-CHANGE). The doctor's coverage
+ * counts each as an unexamined unit; the contributions report groups them by
+ * file. Both read the same probes, so they cannot disagree.
+ */
+export interface IUnresolvableReference {
+    /** Absolute path of the declaring file, when the asset records one. */
+    readonly file?: string;
+    /** Owning pack, when the asset is a pack contribution. */
+    readonly packageName?: string;
+    /** The declaring asset's kind (`registration-hint`, `convention`, `template`, …). */
+    readonly sourceKind: string;
+    readonly sourceId: string;
+    /** The declaring field (`discovery.profileIds`, `recommends.templates`, `related`, …). */
+    readonly field: string;
+    /**
+     * The kind the id resolves against — `any` for a declared field that accepts
+     * every kind; `search-document` for a search-tuning boost key whose document
+     * kind has no id registry at all (`doc:`, `preset:`, …; round 13).
+     */
+    readonly kind: ReferenceKind | 'any' | 'search-document';
+    readonly id: string;
+    readonly reason: UnresolvableReason;
+}
+//# sourceMappingURL=i-unresolvable-reference.d.ts.map

package/dist/i-unresolvable-reference.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-unresolvable-reference.d.ts","sourceRoot":"","sources":["../src/i-unresolvable-reference.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,uEAAuE;IACvE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,0DAA0D;IAC1D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,qFAAqF;IACrF,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,KAAK,GAAG,iBAAiB,CAAC;IACzD,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC;CACrC"}

package/dist/i-unresolvable-reference.js

@@ -0,0 +1 @@
+export {};

package/dist/i-workspace-profile-payload.d.ts

@@ -0,0 +1,12 @@
+/**
+ * The payload of a builtin `workspace` profile entry
+ * (`ProfileKind.Workspace`): whether THIS repo exhibits the profile, and the
+ * detector's evidence when it does. The id itself is valid either way — the
+ * vocabulary is the engine's, detection is the repo's.
+ */
+export interface IWorkspaceProfilePayload {
+    readonly detected: boolean;
+    /** The detector's evidence (`tsconfig.json or typescript dependency present`); set only when detected. */
+    readonly reason?: string;
+}
+//# sourceMappingURL=i-workspace-profile-payload.d.ts.map

package/dist/i-workspace-profile-payload.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"i-workspace-profile-payload.d.ts","sourceRoot":"","sources":["../src/i-workspace-profile-payload.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,0GAA0G;IAC1G,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B"}

package/dist/i-workspace-profile-payload.js

@@ -0,0 +1 @@
+export {};

package/dist/impact-analysis.d.ts

@@ -47,6 +47,15 @@ export interface IImpactAreaSummary {
     kind: AreaKind;
     fileCount: number;
 }
+/** The area map's coverage, carried into the impact view that is built on it. */
+export interface IImpactAreaCoverage {
+    /** Share of the repo the area map classified (0..1). */
+    readonly classificationRate: number;
+    /** The area map's own `degraded` verdict (rate below its configured minimum). */
+    readonly degraded: boolean;
+    /** Normalized targets no area pattern classifies — invisible to area-derived signals. */
+    readonly unclassifiedTargets: readonly string[];
+}
 export interface IImpactWorkspaceSummary {
     name: string;
     directory: string;
@@ -137,6 +146,12 @@ export interface IImpactAnalysis {
         id: string;
         name: string;
     }[];
+    /**
+     * How far the area attribution above can be trusted. Area-derived signals
+     * (affected areas, boundary risks, `core-area`) are only as complete as the
+     * area map's classification: an unclassified target is invisible to them.
+     */
+    areaCoverage: IImpactAreaCoverage;
     /** Risk classification + reasons. */
     risk: ImpactRisk;
     riskReasons: readonly IImpactReason[];

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

@@ -1 +1 @@
-{"version":3,"file":"impact-analysis.d.ts","sourceRoot":"","sources":["../src/impact-analysis.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAgB,MAAM,eAAe,CAAC;AAEvD,OAAO,EAAiC,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEtF,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,oBAAY,UAAU;IACpB,GAAG,QAAQ;IACX,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,QAAQ,aAAa;CACtB;AAED,oBAAY,eAAe;IACzB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,SAAS,cAAc;IACvB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,OAAO,CAAC,EAAE,QAAQ,CAAC;IACnB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,qFAAqF;IACrF,EAAE,EAAE,MAAM,CAAC;IACX,mDAAmD;IACnD,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,OAAO,sBAAsB,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,eAAe,CAAC;IAC3B,2FAA2F;IAC3F,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,iEAAiE;IACjE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,yEAAyE;IACzE,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,2EAA2E;IAC3E,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,uDAAuD;IACvD,sBAAsB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACxD,yCAAyC;IACzC,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC7C,sDAAsD;IACtD,gBAAgB,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACrD,oDAAoD;IACpD,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,2CAA2C;IAC3C,sBAAsB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC1D,0CAA0C;IAC1C,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAClD,uDAAuD;IACvD,iBAAiB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC3C,4CAA4C;IAC5C,iBAAiB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3D,iCAAiC;IACjC,iBAAiB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5D,+BAA+B;IAC/B,eAAe,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzD,kCAAkC;IAClC,kBAAkB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3E,0DAA0D;IAC1D,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,0BAA0B;IAC1B,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,2BAA2B,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,8CAA8C;IAC9C,YAAY,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACvD,gBAAgB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1D,qCAAqC;IACrC,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,6CAA6C;IAC7C,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC1C,iEAAiE;IACjE,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAkjBD,wBAAsB,aAAa,CACjC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,oBAAoB,GAC1B,OAAO,CAAC,eAAe,CAAC,CAmM1B"}
+{"version":3,"file":"impact-analysis.d.ts","sourceRoot":"","sources":["../src/impact-analysis.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,QAAQ,EAMT,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAiC,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEtF,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,oBAAY,UAAU;IACpB,GAAG,QAAQ;IACX,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,QAAQ,aAAa;CACtB;AAED,oBAAY,eAAe;IACzB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,SAAS,cAAc;IACvB,KAAK,UAAU;IACf,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,KAAK,UAAU;IACf,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,OAAO,CAAC,EAAE,QAAQ,CAAC;IACnB,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+DAA+D;IAC/D,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,qFAAqF;IACrF,EAAE,EAAE,MAAM,CAAC;IACX,mDAAmD;IACnD,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,QAAQ,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,iFAAiF;AACjF,MAAM,WAAW,mBAAmB;IAClC,wDAAwD;IACxD,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,iFAAiF;IACjF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,yFAAyF;IACzF,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;CACjD;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,sBAAsB;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,OAAO,sBAAsB,CAAC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,eAAe,CAAC;IAC3B,2FAA2F;IAC3F,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,iEAAiE;IACjE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,yEAAyE;IACzE,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,2EAA2E;IAC3E,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,uDAAuD;IACvD,sBAAsB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACxD,yCAAyC;IACzC,aAAa,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAC7C,sDAAsD;IACtD,gBAAgB,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACrD,oDAAoD;IACpD,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,2CAA2C;IAC3C,sBAAsB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC1D,0CAA0C;IAC1C,gBAAgB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAClD,uDAAuD;IACvD,iBAAiB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC3C,4CAA4C;IAC5C,iBAAiB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3D,iCAAiC;IACjC,iBAAiB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5D,+BAA+B;IAC/B,eAAe,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACzD,kCAAkC;IAClC,kBAAkB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3E,0DAA0D;IAC1D,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,0BAA0B;IAC1B,qBAAqB,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,2BAA2B,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,8CAA8C;IAC9C,YAAY,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACvD,gBAAgB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1D;;;;OAIG;IACH,YAAY,EAAE,mBAAmB,CAAC;IAClC,qCAAqC;IACrC,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,SAAS,aAAa,EAAE,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,6CAA6C;IAC7C,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC1C,iEAAiE;IACjE,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CAChC;AAkkBD,wBAAsB,aAAa,CACjC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,oBAAoB,GAC1B,OAAO,CAAC,eAAe,CAAC,CAiO1B"}

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"}