@goodbones/campaigns 0.1.0

package/build/esm/manifest/spec.js

@@ -0,0 +1,296 @@
+import { DeclarationKind, ImportProbeTarget, SurfaceConvention } from "@goodbones/core";
+import * as Schema from "effect/Schema";
+import { Holdout, ProbeDiagnostic, ReportFormat } from "../domain/config.js";
+// The authoring surface of the campaigns family: the `campaigns` map and the
+// `ledger` path, as a reader writes them. @goodbones/core decodes everything
+// else in the manifest and hands these two keys here, so the core codec never
+// learns a word of this vocabulary. `lower.ts` turns what this decodes into
+// the rules the evaluators compile.
+//
+// `Globs` is repeated here rather than imported: it is two lines, and a codec
+// primitive shared across a package boundary would make every glob in the
+// manifest a thing two packages have to agree about.
+const Globs = Schema.Union([Schema.String, Schema.Array(Schema.String)]);
+// A campaign: a migration the repository is running, tracked as an object —
+// a detector, a rationale, a guide, an owner, a definition of done, and a
+// ledger of every place the pattern still occurs. Where a rule says what may
+// never happen, a campaign names what the code is moving away from.
+//
+// The detector is a predicate algebra: `all`, `any` and `not` over leaf
+// terms, the same three words ast-grep uses. Leaf terms reuse the other
+// families' vocabularies where one exists.
+// A regular expression over the whole repo-relative path, matched as the
+// `structure` naming rules are: with `subject` and `convention`, the capture
+// group named holds the name being judged, and the term holds when the name
+// has the convention's shape.
+const PathTerm = Schema.Struct({
+    file: Globs,
+    fileNot: Schema.optionalKey(Globs),
+    subject: Schema.optionalKey(Schema.Finite),
+    convention: Schema.optionalKey(SurfaceConvention),
+});
+// Holds when some import of the file resolves to the target — a path glob,
+// `{ external: <package> }` or `{ builtin: <module> }` — and, with `symbols`,
+// pulls one of those names across it.
+const ImportsTerm = Schema.Struct({
+    resolves: ImportProbeTarget,
+    symbols: Schema.optionalKey(Schema.Array(Schema.String)),
+});
+// Holds for an export site the selectors admit — the `surface` selectors.
+const ExportsTerm = Schema.Struct({
+    name: Schema.optionalKey(Globs),
+    kinds: Schema.optionalKey(Schema.Array(Schema.Literals(["named", "default", "namespace"]))),
+    declares: Schema.optionalKey(Schema.Array(DeclarationKind)),
+    reexport: Schema.optionalKey(Schema.Boolean),
+});
+// Holds for a member site the selectors admit — the `members` selectors.
+const MembersTerm = Schema.Struct({
+    subject: Schema.Literals(["members", "calls"]),
+    name: Schema.optionalKey(Globs),
+    in: Schema.optionalKey(Globs),
+    declares: Schema.optionalKey(Schema.Array(DeclarationKind)),
+});
+// A regular expression over the file's text, multiline.
+const ContentTerm = Schema.Struct({ regex: Schema.String });
+// How a metavariable is narrowed: by the text it captured, or by what the
+// identifier at its root is bound to — the module it resolves to and the
+// name it was imported as (`member`), which is how `class $N extends $BASE`
+// says "a React component" rather than "any class with a base".
+const CaptureNarrowing = Schema.Struct({
+    regex: Schema.optionalKey(Schema.String),
+    binding: Schema.optionalKey(Schema.Struct({
+        resolves: ImportProbeTarget,
+        member: Schema.optionalKey(Schema.Array(Schema.String)),
+    })),
+});
+// An ast-grep rule object — `pattern`, `kind`, `regex`, `has`, `inside`,
+// `precedes`, `follows`, `nthChild`, `all`, `any`, `not` — with `where`
+// beside it. The rule is the engine's to validate; the manifest only knows
+// which keys are a rule's and which is the narrowing. `kind` names are the
+// engine's node kinds, which today are tree-sitter's.
+const SyntaxTerm = Schema.Struct({
+    pattern: Schema.optionalKey(Schema.Unknown),
+    kind: Schema.optionalKey(Schema.Unknown),
+    regex: Schema.optionalKey(Schema.Unknown),
+    nthChild: Schema.optionalKey(Schema.Unknown),
+    inside: Schema.optionalKey(Schema.Unknown),
+    has: Schema.optionalKey(Schema.Unknown),
+    precedes: Schema.optionalKey(Schema.Unknown),
+    follows: Schema.optionalKey(Schema.Unknown),
+    all: Schema.optionalKey(Schema.Unknown),
+    any: Schema.optionalKey(Schema.Unknown),
+    not: Schema.optionalKey(Schema.Unknown),
+    where: Schema.optionalKey(Schema.Record(Schema.String, CaptureNarrowing)),
+});
+// One program to run or file to read, or several: a tool that takes one
+// project at a time is run once per project, and the outputs are read as
+// one report — a diagnostic two of them print is one diagnostic.
+const ReportSources = Schema.Union([
+    Schema.String,
+    Schema.Array(Schema.String).check(Schema.isMinLength(1)),
+]);
+// A finding of another program, read from the output of `command` (run
+// from the repository root, once per `check`) or from `file` (written by
+// an earlier step) in one of the known formats — `tsc`, `eslint --format
+// json`, `oxlint --format json` — or by a `regex` with named groups. Holds
+// for each diagnostic on the file whose code the term speaks to.
+const ReportTerm = Schema.Struct({
+    command: Schema.optionalKey(ReportSources),
+    file: Schema.optionalKey(ReportSources),
+    format: ReportFormat,
+    pattern: Schema.optionalKey(Schema.String),
+    codes: Schema.optionalKey(Schema.Array(Schema.String)),
+    codesNot: Schema.optionalKey(Schema.Array(Schema.String)),
+}).check(
+// Refused at decode, where the issue names a line, rather than in the
+// lowering: a term that names both sources or neither, and a `regex`
+// term with nothing to match lines against.
+Schema.makeFilter((term) => {
+    const issues = [];
+    if ((term.command === undefined) === (term.file === undefined)) {
+        issues.push("a report term names exactly one of `command` (a program to run) and `file` (a report already written)");
+    }
+    if (term.format === "regex" && term.pattern === undefined) {
+        issues.push({
+            path: ["pattern"],
+            issue: "a `regex` report term needs a `pattern` with named groups `file` and `line`",
+        });
+    }
+    return issues;
+}));
+// Each object carries exactly one term key, so a misspelled one is a decode
+// error that names the line rather than a term quietly dropped.
+const DetectorRef = Schema.suspend(() => DetectorSpec);
+const DetectorSpec = Schema.Union([
+    Schema.Struct({ all: Schema.Array(DetectorRef) }),
+    Schema.Struct({ any: Schema.Array(DetectorRef) }),
+    Schema.Struct({ not: DetectorRef }),
+    Schema.Struct({ path: PathTerm }),
+    Schema.Struct({ imports: ImportsTerm }),
+    Schema.Struct({ exports: ExportsTerm }),
+    Schema.Struct({ members: MembersTerm }),
+    Schema.Struct({ requires: Schema.Array(Schema.String) }),
+    Schema.Struct({ content: ContentTerm }),
+    Schema.Struct({ syntax: SyntaxTerm }),
+    Schema.Struct({ report: ReportTerm }),
+    Schema.Struct({ fn: Schema.String }),
+]);
+// A source an objective is proven against at load. `path` alone proves a
+// path-shaped detector; `source` is parsed, `edges` answers the `imports`
+// term and a binding narrowing in place of the live resolver, `files`
+// answers `requires` in place of the file system, and `report` answers a
+// `report` term in place of running anything — one-based positions, as a
+// tool prints them.
+const CampaignProbe = Schema.Struct({
+    path: Schema.String,
+    source: Schema.optionalKey(Schema.String),
+    edges: Schema.optionalKey(Schema.Record(Schema.String, ImportProbeTarget)),
+    files: Schema.optionalKey(Schema.Array(Schema.String)),
+    report: Schema.optionalKey(Schema.Array(ProbeDiagnostic)),
+});
+const CampaignProbes = Schema.Struct({
+    fires: Schema.Array(CampaignProbe),
+    ignores: Schema.optionalKey(Schema.Array(CampaignProbe)),
+});
+// `30d`, `12h`: how long a campaign may go without progress before the
+// conformance report calls it stalled.
+const Duration = Schema.String.check(Schema.isPattern(/^\d+[dh]$/));
+const KebabId = Schema.String.check(Schema.isPattern(/^[a-z0-9]+(?:-[a-z0-9]+)*$/));
+// A term quantified over a sector's files: `has` a detector at least one
+// file (or declaration, or match) in the sector satisfies — a presence;
+// `oneRoot` every file under the root the perimeter was found at; `oneHost`
+// every file under the host named.
+const SectorTermSpec = Schema.Union([
+    Schema.Struct({ has: DetectorRef }),
+    Schema.Struct({ oneRoot: Schema.Literal(true) }),
+    Schema.Struct({ oneHost: Globs }),
+]);
+// An objective: a detector with a ledger that only shrinks on its own. The
+// `holdout` says what one ledger entry is; `match` is a per-file detector
+// and `sector` a term over the sector's files, exactly one of them.
+// `until` names the phase at which it stops counting.
+const Objective = Schema.Struct({
+    // What a reader at a holdout does about it — the message every hit
+    // carries; falls back to the campaign's.
+    how: Schema.optionalKey(Schema.String),
+    why: Schema.optionalKey(Schema.String),
+    holdout: Holdout,
+    match: Schema.optionalKey(DetectorRef),
+    sector: Schema.optionalKey(SectorTermSpec),
+    until: Schema.optionalKey(KebabId),
+    probes: Schema.optionalKey(CampaignProbes),
+}).check(Schema.makeFilter((objective) => {
+    const issues = [];
+    if ((objective.match === undefined) === (objective.sector === undefined)) {
+        issues.push("an objective names exactly one of `match` (a detector over each file) and `sector` (a term over the sector's files)");
+    }
+    if (objective.sector !== undefined && objective.holdout !== "sector") {
+        issues.push({
+            path: ["holdout"],
+            issue: "a `sector` objective's holdout is the sector: write `holdout: sector`",
+        });
+    }
+    if (objective.match !== undefined && objective.holdout === "sector") {
+        issues.push({
+            path: ["holdout"],
+            issue: "a `match` objective's holdout is `file`, `declaration` or `match`",
+        });
+    }
+    if (objective.match !== undefined && (objective.probes?.fires.length ?? 0) === 0) {
+        issues.push({
+            path: ["probes"],
+            issue: "a `match` objective carries `probes.fires`: at least one source it must report, as every rule proves it can fire",
+        });
+    }
+    return issues;
+}));
+// How a sector is recognized. `file`: one per file, keyed by the path without
+// its extension. `nx`: the workspace's projects. `{ glob }`: one per match.
+// `{ marker }`: a file that names the sector — an exported `sector` object
+// with `name` and the globs it `owns`; without one, the folder. `{ match }`:
+// one per detector match, keyed by its anchor, and proven by probes at least
+// one of which is a sector in its end shape.
+const PerimeterSpec = Schema.Union([
+    Schema.Literals(["file", "nx"]),
+    Schema.Struct({ glob: Globs }),
+    Schema.Struct({
+        marker: Globs,
+        probes: Schema.optionalKey(Schema.Struct({ fires: Schema.optionalKey(Globs), ignores: Schema.optionalKey(Globs) })),
+    }),
+    Schema.Struct({
+        match: DetectorRef,
+        holdout: Schema.optionalKey(Schema.Literals(["declaration", "match"])),
+        probes: CampaignProbes,
+    }),
+]);
+const OnTouchSpec = Schema.Literals(["advise", "ratchet", "paydown"]);
+// A receipt for a change to a defined phase: a reason, dated.
+const PhaseConcessionSpec = Schema.Struct({
+    reason: Schema.String,
+    at: Schema.String,
+    by: Schema.optionalKey(Schema.String),
+});
+// A sector-relative node tree: one root, `~/`, standing for the sector,
+// shaped like the manifest's own tree with one allow entry of its own —
+// `{ sector, via }`, another sector through its port. Carried as written
+// and decoded as a tree once the lowering has rebased it for a sector, so
+// the node codec itself never learns the extra entry.
+const EndStateSpec = Schema.Record(Schema.String, Schema.Unknown);
+// A phase: a named, ordered group of objectives. Defined when it names one
+// (or is `attested`, or carries an `endState`); open when it has only an
+// intent, and then it is last.
+const Phase = Schema.Struct({
+    id: KebabId,
+    intent: Schema.optionalKey(Schema.String),
+    objectives: Schema.optionalKey(Schema.Array(KebabId)),
+    attested: Schema.optionalKey(Schema.Boolean),
+    onTouch: Schema.optionalKey(OnTouchSpec),
+    endState: Schema.optionalKey(EndStateSpec),
+    concessions: Schema.optionalKey(Schema.Array(PhaseConcessionSpec)),
+});
+// The scope, as globs or with the extensions the campaign widens the walk
+// to beyond the packs' own.
+const ScopeSpec = Schema.Union([
+    Globs,
+    Schema.Struct({ path: Globs, extensions: Schema.optionalKey(Schema.Array(Schema.String)) }),
+]);
+// A campaign: one multi-step refactor with an end. Everything above
+// `objectives` is optional, so a one-objective campaign is the minimal form.
+const Campaign = Schema.Struct({
+    title: Schema.optionalKey(Schema.String),
+    why: Schema.optionalKey(Schema.String),
+    // The message a holdout carries when its objective states no `how`.
+    how: Schema.optionalKey(Schema.String),
+    owner: Schema.optionalKey(Schema.String),
+    // Which files the campaign sees. Alias-aware globs, as the graph rules
+    // take; a campaign's reach is its scope, so it joins no coverage row.
+    // Defaults to every file.
+    scope: Schema.optionalKey(ScopeSpec),
+    // What the unclaimed remainder of the scope counts as; absent, all of it.
+    legacy: Schema.optionalKey(Globs),
+    perimeter: Schema.optionalKey(PerimeterSpec),
+    onTouch: Schema.optionalKey(OnTouchSpec),
+    phases: Schema.optionalKey(Schema.Array(Phase)),
+    // Sugar for the last phase's end state.
+    endState: Schema.optionalKey(EndStateSpec),
+    objectives: Schema.Record(KebabId, Objective),
+    staleAfter: Schema.optionalKey(Duration),
+    onComplete: Schema.optionalKey(Schema.Literals(["keep", "remove"])),
+});
+// The slice of the manifest this family owns: the `campaigns` map, and the
+// directory its ledgers are written under. @goodbones/core splits these two
+// keys off the expanded manifest and hands them here; everything the core
+// decodes, it decodes without them.
+export const CampaignsManifest = Schema.Struct({
+    campaigns: Schema.optionalKey(Schema.Record(KebabId, Campaign)),
+    // Where the ledgers are written: `<ledger>/<campaign>/<objective>.json`,
+    // relative to the manifest. Defaults to `.architecture-campaigns`.
+    ledger: Schema.optionalKey(Schema.String),
+});
+export const DEFAULT_LEDGER_DIR = ".architecture-campaigns";
+// `30d` -> milliseconds. The schema has already refused any other shape.
+export const durationMs = (duration) => {
+    const amount = Number(duration.slice(0, -1));
+    return amount * (duration.endsWith("h") ? 3_600_000 : 86_400_000);
+};
+//# sourceMappingURL=spec.js.map

package/build/esm/manifest/spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec.js","sourceRoot":"","sources":["../../../src/manifest/spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACxF,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAE7E,6EAA6E;AAC7E,6EAA6E;AAC7E,8EAA8E;AAC9E,4EAA4E;AAC5E,oCAAoC;AACpC,EAAE;AACF,8EAA8E;AAC9E,0EAA0E;AAC1E,qDAAqD;AAErD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AAEzE,4EAA4E;AAC5E,0EAA0E;AAC1E,6EAA6E;AAC7E,oEAAoE;AACpE,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,2CAA2C;AAE3C,yEAAyE;AACzE,6EAA6E;AAC7E,4EAA4E;AAC5E,8BAA8B;AAC9B,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,EAAE,KAAK;IACX,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,iBAAiB,CAAC;CAClD,CAAC,CAAC;AAEH,2EAA2E;AAC3E,8EAA8E;AAC9E,sCAAsC;AACtC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,QAAQ,EAAE,iBAAiB;IAC3B,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CACzD,CAAC,CAAC;AAEH,0EAA0E;AAC1E,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC3F,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC3D,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;CAC7C,CAAC,CAAC;AAEH,yEAAyE;AACzE,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAC9C,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;IAC/B,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;CAC5D,CAAC,CAAC;AAEH,wDAAwD;AACxD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAE5D,0EAA0E;AAC1E,yEAAyE;AACzE,4EAA4E;AAC5E,gEAAgE;AAChE,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IACrC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,OAAO,EAAE,MAAM,CAAC,WAAW,CACzB,MAAM,CAAC,MAAM,CAAC;QACZ,QAAQ,EAAE,iBAAiB;QAC3B,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;KACxD,CAAC,CACH;CACF,CAAC,CAAC;AAEH,yEAAyE;AACzE,wEAAwE;AACxE,2EAA2E;AAC3E,2EAA2E;AAC3E,sDAAsD;AACtD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC3C,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IACxC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IACzC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC5C,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC1C,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IACvC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC5C,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC3C,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IACvC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IACvC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAC1E,CAAC,CAAC;AAEH,wEAAwE;AACxE,yEAAyE;AACzE,iEAAiE;AACjE,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC;IACjC,MAAM,CAAC,MAAM;IACb,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;CACzD,CAAC,CAAC;AAEH,uEAAuE;AACvE,yEAAyE;AACzE,yEAAyE;AACzE,2EAA2E;AAC3E,iEAAiE;AACjE,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/B,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC;IAC1C,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC;IACvC,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtD,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;CAC1D,CAAC,CAAC,KAAK;AACN,sEAAsE;AACtE,qEAAqE;AACrE,4CAA4C;AAC5C,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE;IACzB,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,EAAE,CAAC;QAC/D,MAAM,CAAC,IAAI,CACT,uGAAuG,CACxG,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,KAAK,EAAE,6EAA6E;SACrF,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC,CACH,CAAC;AAkBF,4EAA4E;AAC5E,gEAAgE;AAChE,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,GAA+B,EAAE,CAAC,YAAY,CAAC,CAAC;AAEnF,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC;IAChC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACjD,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;IACjD,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IACxD,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACrC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACrC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;CACrC,CAAC,CAAC;AAEH,yEAAyE;AACzE,0EAA0E;AAC1E,sEAAsE;AACtE,yEAAyE;AACzE,yEAAyE;AACzE,oBAAoB;AACpB,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAC1E,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;CACzD,CAAC,CAAC;AAEH,uEAAuE;AACvE,uCAAuC;AACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;AAEpE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,4BAA4B,CAAC,CAAC,CAAC;AAEpF,yEAAyE;AACzE,wEAAwE;AACxE,4EAA4E;AAC5E,mCAAmC;AACnC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC;IAClC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;IACnC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;IAChD,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;CAClC,CAAC,CAAC;AAEH,2EAA2E;AAC3E,0EAA0E;AAC1E,oEAAoE;AACpE,sDAAsD;AACtD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;IAC9B,mEAAmE;IACnE,yCAAyC;IACzC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,OAAO,EAAE,OAAO;IAChB,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACtC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC;IAC1C,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC;CAC3C,CAAC,CAAC,KAAK,CACN,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,EAAE,EAAE;IAC9B,MAAM,MAAM,GAA8B,EAAE,CAAC;IAC7C,IAAI,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QACzE,MAAM,CAAC,IAAI,CACT,qHAAqH,CACtH,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,SAAS,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACrE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,KAAK,EAAE,uEAAuE;SAC/E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,SAAS,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC,SAAS,CAAC;YACjB,KAAK,EAAE,mEAAmE;SAC3E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QACjF,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,CAAC,QAAQ,CAAC;YAChB,KAAK,EACH,kHAAkH;SACrH,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC,CACH,CAAC;AAEF,8EAA8E;AAC9E,4EAA4E;AAC5E,2EAA2E;AAC3E,6EAA6E;AAC7E,6EAA6E;AAC7E,6CAA6C;AAC7C,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC;IACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/B,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAC9B,MAAM,CAAC,MAAM,CAAC;QACZ,MAAM,EAAE,KAAK;QACb,MAAM,EAAE,MAAM,CAAC,WAAW,CACxB,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CACxF;KACF,CAAC;IACF,MAAM,CAAC,MAAM,CAAC;QACZ,KAAK,EAAE,WAAW;QAClB,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC;QACtE,MAAM,EAAE,cAAc;KACvB,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAEtE,8DAA8D;AAC9D,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CACtC,CAAC,CAAC;AAEH,wEAAwE;AACxE,wEAAwE;AACxE,yEAAyE;AACzE,0EAA0E;AAC1E,sDAAsD;AACtD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAClE,2EAA2E;AAC3E,yEAAyE;AACzE,+BAA+B;AAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1B,EAAE,EAAE,OAAO;IACX,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACrD,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC;IAC5C,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC;IAC1C,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;CACnE,CAAC,CAAC;AAEH,0EAA0E;AAC1E,4BAA4B;AAC5B,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC;IAC7B,KAAK;IACL,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;CAC5F,CAAC,CAAC;AAEH,oEAAoE;AACpE,6EAA6E;AAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,oEAAoE;IACpE,GAAG,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACtC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;IACxC,uEAAuE;IACvE,sEAAsE;IACtE,0BAA0B;IAC1B,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC;IACpC,0EAA0E;IAC1E,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC;IAC5C,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC;IACxC,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC/C,wCAAwC;IACxC,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC;IAC1C,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC;IAC7C,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC;IACxC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;CACpE,CAAC,CAAC;AAEH,2EAA2E;AAC3E,4EAA4E;AAC5E,0EAA0E;AAC1E,oCAAoC;AACpC,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7C,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC/D,yEAAyE;IACzE,mEAAmE;IACnE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,CAAC,CAAC;AAaH,MAAM,CAAC,MAAM,kBAAkB,GAAG,yBAAyB,CAAC;AAE5D,yEAAyE;AACzE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAAgB,EAAU,EAAE;IACrD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,OAAO,MAAM,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AACpE,CAAC,CAAC"}

package/build/esm/ports/campaign-predicate.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=campaign-predicate.js.map

package/build/esm/ports/campaign-predicate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaign-predicate.js","sourceRoot":"","sources":["../../../src/ports/campaign-predicate.ts"],"names":[],"mappings":""}

package/build/esm/ports/report-source.js

@@ -0,0 +1,7 @@
+// The commands or files a spec names, as a list.
+export const reportSourcesOf = (spec) => {
+    const named = spec.command ?? spec.file ?? [];
+    return typeof named === "string" ? [named] : named;
+};
+export const NO_REPORTS = { diagnosticsOf: () => [] };
+//# sourceMappingURL=report-source.js.map

package/build/esm/ports/report-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report-source.js","sourceRoot":"","sources":["../../../src/ports/report-source.ts"],"names":[],"mappings":"AAaA,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,IAAgB,EAAyB,EAAE;IACzE,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;IAC9C,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACrD,CAAC,CAAC;AAiBF,MAAM,CAAC,MAAM,UAAU,GAAiB,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC"}

package/build/esm/testing.js

@@ -0,0 +1,5 @@
+// The fake for this family's one port, for tests that state what another
+// tool reported and never run it. The fakes for the core's ports are under
+// `@goodbones/core/testing`.
+export { makeReportSourceFake } from "./infrastructure/report-source-fake.js";
+//# sourceMappingURL=testing.js.map

package/build/esm/testing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"testing.js","sourceRoot":"","sources":["../../src/testing.ts"],"names":[],"mappings":"AAAA,yEAAyE;AACzE,2EAA2E;AAC3E,6BAA6B;AAC7B,OAAO,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC"}

package/package.json

@@ -0,0 +1,65 @@
+{
+  "name": "@goodbones/campaigns",
+  "version": "0.1.0",
+  "type": "module",
+  "license": "MIT",
+  "description": "The campaigns family for @goodbones/core: a refactor tracked as objectives over sectors through phases, with a ledger that only shrinks on its own and a diff-scoped nudge.",
+  "author": "zacharyweidenbach",
+  "keywords": [
+    "architecture",
+    "refactoring",
+    "migration",
+    "campaigns",
+    "lint",
+    "monorepo"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/dataquail/goodbones.git",
+    "directory": "packages/campaigns"
+  },
+  "homepage": "https://dataquail.github.io/goodbones",
+  "bugs": {
+    "url": "https://github.com/dataquail/goodbones/issues"
+  },
+  "exports": {
+    ".": {
+      "types": "./build/dts/index.d.ts",
+      "default": "./build/esm/index.js"
+    },
+    "./testing": {
+      "types": "./build/dts/testing.d.ts",
+      "default": "./build/esm/testing.js"
+    },
+    "./package.json": "./package.json"
+  },
+  "types": "./build/dts/index.d.ts",
+  "files": [
+    "build/dts",
+    "build/esm",
+    "src",
+    "!src/**/*.test.ts"
+  ],
+  "dependencies": {
+    "effect": "4.0.0-beta.94",
+    "@goodbones/core": "0.1.0-beta.11"
+  },
+  "devDependencies": {
+    "@types/node": "^25.9.4",
+    "ajv": "^8.20.0",
+    "yaml": "^2.9.0"
+  },
+  "nx": {
+    "includedScripts": []
+  },
+  "scripts": {
+    "build": "tsc -b tsconfig.build.json",
+    "check": "tsc -b tsconfig.json",
+    "clean": "rm -rf build .tsbuildinfo",
+    "test": "vitest run",
+    "coverage": "vitest run --coverage"
+  }
+}

package/src/core/campaign-state.ts

@@ -0,0 +1,227 @@
+import type { Violation } from "@goodbones/core";
+
+import type { PhaseRule } from "../domain/config.js";
+import {
+  type CampaignHit,
+  type CampaignInput,
+  candidatesOf,
+  type CompiledCampaign,
+  type CompiledObjective,
+  evaluateObjectives,
+  perFileObjectivesOf,
+} from "./campaigns.js";
+import type { SectorRecord } from "./ledger.js";
+import { positionOf } from "./ledger.js";
+import {
+  derivePhase,
+  LEGACY_PHASE,
+  objectivesInWindow,
+  type Residue,
+  type SectorPosition,
+} from "./phases.js";
+import {
+  discoverSectors,
+  entryOf,
+  LEGACY_SECTOR,
+  rootOf,
+  type Sector,
+  SECTOR_HOLDOUT,
+  type SectorDiscovery,
+  type SectorIndex,
+  sectorNamed,
+} from "./sectors.js";
+
+// One campaign over the files in its scope: its sectors discovered, every
+// objective evaluated — per file, or over a sector's files — every hit
+// placed in its sector and keyed relative to the sector's root, and each
+// sector's phase derived from what fired. The host supplies the file
+// reading; nothing here touches one.
+
+export type ObjectiveHit = CampaignHit & {
+  readonly sector: string;
+  // The ledger entry: relative to the sector's root.
+  readonly entry: string;
+};
+
+export type SectorState = {
+  readonly name: string;
+  readonly sector: Sector;
+  // The derived phase, as an index; `rule.phases.length` when done.
+  readonly phase: number;
+  readonly position: SectorPosition;
+  readonly inWindow: ReadonlyArray<CompiledObjective>;
+  // Every objective's hits in the sector, in window or not.
+  readonly counts: Residue;
+  // One dimension per objective in window.
+  readonly residue: Residue;
+};
+
+export type CampaignEvaluation = {
+  readonly rule: CompiledCampaign;
+  readonly index: SectorIndex;
+  // Every hit, whether or not its objective is in window for its sector.
+  readonly hits: ReadonlyArray<ObjectiveHit>;
+  readonly sectors: ReadonlyMap<string, SectorState>;
+};
+
+export type CampaignEvaluationInput = {
+  // The files in the campaign's scope.
+  readonly files: ReadonlyArray<string>;
+  readonly inputOf: (file: string) => CampaignInput;
+  readonly readText: (file: string) => string | null;
+  readonly globToRegExp: SectorDiscovery["globToRegExp"];
+  readonly projects?: SectorDiscovery["projects"];
+  readonly recordOf: (sector: string) => SectorRecord | undefined;
+  // For an `endState` objective: the violations of one family against the
+  // tree lowered for this sector. Absent, an end state has no residue —
+  // the plugin's position, which never evaluates one.
+  readonly endStateOf?:
+    ((sector: Sector, phase: PhaseRule, family: string) => ReadonlyArray<Violation>) | undefined;
+};
+
+const sectorHit = (objective: CompiledObjective, sector: Sector): ObjectiveHit => ({
+  violation: {
+    kind: "campaign",
+    ruleName: objective.name,
+    message: objective.message,
+    file: sector.files[0] ?? sector.roots[0] ?? "",
+    subject: null,
+  },
+  campaign: objective.campaign,
+  objective: objective.id,
+  sector: sector.name,
+  entry: SECTOR_HOLDOUT,
+});
+
+const under = (root: string, file: string): boolean =>
+  root === "" || file === root || file.startsWith(`${root}/`);
+
+export const evaluateCampaign = (
+  rule: CompiledCampaign,
+  input: CampaignEvaluationInput,
+): CampaignEvaluation => {
+  const inputs = new Map<string, CampaignInput>();
+  const inputOf = (file: string): CampaignInput => {
+    const cached = inputs.get(file);
+    if (cached !== undefined) return cached;
+    const made = input.inputOf(file);
+    inputs.set(file, made);
+    return made;
+  };
+
+  const perimeter = rule.perimeter;
+  const index = discoverSectors(rule, {
+    files: input.files,
+    readText: input.readText,
+    globToRegExp: input.globToRegExp,
+    projects: input.projects,
+    perimeterMatches:
+      perimeter?.kind === "match"
+        ? (file) =>
+            candidatesOf(perimeter.detect, perimeter.unit, inputOf(file)).map(
+              (one) => one.key.split("#")[0] ?? one.key,
+            )
+        : undefined,
+  });
+
+  const hits: Array<ObjectiveHit> = [];
+  const perFile = perFileObjectivesOf(rule);
+  if (perFile.length > 0) {
+    for (const file of input.files) {
+      if (index.sectorOf(file) === null) continue;
+      for (const hit of evaluateObjectives(perFile, inputOf(file))) {
+        const sector = index.sectorOfHit(file, hit.violation.subject);
+        if (sector === null) continue;
+        const own = sectorNamed(index, sector);
+        const root = own === null ? "" : rootOf(own, file);
+        hits.push({ ...hit, sector, entry: entryOf(hit.violation, root) });
+      }
+    }
+  }
+
+  const names = [...index.sectors.keys(), ...(index.legacy.length > 0 ? [LEGACY_SECTOR] : [])];
+  for (const name of names) {
+    const sector = sectorNamed(index, name);
+    if (sector === null) continue;
+    for (const objective of rule.objectives) {
+      const term = objective.sector;
+      if (term !== null) {
+        let holds: boolean;
+        switch (term.kind) {
+          case "has":
+            holds = sector.files.some(
+              (file) => candidatesOf(term.detect, "file", inputOf(file)).length > 0,
+            );
+            break;
+          case "oneRoot": {
+            const [root] = sector.roots;
+            holds = root !== undefined && sector.files.every((file) => under(root, file));
+            break;
+          }
+          case "oneHost":
+            holds = sector.files.every((file) => term.hosts.some((host) => host.test(file)));
+            break;
+        }
+        if (!holds) hits.push(sectorHit(objective, sector));
+        continue;
+      }
+      if (objective.endState !== null && input.endStateOf !== undefined) {
+        if (name === LEGACY_SECTOR || sector.roots.length !== 1) continue;
+        const phase = rule.phases.find((one) => one.id === objective.endState?.phase);
+        if (phase === undefined) continue;
+        const root = sector.roots[0] ?? "";
+        for (const violation of input.endStateOf(sector, phase, objective.endState.family)) {
+          hits.push({
+            violation: { ...violation, kind: "campaign", ruleName: objective.name },
+            campaign: rule.id,
+            objective: objective.id,
+            sector: name,
+            entry: entryOf(violation, root),
+          });
+        }
+      }
+    }
+  }
+
+  const sectors = new Map<string, SectorState>();
+  for (const name of names) {
+    const sector = sectorNamed(index, name);
+    if (sector === null) continue;
+    const counts: Record<string, number> = {};
+    for (const objective of rule.objectives) counts[objective.id] = 0;
+    for (const hit of hits) {
+      if (hit.sector === name) counts[hit.objective] = (counts[hit.objective] ?? 0) + 1;
+    }
+    const position = positionOf(rule, input.recordOf(name));
+    const phase =
+      name === LEGACY_SECTOR
+        ? Math.min(LEGACY_PHASE, rule.phases.length)
+        : derivePhase(rule, (id) => counts[id] ?? 0, position);
+    const inWindow = objectivesInWindow(rule, phase, position);
+    const residue: Record<string, number> = {};
+    for (const objective of inWindow) residue[objective.id] = counts[objective.id] ?? 0;
+    sectors.set(name, { name, sector, phase, position, inWindow, counts, residue });
+  }
+
+  return { rule, index, hits, sectors };
+};
+
+// The hits that count: those whose objective is in window for their sector.
+export const hitsInWindow = (evaluation: CampaignEvaluation): ReadonlyArray<ObjectiveHit> =>
+  evaluation.hits.filter(
+    (hit) =>
+      evaluation.sectors.get(hit.sector)?.inWindow.some((one) => one.id === hit.objective) ?? false,
+  );
+
+// The residue toward the sector's next phase: the current phase's
+// objectives that still have holdouts — what must reach zero to leave it.
+export const towardNextOf = (rule: CompiledCampaign, state: SectorState): Residue => {
+  const phase = rule.phases[state.phase];
+  if (phase === undefined) return {};
+  const toward: Record<string, number> = {};
+  for (const id of phase.objectives) {
+    const count = state.counts[id] ?? 0;
+    if (count > 0) toward[id] = count;
+  }
+  return toward;
+};