@intentset/architecture 0.6.1 → 0.7.1

package/README.md

@@ -0,0 +1,48 @@
+# @intentset/architecture
+
+The Traceable Vertical Slice Architecture checker (`spec/vsa-0.2.md`) with the TypeScript and AWS Amplify Gen 2
+profile's boundaries: path claims and ownership, the import graph read with TypeScript 7's scanner, regions, layers,
+areas, exceptions and a baseline of known violations. It reads files it is given and runs nothing.
+
+## Install
+
+```sh
+npm install @intentset/architecture
+pnpm add @intentset/architecture
+```
+
+## Example
+
+Most repositories run it through the CLI, `@intentset/cli`, at L2:
+
+```sh
+npx -p @intentset/cli intentset architecture check
+npx -p @intentset/cli intentset architecture check --mode strict   # no baseline: every violation fails
+```
+
+With pnpm, `pnpm dlx --package=@intentset/cli intentset …`, or `pnpm exec intentset …` once `@intentset/cli` is
+installed. The command is always `@intentset/cli`'s: this package has no `intentset` binary, and npx asked
+for `intentset` alone would fetch an unrelated unscoped package from the registry.
+
+From code, after core's validation:
+
+```ts
+import { checkArchitecture } from "@intentset/architecture";
+
+// result from validate(), registries from readRegistries(), files: a Map of repository-relative path -> text
+const check = checkArchitecture(result.graph, registries, { files });
+for (const d of check.diagnostics) console.log(d.path, d.code, d.message);
+```
+
+It needs TypeScript 7 as a peer. On an earlier TypeScript, run the CLI without installing it:
+`npx -p @intentset/cli -p typescript@7 intentset architecture check`.
+
+## Learn more
+
+Part of [Intentset](https://intentset.org/), which keeps product intent connected to the code that delivers it and the
+checks that verify it, as readable Markdown files in a repository. The specifications are at
+https://intentset.org/specifications/ and the source at https://github.com/intentset/intentset.
+
+## Licence
+
+MIT

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 /**
- * @intentset/architecture: the Traceable VSA checker (spec/vsa-0.1.md) with
+ * @intentset/architecture: the Traceable VSA checker (spec/vsa-0.2.md) with
  * the TypeScript + Amplify Gen 2 profile's boundaries
- * (spec/profile-typescript-amplify-gen2-0.1.md). `checkArchitecture` is the
+ * (spec/profile-typescript-amplify-gen2-0.2.md). `checkArchitecture` is the
  * whole check; the rest is exported for reports, tools and tests.
  */
 export { AREA_REVIEW_REQUIRED, areaOf, backendAreaOf, checkAreas, isAreaSchema } from "./areas.ts";
@@ -17,6 +17,7 @@ export type { Finding, SubjectEdge } from "./finding.ts";
 export { buildImportGraph, type ImportEdge, type ImportGraph, type UnresolvedImport } from "./imports.ts";
 export { inSeam, isPure, layerAllows, layerOf, purePatterns, seamPatterns } from "./layers.ts";
 export { checkOwnership } from "./ownership.ts";
+export { type ArchitectureSubjectSource, type SubjectSourceOptions, subjectSource } from "./subject-source.ts";
 export { expandClaims, matchAny, matchPattern, validatePattern } from "./patterns.ts";
 export { activeSlices, buildModel, type Model, type Region, type RegionKind, regionLabel, type SliceInfo, } from "./regions.ts";
 export { type Resolution, Resolver, type Via } from "./resolve.ts";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EACL,aAAa,EACb,KAAK,aAAa,EAClB,WAAW,EACX,KAAK,IAAI,EACT,aAAa,EACb,YAAY,EACZ,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC1G,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,iBAAiB,EACjB,eAAe,EACf,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EACL,wBAAwB,EACxB,KAAK,UAAU,EACf,KAAK,kBAAkB,EACvB,2BAA2B,EAC3B,SAAS,EACT,sBAAsB,EACtB,aAAa,GACd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACxF,OAAO,EACL,QAAQ,EACR,eAAe,EACf,MAAM,EACN,mBAAmB,EACnB,KAAK,eAAe,EACpB,mBAAmB,EACnB,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,UAAU,EACf,cAAc,EACd,aAAa,EACb,SAAS,EACT,KAAK,SAAS,EACd,YAAY,EACZ,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,UAAU,EACf,KAAK,eAAe,GACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,KAAK,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EACL,YAAY,EACZ,UAAU,EACV,KAAK,KAAK,EACV,KAAK,MAAM,EACX,KAAK,UAAU,EACf,WAAW,EACX,KAAK,SAAS,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,UAAU,EAAE,QAAQ,EAAE,KAAK,GAAG,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,KAAK,QAAQ,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EACL,aAAa,EACb,KAAK,aAAa,EAClB,WAAW,EACX,KAAK,IAAI,EACT,aAAa,EACb,YAAY,EACZ,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,cAAc,EAAE,eAAe,EAAE,iBAAiB,EAAE,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC1G,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,iBAAiB,EACjB,eAAe,EACf,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EACL,wBAAwB,EACxB,KAAK,UAAU,EACf,KAAK,kBAAkB,EACvB,2BAA2B,EAC3B,SAAS,EACT,sBAAsB,EACtB,aAAa,GACd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACxF,OAAO,EACL,QAAQ,EACR,eAAe,EACf,MAAM,EACN,mBAAmB,EACnB,KAAK,eAAe,EACpB,mBAAmB,EACnB,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,KAAK,UAAU,EACf,cAAc,EACd,aAAa,EACb,SAAS,EACT,KAAK,SAAS,EACd,YAAY,EACZ,KAAK,iBAAiB,EACtB,KAAK,gBAAgB,EACrB,KAAK,UAAU,EACf,KAAK,eAAe,GACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,KAAK,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,KAAK,yBAAyB,EAAE,KAAK,oBAAoB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC/G,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EACL,YAAY,EACZ,UAAU,EACV,KAAK,KAAK,EACV,KAAK,MAAM,EACX,KAAK,UAAU,EACf,WAAW,EACX,KAAK,SAAS,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,UAAU,EAAE,QAAQ,EAAE,KAAK,GAAG,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,KAAK,QAAQ,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC"}

package/dist/index.js

@@ -1,7 +1,7 @@
 /**
- * @intentset/architecture: the Traceable VSA checker (spec/vsa-0.1.md) with
+ * @intentset/architecture: the Traceable VSA checker (spec/vsa-0.2.md) with
  * the TypeScript + Amplify Gen 2 profile's boundaries
- * (spec/profile-typescript-amplify-gen2-0.1.md). `checkArchitecture` is the
+ * (spec/profile-typescript-amplify-gen2-0.2.md). `checkArchitecture` is the
  * whole check; the rest is exported for reports, tools and tests.
  */
 export { AREA_REVIEW_REQUIRED, areaOf, backendAreaOf, checkAreas, isAreaSchema } from "./areas.js";
@@ -16,6 +16,7 @@ export { extractImports, extractSchema, findCalls, SCHEMA_KINDS, } from "./extra
 export { buildImportGraph } from "./imports.js";
 export { inSeam, isPure, layerAllows, layerOf, purePatterns, seamPatterns } from "./layers.js";
 export { checkOwnership } from "./ownership.js";
+export { subjectSource } from "./subject-source.js";
 export { expandClaims, matchAny, matchPattern, validatePattern } from "./patterns.js";
 export { activeSlices, buildModel, regionLabel, } from "./regions.js";
 export { Resolver } from "./resolve.js";

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EACL,aAAa,EAEb,WAAW,EAEX,aAAa,EACb,YAAY,EACZ,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAuB,eAAe,EAAE,iBAAiB,EAAkB,MAAM,iBAAiB,CAAC;AAC1G,OAAO,EAIL,iBAAiB,EACjB,eAAe,EACf,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EACL,wBAAwB,EAGxB,2BAA2B,EAC3B,SAAS,EACT,sBAAsB,EACtB,aAAa,GACd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACxF,OAAO,EACL,QAAQ,EACR,eAAe,EACf,MAAM,EACN,mBAAmB,EAEnB,mBAAmB,EACnB,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAEL,cAAc,EACd,aAAa,EACb,SAAS,EAET,YAAY,GAKb,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,gBAAgB,EAA4D,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EACL,YAAY,EACZ,UAAU,EAIV,WAAW,GAEZ,MAAM,cAAc,CAAC;AACtB,OAAO,EAAmB,QAAQ,EAAY,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAiB,SAAS,EAAE,MAAM,eAAe,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACnG,OAAO,EACL,aAAa,EAEb,WAAW,EAEX,aAAa,EACb,YAAY,EACZ,aAAa,GACd,MAAM,eAAe,CAAC;AACvB,OAAO,EAAuB,eAAe,EAAE,iBAAiB,EAAkB,MAAM,iBAAiB,CAAC;AAC1G,OAAO,EAIL,iBAAiB,EACjB,eAAe,EACf,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EACL,wBAAwB,EAGxB,2BAA2B,EAC3B,SAAS,EACT,sBAAsB,EACtB,aAAa,GACd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACxF,OAAO,EACL,QAAQ,EACR,eAAe,EACf,MAAM,EACN,mBAAmB,EAEnB,mBAAmB,EACnB,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAEL,cAAc,EACd,aAAa,EACb,SAAS,EAET,YAAY,GAKb,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,gBAAgB,EAA4D,MAAM,cAAc,CAAC;AAC1G,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAA6D,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC/G,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACtF,OAAO,EACL,YAAY,EACZ,UAAU,EAIV,WAAW,GAEZ,MAAM,cAAc,CAAC;AACtB,OAAO,EAAmB,QAAQ,EAAY,MAAM,cAAc,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAiB,SAAS,EAAE,MAAM,eAAe,CAAC"}

package/dist/patterns.d.ts

@@ -6,7 +6,7 @@
  * only way to write a star that spans segments is `**` mixed with other
  * characters, which validatePattern rejects.
  */
-/** Why a pattern is not a v0.1 pattern, or null when it is one. */
+/** Why a pattern is not a v0.2 pattern, or null when it is one. */
 export declare function validatePattern(pattern: string): string | null;
 /** Does a repository-relative path match a VSA §3 pattern? Invalid patterns match nothing. */
 export declare function matchPattern(pattern: string, path: string): boolean;

package/dist/patterns.js

@@ -6,7 +6,7 @@
  * only way to write a star that spans segments is `**` mixed with other
  * characters, which validatePattern rejects.
  */
-/** Why a pattern is not a v0.1 pattern, or null when it is one. */
+/** Why a pattern is not a v0.2 pattern, or null when it is one. */
 export function validatePattern(pattern) {
     if (pattern === "")
         return "is empty";

package/dist/subject-source.d.ts

@@ -0,0 +1,42 @@
+/**
+ * What the evidence package's subject hash needs from the architecture
+ * (Core §8, ADR 0013): the files each slice's claims resolve to, the files of
+ * each registry resource, the local files a test imports (resolved with the
+ * same TypeScript-aware resolver as the import graph, and stopping at a
+ * package boundary), the global inputs expanded to paths, which resource files a
+ * subject hashes (`evidence.resources`, Core §8) and which files can move any
+ * subject at all. Pure: it reads the tree it is given and the file
+ * contents through the function it is given.
+ */
+import { type EvidenceDependencies, type EvidenceResources, type Graph, type Registries } from "@intentset/core";
+import { type ArchitectureConfig } from "./config.ts";
+export interface SubjectSourceOptions {
+    /** Laid over the defaults and `.intentset/architecture.yaml`, as for `checkArchitecture`. */
+    config?: Partial<ArchitectureConfig>;
+    /** `evidence.globalInputs`: paths, or patterns expanded over the tree. */
+    globalInputs: readonly string[];
+    /** `evidence.resources`: `exercised` (the default) or `used`; the evidence package's subject reads it from the source this returns. */
+    resources?: EvidenceResources;
+    /** `evidence.dependencies`: what a dependency slice contributes; the subject reads it from the source this returns. */
+    dependencies?: EvidenceDependencies;
+    /** The bytes of a repository-relative file, or undefined when it does not exist. */
+    readFile: (path: string) => Uint8Array | undefined;
+}
+/** Shaped as the evidence package's `SubjectSource`, which this package does not import. */
+export interface ArchitectureSubjectSource {
+    readFile: (path: string) => Uint8Array | undefined;
+    sliceFiles: Map<string, string[]>;
+    resources: Map<string, {
+        record: unknown;
+        files: string[];
+    }>;
+    localImports: (path: string) => string[];
+    globalInputs: string[];
+    resourceMode: EvidenceResources;
+    dependencyMode: EvidenceDependencies;
+    covers: (path: string) => boolean;
+}
+export declare function subjectSource(graph: Graph, registries: Registries, tree: {
+    files: ReadonlyMap<string, string>;
+}, options: SubjectSourceOptions): ArchitectureSubjectSource;
+//# sourceMappingURL=subject-source.d.ts.map

package/dist/subject-source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"subject-source.d.ts","sourceRoot":"","sources":["../src/subject-source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAEL,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,KAAK,EACV,KAAK,UAAU,EAChB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAA4B,KAAK,kBAAkB,EAAyC,MAAM,aAAa,CAAC;AAOvH,MAAM,WAAW,oBAAoB;IACnC,6FAA6F;IAC7F,MAAM,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACrC,0EAA0E;IAC1E,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IAChC,uIAAuI;IACvI,SAAS,CAAC,EAAE,iBAAiB,CAAC;IAC9B,uHAAuH;IACvH,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC,oFAAoF;IACpF,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,UAAU,GAAG,SAAS,CAAC;CACpD;AAED,4FAA4F;AAC5F,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,UAAU,GAAG,SAAS,CAAC;IACnD,UAAU,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAClC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC7D,YAAY,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,EAAE,CAAC;IACzC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,YAAY,EAAE,iBAAiB,CAAC;IAChC,cAAc,EAAE,oBAAoB,CAAC;IACrC,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CACnC;AAaD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,KAAK,EACZ,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE;IAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAAE,EAC5C,OAAO,EAAE,oBAAoB,GAC5B,yBAAyB,CA6F3B"}

package/dist/subject-source.js

@@ -0,0 +1,133 @@
+/**
+ * What the evidence package's subject hash needs from the architecture
+ * (Core §8, ADR 0013): the files each slice's claims resolve to, the files of
+ * each registry resource, the local files a test imports (resolved with the
+ * same TypeScript-aware resolver as the import graph, and stopping at a
+ * package boundary), the global inputs expanded to paths, which resource files a
+ * subject hashes (`evidence.resources`, Core §8) and which files can move any
+ * subject at all. Pure: it reads the tree it is given and the file
+ * contents through the function it is given.
+ */
+import { DEFAULT_EVIDENCE_DEPENDENCIES, } from "@intentset/core";
+import { ARCHITECTURE_CONFIG_PATH, readArchitectureConfig, resolveConfig } from "./config.js";
+import { extractImports } from "./extract.js";
+import { isCode } from "./paths.js";
+import { compareStrings, matchPattern } from "./patterns.js";
+import { buildModel } from "./regions.js";
+import { Resolver } from "./resolve.js";
+/** A global input with no `*` is a path, present or not (a missing one moves the subject when it appears); the rest are patterns. */
+function expandGlobalInputs(inputs, paths) {
+    const all = [...paths];
+    const out = new Set();
+    for (const input of inputs) {
+        if (!input.includes("*"))
+            out.add(input);
+        else
+            for (const path of all)
+                if (matchPattern(input, path))
+                    out.add(path);
+    }
+    return [...out].sort(compareStrings);
+}
+export function subjectSource(graph, registries, tree, options) {
+    const configText = tree.files.get(ARCHITECTURE_CONFIG_PATH);
+    const fileConfig = configText === undefined ? undefined : readArchitectureConfig(configText, ARCHITECTURE_CONFIG_PATH).config;
+    const config = resolveConfig(fileConfig, options.config);
+    const model = buildModel(graph, registries, tree.files, config);
+    const sliceFiles = new Map();
+    for (const slice of model.slices) {
+        sliceFiles.set(slice.id, [...new Set(slice.claimFiles.flat())].sort(compareStrings));
+    }
+    const resources = new Map();
+    for (const info of model.resources)
+        resources.set(info.resource.id, { record: info.resource, files: [...info.files] });
+    let resolver = null;
+    const closures = new Map();
+    const importsOf = (path) => {
+        resolver ??= new Resolver(model.files, config);
+        const text = model.files.get(path);
+        if (text === undefined || !isCode(path))
+            return [];
+        const targets = [];
+        for (const raw of extractImports(path, text).imports) {
+            const resolution = resolver.resolve(path, raw.specifier);
+            if (resolution.problem === undefined && resolution.to !== null)
+                targets.push(resolution.to);
+        }
+        return targets;
+    };
+    const localImports = (start) => {
+        const cached = closures.get(start);
+        if (cached !== undefined)
+            return cached;
+        const boundary = model.packageOf(start);
+        const seen = new Set([start]);
+        const queue = [start];
+        while (queue.length > 0) {
+            const file = queue.pop();
+            for (const target of importsOf(file)) {
+                if (seen.has(target) || model.packageOf(target) !== boundary)
+                    continue;
+                seen.add(target);
+                queue.push(target);
+            }
+        }
+        seen.delete(start);
+        const list = [...seen].sort(compareStrings);
+        closures.set(start, list);
+        return list;
+    };
+    const globalInputs = expandGlobalInputs(options.globalInputs, tree.files.keys());
+    const resourceMode = options.resources ?? "exercised";
+    let covered = null;
+    const covers = (path) => {
+        if (covered === null) {
+            covered = new Set(globalInputs);
+            for (const files of sliceFiles.values())
+                for (const file of files)
+                    covered.add(file);
+            // The resources some subject hashes: under `used`, every one a slice lists; under `exercised`, the ones a slice
+            // that implements a behavior lists and also claims a file of (its own), and the ones a verification exercises.
+            const used = new Set();
+            for (const slice of model.slices) {
+                const implementing = (graph.artifacts.get(slice.id)?.meta.links.implements ?? []).length > 0;
+                for (const id of slice.meta.usesResources) {
+                    if (resourceMode === "used")
+                        used.add(id);
+                    else if (implementing) {
+                        const files = new Set(resources.get(id)?.files ?? []);
+                        if ((sliceFiles.get(slice.id) ?? []).some((file) => files.has(file)))
+                            used.add(id);
+                    }
+                }
+            }
+            for (const artifact of graph.artifacts.values()) {
+                covered.add(artifact.path);
+                const verification = artifact.meta.verification;
+                if (artifact.meta.type !== "verification" || verification === undefined)
+                    continue;
+                covered.add(verification.locator);
+                for (const file of localImports(verification.locator))
+                    covered.add(file);
+                for (const id of verification.exercises ?? [])
+                    used.add(id);
+            }
+            for (const id of used)
+                for (const file of resources.get(id)?.files ?? [])
+                    covered.add(file);
+        }
+        return covered.has(path);
+    };
+    const dependencyMode = options.dependencies ?? DEFAULT_EVIDENCE_DEPENDENCIES;
+    return {
+        readFile: options.readFile,
+        sliceFiles,
+        resources,
+        localImports,
+        globalInputs,
+        resourceMode,
+        dependencyMode,
+        covers,
+    };
+}
+//# sourceMappingURL=subject-source.js.map

package/dist/subject-source.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subject-source.js","sourceRoot":"","sources":["../src/subject-source.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EACL,6BAA6B,GAK9B,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,wBAAwB,EAA2B,sBAAsB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACvH,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACpC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AA2BxC,qIAAqI;AACrI,SAAS,kBAAkB,CAAC,MAAyB,EAAE,KAAuB;IAC5E,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IACvB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;;YACpC,KAAK,MAAM,IAAI,IAAI,GAAG;gBAAE,IAAI,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAY,EACZ,UAAsB,EACtB,IAA4C,EAC5C,OAA6B;IAE7B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IAC5D,MAAM,UAAU,GACd,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC,MAAM,CAAC;IAC7G,MAAM,MAAM,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAEhE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAgD,CAAC;IAC1E,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS;QAChC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAErF,IAAI,QAAQ,GAAoB,IAAI,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,MAAM,SAAS,GAAG,CAAC,IAAY,EAAY,EAAE;QAC3C,QAAQ,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QACnD,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YACrD,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,IAAI,UAAU,CAAC,EAAE,KAAK,IAAI;gBAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9F,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,KAAa,EAAY,EAAE;QAC/C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC;QACtB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAY,CAAC;YACnC,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,QAAQ;oBAAE,SAAS;gBACvE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnB,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC5C,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAEjF,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,IAAI,WAAW,CAAC;IACtD,IAAI,OAAO,GAAuB,IAAI,CAAC;IACvC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAW,EAAE;QACvC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,GAAG,IAAI,GAAG,CAAS,YAAY,CAAC,CAAC;YACxC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE;gBAAE,KAAK,MAAM,IAAI,IAAI,KAAK;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACrF,gHAAgH;YAChH,+GAA+G;YAC/G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;gBACjC,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;gBAC7F,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC;oBAC1C,IAAI,YAAY,KAAK,MAAM;wBAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;yBACrC,IAAI,YAAY,EAAE,CAAC;wBACtB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;wBACtD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;4BAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBACrF,CAAC;gBACH,CAAC;YACH,CAAC;YACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;gBAChD,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAC3B,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC;gBAChD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,IAAI,YAAY,KAAK,SAAS;oBAAE,SAAS;gBAClF,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;gBAClC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,YAAY,CAAC,OAAO,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACzE,KAAK,MAAM,EAAE,IAAI,YAAY,CAAC,SAAS,IAAI,EAAE;oBAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9D,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,IAAI;gBAAE,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC9F,CAAC;QACD,OAAO,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC;IAEF,MAAM,cAAc,GAAG,OAAO,CAAC,YAAY,IAAI,6BAA6B,CAAC;IAC7E,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU;QACV,SAAS;QACT,YAAY;QACZ,YAAY;QACZ,YAAY;QACZ,cAAc;QACd,MAAM;KACP,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,7 +1,15 @@
 {
   "name": "@intentset/architecture",
-  "version": "0.6.1",
+  "version": "0.7.1",
   "description": "Traceable VSA checks: path claims, import graph, layer matrix, resources, exceptions, baseline.",
+  "keywords": [
+    "intentset",
+    "architecture",
+    "vertical-slice",
+    "import-graph",
+    "typescript",
+    "amplify"
+  ],
   "license": "MIT",
   "type": "module",
   "engines": {
@@ -28,7 +36,7 @@
     }
   },
   "dependencies": {
-    "@intentset/core": "^0.6.1"
+    "@intentset/core": "^0.7.1"
   },
   "peerDependencies": {
     "typescript": "^7.0.2"

package/src/index.ts

@@ -1,7 +1,7 @@
 /**
- * @intentset/architecture: the Traceable VSA checker (spec/vsa-0.1.md) with
+ * @intentset/architecture: the Traceable VSA checker (spec/vsa-0.2.md) with
  * the TypeScript + Amplify Gen 2 profile's boundaries
- * (spec/profile-typescript-amplify-gen2-0.1.md). `checkArchitecture` is the
+ * (spec/profile-typescript-amplify-gen2-0.2.md). `checkArchitecture` is the
  * whole check; the rest is exported for reports, tools and tests.
  */
 export { AREA_REVIEW_REQUIRED, areaOf, backendAreaOf, checkAreas, isAreaSchema } from "./areas.ts";
@@ -59,6 +59,7 @@ export type { Finding, SubjectEdge } from "./finding.ts";
 export { buildImportGraph, type ImportEdge, type ImportGraph, type UnresolvedImport } from "./imports.ts";
 export { inSeam, isPure, layerAllows, layerOf, purePatterns, seamPatterns } from "./layers.ts";
 export { checkOwnership } from "./ownership.ts";
+export { type ArchitectureSubjectSource, type SubjectSourceOptions, subjectSource } from "./subject-source.ts";
 export { expandClaims, matchAny, matchPattern, validatePattern } from "./patterns.ts";
 export {
   activeSlices,

package/src/patterns.ts

@@ -7,7 +7,7 @@
  * characters, which validatePattern rejects.
  */
 
-/** Why a pattern is not a v0.1 pattern, or null when it is one. */
+/** Why a pattern is not a v0.2 pattern, or null when it is one. */
 export function validatePattern(pattern: string): string | null {
   if (pattern === "") return "is empty";
   if (pattern.startsWith("/")) return "is absolute";

package/src/subject-source.ts

@@ -0,0 +1,159 @@
+/**
+ * What the evidence package's subject hash needs from the architecture
+ * (Core §8, ADR 0013): the files each slice's claims resolve to, the files of
+ * each registry resource, the local files a test imports (resolved with the
+ * same TypeScript-aware resolver as the import graph, and stopping at a
+ * package boundary), the global inputs expanded to paths, which resource files a
+ * subject hashes (`evidence.resources`, Core §8) and which files can move any
+ * subject at all. Pure: it reads the tree it is given and the file
+ * contents through the function it is given.
+ */
+import {
+  DEFAULT_EVIDENCE_DEPENDENCIES,
+  type EvidenceDependencies,
+  type EvidenceResources,
+  type Graph,
+  type Registries,
+} from "@intentset/core";
+import { ARCHITECTURE_CONFIG_PATH, type ArchitectureConfig, readArchitectureConfig, resolveConfig } from "./config.ts";
+import { extractImports } from "./extract.ts";
+import { isCode } from "./paths.ts";
+import { compareStrings, matchPattern } from "./patterns.ts";
+import { buildModel } from "./regions.ts";
+import { Resolver } from "./resolve.ts";
+
+export interface SubjectSourceOptions {
+  /** Laid over the defaults and `.intentset/architecture.yaml`, as for `checkArchitecture`. */
+  config?: Partial<ArchitectureConfig>;
+  /** `evidence.globalInputs`: paths, or patterns expanded over the tree. */
+  globalInputs: readonly string[];
+  /** `evidence.resources`: `exercised` (the default) or `used`; the evidence package's subject reads it from the source this returns. */
+  resources?: EvidenceResources;
+  /** `evidence.dependencies`: what a dependency slice contributes; the subject reads it from the source this returns. */
+  dependencies?: EvidenceDependencies;
+  /** The bytes of a repository-relative file, or undefined when it does not exist. */
+  readFile: (path: string) => Uint8Array | undefined;
+}
+
+/** Shaped as the evidence package's `SubjectSource`, which this package does not import. */
+export interface ArchitectureSubjectSource {
+  readFile: (path: string) => Uint8Array | undefined;
+  sliceFiles: Map<string, string[]>;
+  resources: Map<string, { record: unknown; files: string[] }>;
+  localImports: (path: string) => string[];
+  globalInputs: string[];
+  resourceMode: EvidenceResources;
+  dependencyMode: EvidenceDependencies;
+  covers: (path: string) => boolean;
+}
+
+/** A global input with no `*` is a path, present or not (a missing one moves the subject when it appears); the rest are patterns. */
+function expandGlobalInputs(inputs: readonly string[], paths: Iterable<string>): string[] {
+  const all = [...paths];
+  const out = new Set<string>();
+  for (const input of inputs) {
+    if (!input.includes("*")) out.add(input);
+    else for (const path of all) if (matchPattern(input, path)) out.add(path);
+  }
+  return [...out].sort(compareStrings);
+}
+
+export function subjectSource(
+  graph: Graph,
+  registries: Registries,
+  tree: { files: ReadonlyMap<string, string> },
+  options: SubjectSourceOptions,
+): ArchitectureSubjectSource {
+  const configText = tree.files.get(ARCHITECTURE_CONFIG_PATH);
+  const fileConfig =
+    configText === undefined ? undefined : readArchitectureConfig(configText, ARCHITECTURE_CONFIG_PATH).config;
+  const config = resolveConfig(fileConfig, options.config);
+  const model = buildModel(graph, registries, tree.files, config);
+
+  const sliceFiles = new Map<string, string[]>();
+  for (const slice of model.slices) {
+    sliceFiles.set(slice.id, [...new Set(slice.claimFiles.flat())].sort(compareStrings));
+  }
+  const resources = new Map<string, { record: unknown; files: string[] }>();
+  for (const info of model.resources)
+    resources.set(info.resource.id, { record: info.resource, files: [...info.files] });
+
+  let resolver: Resolver | null = null;
+  const closures = new Map<string, string[]>();
+  const importsOf = (path: string): string[] => {
+    resolver ??= new Resolver(model.files, config);
+    const text = model.files.get(path);
+    if (text === undefined || !isCode(path)) return [];
+    const targets: string[] = [];
+    for (const raw of extractImports(path, text).imports) {
+      const resolution = resolver.resolve(path, raw.specifier);
+      if (resolution.problem === undefined && resolution.to !== null) targets.push(resolution.to);
+    }
+    return targets;
+  };
+  const localImports = (start: string): string[] => {
+    const cached = closures.get(start);
+    if (cached !== undefined) return cached;
+    const boundary = model.packageOf(start);
+    const seen = new Set<string>([start]);
+    const queue = [start];
+    while (queue.length > 0) {
+      const file = queue.pop() as string;
+      for (const target of importsOf(file)) {
+        if (seen.has(target) || model.packageOf(target) !== boundary) continue;
+        seen.add(target);
+        queue.push(target);
+      }
+    }
+    seen.delete(start);
+    const list = [...seen].sort(compareStrings);
+    closures.set(start, list);
+    return list;
+  };
+
+  const globalInputs = expandGlobalInputs(options.globalInputs, tree.files.keys());
+
+  const resourceMode = options.resources ?? "exercised";
+  let covered: Set<string> | null = null;
+  const covers = (path: string): boolean => {
+    if (covered === null) {
+      covered = new Set<string>(globalInputs);
+      for (const files of sliceFiles.values()) for (const file of files) covered.add(file);
+      // The resources some subject hashes: under `used`, every one a slice lists; under `exercised`, the ones a slice
+      // that implements a behavior lists and also claims a file of (its own), and the ones a verification exercises.
+      const used = new Set<string>();
+      for (const slice of model.slices) {
+        const implementing = (graph.artifacts.get(slice.id)?.meta.links.implements ?? []).length > 0;
+        for (const id of slice.meta.usesResources) {
+          if (resourceMode === "used") used.add(id);
+          else if (implementing) {
+            const files = new Set(resources.get(id)?.files ?? []);
+            if ((sliceFiles.get(slice.id) ?? []).some((file) => files.has(file))) used.add(id);
+          }
+        }
+      }
+      for (const artifact of graph.artifacts.values()) {
+        covered.add(artifact.path);
+        const verification = artifact.meta.verification;
+        if (artifact.meta.type !== "verification" || verification === undefined) continue;
+        covered.add(verification.locator);
+        for (const file of localImports(verification.locator)) covered.add(file);
+        for (const id of verification.exercises ?? []) used.add(id);
+      }
+      for (const id of used) for (const file of resources.get(id)?.files ?? []) covered.add(file);
+    }
+    return covered.has(path);
+  };
+
+  const dependencyMode = options.dependencies ?? DEFAULT_EVIDENCE_DEPENDENCIES;
+  return {
+    readFile: options.readFile,
+    sliceFiles,
+    resources,
+    localImports,
+    globalInputs,
+    resourceMode,
+    dependencyMode,
+    covers,
+  };
+}