@lucasacoutinho/archer 0.2.0 → 0.3.0

package/dist/report/report.d.ts

@@ -0,0 +1,44 @@
+import { Schema } from "effect";
+import type { Applied } from "../core/baseline.ts";
+import { Fingerprint } from "../core/fingerprint.ts";
+import type { Graph } from "../core/model.ts";
+import { Severity, Violation } from "../core/rule.ts";
+/** What reporters need about a rule that the checked policy does not carry. */
+export interface RuleInfo {
+    readonly id: string;
+    readonly severity: Severity;
+    readonly reason?: string;
+}
+export declare const RuleInfo: Schema.Codec<RuleInfo>;
+export interface Report {
+    /** Violations the baseline does not accept, in check order (O1). */
+    readonly violations: ReadonlyArray<Violation>;
+    readonly suppressed: number;
+    readonly stale: ReadonlyArray<Fingerprint>;
+    readonly emptySubjects: ReadonlyArray<string>;
+    /** Dependency rules whose object names files by a glob but selects none: usually a mistyped path. */
+    readonly emptyObjects: ReadonlyArray<string>;
+    readonly rules: ReadonlyArray<RuleInfo>;
+    readonly counts: {
+        readonly error: number;
+        readonly warning: number;
+        readonly info: number;
+    };
+    readonly stats: {
+        readonly files: number;
+        readonly dependencies: number;
+    };
+    readonly verdict: "pass" | "fail";
+}
+export declare const Report: Schema.Codec<Report>;
+/** Port of `Archer.Spec.fails`. */
+export declare const fails: (failOnWarnings: boolean, kept: ReadonlyArray<Violation>) => boolean;
+export declare const makeReport: (input: {
+    readonly applied: Applied;
+    readonly emptySubjects: ReadonlyArray<string>;
+    readonly emptyObjects: ReadonlyArray<string>;
+    readonly rules: ReadonlyArray<RuleInfo>;
+    readonly graph: Graph;
+    readonly failOnWarnings: boolean;
+}) => Report;
+//# sourceMappingURL=report.d.ts.map

package/dist/report/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/report/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAErD,+EAA+E;AAC/E,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACzB;AAED,eAAO,MAAM,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAI1C,CAAA;AAEF,MAAM,WAAW,MAAM;IACrB,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IAC7C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,WAAW,CAAC,CAAA;IAC1C,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC7C,qGAAqG;IACrG,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAA;IAC5F,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;KAAE,CAAA;IACzE,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAAA;CAClC;AAED,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAkBtC,CAAA;AAEF,mCAAmC;AACnC,eAAO,MAAM,KAAK,mBAAoB,OAAO,QAAQ,aAAa,CAAC,SAAS,CAAC,KAAG,OACkC,CAAA;AAKlH,eAAO,MAAM,UAAU,UAAW;IAChC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC7C,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IACvC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;CACjC,KAAG,MAiBF,CAAA"}

package/dist/report/report.js

@@ -0,0 +1,49 @@
+import { Schema } from "effect";
+import { Fingerprint } from "../core/fingerprint.js";
+import { Severity, Violation } from "../core/rule.js";
+export const RuleInfo = Schema.Struct({
+    id: Schema.String,
+    severity: Severity,
+    reason: Schema.optionalKey(Schema.String),
+});
+export const Report = Schema.Struct({
+    /** Violations the baseline does not accept, in check order (O1). */
+    violations: Schema.Array(Violation),
+    suppressed: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+    stale: Schema.Array(Fingerprint),
+    emptySubjects: Schema.Array(Schema.String),
+    emptyObjects: Schema.Array(Schema.String),
+    rules: Schema.Array(RuleInfo),
+    counts: Schema.Struct({
+        error: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+        warning: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+        info: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+    }),
+    stats: Schema.Struct({
+        files: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+        dependencies: Schema.Int.check(Schema.isGreaterThanOrEqualTo(0)),
+    }),
+    verdict: Schema.Literals(["pass", "fail"]),
+});
+/** Port of `Archer.Spec.fails`. */
+export const fails = (failOnWarnings, kept) => kept.some((violation) => violation.severity === "error" || (failOnWarnings && violation.severity === "warning"));
+const count = (violations, severity) => violations.filter((violation) => violation.severity === severity).length;
+export const makeReport = (input) => ({
+    violations: input.applied.kept,
+    suppressed: input.applied.suppressed.length,
+    stale: input.applied.stale,
+    emptySubjects: input.emptySubjects,
+    emptyObjects: input.emptyObjects,
+    rules: input.rules,
+    counts: {
+        error: count(input.applied.kept, "error"),
+        warning: count(input.applied.kept, "warning"),
+        info: count(input.applied.kept, "info"),
+    },
+    stats: {
+        files: input.graph.files.length,
+        dependencies: input.graph.files.reduce((total, file) => total + file.dependencies.length, 0),
+    },
+    verdict: fails(input.failOnWarnings, input.applied.kept) ? "fail" : "pass",
+});
+//# sourceMappingURL=report.js.map

package/dist/report/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../../src/report/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AAEpD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AASrD,MAAM,CAAC,MAAM,QAAQ,GAA2B,MAAM,CAAC,MAAM,CAAC;IAC5D,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,QAAQ,EAAE,QAAQ;IAClB,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC;CAC1C,CAAC,CAAA;AAgBF,MAAM,CAAC,MAAM,MAAM,GAAyB,MAAM,CAAC,MAAM,CAAC;IACxD,oEAAoE;IACpE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC9D,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;IAChC,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC1C,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACzD,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;KACzD,CAAC;IACF,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACzD,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;KACjE,CAAC;IACF,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC3C,CAAC,CAAA;AAEF,mCAAmC;AACnC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,cAAuB,EAAE,IAA8B,EAAW,EAAE,CACxF,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO,IAAI,CAAC,cAAc,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAA;AAElH,MAAM,KAAK,GAAG,CAAC,UAAoC,EAAE,QAAkB,EAAU,EAAE,CACjF,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;AAE1E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAO1B,EAAU,EAAE,CAAC,CAAC;IACb,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI;IAC9B,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM;IAC3C,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK;IAC1B,aAAa,EAAE,KAAK,CAAC,aAAa;IAClC,YAAY,EAAE,KAAK,CAAC,YAAY;IAChC,KAAK,EAAE,KAAK,CAAC,KAAK;IAClB,MAAM,EAAE;QACN,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;QACzC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC;QAC7C,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;KACxC;IACD,KAAK,EAAE;QACL,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;QAC/B,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC;KAC7F;IACD,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;CAC3E,CAAC,CAAA"}

package/dist/report/sarif.d.ts

@@ -0,0 +1,3 @@
+import type { Report } from "./report.ts";
+export declare const sarif: (report: Report) => string;
+//# sourceMappingURL=sarif.d.ts.map

package/dist/report/sarif.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sarif.d.ts","sourceRoot":"","sources":["../../src/report/sarif.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAiDzC,eAAO,MAAM,KAAK,WAAY,MAAM,KAAG,MAkDtC,CAAA"}

package/dist/report/sarif.js

@@ -0,0 +1,68 @@
+import { Match } from "effect";
+import { encode, fingerprint } from "../core/fingerprint.js";
+import { describe, importText, pathText, standalone } from "./message.js";
+const level = (severity) => Match.value(severity).pipe(Match.when("error", () => "error"), Match.when("warning", () => "warning"), Match.when("info", () => "note"), Match.exhaustive);
+const physicalLocation = (path, region) => ({
+    artifactLocation: { uri: path, uriBaseId: "%SRCROOT%" },
+    ...(region === undefined ? {} : { region: { startLine: region.line, startColumn: region.column } }),
+});
+const codeFlows = (edges) => edges.length === 0
+    ? []
+    : [
+        {
+            threadFlows: [
+                {
+                    locations: edges.map((edge) => ({
+                        location: {
+                            physicalLocation: physicalLocation(pathText(edge.source), edge.dependency.location),
+                            message: { text: importText(edge) },
+                        },
+                    })),
+                },
+            ],
+        },
+    ];
+export const sarif = (report) => {
+    const results = report.violations.map((violation) => {
+        const description = describe(violation, report.rules);
+        const { location } = description;
+        const ruleIndex = report.rules.findIndex((rule) => rule.id === violation.ruleId);
+        const flows = Match.value(violation.evidence).pipe(Match.tag("Walk", "Cycle", ({ edges }) => codeFlows(edges)), Match.orElse(() => []));
+        return {
+            ruleId: violation.ruleId,
+            ...(ruleIndex < 0 ? {} : { ruleIndex }),
+            level: level(violation.severity),
+            message: { text: standalone(violation, description) },
+            locations: [
+                {
+                    physicalLocation: location === undefined
+                        ? physicalLocation(pathText(violation.subject))
+                        : physicalLocation(location.path, location),
+                },
+            ],
+            partialFingerprints: { archer: encode(fingerprint(violation)) },
+            ...(flows.length === 0 ? {} : { codeFlows: flows }),
+        };
+    });
+    return JSON.stringify({
+        $schema: "https://json.schemastore.org/sarif-2.1.0.json",
+        version: "2.1.0",
+        runs: [
+            {
+                tool: {
+                    driver: {
+                        name: "Archer",
+                        informationUri: "https://github.com/lucasacoutinho/archer",
+                        rules: report.rules.map((rule) => ({
+                            id: rule.id,
+                            shortDescription: { text: rule.reason ?? rule.id },
+                            defaultConfiguration: { level: level(rule.severity) },
+                        })),
+                    },
+                },
+                results,
+            },
+        ],
+    }, undefined, 2);
+};
+//# sourceMappingURL=sarif.js.map

package/dist/report/sarif.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sarif.js","sourceRoot":"","sources":["../../src/report/sarif.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAC9B,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AAE5D,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,cAAc,CAAA;AAGzE,MAAM,KAAK,GAAG,CAAC,QAAkB,EAAU,EAAE,CAC3C,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CACxB,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,EAClC,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,EACtC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAChC,KAAK,CAAC,UAAU,CACjB,CAAA;AAkBH,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAE,MAA2D,EAAoB,EAAE,CAAC,CAAC;IACzH,gBAAgB,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE;IACvD,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;CACpG,CAAC,CAAA;AAEF,MAAM,SAAS,GAAG,CAAC,KAA0B,EAAmB,EAAE,CAChE,KAAK,CAAC,MAAM,KAAK,CAAC;IAChB,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC;QACE;YACE,WAAW,EAAE;gBACX;oBACE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;wBAC9B,QAAQ,EAAE;4BACR,gBAAgB,EAAE,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;4BACnF,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE;yBACpC;qBACF,CAAC,CAAC;iBACJ;aACF;SACF;KACF,CAAA;AAEP,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAU,EAAE;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;QAClD,MAAM,WAAW,GAAG,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;QACrD,MAAM,EAAE,QAAQ,EAAE,GAAG,WAAW,CAAA;QAChC,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,SAAS,CAAC,MAAM,CAAC,CAAA;QAChF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAChD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAC3D,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CACvB,CAAA;QACD,OAAO;YACL,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;YACvC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC;YAChC,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE;YACrD,SAAS,EAAE;gBACT;oBACE,gBAAgB,EACd,QAAQ,KAAK,SAAS;wBACpB,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;wBAC/C,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;iBAChD;aACF;YACD,mBAAmB,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,EAAE;YAC/D,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;SACpD,CAAA;IACH,CAAC,CAAC,CAAA;IACF,OAAO,IAAI,CAAC,SAAS,CACnB;QACE,OAAO,EAAE,+CAA+C;QACxD,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE;oBACJ,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ;wBACd,cAAc,EAAE,0CAA0C;wBAC1D,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;4BACjC,EAAE,EAAE,IAAI,CAAC,EAAE;4BACX,gBAAgB,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,EAAE,EAAE;4BAClD,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE;yBACtD,CAAC,CAAC;qBACJ;iBACF;gBACD,OAAO;aACR;SACF;KACF,EACD,SAAS,EACT,CAAC,CACF,CAAA;AACH,CAAC,CAAA"}

package/dist/run.d.ts

@@ -0,0 +1,49 @@
+import { Effect, FileSystem, Path, Result, Schema } from "effect";
+import { Analyzer } from "./analyzer/Analyzer.ts";
+import type { AnalysisError } from "./analyzer/errors.ts";
+import { ConfigError } from "./core/config.ts";
+import type { Graph } from "./core/model.ts";
+import { type ArcherConfig, ConfigInvalid } from "./config/input.ts";
+import { type Report } from "./report/report.ts";
+import { type BaselineError } from "./shell/baseline-file.ts";
+import { type ConfigLoadError } from "./shell/load-config.ts";
+export type BaselineMode = "apply" | "ignore" | "record" | "prune";
+export interface RunOptions {
+    /** A configuration, or the path of a configuration file. Without it, the first `archer.config.*` in `cwd`. */
+    readonly config?: ArcherConfig | string;
+    readonly cwd?: string;
+    readonly baseline?: BaselineMode;
+}
+export interface RunResult {
+    readonly report: Report;
+    readonly graph: Graph;
+    readonly root: string;
+}
+declare const ConfigNotFound_base: Schema.Class<ConfigNotFound, Schema.TaggedStruct<"ConfigNotFound", {
+    readonly searched: Schema.$Array<Schema.String>;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class ConfigNotFound extends ConfigNotFound_base {
+}
+declare const ConfigRejected_base: Schema.Class<ConfigRejected, Schema.TaggedStruct<"ConfigRejected", {
+    readonly error: Schema.Codec<ConfigError, ConfigError, never, never>;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class ConfigRejected extends ConfigRejected_base {
+}
+export type RunError = ConfigNotFound | ConfigLoadError | ConfigInvalid | ConfigRejected | AnalysisError | BaselineError;
+export interface WorkspaceLocation {
+    /** The directory the analysis reads. */
+    readonly root: string;
+    /** The configuration file, when the configuration came from one. */
+    readonly configFile: string | undefined;
+}
+/** Where a run would analyze, without analyzing: what a watcher needs to watch. */
+export declare const locateWorkspace: (options: RunOptions) => Effect.Effect<WorkspaceLocation, ConfigNotFound | ConfigLoadError | ConfigInvalid, FileSystem.FileSystem | Path.Path>;
+/** Decode, lower, and check: the pure part of a run, for a graph built by the caller. */
+export declare const checkGraph: (input: ArcherConfig, graph: Graph) => Result.Result<Report, ConfigInvalid | ConfigRejected>;
+export declare const run: (options?: RunOptions) => Effect.Effect<RunResult, RunError, Analyzer | FileSystem.FileSystem | Path.Path>;
+export {};
+//# sourceMappingURL=run.d.ts.map

package/dist/run.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAS,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAGzD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAE9C,OAAO,KAAK,EAAY,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAGtD,OAAO,EAAE,KAAK,YAAY,EAAsB,aAAa,EAAuB,MAAM,mBAAmB,CAAA;AAC7G,OAAO,EAAc,KAAK,MAAM,EAAiB,MAAM,oBAAoB,CAAA;AAC3E,OAAO,EAAE,KAAK,aAAa,EAA+B,MAAM,0BAA0B,CAAA;AAC1F,OAAO,EAAmB,KAAK,eAAe,EAAgB,MAAM,wBAAwB,CAAA;AAE5F,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAA;AAElE,MAAM,WAAW,UAAU;IACzB,8GAA8G;IAC9G,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,GAAG,MAAM,CAAA;IACvC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;CACjC;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;;;;oBAEwF,OAAO,MAAM;;AAAtG,qBAAa,cAAe,SAAQ,mBAGnC;CAAG;;;;oBAEqF,OAAO,MAAM;;AAAtG,qBAAa,cAAe,SAAQ,mBAGnC;CAAG;AAEJ,MAAM,MAAM,QAAQ,GAAG,cAAc,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,GAAG,aAAa,GAAG,aAAa,CAAA;AAoCxH,MAAM,WAAW,iBAAiB;IAChC,wCAAwC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAA;CACxC;AAED,mFAAmF;AACnF,eAAO,MAAM,eAAe,EAAE,CAC5B,OAAO,EAAE,UAAU,KAChB,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,cAAc,GAAG,eAAe,GAAG,aAAa,EAAE,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAKrH,CAAA;AAeJ,yFAAyF;AACzF,eAAO,MAAM,UAAU,UACd,YAAY,SACZ,KAAK,KACX,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,cAAc,CAcpD,CAAA;AAEH,eAAO,MAAM,GAAG,EAAE,CAChB,OAAO,CAAC,EAAE,UAAU,KACjB,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,GAAG,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAuClF,CAAA"}

package/dist/run.js

@@ -0,0 +1,87 @@
+import { Effect, FileSystem, Match, Path, Result, Schema } from "effect";
+import { Analyzer } from "./analyzer/Analyzer.js";
+import { apply, record } from "./core/baseline.js";
+import { check, emptyObjects, emptySubjects } from "./core/check.js";
+import { ConfigError } from "./core/config.js";
+import { structuralKey } from "./core/structural.js";
+import { lower } from "./core/lower.js";
+import { ConfigInvalid, decodeConfiguration } from "./config/input.js";
+import { makeReport } from "./report/report.js";
+import { readBaseline, writeBaseline } from "./shell/baseline-file.js";
+import { configFileNames, importConfig } from "./shell/load-config.js";
+export class ConfigNotFound extends Schema.TaggedError()("ConfigNotFound", { searched: Schema.Array(Schema.String) }) {
+}
+export class ConfigRejected extends Schema.TaggedError()("ConfigRejected", { error: ConfigError }) {
+}
+const locate = Effect.fn("locateConfig")(function* (cwd, config) {
+    const fs = yield* FileSystem.FileSystem;
+    const path = yield* Path.Path;
+    const candidates = config === undefined ? configFileNames.map((name) => path.join(cwd, name)) : [path.resolve(cwd, config)];
+    for (const candidate of candidates) {
+        if (yield* fs.exists(candidate).pipe(Effect.orElseSucceed(() => false))) {
+            return candidate;
+        }
+    }
+    return yield* new ConfigNotFound({ searched: candidates });
+});
+const load = Effect.fn("loadConfig")(function* (options) {
+    const path = yield* Path.Path;
+    const cwd = path.resolve(options.cwd ?? ".");
+    if (typeof options.config === "object") {
+        return { configuration: yield* decode(options.config), base: cwd, file: undefined };
+    }
+    const file = yield* locate(cwd, options.config);
+    return { configuration: yield* decode(yield* importConfig(file)), base: path.dirname(file), file };
+});
+/** Where a run would analyze, without analyzing: what a watcher needs to watch. */
+export const locateWorkspace = Effect.fn("locateWorkspace")(function* (options) {
+    const path = yield* Path.Path;
+    const { configuration, base, file } = yield* load(options);
+    return { root: path.resolve(base, configuration.root), configFile: file };
+});
+const decode = (input) => Effect.fromResult(decodeConfiguration(input));
+const customRules = (configuration) => (name, graph, subject) => configuration.custom.get(name)?.({ graph, subject: subject.join("/") }) ?? [];
+/** User rules carry their reason; layer and public-API rules come from lowering. */
+const ruleInfo = (configuration, policy) => {
+    const described = new Map(configuration.rules.map((rule) => [rule.id, rule]));
+    return policy.map((rule) => described.get(rule.id) ?? { id: rule.id, severity: rule.severity });
+};
+/** Decode, lower, and check: the pure part of a run, for a graph built by the caller. */
+export const checkGraph = (input, graph) => Result.flatMap(decodeConfiguration(input), (configuration) => Result.mapBoth(lower(configuration.config), {
+    onFailure: (error) => new ConfigRejected({ error }),
+    onSuccess: (policy) => makeReport({
+        applied: apply([], check(customRules(configuration), policy, graph)),
+        emptySubjects: emptySubjects(policy, graph),
+        emptyObjects: emptyObjects(policy, graph),
+        rules: ruleInfo(configuration, policy),
+        graph,
+        failOnWarnings: configuration.failOnWarnings,
+    }),
+}));
+export const run = Effect.fn("run")(function* (options = {}) {
+    const path = yield* Path.Path;
+    const analyzer = yield* Analyzer;
+    const { configuration, base } = yield* load(options);
+    const policy = yield* Effect.fromResult(lower(configuration.config)).pipe(Effect.mapError((error) => new ConfigRejected({ error })));
+    const root = path.resolve(base, configuration.root);
+    const graph = yield* analyzer.analyze({ root, projects: configuration.projects });
+    const violations = check(customRules(configuration), policy, graph);
+    const baselineFile = configuration.baseline === undefined ? undefined : path.resolve(root, configuration.baseline);
+    const current = record(violations);
+    const baseline = baselineFile === undefined
+        ? []
+        : yield* Match.value(options.baseline ?? "apply").pipe(Match.when("ignore", () => Effect.succeed([])), Match.when("apply", () => readBaseline(baselineFile)), Match.when("record", () => writeBaseline(baselineFile, current).pipe(Effect.as(current))), Match.when("prune", () => readBaseline(baselineFile).pipe(Effect.map((stored) => {
+            const live = new Set(current.map(structuralKey));
+            return stored.filter((entry) => live.has(structuralKey(entry)));
+        }), Effect.tap((kept) => writeBaseline(baselineFile, kept)))), Match.exhaustive);
+    const report = makeReport({
+        applied: apply(baseline, violations),
+        emptySubjects: emptySubjects(policy, graph),
+        emptyObjects: emptyObjects(policy, graph),
+        rules: ruleInfo(configuration, policy),
+        graph,
+        failOnWarnings: configuration.failOnWarnings,
+    });
+    return { report, graph, root };
+});
+//# sourceMappingURL=run.js.map

package/dist/run.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run.js","sourceRoot":"","sources":["../src/run.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxE,OAAO,EAAE,QAAQ,EAAE,MAAM,wBAAwB,CAAA;AAEjD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACpE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAGpD,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACvC,OAAO,EAAyC,aAAa,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAC7G,OAAO,EAAE,UAAU,EAA8B,MAAM,oBAAoB,CAAA;AAC3E,OAAO,EAAsB,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAC1F,OAAO,EAAE,eAAe,EAAwB,YAAY,EAAE,MAAM,wBAAwB,CAAA;AAiB5F,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAqD,CACzG,gBAAgB,EAChB,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAC1C;CAAG;AAEJ,MAAM,OAAO,cAAe,SAAQ,MAAM,CAAC,WAAW,EAAqD,CACzG,gBAAgB,EAChB,EAAE,KAAK,EAAE,WAAW,EAAE,CACvB;CAAG;AAIJ,MAAM,MAAM,GAGoE,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,EAAE,GAAW,EAAE,MAA0B;IAC1J,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,UAAU,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAA;IAC3H,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACxE,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,IAAI,cAAc,CAAC,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAA;AAC5D,CAAC,CAAC,CAAA;AAQF,MAAM,IAAI,GAGR,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAmB;IACtD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,CAAA;IAC5C,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACvC,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAA;IACrF,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IAC/C,OAAO,EAAE,aAAa,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAA;AACpG,CAAC,CAAC,CAAA;AASF,mFAAmF;AACnF,MAAM,CAAC,MAAM,eAAe,GAG1B,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAmB;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC1D,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;AAC3E,CAAC,CAAC,CAAA;AAEJ,MAAM,MAAM,GAAG,CAAC,KAAc,EAA+C,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAA;AAE7H,MAAM,WAAW,GACf,CAAC,aAA4B,EAAe,EAAE,CAC9C,CAAC,IAAY,EAAE,KAAY,EAAE,OAAiB,EAAyB,EAAE,CACvE,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAA;AAEjF,oFAAoF;AACpF,MAAM,QAAQ,GAAG,CAAC,aAA4B,EAAE,MAAc,EAAmB,EAAE;IACjF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAC7E,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;AACjG,CAAC,CAAA;AAED,yFAAyF;AACzF,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAmB,EACnB,KAAY,EAC2C,EAAE,CACzD,MAAM,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC,aAAa,EAAE,EAAE,CAC3D,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE;IAC1C,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC;IACnD,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CACpB,UAAU,CAAC;QACT,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACpE,aAAa,EAAE,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC;QAC3C,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;QACzC,KAAK,EAAE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QACtC,KAAK;QACL,cAAc,EAAE,aAAa,CAAC,cAAc;KAC7C,CAAC;CACL,CAAC,CACH,CAAA;AAEH,MAAM,CAAC,MAAM,GAAG,GAEwE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,EAAE,OAAO,GAAe,EAAE;IAC1I,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC7B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAA;IAChC,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACpD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAC1D,CAAA;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;IACnD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,QAAQ,EAAE,CAAC,CAAA;IACjF,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IACnE,MAAM,YAAY,GAAG,aAAa,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;IAClH,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IAClC,MAAM,QAAQ,GACZ,YAAY,KAAK,SAAS;QACxB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,IAAI,OAAO,CAAC,CAAC,IAAI,CAClD,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,EAC9C,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,EACrD,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EACzF,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,CACvB,YAAY,CAAC,YAAY,CAAC,CAAC,IAAI,CAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YACpB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAA;YAChD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACjE,CAAC,CAAC,EACF,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CACxD,CACF,EACD,KAAK,CAAC,UAAU,CACjB,CAAA;IACP,MAAM,MAAM,GAAG,UAAU,CAAC;QACxB,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC;QACpC,aAAa,EAAE,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC;QAC3C,YAAY,EAAE,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC;QACzC,KAAK,EAAE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QACtC,KAAK;QACL,cAAc,EAAE,aAAa,CAAC,cAAc;KAC7C,CAAC,CAAA;IACF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAsB,CAAA;AACpD,CAAC,CAAC,CAAA"}

package/dist/shell/baseline-file.d.ts

@@ -0,0 +1,20 @@
+import { Effect, FileSystem, Path, Schema } from "effect";
+import { type Fingerprint } from "../core/fingerprint.ts";
+export declare const header: string;
+declare const BaselineError_base: Schema.Class<BaselineError, Schema.TaggedStruct<"BaselineError", {
+    readonly path: Schema.String;
+    readonly reason: Schema.Literals<readonly ["Unreadable", "UnsupportedHeader", "MalformedLine", "Unwritable"]>;
+    readonly line: Schema.optionalKey<Schema.Int>;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class BaselineError extends BaselineError_base {
+}
+export declare const parseBaseline: (path: string, text: string) => Effect.Effect<Array<Fingerprint>, BaselineError>;
+export declare const formatBaseline: (entries: ReadonlyArray<Fingerprint>) => string;
+/** A missing file is an empty baseline, so a project can adopt Archer before recording one. */
+export declare const readBaseline: (path: string) => Effect.Effect<Array<Fingerprint>, BaselineError, FileSystem.FileSystem>;
+/** Writes through a sibling temporary file and a rename, so a reader never sees half a baseline. */
+export declare const writeBaseline: (path: string, entries: ReadonlyArray<Fingerprint>) => Effect.Effect<void, BaselineError, FileSystem.FileSystem | Path.Path>;
+export {};
+//# sourceMappingURL=baseline-file.d.ts.map

package/dist/shell/baseline-file.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline-file.d.ts","sourceRoot":"","sources":["../../src/shell/baseline-file.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAU,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjE,OAAO,EAAkB,KAAK,WAAW,EAAE,MAAM,wBAAwB,CAAA;AAEzE,eAAO,MAAM,MAAM,EAAE,MAA4B,CAAA;;;;;;oBAEsC,OAAO,MAAM;;AAApG,qBAAa,aAAc,SAAQ,kBAIjC;CAAG;AAEL,eAAO,MAAM,aAAa,SAAU,MAAM,QAAQ,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,aAAa,CAiBzG,CAAA;AAED,eAAO,MAAM,cAAc,YAAa,aAAa,CAAC,WAAW,CAAC,KAAG,MACjB,CAAA;AAEpD,+FAA+F;AAC/F,eAAO,MAAM,YAAY,EAAE,CACzB,IAAI,EAAE,MAAM,KACT,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,UAAU,CAAC,UAAU,CAQzE,CAAA;AAEF,oGAAoG;AACpG,eAAO,MAAM,aAAa,EAAE,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,aAAa,CAAC,WAAW,CAAC,KAChC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CASvE,CAAA"}

package/dist/shell/baseline-file.js

@@ -0,0 +1,46 @@
+import { Effect, FileSystem, Option, Path, Schema } from "effect";
+import { decode, encode } from "../core/fingerprint.js";
+export const header = "archer-baseline 1";
+export class BaselineError extends Schema.TaggedError()("BaselineError", {
+    path: Schema.String,
+    reason: Schema.Literals(["Unreadable", "UnsupportedHeader", "MalformedLine", "Unwritable"]),
+    line: Schema.optionalKey(Schema.Int),
+}) {
+}
+export const parseBaseline = (path, text) => {
+    const [first, ...rest] = text.split("\n");
+    if (first !== header) {
+        return Effect.fail(new BaselineError({ path, reason: "UnsupportedHeader", line: 1 }));
+    }
+    const entries = [];
+    for (const [index, line] of rest.entries()) {
+        if (line === "") {
+            continue;
+        }
+        const entry = decode(line);
+        if (Option.isNone(entry)) {
+            return Effect.fail(new BaselineError({ path, reason: "MalformedLine", line: index + 2 }));
+        }
+        entries.push(entry.value);
+    }
+    return Effect.succeed(entries);
+};
+export const formatBaseline = (entries) => [header, ...entries.map(encode)].join("\n") + "\n";
+/** A missing file is an empty baseline, so a project can adopt Archer before recording one. */
+export const readBaseline = Effect.fn("readBaseline")(function* (path) {
+    const fs = yield* FileSystem.FileSystem;
+    const exists = yield* fs.exists(path).pipe(Effect.mapError(() => new BaselineError({ path, reason: "Unreadable" })));
+    if (!exists) {
+        return [];
+    }
+    const text = yield* fs.readFileString(path).pipe(Effect.mapError(() => new BaselineError({ path, reason: "Unreadable" })));
+    return yield* parseBaseline(path, text);
+});
+/** Writes through a sibling temporary file and a rename, so a reader never sees half a baseline. */
+export const writeBaseline = Effect.fn("writeBaseline")(function* (path, entries) {
+    const fs = yield* FileSystem.FileSystem;
+    const paths = yield* Path.Path;
+    const temporary = paths.join(paths.dirname(path), `.${paths.basename(path)}.tmp`);
+    yield* fs.makeDirectory(paths.dirname(path), { recursive: true }).pipe(Effect.andThen(fs.writeFileString(temporary, formatBaseline(entries))), Effect.andThen(fs.rename(temporary, path)), Effect.mapError(() => new BaselineError({ path, reason: "Unwritable" })));
+});
+//# sourceMappingURL=baseline-file.js.map

package/dist/shell/baseline-file.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"baseline-file.js","sourceRoot":"","sources":["../../src/shell/baseline-file.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAoB,MAAM,wBAAwB,CAAA;AAEzE,MAAM,CAAC,MAAM,MAAM,GAAW,mBAAmB,CAAA;AAEjD,MAAM,OAAO,aAAc,SAAQ,MAAM,CAAC,WAAW,EAAoD,CAAC,eAAe,EAAE;IACzH,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,EAAE,mBAAmB,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IAC3F,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC;CACrC,CAAC;CAAG;AAEL,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,IAAY,EAAoD,EAAE;IAC5G,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACzC,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;QACrB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;IACvF,CAAC;IACD,MAAM,OAAO,GAAuB,EAAE,CAAA;IACtC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3C,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAChB,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;QAC1B,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,CAAA;QAC3F,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;AAChC,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,OAAmC,EAAU,EAAE,CAC5E,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAA;AAEpD,+FAA+F;AAC/F,MAAM,CAAC,MAAM,YAAY,GAEsD,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAY;IAC9H,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAA;IACpH,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,CAAA;IACX,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,CAAA;IAC1H,OAAO,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;AACzC,CAAC,CAAC,CAAA;AAEF,oGAAoG;AACpG,MAAM,CAAC,MAAM,aAAa,GAGmD,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAY,EAAE,OAAmC;IAClK,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAA;IACvC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAA;IAC9B,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACjF,KAAK,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CACpE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EACtE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAC1C,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CACzE,CAAA;AACH,CAAC,CAAC,CAAA"}

package/dist/shell/load-config.d.ts

@@ -0,0 +1,19 @@
+import { Effect, Schema } from "effect";
+declare const ConfigLoadError_base: Schema.Class<ConfigLoadError, Schema.TaggedStruct<"ConfigLoadError", {
+    readonly path: Schema.String;
+    readonly cause: Schema.Defect;
+}>, import("effect/Cause").YieldableError & {
+    readonly brand: unique symbol;
+}>;
+export declare class ConfigLoadError extends ConfigLoadError_base {
+}
+export declare const configFileNames: ReadonlyArray<string>;
+/**
+ * A changed configuration file loads as a new module instance, so a watcher
+ * sees its edits. Node never frees a module instance, so an unchanged file
+ * reuses the last one instead of leaking a copy per call. Modules the
+ * configuration imports stay cached by Node.
+ */
+export declare const importConfig: (absolutePath: string) => Effect.Effect<unknown, ConfigLoadError>;
+export {};
+//# sourceMappingURL=load-config.d.ts.map

package/dist/shell/load-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"load-config.d.ts","sourceRoot":"","sources":["../../src/shell/load-config.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;;;;;oBAEoD,OAAO,MAAM;;AAAxG,qBAAa,eAAgB,SAAQ,oBAGpC;CAAG;AAEJ,eAAO,MAAM,eAAe,EAAE,aAAa,CAAC,MAAM,CAAsF,CAAA;AAWxI;;;;;GAKG;AACH,eAAO,MAAM,YAAY,iBAAkB,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,eAAe,CAgBtF,CAAA"}

package/dist/shell/load-config.js

@@ -0,0 +1,39 @@
+var __rewriteRelativeImportExtension = (this && this.__rewriteRelativeImportExtension) || function (path, preserveJsx) {
+    if (typeof path === "string" && /^\.\.?\//.test(path)) {
+        return path.replace(/\.(tsx)$|((?:\.d)?)((?:\.[^./]+?)?)\.([cm]?)ts$/i, function (m, tsx, d, ext, cm) {
+            return tsx ? preserveJsx ? ".jsx" : ".js" : d && (!ext || !cm) ? m : (d + ext + "." + cm.toLowerCase() + "js");
+        });
+    }
+    return path;
+};
+import { readFile } from "node:fs/promises";
+import { pathToFileURL } from "node:url";
+import { Effect, Schema } from "effect";
+export class ConfigLoadError extends Schema.TaggedError()("ConfigLoadError", { path: Schema.String, cause: Schema.Defect() }) {
+}
+export const configFileNames = ["archer.config.ts", "archer.config.mts", "archer.config.js", "archer.config.mjs"];
+let generation = 0;
+const loaded = new Map();
+/**
+ * A changed configuration file loads as a new module instance, so a watcher
+ * sees its edits. Node never frees a module instance, so an unchanged file
+ * reuses the last one instead of leaking a copy per call. Modules the
+ * configuration imports stay cached by Node.
+ */
+export const importConfig = (absolutePath) => Effect.tryPromise({
+    try: async () => {
+        const source = await readFile(absolutePath, "utf8");
+        const previous = loaded.get(absolutePath);
+        if (previous !== undefined && previous.source === source) {
+            return previous.value;
+        }
+        generation += 1;
+        const url = new URL(pathToFileURL(absolutePath));
+        url.searchParams.set("archer", String(generation));
+        const module = await import(__rewriteRelativeImportExtension(url.href));
+        loaded.set(absolutePath, { source, value: module.default });
+        return module.default;
+    },
+    catch: (cause) => new ConfigLoadError({ path: absolutePath, cause }),
+});
+//# sourceMappingURL=load-config.js.map

package/dist/shell/load-config.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"load-config.js","sourceRoot":"","sources":["../../src/shell/load-config.ts"],"names":[],"mappings":";;;;;;;;AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,MAAM,OAAO,eAAgB,SAAQ,MAAM,CAAC,WAAW,EAAsD,CAC3G,iBAAiB,EACjB,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,CAChD;CAAG;AAEJ,MAAM,CAAC,MAAM,eAAe,GAA0B,CAAC,kBAAkB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,mBAAmB,CAAC,CAAA;AAOxI,IAAI,UAAU,GAAW,CAAC,CAAA;AAE1B,MAAM,MAAM,GAAwB,IAAI,GAAG,EAAkB,CAAA;AAE7D;;;;;GAKG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,YAAoB,EAA2C,EAAE,CAC5F,MAAM,CAAC,UAAU,CAAC;IAChB,GAAG,EAAE,KAAK,IAAsB,EAAE;QAChC,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,CAAA;QACnD,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACzD,OAAO,QAAQ,CAAC,KAAK,CAAA;QACvB,CAAC;QACD,UAAU,IAAI,CAAC,CAAA;QACf,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAA;QAChD,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;QAClD,MAAM,MAAM,GAAmC,MAAM,MAAM,kCAAC,GAAG,CAAC,IAAI,EAAC,CAAA;QACrE,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAA;QAC3D,OAAO,MAAM,CAAC,OAAO,CAAA;IACvB,CAAC;IACD,KAAK,EAAE,CAAC,KAAc,EAAmB,EAAE,CAAC,IAAI,eAAe,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;CAC/F,CAAC,CAAA"}