@actuarial-ts/interchange 0.5.0 → 0.6.1

package/dist/schemas/triangle.js.map

@@ -1 +1 @@
-{"version":3,"file":"triangle.js","sourceRoot":"","sources":["../../src/schemas/triangle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;;;;;;;;;;GAYG;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,MAAM;IACN,UAAU;IACV,aAAa;IACb,eAAe;IACf,WAAW;IACX,aAAa;IACb,oBAAoB;CACZ,CAAC;AAIX,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC;IACnC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,aAAa,EAAE,eAAe,CAAC,CAAC;IAC3C,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,aAAa,EAAE,wDAAwD,CAAC;CAC1F,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC9C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACb,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;CACb,CAAC,CAAC;AAIH,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,qBAAqB,EAAE,iCAAiC,CAAC,CAAC;AAEjG,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;KAC1D,WAAW,EAAE,CAAC;AAEjB,sCAAsC;AACtC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;KAC1F,WAAW,EAAE,CAAC;AAEjB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,OAAO,EAAE,aAAa;IACtB,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;IACvB,kBAAkB,EAAE,wBAAwB;IAC5C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,0EAA0E;IAC1E,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnE,SAAS,EAAE,eAAe,CAAC,QAAQ,EAAE;IACrC,aAAa,EAAE,aAAa;IAC5B,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC7C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KACpC,CAAC;SACD,WAAW,EAAE;SACb,QAAQ,EAAE;IACb,KAAK,EAAE,CAAC;SACL,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;SACpF,WAAW,EAAE;SACb,QAAQ,EAAE;IACb,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;CAC7E,CAAC;KACD,WAAW,EAAE;KACb,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACzB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC9D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,6DAA6D;SACvE,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC/C,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,cAAc,IAAI,CAAC,MAAM,CAAC,MAAM,2BAA2B,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;gBACzF,IAAI,EAAE,CAAC,QAAQ,CAAC;aACjB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC7B,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC1C,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;oBAC3B,OAAO,EAAE,UAAU,CAAC,SAAS,GAAG,CAAC,MAAM,iCAAiC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;oBAChG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,CAAC;YACnD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,uCAAuC;gBAChD,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;aACxB,CAAC,CAAC;YACH,MAAM;QACR,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,KAAK,EAAE,CAAC;YACzD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,kDAAkD;gBAC3D,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;aACrB,CAAC,CAAC;YACH,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAIL,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,GAAG,aAAa,CAAC,UAAU,CAAC;IAC5B,QAAQ,EAAE,kBAAkB;CAC7B,CAAC;KACD,WAAW,EAAE,CAAC"}
+{"version":3,"file":"triangle.js","sourceRoot":"","sources":["../../src/schemas/triangle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C;;;;;;;;;;;;GAYG;AAEH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,MAAM;IACN,UAAU;IACV,aAAa;IACb,eAAe;IACf,WAAW;IACX,aAAa;IACb,oBAAoB;CACZ,CAAC;AAIX,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC;IACnC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,aAAa,EAAE,eAAe,CAAC,CAAC;IAC3C,CAAC;SACE,MAAM,EAAE;SACR,KAAK,CACJ,aAAa,EACb,wDAAwD,CACzD;CACJ,CAAC,CAAC;AAIH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,KAAK,CAAC;IAC9C,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;IACb,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IACZ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;CACb,CAAC,CAAC;AAIH,MAAM,aAAa,GAAG,CAAC;KACpB,MAAM,EAAE;KACR,MAAM,CAAC,aAAa,EAAE,qCAAqC,CAAC,CAAC;AAEhE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;KAC1D,WAAW,EAAE,CAAC;AAEjB,sCAAsC;AACtC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC1B,CAAC;KACD,WAAW,EAAE,CAAC;AAEjB,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,OAAO,EAAE,aAAa;IACtB,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE;IACvB,kBAAkB,EAAE,wBAAwB;IAC5C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,0EAA0E;IAC1E,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE;IACnE,SAAS,EAAE,eAAe,CAAC,QAAQ,EAAE;IACrC,aAAa,EAAE,aAAa;IAC5B,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC7C,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;KACpC,CAAC;SACD,WAAW,EAAE;SACb,QAAQ,EAAE;IACb,KAAK,EAAE,CAAC;SACL,MAAM,CAAC;QACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;QAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;KACxC,CAAC;SACD,WAAW,EAAE;SACb,QAAQ,EAAE;IACb,OAAO,EAAE,CAAC;SACP,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;SACxC,WAAW,EAAE;SACb,QAAQ,EAAE;CACd,CAAC;KACD,WAAW,EAAE;KACb,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACzB,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAC9D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,6DAA6D;SACvE,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YAC/C,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,cAAc,IAAI,CAAC,MAAM,CAAC,MAAM,2BAA2B,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;gBACzF,IAAI,EAAE,CAAC,QAAQ,CAAC;aACjB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;YAC7B,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;gBAC1C,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;oBAC3B,OAAO,EAAE,UAAU,CAAC,SAAS,GAAG,CAAC,MAAM,iCAAiC,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE;oBAChG,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;iBACpB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAE,EAAE,CAAC;YACnD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,uCAAuC;gBAChD,IAAI,EAAE,CAAC,YAAY,EAAE,CAAC,CAAC;aACxB,CAAC,CAAC;YACH,MAAM;QACR,CAAC;IACH,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,KAAK,EAAE,CAAC;YACzD,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,kDAAkD;gBAC3D,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC;aACrB,CAAC,CAAC;YACH,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CAAC;AAIL,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC;IACN,GAAG,aAAa,CAAC,UAAU,CAAC;IAC5B,QAAQ,EAAE,kBAAkB;CAC7B,CAAC;KACD,WAAW,EAAE,CAAC"}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@actuarial-ts/interchange",
-  "version": "0.5.0",
-  "description": "The actuarial-interchange format for the actuarial-ts SDK: language-neutral, versioned interchange documents (triangles, selections, method results, studies, bundles, crosscheck reports) with RFC 8785 canonicalization, semantic-body integrity tags, an intent/value coherence rule, and the cross-implementation referee. Bridges actuarial-ts with chainladder-python and R ChainLadder.",
+  "version": "0.6.1",
+  "description": "Language-neutral actuarial-interchange documents for triangles, selections, results, studies, bundles, crosschecks, and portable diagnostic definitions across TypeScript, Python, and R.",
   "license": "Apache-2.0",
   "type": "module",
   "main": "./dist/index.js",
@@ -50,10 +50,11 @@
     "test:watch": "vitest",
     "typecheck": "tsc --noEmit",
     "prepack": "tsc -p tsconfig.build.json",
+    "prepublishOnly": "node ../../tools/release/verify-release-attestation.mjs @actuarial-ts/interchange",
     "emit-schema": "npm run build && node --experimental-strip-types scripts/emit-schema.ts"
   },
   "dependencies": {
-    "@actuarial-ts/core": "^0.5.0",
+    "@actuarial-ts/core": "^0.6.1",
     "zod": "^3.25.76"
   },
   "devDependencies": {

package/src/convert/diagnosticDefinition.ts

@@ -0,0 +1,150 @@
+import {
+  ReservingError,
+  assertCompiledDiagnosticDefinition,
+  canonicalJson,
+  compileDiagnosticDefinition,
+  isDiagnosticPlainRecord,
+  type CompiledDiagnosticDefinition,
+} from "@actuarial-ts/core";
+import {
+  DEFAULT_GENERATOR,
+  INTERCHANGE_SPEC_VERSION,
+  stampIntegrity,
+  type GeneratorStamp,
+} from "../envelope.js";
+import { parseDocument, type ParseDocumentOptions } from "../parse.js";
+import { snapshotInterchangeJson } from "../json.js";
+import {
+  diagnosticDefinitionDocSchema,
+  type DiagnosticDefinitionDoc,
+} from "../schemas/diagnosticDefinition.js";
+
+export interface DiagnosticDefinitionToDocOptions {
+  createdAt: string;
+  generator?: GeneratorStamp;
+  extensions?: Record<string, unknown>;
+}
+
+export interface DocToDiagnosticDefinitionResult {
+  readonly definition: CompiledDiagnosticDefinition;
+  readonly warnings: readonly string[];
+}
+
+export function diagnosticDefinitionToDoc(
+  compiled: CompiledDiagnosticDefinition,
+  options: DiagnosticDefinitionToDocOptions,
+): DiagnosticDefinitionDoc {
+  assertCompiledDiagnosticDefinition(compiled);
+  if (!isDiagnosticPlainRecord(options))
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      "Diagnostic document options must be a plain object at $.options",
+    );
+  for (const key of Object.keys(options))
+    if (!["createdAt", "generator", "extensions"].includes(key))
+      throw new ReservingError(
+        "BAD_INTERCHANGE",
+        `Unknown diagnostic document option at $.options.${key}`,
+      );
+  const ownedOptions = snapshotInterchangeJson(options);
+  const candidate = stampIntegrity<DiagnosticDefinitionDoc>({
+    interchangeVersion: INTERCHANGE_SPEC_VERSION,
+    kind: "diagnostic-definition",
+    generator:
+      ownedOptions.generator === undefined
+        ? DEFAULT_GENERATOR
+        : ownedOptions.generator,
+    createdAt: ownedOptions.createdAt,
+    ...(ownedOptions.extensions === undefined
+      ? {}
+      : { extensions: ownedOptions.extensions }),
+    diagnosticDefinition: {
+      definition: compiled.definition,
+      identities: {
+        algorithm: "fnv1a64-jcs-v1",
+        formulaById: { ...compiled.formulaFingerprints },
+        calculationByInstanceId: { ...compiled.calculationFingerprints },
+        definition: compiled.definitionIntegrity,
+      },
+    },
+  });
+  const parsed = diagnosticDefinitionDocSchema.safeParse(candidate);
+  if (!parsed.success) {
+    const issue = parsed.error.issues[0];
+    const path = issue?.path.length ? ` at $.${issue.path.join(".")}` : "";
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      `Invalid diagnostic-definition document${path}: ${issue?.message ?? "schema validation failed"}`,
+    );
+  }
+  return deepFreeze(snapshotInterchangeJson(candidate));
+}
+
+function deepFreeze<T>(value: T): T {
+  if (value !== null && typeof value === "object" && !Object.isFrozen(value)) {
+    for (const child of Object.values(value as Record<string, unknown>))
+      deepFreeze(child);
+    Object.freeze(value);
+  }
+  return value;
+}
+
+function sameRecord(
+  left: Readonly<Record<string, string>>,
+  right: Readonly<Record<string, string>>,
+): boolean {
+  const leftKeys = Object.keys(left).sort();
+  const rightKeys = Object.keys(right).sort();
+  return (
+    leftKeys.length === rightKeys.length &&
+    leftKeys.every(
+      (key, index) => key === rightKeys[index] && left[key] === right[key],
+    )
+  );
+}
+
+export function docToDiagnosticDefinition(
+  value: unknown,
+  options?: ParseDocumentOptions,
+): DocToDiagnosticDefinitionResult {
+  const parsed = parseDocument(value, options);
+  if (parsed.doc.kind !== "diagnostic-definition") {
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      `Expected kind "diagnostic-definition"; got kind "${parsed.doc.kind}"`,
+    );
+  }
+  const body = parsed.doc.diagnosticDefinition;
+  let compiled: CompiledDiagnosticDefinition;
+  try {
+    compiled = compileDiagnosticDefinition(body.definition);
+  } catch (error) {
+    const message = error instanceof Error ? error.message : String(error);
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      `Diagnostic definition contains unsupported executable vocabulary: ${message}`,
+    );
+  }
+  if (canonicalJson(body.definition) !== canonicalJson(compiled.definition)) {
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      "Diagnostic definition contains unsupported executable vocabulary or is not in normalized form",
+    );
+  }
+  const identities = body.identities;
+  if (
+    identities.algorithm !== "fnv1a64-jcs-v1" ||
+    identities.definition !== compiled.definitionIntegrity ||
+    !sameRecord(identities.formulaById, compiled.formulaFingerprints) ||
+    !sameRecord(
+      identities.calculationByInstanceId,
+      compiled.calculationFingerprints,
+    )
+  ) {
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      "Diagnostic definition identities do not match the compiled semantic definition",
+    );
+  }
+  return { definition: compiled, warnings: parsed.warnings };
+}

package/src/convert/result.ts

@@ -3,6 +3,7 @@ import {
   type BornhuetterFergusonResult,
   type ChainLadderResult,
   type MackResult,
+  CORE_PACKAGE_VERSION,
   ReservingError,
 } from "@actuarial-ts/core";
 import {
@@ -46,7 +47,7 @@ export type ConvertibleResult =
  * The engine stamp for results computed by @actuarial-ts/core. A sync test
  * pins the version to the installed core package so it cannot drift.
  */
-export const CORE_ENGINE: EngineStamp = { name: "actuarial-ts", version: "0.5.0" };
+export const CORE_ENGINE: EngineStamp = { name: "actuarial-ts", version: CORE_PACKAGE_VERSION };
 
 export interface ResultToDocOptions {
   /** The triangle document the result was computed from. */

package/src/envelope.ts

@@ -1,5 +1,11 @@
-import { ReservingError, canonicalJson, fnv1a64 } from "@actuarial-ts/core";
+import {
+  ReservingError,
+  canonicalJson,
+  fnv1a64,
+  isRealIsoDate,
+} from "@actuarial-ts/core";
 import { z } from "zod";
+import { recordSchema } from "./schemas/record.js";
 
 /**
  * The interchange document envelope (spec 3.1 / 3.5).
@@ -28,7 +34,7 @@ import { z } from "zod";
  */
 
 /** The interchange spec version this package writes. */
-export const INTERCHANGE_SPEC_VERSION = "1.0.0";
+export const INTERCHANGE_SPEC_VERSION = "1.1.0";
 
 /** The spec major this package accepts (spec 3.5: readers accept same-major). */
 export const INTERCHANGE_SPEC_MAJOR = 1;
@@ -37,7 +43,7 @@ export const INTERCHANGE_SPEC_MAJOR = 1;
  * This package's version, stamped into `generator` by default. A sync test
  * asserts it matches package.json so it cannot silently drift.
  */
-export const INTERCHANGE_PACKAGE_VERSION = "0.5.0";
+export const INTERCHANGE_PACKAGE_VERSION = "0.6.1";
 
 export interface GeneratorStamp {
   name: string;
@@ -45,10 +51,10 @@ export interface GeneratorStamp {
 }
 
 /** Default `generator` stamp for documents authored by this package. */
-export const DEFAULT_GENERATOR: GeneratorStamp = {
+export const DEFAULT_GENERATOR: Readonly<GeneratorStamp> = Object.freeze({
   name: "@actuarial-ts/interchange",
   version: INTERCHANGE_PACKAGE_VERSION,
-};
+});
 
 export const DOCUMENT_KINDS = [
   "triangle",
@@ -58,6 +64,7 @@ export const DOCUMENT_KINDS = [
   "study",
   "bundle",
   "crosscheck-report",
+  "diagnostic-definition",
 ] as const;
 
 export type DocumentKind = (typeof DOCUMENT_KINDS)[number];
@@ -75,6 +82,7 @@ const SEMANTIC_BODY_KEYS: Record<DocumentKind, readonly string[]> = {
   study: ["study"],
   bundle: ["bundle", "interchange"],
   "crosscheck-report": ["report"],
+  "diagnostic-definition": ["diagnosticDefinition"],
 };
 
 /** A 16-hex-char fnv1a64 tag. */
@@ -95,8 +103,14 @@ export function envelopeShape<K extends DocumentKind>(kind: K) {
     interchangeVersion: z.string().regex(/^\d+\.\d+\.\d+$/),
     kind: z.literal(kind),
     generator: generatorSchema,
-    createdAt: z.string().datetime({ offset: true }),
-    extensions: z.record(z.unknown()).optional(),
+    createdAt: z
+      .string()
+      .datetime({ offset: true })
+      .refine(
+        (value) => isRealIsoDate(value.slice(0, 10)),
+        "expected a real Gregorian timestamp",
+      ),
+    extensions: recordSchema(z.unknown()).optional(),
     integrity: integritySchema,
   };
 }
@@ -160,7 +174,8 @@ export interface IntegrityCheck {
 /** Recomputes the tag from the semantic body and compares to the stated one. */
 export function verifyIntegrity(doc: DocumentLike): IntegrityCheck {
   const expected = computeIntegrity(doc);
-  const actual = typeof doc["integrity"] === "string" ? (doc["integrity"] as string) : null;
+  const actual =
+    typeof doc["integrity"] === "string" ? (doc["integrity"] as string) : null;
   return { ok: actual === expected, expected, actual };
 }
 
@@ -182,7 +197,11 @@ export function acceptVersion(version: unknown): ParsedVersion {
       `interchangeVersion must be a MAJOR.MINOR.PATCH string; got ${JSON.stringify(version)}`,
     );
   }
-  const [major, minor, patch] = version.split(".").map(Number) as [number, number, number];
+  const [major, minor, patch] = version.split(".").map(Number) as [
+    number,
+    number,
+    number,
+  ];
   if (major !== INTERCHANGE_SPEC_MAJOR) {
     throw new ReservingError(
       "UNSUPPORTED_VERSION",

package/src/index.ts

@@ -6,10 +6,12 @@ export * from "./schemas/result.js";
 export * from "./schemas/study.js";
 export * from "./schemas/bundle.js";
 export * from "./schemas/crosscheck.js";
+export * from "./schemas/diagnosticDefinition.js";
 export * from "./schemas/manifest.js";
 export * from "./convert/triangle.js";
 export * from "./convert/selection.js";
 export * from "./convert/result.js";
+export * from "./convert/diagnosticDefinition.js";
 export * from "./referee/profiles.js";
 export * from "./referee/crosscheck.js";
 export * from "./referee/crosscheckStochastic.js";

package/src/json.ts

@@ -0,0 +1,17 @@
+import { ReservingError, canonicalJson } from "@actuarial-ts/core";
+
+/** Own the complete JSON document without dropping forward-compatible keys.
+ * Use the generic interchange JSON contract, not the stricter diagnostic
+ * identifier profile: opaque JSON strings may contain escaped control codes. */
+export function snapshotInterchangeJson<T>(value: T): T {
+  try {
+    return JSON.parse(canonicalJson(value)) as T;
+  } catch (error) {
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      `An interchange document must contain only JSON values: ${
+        error instanceof Error ? error.message : String(error)
+      }`,
+    );
+  }
+}

package/src/parse.ts

@@ -13,6 +13,8 @@ import type { MethodResultDoc, StochasticResultDoc } from "./schemas/result.js";
 import type { StudyDoc } from "./schemas/study.js";
 import type { BundleDoc } from "./schemas/bundle.js";
 import type { CrosscheckReportDoc } from "./schemas/crosscheck.js";
+import type { DiagnosticDefinitionDoc } from "./schemas/diagnosticDefinition.js";
+import { snapshotInterchangeJson } from "./json.js";
 
 /**
  * `parseDocument` (spec 4.1): version-checked, schema-validated,
@@ -48,7 +50,8 @@ export type InterchangeDocument =
   | StochasticResultDoc
   | StudyDoc
   | BundleDoc
-  | CrosscheckReportDoc;
+  | CrosscheckReportDoc
+  | DiagnosticDefinitionDoc;
 
 export interface ParseDocumentOptions {
   /** How to treat a failed integrity check. Default "refuse". */
@@ -93,6 +96,7 @@ function embeddedDocuments(doc: InterchangeDocument): { path: string; value: unk
       collect("$.interchange.triangles", mirror["triangles"]);
       collect("$.interchange.selections", mirror["selections"]);
       collect("$.interchange.results", mirror["results"]);
+      collect("$.interchange.diagnosticDefinitions", mirror["diagnosticDefinitions"]);
     }
   }
   return found;
@@ -121,14 +125,18 @@ export function parseDocument(
     );
   }
 
-  const parsed = schema.safeParse(raw);
+  const snapshot = snapshotInterchangeJson(raw);
+  const parsed = schema.safeParse(snapshot);
   if (!parsed.success) {
     throw new ReservingError(
       "BAD_INTERCHANGE",
       `Document of kind "${String(kind)}" failed schema validation: ${formatZodError(parsed.error)}`,
     );
   }
-  const doc = parsed.data as InterchangeDocument;
+  // These wire schemas validate only: no defaults, coercions, or semantic
+  // transforms. Keep the owned input snapshot because Zod 3's passthrough
+  // object assembler otherwise drops unknown own `__proto__` properties.
+  const doc = snapshot as InterchangeDocument;
 
   const warnings: string[] = [];
   const integrity = verifyIntegrity(doc);

package/src/schemas/bundle.ts

@@ -8,6 +8,7 @@ import {
   methodResultDocSchema,
   stochasticResultDocSchema,
 } from "./result.js";
+import { type DiagnosticDefinitionDoc, diagnosticDefinitionDocSchema } from "./diagnosticDefinition.js";
 
 /**
  * BundleDoc (spec 3.2) — the wrapped reproducibility bundle.
@@ -31,6 +32,7 @@ export interface BundleInterchange {
   triangles: TriangleDoc[];
   selections: SelectionDoc[];
   results: (MethodResultDoc | StochasticResultDoc)[];
+  diagnosticDefinitions?: DiagnosticDefinitionDoc[];
   [key: string]: unknown;
 }
 
@@ -52,6 +54,7 @@ export const bundleInterchangeSchema: z.ZodType<BundleInterchange> = z
     triangles: z.array(triangleDocSchema),
     selections: z.array(selectionDocSchema),
     results: z.array(z.union([methodResultDocSchema, stochasticResultDocSchema])),
+    diagnosticDefinitions: z.array(diagnosticDefinitionDocSchema).optional(),
   })
   .passthrough();
 

package/src/schemas/diagnosticDefinition.ts

@@ -0,0 +1,172 @@
+import type { NormalizedDiagnosticDefinitionIdentity } from "@actuarial-ts/core";
+import { z } from "zod";
+import { envelopeShape, type GeneratorStamp } from "../envelope.js";
+import { recordSchema } from "./record.js";
+
+const token = z.string().min(1);
+const finite = z.number().finite();
+const nullableToken = token.nullable();
+const attributes = recordSchema(z.union([z.string(), finite, z.boolean(), z.null()]));
+const tolerance = z.object({ absolute: finite.nonnegative(), relative: finite.nonnegative() }).passthrough();
+
+export const diagnosticMeasureExpressionSchema: z.ZodTypeAny = z.lazy(() =>
+  z.discriminatedUnion("op", [
+    z.object({ op: z.literal("measure"), measureId: token }).passthrough(),
+    z.object({ op: z.literal("add"), terms: z.array(diagnosticMeasureExpressionSchema).min(1) }).passthrough(),
+    z.object({ op: z.literal("subtract"), left: diagnosticMeasureExpressionSchema, right: diagnosticMeasureExpressionSchema }).passthrough(),
+  ]),
+);
+
+export const diagnosticClaimExpressionSchema: z.ZodTypeAny = z.lazy(() =>
+  z.discriminatedUnion("op", [
+    z.object({ op: z.literal("measure"), measureId: token }).passthrough(),
+    z.object({ op: z.literal("add"), terms: z.array(diagnosticClaimExpressionSchema).min(1) }).passthrough(),
+    z.object({ op: z.literal("subtract"), left: diagnosticClaimExpressionSchema, right: diagnosticClaimExpressionSchema }).passthrough(),
+    z.object({ op: z.literal("claim-layer"), measureId: token, attachment: finite.nonnegative(), limit: finite.positive().nullable() }).passthrough(),
+  ]),
+);
+
+export const diagnosticRoleExpressionSchema: z.ZodTypeAny = z.lazy(() =>
+  z.discriminatedUnion("op", [
+    z.object({ op: z.literal("role"), role: token }).passthrough(),
+    z.object({ op: z.literal("add"), terms: z.array(diagnosticRoleExpressionSchema).min(1) }).passthrough(),
+    z.object({ op: z.literal("subtract"), left: diagnosticRoleExpressionSchema, right: diagnosticRoleExpressionSchema }).passthrough(),
+  ]),
+);
+
+const limitation = z.discriminatedUnion("kind", [
+  z.object({ kind: z.literal("unlimited") }).passthrough(),
+  z.object({ kind: z.literal("unknown"), description: z.string().nullable() }).passthrough(),
+  z.object({
+    kind: z.enum(["layer", "pre-limited"]),
+    attachment: finite.nonnegative(),
+    limit: finite.positive().nullable(),
+    application: z.enum(["claim", "occurrence", "policy", "source-defined"]),
+    derivation: z.discriminatedUnion("kind", [
+      z.object({ kind: z.literal("sdk") }).passthrough(),
+      z.object({ kind: z.literal("external"), actor: z.enum(["caller", "source"]), transformationRef: token }).passthrough(),
+    ]),
+  }).passthrough(),
+]);
+
+const ruleOperand = z.discriminatedUnion("source", [
+  z.object({ source: z.literal("measure"), expression: diagnosticMeasureExpressionSchema }).passthrough(),
+  z.object({ source: z.literal("calculation"), field: z.enum(["numerator", "denominator"]) }).passthrough(),
+  z.object({ source: z.literal("constant"), value: finite }).passthrough(),
+]);
+const operator = z.enum(["lt", "lte", "eq", "neq", "gte", "gt"]);
+const reviewOperand = z.union([
+  diagnosticMeasureExpressionSchema,
+  z.object({ op: z.literal("constant"), value: finite }).passthrough(),
+]);
+const reviewBase = {
+  id: token,
+  code: token,
+  description: z.string(),
+  severity: z.enum(["warning", "fail"]),
+  missingInput: z.enum(["not-evaluated", "finding"]),
+  tolerance,
+};
+const reviewFilter = z.object({
+  sourceGroups: z.array(token).nullable(), origins: z.array(token).nullable(),
+  originFrom: nullableToken, originThrough: nullableToken, valuations: z.array(token).nullable(),
+  valuationFrom: nullableToken, valuationThrough: nullableToken,
+  minDevelopmentAge: finite.nullable(), maxDevelopmentAge: finite.nullable(),
+}).passthrough();
+const reviewRule = z.discriminatedUnion("kind", [
+  z.object({ ...reviewBase, kind: z.literal("compare"), when: z.object({ left: reviewOperand, operator, right: reviewOperand }).passthrough() }).passthrough(),
+  z.object({ ...reviewBase, kind: z.literal("reconcile"), actual: diagnosticMeasureExpressionSchema, expected: reviewOperand }).passthrough(),
+  z.object({ ...reviewBase, kind: z.literal("monotonic"), expression: diagnosticMeasureExpressionSchema, direction: z.enum(["nondecreasing", "nonincreasing"]) }).passthrough(),
+  z.object({ ...reviewBase, kind: z.literal("layer-order"), narrower: diagnosticMeasureExpressionSchema, broader: diagnosticMeasureExpressionSchema, comparability: z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("compiler-proven") }).passthrough(),
+    z.object({ kind: z.literal("caller-asserted"), rationaleArtifactId: token }).passthrough(),
+  ]) }).passthrough(),
+  z.object({ ...reviewBase, kind: z.literal("control-total"), expression: diagnosticMeasureExpressionSchema, expected: finite, filter: reviewFilter.nullable(), projection: z.discriminatedUnion("kind", [
+    z.object({ kind: z.literal("valuation"), valuation: token }).passthrough(),
+    z.object({ kind: z.literal("latest-valuation-per-origin") }).passthrough(),
+    z.object({ kind: z.literal("all-cells") }).passthrough(),
+  ]) }).passthrough(),
+]);
+
+const periodAxis = z.discriminatedUnion("kind", [
+  z.object({
+    kind: z.literal("calendar"), originCadence: z.enum(["month", "quarter", "year"]),
+    valuationCadence: z.enum(["month", "quarter", "year"]), originAnchor: z.enum(["start", "end"]),
+    valuationAnchor: z.enum(["start", "end"]), ageUnit: z.literal("month"), ageOffset: finite,
+  }).passthrough(),
+  z.object({
+    kind: z.literal("ordered"), id: token, version: token, ageUnit: token, ageOffset: finite,
+    origins: z.array(z.object({ label: token, aliases: z.array(token), coordinate: finite }).passthrough()),
+    valuations: z.array(z.object({ label: token, aliases: z.array(token), coordinate: finite }).passthrough()),
+  }).passthrough(),
+]);
+
+/**
+ * Generic wire schema for the normalized diagnostic vocabulary. Known fields
+ * are validated and same-major additions are preserved recursively; the
+ * executable converter applies core's closed semantic compiler afterward.
+ */
+export const normalizedDiagnosticDefinitionSchema = z.object({
+  diagnosticDefinitionVersion: z.literal("1.0.0"), id: token, version: token,
+  lossRowGrain: z.enum(["claim", "aggregate"]),
+  measures: z.array(z.object({
+    id: token, displayName: z.string(), description: z.string(), source: z.enum(["loss", "exposure", "derived"]),
+    kind: z.enum(["count", "amount", "exposure"]), unit: token,
+    developmentSemantics: z.enum(["cumulative", "incremental", "point-in-time", "unknown"]),
+    aggregation: z.literal("sum"), missing: z.enum(["unknown", "zero"]), basisId: nullableToken,
+    countPopulationId: nullableToken, exposureBasisId: nullableToken,
+    exposureTiming: z.enum(["origin-static", "valuation-specific"]).nullable(),
+  }).passthrough()),
+  countPopulations: z.array(z.object({ id: token, displayName: z.string(), subject: z.enum(["claim", "claimant", "policy", "occurrence", "other", "unknown"]), unit: token, description: z.string(), attributes }).passthrough()),
+  exposureBases: z.array(z.object({ id: token, displayName: z.string(), basis: z.enum(["earned", "written", "in-force", "other", "unknown"]), unit: token, description: z.string(), sourceDescription: z.string().nullable(), attributes }).passthrough()),
+  amountBases: z.array(z.object({ id: token, displayName: z.string(), currency: token, perspective: z.enum(["gross", "net", "ceded", "other", "unknown"]), components: z.array(z.object({ id: token, treatment: z.enum(["included", "excluded", "unknown"]), limitation }).passthrough()), sourceDescription: z.string().nullable(), attributes }).passthrough()),
+  derivedMeasures: z.array(z.object({ id: token, outputMeasureId: token, expression: diagnosticClaimExpressionSchema }).passthrough()),
+  formulas: z.array(z.object({
+    id: token, version: token,
+    roles: recordSchema(z.object({ kind: z.enum(["count", "amount", "exposure"]), compatibilityGroup: nullableToken, developmentSemantics: z.enum(["cumulative", "incremental", "point-in-time", "unknown"]).nullable() }).passthrough()),
+    numerator: diagnosticRoleExpressionSchema, denominator: diagnosticRoleExpressionSchema,
+    denominatorPolicy: z.literal("positive-or-null"),
+  }).passthrough()),
+  instances: z.array(z.object({
+    id: token, version: token, formulaId: token, bindings: recordSchema(diagnosticMeasureExpressionSchema),
+    presentation: z.object({ displayName: z.string(), description: z.string(), displayUnit: token, scale: finite.positive(), numeratorLabel: z.string(), denominatorLabel: z.string() }).passthrough(),
+    rules: z.array(z.object({ id: token, code: token, message: z.string(), severity: z.enum(["warning", "fail"]), when: z.object({ left: ruleOperand, operator, right: ruleOperand, tolerance }).passthrough() }).passthrough()),
+  }).passthrough()),
+  reviewRules: z.array(reviewRule), periodAxis,
+}).passthrough();
+
+export interface DiagnosticDefinitionIdentitySet {
+  algorithm: "fnv1a64-jcs-v1";
+  formulaById: Readonly<Record<string, string>>;
+  calculationByInstanceId: Readonly<Record<string, string>>;
+  definition: string;
+}
+
+export interface DiagnosticDefinitionBody {
+  definition: NormalizedDiagnosticDefinitionIdentity;
+  identities: DiagnosticDefinitionIdentitySet;
+}
+
+export interface DiagnosticDefinitionDoc {
+  interchangeVersion: string;
+  kind: "diagnostic-definition";
+  generator: GeneratorStamp & { [key: string]: unknown };
+  createdAt: string;
+  extensions?: Record<string, unknown>;
+  integrity: string;
+  diagnosticDefinition: DiagnosticDefinitionBody;
+  [key: string]: unknown;
+}
+
+const identityTag = z.string().regex(/^fnv1a64-jcs-v1:[0-9a-f]{16}$/);
+export const diagnosticDefinitionBodySchema: z.ZodType<DiagnosticDefinitionBody> = z.object({
+  definition: normalizedDiagnosticDefinitionSchema as z.ZodType<NormalizedDiagnosticDefinitionIdentity>,
+  identities: z.object({
+    algorithm: z.literal("fnv1a64-jcs-v1"), formulaById: recordSchema(identityTag),
+    calculationByInstanceId: recordSchema(identityTag), definition: identityTag,
+  }).passthrough(),
+}).passthrough();
+
+export const diagnosticDefinitionDocSchema: z.ZodType<DiagnosticDefinitionDoc> = z.object({
+  ...envelopeShape("diagnostic-definition"), diagnosticDefinition: diagnosticDefinitionBodySchema,
+}).passthrough();

package/src/schemas/manifest.ts

@@ -6,6 +6,7 @@ import { methodResultDocSchema, stochasticResultDocSchema } from "./result.js";
 import { studyDocSchema } from "./study.js";
 import { bundleDocSchema } from "./bundle.js";
 import { crosscheckReportDocSchema } from "./crosscheck.js";
+import { diagnosticDefinitionDocSchema } from "./diagnosticDefinition.js";
 
 /**
  * Schema publication manifest (spec 3.4). The zod schemas here are the
@@ -46,11 +47,16 @@ export const INTERCHANGE_SCHEMA_MANIFEST: readonly SchemaManifestEntry[] = [
     fileName: "crosscheck-report.schema.json",
     schema: crosscheckReportDocSchema,
   },
+  {
+    kind: "diagnostic-definition",
+    fileName: "diagnostic-definition.schema.json",
+    schema: diagnosticDefinitionDocSchema,
+  },
 ];
 
 /** Options both the emit script and the drift test must pass to the converter. */
 export function emitOptionsFor(kind: DocumentKind): { name: string; [key: string]: unknown } {
-  return { name: kind, target: "jsonSchema7", $refStrategy: "none" };
+  return { name: kind, target: "jsonSchema7", $refStrategy: "root" };
 }
 
 export interface EmittedSchema {

package/src/schemas/record.ts

@@ -0,0 +1,16 @@
+import { z } from "zod";
+
+/** Preserve ordinary own `__proto__` keys that Zod 3 otherwise drops.
+ * Every key is reversibly encoded while its value is schema-validated. */
+export function recordSchema<T extends z.ZodTypeAny>(valueSchema: T) {
+  return z
+    .record(
+      z.string().transform((key) => `:${key}`),
+      valueSchema,
+    )
+    .transform((record): Record<string, z.output<T>> =>
+      Object.fromEntries(
+        Object.entries(record).map(([key, value]) => [key.slice(1), value]),
+      ),
+    );
+}