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

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

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

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

@@ -1 +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"}
+{"version":3,"file":"campaigns-rule.d.ts","sourceRoot":"","sources":["../../src/campaigns-rule.ts"],"names":[],"mappings":"AAEA,OAAO,EAoBL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAiB,KAAK,YAAY,EAAqB,MAAM,iBAAiB,CAAC;AAGtF,OAAO,EAEL,KAAK,UAAU,EAIhB,MAAM,iBAAiB,CAAC;AAsBzB,MAAM,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;AA0D7D,eAAO,MAAM,iBAAiB,WACpB,YAAY,YACX,aAAa,KACrB,UA6HF,CAAC"}

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

@@ -1,4 +1,6 @@
+import { type SectorIndex } from "@goodbones/campaigns";
 import { type LoadedPolicy } from "@goodbones/core";
 export type { LoadedPolicy } from "@goodbones/core";
+export declare const discoverSectorIndexes: (policy: LoadedPolicy) => ReadonlyMap<string, SectorIndex>;
 export declare const loadPolicyFromFile: (repoRoot: string, configFilename?: string) => Promise<LoadedPolicy>;
 //# sourceMappingURL=config-loader.d.ts.map

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":"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,CAgDtB,CAAC"}
+{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAGA,OAAO,EAOL,KAAK,WAAW,EACjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAKL,KAAK,YAAY,EAKlB,MAAM,iBAAiB,CAAC;AAIzB,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAOpD,eAAO,MAAM,qBAAqB,WAAY,YAAY,KAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CA6B3F,CAAC;AAmBF,eAAO,MAAM,kBAAkB,aACnB,MAAM,mBACC,MAAM,KACtB,OAAO,CAAC,YAAY,CAgDtB,CAAC"}

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

@@ -1 +1 @@
-{"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"}
+{"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;CAUhC,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

@@ -1,26 +1,40 @@
-import { campaignsSelecting, evaluateCampaigns, formatMessage, leafTermsOf, reconcile, ReportUnavailable, } from "@goodbones/core";
+import * as path from "node:path";
+import { campaignsOf, campaignsSelecting, derivePhase, detectorCandidatesOf, detectorOf, evaluateObjectives, ledgerKeyOf, LEGACY_PHASE, LEGACY_SECTOR, membershipOf, needsSyntax, objectivesInWindow, positionOf, reconcileSector, sectorEntryOf, } from "@goodbones/campaigns";
+import { formatMessage, 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 unledgered = (policy, rule, sector, root, hits) => {
     const carried = new Set();
-    for (const rule of selected) {
-        const ledger = policy.ledgers.get(rule.id);
-        if (ledger === undefined)
+    const byObjective = new Map();
+    for (const hit of hits) {
+        byObjective.set(hit.objective, [...(byObjective.get(hit.objective) ?? []), hit]);
+    }
+    for (const [objectiveId, own] of byObjective) {
+        const objective = rule.objectives.find((one) => one.id === objectiveId);
+        const ledger = campaignsOf(policy).ledgers.get(ledgerKeyOf(rule.id, objectiveId));
+        if (objective === undefined || 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);
+        const entries = own.map((hit) => sectorEntryOf(hit.violation, root));
+        const known = new Set(reconcileSector(ledger, sector, entries, objective.unit).ledgered);
+        own.forEach((hit, i) => {
+            if (known.has(entries[i] ?? ""))
+                carried.add(hit);
+        });
     }
-    return hits.filter((hit) => !carried.has(hit.violation));
+    return hits.filter((hit) => !carried.has(hit));
+};
+// The objectives in window for the sector, read off the ledgers. A sector
+// no `clear` has placed — no record of it — stands at the first phase, as
+// the legacy does, rather than deriving to the end from ledgers that
+// carry nothing for it.
+const inWindowFor = (policy, rule, sector) => {
+    const record = campaignsOf(policy).sectorRecords.get(ledgerKeyOf(rule.id, sector));
+    const position = positionOf(rule, record);
+    const counts = (objectiveId) => campaignsOf(policy).ledgers.get(ledgerKeyOf(rule.id, objectiveId))?.sectors[sector]?.holdouts.length ?? 0;
+    const phase = sector === LEGACY_SECTOR || record === undefined
+        ? Math.min(LEGACY_PHASE, rule.phases.length)
+        : derivePhase(rule, counts, position);
+    return objectivesInWindow(rule, phase, position).filter((one) => one.detect !== null);
 };
 // 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
@@ -31,15 +45,16 @@ const unledgered = (policy, selected, hits) => {
 // "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) => {
+export const makeCampaignsRule = (policy, indexes = new Map()) => {
     // 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();
+    const known = new Set(policy.languages.flatMap((one) => one.extensions));
     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",
+                description: "the campaigns: every place a pattern the repository is migrating away from still occurs, in a sector whose phase asks for it, that its ledger does not carry",
             },
             schema: [],
         },
@@ -51,29 +66,76 @@ export const makeCampaignsRule = (policy) => {
                     file = toRepoRelative(policy.repoRoot, context.filename);
                     if (file.startsWith(".."))
                         return false;
-                    selected = campaignsSelecting(policy.campaignRules, file);
+                    // A file the packs would not walk — one oxlint lints anyway — is
+                    // seen only by a campaign that widened its scope to it, so both
+                    // hosts answer about the same files.
+                    const extension = path.extname(file);
+                    selected = campaignsSelecting(campaignsOf(policy).campaignRules, file).filter((rule) => known.size === 0 || known.has(extension) || rule.extensions.includes(extension));
                     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 detectors = selected.flatMap((rule) => [
+                        ...rule.objectives.flatMap((one) => {
+                            const detect = detectorOf(one);
+                            return detect === null ? [] : [detect];
+                        }),
+                        ...(rule.perimeter?.kind === "match" ? [rule.perimeter.detect] : []),
+                    ]);
                     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,
+                        syntax: needsSyntax(detectors) ? policy.syntax.parse(file, text) : null,
+                        functions: campaignsOf(policy).functions,
+                        reports: campaignsOf(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 = [];
+                    const unrecorded = [];
                     for (const rule of selected) {
                         try {
-                            for (const hit of evaluateCampaigns([rule], input))
-                                hits.push(hit);
+                            const perimeter = rule.perimeter;
+                            const anchors = perimeter?.kind === "match"
+                                ? detectorCandidatesOf(perimeter.detect, perimeter.unit, input).map((one) => one.key.split("#")[0] ?? one.key)
+                                : [];
+                            const place = membershipOf(rule, file, indexes.get(rule.id) ?? null, anchors);
+                            // Hits grouped by the sector they fall in, then judged
+                            // against that sector's window and ledger.
+                            const bySector = new Map();
+                            const windows = new Map();
+                            const placedAt = (subject) => {
+                                const placement = place(subject);
+                                if (placement === null)
+                                    return null;
+                                if (!windows.has(placement.sector)) {
+                                    windows.set(placement.sector, new Set(inWindowFor(policy, rule, placement.sector).map((one) => one.id)));
+                                }
+                                return placement;
+                            };
+                            const whole = placedAt(null);
+                            const candidates = whole === null
+                                ? rule.objectives.filter((one) => one.detect !== null)
+                                : rule.objectives.filter((one) => one.detect !== null && (windows.get(whole.sector)?.has(one.id) ?? false));
+                            if (perimeter?.kind !== "match" && whole === null)
+                                continue;
+                            for (const hit of evaluateObjectives(candidates, input)) {
+                                const placement = placedAt(hit.violation.subject);
+                                if (placement === null)
+                                    continue;
+                                if (!(windows.get(placement.sector)?.has(hit.objective) ?? false))
+                                    continue;
+                                const group = bySector.get(placement.sector) ?? { root: placement.root, hits: [] };
+                                group.hits.push(hit);
+                                bySector.set(placement.sector, group);
+                            }
+                            for (const [sector, group] of bySector) {
+                                for (const hit of unledgered(policy, rule, sector, group.root, group.hits)) {
+                                    unrecorded.push(hit);
+                                }
+                            }
                         }
                         catch (cause) {
                             if (!(cause instanceof ReportUnavailable))
@@ -85,7 +147,7 @@ export const makeCampaignsRule = (policy) => {
                             context.report({ message, loc: { line: 1, column: 0 } });
                         }
                     }
-                    for (const hit of unledgered(policy, selected, hits)) {
+                    for (const hit of unrecorded) {
                         // 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 } };

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

@@ -1 +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"}
+{"version":3,"file":"campaigns-rule.js","sourceRoot":"","sources":["../../src/campaigns-rule.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAGL,WAAW,EACX,kBAAkB,EAGlB,WAAW,EACX,oBAAoB,EACpB,UAAU,EACV,kBAAkB,EAClB,WAAW,EACX,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,WAAW,EACX,kBAAkB,EAClB,UAAU,EACV,eAAe,EACf,aAAa,GAEd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAqB,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAEtD,OAAO,EACL,cAAc,EAId,cAAc,GACf,MAAM,iBAAiB,CAAC;AAwBzB,MAAM,UAAU,GAAG,CACjB,MAAoB,EACpB,IAAsB,EACtB,MAAc,EACd,IAAY,EACZ,IAAgC,EACJ,EAAE;IAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAe,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8B,CAAC;IAC1D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACnF,CAAC;IACD,KAAK,MAAM,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,WAAW,EAAE,CAAC;QAC7C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC;QAClF,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QAC9D,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC;QACzF,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YACrB,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC,CAAC;AAEF,0EAA0E;AAC1E,0EAA0E;AAC1E,qEAAqE;AACrE,wBAAwB;AACxB,MAAM,WAAW,GAAG,CAClB,MAAoB,EACpB,IAAsB,EACtB,MAAc,EACoB,EAAE;IACpC,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC;IACnF,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,CAAC,WAAmB,EAAU,EAAE,CAC7C,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;IAC5G,MAAM,KAAK,GACT,MAAM,KAAK,aAAa,IAAI,MAAM,KAAK,SAAS;QAC9C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5C,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC1C,OAAO,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC;AACxF,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,CAC/B,MAAoB,EACpB,OAAO,GAAkB,IAAI,GAAG,EAAE,EACtB,EAAE;IACd,0EAA0E;IAC1E,gEAAgE;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACzE,OAAO;QACL,IAAI,EAAE;YACJ,IAAI,EAAE,SAAkB;YACxB,IAAI,EAAE;gBACJ,WAAW,EACT,8JAA8J;aACjK;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,iEAAiE;oBACjE,gEAAgE;oBAChE,qCAAqC;oBACrC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;oBACrC,QAAQ,GAAG,kBAAkB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,MAAM,CAC3E,CAAC,IAAI,EAAE,EAAE,CACP,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,CAClF,CAAC;oBACF,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,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;wBAC3C,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;4BACjC,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;4BAC/B,OAAO,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;wBACzC,CAAC,CAAC;wBACF,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;qBACrE,CAAC,CAAC;oBACH,MAAM,KAAK,GAAkB;wBAC3B,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,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;wBACvE,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,SAAS;wBACxC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO;qBACrC,CAAC;oBACF,oEAAoE;oBACpE,gEAAgE;oBAChE,MAAM,UAAU,GAAuB,EAAE,CAAC;oBAC1C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;wBAC5B,IAAI,CAAC;4BACH,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;4BACjC,MAAM,OAAO,GACX,SAAS,EAAE,IAAI,KAAK,OAAO;gCACzB,CAAC,CAAC,oBAAoB,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAC/D,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAC1C;gCACH,CAAC,CAAC,EAAE,CAAC;4BACT,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,OAAO,CAAC,CAAC;4BAC9E,uDAAuD;4BACvD,2CAA2C;4BAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAsD,CAAC;4BAC/E,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;4BACvD,MAAM,QAAQ,GAAG,CAAC,OAAsB,EAAE,EAAE;gCAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;gCACjC,IAAI,SAAS,KAAK,IAAI;oCAAE,OAAO,IAAI,CAAC;gCACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;oCACnC,OAAO,CAAC,GAAG,CACT,SAAS,CAAC,MAAM,EAChB,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAC1E,CAAC;gCACJ,CAAC;gCACD,OAAO,SAAS,CAAC;4BACnB,CAAC,CAAC;4BACF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;4BAC7B,MAAM,UAAU,GACd,KAAK,KAAK,IAAI;gCACZ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC;gCACtD,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CACpB,CAAC,GAAG,EAAE,EAAE,CACN,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAC3E,CAAC;4BACR,IAAI,SAAS,EAAE,IAAI,KAAK,OAAO,IAAI,KAAK,KAAK,IAAI;gCAAE,SAAS;4BAC5D,KAAK,MAAM,GAAG,IAAI,kBAAkB,CAAC,UAAU,EAAE,KAAK,CAAC,EAAE,CAAC;gCACxD,MAAM,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;gCAClD,IAAI,SAAS,KAAK,IAAI;oCAAE,SAAS;gCACjC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;oCAAE,SAAS;gCAC5E,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;gCACnF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gCACrB,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;4BACxC,CAAC;4BACD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;gCACvC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oCAC3E,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gCACvB,CAAC;4BACH,CAAC;wBACH,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,EAAE,CAAC;wBAC7B,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,8 +1,37 @@
 import * as path from "node:path";
 import { astGrepMatcher } from "@goodbones/ast-grep";
-import { findManifestFile, loadCampaignFunctions, loadPolicy, makeFileSystemLive, makeReportSourceLive, readManifestFile, reportSpecsOf, ReportUnavailable, } from "@goodbones/core";
+import { campaignsExtension, campaignsOf, discoverSectors, loadCampaignFunctions, makeReportSourceLive, reportSpecsOf, } from "@goodbones/campaigns";
+import { findManifestFile, globToRegExp, listSourceFiles, listWorkspaceProjects, loadPolicy, makeFileSystemLive, readManifestFile, ReportUnavailable, } from "@goodbones/core";
 import { typescriptLanguage } from "@goodbones/typescript";
 import * as Result from "effect/Result";
+// A `marker` or `nx` perimeter needs the other files to say which sector a
+// file is in — the markers, or the workspace's projects — so the plugin
+// reads them once at load, from a walk of the repository that reads no
+// source text but the markers'. The other perimeters answer from the path
+// or the file itself, and need nothing here.
+export const discoverSectorIndexes = (policy) => {
+    const indexes = new Map();
+    const needing = campaignsOf(policy).campaignRules.filter((rule) => rule.perimeter?.kind === "marker" || rule.perimeter?.kind === "nx");
+    if (needing.length === 0)
+        return indexes;
+    const widened = [...new Set(needing.flatMap((rule) => rule.extensions))];
+    const files = listSourceFiles(policy.repoRoot, ["."], policy.languages, widened);
+    const known = new Set(policy.languages.flatMap((one) => one.extensions));
+    const projects = needing.some((rule) => rule.perimeter?.kind === "nx")
+        ? listWorkspaceProjects(policy.repoRoot, ["."])
+        : [];
+    for (const rule of needing) {
+        const scoped = files.filter((file) => rule.scope.some((pattern) => pattern.test(file)) &&
+            (known.has(path.extname(file)) || rule.extensions.includes(path.extname(file))));
+        indexes.set(rule.id, discoverSectors(rule, {
+            files: scoped,
+            readText: (file) => policy.fileSystem.readText(file),
+            globToRegExp,
+            projects,
+        }));
+    }
+    return indexes;
+};
 // The clock the campaigns are judged by; `ARCHITECTURE_NOW` pins it, as it
 // does for the CLI.
 const hostNow = () => {
@@ -38,11 +67,10 @@ export const loadPolicyFromFile = async (repoRoot, configFilename) => {
         locate: read.locate,
         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),
+        extensions: [campaignsExtension({ functions, reports: makeReportSourceLive(repoRoot) })],
         now: hostNow(),
     });
     if (Result.isFailure(loaded))
@@ -57,11 +85,12 @@ export const loadPolicyFromFile = async (repoRoot, configFilename) => {
     // commands run at once. 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; one that does not parse is.
-    await Promise.all(reportSpecsOf(policy.campaignRules).map(async (spec) => {
-        if (policy.reports.read !== undefined)
-            return policy.reports.read(spec);
+    const campaigns = campaignsOf(policy);
+    await Promise.all(reportSpecsOf(campaigns.campaignRules).map(async (spec) => {
+        if (campaigns.reports.read !== undefined)
+            return campaigns.reports.read(spec);
         try {
-            policy.reports.diagnosticsOf(spec, "");
+            campaigns.reports.diagnosticsOf(spec, "");
         }
         catch (cause) {
             if (!(cause instanceof ReportUnavailable))

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,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,0EAA0E;IAC1E,yEAAyE;IACzE,mEAAmE;IACnE,oEAAoE;IACpE,0DAA0D;IAC1D,MAAM,OAAO,CAAC,GAAG,CACf,aAAa,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACrD,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,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,CAAC,CACH,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,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,kBAAkB,EAClB,WAAW,EACX,eAAe,EACf,qBAAqB,EACrB,oBAAoB,EACpB,aAAa,GAEd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,gBAAgB,EAChB,YAAY,EACZ,eAAe,EACf,qBAAqB,EAErB,UAAU,EACV,kBAAkB,EAClB,gBAAgB,EAChB,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,2EAA2E;AAC3E,wEAAwE;AACxE,uEAAuE;AACvE,0EAA0E;AAC1E,6CAA6C;AAC7C,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAoB,EAAoC,EAAE;IAC9F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,MAAM,CACtD,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,IAAI,CAC7E,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACzC,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,IAAI,CAAC;QACpE,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAC;QAC/C,CAAC,CAAC,EAAE,CAAC;IACP,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CACzB,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAClF,CAAC;QACF,OAAO,CAAC,GAAG,CACT,IAAI,CAAC,EAAE,EACP,eAAe,CAAC,IAAI,EAAE;YACpB,KAAK,EAAE,MAAM;YACb,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;YACpD,YAAY;YACZ,QAAQ;SACT,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,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,qEAAqE;QACrE,qEAAqE;QACrE,yEAAyE;QACzE,UAAU,EAAE,CAAC,kBAAkB,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACxF,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,0EAA0E;IAC1E,yEAAyE;IACzE,mEAAmE;IACnE,oEAAoE;IACpE,0DAA0D;IAC1D,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,MAAM,OAAO,CAAC,GAAG,CACf,aAAa,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACxD,IAAI,SAAS,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,IAAI,CAAC;YACH,SAAS,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK,YAAY,iBAAiB,CAAC;gBAAE,MAAM,KAAK,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CACH,CAAC;IACF,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/build/esm/plugin.js

@@ -1,5 +1,5 @@
 import { makeCampaignsRule } from "./campaigns-rule.js";
-import { loadPolicyFromFile } from "./config-loader.js";
+import { discoverSectorIndexes, loadPolicyFromFile } from "./config-loader.js";
 import { makeExportsRule } from "./exports-rule.js";
 import { makeImportsRule } from "./imports-rule.js";
 import { makeMembersRule } from "./members-rule.js";
@@ -22,7 +22,9 @@ export const rules = {
     members: makeMembersRule(policy),
     structure: makeStructureRule(policy),
     surface: makeSurfaceRule(policy),
-    campaigns: makeCampaignsRule(policy),
+    // The sectors a `marker` or `nx` perimeter births are read once here,
+    // from the markers and the workspace, before any file is linted.
+    campaigns: makeCampaignsRule(policy, discoverSectorIndexes(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,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"}
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../../src/plugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC/E,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,sEAAsE;IACtE,iEAAiE;IACjE,SAAS,EAAE,iBAAiB,CAAC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAC;CACpE,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.10",
+  "version": "0.1.0-beta.12",
   "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,9 +44,10 @@
   ],
   "dependencies": {
     "effect": "4.0.0-beta.94",
-    "@goodbones/ast-grep": "0.1.2",
-    "@goodbones/core": "0.1.0-beta.10",
-    "@goodbones/typescript": "0.1.0-beta.10"
+    "@goodbones/ast-grep": "0.1.3-beta.1",
+    "@goodbones/core": "0.1.0-beta.12",
+    "@goodbones/campaigns": "0.1.1-beta.1",
+    "@goodbones/typescript": "0.1.0-beta.12"
   },
   "peerDependencies": {
     "oxlint": ">=1.77.0"

package/src/campaigns-rule.ts

@@ -1,14 +1,28 @@
+import * as path from "node:path";
+
 import {
   type CampaignHit,
+  type CampaignInput,
+  campaignsOf,
   campaignsSelecting,
   type CompiledCampaign,
-  evaluateCampaigns,
-  formatMessage,
-  leafTermsOf,
-  type LoadedPolicy,
-  reconcile,
-  ReportUnavailable,
-} from "@goodbones/core";
+  type CompiledObjective,
+  derivePhase,
+  detectorCandidatesOf,
+  detectorOf,
+  evaluateObjectives,
+  ledgerKeyOf,
+  LEGACY_PHASE,
+  LEGACY_SECTOR,
+  membershipOf,
+  needsSyntax,
+  objectivesInWindow,
+  positionOf,
+  reconcileSector,
+  sectorEntryOf,
+  type SectorIndex,
+} from "@goodbones/campaigns";
+import { formatMessage, type LoadedPolicy, ReportUnavailable } from "@goodbones/core";
 import { sourceFactsOf } from "@goodbones/typescript";
 
 import {
@@ -19,29 +33,71 @@ import {
   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.
+// The campaigns family, one file at a time: every hit of an objective in
+// window for the file's sector that its ledger does not carry, reported at
+// the match's position with the objective'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.
+//
+// The sector comes from the perimeter on this file (a marker or nx index
+// the host built at load, for the two forms that need the other files),
+// and the sector's phase from the ledgers — which objectives carry
+// holdouts for it, and its record's `reached` and attestations — never
+// from a walk. So the plugin's answer is the code as of the last `clear`,
+// and the CLI's is the code now; between a fix and its `clear` they
+// differ, and `check` fails on the stale holdout until they agree. A
+// `has` objective and an end state are never reported here: their holdout
+// is the sector, and they reach this file only as the phase they put it at.
+
+// The sectors a host discovered at load, per campaign, for the perimeters
+// that need the other files.
+export type SectorIndexes = ReadonlyMap<string, SectorIndex>;
 
-// 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>,
+  rule: CompiledCampaign,
+  sector: string,
+  root: string,
   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);
+  const carried = new Set<CampaignHit>();
+  const byObjective = new Map<string, Array<CampaignHit>>();
+  for (const hit of hits) {
+    byObjective.set(hit.objective, [...(byObjective.get(hit.objective) ?? []), hit]);
+  }
+  for (const [objectiveId, own] of byObjective) {
+    const objective = rule.objectives.find((one) => one.id === objectiveId);
+    const ledger = campaignsOf(policy).ledgers.get(ledgerKeyOf(rule.id, objectiveId));
+    if (objective === undefined || ledger === undefined) continue;
+    const entries = own.map((hit) => sectorEntryOf(hit.violation, root));
+    const known = new Set(reconcileSector(ledger, sector, entries, objective.unit).ledgered);
+    own.forEach((hit, i) => {
+      if (known.has(entries[i] ?? "")) carried.add(hit);
+    });
   }
-  return hits.filter((hit) => !carried.has(hit.violation));
+  return hits.filter((hit) => !carried.has(hit));
+};
+
+// The objectives in window for the sector, read off the ledgers. A sector
+// no `clear` has placed — no record of it — stands at the first phase, as
+// the legacy does, rather than deriving to the end from ledgers that
+// carry nothing for it.
+const inWindowFor = (
+  policy: LoadedPolicy,
+  rule: CompiledCampaign,
+  sector: string,
+): ReadonlyArray<CompiledObjective> => {
+  const record = campaignsOf(policy).sectorRecords.get(ledgerKeyOf(rule.id, sector));
+  const position = positionOf(rule, record);
+  const counts = (objectiveId: string): number =>
+    campaignsOf(policy).ledgers.get(ledgerKeyOf(rule.id, objectiveId))?.sectors[sector]?.holdouts.length ?? 0;
+  const phase =
+    sector === LEGACY_SECTOR || record === undefined
+      ? Math.min(LEGACY_PHASE, rule.phases.length)
+      : derivePhase(rule, counts, position);
+  return objectivesInWindow(rule, phase, position).filter((one) => one.detect !== null);
 };
 
 // A `report` a campaign names that cannot be read — a command the kernel
@@ -55,16 +111,20 @@ 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 => {
+export const makeCampaignsRule = (
+  policy: LoadedPolicy,
+  indexes: SectorIndexes = new Map(),
+): 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>();
+  const known = new Set(policy.languages.flatMap((one) => one.extensions));
   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",
+          "the campaigns: every place a pattern the repository is migrating away from still occurs, in a sector whose phase asks for it, that its ledger does not carry",
       },
       schema: [],
     },
@@ -77,33 +137,86 @@ export const makeCampaignsRule = (policy: LoadedPolicy): OxlintRule => {
         before() {
           file = toRepoRelative(policy.repoRoot, context.filename);
           if (file.startsWith("..")) return false;
-          selected = campaignsSelecting(policy.campaignRules, file);
+          // A file the packs would not walk — one oxlint lints anyway — is
+          // seen only by a campaign that widened its scope to it, so both
+          // hosts answer about the same files.
+          const extension = path.extname(file);
+          selected = campaignsSelecting(campaignsOf(policy).campaignRules, file).filter(
+            (rule) =>
+              known.size === 0 || known.has(extension) || rule.extensions.includes(extension),
+          );
           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 = {
+          const detectors = selected.flatMap((rule) => [
+            ...rule.objectives.flatMap((one) => {
+              const detect = detectorOf(one);
+              return detect === null ? [] : [detect];
+            }),
+            ...(rule.perimeter?.kind === "match" ? [rule.perimeter.detect] : []),
+          ]);
+          const input: CampaignInput = {
             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,
+            syntax: needsSyntax(detectors) ? policy.syntax.parse(file, text) : null,
+            functions: campaignsOf(policy).functions,
+            reports: campaignsOf(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> = [];
+          const unrecorded: Array<CampaignHit> = [];
           for (const rule of selected) {
             try {
-              for (const hit of evaluateCampaigns([rule], input)) hits.push(hit);
+              const perimeter = rule.perimeter;
+              const anchors =
+                perimeter?.kind === "match"
+                  ? detectorCandidatesOf(perimeter.detect, perimeter.unit, input).map(
+                      (one) => one.key.split("#")[0] ?? one.key,
+                    )
+                  : [];
+              const place = membershipOf(rule, file, indexes.get(rule.id) ?? null, anchors);
+              // Hits grouped by the sector they fall in, then judged
+              // against that sector's window and ledger.
+              const bySector = new Map<string, { root: string; hits: Array<CampaignHit> }>();
+              const windows = new Map<string, ReadonlySet<string>>();
+              const placedAt = (subject: string | null) => {
+                const placement = place(subject);
+                if (placement === null) return null;
+                if (!windows.has(placement.sector)) {
+                  windows.set(
+                    placement.sector,
+                    new Set(inWindowFor(policy, rule, placement.sector).map((one) => one.id)),
+                  );
+                }
+                return placement;
+              };
+              const whole = placedAt(null);
+              const candidates =
+                whole === null
+                  ? rule.objectives.filter((one) => one.detect !== null)
+                  : rule.objectives.filter(
+                      (one) =>
+                        one.detect !== null && (windows.get(whole.sector)?.has(one.id) ?? false),
+                    );
+              if (perimeter?.kind !== "match" && whole === null) continue;
+              for (const hit of evaluateObjectives(candidates, input)) {
+                const placement = placedAt(hit.violation.subject);
+                if (placement === null) continue;
+                if (!(windows.get(placement.sector)?.has(hit.objective) ?? false)) continue;
+                const group = bySector.get(placement.sector) ?? { root: placement.root, hits: [] };
+                group.hits.push(hit);
+                bySector.set(placement.sector, group);
+              }
+              for (const [sector, group] of bySector) {
+                for (const hit of unledgered(policy, rule, sector, group.root, group.hits)) {
+                  unrecorded.push(hit);
+                }
+              }
             } catch (cause) {
               if (!(cause instanceof ReportUnavailable)) throw cause;
               const message = aside(cause);
@@ -113,7 +226,7 @@ export const makeCampaignsRule = (policy: LoadedPolicy): OxlintRule => {
             }
           }
 
-          for (const hit of unledgered(policy, selected, hits)) {
+          for (const hit of unrecorded) {
             // 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 } };

package/src/config-loader.ts

@@ -2,14 +2,23 @@ import * as path from "node:path";
 
 import { astGrepMatcher } from "@goodbones/ast-grep";
 import {
-  findManifestFile,
+  campaignsExtension,
+  campaignsOf,
+  discoverSectors,
   loadCampaignFunctions,
+  makeReportSourceLive,
+  reportSpecsOf,
+  type SectorIndex,
+} from "@goodbones/campaigns";
+import {
+  findManifestFile,
+  globToRegExp,
+  listSourceFiles,
+  listWorkspaceProjects,
   type LoadedPolicy,
   loadPolicy,
   makeFileSystemLive,
-  makeReportSourceLive,
   readManifestFile,
-  reportSpecsOf,
   ReportUnavailable,
 } from "@goodbones/core";
 import { typescriptLanguage } from "@goodbones/typescript";
@@ -17,6 +26,42 @@ import * as Result from "effect/Result";
 
 export type { LoadedPolicy } from "@goodbones/core";
 
+// A `marker` or `nx` perimeter needs the other files to say which sector a
+// file is in — the markers, or the workspace's projects — so the plugin
+// reads them once at load, from a walk of the repository that reads no
+// source text but the markers'. The other perimeters answer from the path
+// or the file itself, and need nothing here.
+export const discoverSectorIndexes = (policy: LoadedPolicy): ReadonlyMap<string, SectorIndex> => {
+  const indexes = new Map<string, SectorIndex>();
+  const needing = campaignsOf(policy).campaignRules.filter(
+    (rule) => rule.perimeter?.kind === "marker" || rule.perimeter?.kind === "nx",
+  );
+  if (needing.length === 0) return indexes;
+  const widened = [...new Set(needing.flatMap((rule) => rule.extensions))];
+  const files = listSourceFiles(policy.repoRoot, ["."], policy.languages, widened);
+  const known = new Set(policy.languages.flatMap((one) => one.extensions));
+  const projects = needing.some((rule) => rule.perimeter?.kind === "nx")
+    ? listWorkspaceProjects(policy.repoRoot, ["."])
+    : [];
+  for (const rule of needing) {
+    const scoped = files.filter(
+      (file) =>
+        rule.scope.some((pattern) => pattern.test(file)) &&
+        (known.has(path.extname(file)) || rule.extensions.includes(path.extname(file))),
+    );
+    indexes.set(
+      rule.id,
+      discoverSectors(rule, {
+        files: scoped,
+        readText: (file) => policy.fileSystem.readText(file),
+        globToRegExp,
+        projects,
+      }),
+    );
+  }
+  return indexes;
+};
+
 // The clock the campaigns are judged by; `ARCHITECTURE_NOW` pins it, as it
 // does for the CLI.
 const hostNow = (): number => {
@@ -56,11 +101,10 @@ export const loadPolicyFromFile = async (
     locate: read.locate,
     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),
+    extensions: [campaignsExtension({ functions, reports: makeReportSourceLive(repoRoot) })],
     now: hostNow(),
   });
   if (Result.isFailure(loaded)) throw loaded.failure;
@@ -74,11 +118,12 @@ export const loadPolicyFromFile = async (
   // commands run at once. 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; one that does not parse is.
+  const campaigns = campaignsOf(policy);
   await Promise.all(
-    reportSpecsOf(policy.campaignRules).map(async (spec) => {
-      if (policy.reports.read !== undefined) return policy.reports.read(spec);
+    reportSpecsOf(campaigns.campaignRules).map(async (spec) => {
+      if (campaigns.reports.read !== undefined) return campaigns.reports.read(spec);
       try {
-        policy.reports.diagnosticsOf(spec, "");
+        campaigns.reports.diagnosticsOf(spec, "");
       } catch (cause) {
         if (!(cause instanceof ReportUnavailable)) throw cause;
       }

package/src/plugin.ts

@@ -1,5 +1,5 @@
 import { makeCampaignsRule } from "./campaigns-rule.js";
-import { loadPolicyFromFile } from "./config-loader.js";
+import { discoverSectorIndexes, loadPolicyFromFile } from "./config-loader.js";
 import { makeExportsRule } from "./exports-rule.js";
 import { makeImportsRule } from "./imports-rule.js";
 import { makeMembersRule } from "./members-rule.js";
@@ -36,7 +36,9 @@ export const rules: {
   members: makeMembersRule(policy),
   structure: makeStructureRule(policy),
   surface: makeSurfaceRule(policy),
-  campaigns: makeCampaignsRule(policy),
+  // The sectors a `marker` or `nx` perimeter births are read once here,
+  // from the markers and the workspace, before any file is linted.
+  campaigns: makeCampaignsRule(policy, discoverSectorIndexes(policy)),
 };
 
 const plugin: { readonly meta: { readonly name: string }; readonly rules: typeof rules } = {