@actuarial-ts/interchange 0.2.0

package/dist/schemas/crosscheck.d.ts

@@ -0,0 +1,3567 @@
+import { z } from "zod";
+/**
+ * CrosscheckReportDoc (spec 3.2 / 5) — the referee's output: engines
+ * compared (with versions and profiles), the appliesTo tags matched,
+ * requested and effective parameter sets, per-origin and total relative
+ * deviations, the tolerance applied, and the verdict.
+ *
+ * Verdicts:
+ * - `agree` / `disagree`: independent recomputations inside/outside the
+ *   tolerance.
+ * - `not-comparable`: the inputs do not describe the same computation
+ *   (mismatched appliesTo tags, differing convention profiles, differing
+ *   origin sets, or a failed injection on either shore).
+ * - `verified-by-value`: the results match but the selection was
+ *   value-only, so no independent recomputation occurred — disclosure
+ *   renders it distinctly so nothing overstates what was checked.
+ */
+export declare const CROSSCHECK_VERDICTS: readonly ["agree", "disagree", "not-comparable", "verified-by-value"];
+export type CrosscheckVerdict = (typeof CROSSCHECK_VERDICTS)[number];
+/** Relative deviations per metric; null = not compared (metric absent on a side). */
+export declare const deviationCellSchema: z.ZodObject<{
+    ultimate: z.ZodNullable<z.ZodNumber>;
+    unpaid: z.ZodNullable<z.ZodNumber>;
+    standardError: z.ZodNullable<z.ZodNumber>;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    ultimate: z.ZodNullable<z.ZodNumber>;
+    unpaid: z.ZodNullable<z.ZodNumber>;
+    standardError: z.ZodNullable<z.ZodNumber>;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    ultimate: z.ZodNullable<z.ZodNumber>;
+    unpaid: z.ZodNullable<z.ZodNumber>;
+    standardError: z.ZodNullable<z.ZodNumber>;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const originDeviationSchema: z.ZodObject<{
+    ultimate: z.ZodNullable<z.ZodNumber>;
+    unpaid: z.ZodNullable<z.ZodNumber>;
+    standardError: z.ZodNullable<z.ZodNumber>;
+} & {
+    origin: z.ZodString;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    ultimate: z.ZodNullable<z.ZodNumber>;
+    unpaid: z.ZodNullable<z.ZodNumber>;
+    standardError: z.ZodNullable<z.ZodNumber>;
+} & {
+    origin: z.ZodString;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    ultimate: z.ZodNullable<z.ZodNumber>;
+    unpaid: z.ZodNullable<z.ZodNumber>;
+    standardError: z.ZodNullable<z.ZodNumber>;
+} & {
+    origin: z.ZodString;
+}, z.ZodTypeAny, "passthrough">>;
+export declare const crosscheckBodySchema: z.ZodObject<{
+    engines: z.ZodObject<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    /** The matched tags; null when the inputs' tags did not match. */
+    appliesTo: z.ZodNullable<z.ZodObject<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+    parameters: z.ZodObject<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    tolerance: z.ZodObject<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">>;
+    deviations: z.ZodObject<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+    warnings: z.ZodArray<z.ZodString, "many">;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    engines: z.ZodObject<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    /** The matched tags; null when the inputs' tags did not match. */
+    appliesTo: z.ZodNullable<z.ZodObject<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+    parameters: z.ZodObject<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    tolerance: z.ZodObject<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">>;
+    deviations: z.ZodObject<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+    warnings: z.ZodArray<z.ZodString, "many">;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    engines: z.ZodObject<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        a: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            name: z.ZodString;
+            version: z.ZodString;
+        } & {
+            conventionProfile: z.ZodOptional<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    /** The matched tags; null when the inputs' tags did not match. */
+    appliesTo: z.ZodNullable<z.ZodObject<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        triangleIntegrity: z.ZodString;
+        selectionIntegrity: z.ZodNullable<z.ZodString>;
+    }, z.ZodTypeAny, "passthrough">>>;
+    parameters: z.ZodObject<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        a: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+        b: z.ZodObject<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+            effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    tolerance: z.ZodObject<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        central: z.ZodNumber;
+        standardError: z.ZodNullable<z.ZodNumber>;
+    }, z.ZodTypeAny, "passthrough">>;
+    deviations: z.ZodObject<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        perOrigin: z.ZodArray<z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        } & {
+            origin: z.ZodString;
+        }, z.ZodTypeAny, "passthrough">>, "many">;
+        totals: z.ZodObject<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            ultimate: z.ZodNullable<z.ZodNumber>;
+            unpaid: z.ZodNullable<z.ZodNumber>;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+    }, z.ZodTypeAny, "passthrough">>;
+    verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+    warnings: z.ZodArray<z.ZodString, "many">;
+}, z.ZodTypeAny, "passthrough">>;
+export type CrosscheckBody = z.infer<typeof crosscheckBodySchema>;
+export declare const crosscheckReportDocSchema: z.ZodObject<{
+    /** Semantic body key per spec rev 2.1: `report` (the head-noun rule). */
+    report: z.ZodObject<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    interchangeVersion: z.ZodString;
+    kind: z.ZodLiteral<"crosscheck-report">;
+    generator: z.ZodObject<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>;
+    createdAt: z.ZodString;
+    extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    integrity: z.ZodString;
+}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+    /** Semantic body key per spec rev 2.1: `report` (the head-noun rule). */
+    report: z.ZodObject<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    interchangeVersion: z.ZodString;
+    kind: z.ZodLiteral<"crosscheck-report">;
+    generator: z.ZodObject<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>;
+    createdAt: z.ZodString;
+    extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    integrity: z.ZodString;
+}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+    /** Semantic body key per spec rev 2.1: `report` (the head-noun rule). */
+    report: z.ZodObject<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        engines: z.ZodObject<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                name: z.ZodString;
+                version: z.ZodString;
+            } & {
+                conventionProfile: z.ZodOptional<z.ZodString>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        /** The matched tags; null when the inputs' tags did not match. */
+        appliesTo: z.ZodNullable<z.ZodObject<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            triangleIntegrity: z.ZodString;
+            selectionIntegrity: z.ZodNullable<z.ZodString>;
+        }, z.ZodTypeAny, "passthrough">>>;
+        parameters: z.ZodObject<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            a: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+            b: z.ZodObject<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                requested: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                effective: z.ZodNullable<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        tolerance: z.ZodObject<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            central: z.ZodNumber;
+            standardError: z.ZodNullable<z.ZodNumber>;
+        }, z.ZodTypeAny, "passthrough">>;
+        deviations: z.ZodObject<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+            perOrigin: z.ZodArray<z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            } & {
+                origin: z.ZodString;
+            }, z.ZodTypeAny, "passthrough">>, "many">;
+            totals: z.ZodObject<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+                ultimate: z.ZodNullable<z.ZodNumber>;
+                unpaid: z.ZodNullable<z.ZodNumber>;
+                standardError: z.ZodNullable<z.ZodNumber>;
+            }, z.ZodTypeAny, "passthrough">>;
+        }, z.ZodTypeAny, "passthrough">>;
+        verdict: z.ZodEnum<["agree", "disagree", "not-comparable", "verified-by-value"]>;
+        warnings: z.ZodArray<z.ZodString, "many">;
+    }, z.ZodTypeAny, "passthrough">>;
+    interchangeVersion: z.ZodString;
+    kind: z.ZodLiteral<"crosscheck-report">;
+    generator: z.ZodObject<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
+        name: z.ZodString;
+        version: z.ZodString;
+    }, z.ZodTypeAny, "passthrough">>;
+    createdAt: z.ZodString;
+    extensions: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    integrity: z.ZodString;
+}, z.ZodTypeAny, "passthrough">>;
+export type CrosscheckReportDoc = z.infer<typeof crosscheckReportDocSchema>;
+//# sourceMappingURL=crosscheck.d.ts.map