@intentset/cli 0.1.0

package/dist/commands/review.js

@@ -0,0 +1,147 @@
+/**
+ * `intentset review` (Core §10): the local review report. Validation at the
+ * highest level the inputs allow (L2 always; L4 when run records are given
+ * or found, since L3's evidence is the only input L4 needs beyond it), the
+ * architecture summary, coverage, and the impact of the change: every file
+ * changed since the base, committed or not, mapped to the artifacts it
+ * touches, a changed record to its own artifact and a changed source file
+ * through the claiming slice to that slice's behaviors, each start's direct
+ * dependents shown apart from its candidates. Markdown by default. Read-only.
+ */
+import { impact, compareStrings } from "@intentset/core";
+import { changedFiles, chooseBase } from "../git.js";
+import { matchGlob } from "../glob.js";
+import { count, formatDiagnostic, json, snapshotLine, TOOL } from "../output.js";
+import { levelJson, levelSections } from "../reports.js";
+import { pathText, REACHABILITY_NOTE } from "./impact.js";
+/** Map changed files to impact starts. A path that is a record names its artifact; a claimed source file names the claiming slices' behaviors. */
+export function attribute(graph, changed) {
+    const byPath = new Map();
+    for (const [id, artifact] of graph.artifacts)
+        byPath.set(artifact.path, id);
+    const slices = [...graph.artifacts.values()]
+        .filter((a) => a.meta.type === "slice" && a.meta.status !== "retired" && a.meta.slice !== undefined)
+        .sort((a, b) => compareStrings(a.meta.id, b.meta.id));
+    const starts = new Map();
+    const add = (id, reason) => {
+        const set = starts.get(id) ?? new Set();
+        set.add(reason);
+        starts.set(id, set);
+    };
+    const unattributed = [];
+    for (const path of changed) {
+        const id = byPath.get(path);
+        if (id !== undefined) {
+            add(id, `${path} is its record`);
+            continue;
+        }
+        const owners = slices.filter((slice) => slice.meta.slice?.claims.some((claim) => matchGlob(claim.path, path)));
+        let attributed = false;
+        for (const slice of owners) {
+            for (const behavior of slice.meta.links.implements ?? []) {
+                if (!graph.artifacts.has(behavior))
+                    continue;
+                add(behavior, `${path} is claimed by ${slice.meta.id}, which implements it`);
+                attributed = true;
+            }
+        }
+        if (!attributed)
+            unattributed.push(path);
+    }
+    return {
+        starts: [...starts.keys()]
+            .sort(compareStrings)
+            .map((start) => ({ start, because: [...starts.get(start)].sort(compareStrings) })),
+        unattributed,
+    };
+}
+export function reviewCommand(session, options, asJson, io) {
+    const { repo, result, snapshot } = session;
+    const graph = result.graph;
+    const chosen = chooseBase(repo.root, options.base);
+    if (chosen === null) {
+        io.stderr(`intentset review: --base ${options.base} names no commit.\n`);
+        return 2;
+    }
+    const base = "unavailable" in chosen ? null : chosen;
+    const changes = { base, ...changedFiles(repo.root, base) };
+    if ("unavailable" in chosen)
+        changes.baseUnavailable = chosen.unavailable;
+    const changed = [...new Set([...changes.committed, ...changes.uncommitted])].sort(compareStrings);
+    const { starts, unattributed } = attribute(graph, changed);
+    const impacts = starts.map(({ start, because }) => {
+        const artifact = graph.artifacts.get(start);
+        const report = impact(graph, start);
+        return {
+            start,
+            type: artifact?.meta.type,
+            title: artifact?.meta.title,
+            because,
+            direct: report.direct,
+            candidates: report.candidates,
+        };
+    });
+    if (asJson) {
+        io.stdout(json({
+            tool: TOOL,
+            snapshot,
+            level: session.level,
+            levelReason: options.levelReason,
+            changes,
+            validation: {
+                summary: { artifacts: graph.artifacts.size, errors: session.errors, warnings: session.warnings },
+                diagnostics: session.diagnostics,
+            },
+            ...levelJson(session),
+            note: REACHABILITY_NOTE,
+            impact: impacts,
+            unattributed,
+        }));
+        return session.errors > 0 ? 1 : 0;
+    }
+    const baseLine = base === null
+        ? `- Base: none (${changes.baseUnavailable}); only uncommitted changes are considered`
+        : `- Base: ${base.ref}, ${base.commit}`;
+    const out = [
+        "# Review",
+        "",
+        `- ${snapshotLine(snapshot)}`,
+        baseLine,
+        `- Changed: ${count(changed.length, "file")} (${changes.committed.length} committed since the base, ${changes.uncommitted.length} uncommitted)`,
+        `- Level: ${session.level}, ${options.levelReason}`,
+        "",
+        "## Validation",
+        "",
+        `${count(graph.artifacts.size, "artifact")}, ${count(session.errors, "error")}, ${count(session.warnings, "warning")} (level ${session.level}, scope: ${repo.config.scope.join(", ")})`,
+    ];
+    if (session.diagnostics.length > 0) {
+        out.push("", "```text", ...session.diagnostics.map((d) => formatDiagnostic(d).trimEnd()), "```");
+    }
+    const sections = levelSections(session);
+    if (sections.length > 0)
+        out.push("", "## Checks above L1", "", "```text", ...sections.slice(1), "```");
+    out.push("", "## Impact of the change", "", REACHABILITY_NOTE);
+    if (impacts.length === 0)
+        out.push("", "No changed file is a record or is claimed by a slice, so nothing was traversed.");
+    for (const item of impacts) {
+        out.push("", `### ${item.start}: ${item.title}`, "", ...item.because.map((reason) => `- Changed: ${reason}`), "");
+        out.push(`Direct (${item.direct.length}), one link away:`);
+        if (item.direct.length === 0)
+            out.push("- none");
+        for (const hit of item.direct)
+            out.push(`- ${hit.id} (${hit.type}): \`${pathText(item.start, hit)}\``);
+        out.push("", `Candidates (${item.candidates.length}), reachable beyond, for review:`);
+        if (item.candidates.length === 0)
+            out.push("- none");
+        for (const hit of item.candidates)
+            out.push(`- ${hit.id} (${hit.type}): \`${pathText(item.start, hit)}\``);
+    }
+    out.push("", `## Changed files no artifact accounts for (${unattributed.length})`, "");
+    if (unattributed.length === 0)
+        out.push("None.");
+    else
+        out.push(...unattributed.map((path) => `- ${path}`));
+    io.stdout(`${out.join("\n")}\n`);
+    return session.errors > 0 ? 1 : 0;
+}
+//# sourceMappingURL=review.js.map

package/dist/commands/review.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/commands/review.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAc,MAAM,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAgB,YAAY,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAW,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAC1F,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAEzD,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAS1D,kJAAkJ;AAClJ,MAAM,UAAU,SAAS,CAAC,KAAY,EAAE,OAA0B;IAChE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,KAAK,CAAC,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5E,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;SACzC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC;SACnG,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,MAAc,EAAE,EAAE;QACzC,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAChD,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACtB,CAAC,CAAC;IACF,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;YACjC,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/G,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzD,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBAC7C,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,kBAAkB,KAAK,CAAC,IAAI,CAAC,EAAE,uBAAuB,CAAC,CAAC;gBAC7E,UAAU,GAAG,IAAI,CAAC;YACpB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,UAAU;YAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO;QACL,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;aACvB,IAAI,CAAC,cAAc,CAAC;aACpB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,GAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAiB,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;QACrG,YAAY;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,OAAgB,EAChB,OAA+C,EAC/C,MAAe,EACf,EAAM;IAEN,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,EAAE,CAAC,MAAM,CAAC,4BAA4B,OAAO,CAAC,IAAI,qBAAqB,CAAC,CAAC;QACzE,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,GAAG,aAAa,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;IACpE,IAAI,aAAa,IAAI,MAAM;QAAE,OAAO,CAAC,eAAe,GAAG,MAAM,CAAC,WAAW,CAAC;IAC1E,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAClG,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE;QAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACpC,OAAO;YACL,KAAK;YACL,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI;YACzB,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK;YAC3B,OAAO;YACP,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAI,MAAM,EAAE,CAAC;QACX,EAAE,CAAC,MAAM,CACP,IAAI,CAAC;YACH,IAAI,EAAE,IAAI;YACV,QAAQ;YACR,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,OAAO;YACP,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE;gBAChG,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC;YACD,GAAG,SAAS,CAAC,OAAO,CAAC;YACrB,IAAI,EAAE,iBAAiB;YACvB,MAAM,EAAE,OAAO;YACf,YAAY;SACb,CAAC,CACH,CAAC;QACF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC;IAED,MAAM,QAAQ,GACZ,IAAI,KAAK,IAAI;QACX,CAAC,CAAC,iBAAiB,OAAO,CAAC,eAAe,4CAA4C;QACtF,CAAC,CAAC,WAAW,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5C,MAAM,GAAG,GAAG;QACV,UAAU;QACV,EAAE;QACF,KAAK,YAAY,CAAC,QAAQ,CAAC,EAAE;QAC7B,QAAQ;QACR,cAAc,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC,SAAS,CAAC,MAAM,8BAA8B,OAAO,CAAC,WAAW,CAAC,MAAM,eAAe;QAC/I,YAAY,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,WAAW,EAAE;QACnD,EAAE;QACF,eAAe;QACf,EAAE;QACF,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,WAAW,OAAO,CAAC,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;KACxL,CAAC;IACF,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACnG,CAAC;IACD,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACxC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,oBAAoB,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxG,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,yBAAyB,EAAE,EAAE,EAAE,iBAAiB,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QACtB,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,iFAAiF,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAClH,GAAG,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,MAAM,CAAC,MAAM,mBAAmB,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,QAAQ,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACvG,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,eAAe,IAAI,CAAC,UAAU,CAAC,MAAM,kCAAkC,CAAC,CAAC;QACtF,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,QAAQ,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7G,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,8CAA8C,YAAY,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC,CAAC;IACvF,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;QAC5C,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1D,EAAE,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/commands/serve.d.ts

@@ -0,0 +1,14 @@
+import { type Io } from "../output.ts";
+import { type Session, type SessionOptions } from "../session.ts";
+export declare const NOT_FOR_PUBLICATION = "The Atlas shows internal and restricted records: it is a review surface and is not for publication.";
+export interface ServeOptions {
+    port: number;
+    host: string;
+    out?: string;
+}
+/** The Atlas built from a session. */
+export declare function atlasOf(session: Session): Map<string, string>;
+/** The atlas path a request names, or null when it names none. Nothing here touches the file system. */
+export declare function requestPath(url: string | undefined): string | null;
+export declare function serveCommand(options: ServeOptions, sessionOptions: SessionOptions, io: Io): Promise<number>;
+//# sourceMappingURL=serve.d.ts.map

package/dist/commands/serve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"serve.d.ts","sourceRoot":"","sources":["../../src/commands/serve.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAS,KAAK,EAAE,EAAgB,MAAM,cAAc,CAAC;AAG5D,OAAO,EAA4C,KAAK,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,eAAe,CAAC;AAG5G,eAAO,MAAM,mBAAmB,wGACuE,CAAC;AAExG,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAOD,sCAAsC;AACtC,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAuB7D;AA2CD,wGAAwG;AACxG,wBAAgB,WAAW,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,IAAI,CASlE;AAED,wBAAsB,YAAY,CAAC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAsGjH"}

package/dist/commands/serve.js

@@ -0,0 +1,246 @@
+/**
+ * `intentset serve` (Core §10): the Atlas over HTTP on this machine. The
+ * level pipeline runs as validate's does, at the highest level the inputs
+ * allow, and the Atlas is built from what it found. Requests are answered
+ * from that in-memory build and nothing else: GET only, the Atlas's own
+ * paths and atlas.css, 404 for any other path, so there is no file system
+ * behind the server to traverse. Before answering, any file the build read
+ * that has changed since is noticed and the Atlas rebuilt, so an edited
+ * record shows on reload.
+ *
+ * `--out <dir>` writes the same files to a new or empty directory outside
+ * the documents' scope and exits. The Atlas carries internal and restricted
+ * records, and says so: it is a review surface, never a publication.
+ */
+import { mkdirSync, readdirSync, statSync, writeFileSync } from "node:fs";
+import { createServer } from "node:http";
+import { dirname, join, resolve } from "node:path";
+import { ARCHITECTURE_CONFIG_PATH } from "@intentset/architecture";
+import { buildAtlas } from "@intentset/atlas";
+import { count, snapshotLine } from "../output.js";
+import { outputDirProblem, outputProblem } from "../outputs.js";
+import { CONFIG_PATH } from "../repository.js";
+import { EVIDENCE_DIR, evidenceFiles, openSession } from "../session.js";
+import { TEXT_EXTENSIONS } from "../tree.js";
+export const NOT_FOR_PUBLICATION = "The Atlas shows internal and restricted records: it is a review surface and is not for publication.";
+const TYPES = {
+    ".html": "text/html; charset=utf-8",
+    ".css": "text/css; charset=utf-8",
+};
+/** The Atlas built from a session. */
+export function atlasOf(session) {
+    return buildAtlas({
+        graph: session.result.graph,
+        registries: session.repo.registries,
+        diagnostics: session.diagnostics,
+        snapshot: {
+            commit: session.snapshot.commit,
+            graphHash: session.snapshot.graphHash,
+            scope: session.repo.config.scope,
+            level: session.level,
+        },
+        evidence: session.evidence === undefined
+            ? null
+            : { classification: session.evidence.check.classification, coverage: session.evidence.check.coverage },
+        architecture: session.architecture === undefined
+            ? null
+            : {
+                diagnostics: session.architecture.diagnostics,
+                summary: session.architecture.summary,
+            },
+    });
+}
+/**
+ * Every file a build read as text, and the directories holding them, absolute:
+ * a newer modification time on any of them means rebuild. A directory's time
+ * changes when a file is added to it or removed, which is how a new record is
+ * noticed.
+ */
+function watched(session, evidence) {
+    const { repo } = session;
+    const files = new Set([
+        join(repo.root, CONFIG_PATH),
+        join(repo.root, ARCHITECTURE_CONFIG_PATH),
+        join(repo.root, EVIDENCE_DIR),
+        ...evidence,
+        ...repo.inputs.map((input) => join(repo.root, input.path)),
+        // Only what a check reads as text: a log or an image beside the sources cannot change the Atlas.
+        ...[...(session.tree?.paths ?? [])]
+            .filter((path) => TEXT_EXTENSIONS.some((extension) => path.endsWith(extension)))
+            .map((path) => join(repo.root, path)),
+    ]);
+    if (repo.config.registries !== null)
+        files.add(join(repo.root, repo.config.registries));
+    // A file added to or removed from a directory changes the directory's time.
+    for (const file of [...files]) {
+        for (let dir = dirname(file); dir.startsWith(repo.root); dir = dirname(dir)) {
+            files.add(dir);
+            if (dir === repo.root)
+                break;
+        }
+    }
+    return [...files];
+}
+function changedSince(paths, since) {
+    for (const path of paths) {
+        try {
+            if (statSync(path).mtimeMs > since)
+                return path;
+        }
+        catch {
+            // Absent now: a file the build read was removed, or an optional file never existed.
+        }
+    }
+    return null;
+}
+/** The atlas path a request names, or null when it names none. Nothing here touches the file system. */
+export function requestPath(url) {
+    let pathname;
+    try {
+        pathname = decodeURIComponent(new URL(url ?? "/", "http://localhost").pathname);
+    }
+    catch {
+        return null;
+    }
+    const path = pathname.replace(/^\/+/, "");
+    return path === "" || path.endsWith("/") ? `${path}index.html` : path;
+}
+export async function serveCommand(options, sessionOptions, io) {
+    const given = sessionOptions.evidence;
+    let builtAt = Date.now();
+    const first = openSession("serve", sessionOptions, io);
+    if (typeof first === "number")
+        return first;
+    let session = first;
+    let atlas;
+    try {
+        atlas = atlasOf(session);
+    }
+    catch (error) {
+        io.stderr(`intentset serve: the Atlas could not be built: ${error.message}\n`);
+        return 2;
+    }
+    const evidence = () => evidenceFiles(session.repo.root, io.cwd, given);
+    let paths = watched(session, evidence());
+    const levelLine = `${count(session.result.graph.artifacts.size, "artifact")}, ${count(session.errors, "error")}, ${count(session.warnings, "warning")} at ${session.level}${session.evidence === undefined
+        ? `; no run records were given or found in ${EVIDENCE_DIR}/, so L3 was not checked`
+        : ""}`;
+    if (options.out !== undefined)
+        return writeAtlas(session, atlas, options.out, levelLine, io);
+    /** Rebuild when a file the last build read has changed; keep serving the last good build if a rebuild fails. */
+    const refresh = () => {
+        const changed = changedSince(paths, builtAt);
+        if (changed === null)
+            return null;
+        const started = Date.now();
+        const next = openSession("serve", sessionOptions, io);
+        if (typeof next === "number")
+            return "the repository could not be read; the terminal says why";
+        try {
+            atlas = atlasOf(next);
+        }
+        catch (error) {
+            return `the Atlas could not be built: ${error.message}`;
+        }
+        session = next;
+        builtAt = started;
+        paths = watched(session, evidence());
+        io.stdout(`rebuilt: ${changed.slice(session.repo.root.length + 1) || "."} changed. ${snapshotLine(session.snapshot)}\n`);
+        return null;
+    };
+    const handle = (request, response) => {
+        const headers = {
+            "Cache-Control": "no-store",
+            "X-Content-Type-Options": "nosniff",
+            "Content-Security-Policy": "default-src 'none'; style-src 'self' 'unsafe-inline'; img-src 'self' data:; base-uri 'none'; form-action 'none'",
+        };
+        if (request.method !== "GET") {
+            response.writeHead(405, { ...headers, Allow: "GET", "Content-Type": "text/plain; charset=utf-8" });
+            response.end("Only GET is served.\n");
+            return;
+        }
+        const failure = refresh();
+        if (failure !== null) {
+            response.writeHead(500, { ...headers, "Content-Type": "text/plain; charset=utf-8" });
+            response.end(`The Atlas was not rebuilt: ${failure}.\n`);
+            return;
+        }
+        const path = requestPath(request.url);
+        const body = path === null ? undefined : atlas.get(path);
+        if (path === null || body === undefined) {
+            response.writeHead(404, { ...headers, "Content-Type": "text/plain; charset=utf-8" });
+            response.end("Not an Atlas page.\n");
+            return;
+        }
+        const type = TYPES[path.slice(path.lastIndexOf("."))] ?? "application/octet-stream";
+        response.writeHead(200, { ...headers, "Content-Type": type });
+        response.end(body);
+    };
+    const server = createServer(handle);
+    return new Promise((done) => {
+        server.once("error", (error) => {
+            io.stderr(`intentset serve: could not listen on ${options.host}:${options.port}: ${error.message}\n`);
+            done(2);
+        });
+        server.listen(options.port, options.host, () => {
+            const address = server.address();
+            const port = typeof address === "object" && address !== null ? address.port : options.port;
+            const host = options.host.includes(":") ? `[${options.host}]` : options.host;
+            io.stdout([
+                `Intentset Atlas for ${session.repo.config.repository} at http://${host}:${port}/`,
+                snapshotLine(session.snapshot),
+                levelLine,
+                NOT_FOR_PUBLICATION,
+                "Pages are rebuilt when a file they were built from changes: edit a record and reload. Interrupt to stop.",
+                "",
+            ].join("\n"));
+            const stop = () => {
+                server.close(() => done(0));
+                server.closeIdleConnections();
+            };
+            if (io.signal?.aborted)
+                stop();
+            else
+                io.signal?.addEventListener("abort", stop, { once: true });
+        });
+    });
+}
+function writeAtlas(session, atlas, out, levelLine, io) {
+    const dir = resolve(io.cwd, out);
+    let entries = [];
+    try {
+        entries = readdirSync(dir);
+    }
+    catch {
+        // Absent: it will be created.
+    }
+    if (entries.length > 0) {
+        io.stderr(`intentset serve: --out ${out} is not empty; write the Atlas into a new or empty directory.\n`);
+        return 2;
+    }
+    const where = outputDirProblem(session.repo, dir);
+    if (where !== null) {
+        io.stderr(`intentset serve: --out ${out} ${where}.\n`);
+        return 2;
+    }
+    for (const path of atlas.keys()) {
+        const problem = outputProblem(session.repo, join(dir, path));
+        if (problem !== null) {
+            io.stderr(`intentset serve: --out ${out}: ${path} ${problem}; nothing was written.\n`);
+            return 2;
+        }
+    }
+    for (const [path, text] of atlas) {
+        mkdirSync(dirname(join(dir, path)), { recursive: true });
+        writeFileSync(join(dir, path), text, { flag: "wx" });
+    }
+    io.stdout([
+        `Wrote the Atlas, ${count(atlas.size, "file")}, to ${out}`,
+        snapshotLine(session.snapshot),
+        levelLine,
+        NOT_FOR_PUBLICATION,
+        "",
+    ].join("\n"));
+    return session.errors > 0 ? 1 : 0;
+}
+//# sourceMappingURL=serve.js.map

package/dist/commands/serve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serve.js","sourceRoot":"","sources":["../../src/commands/serve.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,YAAY,EAA6C,MAAM,WAAW,CAAC;AACpF,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAW,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAAqC,MAAM,eAAe,CAAC;AAC5G,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C,MAAM,CAAC,MAAM,mBAAmB,GAC9B,qGAAqG,CAAC;AAQxG,MAAM,KAAK,GAA2B;IACpC,OAAO,EAAE,0BAA0B;IACnC,MAAM,EAAE,yBAAyB;CAClC,CAAC;AAEF,sCAAsC;AACtC,MAAM,UAAU,OAAO,CAAC,OAAgB;IACtC,OAAO,UAAU,CAAC;QAChB,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK;QAC3B,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU;QACnC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,QAAQ,EAAE;YACR,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM;YAC/B,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,SAAS;YACrC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK;YAChC,KAAK,EAAE,OAAO,CAAC,KAAK;SACrB;QACD,QAAQ,EACN,OAAO,CAAC,QAAQ,KAAK,SAAS;YAC5B,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,EAAE;QAC1G,YAAY,EACV,OAAO,CAAC,YAAY,KAAK,SAAS;YAChC,CAAC,CAAC,IAAI;YACN,CAAC,CAAC;gBACE,WAAW,EAAE,OAAO,CAAC,YAAY,CAAC,WAAW;gBAC7C,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,OAA6C;aAC5E;KACR,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,SAAS,OAAO,CAAC,OAAgB,EAAE,QAA2B;IAC5D,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC;IACzB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,CAAC;QAC5B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,wBAAwB,CAAC;QACzC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,CAAC;QAC7B,GAAG,QAAQ;QACX,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1D,iGAAiG;QACjG,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;aAChC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;aAC/E,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;KACxC,CAAC,CAAC;IACH,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI;QAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACxF,4EAA4E;IAC5E,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,IAAI,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5E,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACf,IAAI,GAAG,KAAK,IAAI,CAAC,IAAI;gBAAE,MAAM;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,YAAY,CAAC,KAAwB,EAAE,KAAa;IAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC;YACH,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,GAAG,KAAK;gBAAE,OAAO,IAAI,CAAC;QAClD,CAAC;QAAC,MAAM,CAAC;YACP,oFAAoF;QACtF,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,WAAW,CAAC,GAAuB;IACjD,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,kBAAkB,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC1C,OAAO,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAqB,EAAE,cAA8B,EAAE,EAAM;IAC9F,MAAM,KAAK,GAAG,cAAc,CAAC,QAAQ,CAAC;IACtC,IAAI,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5C,IAAI,OAAO,GAAY,KAAK,CAAC;IAC7B,IAAI,KAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,EAAE,CAAC,MAAM,CAAC,kDAAmD,KAAe,CAAC,OAAO,IAAI,CAAC,CAAC;QAC1F,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACvE,IAAI,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;IACzC,MAAM,SAAS,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,OAAO,CAAC,KAAK,GACvK,OAAO,CAAC,QAAQ,KAAK,SAAS;QAC5B,CAAC,CAAC,2CAA2C,YAAY,0BAA0B;QACnF,CAAC,CAAC,EACN,EAAE,CAAC;IAEH,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IAE7F,gHAAgH;IAChH,MAAM,OAAO,GAAG,GAAkB,EAAE;QAClC,MAAM,OAAO,GAAG,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC7C,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAClC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;QACtD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,yDAAyD,CAAC;QAC/F,IAAI,CAAC;YACH,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QACxB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,iCAAkC,KAAe,CAAC,OAAO,EAAE,CAAC;QACrE,CAAC;QACD,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,GAAG,OAAO,CAAC;QAClB,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACrC,EAAE,CAAC,MAAM,CACP,YAAY,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,GAAG,aAAa,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAC9G,CAAC;QACF,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,OAAwB,EAAE,QAAwB,EAAE,EAAE;QACpE,MAAM,OAAO,GAAG;YACd,eAAe,EAAE,UAAU;YAC3B,wBAAwB,EAAE,SAAS;YACnC,yBAAyB,EACvB,iHAAiH;SACpH,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC7B,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACnG,QAAQ,CAAC,GAAG,CAAC,uBAAuB,CAAC,CAAC;YACtC,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,EAAE,CAAC;QAC1B,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACrF,QAAQ,CAAC,GAAG,CAAC,8BAA8B,OAAO,KAAK,CAAC,CAAC;YACzD,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACxC,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,2BAA2B,EAAE,CAAC,CAAC;YACrF,QAAQ,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;YACrC,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,0BAA0B,CAAC;QACpF,QAAQ,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,IAAI,OAAO,CAAS,CAAC,IAAI,EAAE,EAAE;QAClC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;YAC7B,EAAE,CAAC,MAAM,CAAC,wCAAwC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;YACtG,IAAI,CAAC,CAAC,CAAC,CAAC;QACV,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE;YAC7C,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;YAC3F,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;YAC7E,EAAE,CAAC,MAAM,CACP;gBACE,uBAAuB,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,cAAc,IAAI,IAAI,IAAI,GAAG;gBAClF,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAC9B,SAAS;gBACT,mBAAmB;gBACnB,0GAA0G;gBAC1G,EAAE;aACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;YACF,MAAM,IAAI,GAAG,GAAG,EAAE;gBAChB,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM,CAAC,oBAAoB,EAAE,CAAC;YAChC,CAAC,CAAC;YACF,IAAI,EAAE,CAAC,MAAM,EAAE,OAAO;gBAAE,IAAI,EAAE,CAAC;;gBAC1B,EAAE,CAAC,MAAM,EAAE,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,OAAgB,EAAE,KAA0B,EAAE,GAAW,EAAE,SAAiB,EAAE,EAAM;IACtG,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACjC,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IAAC,MAAM,CAAC;QACP,8BAA8B;IAChC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,EAAE,CAAC,MAAM,CAAC,0BAA0B,GAAG,iEAAiE,CAAC,CAAC;QAC1G,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,EAAE,CAAC,MAAM,CAAC,0BAA0B,GAAG,IAAI,KAAK,KAAK,CAAC,CAAC;QACvD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,EAAE,CAAC,MAAM,CAAC,0BAA0B,GAAG,KAAK,IAAI,IAAI,OAAO,0BAA0B,CAAC,CAAC;YACvF,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,EAAE,CAAC,MAAM,CACP;QACE,oBAAoB,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,GAAG,EAAE;QAC1D,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC;QAC9B,SAAS;QACT,mBAAmB;QACnB,EAAE;KACH,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/commands/shared.d.ts

@@ -0,0 +1,19 @@
+/**
+ * What impact and context say before their answer: which snapshot, whether
+ * the graph validated, and the CORE003-style refusal for an ID the graph does
+ * not hold.
+ */
+import { type Diagnostic } from "@intentset/core";
+import type { Session } from "../session.ts";
+/** The validation state a query ran over, so a reader knows whether the graph was whole. */
+export declare function validationSummary(session: Session, level: string): {
+    level: string;
+    status: "fail" | "pass";
+    artifacts: number;
+    errors: number;
+    warnings: number;
+};
+export declare function validationLine(session: Session, level: string): string;
+/** Core §5 and §11: an ID that resolves to nothing, reported as CORE003 would report an unresolved link. */
+export declare function unresolved(id: string, session: Session): Diagnostic;
+//# sourceMappingURL=shared.d.ts.map

package/dist/commands/shared.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../../src/commands/shared.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,KAAK,UAAU,EAAc,MAAM,iBAAiB,CAAC;AAE9D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,4FAA4F;AAC5F,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM;;;;;;EAQhE;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAMtE;AAED,4GAA4G;AAC5G,wBAAgB,UAAU,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,UAAU,CAgBnE"}

package/dist/commands/shared.js

@@ -0,0 +1,43 @@
+/**
+ * What impact and context say before their answer: which snapshot, whether
+ * the graph validated, and the CORE003-style refusal for an ID the graph does
+ * not hold.
+ */
+import { ID_PATTERN } from "@intentset/core";
+import { count } from "../output.js";
+/** The validation state a query ran over, so a reader knows whether the graph was whole. */
+export function validationSummary(session, level) {
+    return {
+        level,
+        status: session.result.ok ? "pass" : "fail",
+        artifacts: session.result.graph.artifacts.size,
+        errors: session.errors,
+        warnings: session.warnings,
+    };
+}
+export function validationLine(session, level) {
+    const v = validationSummary(session, level);
+    const line = `Validation: ${v.status} at ${level}, ${count(v.artifacts, "artifact")}, ${count(v.errors, "error")}, ${count(v.warnings, "warning")}`;
+    return v.status === "pass"
+        ? line
+        : `${line}. The graph may be incomplete; run \`intentset validate\` and fix the errors first.`;
+}
+/** Core §5 and §11: an ID that resolves to nothing, reported as CORE003 would report an unresolved link. */
+export function unresolved(id, session) {
+    const scope = session.repo.config.scope.join(", ");
+    const malformed = !ID_PATTERN.test(id);
+    return {
+        code: "CORE003",
+        severity: "error",
+        origin: "graph",
+        artifact: null,
+        path: null,
+        message: malformed
+            ? `${id} is not an artifact ID; IDs are upper case, such as BEH-ASMT-SCHEDULE (Core §4).`
+            : `${id} does not resolve to an artifact in this graph (${count(session.result.graph.artifacts.size, "artifact")}, scope: ${scope}).`,
+        remediation: malformed
+            ? "Give the ID as written in the record's frontmatter; IDs are case-sensitive."
+            : "Check the spelling and case, and that the record's file is inside the configured scope.",
+    };
+}
+//# sourceMappingURL=shared.js.map

package/dist/commands/shared.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shared.js","sourceRoot":"","sources":["../../src/commands/shared.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAmB,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAGrC,4FAA4F;AAC5F,MAAM,UAAU,iBAAiB,CAAC,OAAgB,EAAE,KAAa;IAC/D,OAAO;QACL,KAAK;QACL,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAE,MAAgB,CAAC,CAAC,CAAE,MAAgB;QACjE,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI;QAC9C,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,OAAgB,EAAE,KAAa;IAC5D,MAAM,CAAC,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,MAAM,OAAO,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;IACpJ,OAAO,CAAC,CAAC,MAAM,KAAK,MAAM;QACxB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,GAAG,IAAI,qFAAqF,CAAC;AACnG,CAAC;AAED,4GAA4G;AAC5G,MAAM,UAAU,UAAU,CAAC,EAAU,EAAE,OAAgB;IACrD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,MAAM,SAAS,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,SAAS;QACf,QAAQ,EAAE,OAAO;QACjB,MAAM,EAAE,OAAO;QACf,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,SAAS;YAChB,CAAC,CAAC,GAAG,EAAE,kFAAkF;YACzF,CAAC,CAAC,GAAG,EAAE,mDAAmD,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,YAAY,KAAK,IAAI;QACvI,WAAW,EAAE,SAAS;YACpB,CAAC,CAAC,6EAA6E;YAC/E,CAAC,CAAC,yFAAyF;KAC9F,CAAC;AACJ,CAAC"}

package/dist/commands/validate.d.ts

@@ -0,0 +1,11 @@
+/**
+ * `intentset validate` (Core §11): the documents in scope through every check
+ * the requested level asks for. Diagnostics in `compareDiagnostics` order,
+ * then a summary naming the denominator, the level and the scope, then what
+ * each level above L1 adds: the architecture summary, coverage, publication
+ * readiness. Warnings never fail; errors exit 1. Never writes.
+ */
+import { type Io } from "../output.ts";
+import type { Session } from "../session.ts";
+export declare function validateCommand(session: Session, asJson: boolean, io: Io): number;
+//# sourceMappingURL=validate.d.ts.map

package/dist/commands/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAA2B,KAAK,EAAE,EAAc,MAAM,cAAc,CAAC;AAE5E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,CA2BjF"}

package/dist/commands/validate.js

@@ -0,0 +1,38 @@
+/**
+ * `intentset validate` (Core §11): the documents in scope through every check
+ * the requested level asks for. Diagnostics in `compareDiagnostics` order,
+ * then a summary naming the denominator, the level and the scope, then what
+ * each level above L1 adds: the architecture summary, coverage, publication
+ * readiness. Warnings never fail; errors exit 1. Never writes.
+ */
+import { count, formatDiagnostic, json, TOOL } from "../output.js";
+import { levelJson, levelSections } from "../reports.js";
+export function validateCommand(session, asJson, io) {
+    const { repo, diagnostics, errors, warnings, snapshot, level } = session;
+    const artifacts = session.result.graph.artifacts.size;
+    if (asJson) {
+        io.stdout(json({
+            tool: TOOL,
+            level,
+            scope: repo.config.scope,
+            commit: snapshot.commit,
+            ...(snapshot.commitUnavailable === undefined ? {} : { commitUnavailable: snapshot.commitUnavailable }),
+            graphHash: snapshot.graphHash,
+            summary: { documents: repo.inputs.length, artifacts, errors, warnings },
+            diagnostics,
+            ...levelJson(session),
+        }));
+    }
+    else {
+        for (const d of diagnostics)
+            io.stdout(formatDiagnostic(d));
+        const lines = [
+            `${count(artifacts, "artifact")}, ${count(errors, "error")}, ${count(warnings, "warning")} ` +
+                `(level ${level}, scope: ${repo.config.scope.join(", ")})`,
+            ...levelSections(session),
+        ];
+        io.stdout(`${lines.join("\n")}\n`);
+    }
+    return errors > 0 ? 1 : 0;
+}
+//# sourceMappingURL=validate.js.map

package/dist/commands/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAW,IAAI,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAGzD,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,MAAe,EAAE,EAAM;IACvE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IACzE,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC;IACtD,IAAI,MAAM,EAAE,CAAC;QACX,EAAE,CAAC,MAAM,CACP,IAAI,CAAC;YACH,IAAI,EAAE,IAAI;YACV,KAAK;YACL,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;YACxB,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,GAAG,CAAC,QAAQ,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB,EAAE,CAAC;YACtG,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE;YACvE,WAAW;YACX,GAAG,SAAS,CAAC,OAAO,CAAC;SACtB,CAAC,CACH,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,WAAW;YAAE,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG;YACZ,GAAG,KAAK,CAAC,SAAS,EAAE,UAAU,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG;gBAC1F,UAAU,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC5D,GAAG,aAAa,CAAC,OAAO,CAAC;SAC1B,CAAC;QACF,EAAE,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5B,CAAC"}

package/dist/git.d.ts

@@ -0,0 +1,25 @@
+export interface Base {
+    /** How the base was chosen, for the report: the ref given, "merge-base with main", or "HEAD~1". */
+    ref: string;
+    commit: string;
+}
+export interface Changes {
+    base: Base | null;
+    /** Why there is no base, when there is none. */
+    baseUnavailable?: string;
+    /** Changed between the base and HEAD, sorted. */
+    committed: string[];
+    /** Changed in the working tree or index against HEAD, and untracked files .gitignore does not exclude, sorted. */
+    uncommitted: string[];
+}
+/** The commit a ref names, or null. */
+export declare function resolveCommit(root: string, ref: string): string | null;
+/**
+ * The base: `given` when there is one (null when it names no commit), else
+ * the merge-base with main when that is not HEAD itself, else HEAD~1.
+ */
+export declare function chooseBase(root: string, given: string | undefined): Base | null | {
+    unavailable: string;
+};
+export declare function changedFiles(root: string, base: Base | null): Omit<Changes, "base" | "baseUnavailable">;
+//# sourceMappingURL=git.d.ts.map

package/dist/git.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"git.d.ts","sourceRoot":"","sources":["../src/git.ts"],"names":[],"mappings":"AA2BA,MAAM,WAAW,IAAI;IACnB,mGAAmG;IACnG,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IAClB,gDAAgD;IAChD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,iDAAiD;IACjD,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,kHAAkH;IAClH,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,uCAAuC;AACvC,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGtE;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,IAAI,GAAG;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,CAczG;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,iBAAiB,CAAC,CAWvG"}