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

package/dist/boundary-unit-liveness.js

@@ -0,0 +1,71 @@
+import { boundaryRuleScope, BoundaryMarkableList, settleBoundaryRule, unreadEntryMatches, withBoundaryRuleSettlement, } from '@shrkcrft/boundaries';
+/**
+ * THE unread re-settle of one boundary rule (round 13; V1-U1, prerequisite P2)
+ * — `check boundaries` AND `check boundaries --diff-against` both call it, so an
+ * unreadable governed file weighs the same on the gate and on the authoring
+ * path. It replaces `withProvableDeadUnits`, which silently DROPPED a claim;
+ * the diff path had no such step at all.
+ *
+ * A "matches nothing" / "does not exist yet" fact is a whole-tree claim made
+ * from what was READ. Every negative fact an unread entry could refute is
+ * withdrawn (made unknown), and the rule is re-settled through the one boundary
+ * settle (`settleBoundaryRule`, `@shrkcrft/boundaries`): such a unit reads
+ * Unproven — no dead line, no `accepted by expectEmpty`, a gap in its rule's
+ * coverage. What is refutable:
+ *
+ *   - a `forbiddenImports` / `allowedImports` claim ("matches no import
+ *     anywhere") — by any unread entry the rule's `from` globs match;
+ *   - a `from` / exemption glob claim ("matched 0 files") — by an unread entry
+ *     that glob matches;
+ *   - a unit dead by its SHAPE (`cause`) — never: it is proved from the rule alone.
+ *
+ * A positive fact (a match seen) is kept. The rule's emptiness is re-settled
+ * with `readGap`: a rule whose governed files went unread is partial, never
+ * "matched nothing" and never failOnEmpty's 1. Unchanged (same object) when
+ * nothing is withdrawn and no governed file is unread.
+ */
+export function boundaryUnitLiveness(detail, rule, context) {
+    const units = detail.unitLiveness;
+    if (units === undefined)
+        return detail;
+    const scope = boundaryRuleScope(rule);
+    const matched = context.unread.filter((u) => unreadEntryMatches(u, scope.include));
+    if (matched.length === 0 && !context.readGap)
+        return detail;
+    const refutable = (u) => {
+        if (u.cause !== undefined)
+            return false;
+        if (u.list === BoundaryMarkableList.ForbiddenImports || u.list === BoundaryMarkableList.AllowedImports) {
+            return matched.length > 0;
+        }
+        const glob = u.unit.startsWith('!') ? u.unit.slice(1) : u.unit;
+        return matched.some((entry) => unreadEntryMatches(entry, [glob]));
+    };
+    const observations = units.map((u) => {
+        const withdraw = refutable(u);
+        return {
+            list: u.list,
+            unit: u.unit,
+            exists: withdraw && u.exists === false ? undefined : u.exists,
+            live: withdraw && u.live === false ? undefined : u.live,
+            label: u.label,
+            weight: u.weight,
+            ...(u.matched !== undefined ? { matched: u.matched } : {}),
+            ...(u.liveBecause !== undefined ? { liveBecause: u.liveBecause } : {}),
+            ...(u.deadReason !== undefined ? { deadReason: u.deadReason } : {}),
+            ...(u.cause !== undefined ? { cause: u.cause } : {}),
+        };
+    });
+    const settlement = settleBoundaryRule({
+        rule,
+        observations,
+        includeGlobs: scope.include,
+        filesScanned: context.filesScanned,
+        fileUniverse: context.fileUniverse,
+        filesInScope: detail.filesInScope,
+        exemptFilesInScope: detail.exemptFilesInScope,
+        violations: detail.violations,
+        unread: context.readGap,
+    });
+    return withBoundaryRuleSettlement(detail, settlement);
+}

package/dist/change-intent.d.ts

@@ -1,3 +1,4 @@
+import { QueryIntent } from './query-intent-kind.js';
 import type { ISharkcraftInspection } from './sharkcraft-inspector.js';
 export declare const CHANGE_INTENT_SCHEMA = "sharkcraft.change-intent/v1";
 export declare enum ChangeIntentKind {
@@ -30,6 +31,8 @@ export interface IChangeIntent {
     suggestedFirstCommand: string;
     confidence: ChangeIntentConfidence;
     reasons: readonly string[];
+    /** THE query-intent classification this kind was checked against (round 11). */
+    queryIntent?: QueryIntent;
 }
 export declare function classifyChangeIntent(task: string, inspection: ISharkcraftInspection): Promise<IChangeIntent>;
 export declare function renderChangeIntentText(intent: IChangeIntent): string;

package/dist/change-intent.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-intent.d.ts","sourceRoot":"","sources":["../src/change-intent.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,oBAAoB,gCAAgC,CAAC;AAElE,oBAAY,gBAAgB;IAC1B,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,SAAS,cAAc;IACvB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,OAAO,YAAY;CACpB;AAED,oBAAY,sBAAsB;IAChC,GAAG,QAAQ;IACX,MAAM,WAAW;IACjB,IAAI,SAAS;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,OAAO,oBAAoB,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,UAAU,EAAE,sBAAsB,CAAC;IACnC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B;AA2ID,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,aAAa,CAAC,CAiFxB;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAsBpE"}
+{"version":3,"file":"change-intent.d.ts","sourceRoot":"","sources":["../src/change-intent.ts"],"names":[],"mappings":"AAeA,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAGvE,eAAO,MAAM,oBAAoB,gCAAgC,CAAC;AAElE,oBAAY,gBAAgB;IAC1B,OAAO,YAAY;IACnB,MAAM,WAAW;IACjB,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,SAAS,cAAc;IACvB,YAAY,iBAAiB;IAC7B,MAAM,WAAW;IACjB,OAAO,YAAY;IACnB,OAAO,YAAY;CACpB;AAED,oBAAY,sBAAsB;IAChC,GAAG,QAAQ;IACX,MAAM,WAAW;IACjB,IAAI,SAAS;CACd;AAED,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,OAAO,oBAAoB,CAAC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,qBAAqB,EAAE,MAAM,CAAC;IAC9B,UAAU,EAAE,sBAAsB,CAAC;IACnC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,gFAAgF;IAChF,WAAW,CAAC,EAAE,WAAW,CAAC;CAC3B;AAiKD,wBAAsB,oBAAoB,CACxC,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,aAAa,CAAC,CA0FxB;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAsBpE"}

package/dist/change-intent.js

@@ -11,6 +11,10 @@
  * available.
  */
 import { listConstructs, loadConstructs } from "./construct-registry.js";
+import { matchTerm, prepareTermQuery } from "./match-terms.js";
+import { classifyQueryIntent } from "./query-intent.js";
+import { QueryIntent } from "./query-intent-kind.js";
+import { detectSharkcraftRepo } from "./self-audit.js";
 export const CHANGE_INTENT_SCHEMA = 'sharkcraft.change-intent/v1';
 export var ChangeIntentKind;
 (function (ChangeIntentKind) {
@@ -109,22 +113,35 @@ const SUGGESTED_COMMAND = new Map([
     [ChangeIntentKind.Bugfix, 'shrk impact --since main'],
     [ChangeIntentKind.Refactor, 'shrk check boundaries --json'],
     [ChangeIntentKind.Test, 'shrk tests missing --since main'],
-    [ChangeIntentKind.Docs, 'shrk docs check'],
+    // Consumer-applicable: `docs check` / `release readiness` maintain SharkCraft
+    // itself and exit 78 outside its repository (round 11 review CLI-7).
+    [ChangeIntentKind.Docs, 'shrk docs references check'],
     [ChangeIntentKind.Migration, 'shrk brief "<task>" && shrk orchestrate "<task>" --mode conservative'],
     [ChangeIntentKind.Architecture, 'shrk architecture map'],
     [ChangeIntentKind.Policy, 'shrk policy run --explain-overrides'],
-    [ChangeIntentKind.Release, 'shrk release readiness --strict'],
+    [ChangeIntentKind.Release, 'shrk quality'],
     [ChangeIntentKind.Unknown, 'shrk start-here'],
 ]);
-function lc(s) {
-    return s.toLowerCase();
-}
+/**
+ * Inside SharkCraft's own repository (THE host authority,
+ * `detectSharkcraftRepo`) the docs / release intents keep the tool's own
+ * gates — there they apply.
+ */
+const TOOL_REPO_SUGGESTED_COMMAND = new Map([
+    [ChangeIntentKind.Docs, 'shrk docs check'],
+    [ChangeIntentKind.Release, 'shrk release readiness --strict'],
+]);
+/**
+ * Domains through THE term matcher: `lower.includes(kw)` fired `ci` on
+ * "decide" / "specific" / "pricing" and `sign` (pack) on "design" / "assign",
+ * inflating the signal-count confidence below.
+ */
 function detectDomains(task) {
-    const lower = lc(task);
+    const query = prepareTermQuery(task);
     const out = [];
     for (const [domain, keywords] of DOMAIN_KEYWORDS) {
         for (const kw of keywords) {
-            if (lower.includes(kw)) {
+            if (matchTerm(query, kw)) {
                 out.push(domain);
                 break;
             }
@@ -132,6 +149,14 @@ function detectDomains(task) {
     }
     return [...new Set(out)];
 }
+/** Ids whose (≥ 3 char) segments appear as task terms — THE term matcher, not substring. */
+function idsMentioned(ids, task) {
+    const query = prepareTermQuery(task);
+    return ids.filter((id) => {
+        const tokens = id.split(/[.\-_/]/).filter((t) => t.length >= 3);
+        return tokens.some((t) => matchTerm(query, t));
+    });
+}
 function matchKind(task) {
     let best = {
         kind: ChangeIntentKind.Unknown,
@@ -175,27 +200,31 @@ export async function classifyChangeIntent(task, inspection) {
             reasons: ['Empty task string.'],
         };
     }
-    const { kind, riskHints, requiresReview, matchedPatterns } = matchKind(trimmed);
+    const matched = matchKind(trimmed);
+    let { kind, riskHints, requiresReview } = matched;
+    const { matchedPatterns } = matched;
+    // Consult THE query-intent classifier: a create word used as a noun or
+    // adjective ("fix the broken BUILD", "why does the NEW route fail") must not
+    // make a repair / diagnosis query a feature.
+    const queryIntent = classifyQueryIntent(trimmed);
+    const repairShaped = queryIntent.intent === QueryIntent.Repair || queryIntent.intent === QueryIntent.Diagnose;
+    const overridden = repairShaped && (kind === ChangeIntentKind.Feature || kind === ChangeIntentKind.Unknown);
+    if (overridden) {
+        const bugfix = MATCHERS.find((m) => m.kind === ChangeIntentKind.Bugfix);
+        kind = ChangeIntentKind.Bugfix;
+        riskHints = bugfix?.riskHints ? [...bugfix.riskHints] : [];
+        requiresReview = bugfix?.requiresReview === true;
+    }
     const domains = detectDomains(trimmed);
-    // Likely constructs: any construct id whose tokens appear in the task.
-    const constructs = listConstructs(inspection).map((c) => c.id);
-    const likelyConstructs = constructs.filter((id) => {
-        const tokens = id.split(/[.\-_/]/).filter((t) => t.length >= 3);
-        return tokens.some((t) => lc(trimmed).includes(lc(t)));
-    });
-    // Likely templates / pipelines: by id token match.
-    const templates = inspection.templates.map((t) => t.id);
-    const likelyTemplates = templates.filter((id) => {
-        const tokens = id.split(/[.\-_/]/).filter((t) => t.length >= 3);
-        return tokens.some((t) => lc(trimmed).includes(lc(t)));
-    });
-    const pipelines = inspection.pipelines.map((p) => p.id);
-    const likelyPipelines = pipelines.filter((id) => {
-        const tokens = id.split(/[.\-_/]/).filter((t) => t.length >= 3);
-        return tokens.some((t) => lc(trimmed).includes(lc(t)));
-    });
+    // Likely constructs / templates / pipelines: any id whose segments appear as task terms.
+    const likelyConstructs = idsMentioned(listConstructs(inspection).map((c) => c.id), trimmed);
+    const likelyTemplates = idsMentioned(inspection.templates.map((t) => t.id), trimmed);
+    const likelyPipelines = idsMentioned(inspection.pipelines.map((p) => p.id), trimmed);
     const reasons = [];
-    if (matchedPatterns > 0) {
+    if (overridden) {
+        reasons.push(`Query intent is "${queryIntent.intent}"${queryIntent.vetoedBy ? ` ("${queryIntent.vetoedBy}" vetoes the create reading)` : ''} — classified as "${kind}".`);
+    }
+    else if (matchedPatterns > 0) {
         reasons.push(`Matched ${matchedPatterns} pattern(s) for kind "${kind}".`);
     }
     else {
@@ -216,7 +245,11 @@ export async function classifyChangeIntent(task, inspection) {
         kind === ChangeIntentKind.Policy ||
         kind === ChangeIntentKind.Release ||
         kind === ChangeIntentKind.Migration;
-    const suggestedFirstCommand = SUGGESTED_COMMAND.get(kind) ?? 'shrk start-here';
+    const suggestedFirstCommand = (TOOL_REPO_SUGGESTED_COMMAND.has(kind) && detectSharkcraftRepo(inspection.projectRoot)
+        ? TOOL_REPO_SUGGESTED_COMMAND.get(kind)
+        : undefined) ??
+        SUGGESTED_COMMAND.get(kind) ??
+        'shrk start-here';
     return {
         schema: CHANGE_INTENT_SCHEMA,
         task: trimmed,
@@ -230,6 +263,7 @@ export async function classifyChangeIntent(task, inspection) {
         suggestedFirstCommand,
         confidence,
         reasons,
+        queryIntent: queryIntent.intent,
     };
 }
 export function renderChangeIntentText(intent) {

package/dist/changes-summary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"changes-summary.d.ts","sourceRoot":"","sources":["../src/changes-summary.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,oBAAY,UAAU;IACpB,GAAG,QAAQ;IACX,SAAS,eAAe;IACxB,SAAS,cAAc;IACvB,SAAS,cAAc;IACvB,SAAS,cAAc;IACvB,KAAK,UAAU;IACf,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,IAAI,SAAS;IACb,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,SAAS,eAAe;IACxB,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,WAAW,uBAAuB;IAClC,YAAY,kBAAkB;IAC9B,IAAI,SAAS;IACb,KAAK,UAAU;IACf,QAAQ,aAAa;IACrB,OAAO,YAAY;IACnB;;;;;;OAMG;IACH,OAAO,YAAY;IACnB,GAAG,QAAQ;IACX,UAAU,2BAA2B;IACrC,OAAO,YAAY;IACnB,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,OAAO,CAAC;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,sBAAsB,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,cAAc,CAAC;IACtD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC/C;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB,iFAAiF;IACjF,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACtC,4CAA4C;IAC5C,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,8BAA8B;IAC9B,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gDAAgD;IAChD,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,0BAA0B;IAC1B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,0BAA0B;IAC1B,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,2CAA2C;IAC3C,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,qCAAqC;IACrC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,0CAA0C;IAC1C,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAChC,wCAAwC;IACxC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,qCAAqC;IACrC,2BAA2B,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,qCAAqC;IACrC,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,sBAAsB;IACrC,qCAAqC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,wCAAwC;IACxC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,+EAA+E;IAC/E,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAiRD,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,qBAAqB,EACjC,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,qBAAqB,CAAC,CA2DhC;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,qBAAqB,GAAG,MAAM,CAsDlF"}
+{"version":3,"file":"changes-summary.d.ts","sourceRoot":"","sources":["../src/changes-summary.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,oBAAY,UAAU;IACpB,GAAG,QAAQ;IACX,SAAS,eAAe;IACxB,SAAS,cAAc;IACvB,SAAS,cAAc;IACvB,SAAS,cAAc;IACvB,KAAK,UAAU;IACf,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,UAAU,eAAe;IACzB,KAAK,UAAU;IACf,IAAI,SAAS;IACb,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,SAAS,eAAe;IACxB,QAAQ,aAAa;IACrB,SAAS,cAAc;IACvB,WAAW,uBAAuB;IAClC,YAAY,kBAAkB;IAC9B,IAAI,SAAS;IACb,KAAK,UAAU;IACf,QAAQ,aAAa;IACrB,OAAO,YAAY;IACnB;;;;;;OAMG;IACH,OAAO,YAAY;IACnB,GAAG,QAAQ;IACX,UAAU,2BAA2B;IACrC,OAAO,YAAY;IACnB,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,OAAO,CAAC;IAChB,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,OAAO,CAAC;IACnB,YAAY,EAAE,OAAO,CAAC;IACtB,QAAQ,EAAE,OAAO,CAAC;IAClB,WAAW,EAAE,OAAO,CAAC;IACrB,gBAAgB,EAAE,OAAO,CAAC;CAC3B;AAED,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,OAAO,sBAAsB,CAAC;IACtC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,cAAc,CAAC;IACtD,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC/C;;;;OAIG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB,iFAAiF;IACjF,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACtC,4CAA4C;IAC5C,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,8BAA8B;IAC9B,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,gDAAgD;IAChD,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,0BAA0B;IAC1B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,0BAA0B;IAC1B,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,2CAA2C;IAC3C,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,qCAAqC;IACrC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,0CAA0C;IAC1C,IAAI,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IAChC,wCAAwC;IACxC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,qCAAqC;IACrC,2BAA2B,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,qCAAqC;IACrC,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,sBAAsB;IACrC,qCAAqC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,wCAAwC;IACxC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,+EAA+E;IAC/E,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAyRD,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,qBAAqB,EACjC,OAAO,GAAE,sBAA2B,GACnC,OAAO,CAAC,qBAAqB,CAAC,CA2DhC;AAED,wBAAgB,4BAA4B,CAAC,MAAM,EAAE,qBAAqB,GAAG,MAAM,CAsDlF"}

package/dist/changes-summary.js

@@ -11,7 +11,8 @@
  *
  * Read-only; no AI; deterministic. Schema: sharkcraft.changes-summary/v1.
  */
-import { globToRegex } from '@shrkcrft/boundaries';
+import { boundaryRuleScope, boundaryScopeDecision } from '@shrkcrft/boundaries';
+import { createAreaClassifier } from "./area-map.js";
 import { getChangedFiles } from "./git-helpers.js";
 import { resolveVerificationCommands } from "./resolve-verification-commands.js";
 export const CHANGES_SUMMARY_SCHEMA = 'sharkcraft.changes-summary/v1';
@@ -175,27 +176,36 @@ const PACKAGE_ROOT_RE = /^(?:packages|apps|libs|modules|services)\/([^/]+)\//;
  * is surfaced as a self-diagnostic (`unknownRate`), not a low-risk diff.
  */
 function buildAreaResolver(inspection) {
+    // Each rule's governed scope, read through THE boundary scope authority
+    // (`boundaryRuleScope` / `boundaryScopeDecision`) — the one the evaluator
+    // uses. A `!`-prefixed `from` entry is an exemption there, never a literal
+    // glob, and a file the rule exempts (`exemptFiles`, `excludeTests`) is not
+    // attributed to the rule's area.
     const boundaryMatchers = [];
     try {
         for (const rule of inspection.boundaryRegistry?.list() ?? []) {
-            const from = rule.from ?? [];
-            if (from.length === 0)
+            const scope = boundaryRuleScope(rule);
+            if (scope.include.length === 0)
                 continue;
-            boundaryMatchers.push({
-                area: rule.tags?.[0] ?? rule.id,
-                matchers: from.map((g) => globToRegex(g)),
-            });
+            boundaryMatchers.push({ area: rule.tags?.[0] ?? rule.id, scope });
         }
     }
     catch {
         // Boundary registry unavailable — fall through to built-ins + package roots.
     }
+    // Project-declared areas (`areaMap.patterns`) win FIRST, through the same
+    // classifier the area map uses — one answer to "which area is this file in"
+    // for a file the project named, not two tables agreeing by coincidence.
+    const configured = createAreaClassifier(inspection.config?.areaMap, { builtIns: false });
     return (file) => {
+        const declared = configured(file);
+        if (declared.source === 'config')
+            return declared.id ?? declared.kind;
         const builtin = classifyArea(file);
         if (builtin !== ChangeArea.Unknown)
             return builtin;
         for (const b of boundaryMatchers) {
-            if (b.matchers.some((re) => re.test(file)))
+            if (boundaryScopeDecision(b.scope, file) === 'in')
                 return b.area;
         }
         const pkg = PACKAGE_ROOT_RE.exec(file);
@@ -318,7 +328,7 @@ function suggestValidationCommands(files, inspection) {
         out.add('shrk packs verify');
     }
     if (files.some((f) => f.area === ChangeArea.Inspector)) {
-        out.add('shrk product check');
+        out.add('shrk quality');
     }
     return Array.from(out);
 }

package/dist/ci-integrity-report.js

@@ -135,7 +135,7 @@ const PROBES = [
                 errors,
                 warnings,
                 summary: `errors=${errors} warnings=${warnings}`,
-                nextCommand: 'shrk product check',
+                nextCommand: 'shrk quality',
             };
         },
     },

package/dist/ci-predict.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ci-predict.d.ts","sourceRoot":"","sources":["../src/ci-predict.ts"],"names":[],"mappings":"AAUA,OAAO,EAA0B,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE1F,eAAO,MAAM,iBAAiB,6BAA6B,CAAC;AAE5D,oBAAY,kBAAkB;IAC5B,QAAQ,cAAc;IACtB,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,IAAI,SAAS;CACd;AAED,oBAAY,gBAAgB;IAC1B,IAAI,SAAS;IACb,IAAI,SAAS;IACb,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,OAAO,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,iEAAiE;IACjE,QAAQ,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC;CAC3C;AA0ID,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,GAAG,gBAAgB,CA8GjF;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAmBpE;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAgBxE"}
+{"version":3,"file":"ci-predict.d.ts","sourceRoot":"","sources":["../src/ci-predict.ts"],"names":[],"mappings":"AAUA,OAAO,EAA0B,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAE1F,eAAO,MAAM,iBAAiB,6BAA6B,CAAC;AAE5D,oBAAY,kBAAkB;IAC5B,QAAQ,cAAc;IACtB,OAAO,YAAY;IACnB,IAAI,SAAS;IACb,IAAI,SAAS;CACd;AAED,oBAAY,gBAAgB;IAC1B,IAAI,SAAS;IACb,IAAI,SAAS;IACb,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,OAAO,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,iEAAiE;IACjE,QAAQ,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAC;CAC3C;AA2KD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,iBAAiB,GAAG,gBAAgB,CA8GjF;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAmBpE;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAgBxE"}

package/dist/ci-predict.js

@@ -43,12 +43,26 @@ const PROBES = {
             id: 'self-config',
             title: 'Self-config doctor',
             reportFile: 'self-config-doctor.json',
+            // Round 13: only `ok` is a pass. `unverified` (a dead unit, an id that
+            // could not be looked up — the doctor exits 2 NOT VERIFIED, so the CI
+            // step `shrk self-config doctor --json` fails) read as PASS here, and so
+            // did any verdict this reader does not know. An unmeasured verdict is
+            // never a pass.
             reader: (j) => {
                 const v = j['verdict'];
-                return {
-                    verdict: v === 'errors' ? CiPredictVerdict.Fail : v === 'warnings' ? CiPredictVerdict.Warn : CiPredictVerdict.Pass,
-                    summary: `verdict=${v ?? 'unknown'}`,
-                };
+                if (v === 'ok')
+                    return { verdict: CiPredictVerdict.Pass, summary: 'verdict=ok' };
+                if (v === 'warnings')
+                    return { verdict: CiPredictVerdict.Warn, summary: 'verdict=warnings' };
+                if (v === 'errors')
+                    return { verdict: CiPredictVerdict.Fail, summary: 'verdict=errors' };
+                if (v === 'unverified') {
+                    return {
+                        verdict: CiPredictVerdict.Fail,
+                        summary: 'verdict=unverified — NOT VERIFIED: the self-config doctor exits 2, so the CI step fails',
+                    };
+                }
+                return { verdict: CiPredictVerdict.Unknown, summary: `verdict=${v ?? 'unknown'} — not a verdict this probe reads` };
             },
             nextCommand: 'shrk self-config doctor',
         },
@@ -151,6 +165,25 @@ const PROBES = {
         },
     ],
 };
+/**
+ * THE guard over every probe's reading (round 13): a cached report that
+ * carries its own non-zero `exitCode` (a verdict verb's `--json`, e.g. the CI
+ * scaffold's `self-config doctor --json`) never predicts PASS — nor WARN
+ * (review: `verdict: 'warnings'` written by `self-config doctor --strict`,
+ * which exits 1 on a warning, read as a non-blocking warn) — whatever field the
+ * probe's reader keys on: the CI step that wrote it exited non-zero. `2` is
+ * NOT VERIFIED: an unmeasured verdict is never a pass.
+ */
+function reportExitVeto(read, json) {
+    const exit = json['exitCode'];
+    const lenient = read.verdict === CiPredictVerdict.Pass || read.verdict === CiPredictVerdict.Warn;
+    if (!lenient || typeof exit !== 'number' || exit === 0)
+        return { ...read };
+    return {
+        verdict: CiPredictVerdict.Fail,
+        summary: `${read.summary} — but the report's exitCode is ${exit}${exit === 2 ? ' (NOT VERIFIED)' : ''}, so the CI step fails`,
+    };
+}
 export function buildCiPredictReport(options) {
     const reportsDir = options.reportsDir
         ? (nodePath.isAbsolute(options.reportsDir) ? options.reportsDir : nodePath.resolve(options.projectRoot, options.reportsDir))
@@ -173,7 +206,7 @@ export function buildCiPredictReport(options) {
         }
         try {
             const json = JSON.parse(readFileSync(file, 'utf8'));
-            const r = p.reader(json);
+            const r = reportExitVeto(p.reader(json), json);
             gates.push({
                 id: p.id,
                 title: p.title,

package/dist/code-intelligence-doctor.d.ts

@@ -10,6 +10,46 @@ export interface ICodeIntelligenceDoctorOptions {
      * to flip a fresh fixture into "stale" without changing mtime.
      */
     staleThresholdDays?: number;
+    /**
+     * How far the graph index has diverged from the working tree.
+     *
+     * THE freshness verdict. Age is a display detail: an index built five days
+     * ago with nothing changed since is current, and one built a minute ago with
+     * a file changed since is not. Judging by age alone produced the exact
+     * contradiction this input exists to end — `graph status` reporting `stale`
+     * while this digest reported `fresh (1m ago)` on the same index in the same
+     * second, and every arch/cycle count derived from it inheriting the staleness
+     * unmarked.
+     *
+     * Injected because `detectGraphFreshness` lives in `@shrkcrft/graph`, which
+     * sits ABOVE inspector in the layer order. Callers that can see the graph
+     * (cli, mcp-server) pass it; when it is absent the checks report
+     * "not verified" rather than guessing from a timestamp.
+     */
+    graphDivergence?: IGraphDivergence;
+}
+/**
+ * The working-tree divergence of a stored index.
+ *
+ * Structurally identical to `@shrkcrft/graph`'s `IGraphFreshness` so a caller
+ * can pass that value straight through — declared here because this layer
+ * cannot import that package.
+ */
+export interface IGraphDivergence {
+    /** False when no index has been built at all. */
+    readonly hasIndex: boolean;
+    /** Indexed files whose content changed since. */
+    readonly modified: readonly string[];
+    /** Files on disk the index has never seen. */
+    readonly added: readonly string[];
+    /** Indexed files that no longer exist. */
+    readonly deleted: readonly string[];
+    /**
+     * Workspace packages whose indexed record diverged (a package.json entry
+     * edited, a package added / removed / moved) — an index input no file
+     * fingerprint covers. Optional: absent reads as none.
+     */
+    readonly packagesChanged?: readonly string[];
 }
 /**
  * Read every code-intelligence package's persisted state and produce a

package/dist/code-intelligence-doctor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"code-intelligence-doctor.d.ts","sourceRoot":"","sources":["../src/code-intelligence-doctor.ts"],"names":[],"mappings":"AAEA,OAAO,EAAkB,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAoKvE,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,8BAAmC,GAC3C,YAAY,EAAE,CAkBhB"}
+{"version":3,"file":"code-intelligence-doctor.d.ts","sourceRoot":"","sources":["../src/code-intelligence-doctor.ts"],"names":[],"mappings":"AAEA,OAAO,EAAkB,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAoKvE,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;;;;;;;;;;;OAeG;IACH,eAAe,CAAC,EAAE,gBAAgB,CAAC;CACpC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,iDAAiD;IACjD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,8CAA8C;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC;;;;OAIG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AA8BD;;;;;GAKG;AACH,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,MAAM,EACnB,OAAO,GAAE,8BAAmC,GAC3C,YAAY,EAAE,CAkBhB"}

package/dist/code-intelligence-doctor.js

@@ -43,6 +43,36 @@ function sumValues(rec) {
     }
     return total;
 }
+/**
+ * Files + workspace packages the index is behind by (`graphFreshnessBehind`'s
+ * count, so this and `graph status` agree), or `undefined` when divergence was
+ * not measured.
+ */
+function behindCount(d) {
+    if (!d || !d.hasIndex)
+        return undefined;
+    return d.modified.length + d.added.length + d.deleted.length + (d.packagesChanged?.length ?? 0);
+}
+/** "N file(s)", plus " and P workspace package(s)" when any package diverged. */
+function behindPhrase(d) {
+    const files = d.modified.length + d.added.length + d.deleted.length;
+    const pkgs = d.packagesChanged?.length ?? 0;
+    return pkgs > 0 ? `${files} file(s) and ${pkgs} workspace package(s)` : `${files} file(s)`;
+}
+/** A human summary of what diverged, for the stale message. */
+function divergenceSummary(d) {
+    const parts = [];
+    if (d.modified.length > 0)
+        parts.push(`${d.modified.length} modified`);
+    if (d.added.length > 0)
+        parts.push(`${d.added.length} new`);
+    if (d.deleted.length > 0)
+        parts.push(`${d.deleted.length} deleted`);
+    const pkgs = d.packagesChanged ?? [];
+    if (pkgs.length > 0)
+        parts.push(`package entry changed: ${pkgs.slice(0, 3).join(', ')}${pkgs.length > 3 ? ` +${pkgs.length - 3} more` : ''}`);
+    return parts.join(', ');
+}
 /**
  * Read every code-intelligence package's persisted state and produce a
  * compact set of doctor findings. The function is sync (matches the
@@ -53,12 +83,12 @@ export function buildCodeIntelligenceChecks(projectRoot, options = {}) {
     const nowMs = options.nowMs ?? Date.now();
     const staleDays = options.staleThresholdDays ?? STALE_THRESHOLD_DAYS;
     const checks = [];
-    checks.push(...graphChecks(projectRoot, nowMs, staleDays));
+    checks.push(...graphChecks(projectRoot, nowMs, options.graphDivergence));
     checks.push(...ruleGraphChecks(projectRoot, nowMs, staleDays));
     checks.push(...apiSurfaceChecks(projectRoot, nowMs, staleDays));
     checks.push(...qualityGateChecks(projectRoot, nowMs, staleDays));
     checks.push(...migrationChecks(projectRoot));
-    checks.push(...architectureChecks(projectRoot, nowMs, staleDays));
+    checks.push(...architectureChecks(projectRoot, nowMs, staleDays, options.graphDivergence));
     checks.push(...impactRunChecks(projectRoot, nowMs, staleDays));
     checks.push(...frameworkChecks(projectRoot, nowMs, staleDays));
     checks.push(...structuralRegistryChecks(projectRoot));
@@ -87,7 +117,7 @@ const EXPECTED_SCHEMAS = [
     { rel: 'structural/patterns.json', expected: 'sharkcraft.structural-pattern-registry/v1', package: '@shrkcrft/structural-search' },
     { rel: 'context-planner/intent-benchmark.json', expected: 'sharkcraft.intent-benchmark/v1', package: '@shrkcrft/context-planner' },
 ];
-function graphChecks(projectRoot, nowMs, staleDays) {
+function graphChecks(projectRoot, nowMs, divergence) {
     const metaPath = nodePath.join(projectRoot, '.sharkcraft', 'graph', 'meta.json');
     if (!existsSync(metaPath)) {
         return [
@@ -116,8 +146,11 @@ function graphChecks(projectRoot, nowMs, staleDays) {
         ];
     }
     const days = ageDays(manifest.lastIndexedAt, nowMs);
-    const stale = days !== undefined && days > staleDays;
-    const ageStr = days !== undefined ? ` (${fmtAge(days)})` : '';
+    // Divergence is the verdict; age is a display detail. `behind === undefined`
+    // means nobody measured it — which is NOT a pass, so the check says so
+    // instead of falling back to the timestamp that caused the contradiction.
+    const behind = behindCount(divergence);
+    const ageStr = days !== undefined ? ` (indexed ${fmtAge(days)})` : '';
     const counts = `${manifest.filesIndexed ?? 0} files, ${sumValues(manifest.nodesByKind)} nodes, ${sumValues(manifest.edgesByKind)} edges`;
     const cycleTag = typeof manifest.cycleCount === 'number' && manifest.cycleCount > 0
         ? `, ${manifest.cycleCount} cycle${manifest.cycleCount === 1 ? '' : 's'}` +
@@ -126,15 +159,33 @@ function graphChecks(projectRoot, nowMs, staleDays) {
                 : '')
         : '';
     const out = [];
-    if (stale) {
+    if (behind === undefined) {
+        // Nothing measured the divergence, so "current" would be a guess. The
+        // loud-skip contract the six rule planes honour says an unverified result
+        // is neither a pass nor a failure — it is "nothing was verified".
+        out.push({
+            id: 'code-intelligence-graph',
+            title: 'Code-intelligence graph index',
+            severity: DoctorSeverity.Info,
+            advisory: true,
+            category: CATEGORY,
+            message: `Graph index freshness NOT VERIFIED${ageStr} — ${counts}${cycleTag}.`,
+            fix: 'Run `shrk graph status` for the divergence-checked verdict.',
+            whyThisMatters: 'Age is not freshness: an index built days ago with nothing changed since is current, and one built a minute ago with a file changed since is not. Reporting the timestamp as a verdict is how a stale index gets read as authoritative.',
+        });
+    }
+    else if (behind > 0) {
         out.push({
             id: 'code-intelligence-graph',
             title: 'Code-intelligence graph index',
             severity: DoctorSeverity.Warning,
             advisory: true,
             category: CATEGORY,
-            message: `Graph index is stale${ageStr} — ${counts}${cycleTag}.`,
-            fix: 'Re-index with `shrk graph index --changed` (or `--full`).',
+            message: `Graph index STALE — ${behindPhrase(divergence)} changed since index ` +
+                `(${divergenceSummary(divergence)})${ageStr}; ${counts}${cycleTag}.`,
+            fix: (divergence.packagesChanged?.length ?? 0) > 0
+                ? 'Re-index with `shrk graph index` — a workspace package entry changed, and only a full index re-resolves the imports of it.'
+                : 'Re-index with `shrk graph index --changed` (or `--full`).',
             whyThisMatters: 'Stale code graph makes `shrk impact`, `shrk graph callers`, and context packs return outdated answers.',
         });
     }
@@ -144,7 +195,7 @@ function graphChecks(projectRoot, nowMs, staleDays) {
             title: 'Code-intelligence graph index',
             severity: DoctorSeverity.Ok,
             category: CATEGORY,
-            message: `Graph index fresh${ageStr} — ${counts}${cycleTag}.`,
+            message: `Graph index current${ageStr} — ${counts}${cycleTag}.`,
         });
     }
     // Cycles ≥ a heuristic threshold of 5 (or any 3+-file cycle) become
@@ -229,7 +280,7 @@ function ruleGraphChecks(projectRoot, nowMs, staleDays) {
             category: CATEGORY,
             message: `Rule-graph bridge is stale${ageStr} — ${counts}.`,
             fix: 'Re-build with `shrk graph index` (bridges build alongside graph).',
-            whyThisMatters: 'A stale bridge means `shrk rules where applies-to <file>` and rule-aware impact answers may miss recent edits.',
+            whyThisMatters: 'A stale bridge means `shrk why <file>` and rule-aware impact answers may miss recent edits.',
         });
     }
     else {
@@ -263,7 +314,7 @@ function ruleGraphChecks(projectRoot, nowMs, staleDays) {
                 advisory: true,
                 category: CATEGORY,
                 message: `${baseMsg} ${uncovered} file(s) have no applicable rule.`,
-                fix: 'Inspect with `shrk rules where applies-to <file>` and either broaden a rule\'s `appliesTo` / boundary `from`, or accept the gap.',
+                fix: 'Inspect with `shrk why <file>` and either broaden a rule\'s `appliesTo` / boundary `from`, or accept the gap.',
                 whyThisMatters: 'Files with no applicable rule are invisible to rule-aware impact, validation hints, and agent context packs. A growing coverage gap usually means the rule registry is drifting behind the codebase.',
             });
         }
@@ -400,7 +451,7 @@ function qualityGateChecks(projectRoot, nowMs, staleDays) {
         },
     ];
 }
-function architectureChecks(projectRoot, nowMs, staleDays) {
+function architectureChecks(projectRoot, nowMs, staleDays, divergence) {
     const archDir = nodePath.join(projectRoot, '.sharkcraft', 'architecture');
     const baselinePath = nodePath.join(archDir, 'baseline.json');
     const lastPath = nodePath.join(archDir, 'last.json');
@@ -477,6 +528,29 @@ function architectureChecks(projectRoot, nowMs, staleDays) {
         (baseline.countsBySeverity?.['error'] ?? 0);
     const warnDelta = (last.countsBySeverity?.['warning'] ?? 0) -
         (baseline.countsBySeverity?.['warning'] ?? 0);
+    // A delta computed from an index the working tree has moved past is neither
+    // a green nor a red — it is "nothing was verified". This is the loud-skip
+    // contract the six data-defined rule planes already honour, extended to the
+    // graph-derived findings. It failed in both directions before: a digest
+    // under-reported real architecture debt 5-of-6 while displaying "fresh", and
+    // the same stale snapshot can just as easily report a violation that has
+    // already been fixed.
+    const behind = behindCount(divergence);
+    if (behind !== undefined && behind > 0) {
+        return [
+            {
+                id: 'code-intelligence-architecture',
+                title: 'Architecture baseline',
+                severity: DoctorSeverity.Info,
+                advisory: true,
+                category: CATEGORY,
+                message: `Architecture delta NOT VERIFIED — the graph index is ${behindPhrase(divergence)} behind ` +
+                    `(${divergenceSummary(divergence)}), so any count derived from it is out of date.`,
+                fix: 'Re-index with `shrk graph index --changed`, then `shrk arch check`.',
+                whyThisMatters: 'A count from a stale index misses violations in files it never saw AND reports ones already fixed. Presenting it as a number invites acting on both.',
+            },
+        ];
+    }
     if (newCount === 0 && errDelta <= 0 && warnDelta <= 0) {
         return [
             {