archcheck 0.2.0

package/dist/contracts/judgement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"judgement.d.ts","sourceRoot":"","sources":["../../src/contracts/judgement.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAwB,IAAI,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,KAAK,EAAE,YAAY,EAAoC,MAAM,YAAY,CAAC;AAEjF,MAAM,MAAM,eAAe,GAAG;IAC5B,iFAAiF;IACjF,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IAC7B,QAAQ,EAAE;QACR,mDAAmD;QACnD,IAAI,EAAE,MAAM,EAAE,CAAC;QACf,+CAA+C;QAC/C,IAAI,EAAE,MAAM,EAAE,CAAC;KAChB,CAAC;IACF,2FAA2F;IAC3F,IAAI,EAAE,MAAM,CAAC;CACd,CAAC;AAEF,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,eAAe,CAE7D;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAGvF;AAED,kEAAkE;AAClE,wBAAgB,mBAAmB,IAAI,OAAO,CAE7C;AA+FD,eAAO,MAAM,iBAAiB,EAAE,YAM/B,CAAC"}

package/dist/contracts/judgement.js

@@ -0,0 +1,109 @@
+/**
+ * The `judgement` kind — rules in plain English, with enough structure to be checkable.
+ *
+ * What rule this enforces, and why each field is REQUIRED rather than optional:
+ *
+ * - `examples` are the quality lever. A rule with a sentence and no examples flags everything,
+ *   people stop reading the advisory stream, and the whole tier dies. The validator refuses to
+ *   load one, which is the only moment anybody is willing to write examples.
+ * - `cite` forces falsifiability. The model must return the span it judged, and a verdict with no
+ *   citation is discarded by the probe. That removes most confident-sounding noise for free.
+ *
+ * Severity is POLICED, not forced. Setting a judgement rule to `error` is allowed — it is policy,
+ * not a type constraint — but it emits a warning naming the rule, so promoting one is a visible
+ * act rather than a quiet default. `confidence` is forced to `model` regardless of what the
+ * manifest says, because a judgement rule is not deterministic however it is labelled.
+ */
+import { err, ok } from '../result.js';
+import { matchesAny } from '../util/glob.js';
+export function asJudgementParams(rule) {
+    return rule.params;
+}
+export function judgementApplies(params, relativePath) {
+    const globs = typeof params.appliesTo === 'string' ? [params.appliesTo] : params.appliesTo;
+    return matchesAny(globs, relativePath);
+}
+/** `confidence` is not the manifest's to decide for this kind. */
+export function effectiveConfidence() {
+    return 'model';
+}
+function validateParams(rule, _ctx) {
+    const params = rule.params;
+    const errors = [];
+    if (typeof params.statement !== 'string' || params.statement.trim().length === 0) {
+        errors.push('params.statement is required — the rule in one plain-English sentence');
+    }
+    const appliesTo = params.appliesTo;
+    const globs = typeof appliesTo === 'string' ? [appliesTo] : appliesTo;
+    if (!Array.isArray(globs) || globs.length === 0 || !globs.every((g) => typeof g === 'string')) {
+        errors.push('params.appliesTo is required — a path glob, or a list of them');
+    }
+    const examples = params.examples;
+    const isNonEmptyStrings = (value) => Array.isArray(value) &&
+        value.length > 0 &&
+        value.every((v) => typeof v === 'string' && v.trim().length > 0);
+    if (!isNonEmptyStrings(examples?.pass)) {
+        errors.push('params.examples.pass is required — at least one example that must NOT be flagged. ' +
+            'A judgement rule with no examples flags everything, and the advisory stream dies');
+    }
+    if (!isNonEmptyStrings(examples?.fail)) {
+        errors.push('params.examples.fail is required — at least one example that MUST be flagged. ' +
+            'Without it nothing proves the rule can fire');
+    }
+    if (typeof params.cite !== 'string' || params.cite.trim().length === 0) {
+        errors.push('params.cite is required — what the model must quote to justify a verdict. ' +
+            'A verdict with no citation is discarded, which is what keeps this tier honest');
+    }
+    return errors.length > 0 ? err(errors) : ok(undefined);
+}
+/** Policed at load: allowed, but never quiet. */
+function warnAboutRule(rule) {
+    const warnings = [];
+    if (rule.severity === 'error' || rule.severity === 'warn') {
+        warnings.push(`${rule.id}: a judgement rule at severity '${rule.severity}' can block a build on a ` +
+            'non-deterministic verdict. That is allowed — it is policy — but it is the fastest way ' +
+            "for a check suite to lose trust. The default is 'advisory'.");
+    }
+    if (rule.confidence !== 'model') {
+        warnings.push(`${rule.id}: confidence '${rule.confidence}' is ignored for a judgement rule — it is always 'model'.`);
+    }
+    return warnings;
+}
+function emitFragments(rule, _ctx) {
+    const params = asJudgementParams(rule);
+    return [
+        {
+            // The model sink: what the judge reads. Emitted so the prompt is reviewable as a committed
+            // artefact rather than assembled invisibly at run time.
+            target: 'test',
+            ruleId: rule.id,
+            content: {
+                judge: true,
+                statement: params.statement,
+                files: typeof params.appliesTo === 'string' ? [params.appliesTo] : params.appliesTo,
+                examples: params.examples,
+                cite: params.cite,
+                message: `${rule.statement} — ${rule.remedy.summary}`,
+            },
+        },
+    ];
+}
+function explainFinding(finding, rule, _ctx) {
+    const evidence = finding.evidence;
+    return [
+        rule.statement,
+        `  ${finding.file}${finding.line === undefined ? '' : `:${finding.line}`}`,
+        `  cited: ${String(evidence.cited ?? '')}`,
+        `  the judge said: ${String(evidence.reason ?? '')}`,
+        `  → ${rule.remedy.summary}`,
+        '  (advisory: a model decided this, so treat it as a prompt to look, not a verdict)',
+    ].join('\n');
+}
+export const judgementContract = {
+    kind: 'judgement',
+    validate: validateParams,
+    warn: warnAboutRule,
+    emit: emitFragments,
+    explain: explainFinding,
+};
+//# sourceMappingURL=judgement.js.map

package/dist/contracts/judgement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"judgement.js","sourceRoot":"","sources":["../../src/contracts/judgement.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AAEpD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAiB7C,MAAM,UAAU,iBAAiB,CAAC,IAAU;IAC1C,OAAO,IAAI,CAAC,MAAoC,CAAC;AACnD,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAuB,EAAE,YAAoB;IAC5E,MAAM,KAAK,GAAG,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC;IAC3F,OAAO,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AACzC,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,mBAAmB;IACjC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,IAAU,EAAE,IAAiB;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAiC,CAAC;IACtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC;IACvF,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC9F,MAAM,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,QAA0D,CAAC;IACnF,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAE,EAAE,CAC3C,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAEnE,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,IAAI,CACT,oFAAoF;YAClF,kFAAkF,CACrF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QACvC,MAAM,CAAC,IAAI,CACT,gFAAgF;YAC9E,6CAA6C,CAChD,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,CAAC,IAAI,CACT,4EAA4E;YAC1E,+EAA+E,CAClF,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,iDAAiD;AACjD,SAAS,aAAa,CAAC,IAAU;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;QAC1D,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,EAAE,mCAAmC,IAAI,CAAC,QAAQ,2BAA2B;YACnF,wFAAwF;YACxF,6DAA6D,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;QAChC,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,EAAE,iBAAiB,IAAI,CAAC,UAAU,2DAA2D,CACtG,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,aAAa,CAAC,IAAU,EAAE,IAAa;IAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO;QACL;YACE,2FAA2F;YAC3F,wDAAwD;YACxD,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EAAE;gBACP,KAAK,EAAE,IAAI;gBACX,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,KAAK,EAAE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS;gBACnF,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,IAAI,EAAE,MAAM,CAAC,IAAI;gBACjB,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;aACtD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,OAAmB,EAAE,IAAU,EAAE,IAAgB;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAmC,CAAC;IAC7D,OAAO;QACL,IAAI,CAAC,SAAS;QACd,KAAK,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE;QAC1E,YAAY,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE;QAC1C,qBAAqB,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,CAAC,EAAE;QACpD,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;QAC5B,oFAAoF;KACrF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAiB;IAC7C,IAAI,EAAE,WAAW;IACjB,QAAQ,EAAE,cAAc;IACxB,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,aAAa;IACnB,OAAO,EAAE,cAAc;CACxB,CAAC"}

package/dist/contracts/layers.d.ts

@@ -0,0 +1,75 @@
+/**
+ * The `layers` kind — the dependency law.
+ *
+ * What rule this enforces: no module imports a module it is not declared to reach. Stated that
+ * precisely on purpose: "dependency direction is one-way" is the intent, and this is the part a
+ * machine can decide.
+ *
+ * DEFAULT DENY is a property of this kind, not a setting. Resolution order for an edge A → B:
+ *
+ *   1. A and B in the same layer            → allowed
+ *   2. B is external                        → allowed (a separate rule governs dependencies)
+ *   3. B's layer ∈ A's layer.mayImport      → allowed
+ *   4. anything else                        → VIOLATION
+ *   5. A matches no layer                   → VIOLATION: unlayered, a different message
+ *
+ * Case 5 matters more than it looks. A new folder nobody declared fails on its first commit
+ * rather than being silently legal, and that is the property that makes a rule set complete
+ * rather than merely non-empty.
+ *
+ * What a caller must know: one rule declares ONE layer, and the layer table is the set of all
+ * `layers` rules. A violation is attributed to the SOURCE layer's rule, because the source is
+ * what has to change.
+ */
+import { describeMatch, type LayerMatch } from '../graph/match.js';
+import type { Rule } from '../types.js';
+import type { ContractType } from './types.js';
+export type LayersParams = {
+    name: string;
+    match: LayerMatch;
+    /** Layer names this layer may import, or `'*'` for the composition root. */
+    mayImport: string[] | '*';
+    /**
+     * Exactly one `layers` rule owns the unlayered-file report. It needs an owner because a file
+     * that matches nothing has, by definition, no layer rule of its own to be attributed to — and
+     * a finding with no rule id has no statement, no remedy and no baseline entry.
+     */
+    catchesUnlayered?: boolean;
+    /** Exempt `import type` edges. Off by default: a type-only edge is still a dependency. */
+    ignoreTypeOnly?: boolean;
+};
+export type Layer = {
+    ruleId: string;
+    name: string;
+    match: LayerMatch;
+    mayImport: string[] | '*';
+    ignoreTypeOnly: boolean;
+};
+export type LayerTable = {
+    layers: readonly Layer[];
+    /** The rule id that owns the unlayered report, or undefined when no layers rule is active. */
+    unlayeredOwner: string | undefined;
+};
+export declare function asLayersParams(rule: Rule): LayersParams;
+/** The layer table is the SET of layers rules — default deny cannot be decided from one. */
+export declare function buildLayerTable(rules: readonly Rule[]): LayerTable;
+export type EdgeVerdict = {
+    allowed: true;
+} | {
+    allowed: false;
+    ruleId: string;
+    fromLayer: string;
+    toLayer: string;
+    mayImport: readonly string[];
+};
+/**
+ * The whole decision, as a pure function of layer names. No paths, no AST, no I/O — so the
+ * resolution order above is testable line by line without a fixture repo.
+ */
+export declare function resolveEdge(table: LayerTable, fromLayer: Layer | undefined, toLayerName: string | undefined, edge: {
+    external: boolean;
+    typeOnly: boolean;
+}): EdgeVerdict;
+export declare const layersContract: ContractType;
+export { describeMatch };
+//# sourceMappingURL=layers.d.ts.map

package/dist/contracts/layers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layers.d.ts","sourceRoot":"","sources":["../../src/contracts/layers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,aAAa,EAAmC,KAAK,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpG,OAAO,KAAK,EAAwB,IAAI,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAgD,MAAM,YAAY,CAAC;AAE7F,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,UAAU,CAAC;IAClB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAC1B;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,0FAA0F;IAC1F,cAAc,CAAC,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC;IAC1B,cAAc,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,MAAM,EAAE,SAAS,KAAK,EAAE,CAAC;IACzB,8FAA8F;IAC9F,cAAc,EAAE,MAAM,GAAG,SAAS,CAAC;CACpC,CAAC;AAEF,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY,CAEvD;AAED,4FAA4F;AAC5F,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,UAAU,CAgBlE;AAED,MAAM,MAAM,WAAW,GACnB;IAAE,OAAO,EAAE,IAAI,CAAA;CAAE,GACjB;IACE,OAAO,EAAE,KAAK,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9B,CAAC;AAEN;;;GAGG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,UAAU,EACjB,SAAS,EAAE,KAAK,GAAG,SAAS,EAC5B,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,IAAI,EAAE;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GAC7C,WAAW,CAqBb;AA0LD,eAAO,MAAM,cAAc,EAAE,YAM5B,CAAC;AAEF,OAAO,EAAE,aAAa,EAAE,CAAC"}

package/dist/contracts/layers.js

@@ -0,0 +1,244 @@
+/**
+ * The `layers` kind — the dependency law.
+ *
+ * What rule this enforces: no module imports a module it is not declared to reach. Stated that
+ * precisely on purpose: "dependency direction is one-way" is the intent, and this is the part a
+ * machine can decide.
+ *
+ * DEFAULT DENY is a property of this kind, not a setting. Resolution order for an edge A → B:
+ *
+ *   1. A and B in the same layer            → allowed
+ *   2. B is external                        → allowed (a separate rule governs dependencies)
+ *   3. B's layer ∈ A's layer.mayImport      → allowed
+ *   4. anything else                        → VIOLATION
+ *   5. A matches no layer                   → VIOLATION: unlayered, a different message
+ *
+ * Case 5 matters more than it looks. A new folder nobody declared fails on its first commit
+ * rather than being silently legal, and that is the property that makes a rule set complete
+ * rather than merely non-empty.
+ *
+ * What a caller must know: one rule declares ONE layer, and the layer table is the set of all
+ * `layers` rules. A violation is attributed to the SOURCE layer's rule, because the source is
+ * what has to change.
+ */
+import { describeMatch, isImplementsMatch, isValidMatch } from '../graph/match.js';
+import { err, ok } from '../result.js';
+export function asLayersParams(rule) {
+    return rule.params;
+}
+/** The layer table is the SET of layers rules — default deny cannot be decided from one. */
+export function buildLayerTable(rules) {
+    const active = rules.filter((rule) => rule.kind === 'layers' && rule.severity !== 'off');
+    const layers = active.map((rule) => {
+        const params = asLayersParams(rule);
+        return {
+            ruleId: rule.id,
+            name: params.name,
+            match: params.match,
+            mayImport: params.mayImport,
+            ignoreTypeOnly: params.ignoreTypeOnly === true,
+        };
+    });
+    const owner = active.find((rule) => asLayersParams(rule).catchesUnlayered === true)?.id ??
+        (active.length === 1 ? active[0]?.id : undefined);
+    return { layers, unlayeredOwner: owner };
+}
+/**
+ * The whole decision, as a pure function of layer names. No paths, no AST, no I/O — so the
+ * resolution order above is testable line by line without a fixture repo.
+ */
+export function resolveEdge(table, fromLayer, toLayerName, edge) {
+    if (edge.external)
+        return { allowed: true };
+    if (fromLayer === undefined)
+        return { allowed: true };
+    if (fromLayer.ignoreTypeOnly && edge.typeOnly)
+        return { allowed: true };
+    if (toLayerName === undefined) {
+        // The target is internal but declared by nobody. Its own `unlayered` finding is the report:
+        // declaring the missing layer is the fix, and blaming the importer would send a reader to the
+        // wrong file.
+        return { allowed: true };
+    }
+    if (toLayerName === fromLayer.name)
+        return { allowed: true };
+    if (fromLayer.mayImport === '*')
+        return { allowed: true };
+    if (fromLayer.mayImport.includes(toLayerName))
+        return { allowed: true };
+    void table;
+    return {
+        allowed: false,
+        ruleId: fromLayer.ruleId,
+        fromLayer: fromLayer.name,
+        toLayer: toLayerName,
+        mayImport: fromLayer.mayImport,
+    };
+}
+/**
+ * Derive import-path patterns for a layer, for the lint sink. A layer matched by `implements`
+ * has no path form, so it contributes nothing here and the graph sink carries it alone — stated
+ * rather than silently dropped.
+ */
+function pathPatternsFor(layer) {
+    if (isImplementsMatch(layer.match))
+        return [];
+    const globs = typeof layer.match === 'string' ? [layer.match] : layer.match;
+    return globs.filter((glob) => !glob.startsWith('!'));
+}
+function validateParams(rule, ctx) {
+    const params = rule.params;
+    const errors = [];
+    if (typeof params.name !== 'string' || params.name.length === 0) {
+        errors.push('params.name is required — a layer needs a name to be referred to');
+    }
+    if (!isValidMatch(params.match)) {
+        errors.push("params.match must be a glob, a list of globs, or { implements: 'PortName' } " +
+            `(got ${JSON.stringify(params.match)})`);
+    }
+    const mayImport = params.mayImport;
+    if (mayImport !== '*' && !Array.isArray(mayImport)) {
+        errors.push("params.mayImport must be a list of layer names, or '*' for the composition root");
+    }
+    else if (Array.isArray(mayImport)) {
+        const known = new Set(ctx.rules
+            .filter((other) => other.kind === 'layers')
+            .map((other) => other.params.name)
+            .filter((name) => typeof name === 'string'));
+        for (const name of mayImport) {
+            if (typeof name !== 'string') {
+                errors.push(`params.mayImport contains ${JSON.stringify(name)}, which is not a layer name`);
+            }
+            else if (!known.has(name)) {
+                errors.push(`params.mayImport names an unknown layer '${name}' — known layers are ${[...known].sort().join(', ')}`);
+            }
+            else if (name === params.name) {
+                errors.push(`params.mayImport lists its own layer '${name}' — a layer always reaches itself`);
+            }
+        }
+    }
+    const owners = ctx.rules.filter((other) => other.kind === 'layers' &&
+        other.severity !== 'off' &&
+        other.params.catchesUnlayered === true);
+    const activeLayers = ctx.rules.filter((other) => other.kind === 'layers' && other.severity !== 'off');
+    if (owners.length > 1) {
+        errors.push(`params.catchesUnlayered is set on ${owners.length} rules (${owners.map((o) => o.id).join(', ')}) — ` +
+            'exactly one layers rule owns the unlayered-file report');
+    }
+    else if (owners.length === 0 && activeLayers.length > 1) {
+        errors.push('no layers rule sets params.catchesUnlayered — one must, or a folder nobody declared is ' +
+            'silently legal, which is the failure default-deny exists to prevent');
+    }
+    return errors.length > 0 ? err(errors) : ok(undefined);
+}
+function emitFragments(rule, ctx) {
+    const table = buildLayerTable(ctx.rules);
+    const self = table.layers.find((layer) => layer.ruleId === rule.id);
+    if (!self)
+        return [];
+    const fragments = [
+        {
+            target: 'graph',
+            ruleId: rule.id,
+            content: {
+                layer: self.name,
+                match: self.match,
+                mayImport: self.mayImport,
+                ignoreTypeOnly: self.ignoreTypeOnly,
+                catchesUnlayered: table.unlayeredOwner === rule.id,
+                statement: rule.statement,
+            },
+        },
+    ];
+    const selfPatterns = pathPatternsFor(self);
+    if (selfPatterns.length === 0 || self.mayImport === '*')
+        return fragments;
+    const forbidden = table.layers
+        .filter((other) => other.name !== self.name && !self.mayImport.includes(other.name))
+        .flatMap((other) => pathPatternsFor(other).map((glob) => ({ layer: other.name, glob })));
+    if (forbidden.length === 0)
+        return fragments;
+    // The statement goes INTO the message. This is the fix for the biggest problem the review
+    // found: the editor squiggle shows the architecture's own sentence, not a rule name.
+    fragments.push({
+        target: 'lint',
+        ruleId: rule.id,
+        content: {
+            files: selfPatterns,
+            forbid: 'import-path-matching',
+            patterns: forbidden.map((entry) => entry.glob).sort(),
+            forbiddenLayers: [...new Set(forbidden.map((entry) => entry.layer))].sort(),
+            message: `${rule.statement} — ${rule.remedy.summary}`,
+        },
+    });
+    return fragments;
+}
+function explainFinding(finding, rule, ctx) {
+    const evidence = finding.evidence;
+    const fromLayer = String(evidence.fromLayer ?? '?');
+    const toLayer = evidence.toLayer === undefined ? undefined : String(evidence.toLayer);
+    // From the manifest, never from evidence — see ExplainCtx.
+    const params = asLayersParams(rule);
+    const allowed = params.mayImport === '*' ? ['anything'] : (params.mayImport ?? []);
+    if (evidence.unlayered === true) {
+        const declared = buildLayerTable(ctx.rules)
+            .layers.map((layer) => layer.name)
+            .sort()
+            .join(', ');
+        return [
+            `${finding.file} belongs to no declared layer`,
+            `  declared layers: ${declared}`,
+            `  → ${rule.remedy.summary}`,
+        ].join('\n');
+    }
+    return [
+        `${fromLayer} may not import ${toLayer ?? 'that'}`,
+        `  ${finding.file} → ${String(evidence.to ?? '')}`,
+        `  ${fromLayer} may import: ${allowed.length > 0 ? allowed.join(', ') : 'nothing'}`,
+        `  → ${rule.remedy.summary}`,
+    ].join('\n');
+}
+/**
+ * Case 5 of the resolution order needs its own words. "domain may import only contracts and rules"
+ * is true but irrelevant to a file that matched no layer, and "invert the call" is the wrong fix.
+ */
+function refineFinding(finding, rule, ctx) {
+    const evidence = finding.evidence;
+    if (evidence.unlayered === true) {
+        const declared = buildLayerTable(ctx.rules)
+            .layers.map((layer) => layer.name)
+            .sort()
+            .join(', ');
+        return {
+            statement: `${finding.file} belongs to no declared layer`,
+            remedy: {
+                // Deliberately no `allowed` list here. The declared layers go in the sentence instead:
+                // labelling them "allowed" would say this file may import them, which is not the problem.
+                summary: `declare the layer this path belongs to in architecture.config.ts (declared so far: ` +
+                    `${declared}), or move the file into one of them`,
+            },
+        };
+    }
+    const fromLayer = evidence.fromLayer;
+    const toLayer = evidence.toLayer;
+    if (typeof fromLayer === 'string' && typeof toLayer === 'string') {
+        const params = asLayersParams(rule);
+        return {
+            statement: `${fromLayer} may not import ${toLayer}`,
+            remedy: {
+                ...rule.remedy,
+                allowed: params.mayImport === '*' ? ['anything'] : (params.mayImport ?? []),
+            },
+        };
+    }
+    return undefined;
+}
+export const layersContract = {
+    kind: 'layers',
+    validate: validateParams,
+    emit: emitFragments,
+    explain: explainFinding,
+    refine: refineFinding,
+};
+export { describeMatch };
+//# sourceMappingURL=layers.js.map

package/dist/contracts/layers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layers.js","sourceRoot":"","sources":["../../src/contracts/layers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,YAAY,EAAmB,MAAM,mBAAmB,CAAC;AACpG,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AAiCpD,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,MAAiC,CAAC;AAChD,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,eAAe,CAAC,KAAsB;IACpD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC;IACzF,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACjC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,cAAc,EAAE,MAAM,CAAC,cAAc,KAAK,IAAI;SAC/C,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GACT,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,gBAAgB,KAAK,IAAI,CAAC,EAAE,EAAE;QACzE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;AAC3C,CAAC;AAYD;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,KAAiB,EACjB,SAA4B,EAC5B,WAA+B,EAC/B,IAA8C;IAE9C,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC5C,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACtD,IAAI,SAAS,CAAC,cAAc,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxE,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC9B,4FAA4F;QAC5F,8FAA8F;QAC9F,cAAc;QACd,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,IAAI,WAAW,KAAK,SAAS,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC7D,IAAI,SAAS,CAAC,SAAS,KAAK,GAAG;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IAC1D,IAAI,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;IACxE,KAAK,KAAK,CAAC;IACX,OAAO;QACL,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,SAAS,EAAE,SAAS,CAAC,IAAI;QACzB,OAAO,EAAE,WAAW;QACpB,SAAS,EAAE,SAAS,CAAC,SAAS;KAC/B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,KAAY;IACnC,IAAI,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IAC5E,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,cAAc,CAAC,IAAU,EAAE,GAAgB;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAiC,CAAC;IACtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CACT,8EAA8E;YAC5E,QAAQ,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAC1C,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,IAAI,SAAS,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAC;IACjG,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,GAAG,CAAC,KAAK;aACN,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;aAC1C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAE,KAAK,CAAC,MAAkC,CAAC,IAAI,CAAC;aAC9D,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAC9D,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC7B,MAAM,CAAC,IAAI,CAAC,6BAA6B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;YAC9F,CAAC;iBAAM,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,MAAM,CAAC,IAAI,CACT,4CAA4C,IAAI,wBAAwB,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACvG,CAAC;YACJ,CAAC;iBAAM,IAAI,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CACT,yCAAyC,IAAI,mCAAmC,CACjF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAC7B,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,QAAQ,KAAK,KAAK;QACvB,KAAK,CAAC,MAAkC,CAAC,gBAAgB,KAAK,IAAI,CACtE,CAAC;IACF,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CACnC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAC/D,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,CACT,qCAAqC,MAAM,CAAC,MAAM,WAAW,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM;YACnG,wDAAwD,CAC3D,CAAC;IACJ,CAAC;SAAM,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,CAAC,IAAI,CACT,yFAAyF;YACvF,qEAAqE,CACxE,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,aAAa,CAAC,IAAU,EAAE,GAAY;IAC7C,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IAErB,MAAM,SAAS,GAAe;QAC5B;YACE,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EAAE;gBACP,KAAK,EAAE,IAAI,CAAC,IAAI;gBAChB,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,cAAc,EAAE,IAAI,CAAC,cAAc;gBACnC,gBAAgB,EAAE,KAAK,CAAC,cAAc,KAAK,IAAI,CAAC,EAAE;gBAClD,SAAS,EAAE,IAAI,CAAC,SAAS;aAC1B;SACF;KACF,CAAC;IAEF,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,KAAK,GAAG;QAAE,OAAO,SAAS,CAAC;IAE1E,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM;SAC3B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;SACnF,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3F,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAE7C,0FAA0F;IAC1F,qFAAqF;IACrF,SAAS,CAAC,IAAI,CAAC;QACb,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,IAAI,CAAC,EAAE;QACf,OAAO,EAAE;YACP,KAAK,EAAE,YAAY;YACnB,MAAM,EAAE,sBAAsB;YAC9B,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;YACrD,eAAe,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE;YAC3E,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;SACtD;KACF,CAAC,CAAC;IAEH,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,OAAmB,EAAE,IAAU,EAAE,GAAe;IACtE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAmC,CAAC;IAC7D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACtF,2DAA2D;IAC3D,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAEnF,IAAI,QAAQ,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC;aACxC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;aACjC,IAAI,EAAE;aACN,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO;YACL,GAAG,OAAO,CAAC,IAAI,+BAA+B;YAC9C,sBAAsB,QAAQ,EAAE;YAChC,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;SAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC;IAED,OAAO;QACL,GAAG,SAAS,mBAAmB,OAAO,IAAI,MAAM,EAAE;QAClD,KAAK,OAAO,CAAC,IAAI,MAAM,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE;QAClD,KAAK,SAAS,gBAAgB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE;QACnF,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;KAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,OAAmB,EAAE,IAAU,EAAE,GAAe;IACrE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAmC,CAAC;IAC7D,IAAI,QAAQ,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC;aACxC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC;aACjC,IAAI,EAAE;aACN,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO;YACL,SAAS,EAAE,GAAG,OAAO,CAAC,IAAI,+BAA+B;YACzD,MAAM,EAAE;gBACN,uFAAuF;gBACvF,0FAA0F;gBAC1F,OAAO,EACL,qFAAqF;oBACrF,GAAG,QAAQ,sCAAsC;aACpD;SACF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;IACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IACjC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QACjE,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACpC,OAAO;YACL,SAAS,EAAE,GAAG,SAAS,mBAAmB,OAAO,EAAE;YACnD,MAAM,EAAE;gBACN,GAAG,IAAI,CAAC,MAAM;gBACd,OAAO,EAAE,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC;aAC5E;SACF,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAiB;IAC1C,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,cAAc;IACxB,IAAI,EAAE,aAAa;IACnB,OAAO,EAAE,cAAc;IACvB,MAAM,EAAE,aAAa;CACtB,CAAC;AAEF,OAAO,EAAE,aAAa,EAAE,CAAC"}

package/dist/contracts/naming.d.ts

@@ -0,0 +1,21 @@
+import type { Rule } from '../types.js';
+import type { ContractType } from './types.js';
+/** What is being named. */
+export type NamingTarget = 'files' | 'exports' | 'both';
+export type NamingParams = {
+    /** Path globs. A leading `!` excludes, so entry points can be carved out. */
+    appliesTo: string | string[];
+    target?: NamingTarget;
+    /** A regular expression the name must match. */
+    pattern?: string;
+    /** Sugar for the commonest case: the name must start with one of these. */
+    prefixes?: string[];
+};
+export declare function asNamingParams(rule: Rule): NamingParams;
+export declare function appliesToGlobs(appliesTo: string | string[]): string[];
+export declare function namingApplies(params: NamingParams, relativePath: string): boolean;
+/** True when the name is acceptable. */
+export declare function nameIsWellFormed(params: NamingParams, name: string): boolean;
+export declare function describeExpectation(params: NamingParams): string;
+export declare const namingContract: ContractType;
+//# sourceMappingURL=naming.d.ts.map

package/dist/contracts/naming.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"naming.d.ts","sourceRoot":"","sources":["../../src/contracts/naming.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAwB,IAAI,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,KAAK,EAAE,YAAY,EAAgD,MAAM,YAAY,CAAC;AAE7F,2BAA2B;AAC3B,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAExD,MAAM,MAAM,YAAY,GAAG;IACzB,6EAA6E;IAC7E,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IAC7B,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,gDAAgD;IAChD,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2EAA2E;IAC3E,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;CACrB,CAAC;AAEF,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,YAAY,CAEvD;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,MAAM,EAAE,CAErE;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,GAAG,OAAO,CAEjF;AAED,wCAAwC;AACxC,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAO5E;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAOhE;AAgFD,eAAO,MAAM,cAAc,EAAE,YAM5B,CAAC"}

package/dist/contracts/naming.js

@@ -0,0 +1,120 @@
+/**
+ * The `naming` kind. Thirty-one of the ninety-one rules land in this kind and the next, which makes
+ * these two the highest coverage per unit of work in the whole plan set (plan 12).
+ *
+ * What rule this enforces: hook `use` prefix, twin factories (`createMemory*`), selectors
+ * (`select*`), boolean prefixes, filenames, test-id casing. All of them are "this name must look
+ * like this", so all of them are one kind.
+ *
+ * What a caller must know: `appliesTo` is a path GLOB (which files this rule looks at) and
+ * `pattern` is a REGULAR EXPRESSION (what the name must look like). Two different jobs, so two
+ * different languages — a glob cannot say "camelCase", and a regex over paths reads badly.
+ * `remedy.autofix` stays false: renaming an export is a change to every caller.
+ */
+import { err, ok } from '../result.js';
+import { matchesAny } from '../util/glob.js';
+export function asNamingParams(rule) {
+    return rule.params;
+}
+export function appliesToGlobs(appliesTo) {
+    return typeof appliesTo === 'string' ? [appliesTo] : appliesTo;
+}
+export function namingApplies(params, relativePath) {
+    return matchesAny(appliesToGlobs(params.appliesTo), relativePath);
+}
+/** True when the name is acceptable. */
+export function nameIsWellFormed(params, name) {
+    if (params.prefixes && params.prefixes.length > 0) {
+        if (params.prefixes.some((prefix) => name.startsWith(prefix)))
+            return true;
+        if (params.pattern === undefined)
+            return false;
+    }
+    if (params.pattern === undefined)
+        return true;
+    return new RegExp(params.pattern).test(name);
+}
+export function describeExpectation(params) {
+    const parts = [];
+    if (params.prefixes && params.prefixes.length > 0) {
+        parts.push(`start with ${params.prefixes.map((p) => `'${p}'`).join(' or ')}`);
+    }
+    if (params.pattern !== undefined)
+        parts.push(`match /${params.pattern}/`);
+    return parts.join(', or ');
+}
+function validateParams(rule, _ctx) {
+    const params = rule.params;
+    const errors = [];
+    const appliesTo = params.appliesTo;
+    const globs = typeof appliesTo === 'string' ? [appliesTo] : appliesTo;
+    if (!Array.isArray(globs) || globs.length === 0 || !globs.every((g) => typeof g === 'string')) {
+        errors.push('params.appliesTo is required — a path glob, or a list of them');
+    }
+    if (params.target !== undefined &&
+        !['files', 'exports', 'both'].includes(String(params.target))) {
+        errors.push(`params.target must be files | exports | both (got ${JSON.stringify(params.target)})`);
+    }
+    const hasPattern = typeof params.pattern === 'string' && params.pattern.length > 0;
+    const hasPrefixes = Array.isArray(params.prefixes) && params.prefixes.length > 0;
+    if (!hasPattern && !hasPrefixes) {
+        errors.push('params needs a pattern or prefixes — a naming rule with neither matches nothing');
+    }
+    if (hasPattern) {
+        try {
+            new RegExp(params.pattern);
+        }
+        catch (error) {
+            errors.push(`params.pattern is not a valid regular expression: ${error.message}`);
+        }
+    }
+    if (params.prefixes !== undefined && !Array.isArray(params.prefixes)) {
+        errors.push('params.prefixes must be a list of strings');
+    }
+    return errors.length > 0 ? err(errors) : ok(undefined);
+}
+function emitFragments(rule, _ctx) {
+    const params = asNamingParams(rule);
+    return [
+        {
+            target: 'lint',
+            ruleId: rule.id,
+            content: {
+                files: appliesToGlobs(params.appliesTo),
+                forbid: 'name-not-matching',
+                target: params.target ?? 'exports',
+                ...(params.pattern === undefined ? {} : { pattern: params.pattern }),
+                ...(params.prefixes === undefined ? {} : { prefixes: params.prefixes }),
+                // The statement goes into the message, so the editor shows the rule's own sentence.
+                message: `${rule.statement} — ${rule.remedy.summary}`,
+                autofix: false,
+            },
+        },
+    ];
+}
+function explainFinding(finding, rule, _ctx) {
+    const evidence = finding.evidence;
+    const what = evidence.namedThing === 'file' ? 'file' : 'export';
+    return [
+        `${what} '${String(evidence.name)}' does not follow the naming rule`,
+        `  ${finding.file}`,
+        `  expected: ${describeExpectation(asNamingParams(rule))}`,
+        `  → ${rule.remedy.summary}`,
+    ].join('\n');
+}
+function refineFinding(finding, rule) {
+    const evidence = finding.evidence;
+    const what = evidence.namedThing === 'file' ? 'file' : 'export';
+    return {
+        statement: `${what} '${String(evidence.name)}' must ${describeExpectation(asNamingParams(rule))}`,
+        remedy: { ...rule.remedy, autofix: false },
+    };
+}
+export const namingContract = {
+    kind: 'naming',
+    validate: validateParams,
+    emit: emitFragments,
+    explain: explainFinding,
+    refine: refineFinding,
+};
+//# sourceMappingURL=naming.js.map

package/dist/contracts/naming.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"naming.js","sourceRoot":"","sources":["../../src/contracts/naming.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AAEpD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAgB7C,MAAM,UAAU,cAAc,CAAC,IAAU;IACvC,OAAO,IAAI,CAAC,MAAiC,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,SAA4B;IACzD,OAAO,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAoB,EAAE,YAAoB;IACtE,OAAO,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAC;AACpE,CAAC;AAED,wCAAwC;AACxC,MAAM,UAAU,gBAAgB,CAAC,MAAoB,EAAE,IAAY;IACjE,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QAC3E,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC9C,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAoB;IACtD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CAAC,IAAU,EAAE,IAAiB;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAiC,CAAC;IACtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC9F,MAAM,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IAC/E,CAAC;IAED,IACE,MAAM,CAAC,MAAM,KAAK,SAAS;QAC3B,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAC7D,CAAC;QACD,MAAM,CAAC,IAAI,CACT,qDAAqD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CACtF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IACnF,MAAM,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IACjF,IAAI,CAAC,UAAU,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC;YACH,IAAI,MAAM,CAAC,MAAM,CAAC,OAAiB,CAAC,CAAC;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,qDAAsD,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/F,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,aAAa,CAAC,IAAU,EAAE,IAAa;IAC9C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO;QACL;YACE,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EAAE;gBACP,KAAK,EAAE,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC;gBACvC,MAAM,EAAE,mBAAmB;gBAC3B,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,SAAS;gBAClC,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;gBACpE,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACvE,oFAAoF;gBACpF,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;gBACrD,OAAO,EAAE,KAAK;aACf;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,OAAmB,EAAE,IAAU,EAAE,IAAgB;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAmC,CAAC;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,OAAO;QACL,GAAG,IAAI,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,mCAAmC;QACpE,KAAK,OAAO,CAAC,IAAI,EAAE;QACnB,eAAe,mBAAmB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE;QAC1D,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;KAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,OAAmB,EAAE,IAAU;IACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAmC,CAAC;IAC7D,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;IAChE,OAAO;QACL,SAAS,EAAE,GAAG,IAAI,KAAK,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,mBAAmB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,EAAE;QACjG,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE;KAC3C,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,cAAc,GAAiB;IAC1C,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,cAAc;IACxB,IAAI,EAAE,aAAa;IACnB,OAAO,EAAE,cAAc;IACvB,MAAM,EAAE,aAAa;CACtB,CAAC"}

package/dist/contracts/registry.d.ts

@@ -0,0 +1,23 @@
+/**
+ * kind → ContractType.
+ *
+ * What a caller must know: a kind in the closed set of eight that has no entry here is not a
+ * config error. It validates, it counts toward coverage, and the run records a skip saying no
+ * probe handles it. That is deliberate: rejecting a `judgement` rule on a version that has not
+ * shipped the model probe would force a consumer to delete rules in order to upgrade, and the
+ * honest report is "declared, not checked yet" — which is exactly what `skipped` is for.
+ */
+import { type Result } from '../result.js';
+import type { ContractKind, Rule } from '../types.js';
+import type { ContractType } from './types.js';
+export declare function contractFor(kind: ContractKind): ContractType | undefined;
+export declare function implementedKinds(): readonly ContractKind[];
+/**
+ * The ParamsValidator the registry needs, wired to the kinds. Injected by the facade, which is the
+ * only place that knows both halves — the registry knows a rule has a kind, and only a kind knows
+ * what its params mean.
+ */
+export declare function validateParamsByKind(rule: Rule, rules: readonly Rule[]): Result<void>;
+/** Things that load fine but somebody should see. Printed by the CLI, never silently dropped. */
+export declare function warningsFor(rules: readonly Rule[]): string[];
+//# sourceMappingURL=registry.d.ts.map

package/dist/contracts/registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/contracts/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAM,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAQtD,OAAO,KAAK,EAAE,YAAY,EAAe,MAAM,YAAY,CAAC;AAc5D,wBAAgB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,YAAY,GAAG,SAAS,CAExE;AAED,wBAAgB,gBAAgB,IAAI,SAAS,YAAY,EAAE,CAE1D;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAGrF;AAED,iGAAiG;AACjG,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,MAAM,EAAE,CAG5D"}