@intentset/verification 0.1.0

package/dist/classify.js

@@ -0,0 +1,130 @@
+/**
+ * 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.
+ */
+import { sortDiagnostics } from "@intentset/core";
+import { compareStrings, evidenceDiagnostic } from "./diagnostic.js";
+import { CURRENT, compareRecords } from "./records.js";
+export const EVIDENCE_STATUSES = [
+    "current-pass",
+    "current-fail",
+    "stale",
+    "skip",
+    "error",
+    "missing",
+    "unresolved",
+];
+const NOTE_COMMIT_UNKNOWN = "commit unknown; matched on graph hash";
+/** Core §8: classify every verification in the graph against the snapshot. Deterministic for identical inputs. */
+export function classifyEvidence(graph, records, snapshot, options = {}) {
+    const path = options.evidencePath ?? null;
+    const scope = snapshot.scope ?? null;
+    const diagnostics = [];
+    const unknown = [];
+    const rejected = [];
+    const inScope = new Map();
+    const outOfScope = new Map();
+    let ignoredOutOfScope = 0;
+    const ids = [...graph.artifacts.keys()]
+        .filter((id) => graph.artifacts.get(id)?.meta.type === "verification")
+        .sort(compareStrings);
+    for (const id of ids)
+        inScope.set(id, []);
+    const ordered = [...records].sort((a, b) => compareStrings(a.evidenceId, b.evidenceId) || compareRecords(a, b));
+    for (const record of ordered) {
+        const target = graph.artifacts.get(record.verificationId);
+        if (target === undefined || target.meta.type !== "verification") {
+            unknown.push(record);
+            diagnostics.push(evidenceDiagnostic({
+                code: "EVID002",
+                severity: "warning",
+                artifact: null,
+                path,
+                message: target === undefined
+                    ? `Run record ${record.evidenceId} names ${record.verificationId}, which is not in the graph, so it is evidence for nothing.`
+                    : `Run record ${record.evidenceId} names ${record.verificationId}, which is a ${target.meta.type}, not a verification.`,
+                remediation: "Point the record at the verification it ran, or create that verification; runs are evidence for verifications only (Core §8).",
+            }));
+            continue;
+        }
+        if (target.meta.verification?.method === "manual" && record.reviewer === null) {
+            const reason = `${record.verificationId} is a manual review, and record ${record.evidenceId} names no reviewer.`;
+            rejected.push({ record, reason });
+            diagnostics.push(evidenceDiagnostic({
+                code: "EVID001",
+                artifact: record.verificationId,
+                path,
+                message: `Run record ${record.evidenceId} names no reviewer, but ${record.verificationId} is a manual review.`,
+                remediation: "Record who performed the review and the rationale; a manual record must identify both (Core §8).",
+            }));
+            continue;
+        }
+        if (scope !== null && (record.scope.product !== scope.product || record.scope.release !== scope.release)) {
+            ignoredOutOfScope++;
+            outOfScope.set(record.verificationId, (outOfScope.get(record.verificationId) ?? 0) + 1);
+            continue;
+        }
+        inScope.get(record.verificationId)?.push(record);
+    }
+    const verifications = {};
+    for (const id of ids) {
+        const artifact = graph.artifacts.get(id);
+        const history = (inScope.get(id) ?? []).sort(compareRecords);
+        verifications[id] = classifyOne(id, artifact?.meta.verification?.method ?? "automated", history, outOfScope.get(id) ?? 0, snapshot);
+    }
+    return {
+        snapshot: { commit: snapshot.commit, graphHash: snapshot.graphHash, scope },
+        verifications,
+        ignoredOutOfScope,
+        unknown,
+        rejected,
+        diagnostics: sortDiagnostics(diagnostics),
+    };
+}
+/** True when a record was made at the snapshot: same graph hash, and same commit unless the snapshot's is unknown. */
+export function atSnapshot(record, snapshot) {
+    return record.graphHash === snapshot.graphHash && (snapshot.commit === null || record.commit === snapshot.commit);
+}
+function classifyOne(verificationId, method, history, outOfScope, snapshot) {
+    const counts = { pass: 0, fail: 0, skip: 0, error: 0 };
+    const base = { verificationId, method, history, atSnapshot: counts, outOfScope };
+    const ignored = outOfScope > 0 ? `${outOfScope} record${outOfScope === 1 ? "" : "s"} for another product or release ignored` : null;
+    if (history.length === 0) {
+        return withNote({ ...base, status: "missing", latest: null }, [ignored]);
+    }
+    const unbound = history.filter((record) => record.graphHash === CURRENT || (snapshot.commit !== null && record.commit === CURRENT));
+    if (unbound.length > 0) {
+        const names = unbound.map((record) => record.evidenceId).join(", ");
+        return withNote({ ...base, status: "unresolved", latest: history[history.length - 1] }, [
+            `unbound @current placeholder in ${names}; bind it to the snapshot before classifying`,
+            ignored,
+        ]);
+    }
+    const current = history.filter((record) => atSnapshot(record, snapshot));
+    for (const record of current)
+        counts[record.result]++;
+    if (current.length === 0) {
+        return withNote({ ...base, status: "stale", latest: history[history.length - 1] }, [ignored]);
+    }
+    const latest = current[current.length - 1];
+    const status = latest.result === "pass" ? "current-pass" : latest.result === "fail" ? "current-fail" : latest.result;
+    return withNote({ ...base, status, latest }, [snapshot.commit === null ? NOTE_COMMIT_UNKNOWN : null, ignored]);
+}
+function withNote(evidence, notes) {
+    const present = notes.filter((note) => note !== null);
+    const { verificationId, method, status, latest, history, atSnapshot: counts, outOfScope } = evidence;
+    return {
+        verificationId,
+        method,
+        status,
+        ...(present.length > 0 ? { note: present.join("; ") } : {}),
+        latest,
+        history,
+        atSnapshot: counts,
+        outOfScope,
+    };
+}
+//# sourceMappingURL=classify.js.map

package/dist/classify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify.js","sourceRoot":"","sources":["../src/classify.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAA+B,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAiD,MAAM,cAAc,CAAC;AAEtG,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,cAAc;IACd,cAAc;IACd,OAAO;IACP,MAAM;IACN,OAAO;IACP,SAAS;IACT,YAAY;CACJ,CAAC;AAuDX,MAAM,mBAAmB,GAAG,uCAAuC,CAAC;AAEpE,kHAAkH;AAClH,MAAM,UAAU,gBAAgB,CAC9B,KAAY,EACZ,OAA6B,EAC7B,QAA0B,EAC1B,OAAO,GAAoB,EAAE;IAE7B,MAAM,IAAI,GAAG,OAAO,CAAC,YAAY,IAAI,IAAI,CAAC;IAC1C,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC;IACrC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAgB,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC7C,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAE1B,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;SACpC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC;SACrE,IAAI,CAAC,cAAc,CAAC,CAAC;IACxB,KAAK,MAAM,EAAE,IAAI,GAAG;QAAE,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAE1C,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChH,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;QAC1D,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrB,WAAW,CAAC,IAAI,CACd,kBAAkB,CAAC;gBACjB,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,SAAS;gBACnB,QAAQ,EAAE,IAAI;gBACd,IAAI;gBACJ,OAAO,EACL,MAAM,KAAK,SAAS;oBAClB,CAAC,CAAC,cAAc,MAAM,CAAC,UAAU,UAAU,MAAM,CAAC,cAAc,6DAA6D;oBAC7H,CAAC,CAAC,cAAc,MAAM,CAAC,UAAU,UAAU,MAAM,CAAC,cAAc,gBAAgB,MAAM,CAAC,IAAI,CAAC,IAAI,uBAAuB;gBAC3H,WAAW,EACT,+HAA+H;aAClI,CAAC,CACH,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC9E,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,mCAAmC,MAAM,CAAC,UAAU,qBAAqB,CAAC;YACjH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YAClC,WAAW,CAAC,IAAI,CACd,kBAAkB,CAAC;gBACjB,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,MAAM,CAAC,cAAc;gBAC/B,IAAI;gBACJ,OAAO,EAAE,cAAc,MAAM,CAAC,UAAU,2BAA2B,MAAM,CAAC,cAAc,sBAAsB;gBAC9G,WAAW,EACT,kGAAkG;aACrG,CAAC,CACH,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YACzG,iBAAiB,EAAE,CAAC;YACpB,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxF,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,aAAa,GAAyC,EAAE,CAAC;IAC/D,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7D,aAAa,CAAC,EAAE,CAAC,GAAG,WAAW,CAC7B,EAAE,EACF,QAAQ,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,IAAI,WAAW,EAClD,OAAO,EACP,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EACvB,QAAQ,CACT,CAAC;IACJ,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE;QAC3E,aAAa;QACb,iBAAiB;QACjB,OAAO;QACP,QAAQ;QACR,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,UAAU,CAAC,MAAiB,EAAE,QAAsD;IAClG,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,CAAC;AACpH,CAAC;AAED,SAAS,WAAW,CAClB,cAAsB,EACtB,MAA8B,EAC9B,OAAoB,EACpB,UAAkB,EAClB,QAA0B;IAE1B,MAAM,MAAM,GAAiB,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACrE,MAAM,IAAI,GAAG,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IACjF,MAAM,OAAO,GACX,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,UAAU,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,yCAAyC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEtH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAC5B,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,CACpG,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,OAAO,QAAQ,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,EAAE;YACtF,mCAAmC,KAAK,8CAA8C;YACtF,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IACzE,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IACtD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,QAAQ,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAChG,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GACV,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;IACxG,OAAO,QAAQ,CAAC,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;AACjH,CAAC;AAED,SAAS,QAAQ,CAAC,QAA4C,EAAE,KAAwB;IACtF,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACtE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,QAAQ,CAAC;IACrG,OAAO;QACL,cAAc;QACd,MAAM;QACN,MAAM;QACN,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3D,MAAM;QACN,OAAO;QACP,UAAU,EAAE,MAAM;QAClB,UAAU;KACX,CAAC;AACJ,CAAC"}

package/dist/coverage.d.ts

@@ -0,0 +1,88 @@
+/**
+ * Coverage (Core §8, §10; invariants 3 and 6). Behaviors, rules and scenarios
+ * are each claims that need their own coverage: a passing behavior does not
+ * cover its rules or its scenarios. Two things are counted and never merged:
+ * link coverage (a verification definition names the claim in `verifies`) and
+ * current-pass coverage (every applicable verification linked to the claim has
+ * a pass at the snapshot). Manual and automated are counted separately again.
+ * Every count travels with its snapshot and denominator, and nothing is ever
+ * reduced to a single percentage.
+ */
+import { type Graph, type Level, type Status } from "@intentset/core";
+import type { Classification, EvidenceStatus } from "./classify.ts";
+export declare const CLAIM_TYPES: readonly ["behavior", "rule", "scenario"];
+export type ClaimType = (typeof CLAIM_TYPES)[number];
+export interface ClaimCounts {
+    behaviors: number;
+    rules: number;
+    scenarios: number;
+}
+export interface LinkedVerification {
+    id: string;
+    method: "automated" | "manual";
+    status: EvidenceStatus;
+}
+export interface MethodCoverage {
+    /** At least one verification of this method names the claim. */
+    linked: boolean;
+    /** At least one does, and every one that does has a current pass. */
+    verified: boolean;
+}
+export interface ClaimCoverage {
+    id: string;
+    type: ClaimType;
+    path: string;
+    /** The claim's lifecycle status: an editorial claim, never a test result (Core §7). */
+    lifecycle: Status;
+    /** True when the level asks for evidence (L3 and above) and the claim is not a draft. */
+    required: boolean;
+    /** Applicable verifications naming this claim in `verifies`, by ID. Retired verifications are not applicable. */
+    verifications: LinkedVerification[];
+    linked: boolean;
+    /** At least one applicable verification, and every one of them is a current pass. */
+    verified: boolean;
+    manual: MethodCoverage;
+    automated: MethodCoverage;
+}
+export interface Unresolved {
+    /** What could not be checked: an artifact ID, or a word for a repository-wide gap such as "scope". */
+    subject: string;
+    reason: string;
+}
+export interface CoverageReport {
+    snapshot: Classification["snapshot"];
+    level: Level;
+    /** What each count measures, stated with the counts so no reader has to infer it. */
+    measures: {
+        linked: string;
+        verified: string;
+    };
+    /** Behaviors, rules and scenarios that are not retired: the denominator of every count below. */
+    denominator: ClaimCounts;
+    /** Claims outside the denominator, and why. */
+    excluded: {
+        retired: ClaimCounts;
+    };
+    linked: ClaimCounts;
+    verified: ClaimCounts;
+    manual: {
+        linked: ClaimCounts;
+        verified: ClaimCounts;
+    };
+    automated: {
+        linked: ClaimCounts;
+        verified: ClaimCounts;
+    };
+    /** One entry per claim in the denominator, by ID. */
+    perClaim: ClaimCoverage[];
+    /** What could not be checked. Never read as pass. */
+    unresolved: Unresolved[];
+}
+export interface CoverageOptions {
+    level?: Level;
+}
+export declare function zeroCounts(): ClaimCounts;
+/** Core §8: link coverage and current-pass coverage of every behavior, rule and scenario, counted separately. */
+export declare function coverage(graph: Graph, classification: Classification, options?: CoverageOptions): CoverageReport;
+export declare function compareUnresolved(a: Unresolved, b: Unresolved): number;
+//# sourceMappingURL=coverage.d.ts.map

package/dist/coverage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.d.ts","sourceRoot":"","sources":["../src/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,KAAK,KAAK,EAAiB,KAAK,KAAK,EAAU,KAAK,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAC7F,OAAO,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpE,eAAO,MAAM,WAAW,YAAI,UAAU,EAAE,MAAM,EAAE,UAAU,CAAU,CAAC;AACrE,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,WAAW,GAAG,QAAQ,CAAC;IAC/B,MAAM,EAAE,cAAc,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,gEAAgE;IAChE,MAAM,EAAE,OAAO,CAAC;IAChB,qEAAqE;IACrE,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,uFAAuF;IACvF,SAAS,EAAE,MAAM,CAAC;IAClB,yFAAyF;IACzF,QAAQ,EAAE,OAAO,CAAC;IAClB,iHAAiH;IACjH,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,MAAM,EAAE,OAAO,CAAC;IAChB,qFAAqF;IACrF,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,cAAc,CAAC;IACvB,SAAS,EAAE,cAAc,CAAC;CAC3B;AAED,MAAM,WAAW,UAAU;IACzB,sGAAsG;IACtG,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IACrC,KAAK,EAAE,KAAK,CAAC;IACb,qFAAqF;IACrF,QAAQ,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/C,iGAAiG;IACjG,WAAW,EAAE,WAAW,CAAC;IACzB,+CAA+C;IAC/C,QAAQ,EAAE;QAAE,OAAO,EAAE,WAAW,CAAA;KAAE,CAAC;IACnC,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,WAAW,CAAC;IACtB,MAAM,EAAE;QAAE,MAAM,EAAE,WAAW,CAAC;QAAC,QAAQ,EAAE,WAAW,CAAA;KAAE,CAAC;IACvD,SAAS,EAAE;QAAE,MAAM,EAAE,WAAW,CAAC;QAAC,QAAQ,EAAE,WAAW,CAAA;KAAE,CAAC;IAC1D,qDAAqD;IACrD,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,qDAAqD;IACrD,UAAU,EAAE,UAAU,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,KAAK,CAAC;CACf;AAID,wBAAgB,UAAU,IAAI,WAAW,CAExC;AAED,iHAAiH;AACjH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,GAAE,eAAoB,GAAG,cAAc,CAuFpH;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,MAAM,CAEtE"}

package/dist/coverage.js

@@ -0,0 +1,114 @@
+/**
+ * Coverage (Core §8, §10; invariants 3 and 6). Behaviors, rules and scenarios
+ * are each claims that need their own coverage: a passing behavior does not
+ * cover its rules or its scenarios. Two things are counted and never merged:
+ * link coverage (a verification definition names the claim in `verifies`) and
+ * current-pass coverage (every applicable verification linked to the claim has
+ * a pass at the snapshot). Manual and automated are counted separately again.
+ * Every count travels with its snapshot and denominator, and nothing is ever
+ * reduced to a single percentage.
+ */
+import { incomingEdges, LEVELS } from "@intentset/core";
+import { compareStrings } from "./diagnostic.js";
+export const CLAIM_TYPES = ["behavior", "rule", "scenario"];
+const PLURAL = { behavior: "behaviors", rule: "rules", scenario: "scenarios" };
+export function zeroCounts() {
+    return { behaviors: 0, rules: 0, scenarios: 0 };
+}
+/** Core §8: link coverage and current-pass coverage of every behavior, rule and scenario, counted separately. */
+export function coverage(graph, classification, options = {}) {
+    const level = options.level ?? "L1";
+    const evidenceRequired = LEVELS.indexOf(level) >= LEVELS.indexOf("L3");
+    const report = {
+        snapshot: classification.snapshot,
+        level,
+        measures: {
+            linked: "links: claims named in verifies by at least one applicable verification definition",
+            verified: "evidence: claims whose every applicable verification has a current pass at the snapshot",
+        },
+        denominator: zeroCounts(),
+        excluded: { retired: zeroCounts() },
+        linked: zeroCounts(),
+        verified: zeroCounts(),
+        manual: { linked: zeroCounts(), verified: zeroCounts() },
+        automated: { linked: zeroCounts(), verified: zeroCounts() },
+        perClaim: [],
+        unresolved: [],
+    };
+    for (const id of [...graph.artifacts.keys()].sort(compareStrings)) {
+        const artifact = graph.artifacts.get(id);
+        if (artifact === undefined)
+            continue;
+        const type = artifact.meta.type;
+        if (type !== "behavior" && type !== "rule" && type !== "scenario")
+            continue;
+        const key = PLURAL[type];
+        if (artifact.meta.status === "retired") {
+            report.excluded.retired[key]++;
+            continue;
+        }
+        report.denominator[key]++;
+        const verifications = [];
+        const sources = incomingEdges(graph, id, "verifies").map((edge) => edge.from);
+        for (const source of [...new Set(sources)].sort(compareStrings)) {
+            const verification = graph.artifacts.get(source);
+            if (verification === undefined || verification.meta.type !== "verification")
+                continue;
+            if (verification.meta.status === "retired")
+                continue;
+            const evidence = classification.verifications[source];
+            verifications.push({
+                id: source,
+                method: verification.meta.verification?.method ?? evidence?.method ?? "automated",
+                status: evidence?.status ?? "unresolved",
+            });
+        }
+        const byMethod = (method) => {
+            const linked = verifications.filter((v) => v.method === method);
+            return {
+                linked: linked.length > 0,
+                verified: linked.length > 0 && linked.every((v) => v.status === "current-pass"),
+            };
+        };
+        const claim = {
+            id,
+            type,
+            path: artifact.path,
+            lifecycle: artifact.meta.status,
+            required: evidenceRequired && artifact.meta.status !== "draft",
+            verifications,
+            linked: verifications.length > 0,
+            verified: verifications.length > 0 && verifications.every((v) => v.status === "current-pass"),
+            manual: byMethod("manual"),
+            automated: byMethod("automated"),
+        };
+        report.perClaim.push(claim);
+        if (claim.linked)
+            report.linked[key]++;
+        if (claim.verified)
+            report.verified[key]++;
+        for (const method of ["manual", "automated"]) {
+            if (claim[method].linked)
+                report[method].linked[key]++;
+            if (claim[method].verified)
+                report[method].verified[key]++;
+        }
+    }
+    if (classification.snapshot.scope === null) {
+        report.unresolved.push({
+            subject: "scope",
+            reason: "no product and release were requested, so records of every scope were considered",
+        });
+    }
+    for (const id of Object.keys(classification.verifications)) {
+        const evidence = classification.verifications[id];
+        if (evidence.status === "unresolved")
+            report.unresolved.push({ subject: id, reason: evidence.note ?? "evidence could not be classified" });
+    }
+    report.unresolved.sort(compareUnresolved);
+    return report;
+}
+export function compareUnresolved(a, b) {
+    return compareStrings(a.subject, b.subject) || compareStrings(a.reason, b.reason);
+}
+//# sourceMappingURL=coverage.js.map

package/dist/coverage.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage.js","sourceRoot":"","sources":["../src/coverage.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAc,aAAa,EAAc,MAAM,EAAe,MAAM,iBAAiB,CAAC;AAE7F,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,CAAU,CAAC;AAoErE,MAAM,MAAM,GAAyC,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AAErH,MAAM,UAAU,UAAU;IACxB,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;AAClD,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,QAAQ,CAAC,KAAY,EAAE,cAA8B,EAAE,OAAO,GAAoB,EAAE;IAClG,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC;IACpC,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,MAAM,GAAmB;QAC7B,QAAQ,EAAE,cAAc,CAAC,QAAQ;QACjC,KAAK;QACL,QAAQ,EAAE;YACR,MAAM,EAAE,oFAAoF;YAC5F,QAAQ,EAAE,yFAAyF;SACpG;QACD,WAAW,EAAE,UAAU,EAAE;QACzB,QAAQ,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE;QACnC,MAAM,EAAE,UAAU,EAAE;QACpB,QAAQ,EAAE,UAAU,EAAE;QACtB,MAAM,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE;QACxD,SAAS,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE;QAC3D,QAAQ,EAAE,EAAE;QACZ,UAAU,EAAE,EAAE;KACf,CAAC;IAEF,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAChC,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,KAAK,UAAU;YAAE,SAAS;QAC5E,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACvC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QAE1B,MAAM,aAAa,GAAyB,EAAE,CAAC;QAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YAChE,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc;gBAAE,SAAS;YACtF,IAAI,YAAY,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YACrD,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;YACtD,aAAa,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,MAAM;gBACV,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,YAAY,EAAE,MAAM,IAAI,QAAQ,EAAE,MAAM,IAAI,WAAW;gBACjF,MAAM,EAAE,QAAQ,EAAE,MAAM,IAAI,YAAY;aACzC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,CAAC,MAA8B,EAAkB,EAAE;YAClE,MAAM,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;YAChE,OAAO;gBACL,MAAM,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC;gBACzB,QAAQ,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC;aAChF,CAAC;QACJ,CAAC,CAAC;QACF,MAAM,KAAK,GAAkB;YAC3B,EAAE;YACF,IAAI;YACJ,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM;YAC/B,QAAQ,EAAE,gBAAgB,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,OAAO;YAC9D,aAAa;YACb,MAAM,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC;YAChC,QAAQ,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,cAAc,CAAC;YAC7F,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC;YAC1B,SAAS,EAAE,QAAQ,CAAC,WAAW,CAAC;SACjC,CAAC;QACF,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,KAAK,CAAC,MAAM;YAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACvC,IAAI,KAAK,CAAC,QAAQ;YAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAU,EAAE,CAAC;YACtD,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM;gBAAE,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YACvD,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,QAAQ;gBAAE,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,IAAI,cAAc,CAAC,QAAQ,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC3C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;YACrB,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,kFAAkF;SAC3F,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,EAAE,CAAC;QAC3D,MAAM,QAAQ,GAAG,cAAc,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAClD,IAAI,QAAQ,CAAC,MAAM,KAAK,YAAY;YAClC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,IAAI,IAAI,kCAAkC,EAAE,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,CAAa,EAAE,CAAa;IAC5D,OAAO,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;AACpF,CAAC"}

package/dist/diagnostic.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Evidence diagnostics in core's shape and key order (ADR 0004). Core keeps
+ * its constructor private, so this is the one place the evidence package
+ * builds a Diagnostic. Locations are never invented: a run record has no line
+ * in a Markdown file, and a JSON pointer into the evidence goes in `field`.
+ */
+import type { Diagnostic, Severity } from "@intentset/core";
+export interface EvidenceDiagnosticFields {
+    code: string;
+    severity?: Severity;
+    artifact: string | null;
+    path: string | null;
+    field?: string;
+    message: string;
+    remediation: string;
+}
+export declare function evidenceDiagnostic(fields: EvidenceDiagnosticFields): Diagnostic;
+export declare function compareStrings(a: string, b: string): number;
+/** RFC 6901 escaping of one pointer segment. */
+export declare function pointerToken(segment: string | number): string;
+//# sourceMappingURL=diagnostic.d.ts.map

package/dist/diagnostic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.d.ts","sourceRoot":"","sources":["../src/diagnostic.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE5D,MAAM,WAAW,wBAAwB;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,wBAAwB,GAAG,UAAU,CAW/E;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,gDAAgD;AAChD,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAE7D"}

package/dist/diagnostic.js

@@ -0,0 +1,20 @@
+export function evidenceDiagnostic(fields) {
+    return {
+        code: fields.code,
+        severity: fields.severity ?? "error",
+        origin: "evidence",
+        artifact: fields.artifact,
+        path: fields.path,
+        ...(fields.field !== undefined ? { field: fields.field } : {}),
+        message: fields.message,
+        remediation: fields.remediation,
+    };
+}
+export function compareStrings(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+/** RFC 6901 escaping of one pointer segment. */
+export function pointerToken(segment) {
+    return String(segment).replace(/~/g, "~0").replace(/\//g, "~1");
+}
+//# sourceMappingURL=diagnostic.js.map

package/dist/diagnostic.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic.js","sourceRoot":"","sources":["../src/diagnostic.ts"],"names":[],"mappings":"AAkBA,MAAM,UAAU,kBAAkB,CAAC,MAAgC;IACjE,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,OAAO;QACpC,MAAM,EAAE,UAAU;QAClB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAS,EAAE,CAAS;IACjD,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,gDAAgD;AAChD,MAAM,UAAU,YAAY,CAAC,OAAwB;IACnD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;AAClE,CAAC"}

package/dist/fixture.d.ts

@@ -0,0 +1,43 @@
+/**
+ * How an evidence conformance case is run (tests/evidence.json), as one
+ * function, so the harness's driver and this package's own fixture test
+ * cannot differ. Another implementation reads the same contract here:
+ *
+ * 1. Validate the expanded tree at the case's level (core's pipeline).
+ * 2. The snapshot is `FIXTURE_COMMIT`, the graph hash of the validated graph,
+ *    and the scope named by the case's `request.product` and
+ *    `request.release` (no scope filter when either is absent).
+ * 3. Bind `@current` in the case's `evidence` to that snapshot, then read the
+ *    records as if from `evidence.json`.
+ * 4. Check locators against the tree's paths (documents and sources) only
+ *    when the case supplies `sources`; a case without them has no tree to
+ *    check against, and its locators are reported unresolved instead.
+ * 5. The case's diagnostics are validation's plus the reader's plus the check's.
+ */
+import { type Diagnostic, type Graph, type Level } from "@intentset/core";
+import { type EvidenceCheck } from "./check.ts";
+import type { EvidenceSnapshot } from "./classify.ts";
+export declare const FIXTURE_EVIDENCE_PATH = "evidence.json";
+export interface FixtureEvidenceInput {
+    /** The graph validation built from the expanded tree. */
+    graph: Graph;
+    level: Level;
+    /** The case's `evidence` array, placeholders unbound. */
+    evidence: readonly unknown[];
+    /** The case's `request`, read for its product and release only. */
+    request: {
+        product?: string;
+        release?: string;
+    } | null;
+    /** Paths of the expanded tree's documents. */
+    documents: Iterable<string>;
+    /** Paths of the case's `sources`. */
+    sources: Iterable<string>;
+}
+export interface FixtureEvidenceRun extends EvidenceCheck {
+    snapshot: EvidenceSnapshot;
+    /** The reader's diagnostics followed by the check's, sorted. Validation's are the caller's to add. */
+    diagnostics: Diagnostic[];
+}
+export declare function checkFixtureEvidence(input: FixtureEvidenceInput): FixtureEvidenceRun;
+//# sourceMappingURL=fixture.d.ts.map

package/dist/fixture.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.d.ts","sourceRoot":"","sources":["../src/fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,KAAK,UAAU,EAAE,KAAK,KAAK,EAAa,KAAK,KAAK,EAAmB,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAE,KAAK,aAAa,EAAiB,MAAM,YAAY,CAAC;AAC/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAItD,eAAO,MAAM,qBAAqB,kBAAkB,CAAC;AAErD,MAAM,WAAW,oBAAoB;IACnC,yDAAyD;IACzD,KAAK,EAAE,KAAK,CAAC;IACb,KAAK,EAAE,KAAK,CAAC;IACb,yDAAyD;IACzD,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IAC7B,mEAAmE;IACnE,OAAO,EAAE;QAAE,OAAO,CAAC,EAAE,MAAM,CAAC;QAAC,OAAO,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACvD,8CAA8C;IAC9C,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC5B,qCAAqC;IACrC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;CAC3B;AAED,MAAM,WAAW,kBAAmB,SAAQ,aAAa;IACvD,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,sGAAsG;IACtG,WAAW,EAAE,UAAU,EAAE,CAAC;CAC3B;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,oBAAoB,GAAG,kBAAkB,CAmBpF"}

package/dist/fixture.js

@@ -0,0 +1,42 @@
+/**
+ * How an evidence conformance case is run (tests/evidence.json), as one
+ * function, so the harness's driver and this package's own fixture test
+ * cannot differ. Another implementation reads the same contract here:
+ *
+ * 1. Validate the expanded tree at the case's level (core's pipeline).
+ * 2. The snapshot is `FIXTURE_COMMIT`, the graph hash of the validated graph,
+ *    and the scope named by the case's `request.product` and
+ *    `request.release` (no scope filter when either is absent).
+ * 3. Bind `@current` in the case's `evidence` to that snapshot, then read the
+ *    records as if from `evidence.json`.
+ * 4. Check locators against the tree's paths (documents and sources) only
+ *    when the case supplies `sources`; a case without them has no tree to
+ *    check against, and its locators are reported unresolved instead.
+ * 5. The case's diagnostics are validation's plus the reader's plus the check's.
+ */
+import { graphHash, sortDiagnostics } from "@intentset/core";
+import { checkEvidence } from "./check.js";
+import { bindPlaceholders, FIXTURE_COMMIT, requestedScope } from "./placeholders.js";
+import { readRunRecords } from "./records.js";
+export const FIXTURE_EVIDENCE_PATH = "evidence.json";
+export function checkFixtureEvidence(input) {
+    const snapshot = {
+        commit: FIXTURE_COMMIT,
+        graphHash: graphHash(input.graph),
+        scope: requestedScope(input.request),
+    };
+    const read = readRunRecords(bindPlaceholders(input.evidence, snapshot), FIXTURE_EVIDENCE_PATH);
+    const sources = [...input.sources];
+    const files = sources.length > 0 ? new Set([...input.documents, ...sources]) : undefined;
+    const checked = checkEvidence(input.graph, read.records, snapshot, {
+        level: input.level,
+        files,
+        evidencePath: FIXTURE_EVIDENCE_PATH,
+    });
+    return {
+        ...checked,
+        snapshot,
+        diagnostics: sortDiagnostics([...read.diagnostics, ...checked.diagnostics]),
+    };
+}
+//# sourceMappingURL=fixture.js.map

package/dist/fixture.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixture.js","sourceRoot":"","sources":["../src/fixture.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAA+B,SAAS,EAAc,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACtG,OAAO,EAAsB,aAAa,EAAE,MAAM,YAAY,CAAC;AAE/D,OAAO,EAAE,gBAAgB,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,CAAC,MAAM,qBAAqB,GAAG,eAAe,CAAC;AAsBrD,MAAM,UAAU,oBAAoB,CAAC,KAA2B;IAC9D,MAAM,QAAQ,GAAqB;QACjC,MAAM,EAAE,cAAc;QACtB,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;QACjC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC;KACrC,CAAC;IACF,MAAM,IAAI,GAAG,cAAc,CAAC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACzF,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE;QACjE,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,KAAK;QACL,YAAY,EAAE,qBAAqB;KACpC,CAAC,CAAC;IACH,OAAO;QACL,GAAG,OAAO;QACV,QAAQ;QACR,WAAW,EAAE,eAAe,CAAC,CAAC,GAAG,IAAI,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;KAC5E,CAAC;AACJ,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,16 @@
+/**
+ * @intentset/verification: run records, evidence freshness, coverage and
+ * test-reporter adapters (Core §8, §10, §11; milestone M3). Definitions are
+ * not evidence: only a pass at the assessed commit and graph hash is current,
+ * and link coverage and current-pass coverage are always counted apart.
+ */
+export * from "./adapters/common.ts";
+export * from "./adapters/node-test.ts";
+export * from "./adapters/vitest.ts";
+export * from "./check.ts";
+export * from "./classify.ts";
+export * from "./coverage.ts";
+export * from "./fixture.ts";
+export * from "./placeholders.ts";
+export * from "./records.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,sBAAsB,CAAC;AACrC,cAAc,yBAAyB,CAAC;AACxC,cAAc,sBAAsB,CAAC;AACrC,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,16 @@
+/**
+ * @intentset/verification: run records, evidence freshness, coverage and
+ * test-reporter adapters (Core §8, §10, §11; milestone M3). Definitions are
+ * not evidence: only a pass at the assessed commit and graph hash is current,
+ * and link coverage and current-pass coverage are always counted apart.
+ */
+export * from "./adapters/common.js";
+export * from "./adapters/node-test.js";
+export * from "./adapters/vitest.js";
+export * from "./check.js";
+export * from "./classify.js";
+export * from "./coverage.js";
+export * from "./fixture.js";
+export * from "./placeholders.js";
+export * from "./records.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,cAAc,sBAAsB,CAAC;AACrC,cAAc,yBAAyB,CAAC;AACxC,cAAc,sBAAsB,CAAC;AACrC,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC"}

package/dist/placeholders.d.ts

@@ -0,0 +1,39 @@
+/**
+ * The `@current` placeholder contract, for fixtures and the harness.
+ *
+ * A conformance case cannot know its graph hash in advance: the hash is
+ * computed over the tree the case expands to. So a fixture writes the literal
+ * `@current` for `commit` and `graphHash` when it means "the snapshot under
+ * assessment", and the driver binds it with `bindPlaceholders` before reading
+ * the records. Anything else (a 40-character commit, a 64-character hash) is
+ * taken literally, which is how a fixture says "stale".
+ *
+ * Binding is the caller's job and is never silent: a record that still
+ * carries `@current` when it is classified is `unresolved`, not current.
+ */
+import { CURRENT, type RunScope } from "./records.ts";
+export { CURRENT };
+/**
+ * The commit the evidence fixtures are assessed at. Any value works so long
+ * as no fixture writes it literally; fixtures write `@current` instead, and
+ * their stale records use other commits.
+ */
+export declare const FIXTURE_COMMIT = "1234567890abcdef1234567890abcdef12345678";
+export interface PlaceholderSnapshot {
+    commit: string | null;
+    graphHash: string;
+}
+/**
+ * Replace `@current` in each record's `commit` and `graphHash` with the
+ * snapshot's values. Works on raw parsed JSON as well as on read records, and
+ * returns copies: the input is not changed. A null snapshot commit leaves a
+ * `@current` commit in place, since there is nothing to bind it to; matching
+ * then uses the graph hash alone (classify.ts).
+ */
+export declare function bindPlaceholders<T>(records: readonly T[], snapshot: PlaceholderSnapshot): T[];
+/** The scope a fixture requests, from the case's `request` product and release; null unless both are named. */
+export declare function requestedScope(request: {
+    product?: string;
+    release?: string;
+} | null | undefined): RunScope | null;
+//# sourceMappingURL=placeholders.d.ts.map

package/dist/placeholders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"placeholders.d.ts","sourceRoot":"","sources":["../src/placeholders.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,cAAc,CAAC;AAEtD,OAAO,EAAE,OAAO,EAAE,CAAC;AAEnB;;;;GAIG;AACH,eAAO,MAAM,cAAc,6CAA6C,CAAC;AAEzE,MAAM,WAAW,mBAAmB;IAClC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,mBAAmB,GAAG,CAAC,EAAE,CAQ7F;AAED,+GAA+G;AAC/G,wBAAgB,cAAc,CAAC,OAAO,EAAE;IAAE,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,IAAI,CAGlH"}

package/dist/placeholders.js

@@ -0,0 +1,47 @@
+/**
+ * The `@current` placeholder contract, for fixtures and the harness.
+ *
+ * A conformance case cannot know its graph hash in advance: the hash is
+ * computed over the tree the case expands to. So a fixture writes the literal
+ * `@current` for `commit` and `graphHash` when it means "the snapshot under
+ * assessment", and the driver binds it with `bindPlaceholders` before reading
+ * the records. Anything else (a 40-character commit, a 64-character hash) is
+ * taken literally, which is how a fixture says "stale".
+ *
+ * Binding is the caller's job and is never silent: a record that still
+ * carries `@current` when it is classified is `unresolved`, not current.
+ */
+import { CURRENT } from "./records.js";
+export { CURRENT };
+/**
+ * The commit the evidence fixtures are assessed at. Any value works so long
+ * as no fixture writes it literally; fixtures write `@current` instead, and
+ * their stale records use other commits.
+ */
+export const FIXTURE_COMMIT = "1234567890abcdef1234567890abcdef12345678";
+/**
+ * Replace `@current` in each record's `commit` and `graphHash` with the
+ * snapshot's values. Works on raw parsed JSON as well as on read records, and
+ * returns copies: the input is not changed. A null snapshot commit leaves a
+ * `@current` commit in place, since there is nothing to bind it to; matching
+ * then uses the graph hash alone (classify.ts).
+ */
+export function bindPlaceholders(records, snapshot) {
+    return records.map((record) => {
+        if (typeof record !== "object" || record === null || Array.isArray(record))
+            return record;
+        const copy = { ...record };
+        if (copy.graphHash === CURRENT)
+            copy.graphHash = snapshot.graphHash;
+        if (copy.commit === CURRENT && snapshot.commit !== null)
+            copy.commit = snapshot.commit;
+        return copy;
+    });
+}
+/** The scope a fixture requests, from the case's `request` product and release; null unless both are named. */
+export function requestedScope(request) {
+    if (request?.product === undefined || request.release === undefined)
+        return null;
+    return { product: request.product, release: request.release };
+}
+//# sourceMappingURL=placeholders.js.map