@intentset/verification 0.6.1 → 0.7.1

package/README.md

@@ -0,0 +1,50 @@
+# @intentset/verification
+
+Run records and what they prove (Core §8): reading and checking records, classifying each as current, stale or
+missing against the snapshot it ran at, coverage that counts links and current passes separately, and adapters that
+turn a Vitest JSON report or node's TAP output into records.
+
+## Install
+
+```sh
+npm install @intentset/verification
+pnpm add @intentset/verification
+```
+
+## Example
+
+In CI, after the tests, turn the report into run records bound to this commit and graph, through the CLI,
+`@intentset/cli`:
+
+```sh
+npx -p @intentset/cli intentset evidence import --from vitest reports/vitest.json \
+  --out .intentset/evidence/ci.json --product PRD-X --release <label>
+npx -p @intentset/cli intentset validate --level L3 --product PRD-X --release <label>
+```
+
+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:
+
+```ts
+import { readFile } from "node:fs/promises";
+import { readRunRecords } from "@intentset/verification";
+
+const path = ".intentset/evidence/ci.json";
+const { records, diagnostics } = readRunRecords(JSON.parse(await readFile(path, "utf8")), path);
+// a record with any problem is reported as EVID001 and left out, so it never counts as evidence
+```
+
+Only a `pass` whose binding holds is current. Under subject binding, the default where slices claim files, a record carries the hash of its verification's subject (`computeSubject`) and stays current while that is unchanged (a resource's files count only where the verification exercises it or an implementing slice owns it, `evidence.resources: exercised`; EVID006 reports what that cannot see; a slice reached only through `dependsOn` counts by every file it claims, or, with `evidence.dependencies: entrypoint`, by its binding fields, entrypoint files and contract records, and EVID007 reports what that cannot see); under commit binding, which a repository or a gate asks for, it is current only at the assessed commit and graph hash. Keep run records out of the commit they assess.
+
+## 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/adapters/common.d.ts

@@ -11,8 +11,12 @@ export interface ParsedRun {
     problems: string[];
 }
 export interface ToRunRecordsOptions {
-    /** Selector -> verification ID, from the graph's automated verifications. */
-    verifications: ReadonlyMap<string, string>;
+    /**
+     * Selector -> the verification ID, or every verification ID, that names it, from the graph's automated
+     * verifications. A selector two verifications share (one test verifying two behaviors) gives each of them its own
+     * record from the same tests.
+     */
+    verifications: ReadonlyMap<string, string | readonly string[]>;
     commit: string;
     graphHash: string;
     environment: string;
@@ -23,11 +27,17 @@ export interface ToRunRecordsOptions {
     finishedAt: string;
     /** Where the run's report lives; each record's uri is this plus `#` and the verification ID. */
     uriBase: string;
+    /**
+     * Verification ID -> the hash of its subject, when the effective binding is subject (Core §8): a record is then
+     * written with `binding: "subject"` and that hash, and the commit and graph hash stay as provenance. A
+     * verification with no entry, or no map at all, gets a commit-binding record.
+     */
+    subjects?: ReadonlyMap<string, string>;
 }
 export interface ConvertedRun {
-    /** One record per verification at least one test matched, by verification ID. */
+    /** One record per verification whose selector at least one test matched, by verification ID. */
     records: RunRecord[];
-    /** Selectors no test matched, sorted: their verifications get no record from this run, and read as missing. */
+    /** Selectors no test matched, sorted and listed once however many verifications name them: those verifications get no record from this run, and read as missing. */
     unmatched: string[];
 }
 /**
@@ -42,8 +52,8 @@ export declare function deriveEvidenceId(verificationId: string, commit: string,
 /** The worse of two results: fail, then error, then skip, then pass. */
 export declare function worst(a: RunResult, b: RunResult): RunResult;
 /**
- * One run record per verification whose selector matched at least one test.
- * Several matching tests make one record with the worst result and a
+ * One run record per verification whose selector matched at least one test,
+ * so a selector two verifications share gives each its own record. Several matching tests make one record with the worst result and a
  * rationale that counts them. Throws when the options would make a malformed
  * record, since that is a caller's mistake rather than evidence.
  */

package/dist/adapters/common.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../src/adapters/common.ts"],"names":[],"mappings":"AAQA,OAAO,EAAkB,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AAE5G,MAAM,WAAW,UAAU;IACzB,yGAAyG;IACzG,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,iGAAiG;IACjG,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,6EAA6E;IAC7E,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,QAAQ,CAAC;IAChB,IAAI,EAAE,OAAO,CAAC;IACd,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,gGAAgG;IAChG,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,iFAAiF;IACjF,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,+GAA+G;IAC/G,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAKD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAYxE;AAED,8HAA8H;AAC9H,wBAAgB,gBAAgB,CAC9B,cAAc,EAAE,MAAM,EACtB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,MAAM,CAER;AAED,wEAAwE;AACxE,wBAAgB,KAAK,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAE3D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,GAAG,YAAY,CAiD1F"}
+{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../src/adapters/common.ts"],"names":[],"mappings":"AAQA,OAAO,EAAkB,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AAE5G,MAAM,WAAW,UAAU;IACzB,yGAAyG;IACzG,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,SAAS,CAAC;IAClB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,iGAAiG;IACjG,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,CAAC;IAC/D,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,QAAQ,CAAC;IAChB,IAAI,EAAE,OAAO,CAAC;IACd,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,gGAAgG;IAChG,OAAO,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,YAAY;IAC3B,gGAAgG;IAChG,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,oKAAoK;IACpK,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAKD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAYxE;AAED,8HAA8H;AAC9H,wBAAgB,gBAAgB,CAC9B,cAAc,EAAE,MAAM,EACtB,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,MAAM,CAER;AAED,wEAAwE;AACxE,wBAAgB,KAAK,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,SAAS,CAE3D;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,mBAAmB,GAAG,YAAY,CAsD1F"}

package/dist/adapters/common.js

@@ -38,8 +38,8 @@ export function worst(a, b) {
     return SEVERITY[a] >= SEVERITY[b] ? a : b;
 }
 /**
- * One run record per verification whose selector matched at least one test.
- * Several matching tests make one record with the worst result and a
+ * One run record per verification whose selector matched at least one test,
+ * so a selector two verifications share gives each its own record. Several matching tests make one record with the worst result and a
  * rationale that counts them. Throws when the options would make a malformed
  * record, since that is a caller's mistake rather than evidence.
  */
@@ -47,17 +47,20 @@ export function toRunRecords(parsed, options) {
     const matched = new Map();
     const unmatched = [];
     for (const selector of [...options.verifications.keys()].sort(compareStrings)) {
-        const verificationId = options.verifications.get(selector);
+        const named = options.verifications.get(selector);
+        const verificationIds = [...new Set(typeof named === "string" ? [named] : named)].sort(compareStrings);
         const hits = parsed.tests.flatMap((test, index) => (selectorMatches(selector, test.fullName) ? [index] : []));
         if (hits.length === 0) {
             unmatched.push(selector);
             continue;
         }
-        const entry = matched.get(verificationId) ?? { selectors: new Set(), tests: new Set() };
-        entry.selectors.add(selector);
-        for (const hit of hits)
-            entry.tests.add(hit);
-        matched.set(verificationId, entry);
+        for (const verificationId of verificationIds) {
+            const entry = matched.get(verificationId) ?? { selectors: new Set(), tests: new Set() };
+            entry.selectors.add(selector);
+            for (const hit of hits)
+                entry.tests.add(hit);
+            matched.set(verificationId, entry);
+        }
     }
     const records = [];
     for (const verificationId of [...matched.keys()].sort(compareStrings)) {
@@ -70,6 +73,7 @@ export function toRunRecords(parsed, options) {
             .map(([r, n]) => `${n} ${r}`)
             .join(", ");
         const names = [...selectors].sort(compareStrings).join(", ");
+        const subjectHash = options.subjects?.get(verificationId);
         records.push({
             evidenceId: deriveEvidenceId(verificationId, options.commit, options.graphHash, options.finishedAt),
             verificationId,
@@ -83,6 +87,7 @@ export function toRunRecords(parsed, options) {
             finishedAt: options.finishedAt,
             result,
             uri: `${options.uriBase}#${encodeURIComponent(verificationId)}`,
+            ...(subjectHash === undefined ? {} : { binding: "subject", subjectHash }),
             rationale: `${results.length} test${results.length === 1 ? "" : "s"} matched ${names}: ${counts}.`,
         });
     }

package/dist/adapters/common.js.map

@@ -1 +1 @@
-{"version":3,"file":"common.js","sourceRoot":"","sources":["../../src/adapters/common.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,cAAc,EAA+D,MAAM,eAAe,CAAC;AAqC5G,MAAM,QAAQ,GAA8B,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACpF,MAAM,IAAI,GAAG,eAAe,CAAC;AAE7B;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAa;IAC7D,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,KAAK,IAAI,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,MAAM,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC7G,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,gBAAgB,CAC9B,cAAsB,EACtB,MAAc,EACd,SAAiB,EACjB,UAAkB;IAElB,OAAO,MAAM,SAAS,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AACpG,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,KAAK,CAAC,CAAY,EAAE,CAAY;IAC9C,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAiB,EAAE,OAA4B;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0D,CAAC;IAClF,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9E,MAAM,cAAc,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAW,CAAC;QACrE,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9G,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,GAAG,EAAU,EAAE,KAAK,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;QACxG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9B,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,cAAc,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACtE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAmD,CAAC;QAC3G,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAmB,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAW;aACxD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAU,CAAC;aAC/D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;aAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC;YACX,UAAU,EAAE,gBAAgB,CAAC,cAAc,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC;YACnG,cAAc;YACd,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;YACzE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE;YAChE,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,MAAM;YACN,GAAG,EAAE,GAAG,OAAO,CAAC,OAAO,IAAI,kBAAkB,CAAC,cAAc,CAAC,EAAE;YAC/D,SAAS,EAAE,GAAG,OAAO,CAAC,MAAM,QAAQ,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,KAAK,MAAM,GAAG;SACnG,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACxD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,+DAA+D,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC"}
+{"version":3,"file":"common.js","sourceRoot":"","sources":["../../src/adapters/common.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,cAAc,EAA+D,MAAM,eAAe,CAAC;AA+C5G,MAAM,QAAQ,GAA8B,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACpF,MAAM,IAAI,GAAG,eAAe,CAAC;AAE7B;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAa;IAC7D,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAClC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,KAAK,IAAI,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;QACvF,MAAM,MAAM,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,CAAC,CAAC,UAAU,IAAI,MAAM,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YAC7G,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8HAA8H;AAC9H,MAAM,UAAU,gBAAgB,CAC9B,cAAsB,EACtB,MAAc,EACd,SAAiB,EACjB,UAAkB;IAElB,OAAO,MAAM,SAAS,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AACpG,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,KAAK,CAAC,CAAY,EAAE,CAAY;IAC9C,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,MAAiB,EAAE,OAA4B;IAC1E,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0D,CAAC;IAClF,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,CAAC,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9E,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAA+B,CAAC;QAChF,MAAM,eAAe,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACvG,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9G,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,GAAG,EAAU,EAAE,KAAK,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;YACxG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC9B,KAAK,MAAM,GAAG,IAAI,IAAI;gBAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC7C,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,KAAK,MAAM,cAAc,IAAI,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACtE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,CAAmD,CAAC;QAC3G,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5F,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,MAAmB,CAAC,CAAC;QAC1D,MAAM,MAAM,GAAI,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,CAAW;aACxD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAU,CAAC;aAC/D,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;aACxB,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;aAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,KAAK,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC;YACX,UAAU,EAAE,gBAAgB,CAAC,cAAc,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,UAAU,CAAC;YACnG,cAAc;YACd,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE;YACzE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE;YAChE,QAAQ,EAAE,IAAI;YACd,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,MAAM;YACN,GAAG,EAAE,GAAG,OAAO,CAAC,OAAO,IAAI,kBAAkB,CAAC,cAAc,CAAC,EAAE;YAC/D,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAkB,EAAE,WAAW,EAAE,CAAC;YAClF,SAAS,EAAE,GAAG,OAAO,CAAC,MAAM,QAAQ,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,KAAK,MAAM,GAAG;SACnG,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACxD,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,+DAA+D,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAChC,CAAC"}

package/dist/adapters/playwright.d.ts

@@ -0,0 +1,3 @@
+import type { ParsedRun } from "./common.ts";
+export declare function parsePlaywrightJson(json: unknown): ParsedRun;
+//# sourceMappingURL=playwright.d.ts.map

package/dist/adapters/playwright.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright.d.ts","sourceRoot":"","sources":["../../src/adapters/playwright.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,SAAS,EAAc,MAAM,aAAa,CAAC;AAEzD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAgB5D"}

package/dist/adapters/playwright.js

@@ -0,0 +1,78 @@
+export function parsePlaywrightJson(json) {
+    if (!isRecord(json) || !Array.isArray(json.suites)) {
+        throw new TypeError("This is not Playwright JSON reporter output: expected an object with a suites array.");
+    }
+    const tests = [];
+    const problems = [];
+    if (Array.isArray(json.errors)) {
+        for (const error of json.errors) {
+            problems.push(`The run reported an error: ${firstLine(isRecord(error) ? error.message : error) || "no message"}`);
+        }
+    }
+    json.suites.forEach((file, index) => {
+        if (!isRecord(file))
+            throw new TypeError(`suites[${index}] is not an object.`);
+        walk(file, [], tests, problems);
+    });
+    return { tests, problems };
+}
+function walk(suite, ancestors, tests, problems) {
+    for (const spec of Array.isArray(suite.specs) ? suite.specs : []) {
+        if (!isRecord(spec))
+            throw new TypeError("A spec in the report is not an object.");
+        const title = typeof spec.title === "string" ? spec.title : "";
+        const fullName = [...ancestors, title].join(" > ");
+        for (const test of Array.isArray(spec.tests) ? spec.tests : []) {
+            if (!isRecord(test))
+                throw new TypeError(`${fullName} has a test entry that is not an object.`);
+            const result = resultOf(test, fullName, problems);
+            tests.push({ fullName, result, durationMs: durationOf(test) });
+        }
+    }
+    for (const child of Array.isArray(suite.suites) ? suite.suites : []) {
+        if (!isRecord(child))
+            throw new TypeError("A suite in the report is not an object.");
+        const title = typeof child.title === "string" ? child.title : "";
+        walk(child, title === "" ? ancestors : [...ancestors, title], tests, problems);
+    }
+}
+function resultOf(test, fullName, problems) {
+    switch (test.status) {
+        case "expected":
+        case "flaky":
+            return "pass";
+        case "skipped":
+            return "skip";
+        case "unexpected":
+            return failureKind(lastResult(test));
+        default:
+            problems.push(`${fullName} has the unknown status ${JSON.stringify(test.status)}, read as error`);
+            return "error";
+    }
+}
+/** A timeout or an interrupted run is an error; an assertion that did not hold is a fail; anything else thrown is an error. */
+function failureKind(last) {
+    if (last === undefined)
+        return "fail";
+    if (last.status === "timedOut" || last.status === "interrupted")
+        return "error";
+    const error = isRecord(last.error) ? last.error : undefined;
+    const message = typeof error?.message === "string" ? error.message : "";
+    return /\bexpect\(|AssertionError/.test(message) || message === "" ? "fail" : "error";
+}
+function lastResult(test) {
+    const results = Array.isArray(test.results) ? test.results : [];
+    const last = results[results.length - 1];
+    return isRecord(last) ? last : undefined;
+}
+function durationOf(test) {
+    const duration = lastResult(test)?.duration;
+    return typeof duration === "number" && Number.isFinite(duration) ? duration : null;
+}
+function firstLine(value) {
+    return typeof value === "string" ? (value.trim().split("\n")[0] ?? "") : "";
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=playwright.js.map

package/dist/adapters/playwright.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"playwright.js","sourceRoot":"","sources":["../../src/adapters/playwright.ts"],"names":[],"mappings":"AAgBA,MAAM,UAAU,mBAAmB,CAAC,IAAa;IAC/C,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,SAAS,CAAC,sFAAsF,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,8BAA8B,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,YAAY,EAAE,CAAC,CAAC;QACpH,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAClC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,UAAU,KAAK,qBAAqB,CAAC,CAAC;QAC/E,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,IAAI,CAAC,KAA8B,EAAE,SAAmB,EAAE,KAAmB,EAAE,QAAkB;IACxG,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACjE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;QACnF,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC/D,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,GAAG,QAAQ,0CAA0C,CAAC,CAAC;YAChG,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACpE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QACrF,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACjF,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAA6B,EAAE,QAAgB,EAAE,QAAkB;IACnF,QAAQ,IAAI,CAAC,MAAM,EAAE,CAAC;QACpB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,MAAM,CAAC;QAChB,KAAK,YAAY;YACf,OAAO,WAAW,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC;YACE,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,2BAA2B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;YAClG,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED,+HAA+H;AAC/H,SAAS,WAAW,CAAC,IAAyC;IAC5D,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACtC,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,OAAO,CAAC;IAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IAC5D,MAAM,OAAO,GAAG,OAAO,KAAK,EAAE,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACxE,OAAO,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,OAAO,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;AACxF,CAAC;AAED,SAAS,UAAU,CAAC,IAA6B;IAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IAChE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC3C,CAAC;AAED,SAAS,UAAU,CAAC,IAA6B;IAC/C,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IAC5C,OAAO,OAAO,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;AACrF,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}

package/dist/binding.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Which binding judges run evidence (Core §8, ADR 0013) and the subjects it
+ * needs. The decision is pure: the repository's configuration and whether it
+ * has slice claims. Computing a subject needs what the architecture package
+ * resolves (claimed files, import closures), which this package does not
+ * depend on, so a caller hands it in as a `SubjectSource`.
+ */
+import type { EvidenceBinding, EvidenceBindingReason, Graph } from "@intentset/core";
+import { type Subject, type SubjectInput } from "./subject.ts";
+export interface BindingDecision {
+    binding: EvidenceBinding;
+    /** `configured`, `default` (subject, since slices exist) or `no-slices` (commit, since there is nothing to hash). */
+    reason: EvidenceBindingReason;
+}
+/**
+ * Core §8: `binding: subject` is the default wherever the repository has slice
+ * claims; `binding: commit` is the stricter mode a repository or gate asks
+ * for; a repository with no slice claims is judged by commit binding unless it
+ * asked for that, and says so (EVID004), whatever it asked for.
+ */
+export declare function resolveBinding(configured: EvidenceBinding | null, hasSlices: boolean): BindingDecision;
+/** True when some slice that is not retired claims files: the repository has a subject to hash. */
+export declare function hasSliceClaims(graph: Graph): boolean;
+/** What a caller resolves for the subject hash: the architecture package's claims and imports, over one tree. */
+export type SubjectSource = Omit<SubjectInput, "graph" | "verificationId"> & {
+    /** True for a file that can move some subject: a slice's, a used resource's, a global input, a test, a record. */
+    covers: (path: string) => boolean;
+};
+/** The subject of every verification in the graph, by ID, with each file hashed once. */
+export declare function subjectsFor(graph: Graph, source: SubjectSource): Map<string, Subject>;
+//# sourceMappingURL=binding.d.ts.map

package/dist/binding.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding.d.ts","sourceRoot":"","sources":["../src/binding.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,eAAe,EAAE,qBAAqB,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AAErF,OAAO,EAA0B,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAGvF,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,eAAe,CAAC;IACzB,qHAAqH;IACrH,MAAM,EAAE,qBAAqB,CAAC;CAC/B;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,UAAU,EAAE,eAAe,GAAG,IAAI,EAAE,SAAS,EAAE,OAAO,GAAG,eAAe,CAItG;AAED,mGAAmG;AACnG,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAUpD;AAED,iHAAiH;AACjH,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,EAAE,OAAO,GAAG,gBAAgB,CAAC,GAAG;IAC3E,kHAAkH;IAClH,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CACnC,CAAC;AAEF,yFAAyF;AACzF,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,GAAG,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBrF"}

package/dist/binding.js

@@ -0,0 +1,46 @@
+import { compareStrings } from "./diagnostic.js";
+import { ABSENT, computeSubject } from "./subject.js";
+import { sha256Hex } from "@intentset/core";
+/**
+ * Core §8: `binding: subject` is the default wherever the repository has slice
+ * claims; `binding: commit` is the stricter mode a repository or gate asks
+ * for; a repository with no slice claims is judged by commit binding unless it
+ * asked for that, and says so (EVID004), whatever it asked for.
+ */
+export function resolveBinding(configured, hasSlices) {
+    if (configured === "commit")
+        return { binding: "commit", reason: "configured" };
+    if (!hasSlices)
+        return { binding: "commit", reason: "no-slices" };
+    return { binding: "subject", reason: configured === "subject" ? "configured" : "default" };
+}
+/** True when some slice that is not retired claims files: the repository has a subject to hash. */
+export function hasSliceClaims(graph) {
+    for (const artifact of graph.artifacts.values()) {
+        if (artifact.meta.type === "slice" &&
+            artifact.meta.status !== "retired" &&
+            (artifact.meta.slice?.claims.length ?? 0) > 0)
+            return true;
+    }
+    return false;
+}
+/** The subject of every verification in the graph, by ID, with each file hashed once. */
+export function subjectsFor(graph, source) {
+    const hashes = new Map();
+    const fileHash = (path) => {
+        let hash = hashes.get(path);
+        if (hash === undefined) {
+            const bytes = source.readFile(path);
+            hash = bytes === undefined ? ABSENT : sha256Hex(bytes);
+            hashes.set(path, hash);
+        }
+        return hash;
+    };
+    const subjects = new Map();
+    const ids = [...graph.artifacts.keys()].filter((id) => graph.artifacts.get(id)?.meta.type === "verification");
+    for (const id of ids.sort(compareStrings)) {
+        subjects.set(id, computeSubject({ ...source, graph, verificationId: id, fileHash }));
+    }
+    return subjects;
+}
+//# sourceMappingURL=binding.js.map

package/dist/binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binding.js","sourceRoot":"","sources":["../src/binding.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,cAAc,EAAmC,MAAM,cAAc,CAAC;AACvF,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAQ5C;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,UAAkC,EAAE,SAAkB;IACnF,IAAI,UAAU,KAAK,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAChF,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IAClE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;AAC7F,CAAC;AAED,mGAAmG;AACnG,MAAM,UAAU,cAAc,CAAC,KAAY;IACzC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;QAChD,IACE,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO;YAC9B,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;YAClC,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC;YAE7C,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAQD,yFAAyF;AACzF,MAAM,UAAU,WAAW,CAAC,KAAY,EAAE,MAAqB;IAC7D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAU,EAAE;QACxC,IAAI,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YACvD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;IAC9G,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1C,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,cAAc,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/classify.d.ts

@@ -1,12 +1,14 @@
 /**
- * Evidence freshness (Core §8, invariant 3). Only a `pass` at the assessed
- * commit and graph hash is current; everything else is something else, and
- * says which. A failing run at the snapshot stays visible however many older
- * passes there are, because the status is decided by the latest run at the
- * snapshot and every run is kept in the history.
+ * Evidence freshness (Core §8, invariant 3). Only a `pass` whose binding holds
+ * is current: under commit binding, at the assessed commit and graph hash;
+ * under subject binding, while the subject it checked is unchanged. Everything
+ * else is something else, and says which. A failing current run stays visible
+ * however many older passes there are, because the status is decided by the
+ * latest current run and every run is kept in the history.
  */
-import { type Diagnostic, type Graph } from "@intentset/core";
+import { type Diagnostic, type EvidenceBinding, type EvidenceBindingReason, type Graph } from "@intentset/core";
 import { type RunRecord, type RunResult, type RunScope } from "./records.ts";
+import { type Subject } from "./subject.ts";
 export declare const EVIDENCE_STATUSES: readonly ["current-pass", "current-fail", "stale", "skip", "error", "missing", "unresolved"];
 export type EvidenceStatus = (typeof EVIDENCE_STATUSES)[number];
 /** What evidence is assessed against: a commit and graph hash, and the product and release it is for. */
@@ -17,12 +19,33 @@ export interface EvidenceSnapshot {
     graphHash: string;
     /** The exact product and release under assessment. Absent or null considers records of every scope, and reports that it did. */
     scope?: RunScope | null;
+    /** The binding in force (Core §8); commit when absent, as before the field existed. */
+    binding?: EvidenceBinding;
+    /**
+     * Why the binding is the one in force: `configured` (the repository asked), `default` (subject, because slices
+     * exist) or `no-slices` (commit, because the repository has no slice claims to hash and did not ask for it,
+     * which EVID004 says). Absent reads as `configured`.
+     */
+    bindingReason?: EvidenceBindingReason;
+    /** Under subject binding: the subject of each verification at the snapshot, by verification ID. */
+    subjects?: ReadonlyMap<string, Subject>;
+    /**
+     * The files changed between a record's commit and the assessed commit, or null when the commit is not an
+     * ancestor of it or git is unavailable. Optional: it only makes the notes and EVID005 more specific.
+     */
+    changedSince?: (commit: string) => readonly string[] | null;
+    /** True for a file that can move some subject: claimed, a used resource's, a global input, a test, a record. */
+    covers?: (path: string) => boolean;
 }
 export type ResultCounts = Record<RunResult, number>;
 export interface VerificationEvidence {
     verificationId: string;
     method: "automated" | "manual";
     status: EvidenceStatus;
+    /** The binding that judged this verification. */
+    binding: EvidenceBinding;
+    /** Under subject binding, the hash of the subject it was judged at; null under commit binding and when none could be computed. */
+    subject: string | null;
     /** Why the status is qualified or what was set aside, when anything was. */
     note?: string;
     /** The record that decided the status: the latest at the snapshot, else the latest in scope; null when there is none. */
@@ -43,6 +66,9 @@ export interface Classification {
         commit: string | null;
         graphHash: string;
         scope: RunScope | null;
+        binding: EvidenceBinding;
+        /** Why this binding is in force (`configured` when the caller did not say). */
+        bindingReason: EvidenceBindingReason;
     };
     /** One entry per verification artifact in the graph, keyed and ordered by ID. */
     verifications: Record<string, VerificationEvidence>;
@@ -52,13 +78,19 @@ export interface Classification {
     unknown: RunRecord[];
     /** Records that cannot be evidence for the verification they name (EVID001), by evidence ID. */
     rejected: RejectedRecord[];
-    /** EVID001 and EVID002, sorted. */
+    /** EVID001, EVID002, EVID004, EVID005, EVID006 and EVID007, sorted. */
     diagnostics: Diagnostic[];
 }
 export interface ClassifyOptions {
     /** The file the records were read from, for diagnostics; null when they did not come from one. */
     evidencePath?: string | null;
 }
+/** The most files EVID005 lists; the rest are counted. */
+export declare const UNCLAIMED_LIMIT = 20;
+/** The most verifications EVID006 lists, and the most files it lists for each resource; the rest are counted. */
+export declare const UNEXERCISED_LIMIT = 20;
+/** The most verifications EVID007 lists, and the most files it lists for each dependency slice; the rest are counted. */
+export declare const DEPENDENCY_INTERNALS_LIMIT = 20;
 /** Core §8: classify every verification in the graph against the snapshot. Deterministic for identical inputs. */
 export declare function classifyEvidence(graph: Graph, records: readonly RunRecord[], snapshot: EvidenceSnapshot, options?: ClassifyOptions): Classification;
 /** True when a record was made at the snapshot: same graph hash, and same commit unless the snapshot's is unknown. */

package/dist/classify.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"classify.d.ts","sourceRoot":"","sources":["../src/classify.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAmB,MAAM,iBAAiB,CAAC;AAE/E,OAAO,EAA2B,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;AAEtG,eAAO,MAAM,iBAAiB,YAC5B,cAAc,EACd,cAAc,EACd,OAAO,EACP,MAAM,EACN,OAAO,EACP,SAAS,EACT,YAAY,CACJ,CAAC;AACX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhE,yGAAyG;AACzG,MAAM,WAAW,gBAAgB;IAC/B,kHAAkH;IAClH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,gIAAgI;IAChI,KAAK,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC;CACzB;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAErD,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/B,MAAM,EAAE,cAAc,CAAC;IACvB,4EAA4E;IAC5E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,yHAAyH;IACzH,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,+FAA+F;IAC/F,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,kGAAkG;IAClG,UAAU,EAAE,YAAY,CAAC;IACzB,mGAAmG;IACnG,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE;QAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;KAAE,CAAC;IAC/E,iFAAiF;IACjF,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,EAAE,MAAM,CAAC;IAC1B,8FAA8F;IAC9F,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,gGAAgG;IAChG,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,mCAAmC;IACnC,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,kGAAkG;IAClG,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAID,kHAAkH;AAClH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,SAAS,SAAS,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,GAAE,eAAoB,GAC5B,cAAc,CAgFhB;AAED,sHAAsH;AACtH,wBAAgB,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;IAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAE7G"}
+{"version":3,"file":"classify.d.ts","sourceRoot":"","sources":["../src/classify.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EACL,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,KAAK,EAEX,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAA2B,KAAK,SAAS,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;AACtG,OAAO,EAAqB,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AAE/D,eAAO,MAAM,iBAAiB,YAC5B,cAAc,EACd,cAAc,EACd,OAAO,EACP,MAAM,EACN,OAAO,EACP,SAAS,EACT,YAAY,CACJ,CAAC;AACX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhE,yGAAyG;AACzG,MAAM,WAAW,gBAAgB;IAC/B,kHAAkH;IAClH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,gIAAgI;IAChI,KAAK,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC;IACxB,uFAAuF;IACvF,OAAO,CAAC,EAAE,eAAe,CAAC;IAC1B;;;;OAIG;IACH,aAAa,CAAC,EAAE,qBAAqB,CAAC;IACtC,mGAAmG;IACnG,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC;;;OAGG;IACH,YAAY,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IAC5D,gHAAgH;IAChH,MAAM,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;CACpC;AAED,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;AAErD,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/B,MAAM,EAAE,cAAc,CAAC;IACvB,iDAAiD;IACjD,OAAO,EAAE,eAAe,CAAC;IACzB,kIAAkI;IAClI,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,4EAA4E;IAC5E,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,yHAAyH;IACzH,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,+FAA+F;IAC/F,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,kGAAkG;IAClG,UAAU,EAAE,YAAY,CAAC;IACzB,mGAAmG;IACnG,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE;QACR,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,SAAS,EAAE,MAAM,CAAC;QAClB,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC;QACvB,OAAO,EAAE,eAAe,CAAC;QACzB,+EAA+E;QAC/E,aAAa,EAAE,qBAAqB,CAAC;KACtC,CAAC;IACF,iFAAiF;IACjF,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,EAAE,MAAM,CAAC;IAC1B,8FAA8F;IAC9F,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,gGAAgG;IAChG,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,uEAAuE;IACvE,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,eAAe;IAC9B,kGAAkG;IAClG,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAID,0DAA0D;AAC1D,eAAO,MAAM,eAAe,KAAK,CAAC;AAElC,iHAAiH;AACjH,eAAO,MAAM,iBAAiB,KAAK,CAAC;AAGpC,yHAAyH;AACzH,eAAO,MAAM,0BAA0B,KAAK,CAAC;AAW7C,kHAAkH;AAClH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,SAAS,SAAS,EAAE,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,GAAE,eAAoB,GAC5B,cAAc,CA6KhB;AAED,sHAAsH;AACtH,wBAAgB,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE;IAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAE7G"}