@intentset/cli 0.10.0 → 0.12.0

package/dist/slices.d.ts

@@ -1,24 +1,6 @@
 /**
- * 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, 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[];
+export { activeSlices, claimingSlices, describingRecords, isSliceCode } from "@intentset/core";
 //# sourceMappingURL=slices.d.ts.map

package/dist/slices.d.ts.map

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"slices.d.ts","sourceRoot":"","sources":["../src/slices.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/slices.js

@@ -1,48 +1,6 @@
 /**
- * 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 { 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);
-}
+export { activeSlices, claimingSlices, describingRecords, isSliceCode } from "@intentset/core";
 //# sourceMappingURL=slices.js.map

package/dist/slices.js.map

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"slices.js","sourceRoot":"","sources":["../src/slices.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/subject.d.ts

@@ -2,6 +2,8 @@ import type { EvidenceBinding, Graph } from "@intentset/core";
 import { type BindingDecision, type Subject, type SubjectSource } from "@intentset/verification";
 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 declare const EVIDENCE_DIR = ".intentset/evidence";
 /** The binding in force: the option, else the configuration, else the default (Core §8). */
 export declare function bindingFor(repo: Repository, graph: Graph, given: EvidenceBinding | undefined): BindingDecision;
 /** The architecture's resolution over the tree, reading file contents from disk. */

package/dist/subject.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"subject.d.ts","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACL,KAAK,eAAe,EAGpB,KAAK,OAAO,EACZ,KAAK,aAAa,EAEnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,eAAe,CAE9G;AAED,oFAAoF;AACpF,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,aAAa,CAanF;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,EAAE,aAAa,CAAC;IACtB,kEAAkE;IAClE,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,EAAE,GAAG,IAAI,CAAC;CACnD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAW/E"}
+{"version":3,"file":"subject.d.ts","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EACL,KAAK,eAAe,EAGpB,KAAK,OAAO,EACZ,KAAK,aAAa,EAEnB,MAAM,yBAAyB,CAAC;AAEjC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,sGAAsG;AACtG,eAAO,MAAM,YAAY,wBAAwB,CAAC;AAWlD,4FAA4F;AAC5F,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,eAAe,CAE9G;AAED,oFAAoF;AACpF,wBAAgB,SAAS,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,aAAa,CAanF;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,MAAM,EAAE,aAAa,CAAC;IACtB,kEAAkE;IAClE,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,EAAE,GAAG,IAAI,CAAC;CACnD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,CAW/E"}

package/dist/subject.js

@@ -10,6 +10,16 @@ import { join } from "node:path";
 import { subjectSource } from "@intentset/architecture";
 import { hasSliceClaims, resolveBinding, subjectsFor, } from "@intentset/verification";
 import { changedSince } from "./git.js";
+/** 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) {
+    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, graph, given) {
     return resolveBinding(given ?? repo.config.evidence.binding, hasSliceClaims(graph));
@@ -38,7 +48,7 @@ export function subjectsOf(repo, graph, tree) {
         source,
         changedSince: (commit) => {
             if (!asked.has(commit))
-                asked.set(commit, changedSince(repo.root, commit));
+                asked.set(commit, outsideEvidence(changedSince(repo.root, commit)));
             return asked.get(commit) ?? null;
         },
     };

package/dist/subject.js.map

@@ -1 +1 @@
-{"version":3,"file":"subject.js","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAEL,cAAc,EACd,cAAc,EAGd,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAIxC,4FAA4F;AAC5F,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,KAAkC;IAC3F,OAAO,cAAc,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IAClE,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE;QACjD,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS;QACzC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AASD,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IACnE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,OAAO;QACL,QAAQ,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;QACpC,MAAM;QACN,YAAY,EAAE,CAAC,MAAM,EAAE,EAAE;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC3E,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"subject.js","sourceRoot":"","sources":["../src/subject.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAEL,cAAc,EACd,cAAc,EAGd,WAAW,GACZ,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAIxC,sGAAsG;AACtG,MAAM,CAAC,MAAM,YAAY,GAAG,qBAAqB,CAAC;AAElD;;;;GAIG;AACH,SAAS,eAAe,CAAC,KAAsB;IAC7C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC;AACvH,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,KAAkC;IAC3F,OAAO,cAAc,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,SAAS,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IAClE,OAAO,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE;QACjD,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS;QACzC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY;QAC/C,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;YACjB,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;YAC7C,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AASD,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,KAAY,EAAE,IAAU;IACnE,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,OAAO;QACL,QAAQ,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,CAAC;QACpC,MAAM;QACN,YAAY,EAAE,CAAC,MAAM,EAAE,EAAE;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,eAAe,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;YAC5F,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QACnC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intentset/cli",
-  "version": "0.10.0",
+  "version": "0.12.0",
   "description": "The intentset command: validate, graph, architecture check, evidence, impact, review, publish, serve, context, mcp, guide.",
   "keywords": [
     "intentset",
@@ -39,14 +39,14 @@
     "intentset": "./dist/intentset.js"
   },
   "dependencies": {
-    "@intentset/core": "^0.10.0",
-    "@intentset/markset-adapter": "^0.10.0",
-    "@intentset/architecture": "^0.10.0",
-    "@intentset/verification": "^0.10.0",
-    "@intentset/publisher": "^0.10.0",
-    "@intentset/atlas": "^0.10.0",
-    "@intentset/mcp": "^0.10.0",
-    "@intentset/conformance-suite": "^0.10.0"
+    "@intentset/core": "^0.12.0",
+    "@intentset/markset-adapter": "^0.12.0",
+    "@intentset/architecture": "^0.12.0",
+    "@intentset/verification": "^0.12.0",
+    "@intentset/publisher": "^0.12.0",
+    "@intentset/atlas": "^0.12.0",
+    "@intentset/mcp": "^0.12.0",
+    "@intentset/conformance-suite": "^0.12.0"
   },
   "devDependencies": {
     "@modelcontextprotocol/sdk": "^1.32.0"

package/src/agents.ts

@@ -85,6 +85,10 @@ Update the records in the same change as the code.
   slice is a draft, the paths it plans may not exist yet.
 - A changed check: a verification record names the test that checks a claim. Change the test and its record
   together, and add one for a behavior or rule that has none.
+- Whether the work is built: a capability, behavior, rule, scenario, slice or contract says so in \`delivery\`.
+  Write \`delivery: built\` on a record you wrote from code that exists, \`delivery: planned\` on one that proposes
+  work, and change \`planned\` to \`built\` in the change that builds it. It states a fact about the code, not an
+  approval, so you may set it; a draft that says \`built\` is still a draft until a person approves it.
 
 Write each link once, on the record that points: a behavior is \`governedBy\` its rules, a scenario \`illustrates\`
 a behavior, a slice \`implements\` behaviors, a verification \`verifies\` what it checks. Never write the reverse.
@@ -134,8 +138,10 @@ level-one heading repeats its title. Plain Markdown is valid Markset. For the re
 callouts, tables and other constructs a record may use and the codes \`validate\` reports for them, read Markset's
 guide at ${MARKSET_GUIDE_URL}, or print it with \`${markset}\`.
 
-An existing record of the same type in this repository is the best template; a new behavior looks like this, one
-recognizable promise including how it fails:
+An existing record of the same type in this repository is the best template; in a repository with none yet,
+\`${run} init --example --root <an empty directory>\` writes one record of each type there to read. A capability sits
+under an outcome, an outcome under an intent, and an intent under the product, so the first capability brings those
+three with it. A new behavior looks like this, one recognizable promise including how it fails:
 
 \`\`\`markdown
 ---
@@ -147,6 +153,7 @@ intentset:
   type: behavior
   title: The promise in a few words, such as Schedule a student assessment
   status: draft
+  delivery: planned
   owner: <an owner from the registry>
   visibility: internal
   audiences: [engineering, product]
@@ -173,6 +180,40 @@ What must be true first.
 Success: what happens. Failure: what is rejected, and what is left unchanged.
 \`\`\`
 
+A verification record binds a check to what it verifies. An automated one names the test file and a selector the
+test's title holds as whole words (a \`describe\`'s name binds all of its tests), which is how \`evidence import\`
+matches a run to it:
+
+\`\`\`markdown
+---
+markset: 0
+intentset:
+  spec: '0.2'
+  profile: intentset/verification/0.2
+  id: TEST-AREA-NAME
+  type: verification
+  title: What the check proves, such as Unit test of scheduling an assessment
+  status: draft
+  owner: <an owner from the registry>
+  visibility: internal
+  audiences: [engineering]
+  links:
+    verifies: [BEH-AREA-NAME, RULE-AREA-LIMIT]
+  verification:
+    method: automated
+    locator: src/area/name.test.ts
+    selector: the test's title, or the describe's name
+---
+
+# What the check proves, such as Unit test of scheduling an assessment
+
+## Procedure
+The runner and the file, and the cases it covers, the failure cases included.
+
+## Expected result
+What a pass shows.
+\`\`\`
+
 A knowledge record explains behaviors, rules or capabilities to one audience, in that audience's words rather than
 the behavior's. It may carry \`tips\`: one plain sentence per explained ID, at most 160 characters, which the
 product shows beside the control that delivers that behavior once the knowledge is reviewed and published.

package/src/commands/context.ts

@@ -21,7 +21,9 @@ import {
   type ContextRole,
   compareStrings,
   contextFor,
+  type Diagnostic,
   type Graph,
+  ID_PATTERN,
   type LinkKind,
 } from "@intentset/core";
 import { count, formatDiagnostic, type Io, json, snapshotLine, TOOL } from "../output.ts";
@@ -29,6 +31,21 @@ import type { Session } from "../session.ts";
 import { claimingSlices } from "../slices.ts";
 import { unresolved, validationLine, validationSummary } from "./shared.ts";
 
+/** A file no slice claims has no context to load; VSA009 is the claims rule the architecture check reports it under. */
+function unclaimed(path: string, session: Session): Diagnostic {
+  const slices = [...session.result.graph.artifacts.values()].filter((a) => a.meta.type === "slice").length;
+  return {
+    code: "VSA009",
+    severity: "error",
+    origin: "architecture",
+    artifact: null,
+    path,
+    message: `No slice claims ${path}, so there is no context to load for it (${count(slices, "slice")} in this graph).`,
+    remediation:
+      "Give the ID of the record whose context to load, or add the file to the claims of the slice that owns it (VSA §2).",
+  };
+}
+
 /**
  * The artifact a `context` argument names: itself when it is an ID, else the
  * one slice whose claims include it as a file path, relative to the working
@@ -81,9 +98,12 @@ export function contextCommand(
   }
   const via = "id" in target ? target.path : null;
   const id = "id" in target ? target.id : argument;
-  const bundle = contextFor(graph, id, { includeRestricted });
+  const bundle = "slices" in target && !ID_PATTERN.test(argument) ? null : contextFor(graph, id, { includeRestricted });
   if (bundle === null) {
-    const diagnostic = unresolved(id, session);
+    // An argument that is not an ID was a file path, and no slice claims it: say that, rather than reading the
+    // path as a malformed ID, since the agent gave the file it is about to edit and wants to know what owns it.
+    const diagnostic =
+      "slices" in target && !ID_PATTERN.test(argument) ? unclaimed(target.path, session) : unresolved(id, session);
     if (asJson) {
       io.stdout(
         json({

package/src/commands/graph.ts

@@ -1,6 +1,6 @@
 /**
  * `intentset graph --format json` (spec/export.md, Core §12): the
- * `intentset/export/0.4` envelope over the validated repository, with the
+ * `intentset/export/0.5` envelope over the validated repository, with the
  * report sections `--report` asks for. 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

package/src/commands/init.ts

@@ -54,14 +54,16 @@ export const EMPTY_REGISTRIES_TEXT = [
   "# Intentset registries (Core §4, §6, §7; VSA §3): the owners, audiences, release dimensions,",
   "# evidence sources and shared resources records may name. An empty registry reads as not",
   "# declared, and validate warns (CORE005) when a record names a value it could not check.",
-  "owners: []",
-  "audiences: []",
-  "releases: []",
-  "roles: []",
-  "editions: []",
-  "flags: []",
-  "evidenceSources: []",
-  "resources: []",
+  "# Every record names an owner and audiences from these lists, and a behavior names at least",
+  "# one release, one role and one edition, so fill each of those before the first record.",
+  "owners: []          # who owns records, a team or a person, such as team-shop",
+  "audiences: []       # who records are written for, such as engineering and product",
+  "releases: []        # labels of the releases behaviors are available in, such as v1",
+  "roles: []           # roles of the product's users, such as shopper; a product with none still names one",
+  "editions: []        # editions the product ships in, such as standard; likewise",
+  "flags: []           # feature flags a behavior may require; usually none",
+  "evidenceSources: [] # where a measure's reading comes from, such as product-analytics",
+  "resources: []       # resources slices share, such as a data layer, each with its owner and consumers",
   "",
 ].join("\n");