@goodbones/oxlint 0.1.0-beta.7 → 0.1.0-beta.9

package/build/dts/campaigns-rule.d.ts

@@ -0,0 +1,4 @@
+import { type LoadedPolicy } from "@goodbones/core";
+import { type OxlintRule } from "./oxlint-api.js";
+export declare const makeCampaignsRule: (policy: LoadedPolicy) => OxlintRule;
+//# sourceMappingURL=campaigns-rule.d.ts.map

package/build/dts/campaigns-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaigns-rule.d.ts","sourceRoot":"","sources":["../../src/campaigns-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAOL,KAAK,YAAY,EAGlB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAEL,KAAK,UAAU,EAIhB,MAAM,iBAAiB,CAAC;AAsCzB,eAAO,MAAM,iBAAiB,WAAY,YAAY,KAAG,UAuExD,CAAC"}

package/build/dts/config-loader.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,YAAY,EAIlB,MAAM,iBAAiB,CAAC;AAIzB,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAOpD,eAAO,MAAM,kBAAkB,aACnB,MAAM,mBACC,MAAM,KACtB,OAAO,CAAC,YAAY,CAkBtB,CAAC"}
+{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAGA,OAAO,EAGL,KAAK,YAAY,EAOlB,MAAM,iBAAiB,CAAC;AAIzB,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAmBpD,eAAO,MAAM,kBAAkB,aACnB,MAAM,mBACC,MAAM,KACtB,OAAO,CAAC,YAAY,CA4CtB,CAAC"}

package/build/dts/plugin.d.ts

@@ -5,6 +5,7 @@ export declare const rules: {
     readonly members: OxlintRule;
     readonly structure: OxlintRule;
     readonly surface: OxlintRule;
+    readonly campaigns: OxlintRule;
 };
 declare const plugin: {
     readonly meta: {

package/build/dts/plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../src/plugin.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAoBlD,eAAO,MAAM,KAAK,EAAE;IAClB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;CAO9B,CAAC;AAEF,QAAA,MAAM,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,KAAK,CAAA;CAGrF,CAAC;eAEa,MAAM"}
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../../src/plugin.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAoBlD,eAAO,MAAM,KAAK,EAAE;IAClB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;CAQhC,CAAC;AAEF,QAAA,MAAM,MAAM,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,KAAK,CAAA;CAGrF,CAAC;eAEa,MAAM"}

package/build/esm/campaigns-rule.js

@@ -0,0 +1,102 @@
+import { campaignsSelecting, evaluateCampaigns, formatMessage, leafTermsOf, reconcile, ReportUnavailable, } from "@goodbones/core";
+import { sourceFactsOf } from "@goodbones/typescript";
+import { factsOfProgram, 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, selected, hits) => {
+    const carried = new Set();
+    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) => `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) => {
+    // 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();
+    return {
+        meta: {
+            type: "problem",
+            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) {
+            let file = "";
+            let selected = [];
+            return {
+                before() {
+                    file = toRepoRelative(policy.repoRoot, context.filename);
+                    if (file.startsWith(".."))
+                        return false;
+                    selected = campaignsSelecting(policy.campaignRules, file);
+                    return selected.length > 0;
+                },
+                Program(node) {
+                    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 = [];
+                    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 },
+                        });
+                    }
+                },
+            };
+        },
+    };
+};
+//# sourceMappingURL=campaigns-rule.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"campaigns-rule.js","sourceRoot":"","sources":["../../src/campaigns-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,kBAAkB,EAElB,iBAAiB,EACjB,aAAa,EACb,WAAW,EAEX,SAAS,EACT,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EACL,cAAc,EAId,cAAc,GACf,MAAM,iBAAiB,CAAC;AAEzB,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAC9E,6EAA6E;AAC7E,yEAAyE;AACzE,uEAAuE;AAEvE,yEAAyE;AACzE,uEAAuE;AACvE,+BAA+B;AAC/B,MAAM,UAAU,GAAG,CACjB,MAAoB,EACpB,QAAyC,EACzC,IAAgC,EACJ,EAAE;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAA4B,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACvF,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;AAC3D,CAAC,CAAC;AAEF,yEAAyE;AACzE,0EAA0E;AAC1E,sEAAsE;AACtE,2EAA2E;AAC3E,0EAA0E;AAC1E,0EAA0E;AAC1E,2EAA2E;AAC3E,MAAM,KAAK,GAAG,CAAC,KAAwB,EAAU,EAAE,CACjD,0FAA0F;IAC1F,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC;AAE1B,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAoB,EAAc,EAAE;IACpE,0EAA0E;IAC1E,gEAAgE;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,SAAkB;YACxB,IAAI,EAAE;gBACJ,WAAW,EACT,yHAAyH;aAC5H;YACD,MAAM,EAAE,EAAE;SACX;QAED,UAAU,CAAC,OAAoB;YAC7B,IAAI,IAAI,GAAG,EAAE,CAAC;YACd,IAAI,QAAQ,GAAoC,EAAE,CAAC;YAEnD,OAAO;gBACL,MAAM;oBACJ,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;oBACzD,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;wBAAE,OAAO,KAAK,CAAC;oBACxC,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;oBAC1D,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC7B,CAAC;gBAED,OAAO,CAAC,IAAa;oBACnB,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;oBACrC,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACzC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAC3B,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,CAClE,CACF,CAAC;oBACF,MAAM,KAAK,GAAG;wBACZ,IAAI;wBACJ,IAAI;wBACJ,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;wBAChD,QAAQ,EAAE,MAAM,CAAC,QAAQ;wBACzB,UAAU,EAAE,MAAM,CAAC,UAAU;wBAC7B,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;wBAC5D,SAAS,EAAE,MAAM,CAAC,SAAS;wBAC3B,OAAO,EAAE,MAAM,CAAC,OAAO;qBACxB,CAAC;oBACF,oEAAoE;oBACpE,gEAAgE;oBAChE,MAAM,IAAI,GAAuB,EAAE,CAAC;oBACpC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;wBAC5B,IAAI,CAAC;4BACH,KAAK,MAAM,GAAG,IAAI,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC;gCAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;wBACrE,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,IAAI,CAAC,CAAC,KAAK,YAAY,iBAAiB,CAAC;gCAAE,MAAM,KAAK,CAAC;4BACvD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;4BAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gCAAE,SAAS;4BAChC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;4BAClB,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;wBAC3D,CAAC;oBACH,CAAC;oBAED,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;wBACrD,mEAAmE;wBACnE,6DAA6D;wBAC7D,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC1D,OAAO,CAAC,MAAM,CAAC;4BACb,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC;4BACrC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,EAAE;yBAC1D,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;aACF,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC,CAAC"}

package/build/esm/config-loader.js

@@ -1,7 +1,20 @@
 import * as path from "node:path";
-import { findManifestFile, loadPolicy, makeFileSystemLive, readManifestFile, } from "@goodbones/core";
+import { astGrepMatcher } from "@goodbones/ast-grep";
+import { findManifestFile, loadCampaignFunctions, loadPolicy, makeFileSystemLive, makeReportSourceLive, readManifestFile, reportSpecsOf, ReportUnavailable, } from "@goodbones/core";
 import { typescriptLanguage } from "@goodbones/typescript";
 import * as Result from "effect/Result";
+// The clock the campaigns are judged by; `ARCHITECTURE_NOW` pins it, as it
+// does for the CLI.
+const hostNow = () => {
+    const pinned = process.env.ARCHITECTURE_NOW;
+    if (pinned === undefined || pinned === "")
+        return Date.now();
+    const parsed = /^\d+$/.test(pinned) ? Number(pinned) : Date.parse(pinned);
+    if (Number.isNaN(parsed)) {
+        throw new Error(`ARCHITECTURE_NOW is ${JSON.stringify(pinned)}, which is not a date.`);
+    }
+    return parsed;
+};
 // The plugin's composition root: read the manifest file, construct the
 // language packs and the live file system, and hand them to the loader. A load
 // failure throws out of here and out of oxlint's import of the plugin — a
@@ -14,16 +27,44 @@ export const loadPolicyFromFile = async (repoRoot, configFilename) => {
         ? findManifestFile(repoRoot)
         : path.resolve(repoRoot, configFilename);
     const read = await readManifestFile(configPath);
+    // The `fn` terms are imported here, before the policy loads, as the CLI
+    // does; the pack is composed with ast-grep for the campaigns family's
+    // `syntax` term, and the plugin parses with it for that family only.
+    const { functions, manifest } = await loadCampaignFunctions(configPath, read.manifest);
     const loaded = loadPolicy({
         repoRoot,
         configPath,
-        manifest: read.manifest,
+        manifest,
         locate: read.locate,
-        languages: [typescriptLanguage()],
+        languages: [typescriptLanguage({ syntax: astGrepMatcher() })],
         fileSystem: makeFileSystemLive(repoRoot),
+        functions,
+        // A `report` command runs once per process — once per editor session
+        // for oxlint's language server, which then sees that report until it
+        // restarts. A report the build writes to a file is the predictable form.
+        reports: makeReportSourceLive(repoRoot),
+        now: hostNow(),
     });
     if (Result.isFailure(loaded))
         throw loaded.failure;
-    return loaded.success;
+    const policy = loaded.success;
+    // Every `report` a campaign names is read now, while oxlint has linted
+    // nothing. A `command` forks this process, and once the linter is running
+    // Linux can refuse the fork: the linter's per-thread AST buffers merge
+    // into one mapping larger than RAM and swap together, which the default
+    // overcommit heuristic refuses to duplicate. The source caches the answer,
+    // and a failure, so the rules read what was read here. A report that
+    // cannot be read is not a load failure — the campaigns rule reports it
+    // once, on the first file a campaign naming it selects.
+    for (const spec of reportSpecsOf(policy.campaignRules)) {
+        try {
+            policy.reports.diagnosticsOf(spec, "");
+        }
+        catch (cause) {
+            if (!(cause instanceof ReportUnavailable))
+                throw cause;
+        }
+    }
+    return policy;
 };
 //# sourceMappingURL=config-loader.js.map

package/build/esm/config-loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EACL,gBAAgB,EAEhB,UAAU,EACV,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,uEAAuE;AACvE,+EAA+E;AAC/E,0EAA0E;AAC1E,iEAAiE;AACjE,2CAA2C;AAC3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,EACrC,QAAgB,EAChB,cAAuB,EACA,EAAE;IACzB,wEAAwE;IACxE,uCAAuC;IACvC,MAAM,UAAU,GACd,cAAc,KAAK,SAAS;QAC1B,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC;QAC5B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,UAAU,CAAC;QACxB,QAAQ;QACR,UAAU;QACV,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,CAAC,kBAAkB,EAAE,CAAC;QACjC,UAAU,EAAE,kBAAkB,CAAC,QAAQ,CAAC;KACzC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,MAAM,MAAM,CAAC,OAAO,CAAC;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC,CAAC"}
+{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EAErB,UAAU,EACV,kBAAkB,EAClB,oBAAoB,EACpB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,2EAA2E;AAC3E,oBAAoB;AACpB,MAAM,OAAO,GAAG,GAAW,EAAE;IAC3B,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,uEAAuE;AACvE,+EAA+E;AAC/E,0EAA0E;AAC1E,iEAAiE;AACjE,2CAA2C;AAC3C,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,EACrC,QAAgB,EAChB,cAAuB,EACA,EAAE;IACzB,wEAAwE;IACxE,uCAAuC;IACvC,MAAM,UAAU,GACd,cAAc,KAAK,SAAS;QAC1B,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC;QAC5B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAChD,wEAAwE;IACxE,sEAAsE;IACtE,qEAAqE;IACrE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,MAAM,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,UAAU,CAAC;QACxB,QAAQ;QACR,UAAU;QACV,QAAQ;QACR,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,CAAC,kBAAkB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;QAC7D,UAAU,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QACxC,SAAS;QACT,qEAAqE;QACrE,qEAAqE;QACrE,yEAAyE;QACzE,OAAO,EAAE,oBAAoB,CAAC,QAAQ,CAAC;QACvC,GAAG,EAAE,OAAO,EAAE;KACf,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,MAAM,MAAM,CAAC,OAAO,CAAC;IACnD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC;IAC9B,uEAAuE;IACvE,0EAA0E;IAC1E,uEAAuE;IACvE,wEAAwE;IACxE,2EAA2E;IAC3E,qEAAqE;IACrE,uEAAuE;IACvE,wDAAwD;IACxD,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QACvD,IAAI,CAAC;YACH,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACzC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK,YAAY,iBAAiB,CAAC;gBAAE,MAAM,KAAK,CAAC;QACzD,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/build/esm/plugin.js

@@ -1,3 +1,4 @@
+import { makeCampaignsRule } from "./campaigns-rule.js";
 import { loadPolicyFromFile } from "./config-loader.js";
 import { makeExportsRule } from "./exports-rule.js";
 import { makeImportsRule } from "./imports-rule.js";
@@ -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,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,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@goodbones/oxlint",
-  "version": "0.1.0-beta.7",
+  "version": "0.1.0-beta.9",
   "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.7",
-    "@goodbones/typescript": "0.1.0-beta.7"
+    "@goodbones/ast-grep": "0.1.1",
+    "@goodbones/core": "0.1.0-beta.9",
+    "@goodbones/typescript": "0.1.0-beta.9"
   },
   "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 },
+            });
+          }
+        },
+      };
+    },
+  };
+};

package/src/config-loader.ts

@@ -1,17 +1,34 @@
 import * as path from "node:path";
 
+import { astGrepMatcher } from "@goodbones/ast-grep";
 import {
   findManifestFile,
+  loadCampaignFunctions,
   type LoadedPolicy,
   loadPolicy,
   makeFileSystemLive,
+  makeReportSourceLive,
   readManifestFile,
+  reportSpecsOf,
+  ReportUnavailable,
 } from "@goodbones/core";
 import { typescriptLanguage } from "@goodbones/typescript";
 import * as Result from "effect/Result";
 
 export type { LoadedPolicy } from "@goodbones/core";
 
+// The clock the campaigns are judged by; `ARCHITECTURE_NOW` pins it, as it
+// does for the CLI.
+const hostNow = (): number => {
+  const pinned = process.env.ARCHITECTURE_NOW;
+  if (pinned === undefined || pinned === "") return Date.now();
+  const parsed = /^\d+$/.test(pinned) ? Number(pinned) : Date.parse(pinned);
+  if (Number.isNaN(parsed)) {
+    throw new Error(`ARCHITECTURE_NOW is ${JSON.stringify(pinned)}, which is not a date.`);
+  }
+  return parsed;
+};
+
 // The plugin's composition root: read the manifest file, construct the
 // language packs and the live file system, and hand them to the loader. A load
 // failure throws out of here and out of oxlint's import of the plugin — a
@@ -28,14 +45,40 @@ export const loadPolicyFromFile = async (
       ? findManifestFile(repoRoot)
       : path.resolve(repoRoot, configFilename);
   const read = await readManifestFile(configPath);
+  // The `fn` terms are imported here, before the policy loads, as the CLI
+  // does; the pack is composed with ast-grep for the campaigns family's
+  // `syntax` term, and the plugin parses with it for that family only.
+  const { functions, manifest } = await loadCampaignFunctions(configPath, read.manifest);
   const loaded = loadPolicy({
     repoRoot,
     configPath,
-    manifest: read.manifest,
+    manifest,
     locate: read.locate,
-    languages: [typescriptLanguage()],
+    languages: [typescriptLanguage({ syntax: astGrepMatcher() })],
     fileSystem: makeFileSystemLive(repoRoot),
+    functions,
+    // A `report` command runs once per process — once per editor session
+    // for oxlint's language server, which then sees that report until it
+    // restarts. A report the build writes to a file is the predictable form.
+    reports: makeReportSourceLive(repoRoot),
+    now: hostNow(),
   });
   if (Result.isFailure(loaded)) throw loaded.failure;
-  return loaded.success;
+  const policy = loaded.success;
+  // Every `report` a campaign names is read now, while oxlint has linted
+  // nothing. A `command` forks this process, and once the linter is running
+  // Linux can refuse the fork: the linter's per-thread AST buffers merge
+  // into one mapping larger than RAM and swap together, which the default
+  // overcommit heuristic refuses to duplicate. The source caches the answer,
+  // and a failure, so the rules read what was read here. A report that
+  // cannot be read is not a load failure — the campaigns rule reports it
+  // once, on the first file a campaign naming it selects.
+  for (const spec of reportSpecsOf(policy.campaignRules)) {
+    try {
+      policy.reports.diagnosticsOf(spec, "");
+    } catch (cause) {
+      if (!(cause instanceof ReportUnavailable)) throw cause;
+    }
+  }
+  return policy;
 };

package/src/plugin.ts

@@ -1,3 +1,4 @@
+import { makeCampaignsRule } from "./campaigns-rule.js";
 import { loadPolicyFromFile } from "./config-loader.js";
 import { makeExportsRule } from "./exports-rule.js";
 import { makeImportsRule } from "./imports-rule.js";
@@ -28,12 +29,14 @@ export const rules: {
   readonly members: OxlintRule;
   readonly structure: OxlintRule;
   readonly surface: OxlintRule;
+  readonly campaigns: OxlintRule;
 } = {
   imports: makeImportsRule(policy),
   exports: makeExportsRule(policy),
   members: makeMembersRule(policy),
   structure: makeStructureRule(policy),
   surface: makeSurfaceRule(policy),
+  campaigns: makeCampaignsRule(policy),
 };
 
 const plugin: { readonly meta: { readonly name: string }; readonly rules: typeof rules } = {