agentskeptic 1.0.4 → 1.1.0

package/dist/verificationDiagnostics.js

@@ -40,6 +40,12 @@ function failureDiagnosticForIncompleteVerification(reasons) {
         C.has("RELATIONAL_SCALAR_UNUSABLE")) {
         return "verification_setup";
     }
+    if (C.has("STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE") ||
+        C.has("STATE_WITNESS_SETUP_ERROR") ||
+        C.has("VECTOR_PROVIDER_ERROR") ||
+        C.has("HTTP_WITNESS_NETWORK_ERROR")) {
+        return "verification_setup";
+    }
     throw new Error(`Unreachable incomplete_verification classification; add mapping for codes: ${[...C].sort().join(", ")}`);
 }
 /**
@@ -110,14 +116,29 @@ export function formatVerificationTargetSummary(req) {
             return line;
         return `${line.slice(0, max - 3)}...`;
     }
-    const parts = [...req.effects]
-        .sort((a, b) => compareUtf16Id(a.id, b.id))
-        .map((e) => `${e.id}:${sanitizeOneLine(e.table)} identity=[${identityEqOneLine(e.identityEq)}]`);
-    const line = `sql_effects count=${req.effects.length} ` + parts.join("; ");
-    const max = OPERATIONAL_MESSAGE_MAX_CHARS;
-    if (line.length <= max)
-        return line;
-    return `${line.slice(0, max - 3)}...`;
+    if (req.kind === "sql_effects") {
+        const parts = [...req.effects]
+            .sort((a, b) => compareUtf16Id(a.id, b.id))
+            .map((e) => `${e.id}:${sanitizeOneLine(e.table)} identity=[${identityEqOneLine(e.identityEq)}]`);
+        const line = `sql_effects count=${req.effects.length} ` + parts.join("; ");
+        const maxEf = OPERATIONAL_MESSAGE_MAX_CHARS;
+        if (line.length <= maxEf)
+            return line;
+        return `${line.slice(0, maxEf - 3)}...`;
+    }
+    if (req.kind === "vector_document") {
+        return formatOperationalMessage(`vector_document provider=${req.provider} index=${sanitizeOneLine(req.indexName)} id=${sanitizeOneLine(req.documentId)}`);
+    }
+    if (req.kind === "object_storage_object") {
+        return formatOperationalMessage(`object_storage bucket=${sanitizeOneLine(req.bucket)} key=${sanitizeOneLine(req.key)}`);
+    }
+    if (req.kind === "http_witness") {
+        return formatOperationalMessage(`http_witness ${req.method} ${sanitizeOneLine(req.url)} expect=${req.expectedStatus}`);
+    }
+    if (req.kind === "mongo_document") {
+        return formatOperationalMessage(`mongo_document collection=${sanitizeOneLine(req.collection)}`);
+    }
+    return null;
 }
 /**
  * Attach `failureDiagnostic` per schema v5: omitted when verified, required otherwise.

package/dist/verificationDiagnostics.js.map

@@ -1 +1 @@
-{"version":3,"file":"verificationDiagnostics.js","sourceRoot":"","sources":["../src/verificationDiagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAGjE,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,0GAA0G;AAC1G,MAAM,CAAC,MAAM,wCAAwC,GAAwB,IAAI,GAAG,CAAC;IACnF,iBAAiB;IACjB,oBAAoB;IACpB,kBAAkB;CACnB,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAS;IAC3C,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC;IACvC,6CAA6C;CAC9C,CAAC,CAAC;AAEH,qHAAqH;AACrH,MAAM,UAAU,gCAAgC,CAAC,KAAa;IAC5D,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,IAAY;IAChE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,SAAS,0CAA0C,CAAC,OAAiB;IACnE,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACrE,IAAI,CAAC,CAAC,GAAG,CAAC,yBAAyB,CAAC;QAAE,OAAO,oBAAoB,CAAC;IAClE,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,oBAAoB,CAAC;IAChE,CAAC;IACD,IACE,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACzB,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC,EACnC,CAAC;QACD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,KAAK,CACb,8EAA8E,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAA6C;IACpF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACjC,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,yBAAyB,CAAC;IAC7D,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;QACzF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,KAAK,yBAAyB,EAAE,CAAC;QACzC,OAAO,0CAA0C,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,WAAW,GAAU,MAAM,CAAC;IAClC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvE,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CAAC,cAAuC;IAC/D,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SAClC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmE;IAC5F,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,OAAO,CAAC,GAAG,IAAI,CAAC;SACb,KAAK,EAAE;SACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;SACtE,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,+BAA+B,CAAC,GAA4B;IAC1E,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,MAAM,sBAAsB,IAAI,GAAG,CAAC;QAClG,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,wBAAwB,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,MAAM,aAAa,KAAK,GAAG,CAAC;QACzG,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;aAC1B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,IAAI,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrE,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAQ,CAAC,MAAM,EAAE,CAAC;YACzE,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,CAAC,CAAC,CAAC;QACL,MAAM,IAAI,GAAG,wBAAwB,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,GAAG,GAAG,6BAA6B,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;SAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACnG,MAAM,IAAI,GAAG,qBAAqB,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3E,MAAM,GAAG,GAAG,6BAA6B,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;AACxC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAiB;IACrD,MAAM,EAAE,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;QACnD,OAAO,IAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAG,EAAE,CAAC;AAC7C,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,iCAAiC,CAAC,KAAoB;IACpE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAiB;IAC/C,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IAChD,OAAO,IAAmB,CAAC;AAC7B,CAAC"}
+{"version":3,"file":"verificationDiagnostics.js","sourceRoot":"","sources":["../src/verificationDiagnostics.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAGjE,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,0GAA0G;AAC1G,MAAM,CAAC,MAAM,wCAAwC,GAAwB,IAAI,GAAG,CAAC;IACnF,iBAAiB;IACjB,oBAAoB;IACpB,kBAAkB;CACnB,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAS;IAC3C,GAAG,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC;IACvC,6CAA6C;CAC9C,CAAC,CAAC;AAEH,qHAAqH;AACrH,MAAM,UAAU,gCAAgC,CAAC,KAAa;IAC5D,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,qCAAqC,CAAC,IAAY;IAChE,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,oBAAoB,CAAC;AAC9B,CAAC;AAED,SAAS,0CAA0C,CAAC,OAAiB;IACnE,MAAM,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACrE,IAAI,CAAC,CAAC,GAAG,CAAC,yBAAyB,CAAC;QAAE,OAAO,oBAAoB,CAAC;IAClE,IAAI,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC;QAAE,OAAO,oBAAoB,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,IAAI,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO,oBAAoB,CAAC;IAChE,CAAC;IACD,IACE,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,oBAAoB,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACzB,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC,EACnC,CAAC;QACD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IACE,CAAC,CAAC,GAAG,CAAC,+CAA+C,CAAC;QACtD,CAAC,CAAC,GAAG,CAAC,2BAA2B,CAAC;QAClC,CAAC,CAAC,GAAG,CAAC,uBAAuB,CAAC;QAC9B,CAAC,CAAC,GAAG,CAAC,4BAA4B,CAAC,EACnC,CAAC;QACD,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,MAAM,IAAI,KAAK,CACb,8EAA8E,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzG,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAA6C;IACpF,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IACjC,IAAI,MAAM,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,MAAM,KAAK,WAAW;QAAE,OAAO,yBAAyB,CAAC;IAC7D,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,cAAc,IAAI,MAAM,KAAK,oBAAoB,EAAE,CAAC;QACzF,OAAO,oBAAoB,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,KAAK,yBAAyB,EAAE,CAAC;QACzC,OAAO,0CAA0C,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,WAAW,GAAU,MAAM,CAAC;IAClC,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACvE,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CAAC,cAAuC;IAC/D,OAAO,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SAClC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmE;IAC5F,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,OAAO,CAAC,GAAG,IAAI,CAAC;SACb,KAAK,EAAE;SACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;SAClD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;SACtE,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,+BAA+B,CAAC,GAA4B;IAC1E,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;QAClD,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,SAAS,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,MAAM,sBAAsB,IAAI,GAAG,CAAC;QAClG,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,MAAM,KAAK,GAAG,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,wBAAwB,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,MAAM,aAAa,KAAK,GAAG,CAAC;QACzG,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;aAC1B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,IAAI,CAAC,CAAC,SAAS,KAAK,gBAAgB,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrE,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAQ,CAAC,MAAM,EAAE,CAAC;YACzE,CAAC;YACD,OAAO,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,CAAC,CAAC,CAAC;QACL,MAAM,IAAI,GAAG,wBAAwB,GAAG,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,GAAG,GAAG,6BAA6B,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM,IAAI,GAAG;YAAE,OAAO,IAAI,CAAC;QACpC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC;IACxC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;aAC3B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;aAC1C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QACnG,MAAM,IAAI,GAAG,qBAAqB,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,6BAA6B,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM,IAAI,KAAK;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACnC,OAAO,wBAAwB,CAC7B,4BAA4B,GAAG,CAAC,QAAQ,UAAU,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CACzH,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QACzC,OAAO,wBAAwB,CAAC,yBAAyB,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1H,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAChC,OAAO,wBAAwB,CAAC,gBAAgB,GAAG,CAAC,MAAM,IAAI,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,GAAG,CAAC,cAAc,EAAE,CAAC,CAAC;IACzH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QAClC,OAAO,wBAAwB,CAAC,6BAA6B,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAiB;IACrD,MAAM,EAAE,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC/B,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;QACnD,OAAO,IAAmB,CAAC;IAC7B,CAAC;IACD,OAAO,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,EAAG,EAAE,CAAC;AAC7C,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,iCAAiC,CAAC,KAAoB;IACpE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAiB;IAC/C,MAAM,EAAE,iBAAiB,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IAChD,OAAO,IAAmB,CAAC;AAC7B,CAAC"}

package/dist/verificationDiagnostics.test.js

@@ -79,6 +79,21 @@ describe("failureDiagnosticForStep", () => {
             }))).toBe("verification_setup");
         }
     });
+    it("incomplete state-witness / provider transport codes → verification_setup", () => {
+        for (const code of [
+            "STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE",
+            "STATE_WITNESS_SETUP_ERROR",
+            "VECTOR_PROVIDER_ERROR",
+            "HTTP_WITNESS_NETWORK_ERROR",
+        ]) {
+            expect(failureDiagnosticForStep(step({
+                seq: 0,
+                toolId: "t",
+                status: "incomplete_verification",
+                reasons: [{ code, message: "m" }],
+            }))).toBe("verification_setup");
+        }
+    });
     it("incomplete with each RESOLVE_FAILURE_CODES representative → verification_setup", () => {
         for (const code of RESOLVE_FAILURE_CODES) {
             expect(failureDiagnosticForStep(step({

package/dist/verificationDiagnostics.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"verificationDiagnostics.test.js","sourceRoot":"","sources":["../src/verificationDiagnostics.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EACL,wCAAwC,EACxC,qBAAqB,EACrB,qCAAqC,EACrC,gCAAgC,EAChC,wBAAwB,EACxB,+BAA+B,EAC/B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAGhF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE3E,SAAS,IAAI,CACX,OAA8E;IAE9E,OAAO;QACL,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,mBAAmB,EAAE,IAAI;QACzB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE,EAAE;QACnB,sBAAsB,EAAE,CAAC;QACzB,2BAA2B,EAAE,CAAC;QAC9B,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,aAAa,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACpE,CAAC,CACH,CACF,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CACtI,oBAAoB,CACrB,CAAC;QACF,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACpD,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC7B,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAC1D,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAChE,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAC7D,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAClD,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAU,EAAE,CAAC;YAC1F,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;gBACH,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;YACzC,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;gBACH,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,uBAAuB,CAAC,EAAE,MAAM,CAAC,CAAC;QAClF,MAAM,EAAE,GAAG,8BAA8B,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACtB,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;YAC5B,4BAA4B;YAC5B,GAAG,qBAAqB;SACzB,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,EAAE,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,CAAC,GAAG,wCAAwC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAClE,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,CAAC,IAAI,EAAE,CACrE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACxF,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,gCAAgC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC5F,MAAM,CAAC,gCAAgC,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,qCAAqC,CAAC,oCAAoC,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/G,MAAM,CAAC,qCAAqC,CAAC,6CAA6C,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC1H,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,MAAM,SAAS,GAA4B;QACzC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3C,cAAc,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;KAC5C,CAAC;IAEF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,+BAA+B,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAA4B;YACnC,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE;gBACN;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,EAAE,EAAE,GAAG;oBACP,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;iBACvC;gBACD,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE;aAC/G;SACF,CAAC;QACF,MAAM,CAAC,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,GAAG,GAA4B;YACnC,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE;gBACN;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,EAAE,EAAE,GAAG;oBACP,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE;wBACP,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC3B,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC3B,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;qBAC5B;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;QACnF,MAAM,EAAE,yBAAyB,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;QAC/E,MAAM,EAAE,GAA4B;YAClC,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,GAAG;YACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1C,cAAc,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE;SAC3B,CAAC;QACF,MAAM,MAAM,GAAG;YACb,aAAa,EAAE,CAAU;YACzB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,cAAuB;YAC/B,eAAe,EAAE,EAAyC;YAC1D,kBAAkB,EAAE,EAAE,eAAe,EAAE,QAAiB,EAAE,oBAAoB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE;YACtG,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE;YACnD,sBAAsB,EAAE,iCAAiC,EAAE;YAC3D,KAAK,EAAE;gBACL,qBAAqB,CACnB,IAAI,CAAC;oBACH,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,SAAS;oBACjB,mBAAmB,EAAE,EAAE;oBACvB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;iBAChD,CAAC,CACH;gBACD,qBAAqB,CACnB,IAAI,CAAC;oBACH,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;iBAClD,CAAC,CACH;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"verificationDiagnostics.test.js","sourceRoot":"","sources":["../src/verificationDiagnostics.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAClC,OAAO,IAAI,MAAM,MAAM,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EACL,wCAAwC,EACxC,qBAAqB,EACrB,qCAAqC,EACrC,gCAAgC,EAChC,wBAAwB,EACxB,+BAA+B,EAC/B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,iCAAiC,EAAE,MAAM,6BAA6B,CAAC;AAGhF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAE3E,SAAS,IAAI,CACX,OAA8E;IAE9E,OAAO;QACL,cAAc,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;QACjC,iBAAiB,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE;QAC5C,mBAAmB,EAAE,IAAI;QACzB,OAAO,EAAE,EAAE;QACX,eAAe,EAAE,EAAE;QACnB,sBAAsB,EAAE,CAAC;QACzB,2BAA2B,EAAE,CAAC;QAC9B,GAAG,OAAO;KACX,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACnF,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,aAAa,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,WAAW;YACnB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gCAAgC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACpE,CAAC,CACH,CACF,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CACtI,oBAAoB,CACrB,CAAC;QACF,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,cAAc;YACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACpD,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC7B,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,oBAAoB;YAC5B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,sBAAsB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAC1D,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAChE,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAC7D,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;YACH,GAAG,EAAE,CAAC;YACN,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SAClD,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAU,EAAE,CAAC;YAC1F,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;gBACH,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,KAAK,MAAM,IAAI,IAAI;YACjB,+CAA+C;YAC/C,2BAA2B;YAC3B,uBAAuB;YACvB,4BAA4B;SACpB,EAAE,CAAC;YACX,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;gBACH,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,KAAK,MAAM,IAAI,IAAI,qBAAqB,EAAE,CAAC;YACzC,MAAM,CACJ,wBAAwB,CACtB,IAAI,CAAC;gBACH,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,GAAG;gBACX,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;aAClC,CAAC,CACH,CACF,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,uBAAuB,CAAC,EAAE,MAAM,CAAC,CAAC;QAClF,MAAM,EAAE,GAAG,8BAA8B,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACnC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACtB,CAAC;QACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;YAC5B,4BAA4B;YAC5B,GAAG,qBAAqB;SACzB,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,0EAA0E,CAAC,EAAE,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,CAAC,CAAC,GAAG,wCAAwC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAClE,CAAC,iBAAiB,EAAE,oBAAoB,EAAE,kBAAkB,CAAC,CAAC,IAAI,EAAE,CACrE,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACxF,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,gCAAgC,CAAC,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC5F,MAAM,CAAC,gCAAgC,CAAC,uBAAuB,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,qCAAqC,CAAC,oCAAoC,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QAC/G,MAAM,CAAC,qCAAqC,CAAC,6CAA6C,CAAC,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC1H,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,MAAM,SAAS,GAA4B;QACzC,IAAI,EAAE,SAAS;QACf,KAAK,EAAE,UAAU;QACjB,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC3C,cAAc,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE;KAC5C,CAAC;IAEF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,+BAA+B,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,+BAA+B,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAA4B;YACnC,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE;gBACN;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,EAAE,EAAE,GAAG;oBACP,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;iBACvC;gBACD,EAAE,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE;aAC/G;SACF,CAAC;QACF,MAAM,CAAC,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,GAAG,GAA4B;YACnC,IAAI,EAAE,gBAAgB;YACtB,MAAM,EAAE;gBACN;oBACE,SAAS,EAAE,gBAAgB;oBAC3B,EAAE,EAAE,GAAG;oBACP,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE;wBACP,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC3B,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;wBAC3B,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;qBAC5B;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,GAAG,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;QACnF,MAAM,EAAE,yBAAyB,EAAE,GAAG,MAAM,MAAM,CAAC,0BAA0B,CAAC,CAAC;QAC/E,MAAM,EAAE,GAA4B;YAClC,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,GAAG;YACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC1C,cAAc,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE;SAC3B,CAAC;QACF,MAAM,MAAM,GAAG;YACb,aAAa,EAAE,CAAU;YACzB,UAAU,EAAE,GAAG;YACf,MAAM,EAAE,cAAuB;YAC/B,eAAe,EAAE,EAAyC;YAC1D,kBAAkB,EAAE,EAAE,eAAe,EAAE,QAAiB,EAAE,oBAAoB,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE;YACtG,sBAAsB,EAAE,EAAE,IAAI,EAAE,QAAiB,EAAE;YACnD,sBAAsB,EAAE,iCAAiC,EAAE;YAC3D,KAAK,EAAE;gBACL,qBAAqB,CACnB,IAAI,CAAC;oBACH,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,SAAS;oBACjB,mBAAmB,EAAE,EAAE;oBACvB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;iBAChD,CAAC,CACH;gBACD,qBAAqB,CACnB,IAAI,CAAC;oBACH,GAAG,EAAE,CAAC;oBACN,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;iBAClD,CAAC,CACH;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,yBAAyB,CAAC,MAAM,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC;QACpE,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAE,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,oBAAoB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/verificationPolicy.d.ts

@@ -1,7 +1,7 @@
 import type { DatabaseSync } from "node:sqlite";
 import type { ResolveResult } from "./resolveExpectation.js";
 import { type ReconcileOutput } from "./reconciler.js";
-import type { Reason, ResolvedRelationalCheck, RowAbsentVerificationRequest, StepStatus, StepVerificationRequest, VerificationPolicy, VerificationRequest } from "./types.js";
+import type { Reason, ResolvedRelationalCheck, RowAbsentVerificationRequest, StateWitnessRequest, StepStatus, StepVerificationRequest, VerificationPolicy, VerificationRequest } from "./types.js";
 export declare const DEFAULT_VERIFICATION_POLICY: VerificationPolicy;
 export type TimingDeps = {
     now: () => number;
@@ -11,6 +11,7 @@ export type PolicyReconcileContext = {
     reconcileRow: (req: VerificationRequest) => Promise<ReconcileOutput>;
     reconcileRowAbsent: (req: RowAbsentVerificationRequest) => Promise<ReconcileOutput>;
     reconcileRelationalCheck: (check: ResolvedRelationalCheck) => Promise<ReconcileOutput>;
+    reconcileStateWitness: (req: StateWitnessRequest) => Promise<ReconcileOutput>;
 };
 export type PolicyExecutionOutput = {
     verificationRequest: StepVerificationRequest;

package/dist/verificationPolicy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verificationPolicy.d.ts","sourceRoot":"","sources":["../src/verificationPolicy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAShD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAG7D,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EACV,MAAM,EAEN,uBAAuB,EACvB,4BAA4B,EAC5B,UAAU,EACV,uBAAuB,EACvB,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AAIpB,eAAO,MAAM,2BAA2B,EAAE,kBAIzC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,GAAG,EAAE,MAAM,MAAM,CAAC;IAClB,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACtC,CAAC;AAOF,MAAM,MAAM,sBAAsB,GAAG;IACnC,YAAY,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;IACrE,kBAAkB,EAAE,CAAC,GAAG,EAAE,4BAA4B,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;IACpF,wBAAwB,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;CACxF,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,mBAAmB,EAAE,uBAAuB,CAAC;IAC7C,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C,CAAC;AAEF,KAAK,UAAU,GAAG,OAAO,CAAC,aAAa,EAAE;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AASvD,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,CAa1F;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAsB9E;AAED,kFAAkF;AAClF,wBAAgB,8BAA8B,CAAC,KAAK,CAAC,EAAE,kBAAkB,GAAG,kBAAkB,CAK7F;AAsZD,4EAA4E;AAC5E,wBAAgB,iCAAiC,CAC/C,EAAE,EAAE,YAAY,EAChB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,kBAAkB,GACzB,qBAAqB,CAqDvB;AAED,wBAAsB,kCAAkC,CACtD,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,kBAAkB,EAC1B,GAAG,EAAE,sBAAsB,EAC3B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC3B,OAAO,CAAC,qBAAqB,CAAC,CAmEhC;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,YAAY,GAAG,sBAAsB,CAMlF"}
+{"version":3,"file":"verificationPolicy.d.ts","sourceRoot":"","sources":["../src/verificationPolicy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAShD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAG7D,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EACV,MAAM,EAEN,uBAAuB,EACvB,4BAA4B,EAC5B,mBAAmB,EACnB,UAAU,EACV,uBAAuB,EACvB,kBAAkB,EAClB,mBAAmB,EACpB,MAAM,YAAY,CAAC;AAIpB,eAAO,MAAM,2BAA2B,EAAE,kBAIzC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,GAAG,EAAE,MAAM,MAAM,CAAC;IAClB,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CACtC,CAAC;AAOF,MAAM,MAAM,sBAAsB,GAAG;IACnC,YAAY,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;IACrE,kBAAkB,EAAE,CAAC,GAAG,EAAE,4BAA4B,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;IACpF,wBAAwB,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;IACvF,qBAAqB,EAAE,CAAC,GAAG,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC,CAAC;CAC/E,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,mBAAmB,EAAE,uBAAuB,CAAC;IAC7C,MAAM,EAAE,UAAU,CAAC;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAC1C,CAAC;AAEF,KAAK,UAAU,GAAG,OAAO,CAAC,aAAa,EAAE;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AASvD,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,CAa1F;AAED,wBAAgB,6BAA6B,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAsB9E;AAED,kFAAkF;AAClF,wBAAgB,8BAA8B,CAAC,KAAK,CAAC,EAAE,kBAAkB,GAAG,kBAAkB,CAK7F;AA2cD,4EAA4E;AAC5E,wBAAgB,iCAAiC,CAC/C,EAAE,EAAE,YAAY,EAChB,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,kBAAkB,GACzB,qBAAqB,CAwEvB;AAED,wBAAsB,kCAAkC,CACtD,QAAQ,EAAE,UAAU,EACpB,MAAM,EAAE,kBAAkB,EAC1B,GAAG,EAAE,sBAAsB,EAC3B,MAAM,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,GAC3B,OAAO,CAAC,qBAAqB,CAAC,CAyFhC;AAED,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,YAAY,GAAG,sBAAsB,CAiBlF"}

package/dist/verificationPolicy.js

@@ -249,6 +249,46 @@ function buildUncertainSqlRelationalSingle(check, attempts, elapsedMs, policy) {
         },
     };
 }
+function buildUncertainStateWitness(request, attempts, elapsedMs, policy) {
+    const { verificationWindowMs, pollIntervalMs } = policy;
+    return {
+        verificationRequest: request,
+        status: "uncertain",
+        reasons: [
+            {
+                code: SQL_VERIFICATION_OUTCOME_CODE.ROW_NOT_OBSERVED_WITHIN_WINDOW,
+                message: "Expected state was not observed within the verification window; replication or processing delay is possible.",
+            },
+        ],
+        evidenceSummary: {
+            attempts,
+            elapsedMs,
+            verificationWindowMs,
+            pollIntervalMs,
+        },
+    };
+}
+async function executeStateWitnessEventual(request, policy, ctx, timing) {
+    const { verificationWindowMs, pollIntervalMs } = policy;
+    const start = timing.now();
+    let attempts = 0;
+    for (;;) {
+        attempts++;
+        const rec = await ctx.reconcileStateWitness(request);
+        if (rec.status !== "missing") {
+            return {
+                verificationRequest: request,
+                status: rec.status,
+                reasons: rec.reasons,
+                evidenceSummary: rec.evidenceSummary,
+            };
+        }
+        if (timing.now() - start >= verificationWindowMs) {
+            return buildUncertainStateWitness(request, attempts, timing.now() - start, policy);
+        }
+        await timing.sleep(pollIntervalMs);
+    }
+}
 async function executeSqlRowEventual(request, policy, ctx, timing) {
     const { verificationWindowMs, pollIntervalMs } = policy;
     const start = timing.now();
@@ -373,6 +413,22 @@ export function executeVerificationWithPolicySync(db, resolved, policy) {
     if (p.consistencyMode !== "strong") {
         throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, "executeVerificationWithPolicySync requires strong consistency mode");
     }
+    if (resolved.verificationKind === "vector_document" ||
+        resolved.verificationKind === "object_storage_object" ||
+        resolved.verificationKind === "http_witness" ||
+        resolved.verificationKind === "mongo_document") {
+        return {
+            verificationRequest: resolved.request,
+            status: "incomplete_verification",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE,
+                    message: "State store verification (vector, object storage, HTTP witness, MongoDB) requires the async verification runtime with a remote database URL, not SQLite file mode.",
+                },
+            ],
+            evidenceSummary: { verificationKind: resolved.verificationKind },
+        };
+    }
     if (resolved.verificationKind === "sql_effects") {
         const rolled = rollupMultiEffectsSync(db, resolved.effects);
         return {
@@ -433,6 +489,18 @@ export async function executeVerificationWithPolicyAsync(resolved, policy, ctx,
                 evidenceSummary: out.evidenceSummary,
             };
         }
+        if (resolved.verificationKind === "vector_document" ||
+            resolved.verificationKind === "object_storage_object" ||
+            resolved.verificationKind === "http_witness" ||
+            resolved.verificationKind === "mongo_document") {
+            const rec = await ctx.reconcileStateWitness(resolved.request);
+            return {
+                verificationRequest: resolved.request,
+                status: rec.status,
+                reasons: rec.reasons,
+                evidenceSummary: rec.evidenceSummary,
+            };
+        }
         if (resolved.verificationKind === "sql_relational") {
             const checks = resolved.checks;
             if (checks.length === 1) {
@@ -473,6 +541,12 @@ export async function executeVerificationWithPolicyAsync(resolved, policy, ctx,
     if (resolved.verificationKind === "sql_row_absent") {
         return executeSqlRowAbsentEventual(resolved.request, p, ctx, t);
     }
+    if (resolved.verificationKind === "vector_document" ||
+        resolved.verificationKind === "object_storage_object" ||
+        resolved.verificationKind === "http_witness" ||
+        resolved.verificationKind === "mongo_document") {
+        return executeStateWitnessEventual(resolved.request, p, ctx, t);
+    }
     if (resolved.verificationKind === "sql_row") {
         return executeSqlRowEventual(resolved.request, p, ctx, t);
     }
@@ -490,6 +564,16 @@ export function createSqlitePolicyContext(db) {
         reconcileRow: (req) => Promise.resolve(reconcileSqlRow(db, req)),
         reconcileRowAbsent: (req) => Promise.resolve(reconcileSqlRowAbsent(db, req)),
         reconcileRelationalCheck: (check) => Promise.resolve(reconcileRelationalSqlite(db, check)),
+        reconcileStateWitness: async () => ({
+            status: "incomplete_verification",
+            reasons: [
+                {
+                    code: SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE,
+                    message: "State store verification is not available in SQLite file mode; use a remote database URL for the verify run.",
+                },
+            ],
+            evidenceSummary: {},
+        }),
     };
 }
 //# sourceMappingURL=verificationPolicy.js.map

package/dist/verificationPolicy.js.map

@@ -1 +1 @@
-{"version":3,"file":"verificationPolicy.js","sourceRoot":"","sources":["../src/verificationPolicy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,oCAAoC,EACpC,sBAAsB,EACtB,wBAAwB,EACxB,iCAAiC,EACjC,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EACL,eAAe,EACf,qBAAqB,GAEtB,MAAM,iBAAiB,CAAC;AAWzB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,MAAM,CAAC,MAAM,2BAA2B,GAAuB;IAC7D,eAAe,EAAE,QAAQ;IACzB,oBAAoB,EAAE,CAAC;IACvB,cAAc,EAAE,CAAC;CAClB,CAAC;AAOF,MAAM,aAAa,GAAe;IAChC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;IACrB,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;CACjE,CAAC;AAiBF,SAAS,WAAW,CAAC,OAA6B;IAChD,OAAO;QACL,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG;QACtC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,aAAa,CAAC,KAAK;KAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAA0B;IACpE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;YACL,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,eAAe,EAAE,UAAU;QAC3B,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAA0B;IACtE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,MAAM,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;QACxD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,gDAAgD,CACjD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,8BAA8B,CAAC,KAA0B;IACvE,MAAM,MAAM,GAAG,KAAK,IAAI,2BAA2B,CAAC;IACpD,MAAM,UAAU,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACvD,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAyB,EACzB,IAAuB;IAUvB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACrB,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;YACtB,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;YAChC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc;SACzC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iCAAiC,CACxC,OAAyB,EACzB,IAAuB;IAIvB,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC9E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,qCAAqC,CAC5C,MAAiC,EACjC,IAAuB;IAIvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM;QACvB,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO;QACzB,eAAe,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,eAAe;KAC1C,CAAC,CAAC,CAAC;IACJ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC/E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AAChF,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA4B,EAC5B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAqC,EACrC,QAAgB,EAChB,SAAiB,EACjB,MAA0B,EAC1B,OAAwB;IAExB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,eAAe,CAAC;IACnD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC;IAC9C,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,0CAA0C;gBAC9E,OAAO,EACL,6GAA6G;aAChH;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;YACd,eAAe,EAAE,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3D,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;SACxC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAyB,EACzB,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,aAAsB;QAC5B,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,SAAkB;YACxB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,cAAc,EAAE,CAAC,CAAC,cAAc;SACjC,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,IAAI;qBACnI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAiC,EACjC,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM;SACvB,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,gBAAyB;QAC/B,MAAM,EAAE,YAAY;KACrB,CAAC;IACF,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;QACd,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO;QACtB,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe;KACvC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,YAAY;qBAC3I,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,KAA8B,EAC9B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;QAChE,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,OAA4B,EAC5B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,OAAqC,EACrC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IACE,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,0BAA0B,EACjF,CAAC;YACD,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,0BAA0B,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,yBAAyB,CACtC,OAAyB,EACzB,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,UAAU,GAAG,iCAAiC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kCAAkC,CAC/C,KAA8B,EAC9B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,iCAAiC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,4BAA4B,CACzC,MAAiC,EACjC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,UAAU,GAAG,qCAAqC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iCAAiC,CAC/C,EAAgB,EAChB,QAAoB,EACpB,MAA0B;IAE1B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC5D,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,GAAG,GAAG,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,GAAG,GAAG,qBAAqB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO;QACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;QACrC,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,eAAe,EAAE,GAAG,CAAC,eAAe;KACrC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,QAAoB,EACpB,MAA0B,EAC1B,GAA2B,EAC3B,MAA4B;IAE5B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAE9B,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,GAAG,GAAG,oCAAoC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACrG,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;gBACtD,OAAO;oBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;oBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;iBACrC,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,wBAAwB,CAAC,GAAG,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;YACjF,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3D,OAAO;gBACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;gBACrC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACrD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,2BAA2B,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,qBAAqB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,kCAAkC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,4BAA4B,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAgB;IACxD,OAAO;QACL,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAChE,kBAAkB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC5E,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;KAC3F,CAAC;AACJ,CAAC"}
+{"version":3,"file":"verificationPolicy.js","sourceRoot":"","sources":["../src/verificationPolicy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,oCAAoC,EACpC,sBAAsB,EACtB,wBAAwB,EACxB,iCAAiC,EACjC,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AACrE,OAAO,EACL,eAAe,EACf,qBAAqB,GAEtB,MAAM,iBAAiB,CAAC;AAYzB,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,MAAM,CAAC,MAAM,2BAA2B,GAAuB;IAC7D,eAAe,EAAE,QAAQ;IACzB,oBAAoB,EAAE,CAAC;IACvB,cAAc,EAAE,CAAC;CAClB,CAAC;AAOF,MAAM,aAAa,GAAe;IAChC,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;IACrB,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;CACjE,CAAC;AAkBF,SAAS,WAAW,CAAC,OAA6B;IAChD,OAAO;QACL,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,aAAa,CAAC,GAAG;QACtC,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,aAAa,CAAC,KAAK;KAC7C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAA0B;IACpE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;YACL,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,eAAe,EAAE,UAAU;QAC3B,oBAAoB,EAAE,MAAM,CAAC,oBAAoB;QACjD,cAAc,EAAE,MAAM,CAAC,cAAc;KACtC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAA0B;IACtE,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO;IACT,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,oBAAoB,CAAC,IAAI,MAAM,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC;QACtF,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,0DAA0D,CAC3D,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,MAAM,CAAC,cAAc,GAAG,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,oDAAoD,CACrD,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAC;QACxD,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,2BAA2B,EACjD,gDAAgD,CACjD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,8BAA8B,CAAC,KAA0B;IACvE,MAAM,MAAM,GAAG,KAAK,IAAI,2BAA2B,CAAC;IACpD,MAAM,UAAU,GAAG,2BAA2B,CAAC,MAAM,CAAC,CAAC;IACvD,6BAA6B,CAAC,UAAU,CAAC,CAAC;IAC1C,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAyB,EACzB,IAAuB;IAUvB,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACrB,OAAO;YACL,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK;YACtB,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU;YAChC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc;SACzC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iCAAiC,CACxC,OAAyB,EACzB,IAAuB;IAIvB,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC9E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC7D,IAAI,QAAQ,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC9C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,oCAAoC,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3E,CAAC;AAED,SAAS,qCAAqC,CAC5C,MAAiC,EACjC,IAAuB;IAIvB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QACtC,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,MAAM;QACvB,OAAO,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,OAAO;QACzB,eAAe,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,eAAe;KAC1C,CAAC,CAAC,CAAC;IACJ,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,yBAAyB,CAAC,CAAC;IAC/E,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;IAChF,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC;IACzC,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,iCAAiC,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;AAChF,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA4B,EAC5B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAAqC,EACrC,QAAgB,EAChB,SAAiB,EACjB,MAA0B,EAC1B,OAAwB;IAExB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,eAAe,CAAC;IACnD,MAAM,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC,UAAU,CAAC;IAC9C,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,0CAA0C;gBAC9E,OAAO,EACL,6GAA6G;aAChH;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;YACd,eAAe,EAAE,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3D,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;SACxC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,OAAyB,EACzB,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,IAAI,GAAG,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,aAAsB;QAC5B,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxB,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,IAAI,EAAE,SAAkB;YACxB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,cAAc,EAAE,CAAC,CAAC,cAAc;SACjC,CAAC,CAAC;KACJ,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,MAAM,EAAE,CAAC,CAAC,MAAM;QAChB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,eAAe,EAAE,CAAC,CAAC,eAAe;KACnC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,IAAI;qBACnI,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,2BAA2B,CAClC,MAAiC,EACjC,IAAuB,EACvB,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM;SACvB,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;SAC7C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1D,MAAM,YAAY,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,YAAY,CAAC,MAAM,CAAC;IAC9B,MAAM,mBAAmB,GAAG;QAC1B,IAAI,EAAE,gBAAyB;QAC/B,MAAM,EAAE,YAAY;KACrB,CAAC;IACF,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE;QACd,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM;QACpB,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,OAAO;QACtB,eAAe,EAAE,CAAC,CAAC,GAAG,CAAC,eAAe;KACvC,CAAC,CAAC,CAAC;IACJ,OAAO;QACL,mBAAmB;QACnB,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,oCAAoC;gBACxE,OAAO,EAAE,yHAAyH,YAAY;qBAC3I,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAChB,IAAI,CAAC,cAAc,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,IAAI;aAClB;SACF;QACD,eAAe,EAAE;YACf,WAAW,EAAE,CAAC;YACd,OAAO,EAAE,UAAU;YACnB,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,iCAAiC,CACxC,KAA8B,EAC9B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;QAChE,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,qGAAqG;aACxG;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,OAA4B,EAC5B,QAAgB,EAChB,SAAiB,EACjB,MAA0B;IAE1B,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,OAAO;QACL,mBAAmB,EAAE,OAAO;QAC5B,MAAM,EAAE,WAAW;QACnB,OAAO,EAAE;YACP;gBACE,IAAI,EAAE,6BAA6B,CAAC,8BAA8B;gBAClE,OAAO,EACL,8GAA8G;aACjH;SACF;QACD,eAAe,EAAE;YACf,QAAQ;YACR,SAAS;YACT,oBAAoB;YACpB,cAAc;SACf;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,OAA4B,EAC5B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;QACrD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,0BAA0B,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,qBAAqB,CAClC,OAA4B,EAC5B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC5C,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,oBAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,OAAqC,EACrC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,GAAG,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC9B,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IACE,GAAG,CAAC,MAAM,KAAK,cAAc;YAC7B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,6BAA6B,CAAC,0BAA0B,EACjF,CAAC;YACD,OAAO;gBACL,mBAAmB,EAAE,OAAO;gBAC5B,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,0BAA0B,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,yBAAyB,CACtC,OAAyB,EACzB,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAChF,MAAM,UAAU,GAAG,iCAAiC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,wBAAwB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QACzF,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,kCAAkC,CAC/C,KAA8B,EAC9B,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,iCAAiC,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,KAAK,UAAU,4BAA4B,CACzC,MAAiC,EACjC,MAA0B,EAC1B,GAA2B,EAC3B,MAAkB;IAElB,MAAM,EAAE,oBAAoB,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC;IACxD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,SAAS,CAAC;QACR,QAAQ,EAAE,CAAC;QACX,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,UAAU,GAAG,qCAAqC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACvE,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC;YAC3B,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,oBAAoB,EAAE,CAAC;YACjD,OAAO,2BAA2B,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3F,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,iCAAiC,CAC/C,EAAgB,EAChB,QAAoB,EACpB,MAA0B;IAE1B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,oEAAoE,CACrE,CAAC;IACJ,CAAC;IACD,IACE,QAAQ,CAAC,gBAAgB,KAAK,iBAAiB;QAC/C,QAAQ,CAAC,gBAAgB,KAAK,uBAAuB;QACrD,QAAQ,CAAC,gBAAgB,KAAK,cAAc;QAC5C,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAC9C,CAAC;QACD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,6CAA6C;oBACjF,OAAO,EACL,oKAAoK;iBACvK;aACF;YACD,eAAe,EAAE,EAAE,gBAAgB,EAAE,QAAQ,CAAC,gBAAgB,EAAE;SACjE,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,sBAAsB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC5D,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;YACzB,MAAM,GAAG,GAAG,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACjD,OAAO;gBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;gBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACnD,OAAO;YACL,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;YAC/C,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,eAAe,EAAE,MAAM,CAAC,eAAe;SACxC,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,MAAM,GAAG,GAAG,qBAAqB,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QACxD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,eAAe,CAAC,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO;QACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;QACrC,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,eAAe,EAAE,GAAG,CAAC,eAAe;KACrC,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,QAAoB,EACpB,MAA0B,EAC1B,GAA2B,EAC3B,MAA4B;IAE5B,MAAM,CAAC,GAAG,8BAA8B,CAAC,MAAM,CAAC,CAAC;IACjD,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAE9B,IAAI,CAAC,CAAC,eAAe,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,GAAG,GAAG,oCAAoC,CAAC,0BAA0B,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;YACrG,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IACE,QAAQ,CAAC,gBAAgB,KAAK,iBAAiB;YAC/C,QAAQ,CAAC,gBAAgB,KAAK,uBAAuB;YACrD,QAAQ,CAAC,gBAAgB,KAAK,cAAc;YAC5C,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAC9C,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,qBAAqB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC9D,OAAO;gBACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;gBACrC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;YAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;gBACtD,OAAO;oBACL,mBAAmB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE;oBAChE,MAAM,EAAE,GAAG,CAAC,MAAM;oBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;iBACrC,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,wBAAwB,CAAC,GAAG,CAAC,wBAAwB,EAAE,MAAM,CAAC,CAAC;YACjF,OAAO;gBACL,mBAAmB,EAAE,GAAG,CAAC,mBAAmB;gBAC5C,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;YACnD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC3D,OAAO;gBACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;gBACrC,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,eAAe,EAAE,GAAG,CAAC,eAAe;aACrC,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACrD,OAAO;YACL,mBAAmB,EAAE,QAAQ,CAAC,OAAO;YACrC,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,eAAe,EAAE,GAAG,CAAC,eAAe;SACrC,CAAC;IACJ,CAAC;IAED,IAAI,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAAE,CAAC;QACnD,OAAO,2BAA2B,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,IACE,QAAQ,CAAC,gBAAgB,KAAK,iBAAiB;QAC/C,QAAQ,CAAC,gBAAgB,KAAK,uBAAuB;QACrD,QAAQ,CAAC,gBAAgB,KAAK,cAAc;QAC5C,QAAQ,CAAC,gBAAgB,KAAK,gBAAgB,EAC9C,CAAC;QACD,OAAO,2BAA2B,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,qBAAqB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,QAAQ,CAAC,gBAAgB,KAAK,aAAa,EAAE,CAAC;QAChD,OAAO,yBAAyB,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,kCAAkC,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,4BAA4B,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACzD,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,EAAgB;IACxD,OAAO;QACL,YAAY,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAChE,kBAAkB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC5E,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,yBAAyB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC1F,qBAAqB,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;YAClC,MAAM,EAAE,yBAAkC;YAC1C,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,6BAA6B,CAAC,6CAA6C;oBACjF,OAAO,EACL,8GAA8G;iBACjH;aACF;YACD,eAAe,EAAE,EAAE;SACpB,CAAC;KACH,CAAC;AACJ,CAAC"}

package/dist/verificationPolicy.test.js

@@ -13,6 +13,7 @@ const unusedRelationalOk = async () => ({
     reasons: [],
     evidenceSummary: {},
 });
+const unusedStateWitnessOk = unusedRelationalOk;
 const unusedReconcileRowAbsent = async () => ({
     status: "verified",
     reasons: [],
@@ -68,6 +69,7 @@ describe("verificationPolicy", () => {
             },
             reconcileRowAbsent: unusedReconcileRowAbsent,
             reconcileRelationalCheck: unusedRelationalOk,
+            reconcileStateWitness: unusedStateWitnessOk,
         };
         const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_row", request: baseReq }, DEFAULT_VERIFICATION_POLICY, ctx);
         expect(calls).toBe(1);
@@ -99,6 +101,7 @@ describe("verificationPolicy", () => {
             },
             reconcileRowAbsent: unusedReconcileRowAbsent,
             reconcileRelationalCheck: unusedRelationalOk,
+            reconcileStateWitness: unusedStateWitnessOk,
         };
         const timing = {
             now: () => t,
@@ -129,6 +132,7 @@ describe("verificationPolicy", () => {
             },
             reconcileRowAbsent: unusedReconcileRowAbsent,
             reconcileRelationalCheck: unusedRelationalOk,
+            reconcileStateWitness: unusedStateWitnessOk,
         };
         const timing = {
             now: () => t,
@@ -161,6 +165,7 @@ describe("verificationPolicy", () => {
             },
             reconcileRowAbsent: unusedReconcileRowAbsent,
             reconcileRelationalCheck: unusedRelationalOk,
+            reconcileStateWitness: unusedStateWitnessOk,
         };
         const timing = {
             now: () => 0,
@@ -190,6 +195,7 @@ describe("verificationPolicy", () => {
             },
             reconcileRowAbsent: unusedReconcileRowAbsent,
             reconcileRelationalCheck: unusedRelationalOk,
+            reconcileStateWitness: unusedStateWitnessOk,
         };
         const out = await executeVerificationWithPolicyAsync({ ok: true, verificationKind: "sql_row", request: baseReq }, policy, ctx);
         expect(calls).toBe(1);
@@ -218,6 +224,7 @@ describe("verificationPolicy", () => {
             },
             reconcileRowAbsent: unusedReconcileRowAbsent,
             reconcileRelationalCheck: unusedRelationalOk,
+            reconcileStateWitness: unusedStateWitnessOk,
         };
         const timing = {
             now: () => t,

package/dist/verificationPolicy.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"verificationPolicy.test.js","sourceRoot":"","sources":["../src/verificationPolicy.test.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EACL,6BAA6B,EAC7B,2BAA2B,EAC3B,kCAAkC,EAClC,iCAAiC,EACjC,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AAEjC,MAAM,OAAO,GAAwB;IACnC,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,GAAG;IACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC1C,cAAc,EAAE,EAAE;CACnB,CAAC;AAEF,MAAM,kBAAkB,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,UAAmB;IAC3B,OAAO,EAAE,EAAyC;IAClD,eAAe,EAAE,EAAE;CACpB,CAAC,CAAC;AAEH,MAAM,wBAAwB,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,EAAE,UAAmB;IAC3B,OAAO,EAAE,EAAyC;IAClD,eAAe,EAAE,EAAE;CACpB,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CACJ,2BAA2B,CAAC;YAC1B,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC;YACR,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,EAAE;SACnB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,IAAI;YAC1B,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,8BAA8B,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,UAAmB;oBAC3B,OAAO,EAAE,EAAyC;oBAClD,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,2BAA2B,EAC3B,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,OAAO;wBACL,MAAM,EAAE,SAAkB;wBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;wBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;qBACjC,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,MAAM,EAAE,UAAmB;oBAC3B,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;QAC5F,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,SAAkB;oBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;oBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,cAAuB;oBAC/B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBACnD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,IAAI,EAAE;gBAChB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAChD,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,yBAAkC;oBAC1C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBACpD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,KAAK,IAAI,EAAE;QAC1G,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;YAChF,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;SACjF,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,SAAkB;oBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;oBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;SAC7C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,OAAO,EAAE,EACtD,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CACV,iCAAiC,CAC/B,IAA+B,EAC/B,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,EAAE,eAAe,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,CAC7E,CACF,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,IAAI,CAAC;YACH,8BAA8B,CAAC;gBAC7B,eAAe,EAAE,UAAU;gBAC3B,oBAAoB,EAAE,CAAC;gBACvB,cAAc,EAAE,EAAE;aACnB,CAAC,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC,CAAC,CAAC;AAEL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"verificationPolicy.test.js","sourceRoot":"","sources":["../src/verificationPolicy.test.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EACL,6BAA6B,EAC7B,2BAA2B,EAC3B,kCAAkC,EAClC,iCAAiC,EACjC,2BAA2B,EAC3B,8BAA8B,GAC/B,MAAM,yBAAyB,CAAC;AAEjC,MAAM,OAAO,GAAwB;IACnC,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,GAAG;IACV,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;IAC1C,cAAc,EAAE,EAAE;CACnB,CAAC;AAEF,MAAM,kBAAkB,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,UAAmB;IAC3B,OAAO,EAAE,EAAyC;IAClD,eAAe,EAAE,EAAE;CACpB,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,kBAAkB,CAAC;AAEhD,MAAM,wBAAwB,GAAG,KAAK,IAAI,EAAE,CAAC,CAAC;IAC5C,MAAM,EAAE,UAAmB;IAC3B,OAAO,EAAE,EAAyC;IAClD,eAAe,EAAE,EAAE;CACpB,CAAC,CAAC;AAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CACJ,2BAA2B,CAAC;YAC1B,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC;YACR,eAAe,EAAE,QAAQ;YACzB,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,CAAC;YACvB,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,EAAE;SACnB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CACV,6BAA6B,CAAC;YAC5B,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,IAAI;YAC1B,cAAc,EAAE,CAAC;SAClB,CAAC,CACH,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,8BAA8B,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,2BAA2B,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,UAAmB;oBAC3B,OAAO,EAAE,EAAyC;oBAClD,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;YAC5C,qBAAqB,EAAE,oBAAoB;SAC5C,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,2BAA2B,EAC3B,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,OAAO;wBACL,MAAM,EAAE,SAAkB;wBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;wBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;qBACjC,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,MAAM,EAAE,UAAmB;oBAC3B,OAAO,EAAE,EAAE;oBACX,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;YAC5C,qBAAqB,EAAE,oBAAoB;SAC5C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;QAC5F,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,SAAkB;oBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;oBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;YAC5C,qBAAqB,EAAE,oBAAoB;SAC5C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,cAAuB;oBAC/B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBACnD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;YAC5C,qBAAqB,EAAE,oBAAoB;SAC5C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,IAAI,EAAE;gBAChB,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAChD,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC3E,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,GAAG;YACzB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,yBAAkC;oBAC1C,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;oBACpD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;YAC5C,qBAAqB,EAAE,oBAAoB;SAC5C,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,MAAM,EACN,GAAG,CACJ,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4FAA4F,EAAE,KAAK,IAAI,EAAE;QAC1G,MAAM,OAAO,GAAqB;YAChC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;YAChF,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE;SACjF,CAAC;QACF,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAuB;YACjC,eAAe,EAAE,UAAU;YAC3B,oBAAoB,EAAE,EAAE;YACxB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,GAAG,GAAG;YACV,YAAY,EAAE,KAAK,IAAI,EAAE;gBACvB,KAAK,EAAE,CAAC;gBACR,OAAO;oBACL,MAAM,EAAE,SAAkB;oBAC1B,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;oBAChE,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;iBACjC,CAAC;YACJ,CAAC;YACD,kBAAkB,EAAE,wBAAwB;YAC5C,wBAAwB,EAAE,kBAAkB;YAC5C,qBAAqB,EAAE,oBAAoB;SAC5C,CAAC;QACF,MAAM,MAAM,GAAG;YACb,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACZ,KAAK,EAAE,KAAK,EAAE,EAAU,EAAE,EAAE;gBAC1B,CAAC,IAAI,EAAE,CAAC;YACV,CAAC;SACF,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,kCAAkC,CAClD,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,aAAa,EAAE,OAAO,EAAE,EACtD,MAAM,EACN,GAAG,EACH,MAAM,CACP,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CACV,iCAAiC,CAC/B,IAA+B,EAC/B,EAAE,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,EAC3D,EAAE,eAAe,EAAE,UAAU,EAAE,oBAAoB,EAAE,EAAE,EAAE,cAAc,EAAE,CAAC,EAAE,CAC7E,CACF,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,IAAI,CAAC;YACH,8BAA8B,CAAC;gBAC7B,eAAe,EAAE,UAAU;gBAC3B,oBAAoB,EAAE,CAAC;gBACvB,cAAc,EAAE,EAAE;aACnB,CAAC,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC;YAC1C,MAAM,CAAE,CAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,2BAA2B,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC,CAAC,CAAC;AAEL,CAAC,CAAC,CAAC"}

package/dist/verificationUserPhrases.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verificationUserPhrases.d.ts","sourceRoot":"","sources":["../src/verificationUserPhrases.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC9B,MAAM,sBAAsB,CAAC;AAI9B,8DAA8D;AAC9D,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAC3C,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,OAAO,6BAA6B,CAAC,EAClF,MAAM,CAsBP,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAC5C,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,OAAO,sBAAsB,CAAC,EACpE,MAAM,CAsBP,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,6BAA6B;;;;;;CAQhC,CAAC;AAEX,sGAAsG;AACtG,eAAO,MAAM,2BAA2B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAS9D,CAAC;AAYF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiB5D;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE5D"}
+{"version":3,"file":"verificationUserPhrases.d.ts","sourceRoot":"","sources":["../src/verificationUserPhrases.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC9B,MAAM,sBAAsB,CAAC;AAI9B,8DAA8D;AAC9D,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAC3C,CAAC,OAAO,6BAA6B,CAAC,CAAC,MAAM,OAAO,6BAA6B,CAAC,EAClF,MAAM,CAwCP,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAC5C,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,OAAO,sBAAsB,CAAC,EACpE,MAAM,CAuBP,CAAC;AAEF,0DAA0D;AAC1D,eAAO,MAAM,6BAA6B;;;;;;CAQhC,CAAC;AAEX,sGAAsG;AACtG,eAAO,MAAM,2BAA2B,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAS9D,CAAC;AAYF,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAiB5D;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE5D"}

package/dist/verificationUserPhrases.js

@@ -25,6 +25,23 @@ export const SQL_VERIFICATION_PHRASES = {
     ROW_PRESENT_WHEN_FORBIDDEN: "A row is still present when verification expected it to be gone.",
     ORPHAN_ROW_DETECTED: "An orphan or unexpected related row was detected.",
     FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW: "Rows that should have been removed were still present within the verification window.",
+    RELATIONAL_UNSUPPORTED_DIALECT: "This relational verification shape is not supported for the selected database dialect.",
+    STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE: "Vector, object storage, HTTP witness, or Mongo verification requires a remote database URL, not SQLite file mode.",
+    STATE_WITNESS_SETUP_ERROR: "State verification could not run (missing credentials, URL, or provider configuration).",
+    VECTOR_NOT_FOUND: "The vector or document id was not found in the index.",
+    VECTOR_METADATA_MISMATCH: "Vector metadata did not match the expected subset.",
+    VECTOR_PAYLOAD_MISMATCH: "Vector payload or content hash did not match.",
+    VECTOR_PROVIDER_ERROR: "The vector provider returned an error or unusable response.",
+    OBJECT_MISSING: "The object was not found in object storage.",
+    OBJECT_DIGEST_MISMATCH: "Checksum or ETag did not match the stored object.",
+    OBJECT_SIZE_MISMATCH: "Object size did not match the expected Content-Length.",
+    OBJECT_METADATA_MISMATCH: "Object metadata did not match expectations.",
+    OBJECT_TOO_LARGE_FOR_HASH: "The object is too large to hash within verification limits.",
+    HTTP_WITNESS_STATUS_MISMATCH: "HTTP witness response status did not match the expected code.",
+    HTTP_WITNESS_ASSERTION_MISMATCH: "HTTP witness JSON assertion did not match the live response.",
+    HTTP_WITNESS_NETWORK_ERROR: "HTTP witness request failed (network, TLS, or timeout).",
+    MONGO_DOCUMENT_MISSING: "No MongoDB document matched the declared filter.",
+    MONGO_VALUE_MISMATCH: "A required field on the MongoDB document did not match.",
 };
 /** Registry resolver failures — short explanations for operators. */
 export const REGISTRY_RESOLVER_PHRASES = {
@@ -48,6 +65,7 @@ export const REGISTRY_RESOLVER_PHRASES = {
     RELATIONAL_SUM_COLUMN_REQUIRED: "Relational sum check requires a column in the registry.",
     EQUALITY_DUPLICATE_COLUMN: "Duplicate column in an equality spec.",
     FILTER_EQ_OVERLAPS_IDENTITY: "Filter equality overlaps identity columns.",
+    RELATIONAL_UNSUPPORTED_DIALECT: "Relational checks are not supported for this database URL (e.g. BigQuery row-only mode).",
 };
 /** Ingest / quick misc (not SQL or registry resolver). */
 export const INGEST_AND_QUICK_MISC_PHRASES = {

package/dist/verificationUserPhrases.js.map

@@ -1 +1 @@
-{"version":3,"file":"verificationUserPhrases.js","sourceRoot":"","sources":["../src/verificationUserPhrases.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAMlF,MAAM,4BAA4B,GAAG,6CAAsD,CAAC;AAE5F,8DAA8D;AAC9D,MAAM,CAAC,MAAM,wBAAwB,GAGjC;IACF,UAAU,EAAE,qEAAqE;IACjF,cAAc,EAAE,qDAAqD;IACrE,kBAAkB,EAAE,sEAAsE;IAC1F,gBAAgB,EAAE,wDAAwD;IAC1E,cAAc,EAAE,mDAAmD;IACnE,eAAe,EAAE,4CAA4C;IAC7D,uBAAuB,EAAE,2DAA2D;IACpF,uBAAuB,EAAE,yDAAyD;IAClF,oBAAoB,EAAE,gDAAgD;IACtE,8BAA8B,EAAE,kEAAkE;IAClG,oCAAoC,EAAE,sEAAsE;IAC5G,YAAY,EAAE,qEAAqE;IACnF,0BAA0B,EAAE,uDAAuD;IACnF,mBAAmB,EAAE,iDAAiD;IACtE,+BAA+B,EAAE,gDAAgD;IACjF,0BAA0B,EAAE,6DAA6D;IACzF,0BAA0B,EAAE,kEAAkE;IAC9F,mBAAmB,EAAE,mDAAmD;IACxE,0CAA0C,EACxC,uFAAuF;CAC1F,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,yBAAyB,GAGlC;IACF,kBAAkB,EAAE,oCAAoC;IACxD,2BAA2B,EAAE,sDAAsD;IACnF,gBAAgB,EAAE,2CAA2C;IAC7D,iBAAiB,EAAE,kDAAkD;IACrE,yBAAyB,EAAE,+CAA+C;IAC1E,oBAAoB,EAAE,yDAAyD;IAC/E,sBAAsB,EAAE,qCAAqC;IAC7D,qBAAqB,EAAE,oCAAoC;IAC3D,kBAAkB,EAAE,iCAAiC;IACrD,kBAAkB,EAAE,8CAA8C;IAClE,+BAA+B,EAAE,8CAA8C;IAC/E,0BAA0B,EAAE,wDAAwD;IACpF,+BAA+B,EAAE,sDAAsD;IACvF,gCAAgC,EAAE,yCAAyC;IAC3E,6BAA6B,EAAE,uDAAuD;IACtF,mBAAmB,EAAE,sCAAsC;IAC3D,+BAA+B,EAAE,0DAA0D;IAC3F,8BAA8B,EAAE,yDAAyD;IACzF,yBAAyB,EAAE,uCAAuC;IAClE,2BAA2B,EAAE,4CAA4C;CAC1E,CAAC;AAEF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,iBAAiB,EACf,4IAA4I;IAC9I,kCAAkC,EAChC,qKAAqK;IACvK,sBAAsB,EAAE,0CAA0C;IAClE,iBAAiB,EAAE,sDAAsD;IACzE,cAAc,EAAE,gDAAgD;CACxD,CAAC;AAEX,sGAAsG;AACtG,MAAM,CAAC,MAAM,2BAA2B,GAA2B;IACjE,eAAe,EAAE,8DAA8D;IAC/E,gBAAgB,EAAE,qEAAqE;IACvF,kBAAkB,EAAE,+DAA+D;IACnF,qBAAqB,EAAE,kEAAkE;IACzF,iBAAiB,EAAE,0EAA0E;IAC7F,sBAAsB,EAAE,2DAA2D;IACnF,oBAAoB,EAAE,yDAAyD;IAC/E,YAAY,EAAE,yDAAyD;CACxE,CAAC;AAEF,MAAM,qBAAqB,GAA2B;IACpD,GAAG,kBAAkB;IACrB,GAAG,uBAAuB;IAC1B,GAAG,2BAA2B;IAC9B,CAAC,4BAA4B,CAAC,EAC5B,oFAAoF;CACvF,CAAC;AAEF,MAAM,eAAe,GAAG,2BAAoC,CAAC;AAE7D,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,wBAAwB,CAAC,IAA6C,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,yBAAyB,EAAE,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,yBAAyB,CAAC,IAA8C,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,6BAA6B,EAAE,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,6BAA6B,CAAC,IAAkD,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,qBAAqB,EAAE,IAAI,CAAC,EAAE,CAAC;QACtE,OAAO,qBAAqB,CAAC,IAAI,CAAE,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;IACvF,CAAC;IACD,OAAO,GAAG,eAAe,GAAG,IAAI,IAAI,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;AAC5C,CAAC"}
+{"version":3,"file":"verificationUserPhrases.js","sourceRoot":"","sources":["../src/verificationUserPhrases.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAMlF,MAAM,4BAA4B,GAAG,6CAAsD,CAAC;AAE5F,8DAA8D;AAC9D,MAAM,CAAC,MAAM,wBAAwB,GAGjC;IACF,UAAU,EAAE,qEAAqE;IACjF,cAAc,EAAE,qDAAqD;IACrE,kBAAkB,EAAE,sEAAsE;IAC1F,gBAAgB,EAAE,wDAAwD;IAC1E,cAAc,EAAE,mDAAmD;IACnE,eAAe,EAAE,4CAA4C;IAC7D,uBAAuB,EAAE,2DAA2D;IACpF,uBAAuB,EAAE,yDAAyD;IAClF,oBAAoB,EAAE,gDAAgD;IACtE,8BAA8B,EAAE,kEAAkE;IAClG,oCAAoC,EAAE,sEAAsE;IAC5G,YAAY,EAAE,qEAAqE;IACnF,0BAA0B,EAAE,uDAAuD;IACnF,mBAAmB,EAAE,iDAAiD;IACtE,+BAA+B,EAAE,gDAAgD;IACjF,0BAA0B,EAAE,6DAA6D;IACzF,0BAA0B,EAAE,kEAAkE;IAC9F,mBAAmB,EAAE,mDAAmD;IACxE,0CAA0C,EACxC,uFAAuF;IACzF,8BAA8B,EAAE,wFAAwF;IACxH,6CAA6C,EAC3C,mHAAmH;IACrH,yBAAyB,EAAE,yFAAyF;IACpH,gBAAgB,EAAE,uDAAuD;IACzE,wBAAwB,EAAE,oDAAoD;IAC9E,uBAAuB,EAAE,+CAA+C;IACxE,qBAAqB,EAAE,6DAA6D;IACpF,cAAc,EAAE,6CAA6C;IAC7D,sBAAsB,EAAE,mDAAmD;IAC3E,oBAAoB,EAAE,wDAAwD;IAC9E,wBAAwB,EAAE,6CAA6C;IACvE,yBAAyB,EAAE,6DAA6D;IACxF,4BAA4B,EAAE,+DAA+D;IAC7F,+BAA+B,EAAE,8DAA8D;IAC/F,0BAA0B,EAAE,yDAAyD;IACrF,sBAAsB,EAAE,kDAAkD;IAC1E,oBAAoB,EAAE,yDAAyD;CAChF,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,yBAAyB,GAGlC;IACF,kBAAkB,EAAE,oCAAoC;IACxD,2BAA2B,EAAE,sDAAsD;IACnF,gBAAgB,EAAE,2CAA2C;IAC7D,iBAAiB,EAAE,kDAAkD;IACrE,yBAAyB,EAAE,+CAA+C;IAC1E,oBAAoB,EAAE,yDAAyD;IAC/E,sBAAsB,EAAE,qCAAqC;IAC7D,qBAAqB,EAAE,oCAAoC;IAC3D,kBAAkB,EAAE,iCAAiC;IACrD,kBAAkB,EAAE,8CAA8C;IAClE,+BAA+B,EAAE,8CAA8C;IAC/E,0BAA0B,EAAE,wDAAwD;IACpF,+BAA+B,EAAE,sDAAsD;IACvF,gCAAgC,EAAE,yCAAyC;IAC3E,6BAA6B,EAAE,uDAAuD;IACtF,mBAAmB,EAAE,sCAAsC;IAC3D,+BAA+B,EAAE,0DAA0D;IAC3F,8BAA8B,EAAE,yDAAyD;IACzF,yBAAyB,EAAE,uCAAuC;IAClE,2BAA2B,EAAE,4CAA4C;IACzE,8BAA8B,EAAE,0FAA0F;CAC3H,CAAC;AAEF,0DAA0D;AAC1D,MAAM,CAAC,MAAM,6BAA6B,GAAG;IAC3C,iBAAiB,EACf,4IAA4I;IAC9I,kCAAkC,EAChC,qKAAqK;IACvK,sBAAsB,EAAE,0CAA0C;IAClE,iBAAiB,EAAE,sDAAsD;IACzE,cAAc,EAAE,gDAAgD;CACxD,CAAC;AAEX,sGAAsG;AACtG,MAAM,CAAC,MAAM,2BAA2B,GAA2B;IACjE,eAAe,EAAE,8DAA8D;IAC/E,gBAAgB,EAAE,qEAAqE;IACvF,kBAAkB,EAAE,+DAA+D;IACnF,qBAAqB,EAAE,kEAAkE;IACzF,iBAAiB,EAAE,0EAA0E;IAC7F,sBAAsB,EAAE,2DAA2D;IACnF,oBAAoB,EAAE,yDAAyD;IAC/E,YAAY,EAAE,yDAAyD;CACxE,CAAC;AAEF,MAAM,qBAAqB,GAA2B;IACpD,GAAG,kBAAkB;IACrB,GAAG,uBAAuB;IAC1B,GAAG,2BAA2B;IAC9B,CAAC,4BAA4B,CAAC,EAC5B,oFAAoF;CACvF,CAAC;AAEF,MAAM,eAAe,GAAG,2BAAoC,CAAC;AAE7D,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,CAAC,EAAE,CAAC;QACzE,OAAO,wBAAwB,CAAC,IAA6C,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,yBAAyB,EAAE,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,yBAAyB,CAAC,IAA8C,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,6BAA6B,EAAE,IAAI,CAAC,EAAE,CAAC;QAC9E,OAAO,6BAA6B,CAAC,IAAkD,CAAC,CAAC;IAC3F,CAAC;IACD,IAAI,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,qBAAqB,EAAE,IAAI,CAAC,EAAE,CAAC;QACtE,OAAO,qBAAqB,CAAC,IAAI,CAAE,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAChC,OAAO,YAAY,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC;IACvF,CAAC;IACD,OAAO,GAAG,eAAe,GAAG,IAAI,IAAI,CAAC;AACvC,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAc;IACjD,OAAO,MAAM,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC;AAC5C,CAAC"}

package/dist/wireReasonCodes.d.ts

@@ -24,6 +24,7 @@ export declare const REGISTRY_RESOLVER_CODE: {
     readonly RELATIONAL_SUM_COLUMN_REQUIRED: "RELATIONAL_SUM_COLUMN_REQUIRED";
     readonly EQUALITY_DUPLICATE_COLUMN: "EQUALITY_DUPLICATE_COLUMN";
     readonly FILTER_EQ_OVERLAPS_IDENTITY: "FILTER_EQ_OVERLAPS_IDENTITY";
+    readonly RELATIONAL_UNSUPPORTED_DIALECT: "RELATIONAL_UNSUPPORTED_DIALECT";
 };
 /** SQL reconciliation / policy / pipeline step `reasons[].code` values (post-resolution verification axis). */
 export declare const SQL_VERIFICATION_OUTCOME_CODE: {
@@ -46,6 +47,23 @@ export declare const SQL_VERIFICATION_OUTCOME_CODE: {
     readonly ROW_PRESENT_WHEN_FORBIDDEN: "ROW_PRESENT_WHEN_FORBIDDEN";
     readonly ORPHAN_ROW_DETECTED: "ORPHAN_ROW_DETECTED";
     readonly FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW: "FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW";
+    readonly STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE: "STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE";
+    readonly STATE_WITNESS_SETUP_ERROR: "STATE_WITNESS_SETUP_ERROR";
+    readonly VECTOR_NOT_FOUND: "VECTOR_NOT_FOUND";
+    readonly VECTOR_METADATA_MISMATCH: "VECTOR_METADATA_MISMATCH";
+    readonly VECTOR_PAYLOAD_MISMATCH: "VECTOR_PAYLOAD_MISMATCH";
+    readonly VECTOR_PROVIDER_ERROR: "VECTOR_PROVIDER_ERROR";
+    readonly OBJECT_MISSING: "OBJECT_MISSING";
+    readonly OBJECT_DIGEST_MISMATCH: "OBJECT_DIGEST_MISMATCH";
+    readonly OBJECT_SIZE_MISMATCH: "OBJECT_SIZE_MISMATCH";
+    readonly OBJECT_METADATA_MISMATCH: "OBJECT_METADATA_MISMATCH";
+    readonly OBJECT_TOO_LARGE_FOR_HASH: "OBJECT_TOO_LARGE_FOR_HASH";
+    readonly HTTP_WITNESS_STATUS_MISMATCH: "HTTP_WITNESS_STATUS_MISMATCH";
+    readonly HTTP_WITNESS_ASSERTION_MISMATCH: "HTTP_WITNESS_ASSERTION_MISMATCH";
+    readonly HTTP_WITNESS_NETWORK_ERROR: "HTTP_WITNESS_NETWORK_ERROR";
+    readonly MONGO_DOCUMENT_MISSING: "MONGO_DOCUMENT_MISSING";
+    readonly MONGO_VALUE_MISMATCH: "MONGO_VALUE_MISMATCH";
+    readonly RELATIONAL_UNSUPPORTED_DIALECT: "RELATIONAL_UNSUPPORTED_DIALECT";
 };
 export declare const UNKNOWN_TOOL: "UNKNOWN_TOOL";
 /** Fixed `code` strings on registry validation resolutionIssues / resolutionSkipped. */

package/dist/wireReasonCodes.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"wireReasonCodes.d.ts","sourceRoot":"","sources":["../src/wireReasonCodes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,2GAA2G;AAC3G,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;CAqBzB,CAAC;AAEX,+GAA+G;AAC/G,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;CAoBhC,CAAC;AAEX,eAAO,MAAM,YAAY,gBAA6C,CAAC;AAEvE,wFAAwF;AACxF,eAAO,MAAM,wBAAwB;;;;CAI3B,CAAC"}
+{"version":3,"file":"wireReasonCodes.d.ts","sourceRoot":"","sources":["../src/wireReasonCodes.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,2GAA2G;AAC3G,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;CAsBzB,CAAC;AAEX,+GAA+G;AAC/G,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqChC,CAAC;AAEX,eAAO,MAAM,YAAY,gBAA6C,CAAC;AAEvE,wFAAwF;AACxF,eAAO,MAAM,wBAAwB;;;;CAI3B,CAAC"}

package/dist/wireReasonCodes.js

@@ -24,6 +24,7 @@ export const REGISTRY_RESOLVER_CODE = {
     RELATIONAL_SUM_COLUMN_REQUIRED: "RELATIONAL_SUM_COLUMN_REQUIRED",
     EQUALITY_DUPLICATE_COLUMN: "EQUALITY_DUPLICATE_COLUMN",
     FILTER_EQ_OVERLAPS_IDENTITY: "FILTER_EQ_OVERLAPS_IDENTITY",
+    RELATIONAL_UNSUPPORTED_DIALECT: "RELATIONAL_UNSUPPORTED_DIALECT",
 };
 /** SQL reconciliation / policy / pipeline step `reasons[].code` values (post-resolution verification axis). */
 export const SQL_VERIFICATION_OUTCOME_CODE = {
@@ -46,6 +47,23 @@ export const SQL_VERIFICATION_OUTCOME_CODE = {
     ROW_PRESENT_WHEN_FORBIDDEN: "ROW_PRESENT_WHEN_FORBIDDEN",
     ORPHAN_ROW_DETECTED: "ORPHAN_ROW_DETECTED",
     FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW: "FORBIDDEN_ROWS_STILL_PRESENT_WITHIN_WINDOW",
+    STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE: "STATE_WITNESS_UNAVAILABLE_IN_SQLITE_FILE_MODE",
+    STATE_WITNESS_SETUP_ERROR: "STATE_WITNESS_SETUP_ERROR",
+    VECTOR_NOT_FOUND: "VECTOR_NOT_FOUND",
+    VECTOR_METADATA_MISMATCH: "VECTOR_METADATA_MISMATCH",
+    VECTOR_PAYLOAD_MISMATCH: "VECTOR_PAYLOAD_MISMATCH",
+    VECTOR_PROVIDER_ERROR: "VECTOR_PROVIDER_ERROR",
+    OBJECT_MISSING: "OBJECT_MISSING",
+    OBJECT_DIGEST_MISMATCH: "OBJECT_DIGEST_MISMATCH",
+    OBJECT_SIZE_MISMATCH: "OBJECT_SIZE_MISMATCH",
+    OBJECT_METADATA_MISMATCH: "OBJECT_METADATA_MISMATCH",
+    OBJECT_TOO_LARGE_FOR_HASH: "OBJECT_TOO_LARGE_FOR_HASH",
+    HTTP_WITNESS_STATUS_MISMATCH: "HTTP_WITNESS_STATUS_MISMATCH",
+    HTTP_WITNESS_ASSERTION_MISMATCH: "HTTP_WITNESS_ASSERTION_MISMATCH",
+    HTTP_WITNESS_NETWORK_ERROR: "HTTP_WITNESS_NETWORK_ERROR",
+    MONGO_DOCUMENT_MISSING: "MONGO_DOCUMENT_MISSING",
+    MONGO_VALUE_MISMATCH: "MONGO_VALUE_MISMATCH",
+    RELATIONAL_UNSUPPORTED_DIALECT: "RELATIONAL_UNSUPPORTED_DIALECT",
 };
 export const UNKNOWN_TOOL = SQL_VERIFICATION_OUTCOME_CODE.UNKNOWN_TOOL;
 /** Fixed `code` strings on registry validation resolutionIssues / resolutionSkipped. */