agentskeptic 1.0.0 → 1.0.1

package/dist/sqlDialect.js

@@ -0,0 +1,37 @@
+export function quoteIdent(dialect, id) {
+    if (dialect === "mysql") {
+        return "`" + id.replace(/`/g, "``") + "`";
+    }
+    if (dialect === "mssql") {
+        return "[" + id.replace(/\]/g, "]]") + "]";
+    }
+    if (dialect === "bigquery") {
+        // GoogleSQL delimited identifiers: escape ` by doubling (``).
+        return "`" + id.replace(/`/g, "``") + "`";
+    }
+    return `"${id.replace(/"/g, '""')}"`;
+}
+/** BigQuery table id may be `project.dataset.table` — quote each segment. */
+export function quoteBigQueryTableId(full) {
+    const parts = full.split(".").filter(Boolean);
+    if (parts.length === 0)
+        return "`invalid`";
+    return parts.map((p) => "`" + p.replace(/`/g, "``") + "`").join(".");
+}
+export function nextPlaceholderSqlRow(dialect, n) {
+    if (dialect === "postgresql")
+        return `$${n}`;
+    if (dialect === "bigquery")
+        return `@p${n}`;
+    return "?";
+}
+export function nextPlaceholderRelational(dialect, n) {
+    if (dialect === "postgresql")
+        return `$${n}`;
+    if (dialect === "mysql" || dialect === "sqlite")
+        return "?";
+    if (dialect === "mssql")
+        return `@p${n}`;
+    return "?";
+}
+//# sourceMappingURL=sqlDialect.js.map

package/dist/sqlDialect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sqlDialect.js","sourceRoot":"","sources":["../src/sqlDialect.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,UAAU,CAAC,OAA6C,EAAE,EAAU;IAClF,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;IAC5C,CAAC;IACD,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;QACxB,OAAO,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;IAC7C,CAAC;IACD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;QAC3B,8DAA8D;QAC9D,OAAO,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACvC,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,WAAW,CAAC;IAC3C,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAAsB,EAAE,CAAS;IACrE,IAAI,OAAO,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,EAAE,CAAC;IAC7C,IAAI,OAAO,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC,EAAE,CAAC;IAC5C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,OAA6B,EAAE,CAAS;IAChF,IAAI,OAAO,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,EAAE,CAAC;IAC7C,IAAI,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IAC5D,IAAI,OAAO,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,EAAE,CAAC;IACzC,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/standardVerifyWorkflowCli.d.ts

@@ -29,7 +29,12 @@ export declare const CLI_EXITED_AFTER_ERROR = "agentskeptic_cli_exited_after_err
  * On failure, writes CLI error, calls `io.exit(3)`, then throws `CLI_EXITED_AFTER_ERROR` if the process continues.
  */
 export declare function runStandardVerifyWorkflowCliToTerminalResult(options: {
-    runVerify: () => Promise<WorkflowResult>;
+    runVerify?: () => Promise<WorkflowResult>;
+    /** When set, used instead of `runVerify` + default contract certificate builder (e.g. LangGraph checkpoint trust). */
+    runVerifyWithCertificate?: () => Promise<{
+        workflowResult: WorkflowResult;
+        certificate: OutcomeCertificateV1;
+    }>;
     maybeWriteBundle?: (result: WorkflowResult) => void;
     /** When set, human stderr is deferred until after a successful POST to this origin. */
     shareReportOrigin?: string;

package/dist/standardVerifyWorkflowCli.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"standardVerifyWorkflowCli.d.ts","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAMA,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AAIjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEjD;;;;GAIG;AACH,wBAAsB,+BAA+B,CACnD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC,cAAc,CAAC,CAUzB;AAED,6GAA6G;AAC7G,wBAAsB,oCAAoC,CACxD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC;IAAE,cAAc,EAAE,cAAc,CAAC;IAAC,WAAW,EAAE,oBAAoB,CAAA;CAAE,CAAC,CAWhF;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAC9B,CAAC;AAEF;;GAEG;AACH,wBAAgB,+CAA+C,CAC7D,WAAW,EAAE,oBAAoB,EACjC,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAKN;AAED,qHAAqH;AACrH,wBAAgB,wCAAwC,CACtD,MAAM,EAAE,cAAc,EACtB,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAGN;AAcD,0FAA0F;AAC1F,eAAO,MAAM,sBAAsB,wCAAwC,CAAC;AAa5E;;;GAGG;AACH,wBAAsB,4CAA4C,CAAC,OAAO,EAAE;IAC1E,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,IAAI,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC;IAAE,WAAW,EAAE,oBAAoB,CAAC;IAAC,cAAc,EAAE,cAAc,CAAA;CAAE,CAAC,CA8DjF;AAED;;;GAGG;AACH,wBAAsB,gCAAgC,CAAC,OAAO,EAAE;IAC9D,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,IAAI,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC,IAAI,CAAC,CAShB"}
+{"version":3,"file":"standardVerifyWorkflowCli.d.ts","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAOA,OAAO,EAEL,KAAK,oBAAoB,EAC1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAKjD;;;;GAIG;AACH,wBAAsB,+BAA+B,CACnD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC,cAAc,CAAC,CAUzB;AAED,6GAA6G;AAC7G,wBAAsB,oCAAoC,CACxD,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GACvC,OAAO,CAAC;IAAE,cAAc,EAAE,cAAc,CAAC;IAAC,WAAW,EAAE,oBAAoB,CAAA;CAAE,CAAC,CAWhF;AAED,MAAM,MAAM,2BAA2B,GAAG;IACxC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,UAAU,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACnC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAC9B,CAAC;AAEF;;GAEG;AACH,wBAAgB,+CAA+C,CAC7D,WAAW,EAAE,oBAAoB,EACjC,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAKN;AAED,qHAAqH;AACrH,wBAAgB,wCAAwC,CACtD,MAAM,EAAE,cAAc,EACtB,EAAE,EAAE,IAAI,CAAC,2BAA2B,EAAE,YAAY,GAAG,MAAM,CAAC,GAC3D,IAAI,CAGN;AAcD,0FAA0F;AAC1F,eAAO,MAAM,sBAAsB,wCAAwC,CAAC;AAa5E;;;GAGG;AACH,wBAAsB,4CAA4C,CAAC,OAAO,EAAE;IAC1E,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IAC1C,sHAAsH;IACtH,wBAAwB,CAAC,EAAE,MAAM,OAAO,CAAC;QACvC,cAAc,EAAE,cAAc,CAAC;QAC/B,WAAW,EAAE,oBAAoB,CAAC;KACnC,CAAC,CAAC;IACH,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,IAAI,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC;IAAE,WAAW,EAAE,oBAAoB,CAAC;IAAC,cAAc,EAAE,cAAc,CAAA;CAAE,CAAC,CAuFjF;AAED;;;GAGG;AACH,wBAAsB,gCAAgC,CAAC,OAAO,EAAE;IAC9D,SAAS,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,cAAc,KAAK,IAAI,CAAC;IACpD,uFAAuF;IACvF,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,EAAE,CAAC,EAAE,OAAO,CAAC,2BAA2B,CAAC,CAAC;CAC3C,GAAG,OAAO,CAAC,IAAI,CAAC,CAShB"}

package/dist/standardVerifyWorkflowCli.js

@@ -1,4 +1,5 @@
 import { formatDistributionFooter } from "./distributionFooter.js";
+import { writeSync } from "node:fs";
 import { CLI_OPERATIONAL_CODES, cliErrorEnvelope, formatOperationalMessage, } from "./failureCatalog.js";
 import { buildOutcomeCertificateFromWorkflowResult, } from "./outcomeCertificate.js";
 import { loadSchemaValidator } from "./schemaLoad.js";
@@ -45,10 +46,10 @@ export function emitVerifyWorkflowCliJsonAndExitByStatus(result, io) {
 }
 const defaultIo = {
     consoleLog: (line) => {
-        console.log(line);
+        writeSync(1, `${line}\n`);
     },
     stderrLine: (line) => {
-        console.error(line);
+        writeSync(2, `${line}\n`);
     },
     exit: (code) => {
         process.exit(code);
@@ -73,9 +74,27 @@ export async function runStandardVerifyWorkflowCliToTerminalResult(options) {
     let certificate;
     let workflowResult;
     try {
-        const pair = await runBatchVerifyToValidatedCertificate(options.runVerify);
-        workflowResult = pair.workflowResult;
-        certificate = pair.certificate;
+        if (options.runVerifyWithCertificate) {
+            const pair = await options.runVerifyWithCertificate();
+            workflowResult = pair.workflowResult;
+            certificate = pair.certificate;
+            const validateWf = loadSchemaValidator("workflow-result");
+            if (!validateWf(workflowResult)) {
+                throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateWf.errors ?? []));
+            }
+            const validateCert = loadSchemaValidator("outcome-certificate-v1");
+            if (!validateCert(certificate)) {
+                throw new TruthLayerError(CLI_OPERATIONAL_CODES.WORKFLOW_RESULT_SCHEMA_INVALID, JSON.stringify(validateCert.errors ?? []));
+            }
+        }
+        else if (options.runVerify) {
+            const pair = await runBatchVerifyToValidatedCertificate(options.runVerify);
+            workflowResult = pair.workflowResult;
+            certificate = pair.certificate;
+        }
+        else {
+            throw new TruthLayerError(CLI_OPERATIONAL_CODES.INTERNAL_ERROR, formatOperationalMessage("runStandardVerifyWorkflowCliToTerminalResult: missing runVerify"));
+        }
     }
     catch (e) {
         if (e instanceof TruthLayerError) {

package/dist/standardVerifyWorkflowCli.js.map

@@ -1 +1 @@
-{"version":3,"file":"standardVerifyWorkflowCli.js","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAGvD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,SAAwC;IAExC,MAAM,MAAM,GAAG,MAAM,SAAS,EAAE,CAAC;IACjC,MAAM,cAAc,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6GAA6G;AAC7G,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,SAAwC;IAExC,MAAM,cAAc,GAAG,MAAM,+BAA+B,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,yCAAyC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAC9F,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC;AAQD;;GAEG;AACH,MAAM,UAAU,+CAA+C,CAC7D,WAAiC,EACjC,EAA4D;IAE5D,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3C,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACb,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,wCAAwC,CACtD,MAAsB,EACtB,EAA4D;IAE5D,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtF,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,SAAS,GAAgC;IAC7C,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACb,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF,CAAC;AAEF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,sBAAsB,GAAG,qCAAqC,CAAC;AAE5E,SAAS,cAAc,CACrB,EAA+B,EAC/B,aAAsD,EACtD,IAAY,EACZ,OAAe;IAEf,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACX,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,4CAA4C,CAAC,OAMlE;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,OAAe,EAAQ,EAAE;QAC5D,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC;IAEF,IAAI,WAAiC,CAAC;IACtC,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,oCAAoC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC3E,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;QACrC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;IACjC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,CAAC;YACH,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;gBACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,MAAM,EAAE;YAC1D,aAAa,EAAE,CAAC;YAChB,WAAW;SACZ,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,mBAAmB,EACzC,wBAAwB,CACtB,uBAAuB,MAAM,gBAAgB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,QAAQ,CAAC,WAAW,EAAE,CACtG,CACF,CAAC;QACJ,CAAC;QACD,EAAE,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,WAAW,KAAK,wBAAwB,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,OAMtD;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,IAAI,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,4CAA4C,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/F,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,sBAAsB;YAAE,OAAO;QACvE,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}
+{"version":3,"file":"standardVerifyWorkflowCli.js","sourceRoot":"","sources":["../src/standardVerifyWorkflowCli.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,OAAO,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AACpC,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,yCAAyC,GAE1C,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACtD,OAAO,EAAE,4BAA4B,EAAE,MAAM,+CAA+C,CAAC;AAC7F,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,+BAA+B,CACnD,SAAwC;IAExC,MAAM,MAAM,GAAG,MAAM,SAAS,EAAE,CAAC;IACjC,MAAM,cAAc,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IAC9D,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,MAAM,IAAI,EAAE,CAAC,CAC5C,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6GAA6G;AAC7G,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,SAAwC;IAExC,MAAM,cAAc,GAAG,MAAM,+BAA+B,CAAC,SAAS,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,yCAAyC,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAC9F,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC;AAQD;;GAEG;AACH,MAAM,UAAU,+CAA+C,CAC7D,WAAiC,EACjC,EAA4D;IAE5D,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;IAC3C,IAAI,WAAW,CAAC,aAAa,KAAK,sBAAsB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,IAAI,WAAW,CAAC,aAAa,KAAK,gBAAgB;QAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACb,CAAC;AAED,qHAAqH;AACrH,MAAM,UAAU,wCAAwC,CACtD,MAAsB,EACtB,EAA4D;IAE5D,MAAM,WAAW,GAAG,yCAAyC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACtF,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AACnE,CAAC;AAED,MAAM,SAAS,GAAgC;IAC7C,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE;QACnB,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;IAC5B,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE;QACb,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;CACF,CAAC;AAEF,0FAA0F;AAC1F,MAAM,CAAC,MAAM,sBAAsB,GAAG,qCAAqC,CAAC;AAE5E,SAAS,cAAc,CACrB,EAA+B,EAC/B,aAAsD,EACtD,IAAY,EACZ,OAAe;IAEf,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC7B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACX,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,4CAA4C,CAAC,OAWlE;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,OAAe,EAAQ,EAAE;QAC5D,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC;IAEF,IAAI,WAAiC,CAAC;IACtC,IAAI,cAA8B,CAAC;IACnC,IAAI,CAAC;QACH,IAAI,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,wBAAwB,EAAE,CAAC;YACtD,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACrC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;YAC/B,MAAM,UAAU,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;YAC1D,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CACxC,CAAC;YACJ,CAAC;YACD,MAAM,YAAY,GAAG,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;YACnE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,8BAA8B,EACpD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,IAAI,EAAE,CAAC,CAC1C,CAAC;YACJ,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,oCAAoC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAC3E,cAAc,GAAG,IAAI,CAAC,cAAc,CAAC;YACrC,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QACjC,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,eAAe,CACvB,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,iEAAiE,CAAC,CAC5F,CAAC;QACJ,CAAC;IACH,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;YACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;QAC3C,IAAI,CAAC;YACH,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;QAC3C,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,eAAe,EAAE,CAAC;gBACjC,cAAc,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACvD,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,cAAc,EACpC,wBAAwB,CAAC,GAAG,CAAC,CAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,MAAM,4BAA4B,CAAC,MAAM,EAAE;YAC1D,aAAa,EAAE,CAAC;YAChB,WAAW;SACZ,CAAC,CAAC;QACH,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,cAAc,CACZ,EAAE,EACF,aAAa,EACb,qBAAqB,CAAC,mBAAmB,EACzC,wBAAwB,CACtB,uBAAuB,MAAM,gBAAgB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,QAAQ,CAAC,WAAW,EAAE,CACtG,CACF,CAAC;QACJ,CAAC;QACD,EAAE,CAAC,UAAU,CAAC,GAAG,WAAW,CAAC,WAAW,KAAK,wBAAwB,EAAE,EAAE,CAAC,CAAC;IAC7E,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,OAMtD;IACC,MAAM,EAAE,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC;IAC3C,IAAI,CAAC;QACH,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,4CAA4C,CAAC,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/F,+CAA+C,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IACnE,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,OAAO,KAAK,sBAAsB;YAAE,OAAO;QACvE,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC"}

package/dist/stateWitness.d.ts

@@ -0,0 +1,4 @@
+import type { ReconcileOutput } from "./reconciler.js";
+import type { StateWitnessRequest } from "./types.js";
+export declare function reconcileStateWitness(req: StateWitnessRequest): Promise<ReconcileOutput>;
+//# sourceMappingURL=stateWitness.d.ts.map

package/dist/stateWitness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stateWitness.d.ts","sourceRoot":"","sources":["../src/stateWitness.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAIV,mBAAmB,EAGpB,MAAM,YAAY,CAAC;AA+XpB,wBAAsB,qBAAqB,CAAC,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,eAAe,CAAC,CAa9F"}

package/dist/stateWitness.js

@@ -0,0 +1,383 @@
+import { createHash } from "node:crypto";
+import { GetObjectCommand, HeadObjectCommand, S3Client } from "@aws-sdk/client-s3";
+import { MongoClient } from "mongodb";
+import { getPointer } from "./jsonPointer.js";
+import { verificationScalarsEqual } from "./valueVerification.js";
+import { SQL_VERIFICATION_OUTCOME_CODE } from "./wireReasonCodes.js";
+const S3_DEADLINE_MS = 1900;
+const MAX_S3_BODY_HASH_BYTES = 10 * 1024 * 1024;
+function setupError(msg) {
+    return {
+        status: "incomplete_verification",
+        reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_SETUP_ERROR, message: msg }],
+        evidenceSummary: {},
+    };
+}
+async function fetchWithDeadline(url, init, deadlineMs) {
+    const ac = new AbortController();
+    const t = setTimeout(() => ac.abort(), deadlineMs);
+    try {
+        return await fetch(url, { ...init, signal: ac.signal });
+    }
+    finally {
+        clearTimeout(t);
+    }
+}
+function isAbsoluteHttpOrHttps(s) {
+    try {
+        const { protocol } = new URL(s);
+        return protocol === "http:" || protocol === "https:";
+    }
+    catch {
+        return false;
+    }
+}
+function vectorProviderBaseFromHost(host) {
+    const t = host.trim();
+    if (isAbsoluteHttpOrHttps(t)) {
+        return t;
+    }
+    return `https://${t}`;
+}
+async function reconcileVectorDocument(req) {
+    if (req.expectPayloadSha256) {
+        return setupError("vector_document: expectPayloadSha256 is not supported yet; use metadataEq");
+    }
+    const host = req.host ??
+        (req.provider === "pinecone"
+            ? process.env.PINECONE_INDEX_HOST
+            : req.provider === "weaviate"
+                ? process.env.WEAVIATE_HOST
+                : process.env.CHROMA_HOST);
+    if (!host || host.length === 0) {
+        return setupError(`vector_document (${req.provider}): missing host in registry or env (PINECONE_INDEX_HOST / WEAVIATE_HOST / CHROMA_HOST)`);
+    }
+    const apiKey = req.provider === "pinecone"
+        ? process.env.PINECONE_API_KEY
+        : req.provider === "weaviate"
+            ? process.env.WEAVIATE_API_KEY
+            : process.env.CHROMA_TENANT_AUTH_TOKEN ?? process.env.CHROMA_API_KEY;
+    if (!apiKey) {
+        return setupError(`vector_document (${req.provider}): missing API key env`);
+    }
+    const base = vectorProviderBaseFromHost(host);
+    try {
+        if (req.provider === "pinecone") {
+            const r = await fetchWithDeadline(`${base.replace(/\/$/, "")}/vectors/fetch`, {
+                method: "POST",
+                headers: { "Content-Type": "application/json", "Api-Key": apiKey },
+                body: JSON.stringify({
+                    ids: [req.documentId],
+                    ...(req.namespace !== undefined && req.namespace.length > 0 ? { namespace: req.namespace } : {}),
+                }),
+            }, 8000);
+            if (!r.ok) {
+                return {
+                    status: "incomplete_verification",
+                    reasons: [
+                        {
+                            code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_PROVIDER_ERROR,
+                            message: `Pinecone fetch HTTP ${r.status}`,
+                        },
+                    ],
+                    evidenceSummary: { httpStatus: r.status },
+                };
+            }
+            const body = (await r.json());
+            const vec = body.vectors?.[req.documentId];
+            if (!vec) {
+                return {
+                    status: "missing",
+                    reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_NOT_FOUND, message: "Vector id not found in index" }],
+                    evidenceSummary: { provider: req.provider },
+                };
+            }
+            if (req.metadataSubset) {
+                for (const [k, exp] of Object.entries(req.metadataSubset)) {
+                    const act = vec.metadata?.[k];
+                    const cmp = verificationScalarsEqual(exp, act);
+                    if (!cmp.ok) {
+                        return {
+                            status: "inconsistent",
+                            reasons: [
+                                {
+                                    code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_METADATA_MISMATCH,
+                                    message: `metadata.${k}: expected ${cmp.expected} found ${cmp.actual}`,
+                                },
+                            ],
+                            evidenceSummary: { field: k },
+                        };
+                    }
+                }
+            }
+            return { status: "verified", reasons: [], evidenceSummary: { provider: req.provider, vector: true } };
+        }
+        if (req.provider === "weaviate") {
+            const cls = encodeURIComponent(req.indexName);
+            const id = encodeURIComponent(req.documentId);
+            const r = await fetchWithDeadline(`${base.replace(/\/$/, "")}/v1/objects/${cls}/${id}`, { headers: { Authorization: `Bearer ${apiKey}` } }, 8000);
+            if (r.status === 404) {
+                return {
+                    status: "missing",
+                    reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_NOT_FOUND, message: "Weaviate object not found" }],
+                    evidenceSummary: {},
+                };
+            }
+            if (!r.ok) {
+                return {
+                    status: "incomplete_verification",
+                    reasons: [
+                        { code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_PROVIDER_ERROR, message: `Weaviate HTTP ${r.status}` },
+                    ],
+                    evidenceSummary: { httpStatus: r.status },
+                };
+            }
+            return { status: "verified", reasons: [], evidenceSummary: { provider: "weaviate" } };
+        }
+        const coll = encodeURIComponent(req.indexName);
+        const r = await fetchWithDeadline(`${base.replace(/\/$/, "")}/api/v1/collections/${coll}/get`, {
+            method: "POST",
+            headers: { "Content-Type": "application/json", ...(apiKey ? { Authorization: `Bearer ${apiKey}` } : {}) },
+            body: JSON.stringify({ ids: [req.documentId] }),
+        }, 8000);
+        if (!r.ok) {
+            return {
+                status: "incomplete_verification",
+                reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_PROVIDER_ERROR, message: `Chroma HTTP ${r.status}` }],
+                evidenceSummary: { httpStatus: r.status },
+            };
+        }
+        const body = (await r.json());
+        if (!body.ids?.includes(req.documentId)) {
+            return {
+                status: "missing",
+                reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_NOT_FOUND, message: "Chroma id not returned" }],
+                evidenceSummary: {},
+            };
+        }
+        return { status: "verified", reasons: [], evidenceSummary: { provider: "chroma" } };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.VECTOR_PROVIDER_ERROR, message: msg }],
+            evidenceSummary: { error: true },
+        };
+    }
+}
+async function reconcileObjectStorage(req) {
+    const region = process.env.AWS_REGION ?? "us-east-1";
+    const client = new S3Client({
+        region,
+        ...(req.endpoint ? { endpoint: req.endpoint, forcePathStyle: true } : {}),
+    });
+    const started = Date.now();
+    try {
+        const head = await Promise.race([
+            client.send(new HeadObjectCommand({ Bucket: req.bucket, Key: req.key })),
+            new Promise((_, rej) => setTimeout(() => rej(new Error("S3 head timeout")), S3_DEADLINE_MS)),
+        ]);
+        const contentLength = Number(head.ContentLength ?? 0);
+        if (req.expectSizeBytes !== undefined && contentLength !== req.expectSizeBytes) {
+            return {
+                status: "inconsistent",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_SIZE_MISMATCH,
+                        message: `Expected size ${req.expectSizeBytes} but Content-Length is ${contentLength}`,
+                    },
+                ],
+                evidenceSummary: { contentLength },
+            };
+        }
+        if (req.expectEtag !== undefined && head.ETag && head.ETag.replaceAll('"', "") !== req.expectEtag.replaceAll('"', "")) {
+            return {
+                status: "inconsistent",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_DIGEST_MISMATCH,
+                        message: "ETag mismatch",
+                    },
+                ],
+                evidenceSummary: {},
+            };
+        }
+        if (req.expectSha256 !== undefined) {
+            if (contentLength > MAX_S3_BODY_HASH_BYTES) {
+                return {
+                    status: "inconsistent",
+                    reasons: [
+                        {
+                            code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_TOO_LARGE_FOR_HASH,
+                            message: `Object size ${contentLength} exceeds hash cap ${MAX_S3_BODY_HASH_BYTES}`,
+                        },
+                    ],
+                    evidenceSummary: { contentLength },
+                };
+            }
+            const get = await client.send(new GetObjectCommand({ Bucket: req.bucket, Key: req.key }));
+            const body = get.Body;
+            if (!body || typeof body.transformToByteArray !== "function") {
+                return setupError("S3 GetObject body missing or unsupported runtime");
+            }
+            const bytes = await body.transformToByteArray();
+            const hex = createHash("sha256").update(Buffer.from(bytes)).digest("hex");
+            if (hex !== req.expectSha256.toLowerCase()) {
+                return {
+                    status: "inconsistent",
+                    reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_DIGEST_MISMATCH, message: "SHA-256 mismatch" }],
+                    evidenceSummary: {},
+                };
+            }
+        }
+        return {
+            status: "verified",
+            reasons: [],
+            evidenceSummary: { s3: true, elapsedMs: Date.now() - started },
+        };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        if (String(msg).includes("NotFound") || String(msg).includes("404")) {
+            return {
+                status: "missing",
+                reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.OBJECT_MISSING, message: "S3 object not found" }],
+                evidenceSummary: {},
+            };
+        }
+        return {
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_SETUP_ERROR, message: msg }],
+            evidenceSummary: {},
+        };
+    }
+}
+async function reconcileHttpWitness(req) {
+    try {
+        const r = await fetchWithDeadline(req.url, { method: req.method, headers: { Accept: "application/json" } }, 8000);
+        if (r.status !== req.expectedStatus) {
+            return {
+                status: "inconsistent",
+                reasons: [
+                    {
+                        code: SQL_VERIFICATION_OUTCOME_CODE.HTTP_WITNESS_STATUS_MISMATCH,
+                        message: `HTTP status ${r.status}, expected ${req.expectedStatus}`,
+                    },
+                ],
+                evidenceSummary: { httpStatus: r.status },
+            };
+        }
+        const text = await r.text();
+        let parsed;
+        try {
+            parsed = JSON.parse(text);
+        }
+        catch {
+            parsed = text;
+        }
+        if (req.assertions && req.assertions.length > 0) {
+            if (typeof parsed !== "object" || parsed === null) {
+                return {
+                    status: "inconsistent",
+                    reasons: [
+                        {
+                            code: SQL_VERIFICATION_OUTCOME_CODE.HTTP_WITNESS_ASSERTION_MISMATCH,
+                            message: "Response is not a JSON object; cannot apply assertions",
+                        },
+                    ],
+                    evidenceSummary: {},
+                };
+            }
+            const o = parsed;
+            for (const a of req.assertions) {
+                const ptr = a.jsonPointer.startsWith("/") ? a.jsonPointer : `/${a.jsonPointer}`;
+                const act = getPointer(o, ptr);
+                const cmp = verificationScalarsEqual(a.value, act);
+                if (!cmp.ok) {
+                    return {
+                        status: "inconsistent",
+                        reasons: [
+                            {
+                                code: SQL_VERIFICATION_OUTCOME_CODE.HTTP_WITNESS_ASSERTION_MISMATCH,
+                                message: `Assertion ${ptr}: expected ${cmp.expected} found ${cmp.actual}`,
+                            },
+                        ],
+                        evidenceSummary: { jsonPointer: ptr },
+                    };
+                }
+            }
+        }
+        return { status: "verified", reasons: [], evidenceSummary: { http: true } };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.HTTP_WITNESS_NETWORK_ERROR, message: msg }],
+            evidenceSummary: {},
+        };
+    }
+}
+async function reconcileMongo(req) {
+    const uri = process.env.AGENTSKEPTIC_MONGO_URL ?? process.env.MONGODB_URI;
+    if (!uri) {
+        return setupError("mongo_document: set AGENTSKEPTIC_MONGO_URL or MONGODB_URI");
+    }
+    const client = new MongoClient(uri);
+    try {
+        await client.connect();
+        const doc = await client.db().collection(req.collection).findOne(req.filter);
+        if (!doc) {
+            return {
+                status: "missing",
+                reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.MONGO_DOCUMENT_MISSING, message: "No document matched filter" }],
+                evidenceSummary: {},
+            };
+        }
+        const plain = doc;
+        for (const [k, exp] of Object.entries(req.requiredFields)) {
+            const act = plain[k];
+            const cmp = verificationScalarsEqual(exp, act);
+            if (!cmp.ok) {
+                return {
+                    status: "inconsistent",
+                    reasons: [
+                        {
+                            code: SQL_VERIFICATION_OUTCOME_CODE.MONGO_VALUE_MISMATCH,
+                            message: `${k}: expected ${cmp.expected} found ${cmp.actual}`,
+                        },
+                    ],
+                    evidenceSummary: { field: k },
+                };
+            }
+        }
+        return { status: "verified", reasons: [], evidenceSummary: { mongo: true } };
+    }
+    catch (e) {
+        const msg = e instanceof Error ? e.message : String(e);
+        return {
+            status: "incomplete_verification",
+            reasons: [{ code: SQL_VERIFICATION_OUTCOME_CODE.STATE_WITNESS_SETUP_ERROR, message: msg }],
+            evidenceSummary: {},
+        };
+    }
+    finally {
+        await client.close().catch(() => { });
+    }
+}
+export async function reconcileStateWitness(req) {
+    switch (req.kind) {
+        case "vector_document":
+            return reconcileVectorDocument(req);
+        case "object_storage_object":
+            return reconcileObjectStorage(req);
+        case "http_witness":
+            return reconcileHttpWitness(req);
+        case "mongo_document":
+            return reconcileMongo(req);
+        default:
+            return setupError("unknown state witness kind");
+    }
+}
+//# sourceMappingURL=stateWitness.js.map

package/dist/stateWitness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stateWitness.js","sourceRoot":"","sources":["../src/stateWitness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnF,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAU9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,6BAA6B,EAAE,MAAM,sBAAsB,CAAC;AAErE,MAAM,cAAc,GAAG,IAAI,CAAC;AAC5B,MAAM,sBAAsB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAEhD,SAAS,UAAU,CAAC,GAAW;IAC7B,OAAO;QACL,MAAM,EAAE,yBAAyB;QACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC1F,eAAe,EAAE,EAAE;KACpB,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,GAAW,EAAE,IAAiB,EAAE,UAAkB;IACjF,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAC;IACjC,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,UAAU,CAAC,CAAC;IACnD,IAAI,CAAC;QACH,OAAO,MAAM,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,CAAC;YAAS,CAAC;QACT,YAAY,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,CAAS;IACtC,IAAI,CAAC;QACH,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,OAAO,QAAQ,KAAK,OAAO,IAAI,QAAQ,KAAK,QAAQ,CAAC;IACvD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAY;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,IAAI,qBAAqB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7B,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,WAAW,CAAC,EAAE,CAAC;AACxB,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,GAAsC;IAC3E,IAAI,GAAG,CAAC,mBAAmB,EAAE,CAAC;QAC5B,OAAO,UAAU,CAAC,2EAA2E,CAAC,CAAC;IACjG,CAAC;IACD,MAAM,IAAI,GACR,GAAG,CAAC,IAAI;QACR,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;YAC1B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB;YACjC,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;gBAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa;gBAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACjC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO,UAAU,CACf,oBAAoB,GAAG,CAAC,QAAQ,wFAAwF,CACzH,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GACV,GAAG,CAAC,QAAQ,KAAK,UAAU;QACzB,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB;QAC9B,CAAC,CAAC,GAAG,CAAC,QAAQ,KAAK,UAAU;YAC3B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB;YAC9B,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,wBAAwB,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC;IAC3E,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,UAAU,CAAC,oBAAoB,GAAG,CAAC,QAAQ,wBAAwB,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,IAAI,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,EAC1C;gBACE,MAAM,EAAE,MAAM;gBACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,SAAS,EAAE,MAAM,EAAE;gBAClE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;oBACnB,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;oBACrB,GAAG,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBACjG,CAAC;aACH,EACD,IAAI,CACL,CAAC;YACF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,OAAO;oBACL,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB;4BACzD,OAAO,EAAE,uBAAuB,CAAC,CAAC,MAAM,EAAE;yBAC3C;qBACF;oBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;iBAC1C,CAAC;YACJ,CAAC;YACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAyE,CAAC;YACtG,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC3C,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,8BAA8B,EAAE,CAAC;oBAC5G,eAAe,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE;iBAC5C,CAAC;YACJ,CAAC;YACD,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;gBACvB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;oBAC1D,MAAM,GAAG,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC9B,MAAM,GAAG,GAAG,wBAAwB,CAAC,GAAG,EAAE,GAAyB,CAAC,CAAC;oBACrE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;wBACZ,OAAO;4BACL,MAAM,EAAE,cAAc;4BACtB,OAAO,EAAE;gCACP;oCACE,IAAI,EAAE,6BAA6B,CAAC,wBAAwB;oCAC5D,OAAO,EAAE,YAAY,CAAC,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;iCACvE;6BACF;4BACD,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;yBAC9B,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QACxG,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC9C,MAAM,EAAE,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,GAAG,IAAI,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;YAClJ,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;gBACrB,OAAO;oBACL,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC;oBACzG,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBACV,OAAO;oBACL,MAAM,EAAE,yBAAyB;oBACjC,OAAO,EAAE;wBACP,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAC,MAAM,EAAE,EAAE;qBACpG;oBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;iBAC1C,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC;QACxF,CAAC;QACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,IAAI,MAAM,EAC3D;YACE,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,UAAU,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;YACzG,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;SAChD,EACD,IAAI,CACL,CAAC;QACF,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YACV,OAAO;gBACL,MAAM,EAAE,yBAAyB;gBACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC5G,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;aAC1C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAuB,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,gBAAgB,EAAE,OAAO,EAAE,wBAAwB,EAAE,CAAC;gBACtG,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,CAAC;IACtF,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,qBAAqB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACtF,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;SACjC,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,GAAqC;IACzE,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,IAAI,WAAW,CAAC;IACrD,MAAM,MAAM,GAAG,IAAI,QAAQ,CAAC;QAC1B,MAAM;QACN,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1E,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;YACxE,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;SACpG,CAAC,CAAC;QACH,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,CAAC;QACtD,IAAI,GAAG,CAAC,eAAe,KAAK,SAAS,IAAI,aAAa,KAAK,GAAG,CAAC,eAAe,EAAE,CAAC;YAC/E,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,oBAAoB;wBACxD,OAAO,EAAE,iBAAiB,GAAG,CAAC,eAAe,0BAA0B,aAAa,EAAE;qBACvF;iBACF;gBACD,eAAe,EAAE,EAAE,aAAa,EAAE;aACnC,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;YACtH,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,sBAAsB;wBAC1D,OAAO,EAAE,eAAe;qBACzB;iBACF;gBACD,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACnC,IAAI,aAAa,GAAG,sBAAsB,EAAE,CAAC;gBAC3C,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB;4BAC7D,OAAO,EAAE,eAAe,aAAa,qBAAqB,sBAAsB,EAAE;yBACnF;qBACF;oBACD,eAAe,EAAE,EAAE,aAAa,EAAE;iBACnC,CAAC;YACJ,CAAC;YACD,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1F,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC;YACtB,IAAI,CAAC,IAAI,IAAI,OAAQ,IAA6D,CAAC,oBAAoB,KAAK,UAAU,EAAE,CAAC;gBACvH,OAAO,UAAU,CAAC,kDAAkD,CAAC,CAAC;YACxE,CAAC;YACD,MAAM,KAAK,GAAG,MAAO,IAA4D,CAAC,oBAAoB,EAAE,CAAC;YACzG,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1E,IAAI,GAAG,KAAK,GAAG,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,CAAC;gBAC3C,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,EAAE,kBAAkB,EAAE,CAAC;oBACtG,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,OAAO,EAAE,EAAE;YACX,eAAe,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,EAAE;SAC/D,CAAC;IACJ,CAAC;IAAC,OAAO,CAAU,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,cAAc,EAAE,OAAO,EAAE,qBAAqB,EAAE,CAAC;gBACjG,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1F,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,GAAmC;IACrE,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,iBAAiB,CAC/B,GAAG,CAAC,GAAG,EACP,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,kBAAkB,EAAE,EAAE,EAC/D,IAAI,CACL,CAAC;QACF,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG,CAAC,cAAc,EAAE,CAAC;YACpC,OAAO;gBACL,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE;oBACP;wBACE,IAAI,EAAE,6BAA6B,CAAC,4BAA4B;wBAChE,OAAO,EAAE,eAAe,CAAC,CAAC,MAAM,cAAc,GAAG,CAAC,cAAc,EAAE;qBACnE;iBACF;gBACD,eAAe,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;aAC1C,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,IAAI,CAAC;QAChB,CAAC;QACD,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;4BACnE,OAAO,EAAE,wDAAwD;yBAClE;qBACF;oBACD,eAAe,EAAE,EAAE;iBACpB,CAAC;YACJ,CAAC;YACD,MAAM,CAAC,GAAG,MAAiC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,UAAU,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;gBAChF,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBAC/B,MAAM,GAAG,GAAG,wBAAwB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAyB,CAAC,CAAC;gBACzE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;oBACZ,OAAO;wBACL,MAAM,EAAE,cAAc;wBACtB,OAAO,EAAE;4BACP;gCACE,IAAI,EAAE,6BAA6B,CAAC,+BAA+B;gCACnE,OAAO,EAAE,aAAa,GAAG,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;6BAC1E;yBACF;wBACD,eAAe,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE;qBACtC,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;IAC9E,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,0BAA0B,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC3F,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,cAAc,CAAC,GAAqC;IACjE,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,sBAAsB,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;IAC1E,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,UAAU,CAAC,2DAA2D,CAAC,CAAC;IACjF,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,OAAO,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC7E,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO;gBACL,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;gBAChH,eAAe,EAAE,EAAE;aACpB,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,GAA8B,CAAC;QAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,CAAC;YAC1D,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,MAAM,GAAG,GAAG,wBAAwB,CAAC,GAAG,EAAE,GAAyB,CAAC,CAAC;YACrE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC;gBACZ,OAAO;oBACL,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,6BAA6B,CAAC,oBAAoB;4BACxD,OAAO,EAAE,GAAG,CAAC,cAAc,GAAG,CAAC,QAAQ,UAAU,GAAG,CAAC,MAAM,EAAE;yBAC9D;qBACF;oBACD,eAAe,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE;iBAC9B,CAAC;YACJ,CAAC;QACH,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC;IAC/E,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,GAAG,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO;YACL,MAAM,EAAE,yBAAyB;YACjC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,6BAA6B,CAAC,yBAAyB,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1F,eAAe,EAAE,EAAE;SACpB,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACvC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,qBAAqB,CAAC,GAAwB;IAClE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,iBAAiB;YACpB,OAAO,uBAAuB,CAAC,GAAG,CAAC,CAAC;QACtC,KAAK,uBAAuB;YAC1B,OAAO,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,cAAc;YACjB,OAAO,oBAAoB,CAAC,GAAG,CAAC,CAAC;QACnC,KAAK,gBAAgB;YACnB,OAAO,cAAc,CAAC,GAAG,CAAC,CAAC;QAC7B;YACE,OAAO,UAAU,CAAC,4BAA4B,CAAC,CAAC;IACpD,CAAC;AACH,CAAC"}

package/dist/stateWitness.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=stateWitness.test.d.ts.map

package/dist/stateWitness.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stateWitness.test.d.ts","sourceRoot":"","sources":["../src/stateWitness.test.ts"],"names":[],"mappings":""}