@intentset/cli 0.10.0 → 0.12.0

package/src/slices.ts

@@ -1,54 +1,5 @@
 /**
- * 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.
+ * The slice helpers `review` and `context` use. They moved to `@intentset/core` in 0.11.0 (ADR 0016), where `select`
+ * shares them; the CLI re-exports them for one release, and from 0.12.0 a consumer imports them from core.
  */
-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);
-}
+export { activeSlices, claimingSlices, describingRecords, isSliceCode } from "@intentset/core";

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;
     },
   };