@actuarial-ts/interchange 0.2.0 → 0.3.0

package/dist/schemas/result.js

@@ -73,11 +73,63 @@ export const stochasticSummarySchema = z
     percentiles: z.record(z.number().finite()),
 })
     .passthrough();
+/**
+ * How much a consumer may rely on re-running this result.
+ *
+ * A seed is NOT the same guarantee as reproducibility: it removes one source
+ * of variance, but the engine underneath may still be non-deterministic. This
+ * field says which promise the document actually carries, so an actuary knows
+ * whether they hold a derivation anyone can regenerate or an observation
+ * somebody recorded.
+ *
+ * - `seeded-reproducible` — re-running with this seed reproduces this document
+ *   byte-for-byte. @actuarial-ts/core's own stochastic layer is this
+ *   (packages/core/test/odpBootstrap.test.ts pins it), because it uses a seeded
+ *   PRNG with no ambient randomness.
+ * - `witnessed` — the engine is NOT byte-reproducible even under a fixed seed.
+ *   The document is an integrity-checked record of what that engine produced on
+ *   that run, not something a reviewer can regenerate. Still legitimate ASOP
+ *   No. 56 evidence — it just supports an attestation, not a replay.
+ *
+ * Absent means unstated (documents written before this field existed); treat
+ * an absent value as unknown, never as a reproducibility guarantee.
+ *
+ * Deterministic methods do not carry this field: kind `method-result` already
+ * implies reproducibility, and the frozen conformance corpus proves it across
+ * three independent shores.
+ */
+export const reproducibilitySchema = z.enum(["seeded-reproducible", "witnessed"]);
+/**
+ * The engine's own self-check: it ran the identical seeded request more than
+ * once and reports whether the runs agreed. This is what lets a
+ * non-reproducible engine be HONEST rather than silently unstable — the
+ * instability is measured and disclosed on the document instead of surfacing
+ * later as a mysteriously failing test.
+ */
+export const stabilityCheckSchema = z
+    .object({
+    /** How many independent runs of the identical seeded request were compared (>= 2). */
+    repeats: z.number().int().min(2),
+    /** True when every repeat produced the identical semantic body. */
+    byteIdentical: z.boolean(),
+    /**
+     * Worst relative deviation observed across repeats on the summary mean,
+     * using the cross-shore definition |a-b| / max(|a|,|b|). Null when not
+     * computable. Zero with byteIdentical=false means the bodies differed
+     * somewhere other than the summary mean.
+     */
+    maxRelativeDeviation: z.number().finite().nonnegative().nullable(),
+})
+    .passthrough();
 export const stochasticResultBodySchema = z
     .object({
     ...resultCommonShape,
     seed: z.number().int().optional(),
     nSims: z.number().int().positive(),
+    /** Which reproducibility promise this document carries; see the schema doc. */
+    reproducibility: reproducibilitySchema.optional(),
+    /** The engine's repeat-run self-check, when it performed one. */
+    stability: stabilityCheckSchema.optional(),
     summary: stochasticSummarySchema,
     byOrigin: z.array(z.object({ origin: z.string().min(1) }).passthrough()),
     samplesRef: samplesRefSchema.optional(),

package/dist/schemas/result.js.map

@@ -1 +1 @@
-{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/schemas/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjF;;;;;;;;;;;;;;GAcG;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,iBAAiB,EAAE,eAAe;IAClC,kBAAkB,EAAE,eAAe,CAAC,QAAQ,EAAE;CAC/C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe;KAC7C,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;KACpD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC3B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC3B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,iBAAiB,GAAG;IACxB,SAAS,EAAE,qBAAqB;IAChC,MAAM,EAAE,iBAAiB;IACzB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjC,mBAAmB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IACrD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACzC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,GAAG,iBAAiB;IACpB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IACpC,MAAM,EAAE,wBAAwB;CACjC,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,GAAG,aAAa,CAAC,eAAe,CAAC;IACjC,MAAM,EAAE,sBAAsB;CAC/B,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,gEAAgE;AAChE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,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,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IACzB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IACvB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,gEAAgE;IAChE,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC;CAC3C,CAAC;KACD,WAAW,EAAE,CAAC;AAEjB,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC;KACxC,MAAM,CAAC;IACN,GAAG,iBAAiB;IACpB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACjC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAClC,OAAO,EAAE,uBAAuB;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACxE,UAAU,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IACvC,yEAAyE;IACzE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE;IAC/C,MAAM,EAAE,wBAAwB,CAAC,QAAQ,EAAE;CAC5C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,GAAG,aAAa,CAAC,mBAAmB,CAAC;IACrC,MAAM,EAAE,0BAA0B;CACnC,CAAC;KACD,WAAW,EAAE,CAAC"}
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/schemas/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjF;;;;;;;;;;;;;;GAcG;AAEH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,iBAAiB,EAAE,eAAe;IAClC,kBAAkB,EAAE,eAAe,CAAC,QAAQ,EAAE;CAC/C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,iBAAiB,GAAG,eAAe;KAC7C,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC;KACpD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC3B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC;KACtC,MAAM,CAAC;IACN,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC7B,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IAC3B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,iBAAiB,GAAG;IACxB,SAAS,EAAE,qBAAqB;IAChC,MAAM,EAAE,iBAAiB;IACzB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjC,mBAAmB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IACrD,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACzC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,GAAG,iBAAiB;IACpB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IACpC,MAAM,EAAE,wBAAwB;CACjC,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,GAAG,aAAa,CAAC,eAAe,CAAC;IACjC,MAAM,EAAE,sBAAsB;CAC/B,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,gEAAgE;AAChE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,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,uBAAuB,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IACzB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE;IACvB,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,gEAAgE;IAChE,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC;CAC3C,CAAC;KACD,WAAW,EAAE,CAAC;AAEjB;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,qBAAqB,EAAE,WAAW,CAAC,CAAC,CAAC;AAIlF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,sFAAsF;IACtF,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,mEAAmE;IACnE,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE;IAC1B;;;;;OAKG;IACH,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;CACnE,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC;KACxC,MAAM,CAAC;IACN,GAAG,iBAAiB;IACpB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACjC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAClC,+EAA+E;IAC/E,eAAe,EAAE,qBAAqB,CAAC,QAAQ,EAAE;IACjD,iEAAiE;IACjE,SAAS,EAAE,oBAAoB,CAAC,QAAQ,EAAE;IAC1C,OAAO,EAAE,uBAAuB;IAChC,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACxE,UAAU,EAAE,gBAAgB,CAAC,QAAQ,EAAE;IACvC,yEAAyE;IACzE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE;IAC/C,MAAM,EAAE,wBAAwB,CAAC,QAAQ,EAAE;CAC5C,CAAC;KACD,WAAW,EAAE,CAAC;AAIjB,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC;KACvC,MAAM,CAAC;IACN,GAAG,aAAa,CAAC,mBAAmB,CAAC;IACrC,MAAM,EAAE,0BAA0B;CACnC,CAAC;KACD,WAAW,EAAE,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@actuarial-ts/interchange",
-  "version": "0.2.0",
+  "version": "0.3.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.",
   "license": "Apache-2.0",
   "type": "module",
@@ -15,6 +15,7 @@
   },
   "files": [
     "dist",
+    "src",
     "README.md",
     "LICENSE",
     "NOTICE"
@@ -52,10 +53,11 @@
     "emit-schema": "npm run build && node --experimental-strip-types scripts/emit-schema.ts"
   },
   "dependencies": {
-    "@actuarial-ts/core": "^0.2.0",
+    "@actuarial-ts/core": "^0.3.0",
     "zod": "^3.25.76"
   },
   "devDependencies": {
+    "@types/node": "^22.10.5",
     "typescript": "^5.7.3",
     "vitest": "^3.0.5",
     "zod-to-json-schema": "^3.25.2"

package/src/convert/result.ts

@@ -0,0 +1,212 @@
+import {
+  type BenktanderResult,
+  type BornhuetterFergusonResult,
+  type ChainLadderResult,
+  type MackResult,
+  ReservingError,
+} from "@actuarial-ts/core";
+import {
+  DEFAULT_GENERATOR,
+  INTERCHANGE_SPEC_VERSION,
+  type GeneratorStamp,
+  stampIntegrity,
+} from "../envelope.js";
+import type { TriangleDoc } from "../schemas/triangle.js";
+import type { SelectionDoc } from "../schemas/selection.js";
+import {
+  type EngineStamp,
+  type MethodResultBody,
+  type MethodResultDoc,
+  type MethodResultRow,
+  methodResultDocSchema,
+} from "../schemas/result.js";
+
+/**
+ * core method results → MethodResultDoc, stamping `appliesTo` (spec 3.2 /
+ * 4.1).
+ *
+ * Converts the deterministic quartet — ChainLadderResult, MackResult,
+ * BornhuetterFergusonResult, BenktanderResult. Further methods (Cape Cod,
+ * Clark, Munich, the stochastic layer, ...) are NOT yet converted and
+ * throw; adding one is a spec-minor change. Method names use the actuarial-ts namespace
+ * (unprefixed discriminants); `clpy:`/`rcl:` are reserved for the other
+ * shores.
+ *
+ * Row vocabulary is the spec's: `unpaid` carries what core's Mack calls
+ * `reserve` (identical quantity, interchange field name).
+ */
+
+export type ConvertibleResult =
+  | ChainLadderResult
+  | MackResult
+  | BornhuetterFergusonResult
+  | BenktanderResult;
+
+/**
+ * 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.3.0" };
+
+export interface ResultToDocOptions {
+  /** The triangle document the result was computed from. */
+  triangleDoc: TriangleDoc;
+  /** The selection document used, when one exists; null/omitted = none
+   * (e.g. Mack on its own volume-weighted factors). */
+  selectionDoc?: SelectionDoc | null;
+  /** ISO timestamp for the envelope (caller-supplied; purity rule). */
+  createdAt: string;
+  /** Convention profile the run aligns to (referee comparability input). */
+  conventionProfile?: string;
+  /** Requested-parameter echo; defaults to {}. */
+  parameters?: Record<string, unknown>;
+  /** Effective parameters when the engine deviated from requested. */
+  effectiveParameters?: Record<string, unknown>;
+  engine?: EngineStamp;
+  generator?: GeneratorStamp;
+  extensions?: Record<string, unknown>;
+}
+
+interface MappedResult {
+  method: string;
+  rows: MethodResultRow[];
+  totals: MethodResultBody["totals"];
+  warnings: string[];
+  /** Basis to cross-check against the triangle's measure; null = untyped. */
+  basis: string | null;
+}
+
+function mapResult(result: ConvertibleResult): MappedResult {
+  switch (result.method) {
+    case "chainLadder":
+      return {
+        method: "chainLadder",
+        rows: result.rows.map((r) => ({
+          origin: r.origin,
+          ultimate: r.ultimate,
+          unpaid: r.unpaid,
+        })),
+        totals: { ultimate: result.totals.ultimate, unpaid: result.totals.unpaid },
+        warnings: [...result.warnings],
+        basis: result.basis,
+      };
+    case "mack":
+      return {
+        method: "mack",
+        rows: result.rows.map((r) => ({
+          origin: r.origin,
+          ultimate: r.ultimate,
+          unpaid: r.reserve,
+          standardError: r.standardError,
+        })),
+        totals: {
+          ultimate: result.totals.ultimate,
+          unpaid: result.totals.reserve,
+          standardError: result.totals.standardError,
+        },
+        warnings: [...result.warnings],
+        basis: null,
+      };
+    case "bornhuetterFerguson":
+      return {
+        method: "bornhuetterFerguson",
+        rows: result.rows.map((r) => ({
+          origin: r.origin,
+          ultimate: r.ultimate,
+          unpaid: r.unpaid,
+        })),
+        totals: { ultimate: result.totals.ultimate, unpaid: result.totals.unpaid },
+        warnings: [...result.warnings],
+        basis: result.basis,
+      };
+    case "benktander":
+      return {
+        method: "benktander",
+        rows: result.rows.map((r) => ({
+          origin: r.origin,
+          ultimate: r.ultimate,
+          unpaid: r.unpaid,
+        })),
+        totals: { ultimate: result.totals.ultimate, unpaid: result.totals.unpaid },
+        warnings: [...result.warnings],
+        basis: result.basis,
+      };
+    default: {
+      const method = (result as { method?: string }).method ?? "(unknown)";
+      throw new ReservingError(
+        "BAD_INTERCHANGE",
+        `resultToDoc does not support method "${method}" yet; it converts chainLadder, ` +
+          "mack, bornhuetterFerguson, and benktander",
+      );
+    }
+  }
+}
+
+export function resultToDoc(
+  result: ConvertibleResult,
+  options: ResultToDocOptions,
+): MethodResultDoc {
+  const selectionDoc = options.selectionDoc ?? null;
+  if (
+    selectionDoc !== null &&
+    selectionDoc.selection.appliesTo.triangleIntegrity !== options.triangleDoc.integrity
+  ) {
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      `The selection document applies to triangle ${selectionDoc.selection.appliesTo.triangleIntegrity} ` +
+        `but the supplied triangle document's integrity is ${options.triangleDoc.integrity}`,
+    );
+  }
+
+  const mapped = mapResult(result);
+  if (mapped.basis !== null && mapped.basis !== options.triangleDoc.triangle.measure) {
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      `Result basis "${mapped.basis}" does not match the triangle document's measure ` +
+        `"${options.triangleDoc.triangle.measure}"`,
+    );
+  }
+
+  const engine: EngineStamp = { ...(options.engine ?? CORE_ENGINE) };
+  if (options.conventionProfile !== undefined) {
+    engine.conventionProfile = options.conventionProfile;
+  }
+
+  const body: MethodResultBody = {
+    appliesTo: {
+      triangleIntegrity: options.triangleDoc.integrity,
+      selectionIntegrity: selectionDoc?.integrity ?? null,
+    },
+    engine,
+    method: mapped.method,
+    parameters: options.parameters ?? {},
+    rows: mapped.rows,
+    totals: mapped.totals,
+  };
+  // Authoring convention (shared with the Python adapter): `warnings` is
+  // omitted when empty, so a warning-free result hashes identically no
+  // matter which shore authored it.
+  if (mapped.warnings.length > 0) body.warnings = mapped.warnings;
+  if (options.effectiveParameters !== undefined) {
+    body.effectiveParameters = options.effectiveParameters;
+  }
+
+  const doc = stampIntegrity<MethodResultDoc>({
+    interchangeVersion: INTERCHANGE_SPEC_VERSION,
+    kind: "method-result",
+    generator: options.generator ?? DEFAULT_GENERATOR,
+    createdAt: options.createdAt,
+    extensions: options.extensions ?? {},
+    result: body,
+  });
+  const checked = methodResultDocSchema.safeParse(doc);
+  if (!checked.success) {
+    throw new ReservingError(
+      "BAD_INTERCHANGE",
+      `resultToDoc produced an invalid document: ${checked.error.issues
+        .map((i) => `${i.path.join(".") || "$"}: ${i.message}`)
+        .join("; ")}`,
+    );
+  }
+  return checked.data;
+}