@actuarial-ts/interchange 0.2.0

package/dist/envelope.d.ts

@@ -0,0 +1,113 @@
+import { z } from "zod";
+/**
+ * The interchange document envelope (spec 3.1 / 3.5).
+ *
+ * Every interchange document is an envelope around exactly one semantic
+ * body. The envelope carries `interchangeVersion`, `kind`, `generator`,
+ * `createdAt`, `extensions`, and `integrity`; the semantic body is the ONE
+ * kind-named object (`triangle`, `selection`, `result`, `study`,
+ * `report` — and for `kind: "bundle"`, per spec 3.2, the two-field
+ * object `{ bundle, interchange }` the outer tag is defined over).
+ *
+ * Ground truth:
+ * - `integrity` = fnv1a64(canonicalJson(semantic body)) — NEVER the
+ *   envelope. Re-exporting a document through another adapter changes the
+ *   envelope (generator, createdAt), not the tag, so appliesTo-by-tag
+ *   linkage survives cross-language hops. FNV-1a detects ACCIDENTAL
+ *   divergence only; tamper evidence requires host-side signing.
+ * - `governance` (StudyDoc) sits beside the semantic body: it is neither
+ *   envelope nor integrity-covered; adapters round-trip it opaquely.
+ * - Version acceptance (spec 3.5): wrong-major documents are refused with
+ *   `UNSUPPORTED_VERSION`; same-major unknown minors are accepted, unknown
+ *   fields are preserved (schemas are passthrough), and
+ *   `governance`/`extensions` round-trip opaquely.
+ * - `createdAt` is caller-supplied (purity rule) — this module never reads
+ *   a clock.
+ */
+/** The interchange spec version this package writes. */
+export declare const INTERCHANGE_SPEC_VERSION = "1.0.0";
+/** The spec major this package accepts (spec 3.5: readers accept same-major). */
+export declare 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 declare const INTERCHANGE_PACKAGE_VERSION = "0.2.0";
+export interface GeneratorStamp {
+    name: string;
+    version: string;
+}
+/** Default `generator` stamp for documents authored by this package. */
+export declare const DEFAULT_GENERATOR: GeneratorStamp;
+export declare const DOCUMENT_KINDS: readonly ["triangle", "selection", "method-result", "stochastic-result", "study", "bundle", "crosscheck-report"];
+export type DocumentKind = (typeof DOCUMENT_KINDS)[number];
+/** A 16-hex-char fnv1a64 tag. */
+export declare const integritySchema: z.ZodString;
+export declare const generatorSchema: 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">>;
+/**
+ * The shared envelope fields for a document of the given kind. Doc schemas
+ * spread this shape and add their semantic body key(s); every object is
+ * passthrough so unknown same-major minor fields are preserved, keeping
+ * integrity tags stable across a parse → re-serialize hop.
+ */
+export declare function envelopeShape<K extends DocumentKind>(kind: K): {
+    interchangeVersion: z.ZodString;
+    kind: z.ZodLiteral<K>;
+    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;
+};
+/** Minimal structural view of a document for integrity/version helpers. */
+export interface DocumentLike {
+    kind: string;
+    [key: string]: unknown;
+}
+/**
+ * Extracts the semantic body the integrity tag is defined over. Throws
+ * BAD_INTERCHANGE for unknown kinds or a missing body key.
+ */
+export declare function semanticBodyOf(doc: DocumentLike): unknown;
+/** integrity = fnv1a64(canonicalJson(semantic body)) — spec 3.1. */
+export declare function computeIntegrity(doc: DocumentLike): string;
+/** Returns the document with a freshly computed integrity tag. */
+export declare function stampIntegrity<T extends DocumentLike>(doc: DocumentLike & Omit<T, "integrity">): T;
+export interface IntegrityCheck {
+    ok: boolean;
+    /** The tag recomputed from the semantic body. */
+    expected: string;
+    /** The tag the document claims. */
+    actual: string | null;
+}
+/** Recomputes the tag from the semantic body and compares to the stated one. */
+export declare function verifyIntegrity(doc: DocumentLike): IntegrityCheck;
+export interface ParsedVersion {
+    major: number;
+    minor: number;
+    patch: number;
+}
+/**
+ * Version acceptance (spec 3.5): parses `interchangeVersion` and refuses
+ * wrong-major documents with UNSUPPORTED_VERSION. Unparseable versions are
+ * BAD_INTERCHANGE (a malformed document, not a future one).
+ */
+export declare function acceptVersion(version: unknown): ParsedVersion;
+//# sourceMappingURL=envelope.d.ts.map

package/dist/envelope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.d.ts","sourceRoot":"","sources":["../src/envelope.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,wDAAwD;AACxD,eAAO,MAAM,wBAAwB,UAAU,CAAC;AAEhD,iFAAiF;AACjF,eAAO,MAAM,sBAAsB,IAAI,CAAC;AAExC;;;GAGG;AACH,eAAO,MAAM,2BAA2B,UAAU,CAAC;AAEnD,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,wEAAwE;AACxE,eAAO,MAAM,iBAAiB,EAAE,cAG/B,CAAC;AAEF,eAAO,MAAM,cAAc,kHAQjB,CAAC;AAEX,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAiB3D,iCAAiC;AACjC,eAAO,MAAM,eAAe,aAAqC,CAAC;AAElE,eAAO,MAAM,eAAe;;;;;;;;;gCAEZ,CAAC;AAEjB;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,CAAC,SAAS,YAAY,EAAE,IAAI,EAAE,CAAC;;;;;;;;;;;;;;;;EAS5D;AAED,2EAA2E;AAC3E,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CACxB;AAMD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,YAAY,GAAG,OAAO,CAoBzD;AAED,oEAAoE;AACpE,wBAAgB,gBAAgB,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAE1D;AAED,kEAAkE;AAClE,wBAAgB,cAAc,CAAC,CAAC,SAAS,YAAY,EACnD,GAAG,EAAE,YAAY,GAAG,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,GACvC,CAAC,CAEH;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,OAAO,CAAC;IACZ,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,mCAAmC;IACnC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CACvB;AAED,gFAAgF;AAChF,wBAAgB,eAAe,CAAC,GAAG,EAAE,YAAY,GAAG,cAAc,CAIjE;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,aAAa,CAe7D"}

package/dist/envelope.js

@@ -0,0 +1,139 @@
+import { ReservingError, canonicalJson, fnv1a64 } from "@actuarial-ts/core";
+import { z } from "zod";
+/**
+ * The interchange document envelope (spec 3.1 / 3.5).
+ *
+ * Every interchange document is an envelope around exactly one semantic
+ * body. The envelope carries `interchangeVersion`, `kind`, `generator`,
+ * `createdAt`, `extensions`, and `integrity`; the semantic body is the ONE
+ * kind-named object (`triangle`, `selection`, `result`, `study`,
+ * `report` — and for `kind: "bundle"`, per spec 3.2, the two-field
+ * object `{ bundle, interchange }` the outer tag is defined over).
+ *
+ * Ground truth:
+ * - `integrity` = fnv1a64(canonicalJson(semantic body)) — NEVER the
+ *   envelope. Re-exporting a document through another adapter changes the
+ *   envelope (generator, createdAt), not the tag, so appliesTo-by-tag
+ *   linkage survives cross-language hops. FNV-1a detects ACCIDENTAL
+ *   divergence only; tamper evidence requires host-side signing.
+ * - `governance` (StudyDoc) sits beside the semantic body: it is neither
+ *   envelope nor integrity-covered; adapters round-trip it opaquely.
+ * - Version acceptance (spec 3.5): wrong-major documents are refused with
+ *   `UNSUPPORTED_VERSION`; same-major unknown minors are accepted, unknown
+ *   fields are preserved (schemas are passthrough), and
+ *   `governance`/`extensions` round-trip opaquely.
+ * - `createdAt` is caller-supplied (purity rule) — this module never reads
+ *   a clock.
+ */
+/** The interchange spec version this package writes. */
+export const INTERCHANGE_SPEC_VERSION = "1.0.0";
+/** The spec major this package accepts (spec 3.5: readers accept same-major). */
+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.2.0";
+/** Default `generator` stamp for documents authored by this package. */
+export const DEFAULT_GENERATOR = {
+    name: "@actuarial-ts/interchange",
+    version: INTERCHANGE_PACKAGE_VERSION,
+};
+export const DOCUMENT_KINDS = [
+    "triangle",
+    "selection",
+    "method-result",
+    "stochastic-result",
+    "study",
+    "bundle",
+    "crosscheck-report",
+];
+/**
+ * kind → the top-level key(s) holding the semantic body. Single-key kinds
+ * hash the named object itself; `bundle` hashes `{ bundle, interchange }`
+ * (spec 3.2's outer tag).
+ */
+const SEMANTIC_BODY_KEYS = {
+    triangle: ["triangle"],
+    selection: ["selection"],
+    "method-result": ["result"],
+    "stochastic-result": ["result"],
+    study: ["study"],
+    bundle: ["bundle", "interchange"],
+    "crosscheck-report": ["report"],
+};
+/** A 16-hex-char fnv1a64 tag. */
+export const integritySchema = z.string().regex(/^[0-9a-f]{16}$/);
+export const generatorSchema = z
+    .object({ name: z.string().min(1), version: z.string().min(1) })
+    .passthrough();
+/**
+ * The shared envelope fields for a document of the given kind. Doc schemas
+ * spread this shape and add their semantic body key(s); every object is
+ * passthrough so unknown same-major minor fields are preserved, keeping
+ * integrity tags stable across a parse → re-serialize hop.
+ */
+export function envelopeShape(kind) {
+    return {
+        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(),
+        integrity: integritySchema,
+    };
+}
+function isKnownKind(kind) {
+    return DOCUMENT_KINDS.includes(kind);
+}
+/**
+ * Extracts the semantic body the integrity tag is defined over. Throws
+ * BAD_INTERCHANGE for unknown kinds or a missing body key.
+ */
+export function semanticBodyOf(doc) {
+    if (!isKnownKind(doc.kind)) {
+        throw new ReservingError("BAD_INTERCHANGE", `Unknown document kind "${doc.kind}"; this reader understands: ${DOCUMENT_KINDS.join(", ")}`);
+    }
+    const keys = SEMANTIC_BODY_KEYS[doc.kind];
+    for (const key of keys) {
+        if (doc[key] === undefined) {
+            throw new ReservingError("BAD_INTERCHANGE", `Document of kind "${doc.kind}" is missing its semantic body field "${key}"`);
+        }
+    }
+    if (keys.length === 1)
+        return doc[keys[0]];
+    const body = {};
+    for (const key of keys)
+        body[key] = doc[key];
+    return body;
+}
+/** integrity = fnv1a64(canonicalJson(semantic body)) — spec 3.1. */
+export function computeIntegrity(doc) {
+    return fnv1a64(canonicalJson(semanticBodyOf(doc)));
+}
+/** Returns the document with a freshly computed integrity tag. */
+export function stampIntegrity(doc) {
+    return { ...doc, integrity: computeIntegrity(doc) };
+}
+/** Recomputes the tag from the semantic body and compares to the stated one. */
+export function verifyIntegrity(doc) {
+    const expected = computeIntegrity(doc);
+    const actual = typeof doc["integrity"] === "string" ? doc["integrity"] : null;
+    return { ok: actual === expected, expected, actual };
+}
+/**
+ * Version acceptance (spec 3.5): parses `interchangeVersion` and refuses
+ * wrong-major documents with UNSUPPORTED_VERSION. Unparseable versions are
+ * BAD_INTERCHANGE (a malformed document, not a future one).
+ */
+export function acceptVersion(version) {
+    if (typeof version !== "string" || !/^\d+\.\d+\.\d+$/.test(version)) {
+        throw new ReservingError("BAD_INTERCHANGE", `interchangeVersion must be a MAJOR.MINOR.PATCH string; got ${JSON.stringify(version)}`);
+    }
+    const [major, minor, patch] = version.split(".").map(Number);
+    if (major !== INTERCHANGE_SPEC_MAJOR) {
+        throw new ReservingError("UNSUPPORTED_VERSION", `Interchange version ${version} has major ${major}; this reader accepts major ${INTERCHANGE_SPEC_MAJOR} only`);
+    }
+    return { major, minor, patch };
+}
+//# sourceMappingURL=envelope.js.map

package/dist/envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../src/envelope.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,wDAAwD;AACxD,MAAM,CAAC,MAAM,wBAAwB,GAAG,OAAO,CAAC;AAEhD,iFAAiF;AACjF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC;AAExC;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,OAAO,CAAC;AAOnD,wEAAwE;AACxE,MAAM,CAAC,MAAM,iBAAiB,GAAmB;IAC/C,IAAI,EAAE,2BAA2B;IACjC,OAAO,EAAE,2BAA2B;CACrC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,UAAU;IACV,WAAW;IACX,eAAe;IACf,mBAAmB;IACnB,OAAO;IACP,QAAQ;IACR,mBAAmB;CACX,CAAC;AAIX;;;;GAIG;AACH,MAAM,kBAAkB,GAA4C;IAClE,QAAQ,EAAE,CAAC,UAAU,CAAC;IACtB,SAAS,EAAE,CAAC,WAAW,CAAC;IACxB,eAAe,EAAE,CAAC,QAAQ,CAAC;IAC3B,mBAAmB,EAAE,CAAC,QAAQ,CAAC;IAC/B,KAAK,EAAE,CAAC,OAAO,CAAC;IAChB,MAAM,EAAE,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,mBAAmB,EAAE,CAAC,QAAQ,CAAC;CAChC,CAAC;AAEF,iCAAiC;AACjC,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAElE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC;KAC7B,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;KAC/D,WAAW,EAAE,CAAC;AAEjB;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAyB,IAAO;IAC3D,OAAO;QACL,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;QACvD,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QACrB,SAAS,EAAE,eAAe;QAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAChD,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;QAC5C,SAAS,EAAE,eAAe;KAC3B,CAAC;AACJ,CAAC;AAQD,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAQ,cAAoC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,cAAc,CAAC,GAAiB;IAC9C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,cAAc,CACtB,iBAAiB,EACjB,0BAA0B,GAAG,CAAC,IAAI,+BAA+B,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,cAAc,CACtB,iBAAiB,EACjB,qBAAqB,GAAG,CAAC,IAAI,yCAAyC,GAAG,GAAG,CAC7E,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;IAC5C,MAAM,IAAI,GAA4B,EAAE,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,gBAAgB,CAAC,GAAiB;IAChD,OAAO,OAAO,CAAC,aAAa,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,cAAc,CAC5B,GAAwC;IAExC,OAAO,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,gBAAgB,CAAC,GAAG,CAAC,EAAkB,CAAC;AACtE,CAAC;AAUD,gFAAgF;AAChF,MAAM,UAAU,eAAe,CAAC,GAAiB;IAC/C,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,GAAG,CAAC,WAAW,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,GAAG,CAAC,WAAW,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1F,OAAO,EAAE,EAAE,EAAE,MAAM,KAAK,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACvD,CAAC;AAQD;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACpE,MAAM,IAAI,cAAc,CACtB,iBAAiB,EACjB,8DAA8D,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAA6B,CAAC;IACzF,IAAI,KAAK,KAAK,sBAAsB,EAAE,CAAC;QACrC,MAAM,IAAI,cAAc,CACtB,qBAAqB,EACrB,uBAAuB,OAAO,cAAc,KAAK,+BAA+B,sBAAsB,OAAO,CAC9G,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AACjC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,15 @@
+export * from "./envelope.js";
+export * from "./parse.js";
+export * from "./schemas/triangle.js";
+export * from "./schemas/selection.js";
+export * from "./schemas/result.js";
+export * from "./schemas/study.js";
+export * from "./schemas/bundle.js";
+export * from "./schemas/crosscheck.js";
+export * from "./schemas/manifest.js";
+export * from "./convert/triangle.js";
+export * from "./convert/selection.js";
+export * from "./convert/result.js";
+export * from "./referee/profiles.js";
+export * from "./referee/crosscheck.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,uBAAuB,CAAC;AACtC,cAAc,wBAAwB,CAAC;AACvC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,uBAAuB,CAAC;AACtC,cAAc,uBAAuB,CAAC;AACtC,cAAc,wBAAwB,CAAC;AACvC,cAAc,qBAAqB,CAAC;AACpC,cAAc,uBAAuB,CAAC;AACtC,cAAc,yBAAyB,CAAC"}

package/dist/index.js

@@ -0,0 +1,15 @@
+export * from "./envelope.js";
+export * from "./parse.js";
+export * from "./schemas/triangle.js";
+export * from "./schemas/selection.js";
+export * from "./schemas/result.js";
+export * from "./schemas/study.js";
+export * from "./schemas/bundle.js";
+export * from "./schemas/crosscheck.js";
+export * from "./schemas/manifest.js";
+export * from "./convert/triangle.js";
+export * from "./convert/selection.js";
+export * from "./convert/result.js";
+export * from "./referee/profiles.js";
+export * from "./referee/crosscheck.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,YAAY,CAAC;AAC3B,cAAc,uBAAuB,CAAC;AACtC,cAAc,wBAAwB,CAAC;AACvC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,yBAAyB,CAAC;AACxC,cAAc,uBAAuB,CAAC;AACtC,cAAc,uBAAuB,CAAC;AACtC,cAAc,wBAAwB,CAAC;AACvC,cAAc,qBAAqB,CAAC;AACpC,cAAc,uBAAuB,CAAC;AACtC,cAAc,yBAAyB,CAAC"}

package/dist/parse.d.ts

@@ -0,0 +1,38 @@
+import type { TriangleDoc } from "./schemas/triangle.js";
+import type { SelectionDoc } from "./schemas/selection.js";
+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";
+/**
+ * `parseDocument` (spec 4.1): version-checked, schema-validated,
+ * integrity-verified, warning-channeled entry point for any interchange
+ * document.
+ *
+ * Order of checks:
+ * 1. version acceptance (spec 3.5) — wrong major → UNSUPPORTED_VERSION;
+ * 2. kind dispatch — unknown kind → BAD_INTERCHANGE (a new kind is a spec
+ *    minor this reader does not know how to interpret; refusing loudly
+ *    beats pretending);
+ * 3. zod validation (passthrough: unknown same-major minor fields are
+ *    preserved, so a parse → re-serialize hop keeps the integrity tag);
+ * 4. integrity verification — per `strictness`, a mismatched tag either
+ *    refuses (default; accidental divergence is what the tag exists to
+ *    catch) or warns.
+ *
+ * Reader-side capability warnings (spec 3.2): a triangle with
+ * originLengthMonths 1 or 6 parses successfully and reports a warning
+ * that computation support is limited — a reader capability note, not a
+ * format error.
+ */
+export type InterchangeDocument = TriangleDoc | SelectionDoc | MethodResultDoc | StochasticResultDoc | StudyDoc | BundleDoc | CrosscheckReportDoc;
+export interface ParseDocumentOptions {
+    /** How to treat a failed integrity check. Default "refuse". */
+    strictness?: "warn" | "refuse";
+}
+export interface ParsedDocument {
+    doc: InterchangeDocument;
+    warnings: string[];
+}
+export declare function parseDocument(value: unknown, options?: ParseDocumentOptions): ParsedDocument;
+//# sourceMappingURL=parse.d.ts.map

package/dist/parse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.d.ts","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAChF,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAEnE;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,MAAM,MAAM,mBAAmB,GAC3B,WAAW,GACX,YAAY,GACZ,eAAe,GACf,mBAAmB,GACnB,QAAQ,GACR,SAAS,GACT,mBAAmB,CAAC;AAExB,MAAM,WAAW,oBAAoB;IACnC,+DAA+D;IAC/D,UAAU,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC;CAChC;AAED,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,mBAAmB,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAYD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,OAAO,EACd,OAAO,GAAE,oBAAyB,GACjC,cAAc,CAsDhB"}

package/dist/parse.js

@@ -0,0 +1,48 @@
+import { ReservingError } from "@actuarial-ts/core";
+import { DOCUMENT_KINDS, acceptVersion, verifyIntegrity, } from "./envelope.js";
+import { INTERCHANGE_SCHEMA_MANIFEST } from "./schemas/manifest.js";
+const SCHEMA_BY_KIND = new Map(INTERCHANGE_SCHEMA_MANIFEST.map((entry) => [entry.kind, entry.schema]));
+function formatZodError(error) {
+    return error.issues
+        .map((issue) => `${issue.path.length > 0 ? `$.${issue.path.join(".")}` : "$"}: ${issue.message}`)
+        .join("; ");
+}
+export function parseDocument(value, options = {}) {
+    const strictness = options.strictness ?? "refuse";
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        throw new ReservingError("BAD_INTERCHANGE", "An interchange document must be a JSON object with interchangeVersion and kind");
+    }
+    const raw = value;
+    acceptVersion(raw["interchangeVersion"]);
+    const kind = raw["kind"];
+    const schema = typeof kind === "string" ? SCHEMA_BY_KIND.get(kind) : undefined;
+    if (schema === undefined) {
+        throw new ReservingError("BAD_INTERCHANGE", `Unknown document kind ${JSON.stringify(kind)}; this reader understands: ${DOCUMENT_KINDS.join(", ")}`);
+    }
+    const parsed = schema.safeParse(raw);
+    if (!parsed.success) {
+        throw new ReservingError("BAD_INTERCHANGE", `Document of kind "${String(kind)}" failed schema validation: ${formatZodError(parsed.error)}`);
+    }
+    const doc = parsed.data;
+    const warnings = [];
+    const integrity = verifyIntegrity(doc);
+    if (!integrity.ok) {
+        const message = `Integrity tag mismatch on kind "${doc.kind}": document states ` +
+            `${integrity.actual ?? "(none)"} but the semantic body hashes to ${integrity.expected}. ` +
+            "The document diverged from its stated content after it was stamped.";
+        if (strictness === "refuse") {
+            throw new ReservingError("BAD_INTERCHANGE", message);
+        }
+        warnings.push(message);
+    }
+    if (doc.kind === "triangle") {
+        const cadence = doc.triangle.originLengthMonths;
+        if (cadence === 1 || cadence === 6) {
+            warnings.push(`originLengthMonths ${cadence} (${cadence === 1 ? "monthly" : "semiannual"}) parsed ` +
+                "successfully, but actuarial-ts computes natively on 12- and 3-month cadences; " +
+                "computation support for this triangle is limited");
+        }
+    }
+    return { doc, warnings };
+}
+//# sourceMappingURL=parse.js.map

package/dist/parse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse.js","sourceRoot":"","sources":["../src/parse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD,OAAO,EAEL,cAAc,EACd,aAAa,EACb,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AAiDpE,MAAM,cAAc,GAA4C,IAAI,GAAG,CACrE,2BAA2B,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CACvE,CAAC;AAEF,SAAS,cAAc,CAAC,KAAiB;IACvC,OAAO,KAAK,CAAC,MAAM;SAChB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;SAChG,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAc,EACd,UAAgC,EAAE;IAElC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,QAAQ,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,cAAc,CACtB,iBAAiB,EACjB,gFAAgF,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAgC,CAAC;IAC7C,aAAa,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC;IAEzC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAoB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/F,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,cAAc,CACtB,iBAAiB,EACjB,yBAAyB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,8BAA8B,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACvG,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,cAAc,CACtB,iBAAiB,EACjB,qBAAqB,MAAM,CAAC,IAAI,CAAC,+BAA+B,cAAc,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAC/F,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,CAAC,IAA2B,CAAC;IAE/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,OAAO,GACX,mCAAmC,GAAG,CAAC,IAAI,qBAAqB;YAChE,GAAG,SAAS,CAAC,MAAM,IAAI,QAAQ,oCAAoC,SAAS,CAAC,QAAQ,IAAI;YACzF,qEAAqE,CAAC;QACxE,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,IAAI,cAAc,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QACvD,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IAED,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,kBAAkB,CAAC;QAChD,IAAI,OAAO,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CACX,sBAAsB,OAAO,KAAK,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,WAAW;gBACnF,gFAAgF;gBAChF,kDAAkD,CACrD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC"}

package/dist/referee/crosscheck.d.ts

@@ -0,0 +1,38 @@
+import { type GeneratorStamp } from "../envelope.js";
+import { type MethodResultDoc } from "../schemas/result.js";
+import { type SelectionDoc } from "../schemas/selection.js";
+import { type CrosscheckReportDoc } from "../schemas/crosscheck.js";
+/**
+ * The referee (spec 5): deterministic cross-implementation comparison of
+ * two MethodResultDocs. NOT an agent (G5) — no judgment, no persuasion,
+ * just tags, deviations, tolerances, and a verdict.
+ *
+ * - Comparability: same triangle tag; same selection tag or both null;
+ *   convention profiles must not conflict; origin sets must match.
+ * - Tolerance: explicit option > shared known profile > the
+ *   deterministic-cl default (with a warning). mack1993-vw compares SEs at
+ *   its own SE tolerance; a profile with SEs out of scope skips them.
+ * - requested ≠ effective (`effectiveParameters` present on either side)
+ *   downgrades the comparison with a comparability warning (spec 3.2).
+ * - `verified-by-value`: within tolerance but the selection both results
+ *   replayed is value-only — the engines applied the same values rather
+ *   than independently recomputing, and the verdict says so.
+ */
+export interface CrosscheckOptions {
+    a: MethodResultDoc;
+    b: MethodResultDoc;
+    /** Overrides the profile tolerance. A bare number applies to central
+     * estimates AND standard errors. */
+    tolerance?: number | {
+        central: number;
+        standardError?: number;
+    };
+    /** The selection both results applied, when one exists — enables the
+     * verified-by-value classification. */
+    selection?: SelectionDoc;
+    /** ISO timestamp for the report envelope (caller-supplied; purity rule). */
+    createdAt: string;
+    generator?: GeneratorStamp;
+}
+export declare function crosscheck(options: CrosscheckOptions): CrosscheckReportDoc;
+//# sourceMappingURL=crosscheck.d.ts.map

package/dist/referee/crosscheck.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"crosscheck.d.ts","sourceRoot":"","sources":["../../src/referee/crosscheck.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,cAAc,EAGpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,KAAK,eAAe,EAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,YAAY,EAGlB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAEL,KAAK,mBAAmB,EAEzB,MAAM,0BAA0B,CAAC;AAGlC;;;;;;;;;;;;;;;GAeG;AAEH,MAAM,WAAW,iBAAiB;IAChC,CAAC,EAAE,eAAe,CAAC;IACnB,CAAC,EAAE,eAAe,CAAC;IACnB;wCACoC;IACpC,SAAS,CAAC,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACjE;2CACuC;IACvC,SAAS,CAAC,EAAE,YAAY,CAAC;IACzB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,cAAc,CAAC;CAC5B;AAmED,wBAAgB,UAAU,CAAC,OAAO,EAAE,iBAAiB,GAAG,mBAAmB,CAwM1E"}