@goodbones/oxlint 0.1.0-beta.1 → 0.1.0-beta.10

package/build/esm/members-rule.js

@@ -1,59 +1,5 @@
 import { evaluateMemberSite, formatMessage, memberRulesSelecting, } from "@goodbones/core";
-import { toRepoRelative, } from "./oxlint-api.js";
-const isMemberList = (value) => Array.isArray(value);
-// The member shapes that carry a name a vocabulary rule can speak about: a
-// property or method signature in a type, a property, method or accessor in a
-// class. Mirrors the CLI's `isNamedMember`.
-const DECLARED_MEMBER_TYPES = new Set([
-    "TSPropertySignature",
-    "TSMethodSignature",
-    "PropertyDefinition",
-    "MethodDefinition",
-    "TSAbstractPropertyDefinition",
-    "TSAbstractMethodDefinition",
-]);
-// The type literals written in a type, through intersections, unions and
-// parentheses. A reference is not followed: its members are declared where it
-// is, and reported there under its own name. Mirrors the CLI's `literalsOf`.
-const literalsOf = (node) => {
-    if (node === null || node === undefined)
-        return [];
-    switch (node.type) {
-        case "TSTypeLiteral":
-            return [node];
-        case "TSIntersectionType":
-        case "TSUnionType":
-            return (node.types ?? []).flatMap(literalsOf);
-        case "TSParenthesizedType":
-            return literalsOf(node.typeAnnotation);
-        default:
-            return [];
-    }
-};
-const nameOf = (node) => {
-    if (node === null || node === undefined)
-        return null;
-    if (typeof node.name === "string")
-        return node.name;
-    return typeof node.value === "string" ? node.value : null;
-};
-// The name a call is made by: `f()` and `x.f()` are both `f`. `x[f]()` and
-// `x["f"]()` are not — a computed property is not a name a vocabulary rule can
-// speak about — and neither is a private `x.#f()`. The CLI reads the same
-// three cases out of TypeScript's tree; the parity suite keeps them agreeing.
-const calleeName = (node) => {
-    const callee = node.callee;
-    if (callee === null || callee === undefined)
-        return null;
-    if (callee.type === "Identifier" && typeof callee.name === "string")
-        return callee.name;
-    if (callee.type !== "MemberExpression" || callee.computed === true)
-        return null;
-    const property = callee.property;
-    if (property?.type !== "Identifier")
-        return null;
-    return nameOf(property);
-};
+import { at, factsOfProgram, toRepoRelative, } from "./oxlint-api.js";
 export const makeMembersRule = (policy) => ({
     meta: {
         type: "problem",
@@ -65,36 +11,8 @@ export const makeMembersRule = (policy) => ({
     createOnce(context) {
         let file = "";
         let selected = [];
-        const report = (node, name, declaration) => {
-            const violations = evaluateMemberSite(selected, {
-                file,
-                subject: declaration === undefined ? "calls" : "members",
-                name,
-                ...(declaration === undefined
-                    ? {}
-                    : { in: declaration.name, declares: declaration.declares }),
-            });
-            for (const violation of violations) {
-                if (policy.baseline.isBaselined(violation))
-                    continue;
-                context.report({ node, message: formatMessage(violation) });
-            }
-        };
-        // The members written in a declaration, under that declaration's name and
-        // kind. A computed key is not a name a vocabulary rule can speak about;
-        // neither is a private `#name`, an index, call or construct signature, or
-        // a constructor.
-        const declared = (declaration, declares, members) => {
-            for (const member of members) {
-                if (member.computed === true || !DECLARED_MEMBER_TYPES.has(member.type))
-                    continue;
-                if (member.key?.type === "PrivateIdentifier" || member.kind === "constructor")
-                    continue;
-                const name = nameOf(member.key);
-                if (name !== null)
-                    report(member.key ?? member, name, { name: declaration, declares });
-            }
-        };
+        // A declared member is reported at its key, a call at the call — the nodes
+        // the pack's reader hands back with each site.
         return {
             before() {
                 file = toRepoRelative(policy.repoRoot, context.filename);
@@ -103,35 +21,15 @@ export const makeMembersRule = (policy) => ({
                 selected = memberRulesSelecting(policy.memberRules, file);
                 return selected.length > 0;
             },
-            TSTypeAliasDeclaration(node) {
-                const declaration = nameOf(node.id);
-                if (declaration === null)
-                    return;
-                for (const literal of literalsOf(node.typeAnnotation)) {
-                    declared(declaration, "type", literal.members ?? []);
+            Program(node) {
+                for (const site of factsOfProgram(file, node).memberSites) {
+                    for (const violation of evaluateMemberSite(selected, site)) {
+                        if (policy.baseline.isBaselined(violation))
+                            continue;
+                        context.report({ node: at(site.node), message: formatMessage(violation) });
+                    }
                 }
             },
-            TSInterfaceDeclaration(node) {
-                const declaration = nameOf(node.id);
-                const members = node.body?.body;
-                if (declaration === null || !isMemberList(members))
-                    return;
-                declared(declaration, "interface", members);
-            },
-            // A named class only, as the CLI reads it: an anonymous default class has
-            // no name for `in`, and a class expression is a value.
-            ClassDeclaration(node) {
-                const declaration = nameOf(node.id);
-                const members = node.body?.body;
-                if (declaration === null || !isMemberList(members))
-                    return;
-                declared(declaration, "class", members);
-            },
-            CallExpression(node) {
-                const name = calleeName(node);
-                if (name !== null)
-                    report(node, name);
-            },
         };
     },
 });

package/build/esm/members-rule.js.map

@@ -1 +1 @@
-{"version":3,"file":"members-rule.js","sourceRoot":"","sources":["../../src/members-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,kBAAkB,EAClB,aAAa,EAEb,oBAAoB,GACrB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAIL,cAAc,GACf,MAAM,iBAAiB,CAAC;AAuCzB,MAAM,YAAY,GAAG,CAAC,KAAc,EAAsC,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAalG,2EAA2E;AAC3E,8EAA8E;AAC9E,4CAA4C;AAC5C,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,qBAAqB;IACrB,mBAAmB;IACnB,oBAAoB;IACpB,kBAAkB;IAClB,8BAA8B;IAC9B,4BAA4B;CAC7B,CAAC,CAAC;AAEH,yEAAyE;AACzE,8EAA8E;AAC9E,6EAA6E;AAC7E,MAAM,UAAU,GAAG,CAAC,IAAiC,EAA2B,EAAE;IAChF,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,aAAa;YAChB,OAAO,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAChD,KAAK,qBAAqB;YACxB,OAAO,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACzC;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,MAAM,GAAG,CAAC,IAAkC,EAAiB,EAAE;IACnE,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACpD,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC,CAAC;AAEF,2EAA2E;AAC3E,+EAA+E;AAC/E,0EAA0E;AAC1E,8EAA8E;AAC9E,MAAM,UAAU,GAAG,CAAC,IAAc,EAAiB,EAAE;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACzD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC;IACxF,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChF,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjC,IAAI,QAAQ,EAAE,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAoB,EAAc,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE;QACJ,IAAI,EAAE,SAAkB;QACxB,IAAI,EAAE;YACJ,WAAW,EACT,6FAA6F;SAChG;QACD,MAAM,EAAE,EAAE;KACX;IAED,UAAU,CAAC,OAAoB;QAC7B,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,QAAQ,GAAsC,EAAE,CAAC;QAErD,MAAM,MAAM,GAAG,CACb,IAAoB,EACpB,IAAY,EACZ,WAA2E,EACrE,EAAE;YACR,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,EAAE;gBAC9C,IAAI;gBACJ,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;gBACxD,IAAI;gBACJ,GAAG,CAAC,WAAW,KAAK,SAAS;oBAC3B,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,QAAQ,EAAE,CAAC;aAC9D,CAAC,CAAC;YACH,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC;oBAAE,SAAS;gBACrD,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC,CAAC;QAEF,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,iBAAiB;QACjB,MAAM,QAAQ,GAAG,CACf,WAAmB,EACnB,QAAyB,EACzB,OAAkC,EAC5B,EAAE;YACR,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAClF,IAAI,MAAM,CAAC,GAAG,EAAE,IAAI,KAAK,mBAAmB,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;oBAAE,SAAS;gBACxF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAChC,IAAI,IAAI,KAAK,IAAI;oBAAE,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;YACzF,CAAC;QACH,CAAC,CAAC;QAEF,OAAO;YACL,MAAM;gBACJ,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACzD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxC,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAC1D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7B,CAAC;YAED,sBAAsB,CAAC,IAAmB;gBACxC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpC,IAAI,WAAW,KAAK,IAAI;oBAAE,OAAO;gBACjC,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;oBACtD,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;gBACvD,CAAC;YACH,CAAC;YAED,sBAAsB,CAAC,IAAmB;gBACxC,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;gBAChC,IAAI,WAAW,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC;oBAAE,OAAO;gBAC3D,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;YAC9C,CAAC;YAED,0EAA0E;YAC1E,uDAAuD;YACvD,gBAAgB,CAAC,IAAe;gBAC9B,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACpC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;gBAChC,IAAI,WAAW,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC;oBAAE,OAAO;gBAC3D,QAAQ,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;YAED,cAAc,CAAC,IAAc;gBAC3B,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC9B,IAAI,IAAI,KAAK,IAAI;oBAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACxC,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}
+{"version":3,"file":"members-rule.js","sourceRoot":"","sources":["../../src/members-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,kBAAkB,EAClB,aAAa,EAEb,oBAAoB,GACrB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,EAAE,EACF,cAAc,EAId,cAAc,GACf,MAAM,iBAAiB,CAAC;AAEzB,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAoB,EAAc,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE;QACJ,IAAI,EAAE,SAAkB;QACxB,IAAI,EAAE;YACJ,WAAW,EACT,6FAA6F;SAChG;QACD,MAAM,EAAE,EAAE;KACX;IAED,UAAU,CAAC,OAAoB;QAC7B,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,QAAQ,GAAsC,EAAE,CAAC;QAErD,2EAA2E;QAC3E,+CAA+C;QAC/C,OAAO;YACL,MAAM;gBACJ,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACzD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxC,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAC1D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7B,CAAC;YACD,OAAO,CAAC,IAAa;gBACnB,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;oBAC1D,KAAK,MAAM,SAAS,IAAI,kBAAkB,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;wBAC3D,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC;4BAAE,SAAS;wBACrD,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;oBAC7E,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/build/esm/oxlint-api.js

@@ -1,24 +1,26 @@
 import * as path from "node:path";
+import { readProgram, } from "@goodbones/typescript";
 export const toRepoRelative = (repoRoot, filename) => path.relative(repoRoot, filename).replaceAll(path.sep, "/");
-export const specifierOf = (node) => {
-    const value = node.source?.value;
-    return typeof value === "string" ? value : null;
-};
-export const requireSpecifierOf = (node) => {
-    if (node.callee?.type !== "Identifier" || node.callee.name !== "require")
-        return null;
-    const [first] = node.arguments ?? [];
-    return first?.type === "Literal" && typeof first.value === "string" ? first.value : null;
-};
-export const importExpressionSpecifierOf = (node) => {
-    const source = node.source;
-    return source?.type === "Literal" && typeof source.value === "string" ? source.value : null;
-};
-export const importEqualsSpecifierOf = (node) => {
-    const reference = node.moduleReference;
-    if (reference?.type !== "TSExternalModuleReference")
-        return null;
-    const value = reference.expression?.value;
-    return typeof value === "string" ? value : null;
+// A diagnostic is placed by the node's range, which every node of oxlint's
+// tree carries; a node from another parse carries `start` and `end`.
+export const at = (node) => ({
+    range: node.range ?? [node.start, node.end],
+});
+// The facts of one file, read once and shared by every rule that runs on it:
+// oxlint deserialises a file's tree once and hands the same `Program` to each
+// rule, so the tree is the key.
+const read = new WeakMap();
+export const factsOfProgram = (file, program) => {
+    const found = read.get(program);
+    if (found !== undefined)
+        return found;
+    // oxlint's node types are `@oxc-project/types`' with `parent` required on
+    // every node — the same tree, generated from the same source. Each node
+    // type assigns on its own; the compiler gives up relating the two
+    // ~190-member recursive unions as wholes, so the boundary is asserted once,
+    // here. The parity suite is what proves the trees are one.
+    const facts = readProgram(file, program);
+    read.set(program, facts);
+    return facts;
 };
 //# sourceMappingURL=oxlint-api.js.map

package/build/esm/oxlint-api.js.map

@@ -1 +1 @@
-{"version":3,"file":"oxlint-api.js","sourceRoot":"","sources":["../../src/oxlint-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAkBlC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAU,EAAE,CAC3E,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE9D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAgB,EAAiB,EAAE;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC;IACjC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC,CAAC;AAyBF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAc,EAAiB,EAAE;IAClE,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACtF,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;IACrC,OAAO,KAAK,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3F,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,IAA0B,EAAiB,EAAE;IACvF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,OAAO,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9F,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,IAAsB,EAAiB,EAAE;IAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC;IACvC,IAAI,SAAS,EAAE,IAAI,KAAK,2BAA2B;QAAE,OAAO,IAAI,CAAC;IACjE,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC;IAC1C,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAClD,CAAC,CAAC"}
+{"version":3,"file":"oxlint-api.js","sourceRoot":"","sources":["../../src/oxlint-api.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAGL,WAAW,GAEZ,MAAM,uBAAuB,CAAC;AAiB/B,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAU,EAAE,CAC3E,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAE9D,2EAA2E;AAC3E,qEAAqE;AACrE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAgB,EAAkB,EAAE,CAAC,CAAC;IACvD,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;CAC5C,CAAC,CAAC;AAEH,6EAA6E;AAC7E,8EAA8E;AAC9E,gCAAgC;AAChC,MAAM,IAAI,GAAG,IAAI,OAAO,EAAsB,CAAC;AAE/C,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAE,OAAgB,EAAa,EAAE;IAC1E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,0EAA0E;IAC1E,wEAAwE;IACxE,kEAAkE;IAClE,4EAA4E;IAC5E,2DAA2D;IAC3D,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,OAAsB,CAAC,CAAC;IACxD,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/build/esm/plugin.js

@@ -1,4 +1,5 @@
-import { DEFAULT_CONFIG_FILENAME, loadPolicyFromFile } from "./config-loader.js";
+import { makeCampaignsRule } from "./campaigns-rule.js";
+import { loadPolicyFromFile } from "./config-loader.js";
 import { makeExportsRule } from "./exports-rule.js";
 import { makeImportsRule } from "./imports-rule.js";
 import { makeMembersRule } from "./members-rule.js";
@@ -9,7 +10,7 @@ import { makeSurfaceRule } from "./surface-rule.js";
 // out of the import and fails the run — which is the point: a plugin that came
 // up with no policy would report nothing and be indistinguishable from a clean
 // codebase.
-const policy = await loadPolicyFromFile(process.env.ARCHITECTURE_ROOT ?? process.cwd(), process.env.ARCHITECTURE_CONFIG ?? DEFAULT_CONFIG_FILENAME);
+const policy = await loadPolicyFromFile(process.env.ARCHITECTURE_ROOT ?? process.cwd(), process.env.ARCHITECTURE_CONFIG);
 // A manifest written in a shape on its way out still loads; it says so once,
 // here, rather than on every file.
 for (const notice of policy.notices) {
@@ -21,6 +22,7 @@ export const rules = {
     members: makeMembersRule(policy),
     structure: makeStructureRule(policy),
     surface: makeSurfaceRule(policy),
+    campaigns: makeCampaignsRule(policy),
 };
 const plugin = {
     meta: { name: "architecture" },

package/build/esm/plugin.js.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../../src/plugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,gFAAgF;AAChF,gFAAgF;AAChF,+EAA+E;AAC/E,+EAA+E;AAC/E,YAAY;AACZ,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,OAAO,CAAC,GAAG,EAAE,EAC9C,OAAO,CAAC,GAAG,CAAC,mBAAmB,IAAI,uBAAuB,CAC3D,CAAC;AAEF,6EAA6E;AAC7E,mCAAmC;AACnC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;IACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,MAAM,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAMd;IACF,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;IAChC,SAAS,EAAE,iBAAiB,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,GAA+E;IACzF,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE;IAC9B,KAAK;CACN,CAAC;AAEF,eAAe,MAAM,CAAC"}
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../../src/plugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEpD,gFAAgF;AAChF,gFAAgF;AAChF,+EAA+E;AAC/E,+EAA+E;AAC/E,YAAY;AACZ,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,OAAO,CAAC,GAAG,EAAE,EAC9C,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAChC,CAAC;AAEF,6EAA6E;AAC7E,mCAAmC;AACnC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;IACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,MAAM,IAAI,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,CAAC,MAAM,KAAK,GAOd;IACF,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;IAChC,SAAS,EAAE,iBAAiB,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,eAAe,CAAC,MAAM,CAAC;IAChC,SAAS,EAAE,iBAAiB,CAAC,MAAM,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,GAA+E;IACzF,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE;IAC9B,KAAK;CACN,CAAC;AAEF,eAAe,MAAM,CAAC"}

package/build/esm/surface-rule.js

@@ -1,122 +1,5 @@
 import { evaluateSurface, formatMessage, surfaceRulesSelecting, } from "@goodbones/core";
-import { toRepoRelative, } from "./oxlint-api.js";
-const isStatementList = (value) => Array.isArray(value);
-const nameOf = (node) => {
-    if (node === null || node === undefined)
-        return null;
-    if (typeof node.name === "string")
-        return node.name;
-    return typeof node.value === "string" ? node.value : null;
-};
-// The identifiers a binding pattern introduces.
-const patternNames = (pattern) => {
-    if (pattern === null || pattern === undefined)
-        return [];
-    switch (pattern.type) {
-        case "Identifier":
-            return typeof pattern.name === "string" ? [pattern.name] : [];
-        case "ObjectPattern":
-            return (pattern.properties ?? []).flatMap((property) => patternNames(property.value ?? property.argument));
-        case "ArrayPattern":
-            return (pattern.elements ?? []).flatMap(patternNames);
-        case "AssignmentPattern":
-            return patternNames(pattern.left);
-        case "RestElement":
-            return patternNames(pattern.argument);
-        default:
-            return [];
-    }
-};
-// The names a declaration statement introduces, with what it declares them as.
-const declaredNamesOf = (statement) => {
-    const named = (declares) => {
-        const name = nameOf(statement.id);
-        return name === null ? [] : [[name, declares]];
-    };
-    switch (statement.type) {
-        case "FunctionDeclaration":
-            return named("function");
-        case "ClassDeclaration":
-            return named("class");
-        case "VariableDeclaration":
-            return (statement.declarations ?? []).flatMap((declaration) => patternNames(declaration.id).map((name) => [name, "variable"]));
-        case "TSTypeAliasDeclaration":
-            return named("type");
-        case "TSInterfaceDeclaration":
-            return named("interface");
-        case "TSEnumDeclaration":
-            return named("enum");
-        case "TSModuleDeclaration":
-            return named("other");
-        default:
-            return [];
-    }
-};
-// A file's surface, read off the program body rather than by visiting export
-// nodes: an `export` inside a namespace body is that namespace's, not the
-// module's, and reading the top level directly is what says so without a
-// parent pointer. Mirrors the CLI's `exportSitesOf`.
-const surfaceOf = (file, body) => {
-    const locals = new Map();
-    for (const statement of body) {
-        const declaration = statement.type === "ExportNamedDeclaration" || statement.type === "ExportDefaultDeclaration"
-            ? statement.declaration
-            : statement;
-        if (declaration === null || declaration === undefined)
-            continue;
-        for (const [name, declares] of declaredNamesOf(declaration))
-            locals.set(name, declares);
-    }
-    const found = [];
-    const site = (node, name, kind, declares, reexport) => {
-        found.push({ node, site: { file, name, kind, declares, reexport } });
-    };
-    for (const statement of body) {
-        switch (statement.type) {
-            case "ExportNamedDeclaration": {
-                const declaration = statement.declaration;
-                if (declaration !== null && declaration !== undefined) {
-                    for (const [name, declares] of declaredNamesOf(declaration)) {
-                        site(declaration, name, "named", declares, false);
-                    }
-                    break;
-                }
-                const reexport = typeof statement.source?.value === "string";
-                for (const specifier of statement.specifiers ?? []) {
-                    const name = nameOf(specifier.exported);
-                    if (name === null)
-                        continue;
-                    const local = nameOf(specifier.local) ?? name;
-                    const declares = reexport ? "other" : (locals.get(local) ?? "other");
-                    site(specifier, name, name === "default" ? "default" : "named", declares, reexport);
-                }
-                break;
-            }
-            case "ExportDefaultDeclaration": {
-                const declaration = statement.declaration;
-                const declares = declaration === null || declaration === undefined
-                    ? "expression"
-                    : declaration.type === "FunctionDeclaration"
-                        ? "function"
-                        : declaration.type === "ClassDeclaration"
-                            ? "class"
-                            : declaration.type === "TSInterfaceDeclaration"
-                                ? "interface"
-                                : declaration.type === "Identifier"
-                                    ? (locals.get(nameOf(declaration) ?? "") ?? "expression")
-                                    : "expression";
-                site(statement, "default", "default", declares, false);
-                break;
-            }
-            case "ExportAllDeclaration":
-                site(statement, nameOf(statement.exported) ?? "*", "namespace", "other", true);
-                break;
-            default:
-                break;
-        }
-    }
-    return found;
-};
+import { at, factsOfProgram, toRepoRelative, } from "./oxlint-api.js";
 export const makeSurfaceRule = (policy) => ({
     meta: {
         type: "problem",
@@ -137,22 +20,23 @@ export const makeSurfaceRule = (policy) => ({
                 return selected.length > 0;
             },
             Program(node) {
-                if (!isStatementList(node.body))
-                    return;
-                const found = surfaceOf(file, node.body);
-                const violations = evaluateSurface(selected, file, found.map((one) => one.site));
+                const sites = factsOfProgram(file, node).exportSites;
+                const violations = evaluateSurface(selected, file, sites);
                 // A per-site violation lands on the site's own node; a `count` one, on
                 // the program — it is about the file.
                 const used = new Set();
                 for (const violation of violations) {
                     if (policy.baseline.isBaselined(violation))
                         continue;
-                    const at = violation.subject === null
+                    const site = violation.subject === null
                         ? undefined
-                        : found.find((one) => one.site.name === violation.subject && !used.has(one));
-                    if (at !== undefined)
-                        used.add(at);
-                    context.report({ node: at?.node ?? node, message: formatMessage(violation) });
+                        : sites.find((one) => one.name === violation.subject && !used.has(one));
+                    if (site !== undefined)
+                        used.add(site);
+                    context.report({
+                        node: site === undefined ? node : at(site.node),
+                        message: formatMessage(violation),
+                    });
                 }
             },
         };

package/build/esm/surface-rule.js.map

@@ -1 +1 @@
-{"version":3,"file":"surface-rule.js","sourceRoot":"","sources":["../../src/surface-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,eAAe,EAEf,aAAa,EAEb,qBAAqB,GACtB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAIL,cAAc,GACf,MAAM,iBAAiB,CAAC;AAwCzB,MAAM,eAAe,GAAG,CAAC,KAAc,EAAyC,EAAE,CAChF,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvB,MAAM,MAAM,GAAG,CAAC,IAAkC,EAAiB,EAAE;IACnE,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrD,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACpD,OAAO,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5D,CAAC,CAAC;AAEF,gDAAgD;AAChD,MAAM,YAAY,GAAG,CAAC,OAAuC,EAAyB,EAAE;IACtF,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACzD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,YAAY;YACf,OAAO,OAAO,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,KAAK,eAAe;YAClB,OAAO,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CACrD,YAAY,CAAC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAClD,CAAC;QACJ,KAAK,cAAc;YACjB,OAAO,CAAC,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACxD,KAAK,mBAAmB;YACtB,OAAO,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,aAAa;YAChB,OAAO,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACxC;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,eAAe,GAAG,CACtB,SAAwB,EAC2B,EAAE;IACrD,MAAM,KAAK,GAAG,CAAC,QAAyB,EAAqD,EAAE;QAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAClC,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC;IACF,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,qBAAqB;YACxB,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3B,KAAK,kBAAkB;YACrB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC;QACxB,KAAK,qBAAqB;YACxB,OAAO,CAAC,SAAS,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,EAAE,CAC5D,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,CAAU,CAAC,CACxE,CAAC;QACJ,KAAK,wBAAwB;YAC3B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;QACvB,KAAK,wBAAwB;YAC3B,OAAO,KAAK,CAAC,WAAW,CAAC,CAAC;QAC5B,KAAK,mBAAmB;YACtB,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC;QACvB,KAAK,qBAAqB;YACxB,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC;QACxB;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC,CAAC;AAIF,6EAA6E;AAC7E,0EAA0E;AAC1E,yEAAyE;AACzE,qDAAqD;AACrD,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAkC,EAAwB,EAAE;IAC3F,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,WAAW,GACf,SAAS,CAAC,IAAI,KAAK,wBAAwB,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B;YAC1F,CAAC,CAAC,SAAS,CAAC,WAAW;YACvB,CAAC,CAAC,SAAS,CAAC;QAChB,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,SAAS;YAAE,SAAS;QAChE,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,eAAe,CAAC,WAAW,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1F,CAAC;IAED,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,CACX,IAAoB,EACpB,IAAY,EACZ,IAAwB,EACxB,QAAyB,EACzB,QAAiB,EACX,EAAE;QACR,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC;IAEF,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,wBAAwB,EAAE,CAAC;gBAC9B,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;gBAC1C,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBACtD,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;wBAC5D,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;oBACpD,CAAC;oBACD,MAAM;gBACR,CAAC;gBACD,MAAM,QAAQ,GAAG,OAAO,SAAS,CAAC,MAAM,EAAE,KAAK,KAAK,QAAQ,CAAC;gBAC7D,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;oBACnD,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;oBACxC,IAAI,IAAI,KAAK,IAAI;wBAAE,SAAS;oBAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC;oBAC9C,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC;oBACrE,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBACtF,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,0BAA0B,EAAE,CAAC;gBAChC,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;gBAC1C,MAAM,QAAQ,GACZ,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,SAAS;oBAC/C,CAAC,CAAC,YAAY;oBACd,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,qBAAqB;wBAC1C,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,kBAAkB;4BACvC,CAAC,CAAC,OAAO;4BACT,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,wBAAwB;gCAC7C,CAAC,CAAC,WAAW;gCACb,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,YAAY;oCACjC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,IAAI,YAAY,CAAC;oCACzD,CAAC,CAAC,YAAY,CAAC;gBAC3B,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACvD,MAAM;YACR,CAAC;YACD,KAAK,sBAAsB;gBACzB,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC/E,MAAM;YACR;gBACE,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAoB,EAAc,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE;QACJ,IAAI,EAAE,SAAkB;QACxB,IAAI,EAAE;YACJ,WAAW,EACT,iHAAiH;SACpH;QACD,MAAM,EAAE,EAAE;KACX;IAED,UAAU,CAAC,OAAoB;QAC7B,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,QAAQ,GAAuC,EAAE,CAAC;QAEtD,OAAO;YACL,MAAM;gBACJ,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACzD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;gBAC5D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7B,CAAC;YAED,OAAO,CAAC,IAAiB;gBACvB,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,OAAO;gBACxC,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzC,MAAM,UAAU,GAAG,eAAe,CAChC,QAAQ,EACR,IAAI,EACJ,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAC7B,CAAC;gBAEF,uEAAuE;gBACvE,sCAAsC;gBACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAS,CAAC;gBAC9B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC;wBAAE,SAAS;oBACrD,MAAM,EAAE,GACN,SAAS,CAAC,OAAO,KAAK,IAAI;wBACxB,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;oBACjF,IAAI,EAAE,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACnC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,IAAI,IAAI,EAAE,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}
+{"version":3,"file":"surface-rule.js","sourceRoot":"","sources":["../../src/surface-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,eAAe,EACf,aAAa,EAEb,qBAAqB,GACtB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,EAAE,EACF,cAAc,EAId,cAAc,GACf,MAAM,iBAAiB,CAAC;AAEzB,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAoB,EAAc,EAAE,CAAC,CAAC;IACpE,IAAI,EAAE;QACJ,IAAI,EAAE,SAAkB;QACxB,IAAI,EAAE;YACJ,WAAW,EACT,iHAAiH;SACpH;QACD,MAAM,EAAE,EAAE;KACX;IAED,UAAU,CAAC,OAAoB;QAC7B,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,IAAI,QAAQ,GAAuC,EAAE,CAAC;QAEtD,OAAO;YACL,MAAM;gBACJ,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACzD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxC,QAAQ,GAAG,qBAAqB,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;gBAC5D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;YAC7B,CAAC;YAED,OAAO,CAAC,IAAa;gBACnB,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,WAAW,CAAC;gBACrD,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;gBAE1D,uEAAuE;gBACvE,sCAAsC;gBACtC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;gBACvC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;oBACnC,IAAI,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,CAAC;wBAAE,SAAS;oBACrD,MAAM,IAAI,GACR,SAAS,CAAC,OAAO,KAAK,IAAI;wBACxB,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC5E,IAAI,IAAI,KAAK,SAAS;wBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACvC,OAAO,CAAC,MAAM,CAAC;wBACb,IAAI,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC/C,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC;qBAClC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@goodbones/oxlint",
-  "version": "0.1.0-beta.1",
+  "version": "0.1.0-beta.10",
   "type": "module",
   "license": "MIT",
   "description": "The oxlint plugin for @goodbones/core: the imports, exports, members, structure and surface families as five oxlint rules, evaluated in the editor and in CI from the same manifest the CLI reads.",
@@ -44,8 +44,9 @@
   ],
   "dependencies": {
     "effect": "4.0.0-beta.94",
-    "@goodbones/core": "0.1.0-beta.1",
-    "@goodbones/typescript": "0.1.0-beta.1"
+    "@goodbones/ast-grep": "0.1.2",
+    "@goodbones/core": "0.1.0-beta.10",
+    "@goodbones/typescript": "0.1.0-beta.10"
   },
   "peerDependencies": {
     "oxlint": ">=1.77.0"

package/src/campaigns-rule.ts

@@ -0,0 +1,129 @@
+import {
+  type CampaignHit,
+  campaignsSelecting,
+  type CompiledCampaign,
+  evaluateCampaigns,
+  formatMessage,
+  leafTermsOf,
+  type LoadedPolicy,
+  reconcile,
+  ReportUnavailable,
+} from "@goodbones/core";
+import { sourceFactsOf } from "@goodbones/typescript";
+
+import {
+  factsOfProgram,
+  type OxlintRule,
+  type Program,
+  type RuleContext,
+  toRepoRelative,
+} from "./oxlint-api.js";
+
+// The campaigns family, one file at a time: every hit of a campaign selecting
+// the file that its ledger does not carry, reported at the match's position
+// with the campaign's `how` as the message. The facts come from oxlint's tree
+// through the pack's reader, as the other rules read them; the `syntax` term
+// is answered by the same matcher the CLI uses, over `sourceCode.text` —
+// "one engine" is this family's parity contract, rather than a corpus.
+
+// Whether a hit is carried by the ledger, judged against the file's hits
+// alone: entries are per file, so a file's reconciliation is the whole
+// campaign's restricted to it.
+const unledgered = (
+  policy: LoadedPolicy,
+  selected: ReadonlyArray<CompiledCampaign>,
+  hits: ReadonlyArray<CampaignHit>,
+): ReadonlyArray<CampaignHit> => {
+  const carried = new Set<CampaignHit["violation"]>();
+  for (const rule of selected) {
+    const ledger = policy.ledgers.get(rule.id);
+    if (ledger === undefined) continue;
+    const own = hits.filter((hit) => hit.campaign === rule.id).map((hit) => hit.violation);
+    for (const one of reconcile(ledger, own, rule.unit).ledgered) carried.add(one);
+  }
+  return hits.filter((hit) => !carried.has(hit.violation));
+};
+
+// A `report` a campaign names that cannot be read — a command the kernel
+// refused to spawn, a file no step wrote — is one fact about the run, not
+// one about each file the campaign selects. The live source keeps the
+// failure per spec; this keeps which failures have been said, so the first
+// selected file carries the notice and the rest stay quiet. Without it, a
+// lint of eight hundred files is eight hundred copies of oxlint's generic
+// "error running JS plugin", with the cause dropped by the terser formats.
+const aside = (cause: ReportUnavailable): string =>
+  `A report a campaign names could not be read, so no campaign naming it is judged in this ` +
+  `run: ${cause.message}`;
+
+export const makeCampaignsRule = (policy: LoadedPolicy): OxlintRule => {
+  // Per rule instance, which is per plugin load — one process — rather than
+  // per `createOnce`, which a host may call more often than that.
+  const said = new Set<string>();
+  return {
+    meta: {
+      type: "problem" as const,
+      docs: {
+        description:
+          "the campaigns: every place a pattern the repository is migrating away from still occurs, that its ledger does not carry",
+      },
+      schema: [],
+    },
+
+    createOnce(context: RuleContext) {
+      let file = "";
+      let selected: ReadonlyArray<CompiledCampaign> = [];
+
+      return {
+        before() {
+          file = toRepoRelative(policy.repoRoot, context.filename);
+          if (file.startsWith("..")) return false;
+          selected = campaignsSelecting(policy.campaignRules, file);
+          return selected.length > 0;
+        },
+
+        Program(node: Program) {
+          const text = context.sourceCode.text;
+          const needsSyntax = selected.some((rule) =>
+            leafTermsOf(rule.detect).some(
+              (leaf) => leaf === "syntax" || leaf === "report" || leaf === "fn",
+            ),
+          );
+          const input = {
+            file,
+            text,
+            facts: sourceFactsOf(factsOfProgram(file, node)),
+            resolver: policy.resolver,
+            fileSystem: policy.fileSystem,
+            syntax: needsSyntax ? policy.syntax.parse(file, text) : null,
+            functions: policy.functions,
+            reports: policy.reports,
+          };
+          // One campaign at a time, so a report one of them cannot read costs
+          // that campaign's answer for this file and not its neighbours'.
+          const hits: Array<CampaignHit> = [];
+          for (const rule of selected) {
+            try {
+              for (const hit of evaluateCampaigns([rule], input)) hits.push(hit);
+            } catch (cause) {
+              if (!(cause instanceof ReportUnavailable)) throw cause;
+              const message = aside(cause);
+              if (said.has(message)) continue;
+              said.add(message);
+              context.report({ message, loc: { line: 1, column: 0 } });
+            }
+          }
+
+          for (const hit of unledgered(policy, selected, hits)) {
+            // A match lands where it was found; a file-unit hit, on line 1, as
+            // the structure rule places a finding about the file itself.
+            const at = hit.range ?? { start: { line: 0, column: 0 } };
+            context.report({
+              message: formatMessage(hit.violation),
+              loc: { line: at.start.line + 1, column: at.start.column },
+            });
+          }
+        },
+      };
+    },
+  };
+};