@intentset/cli 0.1.0

package/dist/commands/architecture.d.ts

@@ -0,0 +1,6 @@
+import { type Io } from "../output.ts";
+import type { Session } from "../session.ts";
+export declare function architectureCommand(session: Session, options: {
+    writeBaseline?: string;
+}, asJson: boolean, io: Io): number;
+//# sourceMappingURL=architecture.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"architecture.d.ts","sourceRoot":"","sources":["../../src/commands/architecture.ts"],"names":[],"mappings":"AAWA,OAAO,EAA2B,KAAK,EAAE,EAAc,MAAM,cAAc,CAAC;AAG5E,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE;IAAE,aAAa,CAAC,EAAE,MAAM,CAAA;CAAE,EACnC,MAAM,EAAE,OAAO,EACf,EAAE,EAAE,EAAE,GACL,MAAM,CAuDR"}

package/dist/commands/architecture.js

@@ -0,0 +1,65 @@
+/**
+ * `intentset architecture check` (VSA §2, the profile's boundaries): claims,
+ * ownership, the import graph, layers, regions, resources, exceptions and,
+ * in migration mode, the baseline, over every file the configuration does
+ * not ignore. Diagnostics like validate's, then the summary with what was not
+ * checked and what is left to review. `--write-baseline` writes the one file
+ * it names. Nothing else is written.
+ */
+import { writeFileSync } from "node:fs";
+import { resolve } from "node:path";
+import { writeBaseline } from "@intentset/architecture";
+import { count, formatDiagnostic, json, TOOL } from "../output.js";
+import { outputProblem } from "../outputs.js";
+import { architectureLines } from "../reports.js";
+export function architectureCommand(session, options, asJson, io) {
+    const architecture = session.architecture;
+    if (architecture === undefined)
+        throw new Error("architecture check opened a session below L2");
+    const diagnostics = architecture.diagnostics;
+    const errors = diagnostics.filter((d) => d.severity === "error").length;
+    const warnings = diagnostics.length - errors;
+    const outside = session.errors - errors;
+    if (options.writeBaseline !== undefined) {
+        const target = resolve(io.cwd, options.writeBaseline);
+        const problem = outputProblem(session.repo, target);
+        if (problem !== null) {
+            io.stderr(`intentset architecture check: --write-baseline ${options.writeBaseline} ${problem}; not written.\n`);
+            return 2;
+        }
+        const entries = writeBaseline(diagnostics);
+        try {
+            writeFileSync(target, `${JSON.stringify(entries, null, 2)}\n`);
+        }
+        catch (error) {
+            io.stderr(`intentset architecture check: could not write ${options.writeBaseline}: ${error.message}\n`);
+            return 2;
+        }
+        io.stderr(`intentset architecture check: wrote ${count(entries.length, "baseline entry", "baseline entries")} to ${options.writeBaseline}\n`);
+    }
+    if (asJson) {
+        io.stdout(json({
+            tool: TOOL,
+            level: session.level,
+            snapshot: session.snapshot,
+            summary: architecture.summary,
+            skipped: session.tree?.skipped ?? [],
+            errors,
+            warnings,
+            diagnostics,
+            validation: { errorsOutsideArchitecture: outside },
+        }));
+    }
+    else {
+        for (const d of diagnostics)
+            io.stdout(formatDiagnostic(d));
+        const lines = [`${count(errors, "error")}, ${count(warnings, "warning")} from the architecture check`];
+        if (outside > 0) {
+            lines.push(`Validation has ${count(outside, "other error")}, so the graph this checked may be incomplete; run \`intentset validate --level ${session.level}\`.`);
+        }
+        lines.push(...architectureLines(architecture, session.tree?.skipped ?? []));
+        io.stdout(`${lines.join("\n")}\n`);
+    }
+    return session.errors > 0 ? 1 : 0;
+}
+//# sourceMappingURL=architecture.js.map

package/dist/commands/architecture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"architecture.js","sourceRoot":"","sources":["../../src/commands/architecture.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAW,IAAI,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAC5E,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGlD,MAAM,UAAU,mBAAmB,CACjC,OAAgB,EAChB,OAAmC,EACnC,MAAe,EACf,EAAM;IAEN,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,IAAI,YAAY,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAChG,MAAM,WAAW,GAAG,YAAY,CAAC,WAAW,CAAC;IAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;IACxE,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC;IAExC,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;QACtD,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,EAAE,CAAC,MAAM,CAAC,kDAAkD,OAAO,CAAC,aAAa,IAAI,OAAO,kBAAkB,CAAC,CAAC;YAChH,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3C,IAAI,CAAC;YACH,aAAa,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,EAAE,CAAC,MAAM,CACP,iDAAiD,OAAO,CAAC,aAAa,KAAM,KAAe,CAAC,OAAO,IAAI,CACxG,CAAC;YACF,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,MAAM,CACP,uCAAuC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,gBAAgB,EAAE,kBAAkB,CAAC,OAAO,OAAO,CAAC,aAAa,IAAI,CACnI,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,EAAE,CAAC,MAAM,CACP,IAAI,CAAC;YACH,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO,EAAE,YAAY,CAAC,OAAO;YAC7B,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE;YACpC,MAAM;YACN,QAAQ;YACR,WAAW;YACX,UAAU,EAAE,EAAE,yBAAyB,EAAE,OAAO,EAAE;SACnD,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,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,8BAA8B,CAAC,CAAC;QACvG,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,KAAK,CAAC,IAAI,CACR,kBAAkB,KAAK,CAAC,OAAO,EAAE,aAAa,CAAC,mFAAmF,OAAO,CAAC,KAAK,KAAK,CACrJ,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5E,EAAE,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/commands/context.d.ts

@@ -0,0 +1,4 @@
+import { type Io } from "../output.ts";
+import type { Session } from "../session.ts";
+export declare function contextCommand(session: Session, id: string, includeRestricted: boolean, asJson: boolean, io: Io): number;
+//# sourceMappingURL=context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/commands/context.ts"],"names":[],"mappings":"AAqBA,OAAO,EAA2B,KAAK,EAAE,EAA4B,MAAM,cAAc,CAAC;AAC1F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAiB7C,wBAAgB,cAAc,CAC5B,OAAO,EAAE,OAAO,EAChB,EAAE,EAAE,MAAM,EACV,iBAAiB,EAAE,OAAO,EAC1B,MAAM,EAAE,OAAO,EACf,EAAE,EAAE,EAAE,GACL,MAAM,CA2ER"}

package/dist/commands/context.js

@@ -0,0 +1,124 @@
+/**
+ * `intentset context <ID>` (Core §10): the bounded context an engineer or an
+ * agent loads before changing implementation, from core's `contextFor`: for
+ * a behavior, its owning slice, rules, scenarios, verifications, the slice's
+ * contracts, the decisions, the knowledge explaining it and its navigation
+ * parents; for a rule, capability or slice the bundles of the behaviors it
+ * reaches; for anything else its direct neighbours. Each artifact comes with
+ * its source path and body, and the whole names its snapshot.
+ *
+ * `restricted` artifacts are withheld unless asked for, and the report says
+ * how many, so a short context never reads as a complete one. Never writes.
+ */
+import { compareStrings, contextFor, } from "@intentset/core";
+import { count, formatDiagnostic, json, snapshotLine, TOOL } from "../output.js";
+import { unresolved, validationLine, validationSummary } from "./shared.js";
+const HEADINGS = {
+    start: "Start",
+    owner: "Owning slice",
+    behavior: "Behaviors",
+    rule: "Rules",
+    scenario: "Scenarios",
+    verification: "Verification definitions",
+    contract: "Contracts",
+    decision: "Decisions",
+    knowledge: "Knowledge",
+    ancestor: "Navigation ancestors",
+    neighbour: "Neighbours",
+};
+export function contextCommand(session, id, includeRestricted, asJson, io) {
+    const { graph } = session.result;
+    const bundle = contextFor(graph, id, { includeRestricted });
+    if (bundle === null) {
+        const diagnostic = unresolved(id, session);
+        if (asJson) {
+            io.stdout(json({
+                tool: TOOL,
+                snapshot: session.snapshot,
+                validation: validationSummary(session, session.level),
+                start: null,
+                diagnostics: [diagnostic],
+            }));
+        }
+        else {
+            io.stderr(formatDiagnostic(diagnostic));
+        }
+        return 1;
+    }
+    const visible = new Set(bundle.artifacts.map((a) => a.id));
+    const full = (a) => graph.artifacts.get(a.id);
+    if (asJson) {
+        io.stdout(json({
+            tool: TOOL,
+            snapshot: session.snapshot,
+            validation: validationSummary(session, session.level),
+            start: id,
+            included: bundle.artifacts.length,
+            withheld: bundle.withheld,
+            restrictedIncluded: includeRestricted,
+            artifacts: bundle.artifacts.map((a) => ({
+                ...a,
+                sourceHash: full(a).sourceHash,
+                links: links(graph, full(a), visible),
+                body: full(a).body,
+            })),
+            diagnostics: [],
+        }));
+        return session.result.ok ? 0 : 1;
+    }
+    const start = graph.artifacts.get(id);
+    const out = [
+        `# Context for ${id}`,
+        "",
+        `Bounded engineering context (Core §10) for ${start.meta.type} ${id}, "${start.meta.title}".`,
+        "",
+        `- ${snapshotLine(session.snapshot)}`,
+        `- ${validationLine(session, session.level)}`,
+        `- Included: ${count(bundle.artifacts.length, "artifact")}. ` +
+            (includeRestricted
+                ? "Restricted artifacts are included, as asked."
+                : `Withheld: ${bundle.withheld} restricted${bundle.withheld === 0 ? "" : "; pass --include-restricted to include them"}.`),
+        "- Paths are relative to the repository root. The files are authoritative; this is a derived view of them.",
+        "",
+    ];
+    let role = null;
+    for (const a of bundle.artifacts) {
+        if (a.role !== role) {
+            role = a.role;
+            out.push(`## ${HEADINGS[role]}`, "");
+        }
+        out.push(`### ${a.id}: ${a.title}`, "");
+        out.push(`- ID: ${a.id}`, `- Type: ${a.type}`, `- Status: ${a.status}`, `- Path: ${a.path}`);
+        const linked = links(graph, full(a), visible);
+        const kinds = Object.keys(linked).sort(compareStrings);
+        if (kinds.length > 0)
+            out.push(`- Links: ${kinds.map((k) => `${k} ${linked[k]?.join(", ")}`).join("; ")}`);
+        out.push("", ...fenced(full(a).body), "");
+    }
+    io.stdout(`${out.join("\n").trimEnd()}\n`);
+    return session.result.ok ? 0 : 1;
+}
+/** Authored links from `artifact` to artifacts in the context, so nothing withheld is named. */
+function links(graph, artifact, visible) {
+    const out = {};
+    for (const edge of graph.out.get(artifact.meta.id) ?? []) {
+        if (!visible.has(edge.to))
+            continue;
+        const list = out[edge.kind];
+        if (list === undefined)
+            out[edge.kind] = [edge.to];
+        else if (!list.includes(edge.to))
+            list.push(edge.to);
+    }
+    for (const list of Object.values(out))
+        list?.sort(compareStrings);
+    return out;
+}
+/** The body verbatim, in a tilde fence longer than any tilde run inside it, so nothing in it can close the fence. */
+function fenced(body) {
+    const text = body.replace(/^\s*\n/, "").trimEnd();
+    const longest = Math.max(0, ...[...text.matchAll(/~+/g)].map((m) => m[0].length));
+    const fence = "~".repeat(Math.max(4, longest + 1));
+    return [`${fence}markdown`, text, fence];
+}
+//# sourceMappingURL=context.js.map

package/dist/commands/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/commands/context.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAIL,cAAc,EACd,UAAU,GAGX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAW,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAE1F,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAE5E,MAAM,QAAQ,GAAgC;IAC5C,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,cAAc;IACrB,QAAQ,EAAE,WAAW;IACrB,IAAI,EAAE,OAAO;IACb,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,0BAA0B;IACxC,QAAQ,EAAE,WAAW;IACrB,QAAQ,EAAE,WAAW;IACrB,SAAS,EAAE,WAAW;IACtB,QAAQ,EAAE,sBAAsB;IAChC,SAAS,EAAE,YAAY;CACxB,CAAC;AAEF,MAAM,UAAU,cAAc,CAC5B,OAAgB,EAChB,EAAU,EACV,iBAA0B,EAC1B,MAAe,EACf,EAAM;IAEN,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC;IACjC,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,UAAU,GAAG,UAAU,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAC3C,IAAI,MAAM,EAAE,CAAC;YACX,EAAE,CAAC,MAAM,CACP,IAAI,CAAC;gBACH,IAAI,EAAE,IAAI;gBACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,UAAU,EAAE,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;gBACrD,KAAK,EAAE,IAAI;gBACX,WAAW,EAAE,CAAC,UAAU,CAAC;aAC1B,CAAC,CACH,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,EAAE,CAAC,MAAM,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAa,CAAC;IAE3E,IAAI,MAAM,EAAE,CAAC;QACX,EAAE,CAAC,MAAM,CACP,IAAI,CAAC;YACH,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,UAAU,EAAE,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;YACrD,KAAK,EAAE,EAAE;YACT,QAAQ,EAAE,MAAM,CAAC,SAAS,CAAC,MAAM;YACjC,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,kBAAkB,EAAE,iBAAiB;YACrC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACtC,GAAG,CAAC;gBACJ,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU;gBAC9B,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;gBACrC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;aACnB,CAAC,CAAC;YACH,WAAW,EAAE,EAAE;SAChB,CAAC,CACH,CAAC;QACF,OAAO,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAa,CAAC;IAClD,MAAM,GAAG,GAAa;QACpB,iBAAiB,EAAE,EAAE;QACrB,EAAE;QACF,8CAA8C,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI;QAC7F,EAAE;QACF,KAAK,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QACrC,KAAK,cAAc,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE;QAC7C,eAAe,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI;YAC3D,CAAC,iBAAiB;gBAChB,CAAC,CAAC,8CAA8C;gBAChD,CAAC,CAAC,aAAa,MAAM,CAAC,QAAQ,cAAc,MAAM,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,6CAA6C,GAAG,CAAC;QAC9H,2GAA2G;QAC3G,EAAE;KACH,CAAC;IACF,IAAI,IAAI,GAAuB,IAAI,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YACpB,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACvC,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QACxC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,aAAa,CAAC,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7F,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAgB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3G,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC;IACD,EAAE,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,OAAO,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,gGAAgG;AAChG,SAAS,KAAK,CAAC,KAAY,EAAE,QAAkB,EAAE,OAAoB;IACnE,MAAM,GAAG,GAAwC,EAAE,CAAC;IACpD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;QACzD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACpC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAC9C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;QAAE,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;IAClE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,qHAAqH;AACrH,SAAS,MAAM,CAAC,IAAY;IAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACnD,OAAO,CAAC,GAAG,KAAK,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC"}

package/dist/commands/evidence.d.ts

@@ -0,0 +1,29 @@
+import { type ParsedRun } from "@intentset/verification";
+import { type Io } from "../output.ts";
+import type { Session } from "../session.ts";
+export declare const REPORTERS: {
+    readonly vitest: {
+        readonly tool: "vitest";
+        readonly parse: (text: string) => ParsedRun;
+    };
+    readonly "node-tap": {
+        readonly tool: "node:test";
+        readonly parse: (text: string) => ParsedRun;
+    };
+};
+export interface EvidenceImportOptions {
+    from?: string;
+    report?: string;
+    out?: string;
+    product?: string;
+    release?: string;
+    environment?: string;
+    startedAt?: string;
+    finishedAt?: string;
+    uriBase?: string;
+    toolVersion?: string;
+}
+/** Problems that need no repository, so a typo costs nothing. */
+export declare function evidenceUsageProblem(options: EvidenceImportOptions): string | null;
+export declare function evidenceImportCommand(session: Session, options: EvidenceImportOptions, io: Io): number;
+//# sourceMappingURL=evidence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../src/commands/evidence.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,KAAK,SAAS,EAA+D,MAAM,yBAAyB,CAAC;AACtH,OAAO,EAAS,KAAK,EAAE,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,eAAO,MAAM,SAAS;aACpB,MAAM;iBAAI,IAAI,EAAE,QAAQ;iBAAE,KAAK,SAAS,MAAM;;aAC9C,UAAU;iBAAI,IAAI,EAAE,WAAW;iBAAE,KAAK,SAAS,MAAM;;CAC7C,CAAC;AAEX,MAAM,WAAW,qBAAqB;IACpC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAID,iEAAiE;AACjE,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,qBAAqB,GAAG,MAAM,GAAG,IAAI,CAyBlF;AAED,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,qBAAqB,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,CAiHtG"}

package/dist/commands/evidence.js

@@ -0,0 +1,157 @@
+/**
+ * `intentset evidence import` (Core §8): a test runner's report turned into
+ * run records bound to this repository's snapshot. A verification's
+ * `selector` is matched against each test's full title, and every
+ * verification whose selector no test matched is listed, since it gets no
+ * record from this run and reads as missing. Evidence must name the commit
+ * it ran at, so an unknown commit refuses. Writes the one file `--out` names,
+ * and never over an existing one: earlier records are history.
+ */
+import { existsSync, mkdirSync, readFileSync, statSync, writeFileSync } from "node:fs";
+import { dirname, resolve } from "node:path";
+import { pathToFileURL } from "node:url";
+import { compareStrings } from "@intentset/core";
+import { isUtcTimestamp, parseNodeTap, parseVitestJson, toRunRecords } from "@intentset/verification";
+import { count } from "../output.js";
+import { outputProblem } from "../outputs.js";
+export const REPORTERS = {
+    vitest: { tool: "vitest", parse: (text) => parseVitestJson(JSON.parse(text)) },
+    "node-tap": { tool: "node:test", parse: (text) => parseNodeTap(text) },
+};
+const URI = /^[A-Za-z][A-Za-z0-9+.-]*:\S+$/;
+/** Problems that need no repository, so a typo costs nothing. */
+export function evidenceUsageProblem(options) {
+    if (options.from === undefined || !Object.hasOwn(REPORTERS, options.from)) {
+        return `--from ${options.from ?? "(missing)"}: the reporters are ${Object.keys(REPORTERS).join(" and ")}`;
+    }
+    if (options.report === undefined)
+        return "a report file is required: evidence import --from <reporter> <report>";
+    for (const [flag, value] of [
+        ["--out", options.out],
+        ["--product", options.product],
+        ["--release", options.release],
+    ]) {
+        if (value === undefined || value === "")
+            return `${flag} is required`;
+    }
+    for (const [flag, value] of [
+        ["--started-at", options.startedAt],
+        ["--finished-at", options.finishedAt],
+    ]) {
+        if (value !== undefined && !isUtcTimestamp(value)) {
+            return `${flag} ${value}: give a UTC time such as 2026-10-02T12:00:00Z`;
+        }
+    }
+    if (options.uriBase !== undefined && !URI.test(options.uriBase)) {
+        return `--uri-base ${options.uriBase}: give a URI with a scheme, such as https://ci.example/runs/42`;
+    }
+    if (options.environment !== undefined && options.environment.trim() === "")
+        return "--environment is empty";
+    return null;
+}
+export function evidenceImportCommand(session, options, io) {
+    const fail = (message) => {
+        io.stderr(`intentset evidence import: ${message}\n`);
+        return 2;
+    };
+    const { repo, snapshot, result } = session;
+    const graph = result.graph;
+    const reporter = REPORTERS[options.from];
+    const product = options.product;
+    const release = options.release;
+    if (snapshot.commit === null) {
+        return fail(`evidence must name the commit it ran at, and none could be read: ${snapshot.commitUnavailable}`);
+    }
+    if (snapshot.uncommitted === true) {
+        return fail(`tracked files differ from commit ${snapshot.commit}, so records bound to it would name a commit the run did not test; commit first (Core §8).`);
+    }
+    if (graph.artifacts.get(product)?.meta.type !== "product") {
+        return fail(`--product ${product} is not a product in this graph.`);
+    }
+    if (repo.registries.releases.length > 0 && !repo.registries.releases.includes(release)) {
+        return fail(`--release ${release} is not a release in the registries; labels match exactly (Core §7).`);
+    }
+    const reportFile = resolve(io.cwd, options.report);
+    let parsed;
+    let modified;
+    try {
+        modified = statSync(reportFile).mtime.toISOString();
+        parsed = reporter.parse(readFileSync(reportFile, "utf8"));
+    }
+    catch (error) {
+        return fail(`could not read ${options.report} as ${options.from} output: ${error.message}`);
+    }
+    const target = resolve(io.cwd, options.out);
+    const problem = outputProblem(repo, target);
+    if (problem !== null)
+        return fail(`--out ${options.out} ${problem}; nothing was written.`);
+    if (existsSync(target)) {
+        return fail(`--out ${options.out} exists; run records are history, so import into a new file.`);
+    }
+    // Selector -> verification, from the automated verifications that are not retired, first ID winning a shared selector.
+    const verifications = new Map();
+    const shared = [];
+    for (const id of [...graph.artifacts.keys()].sort(compareStrings)) {
+        const meta = graph.artifacts.get(id)?.meta;
+        if (meta?.type !== "verification" || meta.status === "retired" || meta.verification?.method !== "automated")
+            continue;
+        const selector = meta.verification.selector;
+        if (verifications.has(selector))
+            shared.push(`${selector} (${verifications.get(selector)} and ${id})`);
+        else
+            verifications.set(selector, id);
+    }
+    const startedAt = options.startedAt ?? modified;
+    const finishedAt = options.finishedAt ?? modified;
+    let converted;
+    try {
+        converted = toRunRecords(parsed, {
+            verifications,
+            commit: snapshot.commit,
+            graphHash: snapshot.graphHash,
+            environment: options.environment ?? "local",
+            scope: { product, release },
+            tool: { name: reporter.tool, version: options.toolVersion ?? "unknown" },
+            startedAt,
+            finishedAt,
+            uriBase: options.uriBase ?? pathToFileURL(reportFile).href,
+        });
+    }
+    catch (error) {
+        return fail(error.message);
+    }
+    try {
+        mkdirSync(dirname(target), { recursive: true });
+        writeFileSync(target, `${JSON.stringify(converted.records, null, 2)}\n`, { flag: "wx" });
+    }
+    catch (error) {
+        return fail(`could not write ${options.out}: ${error.message}`);
+    }
+    const lines = [
+        `Imported ${count(converted.records.length, "run record")} from ${options.report} (${options.from}, ${count(parsed.tests.length, "test")}) into ${options.out}`,
+        `  bound to commit ${snapshot.commit}, graph ${snapshot.graphHash}, for ${product} ${release}, environment ${options.environment ?? "local"}`,
+    ];
+    if (options.startedAt === undefined || options.finishedAt === undefined) {
+        lines.push(`  timestamps: the report file's modification time, ${modified}, stands in for the run's ` +
+            `${options.startedAt === undefined && options.finishedAt === undefined ? "start and finish" : options.startedAt === undefined ? "start" : "finish"}; ` +
+            "pass --started-at and --finished-at to record the run's own");
+    }
+    for (const record of converted.records) {
+        lines.push(`  ${record.verificationId}  ${record.result}  ${record.rationale ?? ""}`.trimEnd());
+    }
+    lines.push(`Unmatched selectors (${converted.unmatched.length}): ${converted.unmatched.length === 0 ? "none" : "no test title carries them, so their verifications get no record from this run and read as missing"}`, ...converted.unmatched.map((selector) => `  - ${selector} (${verifications.get(selector)})`));
+    if (shared.length > 0) {
+        lines.push(`Selectors shared by two verifications, matched to the first only (${shared.length}):`);
+        lines.push(...shared.map((item) => `  - ${item}`));
+    }
+    if (parsed.problems.length > 0) {
+        lines.push(`Problems in the report that no test title carries (${parsed.problems.length}):`);
+        lines.push(...parsed.problems.map((item) => `  - ${item}`));
+    }
+    if (!result.ok) {
+        lines.push(`Validation has ${count(session.errors, "error")}; the records are bound to that graph. Run \`intentset validate\`.`);
+    }
+    io.stdout(`${lines.join("\n")}\n`);
+    return result.ok ? 0 : 1;
+}
+//# sourceMappingURL=evidence.js.map

package/dist/commands/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../src/commands/evidence.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACvF,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAkB,cAAc,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACtH,OAAO,EAAE,KAAK,EAAW,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9C,MAAM,CAAC,MAAM,SAAS,GAAG;IACvB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE;IACtF,UAAU,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,IAAY,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE;CACtE,CAAC;AAeX,MAAM,GAAG,GAAG,+BAA+B,CAAC;AAE5C,iEAAiE;AACjE,MAAM,UAAU,oBAAoB,CAAC,OAA8B;IACjE,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,UAAU,OAAO,CAAC,IAAI,IAAI,WAAW,uBAAuB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;IAC5G,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,uEAAuE,CAAC;IACjH,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI;QAC1B,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;QACtB,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC;QAC9B,CAAC,WAAW,EAAE,OAAO,CAAC,OAAO,CAAC;KACtB,EAAE,CAAC;QACX,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE;YAAE,OAAO,GAAG,IAAI,cAAc,CAAC;IACxE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI;QAC1B,CAAC,cAAc,EAAE,OAAO,CAAC,SAAS,CAAC;QACnC,CAAC,eAAe,EAAE,OAAO,CAAC,UAAU,CAAC;KAC7B,EAAE,CAAC;QACX,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YAClD,OAAO,GAAG,IAAI,IAAI,KAAK,gDAAgD,CAAC;QAC1E,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,OAAO,cAAc,OAAO,CAAC,OAAO,gEAAgE,CAAC;IACvG,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,wBAAwB,CAAC;IAC5G,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAgB,EAAE,OAA8B,EAAE,EAAM;IAC5F,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,EAAE;QAC/B,EAAE,CAAC,MAAM,CAAC,8BAA8B,OAAO,IAAI,CAAC,CAAC;QACrD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,CAAC,IAA8B,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAiB,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAiB,CAAC;IAE1C,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,oEAAoE,QAAQ,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAChH,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;QAClC,OAAO,IAAI,CACT,oCAAoC,QAAQ,CAAC,MAAM,4FAA4F,CAChJ,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1D,OAAO,IAAI,CAAC,aAAa,OAAO,kCAAkC,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACvF,OAAO,IAAI,CAAC,aAAa,OAAO,sEAAsE,CAAC,CAAC;IAC1G,CAAC;IAED,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,MAAgB,CAAC,CAAC;IAC7D,IAAI,MAAiB,CAAC;IACtB,IAAI,QAAgB,CAAC;IACrB,IAAI,CAAC;QACH,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;QACpD,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,kBAAkB,OAAO,CAAC,MAAM,OAAO,OAAO,CAAC,IAAI,YAAa,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IACzG,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,GAAa,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,SAAS,OAAO,CAAC,GAAG,IAAI,OAAO,wBAAwB,CAAC,CAAC;IAC3F,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACvB,OAAO,IAAI,CAAC,SAAS,OAAO,CAAC,GAAG,8DAA8D,CAAC,CAAC;IAClG,CAAC;IAED,uHAAuH;IACvH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC;QAC3C,IAAI,IAAI,EAAE,IAAI,KAAK,cAAc,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,EAAE,MAAM,KAAK,WAAW;YACzG,SAAS;QACX,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC;QAC5C,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,KAAK,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;;YAClG,aAAa,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,QAAQ,CAAC;IAChD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,QAAQ,CAAC;IAClD,IAAI,SAA0C,CAAC;IAC/C,IAAI,CAAC;QACH,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE;YAC/B,aAAa;YACb,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,OAAO;YAC3C,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE;YAC3B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,WAAW,IAAI,SAAS,EAAE;YACxE,SAAS;YACT,UAAU;YACV,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI;SAC3D,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAE,KAAe,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,CAAC;QACH,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,aAAa,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3F,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,IAAI,CAAC,mBAAmB,OAAO,CAAC,GAAG,KAAM,KAAe,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,KAAK,GAAG;QACZ,YAAY,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,YAAY,CAAC,SAAS,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,OAAO,CAAC,GAAG,EAAE;QAC/J,qBAAqB,QAAQ,CAAC,MAAM,WAAW,QAAQ,CAAC,SAAS,SAAS,OAAO,IAAI,OAAO,iBAAiB,OAAO,CAAC,WAAW,IAAI,OAAO,EAAE;KAC9I,CAAC;IACF,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACxE,KAAK,CAAC,IAAI,CACR,sDAAsD,QAAQ,4BAA4B;YACxF,GAAG,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI;YACtJ,6DAA6D,CAChE,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,cAAc,KAAK,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,KAAK,CAAC,IAAI,CACR,wBAAwB,SAAS,CAAC,SAAS,CAAC,MAAM,MAAM,SAAS,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,oGAAoG,EAAE,EAC1M,GAAG,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,QAAQ,KAAK,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAC7F,CAAC;IACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,qEAAqE,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;QACnG,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,sDAAsD,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;QAC7F,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CACR,kBAAkB,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,oEAAoE,CACrH,CAAC;IACJ,CAAC;IACD,EAAE,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC"}

package/dist/commands/graph.d.ts

@@ -0,0 +1,18 @@
+import type { Io } from "../output.ts";
+import type { Session } from "../session.ts";
+export interface GraphOptions {
+    format?: string;
+    includeBodies: boolean;
+    release?: string;
+    out?: string;
+    generatedAt?: string;
+}
+/** Check the options that need no repository, so a typo costs nothing. Returns a message, or null. */
+export declare function graphUsageProblem(options: GraphOptions): string | null;
+/** `<product>:<label>`, split at the first colon; the label is opaque and matched exactly (Core §7). */
+export declare function parseRelease(text: string): {
+    product: string;
+    label: string;
+} | null;
+export declare function graphCommand(session: Session, options: GraphOptions, io: Io): number;
+//# sourceMappingURL=graph.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/commands/graph.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,cAAc,CAAC;AAEvC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,WAAW,YAAY;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,OAAO,CAAC;IACvB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAKD,sGAAsG;AACtG,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,YAAY,GAAG,MAAM,GAAG,IAAI,CAWtE;AAED,wGAAwG;AACxG,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAOpF;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,CAuCpF"}

package/dist/commands/graph.js

@@ -0,0 +1,77 @@
+/**
+ * `intentset graph --format json` (Core §12): the `intentset/export/0.1`
+ * envelope over the validated repository. Printed to stdout, or written to
+ * the one file `--out` names, which may not be any file the repository reads.
+ * A failing validation still exports, with `validation.status: "fail"`, and
+ * exits 1.
+ */
+import { writeFileSync } from "node:fs";
+import { resolve } from "node:path";
+import { ID_PATTERN, exportGraph } from "@intentset/core";
+import { outputProblem } from "../outputs.js";
+/** The export schema's generatedAt pattern. */
+const ISO_8601 = /^[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}(?:\.[0-9]+)?(?:Z|[+-][0-9]{2}:[0-9]{2})$/;
+/** Check the options that need no repository, so a typo costs nothing. Returns a message, or null. */
+export function graphUsageProblem(options) {
+    if (options.format !== undefined && options.format !== "json") {
+        return `--format ${options.format}: the only format is json`;
+    }
+    if (options.release !== undefined && parseRelease(options.release) === null) {
+        return `--release ${options.release}: write it as <product ID>:<label>, such as PRD-LANTERN:pilot-1`;
+    }
+    if (options.generatedAt !== undefined && !ISO_8601.test(options.generatedAt)) {
+        return `--generated-at ${options.generatedAt}: give an ISO 8601 time such as 2026-10-02T12:00:00Z`;
+    }
+    return null;
+}
+/** `<product>:<label>`, split at the first colon; the label is opaque and matched exactly (Core §7). */
+export function parseRelease(text) {
+    const colon = text.indexOf(":");
+    if (colon === -1)
+        return null;
+    const product = text.slice(0, colon);
+    const label = text.slice(colon + 1);
+    if (!ID_PATTERN.test(product) || label === "")
+        return null;
+    return { product, label };
+}
+export function graphCommand(session, options, io) {
+    const { repo, result, snapshot } = session;
+    const release = options.release === undefined ? null : parseRelease(options.release);
+    if (release !== null && result.graph.artifacts.get(release.product)?.meta.type !== "product") {
+        io.stderr(`intentset graph: --release names ${release.product}, which is not a product in this graph.\n`);
+        return 2;
+    }
+    const envelope = exportGraph(result, repo.registries, {
+        repository: repo.config.repository,
+        commit: snapshot.commit,
+        ...(snapshot.commitUnavailable === undefined ? {} : { commitUnavailable: snapshot.commitUnavailable }),
+        scope: repo.config.scope,
+        level: session.level,
+        release,
+        ...(options.generatedAt === undefined ? {} : { generatedAt: options.generatedAt }),
+        includeBodies: options.includeBodies,
+    });
+    const text = `${JSON.stringify(envelope, null, 2)}\n`;
+    if (options.out === undefined) {
+        io.stdout(text);
+    }
+    else {
+        const target = resolve(io.cwd, options.out);
+        const problem = outputProblem(repo, target);
+        if (problem !== null) {
+            io.stderr(`intentset graph: --out ${options.out} ${problem}; tools never rewrite those.\n`);
+            return 2;
+        }
+        try {
+            writeFileSync(target, text);
+        }
+        catch (error) {
+            io.stderr(`intentset graph: could not write ${options.out}: ${error.message}\n`);
+            return 2;
+        }
+        io.stderr(`intentset graph: wrote ${options.out} (${envelope.artifacts.length} artifacts, ${envelope.validation.status})\n`);
+    }
+    return result.ok ? 0 : 1;
+}
+//# sourceMappingURL=graph.js.map

package/dist/commands/graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../src/commands/graph.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE1D,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAW9C,+CAA+C;AAC/C,MAAM,QAAQ,GAAG,iGAAiG,CAAC;AAEnH,sGAAsG;AACtG,MAAM,UAAU,iBAAiB,CAAC,OAAqB;IACrD,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;QAC9D,OAAO,YAAY,OAAO,CAAC,MAAM,2BAA2B,CAAC;IAC/D,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,IAAI,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;QAC5E,OAAO,aAAa,OAAO,CAAC,OAAO,iEAAiE,CAAC;IACvG,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7E,OAAO,kBAAkB,OAAO,CAAC,WAAW,sDAAsD,CAAC;IACrG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACpC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC3D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAgB,EAAE,OAAqB,EAAE,EAAM;IAC1E,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACrF,IAAI,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7F,EAAE,CAAC,MAAM,CAAC,oCAAoC,OAAO,CAAC,OAAO,2CAA2C,CAAC,CAAC;QAC1G,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE;QACpD,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU;QAClC,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,GAAG,CAAC,QAAQ,CAAC,iBAAiB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB,EAAE,CAAC;QACtG,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK;QACxB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,OAAO;QACP,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QAClF,aAAa,EAAE,OAAO,CAAC,aAAa;KACrC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IAEtD,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;QAC9B,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,EAAE,CAAC,MAAM,CAAC,0BAA0B,OAAO,CAAC,GAAG,IAAI,OAAO,gCAAgC,CAAC,CAAC;YAC5F,OAAO,CAAC,CAAC;QACX,CAAC;QACD,IAAI,CAAC;YACH,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,EAAE,CAAC,MAAM,CAAC,oCAAoC,OAAO,CAAC,GAAG,KAAM,KAAe,CAAC,OAAO,IAAI,CAAC,CAAC;YAC5F,OAAO,CAAC,CAAC;QACX,CAAC;QACD,EAAE,CAAC,MAAM,CACP,0BAA0B,OAAO,CAAC,GAAG,KAAK,QAAQ,CAAC,SAAS,CAAC,MAAM,eAAe,QAAQ,CAAC,UAAU,CAAC,MAAM,KAAK,CAClH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC"}

package/dist/commands/impact.d.ts

@@ -0,0 +1,20 @@
+/**
+ * `intentset impact <ID>` (Core §10): what depends on an artifact. Direct
+ * dependents apart from candidates further downstream, each with the path
+ * that reached it and a reason per step; the start's own rules, contracts and
+ * decisions as review context; navigation ancestors. Every report names its
+ * snapshot and says that reachability is not proof. Never writes.
+ */
+import { type ImpactHit } from "@intentset/core";
+import { type Io } from "../output.ts";
+import type { Session } from "../session.ts";
+export declare const REACHABILITY_NOTE = "Reachability through authored links marks an artifact for review; it is not proof that runtime behavior changed (Core \u00A710).";
+export declare function impactCommand(session: Session, id: string, asJson: boolean, io: Io): number;
+/**
+ * A hit's path as authored edges, written in the direction they were authored.
+ * A reverse step (`kind←`) is an edge from the step to the node before it, so
+ * a chain reads from the hit back to the start: `C --dependsOn--> B --implements--> A`.
+ * A context step (`kind→`) is an edge from the start to the hit.
+ */
+export declare function pathText(start: string, hit: ImpactHit): string;
+//# sourceMappingURL=impact.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/commands/impact.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,KAAK,SAAS,EAA6B,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAoB,KAAK,EAAE,EAA4B,MAAM,cAAc,CAAC;AACnF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,eAAO,MAAM,iBAAiB,qIACiG,CAAC;AAEhI,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,GAAG,MAAM,CA0C3F;AA2BD;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,CAM9D"}