qlm-measure 0.2.1 → 0.2.3

package/dist/verifier/hash.js

@@ -1,73 +1,177 @@
 /**
  * Hash utilities for evidence record integrity.
  *
- * Uses SHA-256 via the Web Crypto API (browser) or Node crypto module.
+ * Uses SHA-256 via Node's crypto module (ESM import).
  * Canonical serialization ensures deterministic hashing.
  */
+import { createHash } from "crypto";
 /**
- * Canonical JSON serialization — sorted keys, no whitespace.
- * Ensures the same object always produces the same hash regardless
- * of property insertion order.
+ * Format a number to match Python's json.dumps output.
+ *
+ * Python's json.dumps uses different formatting for int vs float:
+ *   int 9200     → "9200"     (no decimal point)
+ *   float 1.0    → "1.0"     (always has decimal point)
+ *   float 3e-05  → "3e-05"   (2-digit exponent minimum)
+ *
+ * JS has no int/float distinction. We use Number.isInteger() as the
+ * heuristic: if the JSON source had no decimal point, Python stored
+ * it as int and wrote it without .0.
+ *
+ * For the entry-hash hashable subset, only evidentialWeight,
+ * priorPosterior, and updatedPosterior are Python floats. version is
+ * an int. Everything inside event follows Python's own int/float typing
+ * from the original JSON (which round-trips through JSON.parse identically).
  */
-export function canonicalize(obj) {
-    return JSON.stringify(obj, (_, value) => {
-        if (value && typeof value === "object" && !Array.isArray(value)) {
-            return Object.keys(value).sort().reduce((sorted, key) => {
-                sorted[key] = value[key];
-                return sorted;
-            }, {});
+/**
+ * Format a number to match Python's json.dumps output.
+ *
+ * Python uses the shortest decimal representation that round-trips
+ * (David Gay's dtoa algorithm). JS's Number.toString() also uses dtoa
+ * but sometimes produces longer representations with floating-point noise.
+ *
+ * We match Python by finding the shortest representation that round-trips.
+ */
+function pyNumberFormat(n) {
+    if (Object.is(n, -0))
+        return "-0.0";
+    if (!Number.isFinite(n))
+        return String(n);
+    // Python int path
+    if (Number.isInteger(n) && Math.abs(n) < Number.MAX_SAFE_INTEGER) {
+        return n.toString();
+    }
+    // Find the shortest decimal representation that round-trips
+    // This matches Python's float.__repr__ (shortest via dtoa)
+    let best = JSON.stringify(n);
+    // Try progressively shorter representations
+    for (let prec = 17; prec >= 1; prec--) {
+        const candidate = n.toPrecision(prec);
+        if (parseFloat(candidate) === n) {
+            best = candidate;
         }
-        return value;
+        else {
+            break; // once it stops round-tripping, shorter won't work either
+        }
+    }
+    // Remove unnecessary trailing zeros and decimal point
+    // but keep at least one digit after decimal for floats
+    if (best.includes(".") && !best.includes("e") && !best.includes("E")) {
+        best = best.replace(/0+$/, "");
+        if (best.endsWith("."))
+            best += "0"; // keep the .0 for e.g. "1.0"
+    }
+    // Python uses scientific notation for abs < 1e-4
+    const abs = Math.abs(n);
+    if (abs > 0 && abs < 1e-4) {
+        // Force scientific notation matching Python
+        if (!best.includes("e") && !best.includes("E")) {
+            const exp = Math.floor(Math.log10(abs));
+            const mantissa = n / Math.pow(10, exp);
+            // Use shortest mantissa
+            let mBest = String(mantissa);
+            for (let p = 17; p >= 1; p--) {
+                const mc = mantissa.toPrecision(p);
+                if (parseFloat(mc) * Math.pow(10, exp) === n) {
+                    mBest = mc;
+                }
+                else
+                    break;
+            }
+            // Clean mantissa
+            if (mBest.includes(".")) {
+                mBest = mBest.replace(/0+$/, "").replace(/\.$/, "");
+            }
+            best = `${mBest}e-${String(-exp).padStart(2, "0")}`;
+        }
+    }
+    // Fix exponent padding: e-7 → e-07, e+2 → e+02
+    best = best.replace(/e([+-])(\d)$/, "e$10$2");
+    return best;
+}
+/**
+ * Format a string to match Python's json.dumps output.
+ * Python escapes all non-ASCII characters to \\uXXXX by default.
+ * JS JSON.stringify passes them through as UTF-8.
+ */
+function pyStringFormat(s) {
+    let result = JSON.stringify(s);
+    // Replace non-ASCII characters with \\uXXXX escapes, matching Python
+    result = result.replace(/[\u0080-\uffff]/g, (ch) => {
+        return "\\u" + ch.charCodeAt(0).toString(16).padStart(4, "0");
     });
+    return result;
 }
 /**
- * Compute SHA-256 hash of a string.
- * Works in both browser (Web Crypto) and Node (crypto module).
+ * Canonical JSON serialization — sorted keys, no whitespace.
+ * Matches Python's json.dumps(sort_keys=True, separators=(",",":"), default=str)
+ * byte-for-byte, including number and string formatting.
  */
-export function sha256(input) {
-    // Node.js path
-    try {
-        // eslint-disable-next-line @typescript-eslint/no-require-imports
-        const crypto = require("crypto");
-        return crypto.createHash("sha256").update(input).digest("hex");
+export function canonicalize(obj) {
+    return _canonicalizeValue(obj);
+}
+function _canonicalizeValue(val) {
+    if (val === null)
+        return "null";
+    if (val === undefined)
+        return "null";
+    if (typeof val === "boolean")
+        return val ? "true" : "false";
+    if (typeof val === "number")
+        return pyNumberFormat(val);
+    if (typeof val === "string")
+        return pyStringFormat(val);
+    if (Array.isArray(val)) {
+        return "[" + val.map(_canonicalizeValue).join(",") + "]";
     }
-    catch {
-        // Browser path — synchronous fallback using a simple hash
-        // Note: in production, use Web Crypto API (async) for true SHA-256
-        return simpleHash(input);
+    if (typeof val === "object") {
+        const keys = Object.keys(val).sort();
+        const pairs = keys.map(k => {
+            const v = val[k];
+            return JSON.stringify(k) + ":" + _canonicalizeValue(v);
+        });
+        return "{" + pairs.join(",") + "}";
     }
+    return JSON.stringify(val);
 }
-/** Simple non-cryptographic hash for browser environments without crypto. */
-function simpleHash(str) {
-    let hash = 0;
-    for (let i = 0; i < str.length; i++) {
-        const char = str.charCodeAt(i);
-        hash = ((hash << 5) - hash + char) | 0;
-    }
-    return Math.abs(hash).toString(16).padStart(8, "0");
+/**
+ * Compute SHA-256 hash of a string.
+ */
+export function sha256(input) {
+    return createHash("sha256").update(input).digest("hex");
 }
 /**
  * Compute the canonical hash of an evidence entry.
- * Hashes all fields EXCEPT entryHash and prevHash (which are the chain links).
+ * Every field must be explicitly null (not undefined) to match Python.
  */
 export function hashEntry(entry) {
     const hashable = {
         version: entry.version,
         timestamp: entry.timestamp,
         event: entry.event,
-        scaffoldType: entry.scaffoldType,
-        depthLevel: entry.depthLevel,
-        epistemicMode: entry.epistemicMode,
-        triageResult: entry.triageResult,
+        scaffoldType: entry.scaffoldType ?? null,
+        depthLevel: entry.depthLevel ?? null,
+        epistemicMode: entry.epistemicMode ?? null,
+        triageResult: entry.triageResult ?? null,
         evidentialWeight: entry.evidentialWeight,
         priorPosterior: entry.priorPosterior,
         updatedPosterior: entry.updatedPosterior,
         nonInterventionDecision: entry.nonInterventionDecision ?? null,
     };
-    return sha256(canonicalize(hashable));
+    // Build canonical, then fix the three Python-float fields:
+    // evidentialWeight, priorPosterior, updatedPosterior are Python floats.
+    // Python writes 1.0 for float(1), but JS Number.isInteger(1) returns true
+    // and pyNumberFormat writes "1". Fix by post-processing these three fields.
+    let canonical = _canonicalizeValue(hashable);
+    for (const field of ["evidentialWeight", "priorPosterior", "updatedPosterior"]) {
+        const val = hashable[field];
+        if (typeof val === "number" && Number.isInteger(val)) {
+            canonical = canonical.replace(new RegExp(`"${field}":(-?\\d+)(?=[,}\\]])`), `"${field}":$1.0`);
+        }
+    }
+    return sha256(canonical);
 }
 /**
- * Compute a hash over a canonical string (for summary hashes, etc.).
+ * Compute a hash over a canonical string.
  */
 export function hashCanonical(input) {
     return sha256(input);

package/dist/verifier/hash.js.map

@@ -1 +1 @@
-{"version":3,"file":"hash.js","sourceRoot":"","sources":["../../src/verifier/hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAY;IACvC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACtC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,CAA0B,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;gBAC/E,MAAM,CAAC,GAAG,CAAC,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;gBACtD,OAAO,MAAM,CAAC;YAChB,CAAC,EAAE,EAAE,CAAC,CAAC;QACT,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,eAAe;IACf,IAAI,CAAC;QACH,iEAAiE;QACjE,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;QACjC,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC;IAAC,MAAM,CAAC;QACP,0DAA0D;QAC1D,mEAAmE;QACnE,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AACtD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAoB;IAC5C,MAAM,QAAQ,GAAG;QACf,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,IAAI,IAAI;KAC/D,CAAC;IACF,OAAO,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"hash.js","sourceRoot":"","sources":["../../src/verifier/hash.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAGpC;;;;;;;;;;;;;;;;GAgBG;AACH;;;;;;;;GAQG;AACH,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAE1C,kBAAkB;IAClB,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACjE,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;IACtB,CAAC;IAED,4DAA4D;IAC5D,2DAA2D;IAC3D,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAE7B,4CAA4C;IAC5C,KAAK,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QACtC,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,IAAI,GAAG,SAAS,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,0DAA0D;QACnE,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,uDAAuD;IACvD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACrE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,IAAI,IAAI,GAAG,CAAC,CAAC,6BAA6B;IACpE,CAAC;IAED,iDAAiD;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,IAAI,EAAE,CAAC;QAC1B,4CAA4C;QAC5C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACvC,wBAAwB;YACxB,IAAI,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC7B,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7B,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,UAAU,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7C,KAAK,GAAG,EAAE,CAAC;gBACb,CAAC;;oBAAM,MAAM;YACf,CAAC;YACD,iBAAiB;YACjB,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;gBACxB,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtD,CAAC;YACD,IAAI,GAAG,GAAG,KAAK,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACtD,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;IAE9C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,CAAS;IAC/B,IAAI,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC/B,qEAAqE;IACrE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,kBAAkB,EAAE,CAAC,EAAE,EAAE,EAAE;QACjD,OAAO,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,GAAY;IACvC,OAAO,kBAAkB,CAAC,GAAG,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAY;IACtC,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAChC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACrC,IAAI,OAAO,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC5D,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IACxD,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;IACxD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAC3D,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAA8B,CAAC,CAAC,IAAI,EAAE,CAAC;QAChE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;YACzB,MAAM,CAAC,GAAI,GAA+B,CAAC,CAAC,CAAC,CAAC;YAC9C,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,kBAAkB,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC,CAAC,CAAC;QACH,OAAO,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IACrC,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,MAAM,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAoB;IAC5C,MAAM,QAAQ,GAAG;QACf,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;QACxC,UAAU,EAAE,KAAK,CAAC,UAAU,IAAI,IAAI;QACpC,aAAa,EAAE,KAAK,CAAC,aAAa,IAAI,IAAI;QAC1C,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,IAAI;QACxC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,uBAAuB,EAAE,KAAK,CAAC,uBAAuB,IAAI,IAAI;KAC/D,CAAC;IAEF,2DAA2D;IAC3D,wEAAwE;IACxE,0EAA0E;IAC1E,4EAA4E;IAC5E,IAAI,SAAS,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,kBAAkB,CAAC,EAAE,CAAC;QAC/E,MAAM,GAAG,GAAI,QAAoC,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACrD,SAAS,GAAG,SAAS,CAAC,OAAO,CAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,uBAAuB,CAAC,EAC5C,IAAI,KAAK,QAAQ,CAClB,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}

package/dist/verifier/index.d.ts

@@ -1,5 +1,5 @@
-export { verifyRecord } from "./verify-record";
-export type { VerificationResult, Violation } from "./verify-record";
-export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay";
-export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash";
+export { verifyRecord } from "./verify-record.js";
+export type { VerificationResult, Violation } from "./verify-record.js";
+export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay.js";
+export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/verifier/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC"}

package/dist/verifier/index.js

@@ -1,4 +1,4 @@
-export { verifyRecord } from "./verify-record";
-export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay";
-export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash";
+export { verifyRecord } from "./verify-record.js";
+export { replayToVersion, posteriorAtVersion, summarizeToVersion } from "./replay.js";
+export { hashEntry, hashCanonical, canonicalize, sha256 } from "./hash.js";
 //# sourceMappingURL=index.js.map

package/dist/verifier/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AACnF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/verifier/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC"}

package/dist/verifier/replay.d.ts

@@ -4,7 +4,7 @@
  * This is pure bookkeeping: it slices the entry array to version N
  * and returns the logged values. It does NOT recompute any posteriors.
  */
-import type { EvidenceRecord, EvidenceEntry } from "../schema/evidence-record";
+import type { EvidenceRecord, EvidenceEntry } from "../schema/evidence-record.js";
 /**
  * Replay an evidence record to a specific version.
  *

package/dist/verifier/replay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/verifier/replay.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAE/E;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,aAAa,EAAE,CAEjB;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,MAAM,GAAG,IAAI,CAIf;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB;IACD,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC5C,CAkBA"}
+{"version":3,"file":"replay.d.ts","sourceRoot":"","sources":["../../src/verifier/replay.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAC;AAElF;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,aAAa,EAAE,CAEjB;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB,MAAM,GAAG,IAAI,CAIf;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,MAAM,GACpB;IACD,eAAe,EAAE,MAAM,CAAC;IACxB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,oBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7C,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC5C,CAkBA"}

package/dist/verifier/verify-record.d.ts

@@ -2,47 +2,21 @@
  * Evidence Record Verifier
  *
  * Verifies the bookkeeping integrity of an evidence record WITHOUT
- * containing any estimation mathematics. This distinction is the design:
- * "verify instead of trust."
+ * containing any estimation mathematics.
  *
- * What it checks:
- * - Schema validity (required fields present, correct types)
- * - Strictly monotonic version numbers
- * - Timestamp monotonicity (with configurable tolerance)
- * - Hash-chain integrity (prevHash linkage, entryHash recompute)
- * - Posterior chain consistency (each priorPosterior = previous updatedPosterior)
- * - Compaction-boundary integrity
- * - Enum validity (all enum values are from the public vocabulary)
- *
- * What it MUST NOT do (enforced by test):
- * - Never recompute a posterior
- * - Never contain an update function
- * - Never embed a weight or threshold
- * - Never import from any estimation module
+ * verify makes no network calls. Records never leave your machine.
  */
-import type { EvidenceRecord } from "../schema/evidence-record";
+import type { EvidenceRecord } from "../schema/evidence-record.js";
 export interface Violation {
-    /** Entry version where the violation was found, or 0 for record-level. */
     version: number;
-    /** Category of the violation. */
     category: "schema" | "version" | "timestamp" | "hash" | "posterior" | "compaction" | "enum";
-    /** Human-readable description. */
     message: string;
+    checkId: string;
 }
 export interface VerificationResult {
-    /** Whether the record passed all checks. */
     valid: boolean;
-    /** List of violations found. */
     violations: Violation[];
-    /** Number of entries checked. */
     entriesChecked: number;
 }
-/**
- * Verify the integrity of an evidence record.
- *
- * @param record The evidence record to verify.
- * @param timestampToleranceMs Maximum allowed backward timestamp drift (default: 1000ms).
- * @returns Verification result with any violations found.
- */
 export declare function verifyRecord(record: EvidenceRecord, timestampToleranceMs?: number): VerificationResult;
 //# sourceMappingURL=verify-record.d.ts.map

package/dist/verifier/verify-record.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-record.d.ts","sourceRoot":"","sources":["../../src/verifier/verify-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAiB,MAAM,2BAA2B,CAAC;AAI/E,MAAM,WAAW,SAAS;IACxB,0EAA0E;IAC1E,OAAO,EAAE,MAAM,CAAC;IAChB,iCAAiC;IACjC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,YAAY,GAAG,MAAM,CAAC;IAC5F,kCAAkC;IAClC,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,4CAA4C;IAC5C,KAAK,EAAE,OAAO,CAAC;IACf,gCAAgC;IAChC,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,iCAAiC;IACjC,cAAc,EAAE,MAAM,CAAC;CACxB;AAOD;;;;;;GAMG;AACH,wBAAgB,YAAY,CAC1B,MAAM,EAAE,cAAc,EACtB,oBAAoB,GAAE,MAAa,GAClC,kBAAkB,CA2IpB"}
+{"version":3,"file":"verify-record.d.ts","sourceRoot":"","sources":["../../src/verifier/verify-record.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAiB,MAAM,8BAA8B,CAAC;AAIlF,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,GAAG,MAAM,GAAG,WAAW,GAAG,YAAY,GAAG,MAAM,CAAC;IAC5F,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;CACxB;AAYD,wBAAgB,YAAY,CAC1B,MAAM,EAAE,cAAc,EACtB,oBAAoB,GAAE,MAAa,GAClC,kBAAkB,CAwHpB"}

package/dist/verifier/verify-record.js

@@ -2,148 +2,113 @@
  * Evidence Record Verifier
  *
  * Verifies the bookkeeping integrity of an evidence record WITHOUT
- * containing any estimation mathematics. This distinction is the design:
- * "verify instead of trust."
+ * containing any estimation mathematics.
  *
- * What it checks:
- * - Schema validity (required fields present, correct types)
- * - Strictly monotonic version numbers
- * - Timestamp monotonicity (with configurable tolerance)
- * - Hash-chain integrity (prevHash linkage, entryHash recompute)
- * - Posterior chain consistency (each priorPosterior = previous updatedPosterior)
- * - Compaction-boundary integrity
- * - Enum validity (all enum values are from the public vocabulary)
- *
- * What it MUST NOT do (enforced by test):
- * - Never recompute a posterior
- * - Never contain an update function
- * - Never embed a weight or threshold
- * - Never import from any estimation module
+ * verify makes no network calls. Records never leave your machine.
  */
-import { hashEntry } from "./hash";
+import { hashEntry } from "./hash.js";
 const VALID_SCAFFOLD_TYPES = ["none", "socratic", "probing", "metacognitive", "scaffolding", "explain", "hint", "demonstrate"];
 const VALID_DEPTH_LEVELS = ["surface", "conceptual", "transfer", "integration"];
 const VALID_EPISTEMIC_MODES = ["experience", "inference", "analogy", "testimony"];
 const VALID_TRIAGE_RESULTS = ["correct", "slip", "misconception", "disengagement", "ambiguous"];
-/**
- * Verify the integrity of an evidence record.
- *
- * @param record The evidence record to verify.
- * @param timestampToleranceMs Maximum allowed backward timestamp drift (default: 1000ms).
- * @returns Verification result with any violations found.
- */
+function isValidISO8601(ts) {
+    const d = new Date(ts);
+    return !isNaN(d.getTime()) && ts.length > 0;
+}
 export function verifyRecord(record, timestampToleranceMs = 1000) {
     const violations = [];
-    // Record-level schema checks
     if (!record.studentScopeId || typeof record.studentScopeId !== "string") {
-        violations.push({ version: 0, category: "schema", message: "Missing or invalid studentScopeId" });
+        violations.push({ version: 0, category: "schema", message: "Missing or invalid studentScopeId", checkId: "SCHEMA.REQUIRED" });
     }
     if (!Array.isArray(record.entries)) {
-        violations.push({ version: 0, category: "schema", message: "entries must be an array" });
+        violations.push({ version: 0, category: "schema", message: "entries must be an array", checkId: "SCHEMA.REQUIRED" });
         return { valid: false, violations, entriesChecked: 0 };
     }
-    // Compaction boundary check
+    // Compaction boundary
     if (record.compactedBefore) {
         if (typeof record.compactedBefore.version !== "number") {
-            violations.push({ version: 0, category: "compaction", message: "compactedBefore.version must be a number" });
+            violations.push({ version: 0, category: "compaction", message: "compactedBefore.version must be a number", checkId: "COMPACTION.BOUNDARY" });
         }
         if (typeof record.compactedBefore.summaryHash !== "string" || !record.compactedBefore.summaryHash) {
-            violations.push({ version: 0, category: "compaction", message: "compactedBefore.summaryHash must be a non-empty string" });
+            violations.push({ version: 0, category: "compaction", message: "compactedBefore.summaryHash must be a non-empty string", checkId: "COMPACTION.BOUNDARY" });
         }
-        // First entry version must be > compaction boundary
         if (record.entries.length > 0 && record.entries[0].version <= record.compactedBefore.version) {
             violations.push({
-                version: record.entries[0].version,
-                category: "compaction",
+                version: record.entries[0].version, category: "compaction",
                 message: `First entry version (${record.entries[0].version}) must be > compaction boundary (${record.compactedBefore.version})`,
+                checkId: "COMPACTION.BOUNDARY",
             });
         }
     }
     let prevVersion = record.compactedBefore?.version ?? 0;
     let prevTimestamp = "";
     let prevHash = record.compactedBefore?.summaryHash ?? "";
-    // Track last updatedPosterior per scope for posterior chain check
     let lastUpdatedPosterior = null;
-    for (let i = 0; i < record.entries.length; i++) {
-        const entry = record.entries[i];
+    for (const entry of record.entries) {
         const v = entry.version ?? -1;
-        // Schema validation
+        // SCHEMA.REQUIRED
         if (typeof v !== "number" || v < 1) {
-            violations.push({ version: v, category: "schema", message: "version must be a positive integer" });
+            violations.push({ version: v, category: "schema", message: "version must be a positive integer", checkId: "SCHEMA.REQUIRED" });
         }
         if (typeof entry.timestamp !== "string" || !entry.timestamp) {
-            violations.push({ version: v, category: "schema", message: "timestamp is required" });
-        }
-        if (entry.event === undefined || entry.event === null) {
-            violations.push({ version: v, category: "schema", message: "event is required" });
+            violations.push({ version: v, category: "schema", message: "timestamp is required", checkId: "SCHEMA.REQUIRED" });
         }
+        // SCHEMA.TYPES
         if (typeof entry.evidentialWeight !== "number") {
-            violations.push({ version: v, category: "schema", message: "evidentialWeight must be a number" });
+            violations.push({ version: v, category: "schema", message: "evidentialWeight must be a number", checkId: "SCHEMA.TYPES" });
         }
         if (typeof entry.priorPosterior !== "number") {
-            violations.push({ version: v, category: "schema", message: "priorPosterior must be a number" });
+            violations.push({ version: v, category: "schema", message: "priorPosterior must be a number", checkId: "SCHEMA.TYPES" });
         }
         if (typeof entry.updatedPosterior !== "number") {
-            violations.push({ version: v, category: "schema", message: "updatedPosterior must be a number" });
+            violations.push({ version: v, category: "schema", message: "updatedPosterior must be a number", checkId: "SCHEMA.TYPES" });
         }
-        // Strictly monotonic versions
+        // SCHEMA.TIMESTAMP_FORMAT
+        if (typeof entry.timestamp === "string" && entry.timestamp && !isValidISO8601(entry.timestamp)) {
+            violations.push({ version: v, category: "timestamp", message: `Timestamp is not valid ISO 8601: "${entry.timestamp}"`, checkId: "SCHEMA.TIMESTAMP_FORMAT" });
+        }
+        // VERSION.MONOTONIC
         if (v <= prevVersion) {
-            violations.push({
-                version: v,
-                category: "version",
-                message: `Version ${v} is not strictly greater than previous ${prevVersion}`,
-            });
+            violations.push({ version: v, category: "version", message: `Version ${v} <= previous ${prevVersion}`, checkId: "VERSION.MONOTONIC" });
         }
-        // Timestamp monotonicity (with tolerance)
+        // TIMESTAMP.MONOTONIC
         if (prevTimestamp && entry.timestamp) {
             const prevMs = new Date(prevTimestamp).getTime();
             const currMs = new Date(entry.timestamp).getTime();
             if (!isNaN(prevMs) && !isNaN(currMs) && currMs < prevMs - timestampToleranceMs) {
-                violations.push({
-                    version: v,
-                    category: "timestamp",
-                    message: `Timestamp goes backward: ${entry.timestamp} < ${prevTimestamp} (tolerance: ${timestampToleranceMs}ms)`,
-                });
+                violations.push({ version: v, category: "timestamp", message: "Timestamp goes backward", checkId: "TIMESTAMP.MONOTONIC" });
             }
         }
-        // Enum validation
+        // ENUM.VALID
         if (entry.scaffoldType && !VALID_SCAFFOLD_TYPES.includes(entry.scaffoldType)) {
-            violations.push({ version: v, category: "enum", message: `Invalid scaffoldType: ${entry.scaffoldType}` });
+            violations.push({ version: v, category: "enum", message: `Invalid scaffoldType: ${entry.scaffoldType}`, checkId: "ENUM.VALID" });
         }
         if (entry.depthLevel && !VALID_DEPTH_LEVELS.includes(entry.depthLevel)) {
-            violations.push({ version: v, category: "enum", message: `Invalid depthLevel: ${entry.depthLevel}` });
+            violations.push({ version: v, category: "enum", message: `Invalid depthLevel: ${entry.depthLevel}`, checkId: "ENUM.VALID" });
         }
         if (entry.epistemicMode && !VALID_EPISTEMIC_MODES.includes(entry.epistemicMode)) {
-            violations.push({ version: v, category: "enum", message: `Invalid epistemicMode: ${entry.epistemicMode}` });
+            violations.push({ version: v, category: "enum", message: `Invalid epistemicMode: ${entry.epistemicMode}`, checkId: "ENUM.VALID" });
         }
         if (entry.triageResult && !VALID_TRIAGE_RESULTS.includes(entry.triageResult)) {
-            violations.push({ version: v, category: "enum", message: `Invalid triageResult: ${entry.triageResult}` });
+            violations.push({ version: v, category: "enum", message: `Invalid triageResult: ${entry.triageResult}`, checkId: "ENUM.VALID" });
         }
-        // Hash-chain integrity
+        // HASH.PREV_LINK
         if (entry.prevHash !== prevHash) {
-            violations.push({
-                version: v,
-                category: "hash",
-                message: `prevHash mismatch: expected "${prevHash}", got "${entry.prevHash}"`,
-            });
+            violations.push({ version: v, category: "hash", message: "prevHash mismatch", checkId: "HASH.PREV_LINK" });
         }
+        // HASH.ENTRY_RECOMPUTE
         const computedHash = hashEntry(entry);
         if (entry.entryHash !== computedHash) {
-            violations.push({
-                version: v,
-                category: "hash",
-                message: `entryHash mismatch: expected "${computedHash}", got "${entry.entryHash}"`,
-            });
+            violations.push({ version: v, category: "hash", message: "entryHash mismatch", checkId: "HASH.ENTRY_RECOMPUTE" });
         }
-        // Posterior chain consistency
-        // Each entry's priorPosterior should equal the previous entry's updatedPosterior
+        // POSTERIOR.CHAIN
         if (lastUpdatedPosterior !== null && typeof entry.priorPosterior === "number") {
             const diff = Math.abs(entry.priorPosterior - lastUpdatedPosterior);
             if (diff > 1e-9) {
                 violations.push({
-                    version: v,
-                    category: "posterior",
-                    message: `priorPosterior (${entry.priorPosterior}) does not match previous updatedPosterior (${lastUpdatedPosterior})`,
+                    version: v, category: "posterior",
+                    message: `priorPosterior (${entry.priorPosterior}) != previous updatedPosterior (${lastUpdatedPosterior})`,
+                    checkId: "POSTERIOR.CHAIN",
                 });
             }
         }
@@ -154,10 +119,6 @@ export function verifyRecord(record, timestampToleranceMs = 1000) {
             lastUpdatedPosterior = entry.updatedPosterior;
         }
     }
-    return {
-        valid: violations.length === 0,
-        violations,
-        entriesChecked: record.entries.length,
-    };
+    return { valid: violations.length === 0, violations, entriesChecked: record.entries.length };
 }
 //# sourceMappingURL=verify-record.js.map

package/dist/verifier/verify-record.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-record.js","sourceRoot":"","sources":["../../src/verifier/verify-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,OAAO,EAAE,SAAS,EAAiB,MAAM,QAAQ,CAAC;AAoBlD,MAAM,oBAAoB,GAAmB,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;AAC/I,MAAM,kBAAkB,GAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;AAC9F,MAAM,qBAAqB,GAAoB,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;AACnG,MAAM,oBAAoB,GAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC;AAEhH;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAsB,EACtB,uBAA+B,IAAI;IAEnC,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,6BAA6B;IAC7B,IAAI,CAAC,MAAM,CAAC,cAAc,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;QACxE,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;IACpG,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,0BAA0B,EAAE,CAAC,CAAC;QACzF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IACzD,CAAC;IAED,4BAA4B;IAC5B,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC3B,IAAI,OAAO,MAAM,CAAC,eAAe,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACvD,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC,CAAC;QAC/G,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,eAAe,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC;YAClG,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,wDAAwD,EAAE,CAAC,CAAC;QAC7H,CAAC;QACD,oDAAoD;QACpD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;YAC7F,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO;gBAClC,QAAQ,EAAE,YAAY;gBACtB,OAAO,EAAE,wBAAwB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,oCAAoC,MAAM,CAAC,eAAe,CAAC,OAAO,GAAG;aAChI,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,WAAW,GAAG,MAAM,CAAC,eAAe,EAAE,OAAO,IAAI,CAAC,CAAC;IACvD,IAAI,aAAa,GAAG,EAAE,CAAC;IACvB,IAAI,QAAQ,GAAG,MAAM,CAAC,eAAe,EAAE,WAAW,IAAI,EAAE,CAAC;IACzD,kEAAkE;IAClE,IAAI,oBAAoB,GAAkB,IAAI,CAAC;IAE/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QAE9B,oBAAoB;QACpB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oCAAoC,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YAC5D,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,CAAC;QACxF,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YACtD,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;QACpG,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,iCAAiC,EAAE,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,EAAE,CAAC,CAAC;QACpG,CAAC;QAED,8BAA8B;QAC9B,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;YACrB,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,CAAC;gBACV,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,WAAW,CAAC,0CAA0C,WAAW,EAAE;aAC7E,CAAC,CAAC;QACL,CAAC;QAED,0CAA0C;QAC1C,IAAI,aAAa,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,MAAM,GAAG,oBAAoB,EAAE,CAAC;gBAC/E,UAAU,CAAC,IAAI,CAAC;oBACd,OAAO,EAAE,CAAC;oBACV,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,4BAA4B,KAAK,CAAC,SAAS,MAAM,aAAa,gBAAgB,oBAAoB,KAAK;iBACjH,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,kBAAkB;QAClB,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7E,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,yBAAyB,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC5G,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YACvE,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QACxG,CAAC;QACD,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAChF,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,0BAA0B,KAAK,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;QAC9G,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7E,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,yBAAyB,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;QAC5G,CAAC;QAED,uBAAuB;QACvB,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,gCAAgC,QAAQ,WAAW,KAAK,CAAC,QAAQ,GAAG;aAC9E,CAAC,CAAC;QACL,CAAC;QACD,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,OAAO,EAAE,iCAAiC,YAAY,WAAW,KAAK,CAAC,SAAS,GAAG;aACpF,CAAC,CAAC;QACL,CAAC;QAED,8BAA8B;QAC9B,iFAAiF;QACjF,IAAI,oBAAoB,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,GAAG,oBAAoB,CAAC,CAAC;YACnE,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;gBAChB,UAAU,CAAC,IAAI,CAAC;oBACd,OAAO,EAAE,CAAC;oBACV,QAAQ,EAAE,WAAW;oBACrB,OAAO,EAAE,mBAAmB,KAAK,CAAC,cAAc,+CAA+C,oBAAoB,GAAG;iBACvH,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,WAAW,GAAG,CAAC,CAAC;QAChB,aAAa,GAAG,KAAK,CAAC,SAAS,CAAC;QAChC,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC;QAC3B,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC/C,oBAAoB,GAAG,KAAK,CAAC,gBAAgB,CAAC;QAChD,CAAC;IACH,CAAC;IAED,OAAO;QACL,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QAC9B,UAAU;QACV,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;KACtC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"verify-record.js","sourceRoot":"","sources":["../../src/verifier/verify-record.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAetC,MAAM,oBAAoB,GAAmB,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,eAAe,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;AAC/I,MAAM,kBAAkB,GAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,CAAC,CAAC;AAC9F,MAAM,qBAAqB,GAAoB,CAAC,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;AACnG,MAAM,oBAAoB,GAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC;AAEhH,SAAS,cAAc,CAAC,EAAU;IAChC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,MAAsB,EACtB,uBAA+B,IAAI;IAEnC,MAAM,UAAU,GAAgB,EAAE,CAAC;IAEnC,IAAI,CAAC,MAAM,CAAC,cAAc,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;QACxE,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAChI,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACnC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,0BAA0B,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACrH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC;IACzD,CAAC;IAED,sBAAsB;IACtB,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC3B,IAAI,OAAO,MAAM,CAAC,eAAe,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACvD,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,0CAA0C,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC/I,CAAC;QACD,IAAI,OAAO,MAAM,CAAC,eAAe,CAAC,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE,CAAC;YAClG,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,OAAO,EAAE,wDAAwD,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC7J,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;YAC7F,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,YAAY;gBAC1D,OAAO,EAAE,wBAAwB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,oCAAoC,MAAM,CAAC,eAAe,CAAC,OAAO,GAAG;gBAC/H,OAAO,EAAE,qBAAqB;aAC/B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,WAAW,GAAG,MAAM,CAAC,eAAe,EAAE,OAAO,IAAI,CAAC,CAAC;IACvD,IAAI,aAAa,GAAG,EAAE,CAAC;IACvB,IAAI,QAAQ,GAAG,MAAM,CAAC,eAAe,EAAE,WAAW,IAAI,EAAE,CAAC;IACzD,IAAI,oBAAoB,GAAkB,IAAI,CAAC;IAE/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC;QAE9B,kBAAkB;QAClB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,oCAAoC,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACjI,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YAC5D,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,uBAAuB,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;QACpH,CAAC;QAED,eAAe;QACf,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QAC7H,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,iCAAiC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QAC3H,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,mCAAmC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QAC7H,CAAC;QAED,0BAA0B;QAC1B,IAAI,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,SAAS,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/F,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,qCAAqC,KAAK,CAAC,SAAS,GAAG,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;QAC/J,CAAC;QAED,oBAAoB;QACpB,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;YACrB,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,CAAC,gBAAgB,WAAW,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,CAAC,CAAC;QACzI,CAAC;QAED,sBAAsB;QACtB,IAAI,aAAa,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC;YACjD,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,MAAM,GAAG,oBAAoB,EAAE,CAAC;gBAC/E,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,OAAO,EAAE,yBAAyB,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC,CAAC;YAC7H,CAAC;QACH,CAAC;QAED,aAAa;QACb,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7E,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,yBAAyB,KAAK,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;QACnI,CAAC;QACD,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YACvE,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,uBAAuB,KAAK,CAAC,UAAU,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;QAC/H,CAAC;QACD,IAAI,KAAK,CAAC,aAAa,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;YAChF,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,0BAA0B,KAAK,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;QACrI,CAAC;QACD,IAAI,KAAK,CAAC,YAAY,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC7E,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,yBAAyB,KAAK,CAAC,YAAY,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;QACnI,CAAC;QAED,iBAAiB;QACjB,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAChC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAC7G,CAAC;QAED,uBAAuB;QACvB,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;YACrC,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC,CAAC;QACpH,CAAC;QAED,kBAAkB;QAClB,IAAI,oBAAoB,KAAK,IAAI,IAAI,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;YAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,GAAG,oBAAoB,CAAC,CAAC;YACnE,IAAI,IAAI,GAAG,IAAI,EAAE,CAAC;gBAChB,UAAU,CAAC,IAAI,CAAC;oBACd,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,WAAW;oBACjC,OAAO,EAAE,mBAAmB,KAAK,CAAC,cAAc,mCAAmC,oBAAoB,GAAG;oBAC1G,OAAO,EAAE,iBAAiB;iBAC3B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,WAAW,GAAG,CAAC,CAAC;QAChB,aAAa,GAAG,KAAK,CAAC,SAAS,CAAC;QAChC,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC;QAC3B,IAAI,OAAO,KAAK,CAAC,gBAAgB,KAAK,QAAQ,EAAE,CAAC;YAC/C,oBAAoB,GAAG,KAAK,CAAC,gBAAgB,CAAC;QAChD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;AAC/F,CAAC"}

package/dist/verifier-v03.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Verifier for schema 0.3 records — two-level verification.
+ * Evidence chain + estimate chains + record-level consent/attestation checks.
+ */
+export interface Violation03 {
+    version: number;
+    category: string;
+    message: string;
+    checkId: string;
+    chain: string;
+}
+export interface VerificationResult03 {
+    valid: boolean;
+    level: number;
+    violations: Violation03[];
+    entriesChecked: number;
+    estimators: Array<{
+        name: string;
+        version: string;
+        opaque: boolean;
+    }>;
+}
+export declare function verifyRecordV03(record: Record<string, any>, timestampToleranceMs?: number, estimateTolerance?: number): VerificationResult03;
+//# sourceMappingURL=verifier-v03.d.ts.map

package/dist/verifier-v03.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier-v03.d.ts","sourceRoot":"","sources":["../src/verifier-v03.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAoBH,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,WAAW,EAAE,CAAC;IAC1B,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;CACvE;AAUD,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAC3B,oBAAoB,SAAO,EAC3B,iBAAiB,SAAO,GACvB,oBAAoB,CA+KtB"}