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

package/dist/agent-task-prep.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"agent-task-prep.d.ts","sourceRoot":"","sources":["../src/agent-task-prep.ts"],"names":[],"mappings":"AAqBA,OAAO,EAA8C,KAAK,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAKzG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpE,QAAQ,CAAC,mBAAmB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACvE,mEAAmE;IACnE,QAAQ,CAAC,YAAY,EAAE,SAAS;QAC9B,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAC3B,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;KACxF,EAAE,CAAC;IACJ;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS;QAAE,IAAI,EAAE,aAAa,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3F,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAcD,wBAAsB,gBAAgB,CACpC,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,oBAAoB,CAAC,CAkF/B"}
+{"version":3,"file":"agent-task-prep.d.ts","sourceRoot":"","sources":["../src/agent-task-prep.ts"],"names":[],"mappings":"AAsBA,OAAO,EAA8C,KAAK,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAKzG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AACnE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,OAAO,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,GAAG,KAAK,CAAC;IAC/C,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpE,QAAQ,CAAC,mBAAmB,EAAE,SAAS;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACvE,mEAAmE;IACnE,QAAQ,CAAC,YAAY,EAAE,SAAS;QAC9B,EAAE,EAAE,MAAM,CAAC;QACX,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAC3B,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,sBAAsB,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;KACxF,EAAE,CAAC;IACJ;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,EAAE,SAAS;QAAE,IAAI,EAAE,aAAa,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3F,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;CACjC;AAcD,wBAAsB,gBAAgB,CACpC,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,oBAAoB,CAAC,CAyF/B"}

package/dist/agent-task-prep.js

@@ -14,6 +14,7 @@
  */
 import { buildTaskPacket } from "./task-packet.js";
 import { listConventions } from "./convention-registry.js";
+import { conventionApplicability } from "./convention-applicability.js";
 import { listTaskRoutingHints, explainTaskRouting } from "./task-routing-hint-registry.js";
 import { buildUncertaintySummary } from "./uncertainty.js";
 import { matchTerm, prepareTermQuery } from "./match-terms.js";
@@ -100,7 +101,14 @@ export async function prepareAgentTask(inspection, task) {
         generationCommands,
         validationCommands,
         relevantProfiles: [],
-        relevantConventions: conventions.slice(0, 5).map((e) => ({ id: e.convention.id, title: e.convention.title })),
+        // THE applicability authority (round 15, 15.1): a convention whose
+        // `appliesTo` excludes this workspace (an undetected profile / framework)
+        // is not handed to the agent — it used to be the first 5 loaded, whatever
+        // they applied to. Per-file filters are decided per file, not here.
+        relevantConventions: conventions
+            .filter((e) => conventionApplicability(e.convention, inspection).applicable)
+            .slice(0, 5)
+            .map((e) => ({ id: e.convention.id, title: e.convention.title })),
         routingHints: routing.slice(0, 5).map((m) => ({
             id: m.hint.id,
             title: m.hint.title,

package/dist/codemod-assist.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codemod-assist.d.ts","sourceRoot":"","sources":["../src/codemod-assist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,eAAO,MAAM,qBAAqB,iCAAiC,CAAC;AAEpE,oBAAY,eAAe;IACzB,GAAG,QAAQ;IACX,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oDAAoD;IACpD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,IAAI,EAAE,eAAe,CAAC;IACtB,2DAA2D;IAC3D,eAAe,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;CAC7D;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,eAAe,CAAC;IACtB;;;OAGG;IACH,aAAa,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3D,yEAAyE;IACzE,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C;;OAEG;IACH,uBAAuB,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,2BAA2B;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,+BAA+B;IAC/B,IAAI,EAAE,eAAe,CAAC;CACvB;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,0CAA0C;IAC1C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,aAAa,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC/C,UAAU,EAAE;QACV,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1B,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,CAAC;IACF,uBAAuB,EAAE,MAAM,CAAC;IAChC,SAAS,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAClD,oFAAoF;IACpF,cAAc,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/C,+DAA+D;IAC/D,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAmGD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,mBAAmB,GAAG,oBAAoB,CAiGzF;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,kBAAkB,GAAG,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,CAO9G;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CA2ChF"}
+{"version":3,"file":"codemod-assist.d.ts","sourceRoot":"","sources":["../src/codemod-assist.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAC3D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAI7D,eAAO,MAAM,qBAAqB,iCAAiC,CAAC;AAEpE,oBAAY,eAAe;IACzB,GAAG,QAAQ;IACX,MAAM,WAAW;IACjB,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,oDAAoD;IACpD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,2CAA2C;IAC3C,IAAI,EAAE,eAAe,CAAC;IACtB,2DAA2D;IAC3D,eAAe,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;CAC7D;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,eAAe,CAAC;IACtB;;;OAGG;IACH,aAAa,CAAC,EAAE,SAAS;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3D,yEAAyE;IACzE,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C;;OAEG;IACH,uBAAuB,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,MAAM,WAAW,2BAA2B;IAC1C,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,+BAA+B;IAC/B,IAAI,EAAE,eAAe,CAAC;CACvB;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,OAAO,qBAAqB,CAAC;IACrC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,0CAA0C;IAC1C,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,aAAa,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC/C,UAAU,EAAE;QACV,GAAG,EAAE,SAAS,MAAM,EAAE,CAAC;QACvB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;QAC1B,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;QACxB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KAC5B,CAAC;IACF,uBAAuB,EAAE,MAAM,CAAC;IAChC,SAAS,EAAE,SAAS,2BAA2B,EAAE,CAAC;IAClD,oFAAoF;IACpF,cAAc,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/C,+DAA+D;IAC/D,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAmGD,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,mBAAmB,GAAG,oBAAoB,CAiGzF;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,kBAAkB,GAAG,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,CAO9G;AAED,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,oBAAoB,GAAG,MAAM,CA2ChF"}

package/dist/codemod-assist.js

@@ -1,3 +1,5 @@
+import { knowledgeRenameCommand } from "./knowledge-rename-command.js";
+import { KnowledgeRenameVerb } from "./knowledge-rename-verb.js";
 export const CODEMOD_ASSIST_SCHEMA = 'sharkcraft.codemod-assist/v1';
 export var CodemodRiskBand;
 (function (CodemodRiskBand) {
@@ -19,7 +21,7 @@ function defaultExternalTool(rule, fallback) {
         return 'eslint custom rule + autofix (when safe)';
     }
     if (tagsLower.has('boundaries') || tagsLower.has('architecture')) {
-        return 'manual review + targeted rename via shrk knowledge rename-symbol';
+        return `manual review + targeted rename via ${knowledgeRenameCommand(KnowledgeRenameVerb.RenameSymbol)}`;
     }
     return 'ts-morph (or manual edits when scope is small)';
 }

package/dist/comment-syntax.d.ts

@@ -0,0 +1,15 @@
+/**
+ * How a language writes a single-line / block comment — the line classifier
+ * `shrk stats` counts code / comment / blank lines with. One value per
+ * {@link IFileLanguage} (`file-languages.ts`).
+ */
+export declare enum CommentSyntax {
+    CFamily = "c-family",
+    Hash = "hash",
+    Html = "html",
+    Sql = "sql",
+    Lua = "lua",
+    Lisp = "lisp",
+    None = "none"
+}
+//# sourceMappingURL=comment-syntax.d.ts.map

package/dist/comment-syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comment-syntax.d.ts","sourceRoot":"","sources":["../src/comment-syntax.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,oBAAY,aAAa;IACvB,OAAO,aAAa;IACpB,IAAI,SAAS;IACb,IAAI,SAAS;IACb,GAAG,QAAQ;IACX,GAAG,QAAQ;IACX,IAAI,SAAS;IACb,IAAI,SAAS;CACd"}

package/dist/comment-syntax.js

@@ -0,0 +1,15 @@
+/**
+ * How a language writes a single-line / block comment — the line classifier
+ * `shrk stats` counts code / comment / blank lines with. One value per
+ * {@link IFileLanguage} (`file-languages.ts`).
+ */
+export var CommentSyntax;
+(function (CommentSyntax) {
+    CommentSyntax["CFamily"] = "c-family";
+    CommentSyntax["Hash"] = "hash";
+    CommentSyntax["Html"] = "html";
+    CommentSyntax["Sql"] = "sql";
+    CommentSyntax["Lua"] = "lua";
+    CommentSyntax["Lisp"] = "lisp";
+    CommentSyntax["None"] = "none";
+})(CommentSyntax || (CommentSyntax = {}));

package/dist/contribution-load-failures.d.ts

@@ -98,9 +98,25 @@ export declare function collectContributionRejections(inspection: ISharkcraftIns
 export declare function collectKindOutcomes(inspection: ISharkcraftInspection, kinds: readonly ContributionKind[]): Promise<IKindOutcomes>;
 /** The rejections of `kinds` only — {@link collectKindOutcomes} without the load failures. */
 export declare function collectKindRejections(inspection: ISharkcraftInspection, kinds: readonly ContributionKind[]): Promise<readonly IContributionEntryRejection[]>;
+/** The slot of a whole Markdown document — it has no export and no list position. */
+export declare const MARKDOWN_FILE_SLOT = "Markdown file";
+/**
+ * THE slot label of a refused entry (round 15 closing, A5): `default[8]` for a
+ * list item, the export name for a single-object export, and
+ * {@link MARKDOWN_FILE_SLOT} for a whole Markdown document (index `-1`, no
+ * export — a decision record, a Markdown knowledge file), which read
+ * `(default)` as if it were a module's default export. Every surface that names
+ * where a refused entry sits reads it.
+ */
+export declare function rejectedEntrySlot(r: Pick<IRejectedEntry, 'index' | 'exportName'> & {
+    readonly file?: string;
+}): string;
 /**
  * THE one wording of a rejected entry, used on every surface:
- * `'conv.b' (default[8]) — severity: severity must be one of: info, warning, error (got undefined)`.
+ * `'conv.b' (default[8]) — severity: severity must be one of: info, warning, error (got undefined)`,
+ * `(no id) (Markdown file) — frontmatter: …` for a Markdown document ({@link rejectedEntrySlot}).
  */
-export declare function formatEntryRejection(r: Pick<IRejectedEntry, 'entryId' | 'index' | 'exportName' | 'reasons'>): string;
+export declare function formatEntryRejection(r: Pick<IRejectedEntry, 'entryId' | 'index' | 'exportName' | 'reasons'> & {
+    readonly file?: string;
+}): string;
 //# sourceMappingURL=contribution-load-failures.d.ts.map

package/dist/contribution-load-failures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contribution-load-failures.d.ts","sourceRoot":"","sources":["../src/contribution-load-failures.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAU5D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAQlE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAGvE,MAAM,WAAW,wBAAwB;IACvC,qDAAqD;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2FAA2F;IAC3F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,kCAAkC;IAClC,QAAQ,CAAC,GAAG,EAAE,oBAAoB,GAAG,UAAU,CAAC;CACjD;AA8BD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,CAM9G;AAED,sHAAsH;AACtH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAG/E;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,SAAS;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAChG,wBAAwB,EAAE,CAe5B;AAED,8FAA8F;AAC9F,wBAAgB,8BAA8B,CAC5C,UAAU,EAAE,qBAAqB,EACjC,QAAQ,EAAE,SAAS,MAAM,EAAE,GAC1B,wBAAwB,EAAE,CAgB5B;AAED,6GAA6G;AAC7G,wBAAgB,cAAc,CAC5B,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,gBAAgB,EACtB,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,GAAG,GAAE,2BAA2B,CAAC,KAAK,CAAc,GACnD,2BAA2B,EAAE,CAM/B;AA6RD,0GAA0G;AAC1G,eAAO,MAAM,qBAAqB,EAAE,SAAS,gBAAgB,EAAqD,CAAC;AAEnH;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,UAAU,EAAE,qBAAqB,EACjC,OAAO,GAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAAO,GAC7D,OAAO,CAAC,iBAAiB,CAAC,CAwB5B;AAED;;;GAGG;AACH,wBAAsB,2BAA2B,CAC/C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,wBAAwB,EAAE,CAAC,CAE9C;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,qBAAqB,EACjC,gBAAgB,GAAE,SAAS,wBAAwB,EAAO,GACzD,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAqB/C;AAED;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAS9F,CAAC;AAIF;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAKnF;AAED;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,qBAAqB,EACjC,kBAAkB,GAAE,SAAS,2BAA2B,EAAO,GAC9D,SAAS,2BAA2B,EAAE,CAkBxC;AAED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,SAAS,gBAAgB,EAAE,GACjC,OAAO,CAAC,aAAa,CAAC,CAgBxB;AAED,8FAA8F;AAC9F,wBAAsB,qBAAqB,CACzC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,SAAS,gBAAgB,EAAE,GACjC,OAAO,CAAC,SAAS,2BAA2B,EAAE,CAAC,CAEjD;AAED;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,EAAE,IAAI,CAAC,cAAc,EAAE,SAAS,GAAG,OAAO,GAAG,YAAY,GAAG,SAAS,CAAC,GAAG,MAAM,CAIpH"}
+{"version":3,"file":"contribution-load-failures.d.ts","sourceRoot":"","sources":["../src/contribution-load-failures.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAU5D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qCAAqC,CAAC;AACvF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAQlE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAGvE,MAAM,WAAW,wBAAwB;IACvC,qDAAqD;IACrD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2FAA2F;IAC3F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,kCAAkC;IAClC,QAAQ,CAAC,GAAG,EAAE,oBAAoB,GAAG,UAAU,CAAC;CACjD;AA8BD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,CAM9G;AAED,sHAAsH;AACtH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAG/E;AAED;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,SAAS;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,EAAE,GAChG,wBAAwB,EAAE,CAe5B;AAED,8FAA8F;AAC9F,wBAAgB,8BAA8B,CAC5C,UAAU,EAAE,qBAAqB,EACjC,QAAQ,EAAE,SAAS,MAAM,EAAE,GAC1B,wBAAwB,EAAE,CAgB5B;AAED,6GAA6G;AAC7G,wBAAgB,cAAc,CAC5B,UAAU,EAAE,qBAAqB,EACjC,IAAI,EAAE,gBAAgB,EACtB,QAAQ,EAAE,SAAS,cAAc,EAAE,EACnC,GAAG,GAAE,2BAA2B,CAAC,KAAK,CAAc,GACnD,2BAA2B,EAAE,CAM/B;AA6RD,0GAA0G;AAC1G,eAAO,MAAM,qBAAqB,EAAE,SAAS,gBAAgB,EAAqD,CAAC;AAEnH;;;;;GAKG;AACH,wBAAsB,uBAAuB,CAC3C,UAAU,EAAE,qBAAqB,EACjC,OAAO,GAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAAO,GAC7D,OAAO,CAAC,iBAAiB,CAAC,CAwB5B;AAED;;;GAGG;AACH,wBAAsB,2BAA2B,CAC/C,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,wBAAwB,EAAE,CAAC,CAE9C;AAED;;;GAGG;AACH,wBAAgB,+BAA+B,CAC7C,UAAU,EAAE,qBAAqB,EACjC,gBAAgB,GAAE,SAAS,wBAAwB,EAAO,GACzD,WAAW,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAqB/C;AAED;;;;GAIG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAAQ,CAAC,MAAM,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAS9F,CAAC;AAIF;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAKnF;AAED;;;;;;GAMG;AACH,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,qBAAqB,EACjC,kBAAkB,GAAE,SAAS,2BAA2B,EAAO,GAC9D,SAAS,2BAA2B,EAAE,CAkBxC;AAED;;;;;;GAMG;AACH,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,SAAS,gBAAgB,EAAE,GACjC,OAAO,CAAC,aAAa,CAAC,CAgBxB;AAED,8FAA8F;AAC9F,wBAAsB,qBAAqB,CACzC,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,SAAS,gBAAgB,EAAE,GACjC,OAAO,CAAC,SAAS,2BAA2B,EAAE,CAAC,CAEjD;AAED,qFAAqF;AACrF,eAAO,MAAM,kBAAkB,kBAAkB,CAAC;AAElD;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,cAAc,EAAE,OAAO,GAAG,YAAY,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,MAAM,CAItH;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,CAAC,EAAE,IAAI,CAAC,cAAc,EAAE,SAAS,GAAG,OAAO,GAAG,YAAY,GAAG,SAAS,CAAC,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GACnG,MAAM,CAGR"}

package/dist/contribution-load-failures.js

@@ -564,12 +564,29 @@ export async function collectKindOutcomes(inspection, kinds) {
 export async function collectKindRejections(inspection, kinds) {
     return (await collectKindOutcomes(inspection, kinds)).rejections;
 }
+/** The slot of a whole Markdown document — it has no export and no list position. */
+export const MARKDOWN_FILE_SLOT = 'Markdown file';
+/**
+ * THE slot label of a refused entry (round 15 closing, A5): `default[8]` for a
+ * list item, the export name for a single-object export, and
+ * {@link MARKDOWN_FILE_SLOT} for a whole Markdown document (index `-1`, no
+ * export — a decision record, a Markdown knowledge file), which read
+ * `(default)` as if it were a module's default export. Every surface that names
+ * where a refused entry sits reads it.
+ */
+export function rejectedEntrySlot(r) {
+    if (r.index >= 0)
+        return `${r.exportName ?? ''}[${r.index}]`;
+    if (r.exportName !== undefined)
+        return r.exportName;
+    return r.file !== undefined && /\.(?:md|markdown)$/i.test(r.file) ? MARKDOWN_FILE_SLOT : 'default';
+}
 /**
  * THE one wording of a rejected entry, used on every surface:
- * `'conv.b' (default[8]) — severity: severity must be one of: info, warning, error (got undefined)`.
+ * `'conv.b' (default[8]) — severity: severity must be one of: info, warning, error (got undefined)`,
+ * `(no id) (Markdown file) — frontmatter: …` for a Markdown document ({@link rejectedEntrySlot}).
  */
 export function formatEntryRejection(r) {
     const who = r.entryId !== undefined ? `'${r.entryId}'` : '(no id)';
-    const where = r.index >= 0 ? `${r.exportName ?? ''}[${r.index}]` : (r.exportName ?? 'default');
-    return `${who} (${where}) — ${r.reasons.join('; ')}`;
+    return `${who} (${rejectedEntrySlot(r)}) — ${r.reasons.join('; ')}`;
 }

package/dist/contributions-report.js

@@ -206,7 +206,7 @@ export function renderContributionsByFileText(report) {
     for (const f of report.files) {
         lines.push(`  ${fileMark(f)} ${f.file}  ${f.kind}${f.packageName ? ` [${f.packageName}]` : ''}  ${fileSummary(f)}`);
         for (const r of f.rejected)
-            lines.push(`      rejected      ${formatEntryRejection(r)}`);
+            lines.push(`      rejected      ${formatEntryRejection({ ...r, file: f.file })}`);
         for (const g of f.unresolvableReferences) {
             lines.push(`      unresolvable  ${g.sourceId} ${g.field} → ${g.kind} ${g.ids.map((id) => `'${id}'`).join(', ')} — ${g.reason === 'undeclarable-kind' ? 'no registry can ever hold this kind' : "this kind's registry is empty here"}`);
         }
@@ -232,7 +232,7 @@ export function renderContributionsByFileMarkdown(report) {
         for (const f of detail) {
             lines.push(`- \`${f.file}\``);
             for (const r of f.rejected)
-                lines.push(`  - rejected: ${formatEntryRejection(r)}`);
+                lines.push(`  - rejected: ${formatEntryRejection({ ...r, file: f.file })}`);
             for (const g of f.unresolvableReferences) {
                 lines.push(`  - unresolvable: ${g.sourceId} ${g.field} → ${g.kind} ${g.ids.join(', ')} (${g.reason})`);
             }

package/dist/convention-applicability.d.ts

@@ -0,0 +1,46 @@
+import { ConventionAppliesToFilter, type IConvention } from '@shrkcrft/plugin-api';
+import { ConventionFilterLevel } from './convention-filter-level.js';
+import type { IConventionApplicability } from './i-convention-applicability.js';
+import type { IConventionScope } from './i-convention-scope.js';
+import type { ISharkcraftInspection } from './sharkcraft-inspector.js';
+/** Where each filter is decided — keyed by the enum, so a new filter without a level is a compile error. */
+export declare const CONVENTION_FILTER_LEVELS: Readonly<Record<ConventionAppliesToFilter, ConventionFilterLevel>>;
+/** The convention's declared values for `filter` — `[]` for an absent filter (or a non-list, which the loader refuses). */
+export declare function declaredAppliesTo(convention: IConvention, filter: ConventionAppliesToFilter): readonly string[];
+/**
+ * A file path as the per-file filters AND a rule's patterns read it:
+ * project-relative, `/`-separated, no leading `./`. `checkConventionsAgainstFiles`
+ * normalizes its file list through this once, so the scope test and every
+ * `filePattern` / `expectMatch` / `forbidMatch` regex see ONE spelling of a file
+ * (round 15 review: `--files ./src/a.ts` was covered by `fileGlobs: ['src/**']`
+ * here and then failed `filePattern: '^src/'` on the raw `./src/a.ts` — a false hit).
+ *
+ * The spelling is REALPATH-canonical (round 15 follow-up, F9): the file and the
+ * project root are both resolved through their symlinks before one is made
+ * relative to the other, so a symlinked absolute path (`/link/src/a.ts` with
+ * `/link → the project`, or macOS `/var/…` for a root at `/private/var/…`)
+ * behaves exactly like its target — it read `../link/src/a.ts`, which no
+ * `fileGlobs` selected, so the convention was silently not applicable. A path
+ * whose target lies OUTSIDE the project (an in-project symlink to a sibling
+ * checkout) keeps its lexical in-project spelling: that is where it is in scope.
+ */
+export declare function conventionFilePath(inspection: ISharkcraftInspection, file: string): string;
+/**
+ * Does `convention` apply here — to the workspace, and (given `file`) to that
+ * file? Without `file` only the workspace filters decide; the per-file ones
+ * are listed as `decided per file`. See the module doc for the table.
+ */
+export declare function conventionApplicability(convention: IConvention, inspection: ISharkcraftInspection, file?: string): IConventionApplicability;
+/**
+ * Which of `files` `convention` covers — per file through
+ * {@link conventionApplicability}, so `conventions check` and the rule-graph
+ * bridge (which both call this) cannot disagree.
+ *
+ * Not applicable when a workspace filter excludes it, or when `files` is
+ * non-empty and no file passes the per-file filters (the per-file reasons
+ * then count what each filter selected across the list). An EMPTY list keeps
+ * a workspace-applicable convention applicable over nothing — the caller's own
+ * empty-scope verdict decides that case.
+ */
+export declare function conventionScope(convention: IConvention, inspection: ISharkcraftInspection, files: readonly string[]): IConventionScope;
+//# sourceMappingURL=convention-applicability.d.ts.map

package/dist/convention-applicability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"convention-applicability.d.ts","sourceRoot":"","sources":["../src/convention-applicability.ts"],"names":[],"mappings":"AA8BA,OAAO,EAAE,yBAAyB,EAAE,KAAK,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAErE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAChE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,4GAA4G;AAC5G,eAAO,MAAM,wBAAwB,EAAE,QAAQ,CAAC,MAAM,CAAC,yBAAyB,EAAE,qBAAqB,CAAC,CAMtG,CAAC;AAWH,2HAA2H;AAC3H,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,yBAAyB,GAAG,SAAS,MAAM,EAAE,CAG/G;AAwCD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,qBAAqB,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAc1F;AAiED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,WAAW,EACvB,UAAU,EAAE,qBAAqB,EACjC,IAAI,CAAC,EAAE,MAAM,GACZ,wBAAwB,CAQ1B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,WAAW,EACvB,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,gBAAgB,CAkDlB"}

package/dist/convention-applicability.js

@@ -0,0 +1,247 @@
+/**
+ * THE convention applicability authority (round 15, 15.1).
+ *
+ * `IConventionAppliesTo` declares five filters; before this only `fileGlobs`
+ * was read — by two different matchers that disagreed (`conventions check`
+ * compiled `src/**\/*.ts` so it missed `src/a.ts` and ignored `!`; the
+ * rule-graph bridge dropped a convention with no `fileGlobs` that check
+ * enforced on every file). `profileIds`, `frameworks` and `languages` were
+ * validated, resolved by the doctor, and inert.
+ *
+ * Every surface now asks THIS module: `conventions check`, the rule-graph
+ * bridge, MCP `prepare_agent_task`, and the `conventions list / get / explain`
+ * display (which shows the answer and never hides an entry).
+ *
+ * Semantics — the pack-compatibility precedent (`pack-compatibility.ts`):
+ *   - within a filter, ANY listed value matches;
+ *   - EVERY declared filter must match;
+ *   - an absent or empty filter imposes no constraint.
+ *
+ *   | filter           | level     | matches when                                              |
+ *   |------------------|-----------|-----------------------------------------------------------|
+ *   | `profileIds`     | workspace | a listed id is in `inspection.workspace.profiles`         |
+ *   | `frameworks`     | workspace | a listed id is in `inspection.workspace.frameworks[].id`  |
+ *   | `languages`      | file      | the file's language (`fileLanguageOf`) is listed          |
+ *   | `fileGlobs`      | file      | `globListSelects(file, globs)` — `**` spans zero+ segments, `!` subtracts |
+ *   | `constructKinds` | reserved  | always (not evaluated; the loader warns)                  |
+ */
+import { realpathSync } from 'node:fs';
+import * as nodePath from 'node:path';
+import { globListSelects } from '@shrkcrft/boundaries';
+import { ConventionAppliesToFilter } from '@shrkcrft/plugin-api';
+import { ConventionFilterLevel } from "./convention-filter-level.js";
+import { fileLanguageOf } from "./file-languages.js";
+/** Where each filter is decided — keyed by the enum, so a new filter without a level is a compile error. */
+export const CONVENTION_FILTER_LEVELS = Object.freeze({
+    [ConventionAppliesToFilter.ProfileIds]: ConventionFilterLevel.Workspace,
+    [ConventionAppliesToFilter.Frameworks]: ConventionFilterLevel.Workspace,
+    [ConventionAppliesToFilter.Languages]: ConventionFilterLevel.File,
+    [ConventionAppliesToFilter.FileGlobs]: ConventionFilterLevel.File,
+    [ConventionAppliesToFilter.ConstructKinds]: ConventionFilterLevel.Reserved,
+});
+/** Reasons are listed workspace filters first, then per-file, then reserved. */
+const FILTER_ORDER = [
+    ConventionAppliesToFilter.ProfileIds,
+    ConventionAppliesToFilter.Frameworks,
+    ConventionAppliesToFilter.Languages,
+    ConventionAppliesToFilter.FileGlobs,
+    ConventionAppliesToFilter.ConstructKinds,
+];
+/** The convention's declared values for `filter` — `[]` for an absent filter (or a non-list, which the loader refuses). */
+export function declaredAppliesTo(convention, filter) {
+    const value = convention.appliesTo?.[filter];
+    return Array.isArray(value) ? value.filter((v) => typeof v === 'string') : [];
+}
+/** One realpath per distinct file per inspection — `conventionScope` judges every file once per per-file filter. */
+const SPELLINGS = new WeakMap();
+/**
+ * `abs` with every symlink resolved. A path that does not exist (a file a diff
+ * deleted, a path a test names) resolves through its nearest existing ancestor,
+ * so `/var/…/gone.ts` and `/private/var/…/gone.ts` still agree.
+ */
+function canonicalPath(abs) {
+    let head = abs;
+    const tail = [];
+    for (;;) {
+        try {
+            const real = realpathSync(head);
+            return tail.length > 0 ? nodePath.join(real, ...tail.reverse()) : real;
+        }
+        catch {
+            const parent = nodePath.dirname(head);
+            if (parent === head)
+                return abs;
+            tail.push(nodePath.basename(head));
+            head = parent;
+        }
+    }
+}
+/** The lexical spelling: project-relative for an absolute path, `/`-separated, no leading `./`. */
+function lexicalFilePath(projectRoot, file) {
+    let f = nodePath.isAbsolute(file) ? nodePath.relative(projectRoot, file) : file;
+    f = f.replace(/\\/g, '/');
+    while (f.startsWith('./'))
+        f = f.slice(2);
+    return f;
+}
+/**
+ * A file path as the per-file filters AND a rule's patterns read it:
+ * project-relative, `/`-separated, no leading `./`. `checkConventionsAgainstFiles`
+ * normalizes its file list through this once, so the scope test and every
+ * `filePattern` / `expectMatch` / `forbidMatch` regex see ONE spelling of a file
+ * (round 15 review: `--files ./src/a.ts` was covered by `fileGlobs: ['src/**']`
+ * here and then failed `filePattern: '^src/'` on the raw `./src/a.ts` — a false hit).
+ *
+ * The spelling is REALPATH-canonical (round 15 follow-up, F9): the file and the
+ * project root are both resolved through their symlinks before one is made
+ * relative to the other, so a symlinked absolute path (`/link/src/a.ts` with
+ * `/link → the project`, or macOS `/var/…` for a root at `/private/var/…`)
+ * behaves exactly like its target — it read `../link/src/a.ts`, which no
+ * `fileGlobs` selected, so the convention was silently not applicable. A path
+ * whose target lies OUTSIDE the project (an in-project symlink to a sibling
+ * checkout) keeps its lexical in-project spelling: that is where it is in scope.
+ */
+export function conventionFilePath(inspection, file) {
+    let cache = SPELLINGS.get(inspection);
+    if (!cache) {
+        cache = { realRoot: canonicalPath(nodePath.resolve(inspection.projectRoot)), files: new Map() };
+        SPELLINGS.set(inspection, cache);
+    }
+    const known = cache.files.get(file);
+    if (known !== undefined)
+        return known;
+    const real = canonicalPath(nodePath.resolve(inspection.projectRoot, file));
+    const rel = nodePath.relative(cache.realRoot, real);
+    const inside = rel.length > 0 && rel !== '..' && !rel.startsWith(`..${nodePath.sep}`) && !nodePath.isAbsolute(rel);
+    const spelled = inside ? rel.split(nodePath.sep).join('/') : lexicalFilePath(inspection.projectRoot, file);
+    cache.files.set(file, spelled);
+    return spelled;
+}
+function list(values) {
+    return `[${values.join(', ')}]`;
+}
+function reason(filter, declared, observed, matched, detail) {
+    return {
+        filter,
+        level: CONVENTION_FILTER_LEVELS[filter],
+        declared,
+        observed,
+        matched,
+        message: `appliesTo.${filter} ${list(declared)}: ${detail}`,
+    };
+}
+/** A workspace filter: any declared id among the detected ones. */
+function judgeWorkspace(filter, declared, detected, noun) {
+    const hit = declared.filter((d) => detected.includes(d));
+    if (hit.length > 0)
+        return reason(filter, declared, detected, true, `detected ${hit.join(', ')}`);
+    const seen = detected.length > 0 ? `detected: ${detected.join(', ')}` : `no ${noun} detected`;
+    return reason(filter, declared, detected, false, `none detected (${seen})`);
+}
+function judge(filter, declared, inspection, file) {
+    switch (filter) {
+        case ConventionAppliesToFilter.ProfileIds:
+            return judgeWorkspace(filter, declared, [...(inspection.workspace?.profiles ?? [])], 'profile');
+        case ConventionAppliesToFilter.Frameworks:
+            return judgeWorkspace(filter, declared, (inspection.workspace?.frameworks ?? []).map((f) => f.id), 'framework');
+        case ConventionAppliesToFilter.ConstructKinds:
+            return reason(filter, declared, [], true, 'reserved — not evaluated (the convention applies regardless)');
+        case ConventionAppliesToFilter.Languages: {
+            if (file === undefined)
+                return reason(filter, declared, [], true, 'decided per file');
+            const path = conventionFilePath(inspection, file);
+            const language = fileLanguageOf(path)?.id;
+            if (language === undefined)
+                return reason(filter, declared, [], false, `${path} has no known language`);
+            return reason(filter, declared, [language], declared.includes(language), `${path} is ${language}`);
+        }
+        case ConventionAppliesToFilter.FileGlobs: {
+            if (file === undefined)
+                return reason(filter, declared, [], true, 'decided per file');
+            const path = conventionFilePath(inspection, file);
+            const selected = globListSelects(path, declared);
+            return reason(filter, declared, [path], selected, `${selected ? 'selects' : 'does not select'} ${path}`);
+        }
+    }
+}
+/**
+ * Does `convention` apply here — to the workspace, and (given `file`) to that
+ * file? Without `file` only the workspace filters decide; the per-file ones
+ * are listed as `decided per file`. See the module doc for the table.
+ */
+export function conventionApplicability(convention, inspection, file) {
+    const reasons = [];
+    for (const filter of FILTER_ORDER) {
+        const declared = declaredAppliesTo(convention, filter);
+        if (declared.length === 0)
+            continue;
+        reasons.push(judge(filter, declared, inspection, file));
+    }
+    return { applicable: reasons.every((r) => r.matched), reasons };
+}
+/**
+ * Which of `files` `convention` covers — per file through
+ * {@link conventionApplicability}, so `conventions check` and the rule-graph
+ * bridge (which both call this) cannot disagree.
+ *
+ * Not applicable when a workspace filter excludes it, or when `files` is
+ * non-empty and no file passes the per-file filters (the per-file reasons
+ * then count what each filter selected across the list). An EMPTY list keeps
+ * a workspace-applicable convention applicable over nothing — the caller's own
+ * empty-scope verdict decides that case.
+ */
+export function conventionScope(convention, inspection, files) {
+    const conventionId = convention.id;
+    const workspace = conventionApplicability(convention, inspection);
+    if (!workspace.applicable)
+        return { conventionId, applicable: false, files: [], reasons: workspace.reasons };
+    const perFile = FILTER_ORDER.filter((f) => CONVENTION_FILTER_LEVELS[f] === ConventionFilterLevel.File && declaredAppliesTo(convention, f).length > 0);
+    if (perFile.length === 0 || files.length === 0) {
+        return { conventionId, applicable: true, files: [...files], reasons: workspace.reasons };
+    }
+    const covered = [];
+    const admitted = new Map();
+    const seen = new Map();
+    for (const file of files) {
+        const verdict = conventionApplicability(convention, inspection, file);
+        if (verdict.applicable)
+            covered.push(file);
+        for (const r of verdict.reasons) {
+            if (r.level !== ConventionFilterLevel.File)
+                continue;
+            if (r.matched)
+                admitted.set(r.filter, (admitted.get(r.filter) ?? 0) + 1);
+            if (r.filter === ConventionAppliesToFilter.Languages) {
+                const s = seen.get(r.filter) ?? new Set();
+                for (const o of r.observed)
+                    s.add(o);
+                seen.set(r.filter, s);
+            }
+        }
+    }
+    if (covered.length > 0)
+        return { conventionId, applicable: true, files: covered, reasons: workspace.reasons };
+    // No file passed: say, per declared per-file filter, what it selected across
+    // the list. A filter that admitted NO file excluded the convention (matched:
+    // false); one that admitted some did not (matched: true) — unless EVERY
+    // per-file filter admitted some file and none passed them all: then the
+    // intersection excluded it, and each filter says so. So the excluding reasons
+    // are never empty and never name a filter that excluded nothing (round 15
+    // review: `fileGlobs` read "selects 1 of 1 file(s)" as an excluding reason).
+    const n = files.length;
+    const intersectionOnly = perFile.every((filter) => (admitted.get(filter) ?? 0) > 0);
+    const together = intersectionOnly ? ' — but no file in scope passes every per-file filter together' : '';
+    const aggregated = perFile.map((filter) => {
+        const declared = declaredAppliesTo(convention, filter);
+        const count = admitted.get(filter) ?? 0;
+        const matched = count > 0 && !intersectionOnly;
+        if (filter === ConventionAppliesToFilter.Languages) {
+            const langs = [...(seen.get(filter) ?? new Set())].sort();
+            const detail = `${count} of ${n} file(s) in scope ${count === 1 ? 'is' : 'are'} a listed language (seen: ${langs.length > 0 ? langs.join(', ') : 'none known'})${together}`;
+            return reason(filter, declared, langs, matched, detail);
+        }
+        return reason(filter, declared, [], matched, `selects ${count} of ${n} file(s) in scope${together}`);
+    });
+    const workspaceReasons = workspace.reasons.filter((r) => r.level !== ConventionFilterLevel.File);
+    return { conventionId, applicable: false, files: [], reasons: [...workspaceReasons, ...aggregated] };
+}

package/dist/convention-filter-level.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Where an `appliesTo` filter is decided (round 15, 15.1) — see
+ * `conventionApplicability`.
+ */
+export declare enum ConventionFilterLevel {
+    /** Decided once per workspace, from what the workspace detectors saw (`profileIds`, `frameworks`). */
+    Workspace = "workspace",
+    /** Decided per file (`fileGlobs`, `languages`). */
+    File = "file",
+    /** Loaded and never evaluated — the convention applies regardless (`constructKinds`). */
+    Reserved = "reserved"
+}
+//# sourceMappingURL=convention-filter-level.d.ts.map

package/dist/convention-filter-level.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"convention-filter-level.d.ts","sourceRoot":"","sources":["../src/convention-filter-level.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,oBAAY,qBAAqB;IAC/B,sGAAsG;IACtG,SAAS,cAAc;IACvB,mDAAmD;IACnD,IAAI,SAAS;IACb,yFAAyF;IACzF,QAAQ,aAAa;CACtB"}

package/dist/convention-filter-level.js

@@ -0,0 +1,13 @@
+/**
+ * Where an `appliesTo` filter is decided (round 15, 15.1) — see
+ * `conventionApplicability`.
+ */
+export var ConventionFilterLevel;
+(function (ConventionFilterLevel) {
+    /** Decided once per workspace, from what the workspace detectors saw (`profileIds`, `frameworks`). */
+    ConventionFilterLevel["Workspace"] = "workspace";
+    /** Decided per file (`fileGlobs`, `languages`). */
+    ConventionFilterLevel["File"] = "file";
+    /** Loaded and never evaluated — the convention applies regardless (`constructKinds`). */
+    ConventionFilterLevel["Reserved"] = "reserved";
+})(ConventionFilterLevel || (ConventionFilterLevel = {}));

package/dist/convention-registry.d.ts

@@ -1,5 +1,6 @@
-import { type IConvention } from '@shrkcrft/plugin-api';
+import { ConventionSeverity, type IConvention } from '@shrkcrft/plugin-api';
 import type { ISharkcraftInspection } from './sharkcraft-inspector.js';
+import type { INotApplicableConvention } from './i-not-applicable-convention.js';
 import { type IRejectedEntry } from '@shrkcrft/core';
 export declare const CONVENTION_REGISTRY_SCHEMA = "sharkcraft.convention-registry/v1";
 export declare enum ConventionSource {
@@ -14,7 +15,7 @@ export interface IConventionEntry {
     readonly sourceFile: string;
 }
 export interface IConventionDoctorIssue {
-    readonly severity: 'info' | 'warning' | 'error';
+    readonly severity: ConventionSeverity;
     readonly code: string;
     readonly message: string;
     readonly conventionId?: string;
@@ -53,7 +54,7 @@ export interface IConventionCheckHit {
     readonly ruleId: string;
     readonly file: string;
     readonly line?: number;
-    readonly severity: 'info' | 'warning' | 'error';
+    readonly severity: ConventionSeverity;
     readonly message: string;
 }
 export interface IConventionCheckReport {
@@ -61,6 +62,30 @@ export interface IConventionCheckReport {
     readonly filesScanned: number;
     readonly hits: readonly IConventionCheckHit[];
     readonly verdict: 'clean' | 'has-violations';
+    /**
+     * Conventions that do not apply here (round 15, 15.1) — never evaluated, each
+     * with the `appliesTo` filters that excluded it. `conventions check` prints
+     * every one and accepts it explicitly (`acceptedBy: 'appliesTo'`).
+     */
+    readonly notApplicable: readonly INotApplicableConvention[];
+    /** How many files in scope each APPLICABLE convention covers, by id (round 15). */
+    readonly filesInScope: Readonly<Record<string, number>>;
 }
-export declare function checkConventionsAgainstFiles(inspection: ISharkcraftInspection, files: readonly string[]): Promise<IConventionCheckReport>;
+/**
+ * Run the loaded conventions against `files`. Which files a convention covers
+ * is `conventionScope` — THE applicability authority (round 15), the same one
+ * the rule-graph bridge reads — so every `appliesTo` filter scopes, `**`
+ * spans zero or more segments, and a `!` glob subtracts (a private matcher
+ * here missed `src/a.ts` under `src/**\/*.ts` and ignored `!`). A convention
+ * that does not apply is never evaluated and is reported in `notApplicable`.
+ *
+ * Per covered file, each rule: `filePattern` and `expectMatch` must match the
+ * path (a miss is a hit), `forbidMatch` must not (a match is a hit).
+ *
+ * Every file is read in ONE spelling — `conventionFilePath` (project-relative,
+ * `/`-separated, no `./`), the one the scope test reads — so a rule pattern
+ * never tests a spelling the glob did not, and a hit names that path (round 15
+ * review: `./src/a.ts` was covered by `src/**` and then failed `^src/`).
+ */
+export declare function checkConventionsAgainstFiles(inspection: ISharkcraftInspection, inputFiles: readonly string[]): Promise<IConventionCheckReport>;
 //# sourceMappingURL=convention-registry.d.ts.map

package/dist/convention-registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"convention-registry.d.ts","sourceRoot":"","sources":["../src/convention-registry.ts"],"names":[],"mappings":"AAOA,OAAO,EAEL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AAExB,eAAO,MAAM,0BAA0B,sCAAsC,CAAC;AAE9E,oBAAY,gBAAgB;IAC1B,KAAK,UAAU;IACf,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,sGAAsG;AACtG,MAAM,WAAW,mBAAmB;IAClC,wGAAwG;IACxG,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,oGAAoG;IACpG,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAMD;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,CAK1E;AAyBD,wBAAsB,eAAe,CACnC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC;IACT,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC1C,KAAK,EAAE,mBAAmB,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;CACrC,CAAC,CA0HD;AAED,wBAAsB,eAAe,CACnC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,gBAAgB,EAAE,CAAC,CAGtC;AAED,wBAAsB,cAAc,CAClC,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,CAGlC;AAED,wBAAsB,oBAAoB,CACxC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,sBAAsB,EAAE,CAAC,CAG5C;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,gCAAgC,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB,CAAC;CAC9C;AAiBD,wBAAsB,4BAA4B,CAChD,UAAU,EAAE,qBAAqB,EACjC,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,sBAAsB,CAAC,CAqCjC"}
+{"version":3,"file":"convention-registry.d.ts","sourceRoot":"","sources":["../src/convention-registry.ts"],"names":[],"mappings":"AAOA,OAAO,EACL,kBAAkB,EAElB,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AACjF,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AAExB,eAAO,MAAM,0BAA0B,sCAAsC,CAAC;AAE9E,oBAAY,gBAAgB;IAC1B,KAAK,UAAU;IACf,IAAI,SAAS;IACb,OAAO,YAAY;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,sGAAsG;AACtG,MAAM,WAAW,mBAAmB;IAClC,wGAAwG;IACxG,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,oGAAoG;IACpG,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC;AAMD;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,GAAG,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,CAK1E;AAyBD,wBAAsB,eAAe,CACnC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC;IACT,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,MAAM,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC1C,KAAK,EAAE,mBAAmB,CAAC;IAC3B;;;;;OAKG;IACH,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;CACrC,CAAC,CA0HD;AAED,wBAAsB,eAAe,CACnC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,gBAAgB,EAAE,CAAC,CAGtC;AAED,wBAAsB,cAAc,CAClC,UAAU,EAAE,qBAAqB,EACjC,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,CAGlC;AAED,wBAAsB,oBAAoB,CACxC,UAAU,EAAE,qBAAqB,GAChC,OAAO,CAAC,SAAS,sBAAsB,EAAE,CAAC,CAG5C;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,gCAAgC,CAAC;IAClD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,mBAAmB,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB,CAAC;IAC7C;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,SAAS,wBAAwB,EAAE,CAAC;IAC5D,mFAAmF;IACnF,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACzD;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,4BAA4B,CAChD,UAAU,EAAE,qBAAqB,EACjC,UAAU,EAAE,SAAS,MAAM,EAAE,GAC5B,OAAO,CAAC,sBAAsB,CAAC,CAmEjC"}