@goodbones/cli 0.1.0-beta.1 → 0.1.0-beta.11

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

@@ -1,4 +1,9 @@
-import { type LoadedPolicy } from "@goodbones/core";
+import { type ConfigInvalid, type Language, type LoadedPolicy, type PatternInvalid } from "@goodbones/core";
+import * as Result from "effect/Result";
 export type { LoadedPolicy } from "@goodbones/core";
+export declare const hostLanguages: () => ReadonlyArray<Language>;
+export declare const hostNow: () => number;
+export declare const manifestPathOf: (repoRoot: string, configFilename?: string) => string;
 export declare const loadPolicyFromFile: (repoRoot: string, configFilename?: string) => Promise<LoadedPolicy>;
+export declare const loadPolicyFromManifest: (repoRoot: string, manifest: unknown) => Result.Result<LoadedPolicy, ConfigInvalid | PatternInvalid>;
 //# sourceMappingURL=config-loader.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAEA,OAAO,EAEL,KAAK,YAAY,EAIlB,MAAM,iBAAiB,CAAC;AAIzB,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAMpD,eAAO,MAAM,kBAAkB,aACnB,MAAM,mBACA,MAAM,KACrB,OAAO,CAAC,YAAY,CAWtB,CAAC"}
+{"version":3,"file":"config-loader.d.ts","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAQA,OAAO,EACL,KAAK,aAAa,EAElB,KAAK,QAAQ,EACb,KAAK,YAAY,EAGjB,KAAK,cAAc,EAEpB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAMpD,eAAO,MAAM,aAAa,QAAO,aAAa,CAAC,QAAQ,CAEtD,CAAC;AAKF,eAAO,MAAM,OAAO,QAAO,MAQ1B,CAAC;AAQF,eAAO,MAAM,cAAc,aAAc,MAAM,mBAAmB,MAAM,KAAG,MAG/B,CAAC;AAE7C,eAAO,MAAM,kBAAkB,aACnB,MAAM,mBACC,MAAM,KACtB,OAAO,CAAC,YAAY,CAkBtB,CAAC;AAMF,eAAO,MAAM,sBAAsB,aACvB,MAAM,YACN,OAAO,KAChB,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,aAAa,GAAG,cAAc,CASzD,CAAC"}

package/build/dts/infer.d.ts

@@ -0,0 +1,34 @@
+import { type Generalization, type Manifest } from "@goodbones/core";
+import * as Effect from "effect/Effect";
+import * as Result from "effect/Result";
+export type CliFailure = {
+    readonly _tag: "CliFailure";
+    readonly message: string;
+};
+export type InferFlags = {
+    readonly depth: number;
+    readonly roots: ReadonlyArray<string>;
+    readonly tsconfig: string | null;
+    readonly write: boolean;
+    readonly answers: "ask" | "yes" | "exhaustive";
+    readonly collapse: boolean;
+};
+export declare const INFER_USAGE = "infer [--depth N] [--root DIR]... [--tsconfig PATH] [--write] [--yes | --exhaustive] [--collapse]";
+export declare const parseInferFlags: (argv: ReadonlyArray<string>) => Result.Result<InferFlags, string>;
+export type InferIo = {
+    readonly out: (text: string) => void;
+    readonly err: (line: string) => void;
+    readonly ask: (question: string) => Promise<boolean>;
+    readonly interactive: boolean;
+};
+export declare const terminalIo: () => InferIo;
+export type InferOutcome = {
+    readonly manifest: Manifest;
+    readonly yaml: string;
+    readonly files: number;
+    readonly nodes: number;
+    readonly unresolved: ReadonlyArray<string>;
+    readonly generalized: ReadonlyArray<Generalization>;
+};
+export declare const infer: (repoRoot: string, argv: ReadonlyArray<string>, configFilename: string | undefined, io?: InferIo) => Effect.Effect<InferOutcome, CliFailure>;
+//# sourceMappingURL=infer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"infer.d.ts","sourceRoot":"","sources":["../../src/infer.ts"],"names":[],"mappings":"AAIA,OAAO,EAOL,KAAK,cAAc,EAMnB,KAAK,QAAQ,EAId,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAaxC,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAGnF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAExB,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,KAAK,GAAG,YAAY,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,eAAO,MAAM,WAAW,sGAC6E,CAAC;AAEtG,eAAO,MAAM,eAAe,SAAU,aAAa,CAAC,MAAM,CAAC,KAAG,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CA2D7F,CAAC;AAIF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACrC,QAAQ,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACrD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF,eAAO,MAAM,UAAU,QAAO,OAc5B,CAAC;AAqMH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CACrD,CAAC;AAEF,eAAO,MAAM,KAAK,aACN,MAAM,QACV,aAAa,CAAC,MAAM,CAAC,kBACX,MAAM,GAAG,SAAS,OAC9B,OAAO,KACV,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,UAAU,CAmKrC,CAAC"}

package/build/dts/run.d.ts

@@ -1,21 +1,95 @@
-import { type Violation } from "@goodbones/core";
+import { type CampaignEvaluation, type CampaignReport } from "@goodbones/campaigns";
+import { type ConformanceMeasure, type CoverageFamily, type Graph, type ObservedEdge, type Snapshot, type Violation } from "@goodbones/core";
 import * as Effect from "effect/Effect";
 import { type LoadedPolicy } from "./config-loader.js";
 export type CliFailure = {
     readonly _tag: "CliFailure";
     readonly message: string;
 };
+export type UnresolvedEdge = {
+    readonly file: string;
+    readonly specifier: string;
+    readonly detail: string;
+};
 export type Findings = {
     readonly violations: ReadonlyArray<Violation>;
-    readonly unresolved: ReadonlyArray<string>;
+    readonly campaigns: ReadonlyArray<CampaignEvaluation>;
+    readonly unresolved: ReadonlyArray<UnresolvedEdge>;
+    readonly files: number;
+    readonly edges: ReadonlyArray<ObservedEdge>;
+    readonly graph: Graph | null;
+};
+export type CollectOptions = {
+    readonly graph?: boolean;
+};
+export declare const collectFindings: (policy: LoadedPolicy, roots: ReadonlyArray<string>, options?: CollectOptions) => Findings;
+export type ReportedViolation = Violation & {
+    readonly fingerprint: string;
+    readonly baselined: boolean;
+    readonly ledgered: boolean;
+    readonly objective?: string;
+    readonly sector?: string;
+    readonly entry?: string;
+};
+export type CoverageReport = Readonly<Record<CoverageFamily, {
+    readonly covered: number;
+    readonly total: number;
+    readonly floor?: number;
+}>>;
+export type ConformanceReport = Readonly<Record<ConformanceMeasure, {
+    readonly count: number;
+    readonly ceiling?: number;
+}>>;
+export type CheckReport = {
+    readonly version: 1;
     readonly files: number;
+    readonly roots: ReadonlyArray<string>;
+    readonly ok: boolean;
+    readonly manifest: {
+        readonly path: string;
+        readonly sha256: string;
+    };
+    readonly violations: ReadonlyArray<ReportedViolation>;
+    readonly unresolved: ReadonlyArray<UnresolvedEdge>;
+    readonly stale: ReadonlyArray<string>;
+    readonly coverage: CoverageReport;
+    readonly conformance: ConformanceReport;
+    readonly adoption: {
+        readonly unrestricted: ReadonlyArray<string>;
+        readonly partial: ReadonlyArray<string>;
+    };
+    readonly campaigns: ReadonlyArray<CampaignReport>;
+};
+export declare const checkReport: (policy: LoadedPolicy, roots: ReadonlyArray<string>, manifestPath: string) => CheckReport;
+export type CheckOptions = {
+    readonly format: "text" | "json";
+    readonly manifestPath: string;
 };
-export declare const collectFindings: (policy: LoadedPolicy, roots: ReadonlyArray<string>) => Findings;
-export declare const check: (policy: LoadedPolicy, roots: ReadonlyArray<string>) => Effect.Effect<void, CliFailure>;
+export declare const check: (policy: LoadedPolicy, roots: ReadonlyArray<string>, options: CheckOptions) => Effect.Effect<void, CliFailure>;
+export declare const snapshotOf: (policy: LoadedPolicy, roots: ReadonlyArray<string>, manifestPath: string) => Snapshot;
+export type ConformanceOptions = CheckOptions;
+export declare const conformance: (policy: LoadedPolicy, roots: ReadonlyArray<string>, options: ConformanceOptions) => Effect.Effect<void, CliFailure>;
 export declare const coverage: (policy: LoadedPolicy, roots: ReadonlyArray<string>) => Effect.Effect<void, CliFailure>;
 export declare const writeBaseline: (policy: LoadedPolicy, roots: ReadonlyArray<string>) => Effect.Effect<void, CliFailure>;
-export declare const explain: (policy: LoadedPolicy, file: string) => Effect.Effect<void, CliFailure>;
+export declare const explain: (policy: LoadedPolicy, file: string, roots?: ReadonlyArray<string>) => Effect.Effect<void, CliFailure>;
 export declare const facts: (policy: LoadedPolicy, file: string, format?: "text" | "json") => Effect.Effect<void, CliFailure>;
-export declare const run: (repoRoot: string, argv: ReadonlyArray<string>) => Effect.Effect<void, CliFailure>;
+export declare const init: (repoRoot: string) => Effect.Effect<void, CliFailure>;
+export declare const migrate: (repoRoot: string, configFilename?: string) => Effect.Effect<void, CliFailure>;
+export declare const campaignArgsOf: (argv: ReadonlyArray<string>, ids: ReadonlyArray<string>) => {
+    readonly subcommand: string | undefined;
+    readonly args: ReadonlyArray<string>;
+    readonly roots: ReadonlyArray<string>;
+};
+export declare const objectiveArgsOf: (argv: ReadonlyArray<string>, ids: ReadonlyArray<string>) => {
+    readonly subcommand: string | undefined;
+    readonly target: {
+        campaign: string;
+        objective: string | null;
+    } | null;
+    readonly roots: ReadonlyArray<string>;
+};
+export declare const objectives: (policy: LoadedPolicy, defaultRoots: ReadonlyArray<string>, argv: ReadonlyArray<string>) => Effect.Effect<void, CliFailure>;
+export declare const campaigns: (policy: LoadedPolicy, defaultRoots: ReadonlyArray<string>, argv: ReadonlyArray<string>, configFilename?: string) => Effect.Effect<void, CliFailure>;
+export declare const run: (repoRoot: string, argv: ReadonlyArray<string>, configFilename?: string) => Effect.Effect<void, CliFailure>;
 export declare const fingerprint: (violation: Violation) => string;
 //# sourceMappingURL=run.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/run.ts"],"names":[],"mappings":"AAGA,OAAO,EA2BL,KAAK,SAAS,EACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,KAAK,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAgB3E,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAInF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,eAAO,MAAM,eAAe,WAAY,YAAY,SAAS,aAAa,CAAC,MAAM,CAAC,KAAG,QAgFpF,CAAC;AAyBF,eAAO,MAAM,KAAK,WACR,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAwD7B,CAAC;AAOL,eAAO,MAAM,QAAQ,WACX,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAiC7B,CAAC;AAEL,eAAO,MAAM,aAAa,WAChB,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAkB7B,CAAC;AAIL,eAAO,MAAM,OAAO,WAAY,YAAY,QAAQ,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAuFvF,CAAC;AAQL,eAAO,MAAM,KAAK,WACR,YAAY,QACd,MAAM,WACJ,MAAM,GAAG,MAAM,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAmD7B,CAAC;AAEL,eAAO,MAAM,GAAG,aACJ,MAAM,QACV,aAAa,CAAC,MAAM,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAqC7B,CAAC;AAEL,eAAO,MAAM,WAAW,kCAAgB,CAAC"}
+{"version":3,"file":"run.d.ts","sourceRoot":"","sources":["../../src/run.ts"],"names":[],"mappings":"AAIA,OAAO,EAIL,KAAK,kBAAkB,EAEvB,KAAK,cAAc,EAsBpB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAIL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EAkBnB,KAAK,KAAK,EAQV,KAAK,YAAY,EAOjB,KAAK,QAAQ,EAMb,KAAK,SAAS,EACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,KAAK,YAAY,EAAsC,MAAM,oBAAoB,CAAC;AAiB3F,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAMnF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAC;IAK9C,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAIvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC;IAE5C,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,IAAI,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAG3B,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,eAAO,MAAM,eAAe,WAClB,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,YACnB,cAAc,KACtB,QA2GF,CAAC;AA4BF,MAAM,MAAM,iBAAiB,GAAG,SAAS,GAAG;IAC1C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAG5B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAG3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,QAAQ,CACnC,MAAM,CACJ,cAAc,EACd;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAC9E,CACF,CAAC;AAKF,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CACtC,MAAM,CAAC,kBAAkB,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,CAClF,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IAGrB,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAEtE,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;IAEnD,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;KACzC,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,cAAc,CAAC,CAAC;CACnD,CAAC;AAkBF,eAAO,MAAM,WAAW,WACd,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,gBACd,MAAM,KACnB,WAA2F,CAAC;AAgR/F,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,eAAO,MAAM,KAAK,WACR,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,WACnB,YAAY,KACpB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAU7B,CAAC;AAYL,eAAO,MAAM,UAAU,WACb,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,gBACd,MAAM,KACnB,QAwCF,CAAC;AAgHF,MAAM,MAAM,kBAAkB,GAAG,YAAY,CAAC;AAM9C,eAAO,MAAM,WAAW,WACd,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,WACnB,kBAAkB,KAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAM7B,CAAC;AAKL,eAAO,MAAM,QAAQ,WACX,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAiC7B,CAAC;AAEL,eAAO,MAAM,aAAa,WAChB,YAAY,SACb,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAkB7B,CAAC;AAIL,eAAO,MAAM,OAAO,WACV,YAAY,QACd,MAAM,UACL,aAAa,CAAC,MAAM,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAkI7B,CAAC;AAQL,eAAO,MAAM,KAAK,WACR,YAAY,QACd,MAAM,WACJ,MAAM,GAAG,MAAM,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAmD7B,CAAC;AA6EL,eAAO,MAAM,IAAI,aAAc,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAoBlE,CAAC;AAKL,eAAO,MAAM,OAAO,aACR,MAAM,mBACC,MAAM,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CA0C7B,CAAC;AAyDL,eAAO,MAAM,cAAc,SACnB,aAAa,CAAC,MAAM,CAAC,OACtB,aAAa,CAAC,MAAM,CAAC,KACzB;IACD,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CA8BvC,CAAC;AAIF,eAAO,MAAM,eAAe,SACpB,aAAa,CAAC,MAAM,CAAC,OACtB,aAAa,CAAC,MAAM,CAAC,KACzB;IACD,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC;IACvE,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CAcvC,CAAC;AAqCF,eAAO,MAAM,UAAU,WACb,YAAY,gBACN,aAAa,CAAC,MAAM,CAAC,QAC7B,aAAa,CAAC,MAAM,CAAC,KAC1B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAmI7B,CAAC;AAEL,eAAO,MAAM,SAAS,WACZ,YAAY,gBACN,aAAa,CAAC,MAAM,CAAC,QAC7B,aAAa,CAAC,MAAM,CAAC,mBACV,MAAM,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CA+J7B,CAAC;AAYL,eAAO,MAAM,GAAG,aACJ,MAAM,QACV,aAAa,CAAC,MAAM,CAAC,mBAEV,MAAM,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CA+F7B,CAAC;AAEL,eAAO,MAAM,WAAW,kCAAgB,CAAC"}

package/build/esm/config-loader.js

@@ -1,22 +1,69 @@
 import * as path from "node:path";
-import { DEFAULT_CONFIG_FILENAME, loadPolicy, makeFileSystemLive, readManifestFile, } from "@goodbones/core";
+import { astGrepMatcher } from "@goodbones/ast-grep";
+import { campaignsExtension, loadCampaignFunctions, makeReportSourceLive, } from "@goodbones/campaigns";
+import { findManifestFile, loadPolicy, makeFileSystemLive, readManifestFile, } from "@goodbones/core";
 import { typescriptLanguage } from "@goodbones/typescript";
 import * as Result from "effect/Result";
+// The language packs this host is composed with. Constructed here and handed
+// down as the `Language` port, so nothing below this file names TypeScript —
+// or ast-grep, which the pack is composed with here for the campaigns
+// family's `syntax` term.
+export const hostLanguages = () => [
+    typescriptLanguage({ syntax: astGrepMatcher() }),
+];
+// The clock the campaigns are judged by. `ARCHITECTURE_NOW` (an ISO date or
+// epoch milliseconds) pins it, for a CI that replays a day or a test that
+// needs a stall to have happened.
+export const hostNow = () => {
+    const pinned = process.env.ARCHITECTURE_NOW;
+    if (pinned === undefined || pinned === "")
+        return Date.now();
+    const parsed = /^\d+$/.test(pinned) ? Number(pinned) : Date.parse(pinned);
+    if (Number.isNaN(parsed)) {
+        throw new Error(`ARCHITECTURE_NOW is ${JSON.stringify(pinned)}, which is not a date.`);
+    }
+    return parsed;
+};
 // The CLI's composition root: read the manifest file, construct the language
 // packs and the live file system, and hand them to the loader. The plugin has
 // one of its own with the same three lines, on purpose — the two hosts share
 // the core and never each other.
-export const loadPolicyFromFile = async (repoRoot, configFilename = DEFAULT_CONFIG_FILENAME) => {
-    const configPath = path.resolve(repoRoot, configFilename);
+// Named, or discovered: architecture.yaml, .yml, .json, or .config.mjs,
+// exactly one of which may be present. Absolute.
+export const manifestPathOf = (repoRoot, configFilename) => configFilename === undefined
+    ? findManifestFile(repoRoot)
+    : path.resolve(repoRoot, configFilename);
+export const loadPolicyFromFile = async (repoRoot, configFilename) => {
+    const configPath = manifestPathOf(repoRoot, configFilename);
+    const read = await readManifestFile(configPath);
+    // The `fn` terms are imported here, before the policy loads: the core
+    // receives the functions as a map and touches no module loader.
+    const { functions, manifest } = await loadCampaignFunctions(configPath, read.manifest);
     const loaded = loadPolicy({
         repoRoot,
         configPath,
-        manifest: await readManifestFile(configPath),
-        languages: [typescriptLanguage()],
+        manifest,
+        locate: read.locate,
+        languages: hostLanguages(),
         fileSystem: makeFileSystemLive(repoRoot),
+        extensions: [campaignsExtension({ functions, reports: makeReportSourceLive(repoRoot) })],
+        now: hostNow(),
     });
     if (Result.isFailure(loaded))
         throw loaded.failure;
     return loaded.success;
 };
+// The same composition, for a manifest the host already holds as a value
+// rather than a file: the bootstrap `infer` resolves through, and the
+// manifest it then proves loads. Failure is returned, not thrown — the caller
+// has a sentence to put around it.
+export const loadPolicyFromManifest = (repoRoot, manifest) => loadPolicy({
+    repoRoot,
+    configPath: path.resolve(repoRoot, "architecture.yaml"),
+    manifest,
+    languages: hostLanguages(),
+    fileSystem: makeFileSystemLive(repoRoot),
+    extensions: [campaignsExtension({ reports: makeReportSourceLive(repoRoot) })],
+    now: hostNow(),
+});
 //# sourceMappingURL=config-loader.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EACL,uBAAuB,EAEvB,UAAU,EACV,kBAAkB,EAClB,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,iCAAiC;AACjC,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,EACrC,QAAgB,EAChB,cAAc,GAAW,uBAAuB,EACzB,EAAE;IACzB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,UAAU,CAAC;QACxB,QAAQ;QACR,UAAU;QACV,QAAQ,EAAE,MAAM,gBAAgB,CAAC,UAAU,CAAC;QAC5C,SAAS,EAAE,CAAC,kBAAkB,EAAE,CAAC;QACjC,UAAU,EAAE,kBAAkB,CAAC,QAAQ,CAAC;KACzC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,MAAM,MAAM,CAAC,OAAO,CAAC;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC,CAAC"}
+{"version":3,"file":"config-loader.js","sourceRoot":"","sources":["../../src/config-loader.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,EACL,kBAAkB,EAClB,qBAAqB,EACrB,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAEL,gBAAgB,EAGhB,UAAU,EACV,kBAAkB,EAElB,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAIxC,6EAA6E;AAC7E,6EAA6E;AAC7E,sEAAsE;AACtE,0BAA0B;AAC1B,MAAM,CAAC,MAAM,aAAa,GAAG,GAA4B,EAAE,CAAC;IAC1D,kBAAkB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,CAAC;CACjD,CAAC;AAEF,4EAA4E;AAC5E,0EAA0E;AAC1E,kCAAkC;AAClC,MAAM,CAAC,MAAM,OAAO,GAAG,GAAW,EAAE;IAClC,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;IAC5C,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC,GAAG,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1E,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,wBAAwB,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,6EAA6E;AAC7E,8EAA8E;AAC9E,6EAA6E;AAC7E,iCAAiC;AACjC,wEAAwE;AACxE,iDAAiD;AACjD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAgB,EAAE,cAAuB,EAAU,EAAE,CAClF,cAAc,KAAK,SAAS;IAC1B,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC;IAC5B,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;AAE7C,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,EACrC,QAAgB,EAChB,cAAuB,EACA,EAAE;IACzB,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAChD,sEAAsE;IACtE,gEAAgE;IAChE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,MAAM,qBAAqB,CAAC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,UAAU,CAAC;QACxB,QAAQ;QACR,UAAU;QACV,QAAQ;QACR,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,SAAS,EAAE,aAAa,EAAE;QAC1B,UAAU,EAAE,kBAAkB,CAAC,QAAQ,CAAC;QACxC,UAAU,EAAE,CAAC,kBAAkB,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QACxF,GAAG,EAAE,OAAO,EAAE;KACf,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC;QAAE,MAAM,MAAM,CAAC,OAAO,CAAC;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC,CAAC;AAEF,yEAAyE;AACzE,sEAAsE;AACtE,8EAA8E;AAC9E,mCAAmC;AACnC,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,QAAgB,EAChB,QAAiB,EAC4C,EAAE,CAC/D,UAAU,CAAC;IACT,QAAQ;IACR,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvD,QAAQ;IACR,SAAS,EAAE,aAAa,EAAE;IAC1B,UAAU,EAAE,kBAAkB,CAAC,QAAQ,CAAC;IACxC,UAAU,EAAE,CAAC,kBAAkB,CAAC,EAAE,OAAO,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC7E,GAAG,EAAE,OAAO,EAAE;CACf,CAAC,CAAC"}

package/build/esm/infer.js

@@ -0,0 +1,378 @@
+import { existsSync, readdirSync, statSync, writeFileSync } from "node:fs";
+import * as path from "node:path";
+import * as readline from "node:readline/promises";
+import { candidatesOf, coverageOf, cyclesIn, formatManifestYaml, fractionsOf, inferManifest, listPackageRoots, listSourceFiles, MANIFEST_FILENAMES, MANIFEST_SCHEMA_ID, } from "@goodbones/core";
+import * as Effect from "effect/Effect";
+import * as Result from "effect/Result";
+import { hostLanguages, loadPolicyFromFile, loadPolicyFromManifest } from "./config-loader.js";
+import { buildGraph } from "./graph.js";
+import { sourceFactsOf } from "./source-facts.js";
+const fail = (message) => ({ _tag: "CliFailure", message });
+export const INFER_USAGE = "infer [--depth N] [--root DIR]... [--tsconfig PATH] [--write] [--yes | --exhaustive] [--collapse]";
+export const parseInferFlags = (argv) => {
+    let depth = 2;
+    const roots = [];
+    let tsconfig = null;
+    let write = false;
+    let answers = "ask";
+    let collapse = false;
+    const args = [...argv];
+    while (args.length > 0) {
+        const arg = args.shift();
+        if (arg === undefined)
+            break;
+        const value = () => {
+            const next = args.shift();
+            return next === undefined || next.startsWith("--")
+                ? Result.fail(`${arg} needs a value`)
+                : Result.succeed(next);
+        };
+        switch (arg) {
+            case "--depth": {
+                const given = value();
+                if (Result.isFailure(given))
+                    return Result.fail(given.failure);
+                const parsed = Number(given.success);
+                if (!Number.isInteger(parsed) || parsed < 0) {
+                    return Result.fail(`--depth takes a whole number, not "${given.success}"`);
+                }
+                depth = parsed;
+                break;
+            }
+            case "--root": {
+                const given = value();
+                if (Result.isFailure(given))
+                    return Result.fail(given.failure);
+                roots.push(given.success);
+                break;
+            }
+            case "--tsconfig": {
+                const given = value();
+                if (Result.isFailure(given))
+                    return Result.fail(given.failure);
+                tsconfig = given.success;
+                break;
+            }
+            case "--write":
+                write = true;
+                break;
+            case "--yes":
+                answers = "yes";
+                break;
+            case "--exhaustive":
+                answers = "exhaustive";
+                break;
+            case "--collapse":
+                collapse = true;
+                break;
+            default:
+                if (arg.startsWith("--"))
+                    return Result.fail(`unknown flag ${arg}. Usage: ${INFER_USAGE}`);
+                roots.push(arg);
+        }
+    }
+    return Result.succeed({ depth, roots, tsconfig, write, answers, collapse });
+};
+export const terminalIo = () => ({
+    out: (text) => process.stdout.write(text),
+    err: (line) => process.stderr.write(`${line}\n`),
+    ask: async (question) => {
+        // The questions go to stderr so stdout stays the manifest.
+        const rl = readline.createInterface({ input: process.stdin, output: process.stderr });
+        try {
+            const answer = (await rl.question(`${question} [Y/n] `)).trim().toLowerCase();
+            return answer === "" || answer === "y" || answer === "yes";
+        }
+        finally {
+            rl.close();
+        }
+    },
+    interactive: process.stdin.isTTY === true,
+});
+const normalizeRoot = (root) => root.replaceAll(path.sep, "/").replace(/^\.\//, "").replace(/\/+$/, "");
+const isGlob = (key) => /[*{}|[\]]/.test(key);
+// The top-level keys of an existing manifest, as folders: aliases expanded,
+// the trailing slash dropped, and any key that is a pattern left out.
+const rootsOfManifest = (manifest) => {
+    const aliases = Object.entries(manifest.aliases ?? {}).sort(([a], [b]) => b.length - a.length);
+    const expand = (key) => {
+        for (const [alias, target] of aliases) {
+            if (key === alias)
+                return target;
+            if (key.startsWith(`${alias}/`))
+                return `${target}${key.slice(alias.length)}`;
+        }
+        return key;
+    };
+    return Object.keys(manifest.tree)
+        .filter((key) => !isGlob(key))
+        .map((key) => normalizeRoot(expand(key)))
+        .filter((key) => key !== "");
+};
+// With no manifest to read them from: `src/` when there is one, otherwise
+// every top-level folder that holds a source file.
+const rootsOfRepository = (repoRoot, languages) => {
+    if (existsSync(path.join(repoRoot, "src")))
+        return ["src"];
+    const folders = readdirSync(repoRoot).filter((entry) => {
+        if (entry.startsWith("."))
+            return false;
+        try {
+            return statSync(path.join(repoRoot, entry)).isDirectory();
+        }
+        catch {
+            return false;
+        }
+    });
+    return folders.filter((folder) => listSourceFiles(repoRoot, [folder], languages).length > 0);
+};
+// A policy that can resolve the tree and nothing else: one open root per
+// walk root, no allowlist, resolution through the tsconfig the flag names or
+// the one at the repository root.
+const bootstrapManifest = (roots, tsconfig) => ({
+    resolve: {
+        scopes: [{ files: "", language: "typescript", options: { tsconfig } }],
+        unresolved: "off",
+    },
+    tree: Object.fromEntries(roots.map((root) => [
+        `${root}/`,
+        { layout: "open", imports: { unrestricted: true }, children: {} },
+    ])),
+});
+const settingOf = async (repoRoot, configFilename, flags) => {
+    const hasManifest = configFilename !== undefined ||
+        MANIFEST_FILENAMES.some((name) => existsSync(path.resolve(repoRoot, name)));
+    if (hasManifest && flags.tsconfig === null) {
+        const policy = await loadPolicyFromFile(repoRoot, configFilename);
+        const fromManifest = rootsOfManifest(policy.config);
+        const roots = flags.roots.length > 0
+            ? flags.roots.map(normalizeRoot)
+            : fromManifest.length > 0
+                ? fromManifest
+                : rootsOfRepository(repoRoot, policy.languages);
+        return Result.succeed({
+            policy,
+            roots,
+            resolve: policy.config.resolve,
+            aliases: policy.config.aliases,
+            baseline: policy.config.baseline ?? ".architecture-baseline.json",
+        });
+    }
+    const tsconfig = flags.tsconfig ?? "tsconfig.json";
+    if (!existsSync(path.resolve(repoRoot, tsconfig))) {
+        return Result.fail(`${tsconfig} does not exist, and the TypeScript resolver needs one to turn a specifier ` +
+            `into a file. Name the right one with --tsconfig <path>.`);
+    }
+    const roots = flags.roots.length > 0
+        ? flags.roots.map(normalizeRoot)
+        : rootsOfRepository(repoRoot, hostLanguages());
+    if (roots.length === 0) {
+        return Result.fail("no source files found under any top-level folder. Name the folder to describe with --root <dir>.");
+    }
+    const loaded = loadPolicyFromManifest(repoRoot, bootstrapManifest(roots, tsconfig));
+    if (Result.isFailure(loaded))
+        return Result.fail(String(loaded.failure));
+    return Result.succeed({
+        policy: loaded.success,
+        roots,
+        resolve: { ...loaded.success.config.resolve, unresolved: "error" },
+        aliases: undefined,
+        baseline: ".architecture-baseline.json",
+    });
+};
+const describeCandidate = (candidate) => {
+    const parent = candidate.parent === "" ? "the root" : `${candidate.parent}/`;
+    const shared = [
+        ...candidate.sharedFolders.map((one) => `${one}/`),
+        ...candidate.sharedStereotypes,
+    ];
+    const key = candidate.parent === ""
+        ? `{${candidate.capture}}/`
+        : `${candidate.parent}/{${candidate.capture}}/`;
+    return (`\n${parent}: ${candidate.members.join(", ")} each have ${shared.join(", ")}.\n` +
+        `  Describe them as one node, ${key}?`);
+};
+const describeReach = (candidate) => {
+    const glob = candidate.parent === ""
+        ? `*/${candidate.crossReach ?? ""}`
+        : `${candidate.parent}/*/${candidate.crossReach ?? ""}`;
+    return (`  All ${String(candidate.crossEdges)} imports between them land on ${candidate.crossReach ?? ""}.\n` +
+        `  Restrict what one may reach in another to ${glob}?`);
+};
+const keyOf = (candidate) => `${candidate.parent}:${candidate.members.join(",")}`;
+// The questionnaire. Each round recomputes the candidates over the tree as
+// it now stands, so a group accepted at one level can reveal one above it;
+// a declined group is not asked twice.
+const decide = async (input, flags, io) => {
+    if (flags.answers === "exhaustive")
+        return [];
+    const accepted = [];
+    const declined = new Set();
+    for (;;) {
+        const next = candidatesOf(input, accepted).find((one) => !declined.has(keyOf(one)));
+        if (next === undefined)
+            break;
+        const yes = flags.answers === "yes" || (await io.ask(describeCandidate(next)));
+        if (!yes) {
+            declined.add(keyOf(next));
+            continue;
+        }
+        const tighten = next.crossReach !== null && (flags.answers === "yes" || (await io.ask(describeReach(next))));
+        accepted.push({
+            parent: next.parent,
+            members: next.members,
+            capture: next.capture,
+            crossReach: tighten ? next.crossReach : null,
+        });
+    }
+    return accepted;
+};
+const today = () => new Date().toISOString().slice(0, 10);
+const header = (date) => `# yaml-language-server: $schema=${MANIFEST_SCHEMA_ID}
+#
+# The as-built architecture of this repository, inferred on ${date} by
+# \`architecture infer\`. Every node says what its folder does today — what it
+# imports, and nothing about what it may not. Each \`allow\` entry is a fact;
+# each one you delete is a decision. \`unrestricted: true\` marks a node nobody
+# has reviewed yet, and \`limits.unrestricted\` counts how many remain: lower it
+# as you go, and the policy refuses to drift back.
+#
+# https://dataquail.github.io/goodbones/architecture-rules/getting-started/infer/
+
+`;
+export const infer = (repoRoot, argv, configFilename, io = terminalIo()) => Effect.gen(function* () {
+    const parsed = parseInferFlags(argv);
+    if (Result.isFailure(parsed))
+        return yield* Effect.fail(fail(parsed.failure));
+    const flags = parsed.success;
+    if (flags.write) {
+        const present = MANIFEST_FILENAMES.filter((name) => existsSync(path.resolve(repoRoot, name)));
+        if (present.length > 0) {
+            return yield* Effect.fail(fail(`${present.join(", ")} already exists. \`infer --write\` writes a manifest for a ` +
+                `repository that has none, and does not overwrite one; leave --write off to print it.`));
+        }
+    }
+    const setting = yield* Effect.tryPromise({
+        try: () => settingOf(repoRoot, configFilename, flags),
+        catch: (cause) => fail(String(cause)),
+    });
+    if (Result.isFailure(setting))
+        return yield* Effect.fail(fail(setting.failure));
+    const { aliases, baseline, policy, resolve, roots } = setting.success;
+    for (const root of roots) {
+        const absolute = path.resolve(repoRoot, root);
+        if (!existsSync(absolute) || !statSync(absolute).isDirectory()) {
+            return yield* Effect.fail(fail(`--root ${root} is not a folder under ${repoRoot}`));
+        }
+    }
+    const files = listSourceFiles(repoRoot, roots, policy.languages);
+    const packages = listPackageRoots(repoRoot, roots, policy.languages);
+    const parsedFacts = new Map();
+    const factsOf = (file) => {
+        const cached = parsedFacts.get(file);
+        if (cached !== undefined)
+            return cached;
+        const facts = sourceFactsOf(repoRoot, file, policy.extractor);
+        parsedFacts.set(file, facts);
+        return facts;
+    };
+    const targets = new Map();
+    const unresolved = [];
+    for (const file of files) {
+        const found = [];
+        for (const specifier of factsOf(file).specifiers) {
+            const resolved = policy.resolver.resolve(file, specifier);
+            if (Result.isFailure(resolved)) {
+                if (!policy.ignoreUnresolved.some((pattern) => pattern.test(specifier))) {
+                    unresolved.push(`${file} → ${specifier} (${resolved.failure.detail})`);
+                }
+                continue;
+            }
+            const target = resolved.success;
+            found.push(target.kind === "local"
+                ? { kind: "local", path: target.path }
+                : target.kind === "builtin"
+                    ? { kind: "builtin", path: target.path }
+                    : { kind: "external", package: target.package ?? target.path });
+        }
+        targets.set(file, found);
+    }
+    const input = {
+        files,
+        targetsOf: (file) => targets.get(file) ?? [],
+        roots,
+        packages,
+        depth: flags.depth,
+    };
+    if (flags.answers === "ask" && !io.interactive) {
+        io.err("not a terminal, so no questions: every folder gets a node of its own. " +
+            "Pass --yes to accept every generalization, or run this at a terminal.");
+    }
+    const generalized = yield* Effect.promise(() => decide(input, flags.answers === "ask" && !io.interactive ? { ...flags, answers: "exhaustive" } : flags, io));
+    const date = today();
+    const hasCycles = cyclesIn(buildGraph(files, policy.resolver, factsOf)).length > 0;
+    const inferred = inferManifest(input, {
+        generalize: generalized,
+        collapse: flags.collapse,
+        date,
+        resolve,
+        aliases,
+        baseline,
+        hasCycles,
+    });
+    // The proof: what was written loads, every probe passes, and the floors
+    // are the numbers it reaches today.
+    const loaded = loadPolicyFromManifest(repoRoot, inferred.manifest);
+    if (Result.isFailure(loaded)) {
+        return yield* Effect.fail(fail(`infer wrote a manifest that does not load — this is a bug: ${String(loaded.failure)}`));
+    }
+    const fractions = fractionsOf(coverageOf(loaded.success, files));
+    const floor = (fraction) => Math.floor(fraction * 100) / 100;
+    const coverage = {};
+    for (const family of ["imports", "structure", "members", "surface", "graph"]) {
+        if (fractions[family] > 0)
+            coverage[family] = floor(fractions[family]);
+    }
+    const manifest = {
+        ...inferred.manifest,
+        limits: { ...inferred.manifest.limits, coverage },
+    };
+    const yaml = `${header(date)}${formatManifestYaml(manifest)}`;
+    if (flags.write) {
+        yield* Effect.sync(() => {
+            writeFileSync(path.resolve(repoRoot, "architecture.yaml"), yaml);
+        });
+    }
+    else {
+        yield* Effect.sync(() => {
+            io.out(yaml);
+        });
+    }
+    yield* Effect.sync(() => {
+        const summary = `${String(files.length)} files under ${roots.join(", ")}: ${String(inferred.nodes)} nodes` +
+            (generalized.length > 0 ? `, ${String(generalized.length)} generalized` : "") +
+            (hasCycles ? "; the graph has a cycle, so no no-cycles rule was written" : "");
+        io.err(flags.write ? `wrote architecture.yaml. ${summary}.` : summary);
+        if (unresolved.length > 0) {
+            io.err("");
+            io.err(`${String(unresolved.length)} imports could not be resolved, and are in no allowlist. ` +
+                "`check` will report them until the resolver can see them or `ignoreUnresolved` names them:");
+            for (const one of unresolved)
+                io.err(`  ${one}`);
+        }
+        if (flags.write) {
+            io.err("");
+            io.err("  architecture check       # should be clean: the manifest describes today");
+            io.err("  architecture coverage    # every node is unrestricted; review them one by one");
+        }
+    });
+    return {
+        manifest,
+        yaml,
+        files: files.length,
+        nodes: inferred.nodes,
+        unresolved,
+        generalized,
+    };
+});
+//# sourceMappingURL=infer.js.map