@intentset/cli 0.10.0 → 0.13.0

package/src/commands/shared.ts

@@ -3,10 +3,30 @@
  * the graph validated, and the CORE003-style refusal for an ID the graph does
  * not hold.
  */
+import type { TypeScriptMissingError } from "@intentset/architecture";
 import { type Diagnostic, ID_PATTERN } from "@intentset/core";
 import { count } from "../output.ts";
 import type { Session } from "../session.ts";
 
+/**
+ * What the CLI says when a check needed TypeScript 7's scanner and the `typescript` the repository gave
+ * @intentset/architecture is older or absent: the version found and the command that runs the toolchain with its
+ * own TypeScript, for the arguments that were given, with pnpm (which resolves the peer to the repository's own
+ * copy) and with npm (which installs the peer beside the CLI, so it rarely gets here).
+ */
+export function typescriptMissing(error: TypeScriptMissingError, argv: readonly string[]): string {
+  const args = argv.length === 0 ? "" : ` ${argv.join(" ")}`;
+  const found =
+    error.found === null
+      ? "no `typescript` resolves from @intentset/architecture"
+      : `the \`typescript\` this repository gives @intentset/architecture is ${error.found}`;
+  return (
+    `intentset: the architecture check needs TypeScript 7, and ${found}. Run the toolchain without installing it, ` +
+    `as \`pnpm dlx --package=@intentset/cli --package=typescript@7 intentset${args}\`, or with npm as ` +
+    `\`npx -p @intentset/cli -p typescript@7 intentset${args}\`; or give the repository TypeScript 7.`
+  );
+}
+
 /** The validation state a query ran over, so a reader knows whether the graph was whole. */
 export function validationSummary(session: Session, level: string) {
   return {

package/src/glob.ts

@@ -1,58 +1,6 @@
 /**
- * The pattern language of `.intentset/config.yaml` scope and ignore lists,
- * which is VSA §3's: repository-relative POSIX paths made of literal segments,
- * `*` within one segment, and `**` across zero or more segments. Nothing else
- * is special: no `?`, no classes, no braces, no negation, so there is no
- * precedence to explain. A pattern and a path match segment by segment, and
- * `*` never crosses a `/`.
- *
- * The architecture package has its own copy for claims. Duplicating thirty
- * lines keeps the CLI's core commands independent of it.
+ * The pattern language of `.intentset/config.yaml` scope and ignore lists and of slice claims (VSA §3). It moved to
+ * `@intentset/core` in 0.11.0 with the slice helpers that use it (ADR 0016), and the CLI re-exports it, so
+ * `matchGlob` and `matchAny` stay on its public surface.
  */
-
-/** VSA §3: true when the repository-relative POSIX `path` matches `pattern`. */
-export function matchGlob(pattern: string, path: string): boolean {
-  const p = normalize(pattern).split("/");
-  const s = path.split("/");
-  // Memo of (pattern index, path index) pairs already known not to match, so
-  // several `**` in one pattern stay polynomial rather than exponential.
-  const failed = new Set<number>();
-  const width = s.length + 1;
-  const match = (i: number, j: number): boolean => {
-    if (failed.has(i * width + j)) return false;
-    let ok: boolean;
-    if (i === p.length) ok = j === s.length;
-    else if (p[i] === "**") ok = match(i + 1, j) || (j < s.length && match(i, j + 1));
-    else ok = j < s.length && matchSegment(p[i], s[j]) && match(i + 1, j + 1);
-    if (!ok) failed.add(i * width + j);
-    return ok;
-  };
-  return match(0, 0);
-}
-
-/** True when any of `patterns` matches `path`. */
-export function matchAny(patterns: readonly string[], path: string): boolean {
-  return patterns.some((pattern) => matchGlob(pattern, path));
-}
-
-/** A leading `./` names the same path; repeated `/` separate nothing. */
-function normalize(pattern: string): string {
-  return pattern.replace(/^(?:\.\/)+/, "").replace(/\/{2,}/g, "/");
-}
-
-const SEGMENTS = new Map<string, RegExp>();
-
-/** One segment: literal text, with each `*` standing for any run of characters other than `/`. */
-function matchSegment(pattern: string, name: string): boolean {
-  if (!pattern.includes("*")) return pattern === name;
-  let regex = SEGMENTS.get(pattern);
-  if (regex === undefined) {
-    const body = pattern
-      .split("*")
-      .map((part) => part.replace(/[.+?^${}()|[\]\\]/g, "\\$&"))
-      .join("[^/]*");
-    regex = new RegExp(`^${body}$`);
-    SEGMENTS.set(pattern, regex);
-  }
-  return regex.test(name);
-}
+export { matchAny, matchGlob } from "@intentset/core";

package/src/main.ts

@@ -4,14 +4,15 @@
  * exiting, so tests run it in-process with captured io.
  *
  * Exit codes (Core §11, ADR 0004): 0 no errors, 1 validation errors, 2
- * invocation or tool failure. validate, graph, architecture check, impact,
- * context, review, evidence stale, serve, mcp and guide never write; graph --out, architecture
+ * invocation or tool failure (list exits 0 whenever it answered, and 1 only
+ * with --check). validate, graph, architecture check, impact, context, list,
+ * review, evidence stale, serve, mcp and guide never write; graph --out, architecture
  * check --write-baseline, evidence import --out, publish --out and serve
  * --out write only what they name; init only creates; migrate rewrites the
  * two version values of each record's frontmatter and nothing else.
  */
 import { parseArgs } from "node:util";
-import type { Mode } from "@intentset/architecture";
+import { type Mode, TypeScriptMissingError } from "@intentset/architecture";
 import { EVIDENCE_BINDINGS, type EvidenceBinding, LEVELS, type Level } from "@intentset/core";
 import type { RunScope } from "@intentset/verification";
 import { architectureCommand } from "./commands/architecture.ts";
@@ -22,6 +23,13 @@ import { graphCommand, graphUsageProblem, parseRelease } from "./commands/graph.
 import { guideCommand } from "./commands/guide.ts";
 import { impactCommand } from "./commands/impact.ts";
 import { initCommand } from "./commands/init.ts";
+import {
+  listCommand,
+  listFromExportCommand,
+  type ListOptions,
+  listUsageProblem,
+  SELECTOR_OPTIONS,
+} from "./commands/list.ts";
 import { migrateCommand, migrateUsageProblem } from "./commands/migrate.ts";
 import { mcpCommand, mcpUsageProblem } from "./commands/mcp.ts";
 import { publishCommand, publishUsageProblem } from "./commands/publish.ts";
@@ -29,6 +37,7 @@ import { reviewCommand } from "./commands/review.ts";
 import { serveCommand } from "./commands/serve.ts";
 import { validateCommand } from "./commands/validate.ts";
 import { type Io, TOOL } from "./output.ts";
+import { typescriptMissing } from "./commands/shared.ts";
 import { type CarrierName, CARRIERS, findRoot } from "./repository.ts";
 import { EVIDENCE_DIR, evidenceFiles, openSession, type SessionOptions } from "./session.ts";
 
@@ -50,7 +59,7 @@ commands
   graph [--format json] [--include-bodies] [--release <product>:<label>] [--out <file>]
         [--generated-at <time>] [--report evidence|knowledge|impact|ownership|all]...
         [--include-restricted]
-                            print the intentset/export/0.4 envelope, or write it to --out;
+                            print the intentset/export/0.5 envelope, or write it to --out;
                             each --report adds a section (ownership needs L2, evidence L3; all
                             is every one the level reads). Restricted artifacts are withheld
                             and counted unless --include-restricted
@@ -69,6 +78,19 @@ commands
                             exits 1 when any needs a run
   impact <ID>               what depends on an artifact: direct, candidates, review context,
                             ancestors
+  list [--id <ID|prefix*>] [--type <t>] [--status <s>] [--delivery <d>] [--owner <o>]
+        [--audience <a>] [--visibility <v>] [--under <ID>] [--product <ID>] [--release <label>]
+        [--not-release <label>] [--role <r>] [--edition <e>] [--flag <f>]
+        [--has-extension <key>] [--has [some:|none:|all:]<out|in>:<kind>[=<status>,...]]
+        [--describing <slice>] [--claims <path>] [--where <file.json>] [--from <export.json>]
+        [--include-restricted] [--count-by <field>] [--check] [--format table|json|ids]
+                            the records that match: fields combine with AND, the values of one
+                            field (comma-separated or repeated) with OR, and matching is exact
+                            (a trailing * on an ID is a prefix). --where gives the selector as
+                            JSON instead; --from reads an export, not the tree. A record whose
+                            answer depends on a withheld link is undetermined, listed apart.
+                            Never writes; exits 0 whenever it answered, and with --check 1 when
+                            any record matched or is undetermined (spec/list.md)
   context <ID|path> [--include-restricted]
                             the bounded engineering context of an artifact, with paths and
                             bodies; given a file a slice claims, the context of that slice
@@ -126,7 +148,8 @@ options
 
 exit codes: 0 no errors, 1 validation errors (or, with review --fail-on-drift,
             unacknowledged drift; with --fail-on-baseline-growth, a baseline
-            entry the base did not hold), 2 invocation or tool failure`;
+            entry the base did not hold; with list --check, a record matched or
+            undetermined), 2 invocation or tool failure`;
 
 const COMMANDS = [
   "init",
@@ -137,6 +160,7 @@ const COMMANDS = [
   "evidence",
   "impact",
   "context",
+  "list",
   "review",
   "publish",
   "serve",
@@ -182,6 +206,7 @@ const COMMAND_OPTIONS: Record<string, string[]> = {
   ],
   impact: LEVEL_OPTIONS,
   context: ["include-restricted", ...LEVEL_OPTIONS],
+  list: [...SELECTOR_OPTIONS, "where", "from", "count-by", "check", "format", "include-restricted"],
   review: ["base", "fail-on-drift", "fail-on-baseline-growth", ...LEVEL_OPTIONS],
   serve: ["port", "host", "out", ...LEVEL_OPTIONS],
   mcp: [
@@ -223,6 +248,21 @@ const POSITIONALS: Record<string, { subs?: Record<string, number>; count: number
 };
 
 export async function main(argv: string[], io: Io): Promise<number> {
+  try {
+    return await dispatch(argv, io);
+  } catch (error) {
+    // The one failure a command raises rather than reports: the scanner's TypeScript is not there. It arrives from
+    // the first check that needs it (architecture check, validate at L2 and above, review, a subject-bound
+    // evidence read), and every other command has already run without it.
+    if (error instanceof TypeScriptMissingError) {
+      io.stderr(`${typescriptMissing(error, argv)}\n`);
+      return 2;
+    }
+    throw error;
+  }
+}
+
+async function dispatch(argv: string[], io: Io): Promise<number> {
   let parsed: ReturnType<typeof parse>;
   try {
     parsed = parse(argv);
@@ -336,7 +376,7 @@ export async function main(argv: string[], io: Io): Promise<number> {
 
   // Evidence scope: --product with --release, or graph's --release <product>:<label>.
   let scope: RunScope | null = null;
-  if ((command !== "evidence" || sub === "stale") && command !== "publish" && command !== "mcp") {
+  if ((command !== "evidence" || sub === "stale") && command !== "publish" && command !== "mcp" && command !== "list") {
     if (command === "graph" || command === "evidence") {
       const release = values.release === undefined ? null : parseRelease(values.release);
       scope = release === null ? null : { product: release.product, release: release.label };
@@ -425,6 +465,32 @@ export async function main(argv: string[], io: Io): Promise<number> {
       const session = openSession(command, sessionOptions(levelGiven ?? "L1"), io);
       return typeof session === "number" ? session : impactCommand(session, args[0], values.json, io);
     }
+    case "list": {
+      const options: ListOptions = {
+        given: tokens.flatMap((token) =>
+          token.kind === "option" && SELECTOR_OPTIONS.includes(token.name)
+            ? [{ name: token.name, value: token.value ?? "" }]
+            : [],
+        ),
+        where: values.where,
+        from: values.from,
+        countBy: values["count-by"],
+        format: values.format,
+        json: values.json,
+        check: values.check,
+        includeRestricted: values["include-restricted"],
+      };
+      const checked = listUsageProblem(options, io);
+      if ("problem" in checked) return usage(checked.problem);
+      if (options.from !== undefined) {
+        const tree = (["root", "carrier", "level"] as const).find((name) => values[name] !== undefined);
+        if (tree !== undefined)
+          return usage(`--${tree} reads the tree; --from reads the records from the export alone`);
+        return listFromExportCommand(checked, { ...options, from: options.from }, io);
+      }
+      const session = openSession(command, sessionOptions(levelGiven ?? "L1"), io);
+      return typeof session === "number" ? session : listCommand(session, checked, options, io);
+    }
     case "context": {
       const session = openSession(command, sessionOptions(levelGiven ?? "L1"), io);
       if (typeof session === "number") return session;
@@ -567,6 +633,19 @@ function parse(argv: string[]) {
       host: { type: "string" },
       to: { type: "string" },
       "allow-dirty": { type: "boolean", default: false },
+      id: { type: "string", multiple: true },
+      type: { type: "string", multiple: true },
+      status: { type: "string", multiple: true },
+      delivery: { type: "string", multiple: true },
+      owner: { type: "string", multiple: true },
+      under: { type: "string", multiple: true },
+      "not-release": { type: "string", multiple: true },
+      has: { type: "string", multiple: true },
+      "has-extension": { type: "string", multiple: true },
+      describing: { type: "string", multiple: true },
+      claims: { type: "string", multiple: true },
+      where: { type: "string" },
+      "count-by": { type: "string" },
     },
   });
 }

package/src/session.ts

@@ -48,11 +48,10 @@ import {
 import { insideRoot } from "./outputs.ts";
 import { formatDiagnostic, type Io, type Snapshot } from "./output.ts";
 import { type CarrierName, CONFIG_PATH, findRoot, loadRepository, type Repository } from "./repository.ts";
-import { bindingFor, subjectsOf } from "./subject.ts";
+import { bindingFor, EVIDENCE_DIR, subjectsOf } from "./subject.ts";
 import { readTree, type Tree } from "./tree.ts";
 
-/** Where run records are read from when no --evidence is given. Local output: not to be committed. */
-export const EVIDENCE_DIR = ".intentset/evidence";
+export { EVIDENCE_DIR } from "./subject.ts";
 
 export interface SessionOptions {
   root?: string;
@@ -290,7 +289,9 @@ export function publicationReadiness(graph: Graph): { checked: string[]; diagnos
     const review = reviewStatus(graph, artifact);
     if (review.status === "current") continue;
     const reasons: string[] = [];
-    if (review.changed.length > 0) reasons.push(`${review.changed.join(", ")} changed since review`);
+    if (review.unknownHash !== null) {
+      reasons.push(`its review pins hashes of kind ${review.unknownHash}, which this version does not read`);
+    } else if (review.changed.length > 0) reasons.push(`${review.changed.join(", ")} changed since review`);
     if (review.missing.length > 0) reasons.push(`no review pin for ${review.missing.join(", ")}`);
     if (review.reviewer === null) reasons.push("it names no reviewer");
     if (review.reviewedAt === null) reasons.push("it gives no review date");

package/src/subject.ts

@@ -21,6 +21,18 @@ import { changedSince } from "./git.ts";
 import type { Repository } from "./repository.ts";
 import type { Tree } from "./tree.ts";
 
+/** Where run records are read from when no --evidence is given. Local output: not to be committed. */
+export const EVIDENCE_DIR = ".intentset/evidence";
+
+/**
+ * The run records under EVIDENCE_DIR are the toolchain's own output, never part of a subject, so a change to them
+ * says nothing about evidence and is left out of what `changedSince` answers: EVID005 would otherwise list the file
+ * `evidence import --out` has just written, until it is ignored or committed.
+ */
+function outsideEvidence(paths: string[] | null): string[] | null {
+  return paths === null ? null : paths.filter((path) => path !== EVIDENCE_DIR && !path.startsWith(`${EVIDENCE_DIR}/`));
+}
+
 /** The binding in force: the option, else the configuration, else the default (Core §8). */
 export function bindingFor(repo: Repository, graph: Graph, given: EvidenceBinding | undefined): BindingDecision {
   return resolveBinding(given ?? repo.config.evidence.binding, hasSliceClaims(graph));
@@ -56,7 +68,7 @@ export function subjectsOf(repo: Repository, graph: Graph, tree: Tree): Subjects
     subjects: subjectsFor(graph, source),
     source,
     changedSince: (commit) => {
-      if (!asked.has(commit)) asked.set(commit, changedSince(repo.root, commit));
+      if (!asked.has(commit)) asked.set(commit, outsideEvidence(changedSince(repo.root, commit)));
       return asked.get(commit) ?? null;
     },
   };

package/dist/slices.d.ts

@@ -1,24 +0,0 @@
-/**
- * Slices, the code they claim and the records that describe them, for
- * `review`'s list of slices whose code changed while their records did not
- * (Core §10) and for `context <path>`.
- *
- * A slice's code is what its `source`, `backend` and `contract` claims match;
- * its `verification` and `documentation` claims are checks and prose, not
- * implementation. The records that describe a slice are the slice itself, the
- * behaviors it implements, the rules that govern them, the scenarios that
- * illustrate them, the verifications of any of those, the contracts it
- * exposes, and the decisions that inform the slice, its behaviors or its
- * contracts. Knowledge is left out: it explains the model to an audience, and
- * review pins already mark it for review when the model changes.
- */
-import { type Artifact, type Graph } from "@intentset/core";
-/** Every slice that is not retired and has slice metadata, sorted by ID. */
-export declare function activeSlices(graph: Graph): Artifact[];
-/** The slices with any claim matching `path`, sorted by ID. */
-export declare function claimingSlices(graph: Graph, path: string): Artifact[];
-/** True when one of the slice's source, backend or contract claims matches `path`. */
-export declare function isSliceCode(slice: Artifact, path: string): boolean;
-/** The IDs of the records that describe a slice, the slice included, sorted. Only IDs present in the graph. */
-export declare function describingRecords(graph: Graph, slice: Artifact): string[];
-//# sourceMappingURL=slices.d.ts.map

package/dist/slices.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"slices.d.ts","sourceRoot":"","sources":["../src/slices.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,KAAK,QAAQ,EAAkB,KAAK,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAK5E,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,EAAE,CAIrD;AAED,+DAA+D;AAC/D,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAErE;AAED,sFAAsF;AACtF,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAElE;AAED,+GAA+G;AAC/G,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,GAAG,MAAM,EAAE,CAgBzE"}

package/dist/slices.js

@@ -1,48 +0,0 @@
-/**
- * Slices, the code they claim and the records that describe them, for
- * `review`'s list of slices whose code changed while their records did not
- * (Core §10) and for `context <path>`.
- *
- * A slice's code is what its `source`, `backend` and `contract` claims match;
- * its `verification` and `documentation` claims are checks and prose, not
- * implementation. The records that describe a slice are the slice itself, the
- * behaviors it implements, the rules that govern them, the scenarios that
- * illustrate them, the verifications of any of those, the contracts it
- * exposes, and the decisions that inform the slice, its behaviors or its
- * contracts. Knowledge is left out: it explains the model to an audience, and
- * review pins already mark it for review when the model changes.
- */
-import { compareStrings } from "@intentset/core";
-import { matchGlob } from "./glob.js";
-const CODE_CLAIMS = new Set(["source", "backend", "contract"]);
-/** Every slice that is not retired and has slice metadata, sorted by ID. */
-export function activeSlices(graph) {
-    return [...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));
-}
-/** The slices with any claim matching `path`, sorted by ID. */
-export function claimingSlices(graph, path) {
-    return activeSlices(graph).filter((slice) => slice.meta.slice?.claims.some((claim) => matchGlob(claim.path, path)));
-}
-/** True when one of the slice's source, backend or contract claims matches `path`. */
-export function isSliceCode(slice, path) {
-    return slice.meta.slice?.claims.some((claim) => CODE_CLAIMS.has(claim.kind) && matchGlob(claim.path, path)) ?? false;
-}
-/** The IDs of the records that describe a slice, the slice included, sorted. Only IDs present in the graph. */
-export function describingRecords(graph, slice) {
-    const out = new Set([slice.meta.id]);
-    const targets = (id, kind) => (graph.out.get(id) ?? []).filter((edge) => edge.kind === kind).map((edge) => edge.to);
-    const sources = (id, kind) => (graph.in.get(id) ?? []).filter((edge) => edge.kind === kind).map((edge) => edge.from);
-    const behaviors = targets(slice.meta.id, "implements");
-    const rules = behaviors.flatMap((id) => targets(id, "governedBy"));
-    const scenarios = behaviors.flatMap((id) => sources(id, "illustrates"));
-    const claims = [...behaviors, ...rules, ...scenarios];
-    const verifications = claims.flatMap((id) => sources(id, "verifies"));
-    const contracts = targets(slice.meta.id, "exposes");
-    const decisions = [slice.meta.id, ...behaviors, ...contracts].flatMap((id) => targets(id, "informedBy"));
-    for (const id of [...claims, ...verifications, ...contracts, ...decisions])
-        out.add(id);
-    return [...out].filter((id) => graph.artifacts.has(id)).sort(compareStrings);
-}
-//# sourceMappingURL=slices.js.map

package/dist/slices.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"slices.js","sourceRoot":"","sources":["../src/slices.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAiB,cAAc,EAAc,MAAM,iBAAiB,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;AAE/D,4EAA4E;AAC5E,MAAM,UAAU,YAAY,CAAC,KAAY;IACvC,OAAO,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;SACjC,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;AAC1D,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,cAAc,CAAC,KAAY,EAAE,IAAY;IACvD,OAAO,YAAY,CAAC,KAAK,CAAC,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;AACtH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,WAAW,CAAC,KAAe,EAAE,IAAY;IACvD,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;AACvH,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,iBAAiB,CAAC,KAAY,EAAE,KAAe;IAC7D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,EAAE,CAC3C,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,IAAY,EAAE,EAAE,CAC3C,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEzF,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC;IACvD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,EAAE,GAAG,KAAK,EAAE,GAAG,SAAS,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC;IACzG,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,aAAa,EAAE,GAAG,SAAS,EAAE,GAAG,SAAS,CAAC;QAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxF,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAC/E,CAAC"}

package/src/slices.ts

@@ -1,54 +0,0 @@
-/**
- * Slices, the code they claim and the records that describe them, for
- * `review`'s list of slices whose code changed while their records did not
- * (Core §10) and for `context <path>`.
- *
- * A slice's code is what its `source`, `backend` and `contract` claims match;
- * its `verification` and `documentation` claims are checks and prose, not
- * implementation. The records that describe a slice are the slice itself, the
- * behaviors it implements, the rules that govern them, the scenarios that
- * illustrate them, the verifications of any of those, the contracts it
- * exposes, and the decisions that inform the slice, its behaviors or its
- * contracts. Knowledge is left out: it explains the model to an audience, and
- * review pins already mark it for review when the model changes.
- */
-import { type Artifact, compareStrings, type Graph } from "@intentset/core";
-import { matchGlob } from "./glob.ts";
-
-const CODE_CLAIMS = new Set(["source", "backend", "contract"]);
-
-/** Every slice that is not retired and has slice metadata, sorted by ID. */
-export function activeSlices(graph: Graph): Artifact[] {
-  return [...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));
-}
-
-/** The slices with any claim matching `path`, sorted by ID. */
-export function claimingSlices(graph: Graph, path: string): Artifact[] {
-  return activeSlices(graph).filter((slice) => slice.meta.slice?.claims.some((claim) => matchGlob(claim.path, path)));
-}
-
-/** True when one of the slice's source, backend or contract claims matches `path`. */
-export function isSliceCode(slice: Artifact, path: string): boolean {
-  return slice.meta.slice?.claims.some((claim) => CODE_CLAIMS.has(claim.kind) && matchGlob(claim.path, path)) ?? false;
-}
-
-/** The IDs of the records that describe a slice, the slice included, sorted. Only IDs present in the graph. */
-export function describingRecords(graph: Graph, slice: Artifact): string[] {
-  const out = new Set<string>([slice.meta.id]);
-  const targets = (id: string, kind: string) =>
-    (graph.out.get(id) ?? []).filter((edge) => edge.kind === kind).map((edge) => edge.to);
-  const sources = (id: string, kind: string) =>
-    (graph.in.get(id) ?? []).filter((edge) => edge.kind === kind).map((edge) => edge.from);
-
-  const behaviors = targets(slice.meta.id, "implements");
-  const rules = behaviors.flatMap((id) => targets(id, "governedBy"));
-  const scenarios = behaviors.flatMap((id) => sources(id, "illustrates"));
-  const claims = [...behaviors, ...rules, ...scenarios];
-  const verifications = claims.flatMap((id) => sources(id, "verifies"));
-  const contracts = targets(slice.meta.id, "exposes");
-  const decisions = [slice.meta.id, ...behaviors, ...contracts].flatMap((id) => targets(id, "informedBy"));
-  for (const id of [...claims, ...verifications, ...contracts, ...decisions]) out.add(id);
-  return [...out].filter((id) => graph.artifacts.has(id)).sort(compareStrings);
-}