@goodbones/campaigns 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Data Quail
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/build/dts/core/campaign-state.d.ts

@@ -0,0 +1,38 @@
+import type { Violation } from "@goodbones/core";
+import type { PhaseRule } from "../domain/config.js";
+import { type CampaignHit, type CampaignInput, type CompiledCampaign, type CompiledObjective } from "./campaigns.js";
+import type { SectorRecord } from "./ledger.js";
+import { type Residue, type SectorPosition } from "./phases.js";
+import { type Sector, type SectorDiscovery, type SectorIndex } from "./sectors.js";
+export type ObjectiveHit = CampaignHit & {
+    readonly sector: string;
+    readonly entry: string;
+};
+export type SectorState = {
+    readonly name: string;
+    readonly sector: Sector;
+    readonly phase: number;
+    readonly position: SectorPosition;
+    readonly inWindow: ReadonlyArray<CompiledObjective>;
+    readonly counts: Residue;
+    readonly residue: Residue;
+};
+export type CampaignEvaluation = {
+    readonly rule: CompiledCampaign;
+    readonly index: SectorIndex;
+    readonly hits: ReadonlyArray<ObjectiveHit>;
+    readonly sectors: ReadonlyMap<string, SectorState>;
+};
+export type CampaignEvaluationInput = {
+    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;
+    readonly endStateOf?: ((sector: Sector, phase: PhaseRule, family: string) => ReadonlyArray<Violation>) | undefined;
+};
+export declare const evaluateCampaign: (rule: CompiledCampaign, input: CampaignEvaluationInput) => CampaignEvaluation;
+export declare const hitsInWindow: (evaluation: CampaignEvaluation) => ReadonlyArray<ObjectiveHit>;
+export declare const towardNextOf: (rule: CompiledCampaign, state: SectorState) => Residue;
+//# sourceMappingURL=campaign-state.d.ts.map

package/build/dts/core/campaign-state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaign-state.d.ts","sourceRoot":"","sources":["../../../src/core/campaign-state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,aAAa,EAElB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EAGvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAEhD,OAAO,EAIL,KAAK,OAAO,EACZ,KAAK,cAAc,EACpB,MAAM,aAAa,CAAC;AACrB,OAAO,EAKL,KAAK,MAAM,EAEX,KAAK,eAAe,EACpB,KAAK,WAAW,EAEjB,MAAM,cAAc,CAAC;AAQtB,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAExB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IAEpD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAEzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAE5B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IAEpC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,aAAa,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACnD,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC,cAAc,CAAC,CAAC;IACvD,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,YAAY,GAAG,SAAS,CAAC;IAIhE,QAAQ,CAAC,UAAU,CAAC,EAClB,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,KAAK,aAAa,CAAC,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC;CAChG,CAAC;AAmBF,eAAO,MAAM,gBAAgB,SACrB,gBAAgB,SACf,uBAAuB,KAC7B,kBAyGF,CAAC;AAGF,eAAO,MAAM,YAAY,eAAgB,kBAAkB,KAAG,aAAa,CAAC,YAAY,CAIrF,CAAC;AAIJ,eAAO,MAAM,YAAY,SAAU,gBAAgB,SAAS,WAAW,KAAG,OASzE,CAAC"}

package/build/dts/core/campaigns.d.ts

@@ -0,0 +1,196 @@
+import { type BindingKind, type DeclarationKind, type FactExtractor, type FileSystem, type MemberSubject, type ModuleResolver, PatternInvalid, type SourceFacts, type SyntaxMatcher, type SyntaxTree, type Violation } from "@goodbones/core";
+import * as Result from "effect/Result";
+import type { CampaignProbe, CampaignRule, CampaignUnit, Holdout, ObjectiveRule, OnTouch, PhaseRule, ReportFormat } from "../domain/config.js";
+import type { CampaignPredicate, Range } from "../ports/campaign-predicate.js";
+import type { ReportSource, ReportSpec } from "../ports/report-source.js";
+export type { CampaignPredicate, CampaignPredicateInput, CampaignSubject, Range, } from "../ports/campaign-predicate.js";
+type Target = {
+    readonly kind: "path";
+    readonly pattern: RegExp;
+} | {
+    readonly kind: "external";
+    readonly name: string;
+} | {
+    readonly kind: "builtin";
+    readonly name: string;
+};
+type CompiledNarrowing = {
+    readonly capture: string;
+    readonly regex: RegExp | null;
+    readonly binding: {
+        readonly resolves: Target;
+        readonly member: ReadonlyArray<string> | null;
+    } | null;
+};
+export type CompiledDetector = {
+    readonly kind: "all";
+    readonly terms: ReadonlyArray<CompiledDetector>;
+} | {
+    readonly kind: "any";
+    readonly terms: ReadonlyArray<CompiledDetector>;
+} | {
+    readonly kind: "not";
+    readonly term: CompiledDetector;
+} | {
+    readonly kind: "path";
+    readonly file: ReadonlyArray<RegExp>;
+    readonly fileNot: ReadonlyArray<RegExp>;
+    readonly subject: number | null;
+    readonly convention: RegExp | null;
+} | {
+    readonly kind: "imports";
+    readonly resolves: Target;
+    readonly symbols: ReadonlyArray<string> | null;
+} | {
+    readonly kind: "exports";
+    readonly name: ReadonlyArray<RegExp>;
+    readonly kinds: ReadonlyArray<BindingKind> | null;
+    readonly declares: ReadonlyArray<DeclarationKind> | null;
+    readonly reexport: boolean | null;
+} | {
+    readonly kind: "members";
+    readonly subject: MemberSubject;
+    readonly name: ReadonlyArray<RegExp>;
+    readonly in: ReadonlyArray<RegExp>;
+    readonly declares: ReadonlyArray<DeclarationKind> | null;
+} | {
+    readonly kind: "requires";
+    readonly templates: ReadonlyArray<string>;
+} | {
+    readonly kind: "content";
+    readonly regex: RegExp;
+} | {
+    readonly kind: "syntax";
+    readonly rule: unknown;
+    readonly where: ReadonlyArray<CompiledNarrowing>;
+} | {
+    readonly kind: "report";
+    readonly command: ReadonlyArray<string> | null;
+    readonly file: ReadonlyArray<string> | null;
+    readonly format: ReportFormat;
+    readonly pattern: string | null;
+    readonly codes: ReadonlySet<string> | null;
+    readonly codesNot: ReadonlySet<string>;
+} | {
+    readonly kind: "fn";
+    readonly name: string;
+};
+export type CompiledSectorTerm = {
+    readonly kind: "has";
+    readonly detect: CompiledDetector;
+} | {
+    readonly kind: "oneRoot";
+} | {
+    readonly kind: "oneHost";
+    readonly hosts: ReadonlyArray<RegExp>;
+};
+export type CompiledObjective = {
+    readonly name: string;
+    readonly id: string;
+    readonly campaign: string;
+    readonly message: string;
+    readonly why: string | null;
+    readonly holdout: Holdout;
+    readonly unit: CampaignUnit;
+    readonly detect: CompiledDetector | null;
+    readonly sector: CompiledSectorTerm | null;
+    readonly endState: {
+        readonly phase: string;
+        readonly family: string;
+    } | null;
+    readonly until: string | null;
+    readonly probes: {
+        readonly fires: ReadonlyArray<CampaignProbe>;
+        readonly ignores: ReadonlyArray<CampaignProbe>;
+    };
+};
+export type CompiledPerimeter = {
+    readonly kind: "file";
+} | {
+    readonly kind: "nx";
+} | {
+    readonly kind: "glob";
+    readonly glob: ReadonlyArray<RegExp>;
+} | {
+    readonly kind: "marker";
+    readonly marker: ReadonlyArray<RegExp>;
+    readonly probes: {
+        readonly fires: ReadonlyArray<string>;
+        readonly ignores: ReadonlyArray<string>;
+    } | null;
+} | {
+    readonly kind: "match";
+    readonly detect: CompiledDetector;
+    readonly unit: "declaration" | "match";
+    readonly probes: {
+        readonly fires: ReadonlyArray<CampaignProbe>;
+        readonly ignores: ReadonlyArray<CampaignProbe>;
+    };
+};
+export type CompiledCampaign = {
+    readonly name: string;
+    readonly id: string;
+    readonly title: string | null;
+    readonly why: string | null;
+    readonly owner: string | null;
+    readonly scope: ReadonlyArray<RegExp>;
+    readonly extensions: ReadonlyArray<string>;
+    readonly legacy: ReadonlyArray<RegExp> | null;
+    readonly perimeter: CompiledPerimeter | null;
+    readonly onTouch: OnTouch | null;
+    readonly phases: ReadonlyArray<PhaseRule>;
+    readonly objectives: ReadonlyArray<CompiledObjective>;
+    readonly staleAfter: number | null;
+    readonly onComplete: "keep" | "remove";
+};
+export declare const compileObjective: (rule: ObjectiveRule) => Result.Result<CompiledObjective, PatternInvalid>;
+export declare const compileCampaignRule: (rule: CampaignRule) => Result.Result<CompiledCampaign, PatternInvalid>;
+export declare const compileCampaignRules: (rules: ReadonlyArray<CampaignRule>) => Result.Result<ReadonlyArray<CompiledCampaign>, PatternInvalid>;
+export declare const campaignsSelecting: (rules: ReadonlyArray<CompiledCampaign>, file: string) => ReadonlyArray<CompiledCampaign>;
+export declare const perFileObjectivesOf: (rule: CompiledCampaign) => ReadonlyArray<CompiledObjective>;
+export declare const needsSyntax: (detectors: ReadonlyArray<CompiledDetector>) => boolean;
+declare const LEAF_ORDER: readonly ["path", "imports", "exports", "members", "requires", "content", "syntax", "report", "fn"];
+type LeafKind = (typeof LEAF_ORDER)[number];
+export declare const leafTermsOf: (detector: CompiledDetector) => ReadonlyArray<LeafKind>;
+export type CampaignInput = {
+    readonly file: string;
+    readonly text: string;
+    readonly facts: SourceFacts;
+    readonly resolver: ModuleResolver;
+    readonly fileSystem: FileSystem;
+    readonly syntax: SyntaxTree | null;
+    readonly functions: ReadonlyMap<string, CampaignPredicate>;
+    readonly reports: ReportSource;
+};
+export type CampaignHit = {
+    readonly violation: Violation;
+    readonly campaign: string;
+    readonly objective: string;
+    readonly range?: Range;
+};
+export declare const matchKeyOf: (anchor: string | null, text: string) => string;
+export declare const candidatesOf: (detect: CompiledDetector, unit: CampaignUnit, input: CampaignInput) => ReadonlyArray<{
+    readonly key: string;
+    readonly range: Range | null;
+}>;
+export declare const evaluateObjective: (rule: CompiledObjective, input: CampaignInput) => ReadonlyArray<CampaignHit>;
+export declare const reportSpecsOf: (rules: ReadonlyArray<CompiledCampaign>) => ReadonlyArray<ReportSpec>;
+export declare const evaluateObjectives: (selected: ReadonlyArray<CompiledObjective>, input: CampaignInput) => ReadonlyArray<CampaignHit>;
+export type TermAnswer = {
+    readonly term: string;
+    readonly answer: boolean;
+    readonly count?: number;
+};
+export declare const detectorOf: (rule: CompiledObjective) => CompiledDetector | null;
+export declare const explainObjective: (rule: CompiledObjective, input: CampaignInput) => ReadonlyArray<TermAnswer>;
+export declare const explainDetector: (detect: CompiledDetector | null, input: CampaignInput) => ReadonlyArray<TermAnswer>;
+export declare const probeInputOf: (probe: CampaignProbe, extractor: FactExtractor, matcher: SyntaxMatcher | null, functions: ReadonlyMap<string, CampaignPredicate>) => CampaignInput;
+export type FailedProbe = {
+    readonly name: string;
+    readonly probe: CampaignProbe;
+    readonly expected: "fires" | "ignores" | "end-shape";
+    readonly admittedBy?: string;
+    readonly outOfScope?: boolean;
+};
+export declare const campaignsFailingTheirProbe: (rules: ReadonlyArray<CompiledCampaign>, extractor: FactExtractor, matcherFor: (file: string) => SyntaxMatcher | null, functions: ReadonlyMap<string, CampaignPredicate>) => ReadonlyArray<FailedProbe>;
+//# sourceMappingURL=campaigns.d.ts.map

package/build/dts/core/campaigns.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"campaigns.d.ts","sourceRoot":"","sources":["../../../src/core/campaigns.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,WAAW,EAEhB,KAAK,eAAe,EAEpB,KAAK,aAAa,EAClB,KAAK,UAAU,EAIf,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,cAAc,EAId,KAAK,WAAW,EAEhB,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,SAAS,EACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,EACV,aAAa,EACb,YAAY,EACZ,YAAY,EAEZ,OAAO,EACP,aAAa,EACb,OAAO,EAEP,SAAS,EACT,YAAY,EACb,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,gCAAgC,CAAC;AAC/E,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AA8B1E,YAAY,EACV,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,KAAK,GACN,MAAM,gCAAgC,CAAC;AAExC,KAAK,MAAM,GACP;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;KAC/C,GAAG,IAAI,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,GACzD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;CAChD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,IAAI,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,IAAI,CAAC;CACnC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,EAAE,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GAAG,IAAI,CAAC;CAC1D,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpD;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CAClD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnD,MAAM,MAAM,kBAAkB,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAG1B,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC9E,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;KAChD,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,GAC/D;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QACtC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACzC,GAAG,IAAI,CAAC;CACV,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAC;KAChD,CAAC;CACH,CAAC;AAEN,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,QAAQ,CAAC;CACxC,CAAC;AAoLF,eAAO,MAAM,gBAAgB,SACrB,aAAa,KAClB,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,cAAc,CAmCjD,CAAC;AAoDF,eAAO,MAAM,mBAAmB,SACxB,YAAY,KACjB,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAiChD,CAAC;AAEF,eAAO,MAAM,oBAAoB,UACxB,aAAa,CAAC,YAAY,CAAC,KACjC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,gBAAgB,CAAC,EAAE,cAAc,CAQ/D,CAAC;AAKF,eAAO,MAAM,kBAAkB,UACtB,aAAa,CAAC,gBAAgB,CAAC,QAChC,MAAM,KACX,aAAa,CAAC,gBAAgB,CAAyD,CAAC;AAG3F,eAAO,MAAM,mBAAmB,SAAU,gBAAgB,KAAG,aAAa,CAAC,iBAAiB,CAC1B,CAAC;AAInE,eAAO,MAAM,WAAW,cAAe,aAAa,CAAC,gBAAgB,CAAC,KAAG,OAGtE,CAAC;AAIJ,QAAA,MAAM,UAAU,YACd,MAAM,EACN,SAAS,EACT,SAAS,EACT,SAAS,EACT,UAAU,EACV,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,IAAI,CACI,CAAC;AAEX,KAAK,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAiB5C,eAAO,MAAM,WAAW,aAAc,gBAAgB,KAAG,aAAa,CAAC,QAAQ,CAU9E,CAAC;AAKF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAG3D,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;CACxB,CAAC;AAqCF,eAAO,MAAM,UAAU,WAAY,MAAM,GAAG,IAAI,QAAQ,MAAM,KAAG,MACzB,CAAC;AAqXzC,eAAO,MAAM,YAAY,WACf,gBAAgB,QAClB,YAAY,SACX,aAAa,KACnB,aAAa,CAAC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAA;CAAE,CAWtE,CAAC;AAKF,eAAO,MAAM,iBAAiB,SACtB,iBAAiB,SAChB,aAAa,KACnB,aAAa,CAAC,WAAW,CAa3B,CAAC;AAiBF,eAAO,MAAM,aAAa,UACjB,aAAa,CAAC,gBAAgB,CAAC,KACrC,aAAa,CAAC,UAAU,CA4B1B,CAAC;AAEF,eAAO,MAAM,kBAAkB,aACnB,aAAa,CAAC,iBAAiB,CAAC,SACnC,aAAa,KACnB,aAAa,CAAC,WAAW,CAA+D,CAAC;AAK5F,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAEzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAwCF,eAAO,MAAM,UAAU,SAAU,iBAAiB,KAAG,gBAAgB,GAAG,IACE,CAAC;AAE3E,eAAO,MAAM,gBAAgB,SACrB,iBAAiB,SAChB,aAAa,KACnB,aAAa,CAAC,UAAU,CAA6C,CAAC;AAEzE,eAAO,MAAM,eAAe,WAClB,gBAAgB,GAAG,IAAI,SACxB,aAAa,KACnB,aAAa,CAAC,UAAU,CAyB1B,CAAC;AAWF,eAAO,MAAM,YAAY,UAChB,aAAa,aACT,aAAa,WACf,aAAa,GAAG,IAAI,aAClB,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,KAChD,aA+BF,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,WAAW,CAAC;IAErD,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAUF,eAAO,MAAM,0BAA0B,UAC9B,aAAa,CAAC,gBAAgB,CAAC,aAC3B,aAAa,cACZ,CAAC,IAAI,EAAE,MAAM,KAAK,aAAa,GAAG,IAAI,aACvC,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,KAChD,aAAa,CAAC,WAAW,CA8D3B,CAAC"}

package/build/dts/core/ledger.d.ts

@@ -0,0 +1,173 @@
+import * as Result from "effect/Result";
+import * as Schema from "effect/Schema";
+import type { CampaignUnit } from "../domain/config.js";
+import type { CompiledCampaign } from "./campaigns.js";
+import { type SectorPosition } from "./phases.js";
+export declare const SectorLedger: Schema.Struct<{
+    readonly entered: Schema.String;
+    readonly initial: Schema.Finite;
+    readonly cleared: Schema.Finite;
+    readonly closed: Schema.Finite;
+    readonly lastCleared: Schema.String;
+    readonly holdouts: Schema.$Array<Schema.String>;
+}>;
+export declare const Concession: Schema.Union<readonly [Schema.Struct<{
+    readonly sector: Schema.String;
+    readonly at: Schema.String;
+    readonly by: Schema.String;
+    readonly delta: Schema.Finite;
+    readonly reason: Schema.String;
+    readonly holdouts: Schema.$Array<Schema.String>;
+}>, Schema.Struct<{
+    readonly sector: Schema.String;
+    readonly at: Schema.String;
+    readonly by: Schema.String;
+    readonly from: Schema.Finite;
+    readonly to: Schema.Finite;
+    readonly reason: Schema.String;
+}>]>;
+export declare const Ledger: Schema.Struct<{
+    readonly version: Schema.Literal<2>;
+    readonly campaign: Schema.String;
+    readonly objective: Schema.String;
+    readonly created: Schema.String;
+    readonly sectors: Schema.$Record<Schema.String, Schema.Struct<{
+        readonly entered: Schema.String;
+        readonly initial: Schema.Finite;
+        readonly cleared: Schema.Finite;
+        readonly closed: Schema.Finite;
+        readonly lastCleared: Schema.String;
+        readonly holdouts: Schema.$Array<Schema.String>;
+    }>>;
+    readonly concessions: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+        readonly sector: Schema.String;
+        readonly at: Schema.String;
+        readonly by: Schema.String;
+        readonly delta: Schema.Finite;
+        readonly reason: Schema.String;
+        readonly holdouts: Schema.$Array<Schema.String>;
+    }>, Schema.Struct<{
+        readonly sector: Schema.String;
+        readonly at: Schema.String;
+        readonly by: Schema.String;
+        readonly from: Schema.Finite;
+        readonly to: Schema.Finite;
+        readonly reason: Schema.String;
+    }>]>>;
+}>;
+export type Ledger = typeof Ledger.Type;
+export type SectorLedger = typeof SectorLedger.Type;
+export type Concession = typeof Concession.Type;
+export declare const EMPTY_LEDGER: (campaign: string, objective: string, now: number) => Ledger;
+export declare const isLegacyLedger: (raw: unknown) => boolean;
+export declare const decodeLedger: (raw: unknown) => Result.Result<Ledger, string>;
+export declare const serializeLedger: (ledger: Ledger) => string;
+export declare const deltaOf: (concession: Concession) => number;
+export declare const sectorArithmeticHolds: (ledger: Ledger, sector: string) => boolean;
+export declare const ledgerArithmeticHolds: (ledger: Ledger) => boolean;
+export type Reconciliation = {
+    readonly ledgered: ReadonlyArray<string>;
+    readonly unrecorded: ReadonlyArray<string>;
+    readonly stale: ReadonlyArray<string>;
+    readonly drifted: ReadonlyArray<{
+        readonly from: string;
+        readonly to: string;
+    }>;
+};
+export declare const reconcileSector: (ledger: Ledger, sector: string, entries: Iterable<string>, unit: CampaignUnit) => Reconciliation;
+export declare const clearedSector: (ledger: Ledger, sector: string, entries: Iterable<string>, unit: CampaignUnit, now: number, window: "inside" | "outside") => Ledger;
+export type ConcessionRecord = {
+    readonly at: number;
+    readonly by: string;
+    readonly reason: string;
+};
+export declare const concededSector: (ledger: Ledger, sector: string, entries: Iterable<string>, record: ConcessionRecord) => Ledger;
+export declare const rebaselinedSector: (ledger: Ledger, sector: string, entries: Iterable<string>, record: ConcessionRecord) => Ledger;
+export declare const holdoutsOf: (ledger: Ledger) => number;
+export declare const initialOf: (ledger: Ledger) => number;
+export declare const clearedOf: (ledger: Ledger) => number;
+export declare const closedOf: (ledger: Ledger) => number;
+export declare const allowedOf: (ledger: Ledger) => number;
+export declare const progressOf: (ledger: Ledger) => number;
+export declare const isComplete: (ledger: Ledger) => boolean;
+export declare const lastClearedOf: (ledger: Ledger) => string | null;
+export declare const isStalled: (rule: {
+    readonly staleAfter: number | null;
+}, ledger: Ledger, now: number, sectorClock?: string | null) => boolean;
+declare const Attestation: Schema.Struct<{
+    readonly phase: Schema.String;
+    readonly reason: Schema.String;
+    readonly evidence: Schema.optionalKey<Schema.String>;
+    readonly at: Schema.String;
+    readonly by: Schema.String;
+}>;
+declare const Note: Schema.Struct<{
+    readonly at: Schema.String;
+    readonly by: Schema.String;
+    readonly phase: Schema.NullOr<Schema.String>;
+    readonly text: Schema.String;
+}>;
+export declare const SectorRecord: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly campaign: Schema.String;
+    readonly sector: Schema.String;
+    readonly reached: Schema.NullOr<Schema.String>;
+    readonly since: Schema.String;
+    readonly attested: Schema.$Array<Schema.Struct<{
+        readonly phase: Schema.String;
+        readonly reason: Schema.String;
+        readonly evidence: Schema.optionalKey<Schema.String>;
+        readonly at: Schema.String;
+        readonly by: Schema.String;
+    }>>;
+    readonly notes: Schema.$Array<Schema.Struct<{
+        readonly at: Schema.String;
+        readonly by: Schema.String;
+        readonly phase: Schema.NullOr<Schema.String>;
+        readonly text: Schema.String;
+    }>>;
+}>;
+export type SectorRecord = typeof SectorRecord.Type;
+export type Attestation = typeof Attestation.Type;
+export type Note = typeof Note.Type;
+export declare const decodeSectorRecord: (raw: unknown) => Result.Result<SectorRecord, string>;
+export declare const serializeSectorRecord: (record: SectorRecord) => string;
+export declare const EMPTY_SECTOR_RECORD: (campaign: string, sector: string, now: number) => SectorRecord;
+export declare const positionOf: (rule: CompiledCampaign, record: SectorRecord | undefined) => SectorPosition;
+export declare const reachedRecord: (record: SectorRecord, rule: CompiledCampaign, phase: number, now: number) => SectorRecord;
+export declare const attestedRecord: (record: SectorRecord, entry: Omit<Attestation, "at"> & {
+    readonly at: number;
+}) => SectorRecord;
+export declare const NOTE_CAP = 20;
+export declare const NOTE_LENGTH = 500;
+export declare const notedRecord: (record: SectorRecord, note: Omit<Note, "at"> & {
+    readonly at: number;
+}) => SectorRecord;
+export declare const sectorClockOf: (record: SectorRecord) => string;
+export declare const PlanRecord: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly campaign: Schema.String;
+    readonly phases: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly hash: Schema.String;
+        readonly defined: Schema.Boolean;
+        readonly concessions: Schema.Finite;
+    }>>;
+}>;
+export type PlanRecord = typeof PlanRecord.Type;
+export declare const decodePlanRecord: (raw: unknown) => Result.Result<PlanRecord, string>;
+export declare const serializePlanRecord: (record: PlanRecord) => string;
+export declare const planOf: (rule: CompiledCampaign) => PlanRecord;
+export type PlanDiff = {
+    readonly refined: ReadonlyArray<string>;
+    readonly changed: ReadonlyArray<string>;
+    readonly unreceipted: ReadonlyArray<string>;
+};
+export declare const planDiffOf: (rule: CompiledCampaign, recorded: PlanRecord | undefined) => PlanDiff;
+export declare const ledgerPathOf: (dir: string, campaign: string, objective: string) => string;
+export declare const legacyLedgerPathOf: (dir: string, campaign: string) => string;
+export declare const encodeSectorName: (sector: string) => string;
+export declare const sectorRecordPathOf: (dir: string, campaign: string, sector: string) => string;
+export declare const planPathOf: (dir: string, campaign: string) => string;
+export {};
+//# sourceMappingURL=ledger.d.ts.map

package/build/dts/core/ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../../../src/core/ledger.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAAkB,KAAK,cAAc,EAAE,MAAM,aAAa,CAAC;AAyBlE,eAAO,MAAM,YAAY;;;;;;;EAcvB,CAAC;AAuBH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;IAAqC,CAAC;AAE7D,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOjB,CAAC;AAEH,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AACxC,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AACpD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AA8BhD,eAAO,MAAM,YAAY,aAAc,MAAM,aAAa,MAAM,OAAO,MAAM,KAAG,MAO9E,CAAC;AAEH,eAAO,MAAM,cAAc,QAAS,OAAO,KAAG,OACoD,CAAC;AAMnG,eAAO,MAAM,YAAY,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAkCvE,CAAC;AAEF,eAAO,MAAM,eAAe,WAAY,MAAM,KAAG,MAAgD,CAAC;AAIlG,eAAO,MAAM,OAAO,eAAgB,UAAU,KAAG,MAC2B,CAAC;AAO7E,eAAO,MAAM,qBAAqB,WAAY,MAAM,UAAU,MAAM,KAAG,OAMtE,CAAC;AAEF,eAAO,MAAM,qBAAqB,WAAY,MAAM,KAAG,OAGK,CAAC;AAM7D,MAAM,MAAM,cAAc,GAAG;IAE3B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAEzC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAE3C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAGtC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;CACjF,CAAC;AAIF,eAAO,MAAM,eAAe,WAClB,MAAM,UACN,MAAM,WACL,QAAQ,CAAC,MAAM,CAAC,QACnB,YAAY,KACjB,cAyCF,CAAC;AAMF,eAAO,MAAM,aAAa,WAChB,MAAM,UACN,MAAM,WACL,QAAQ,CAAC,MAAM,CAAC,QACnB,YAAY,OACb,MAAM,UACH,QAAQ,GAAG,SAAS,KAC3B,MAgDF,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAKF,eAAO,MAAM,cAAc,WACjB,MAAM,UACN,MAAM,WACL,QAAQ,CAAC,MAAM,CAAC,UACjB,gBAAgB,KACvB,MAyBF,CAAC;AAKF,eAAO,MAAM,iBAAiB,WACpB,MAAM,UACN,MAAM,WACL,QAAQ,CAAC,MAAM,CAAC,UACjB,gBAAgB,KACvB,MAiCF,CAAC;AAEF,eAAO,MAAM,UAAU,WAAY,MAAM,KAAG,MACsC,CAAC;AAEnF,eAAO,MAAM,SAAS,WAAY,MAAM,KAAG,MAC+B,CAAC;AAE3E,eAAO,MAAM,SAAS,WAAY,MAAM,KAAG,MAC+B,CAAC;AAE3E,eAAO,MAAM,QAAQ,WAAY,MAAM,KAAG,MAC+B,CAAC;AAG1E,eAAO,MAAM,SAAS,WAAY,MAAM,KAAG,MACkC,CAAC;AAK9E,eAAO,MAAM,UAAU,WAAY,MAAM,KAAG,MAM3C,CAAC;AAEF,eAAO,MAAM,UAAU,WAAY,MAAM,KAAG,OAAmC,CAAC;AAEhF,eAAO,MAAM,aAAa,WAAY,MAAM,KAAG,MAAM,GAAG,IAGvD,CAAC;AAKF,eAAO,MAAM,SAAS,SACd;IAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,UACpC,MAAM,OACT,MAAM,gBAEE,MAAM,GAAG,IAAI,KACzB,OAMF,CAAC;AAOF,QAAA,MAAM,WAAW;;;;;;EAMf,CAAC;AAEH,QAAA,MAAM,IAAI;;;;;EAOR,CAAC;AAEH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;EAWvB,CAAC;AAEH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AACpD,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAC;AAClD,MAAM,MAAM,IAAI,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC;AAOpC,eAAO,MAAM,kBAAkB,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAKnF,CAAC;AAEF,eAAO,MAAM,qBAAqB,WAAY,YAAY,KAAG,MACrB,CAAC;AAEzC,eAAO,MAAM,mBAAmB,aACpB,MAAM,UACR,MAAM,OACT,MAAM,KACV,YAQD,CAAC;AAIH,eAAO,MAAM,UAAU,SACf,gBAAgB,UACd,YAAY,GAAG,SAAS,KAC/B,cAMD,CAAC;AAGH,eAAO,MAAM,aAAa,WAChB,YAAY,QACd,gBAAgB,SACf,MAAM,OACR,MAAM,KACV,YAKF,CAAC;AAEF,eAAO,MAAM,cAAc,WACjB,YAAY,SACb,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,KACvD,YAGD,CAAC;AAKH,eAAO,MAAM,QAAQ,KAAK,CAAC;AAC3B,eAAO,MAAM,WAAW,MAAM,CAAC;AAE/B,eAAO,MAAM,WAAW,WACd,YAAY,QACd,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,KAC/C,YAMD,CAAC;AAGH,eAAO,MAAM,aAAa,WAAY,YAAY,KAAG,MAKhB,CAAC;AActC,eAAO,MAAM,UAAU;;;;;;;;;EAIrB,CAAC;AAEH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAC;AAOhD,eAAO,MAAM,gBAAgB,QAAS,OAAO,KAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAK/E,CAAC;AAEF,eAAO,MAAM,mBAAmB,WAAY,UAAU,KAAG,MACjB,CAAC;AAEzC,eAAO,MAAM,MAAM,SAAU,gBAAgB,KAAG,UAS9C,CAAC;AAEH,MAAM,MAAM,QAAQ,GAAG;IAErB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAExC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAExC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAC7C,CAAC;AAEF,eAAO,MAAM,UAAU,SAAU,gBAAgB,YAAY,UAAU,GAAG,SAAS,KAAG,QA0BrF,CAAC;AAKF,eAAO,MAAM,YAAY,QAAS,MAAM,YAAY,MAAM,aAAa,MAAM,KAAG,MACxC,CAAC;AAGzC,eAAO,MAAM,kBAAkB,QAAS,MAAM,YAAY,MAAM,KAAG,MACxC,CAAC;AAE5B,eAAO,MAAM,gBAAgB,WAAY,MAAM,KAAG,MAAoC,CAAC;AAEvF,eAAO,MAAM,kBAAkB,QAAS,MAAM,YAAY,MAAM,UAAU,MAAM,KAAG,MACpB,CAAC;AAEhE,eAAO,MAAM,UAAU,QAAS,MAAM,YAAY,MAAM,KAAG,MAAwC,CAAC"}

package/build/dts/core/phases.d.ts

@@ -0,0 +1,26 @@
+import type { OnTouch, PhaseRule } from "../domain/config.js";
+import type { CompiledCampaign, CompiledObjective } from "./campaigns.js";
+export declare const donePhaseOf: (rule: CompiledCampaign) => number;
+export declare const LEGACY_PHASE = 0;
+export declare const isOpenPhase: (phase: PhaseRule) => boolean;
+export declare const isDefinedPhase: (phase: PhaseRule) => boolean;
+export type SectorPosition = {
+    readonly reached: number;
+    readonly attested: ReadonlySet<string>;
+};
+export declare const UNPLACED: SectorPosition;
+export type Window = {
+    readonly from: number;
+    readonly until: number;
+};
+export declare const windowOf: (rule: CompiledCampaign, objective: CompiledObjective) => Window;
+export declare const isShut: (rule: CompiledCampaign, objective: CompiledObjective, position: SectorPosition) => boolean;
+export declare const inWindow: (rule: CompiledCampaign, objective: CompiledObjective, phase: number, position: SectorPosition) => boolean;
+export declare const objectivesInWindow: (rule: CompiledCampaign, phase: number, position: SectorPosition) => ReadonlyArray<CompiledObjective>;
+export declare const derivePhase: (rule: CompiledCampaign, counts: (objectiveId: string) => number, position: SectorPosition) => number;
+export declare const onTouchOf: (rule: CompiledCampaign, phase: number) => OnTouch;
+export type Residue = Readonly<Record<string, number>>;
+export type Direction = "forward" | "back" | "mixed" | "neutral";
+export declare const compareResidue: (before: Residue, after: Residue) => Direction;
+export declare const worsened: (before: Residue, after: Residue) => ReadonlyArray<string>;
+//# sourceMappingURL=phases.d.ts.map

package/build/dts/core/phases.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"phases.d.ts","sourceRoot":"","sources":["../../../src/core/phases.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAU1E,eAAO,MAAM,WAAW,SAAU,gBAAgB,KAAG,MAA4B,CAAC;AAIlF,eAAO,MAAM,YAAY,IAAI,CAAC;AAE9B,eAAO,MAAM,WAAW,UAAW,SAAS,KAAG,OACG,CAAC;AAEnD,eAAO,MAAM,cAAc,UAAW,SAAS,KAAG,OAA8B,CAAC;AAIjF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,cAAqD,CAAC;AAE7E,MAAM,MAAM,MAAM,GAAG;IAGnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAEtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,eAAO,MAAM,QAAQ,SAAU,gBAAgB,aAAa,iBAAiB,KAAG,MAO/E,CAAC;AAKF,eAAO,MAAM,MAAM,SACX,gBAAgB,aACX,iBAAiB,YAClB,cAAc,KACvB,OAGF,CAAC;AAEF,eAAO,MAAM,QAAQ,SACb,gBAAgB,aACX,iBAAiB,SACrB,MAAM,YACH,cAAc,KACvB,OAIF,CAAC;AAEF,eAAO,MAAM,kBAAkB,SACvB,gBAAgB,SACf,MAAM,YACH,cAAc,KACvB,aAAa,CAAC,iBAAiB,CACiD,CAAC;AAMpF,eAAO,MAAM,WAAW,SAChB,gBAAgB,UACd,CAAC,WAAW,EAAE,MAAM,KAAK,MAAM,YAC7B,cAAc,KACvB,MAaF,CAAC;AAIF,eAAO,MAAM,SAAS,SAAU,gBAAgB,SAAS,MAAM,KAAG,OAKjE,CAAC;AAGF,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvD,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;AAKjE,eAAO,MAAM,cAAc,WAAY,OAAO,SAAS,OAAO,KAAG,SAahE,CAAC;AAGF,eAAO,MAAM,QAAQ,WAAY,OAAO,SAAS,OAAO,KAAG,aAAa,CAAC,MAAM,CAGpE,CAAC"}

package/build/dts/core/sectors.d.ts

@@ -0,0 +1,52 @@
+import type { Violation } from "@goodbones/core";
+import type { CompiledCampaign } from "./campaigns.js";
+export declare const IMPLICIT_SECTOR = "scope";
+export declare const LEGACY_SECTOR = "legacy";
+export type Sector = {
+    readonly name: string;
+    readonly roots: ReadonlyArray<string>;
+    readonly files: ReadonlyArray<string>;
+    readonly marker: string | null;
+    readonly declaration: {
+        readonly file: string;
+        readonly anchor: string;
+    } | null;
+};
+export type SectorIndex = {
+    readonly sectors: ReadonlyMap<string, Sector>;
+    readonly legacy: ReadonlyArray<string>;
+    readonly sectorOf: (file: string) => string | null;
+    readonly sectorOfHit: (file: string, subject: string | null) => string | null;
+    readonly drift: ReadonlyArray<{
+        readonly file: string;
+        readonly sectors: ReadonlyArray<string>;
+    }>;
+};
+export type SectorMarker = {
+    readonly name?: string | undefined;
+    readonly owns?: ReadonlyArray<string> | undefined;
+};
+export declare const parseSectorMarker: (text: string) => SectorMarker | null;
+export declare const withoutExtension: (file: string) => string;
+export declare const fixedPrefixOf: (glob: string) => string;
+export type SectorDiscovery = {
+    readonly files: ReadonlyArray<string>;
+    readonly readText: (file: string) => string | null;
+    readonly globToRegExp: (glob: string) => RegExp;
+    readonly perimeterMatches?: ((file: string) => ReadonlyArray<string>) | undefined;
+    readonly projects?: ReadonlyArray<{
+        readonly name: string;
+        readonly root: string;
+    }> | undefined;
+};
+export declare const discoverSectors: (rule: CompiledCampaign, input: SectorDiscovery) => SectorIndex;
+export declare const rootOf: (sector: Sector, file: string) => string;
+export declare const SECTOR_HOLDOUT = "~";
+export declare const entryOf: (violation: Violation, root: string) => string;
+export declare const sectorNamed: (index: SectorIndex, name: string) => Sector | null;
+export type Placement = {
+    readonly sector: string;
+    readonly root: string;
+};
+export declare const membershipOf: (rule: CompiledCampaign, file: string, index: SectorIndex | null, anchors: ReadonlyArray<string>) => ((subject: string | null) => Placement | null);
+//# sourceMappingURL=sectors.d.ts.map

package/build/dts/core/sectors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sectors.d.ts","sourceRoot":"","sources":["../../../src/core/sectors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,KAAK,EAAE,gBAAgB,EAAqB,MAAM,gBAAgB,CAAC;AAiB1E,eAAO,MAAM,eAAe,UAAU,CAAC;AAGvC,eAAO,MAAM,aAAa,WAAW,CAAC;AAEtC,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAGtB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAGtC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CACjF,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAE9C,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAIvC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IAInD,QAAQ,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,GAAG,IAAI,CAAC;IAE9E,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAAE,CAAC,CAAC;CACnG,CAAC;AAIF,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;CACnD,CAAC;AAQF,eAAO,MAAM,iBAAiB,SAAU,MAAM,KAAG,YAAY,GAAG,IAgD/D,CAAC;AAWF,eAAO,MAAM,gBAAgB,SAAU,MAAM,KAAG,MAI/C,CAAC;AAIF,eAAO,MAAM,aAAa,SAAU,MAAM,KAAG,MAK5C,CAAC;AAKF,MAAM,MAAM,eAAe,GAAG;IAE5B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IAGnD,QAAQ,CAAC,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;IAGhD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC;IAElF,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,SAAS,CAAC;CACjG,CAAC;AA6CF,eAAO,MAAM,eAAe,SAAU,gBAAgB,SAAS,eAAe,KAAG,WAoHhF,CAAC;AAKF,eAAO,MAAM,MAAM,WAAY,MAAM,QAAQ,MAAM,KAAG,MACA,CAAC;AAKvD,eAAO,MAAM,cAAc,MAAM,CAAC;AAElC,eAAO,MAAM,OAAO,cAAe,SAAS,QAAQ,MAAM,KAAG,MAI5D,CAAC;AAIF,eAAO,MAAM,WAAW,UAAW,WAAW,QAAQ,MAAM,KAAG,MAAM,GAAG,IAGjC,CAAC;AAQxC,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3E,eAAO,MAAM,YAAY,SACjB,gBAAgB,QAChB,MAAM,SACL,WAAW,GAAG,IAAI,WAChB,aAAa,CAAC,MAAM,CAAC,KAC7B,CAAC,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,KAAK,SAAS,GAAG,IAAI,CA4C/C,CAAC"}