@intentset/verification 0.1.0 → 0.2.0

package/dist/index.d.ts

@@ -13,4 +13,5 @@ export * from "./coverage.ts";
 export * from "./fixture.ts";
 export * from "./placeholders.ts";
 export * from "./records.ts";
+export * from "./report.ts";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +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"}
+{"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;AAC7B,cAAc,aAAa,CAAC"}

package/dist/index.js

@@ -13,4 +13,5 @@ export * from "./coverage.js";
 export * from "./fixture.js";
 export * from "./placeholders.js";
 export * from "./records.js";
+export * from "./report.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +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"}
+{"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;AAC7B,cAAc,aAAa,CAAC"}

package/dist/report.d.ts

@@ -0,0 +1,12 @@
+/**
+ * `reports.evidence` for the export (spec/export.md §4.1): the classification
+ * and the per-claim coverage of one evidence check, in the shape a consumer
+ * displays without reinterpreting. No totals and no percentage: a consumer
+ * shows each verification's status and each claim's, and the difference
+ * between missing, stale, failed and passed stays visible (Core §8).
+ */
+import type { EvidenceReportSection } from "@intentset/core";
+import type { EvidenceCheck } from "./check.ts";
+/** The evidence report of a check that classified `records` run records. */
+export declare function evidenceReport(check: EvidenceCheck, records: number): EvidenceReportSection;
+//# sourceMappingURL=report.d.ts.map

package/dist/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAC7D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,KAAK,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,GAAG,qBAAqB,CA4B3F"}

package/dist/report.js

@@ -0,0 +1,31 @@
+/** The evidence report of a check that classified `records` run records. */
+export function evidenceReport(check, records) {
+    const { classification, coverage } = check;
+    return {
+        commit: classification.snapshot.commit,
+        graphHash: classification.snapshot.graphHash,
+        scope: classification.snapshot.scope,
+        records,
+        verifications: Object.values(classification.verifications).map((v) => ({
+            id: v.verificationId,
+            method: v.method,
+            status: v.status,
+            note: v.note ?? null,
+            latest: v.latest,
+            atSnapshot: { ...v.atSnapshot },
+            runs: v.history.length,
+            outOfScope: v.outOfScope,
+        })),
+        claims: coverage.perClaim.map((claim) => ({
+            id: claim.id,
+            type: claim.type,
+            lifecycle: claim.lifecycle,
+            required: claim.required,
+            linked: claim.linked,
+            verified: claim.verified,
+            verifications: claim.verifications.map((v) => v.id),
+            withheld: 0,
+        })),
+    };
+}
+//# sourceMappingURL=report.js.map

package/dist/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAUA,4EAA4E;AAC5E,MAAM,UAAU,cAAc,CAAC,KAAoB,EAAE,OAAe;IAClE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IAC3C,OAAO;QACL,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,MAAM;QACtC,SAAS,EAAE,cAAc,CAAC,QAAQ,CAAC,SAAS;QAC5C,KAAK,EAAE,cAAc,CAAC,QAAQ,CAAC,KAAK;QACpC,OAAO;QACP,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrE,EAAE,EAAE,CAAC,CAAC,cAAc;YACpB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI;YACpB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,UAAU,EAAE,EAAE,GAAG,CAAC,CAAC,UAAU,EAAE;YAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM;YACtB,UAAU,EAAE,CAAC,CAAC,UAAU;SACzB,CAAC,CAAC;QACH,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACxC,EAAE,EAAE,KAAK,CAAC,EAAE;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,QAAQ,EAAE,CAAC;SACZ,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@intentset/verification",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Run records, evidence freshness classification, and test-reporter adapters.",
   "license": "MIT",
   "type": "module",
@@ -28,6 +28,6 @@
     }
   },
   "dependencies": {
-    "@intentset/core": "^0.1.0"
+    "@intentset/core": "^0.2.0"
   }
 }

package/src/index.ts

@@ -13,3 +13,4 @@ export * from "./coverage.ts";
 export * from "./fixture.ts";
 export * from "./placeholders.ts";
 export * from "./records.ts";
+export * from "./report.ts";

package/src/report.ts

@@ -0,0 +1,40 @@
+/**
+ * `reports.evidence` for the export (spec/export.md §4.1): the classification
+ * and the per-claim coverage of one evidence check, in the shape a consumer
+ * displays without reinterpreting. No totals and no percentage: a consumer
+ * shows each verification's status and each claim's, and the difference
+ * between missing, stale, failed and passed stays visible (Core §8).
+ */
+import type { EvidenceReportSection } from "@intentset/core";
+import type { EvidenceCheck } from "./check.ts";
+
+/** The evidence report of a check that classified `records` run records. */
+export function evidenceReport(check: EvidenceCheck, records: number): EvidenceReportSection {
+  const { classification, coverage } = check;
+  return {
+    commit: classification.snapshot.commit,
+    graphHash: classification.snapshot.graphHash,
+    scope: classification.snapshot.scope,
+    records,
+    verifications: Object.values(classification.verifications).map((v) => ({
+      id: v.verificationId,
+      method: v.method,
+      status: v.status,
+      note: v.note ?? null,
+      latest: v.latest,
+      atSnapshot: { ...v.atSnapshot },
+      runs: v.history.length,
+      outOfScope: v.outOfScope,
+    })),
+    claims: coverage.perClaim.map((claim) => ({
+      id: claim.id,
+      type: claim.type,
+      lifecycle: claim.lifecycle,
+      required: claim.required,
+      linked: claim.linked,
+      verified: claim.verified,
+      verifications: claim.verifications.map((v) => v.id),
+      withheld: 0,
+    })),
+  };
+}