@actuarial-ts/compliance 0.1.0

package/dist/bundle.js

@@ -0,0 +1,214 @@
+/**
+ * Reproducibility bundle: canonical JSON serialization + a tiny integrity
+ * hash, so an analysis can state "these results came from exactly these
+ * inputs, parameters, and SDK versions" and a re-run can be byte-verified.
+ *
+ * Ground truth:
+ * - `canonicalJson` is the package's single equality oracle: object keys are
+ *   sorted recursively, arrays keep their order, numbers render via
+ *   `String(n)` except -0 which normalizes to "0" (so 0 and -0 never differ),
+ *   and anything JSON cannot faithfully represent (undefined, functions,
+ *   NaN/Infinity, bigint, symbol, non-plain objects such as Date/Map/Set,
+ *   circular references) THROWS with the offending path instead of being
+ *   silently dropped or coerced the way JSON.stringify would.
+ * - `fnv1a64` is an integrity aid, NOT a security control (see its doc block).
+ * - Timestamps are caller-supplied ISO strings; this module never reads a
+ *   clock, so identical inputs yield byte-identical bundles.
+ * - Browser-safe: no node builtins (TextEncoder is a web-standard global).
+ *
+ * Error style for the whole package: `ComplianceError` with a registered
+ * machine code, mirroring core's `ReservingError` idiom. It lives here (not
+ * in its own module) because bundle.ts is the package's dependency-root
+ * module — ledger.ts already imports `canonicalJson` from it. Core's
+ * `RESERVING_ERROR_CODES` registry is a closed contract enforced against
+ * core's own source, and compliance failures (missing rationale, unsupported
+ * bundle values) are not reserving-input errors, so this package does not
+ * reuse `ReservingError`.
+ *
+ * These utilities are designed to support the actuary's compliance with
+ * ASOP No. 41 (documentation and reproducibility of the analysis);
+ * responsibility for compliance remains with the credentialed actuary.
+ */
+/**
+ * Every machine-readable code a ComplianceError can carry, across all modules
+ * of this package. Add the code here when introducing a new throw.
+ */
+export const COMPLIANCE_ERROR_CODES = [
+    "BAD_BUNDLE",
+    "BAD_CDF",
+    "MISSING_RATIONALE",
+    "UNSUPPORTED_VALUE",
+];
+/** Thrown for invalid compliance input (unrepresentable bundle payloads, judgment without rationale, non-positive CDFs). */
+export class ComplianceError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.name = "ComplianceError";
+        this.code = code;
+    }
+}
+function isPlainObject(value) {
+    if (value === null || typeof value !== "object" || Array.isArray(value))
+        return false;
+    const proto = Object.getPrototypeOf(value);
+    return proto === Object.prototype || proto === null;
+}
+function canonicalize(value, path, seen) {
+    if (value === null)
+        return "null";
+    switch (typeof value) {
+        case "string":
+            return JSON.stringify(value);
+        case "boolean":
+            return value ? "true" : "false";
+        case "number": {
+            if (!Number.isFinite(value)) {
+                throw new ComplianceError("UNSUPPORTED_VALUE", `non-finite number (${String(value)}) at ${path}`);
+            }
+            return Object.is(value, -0) ? "0" : String(value);
+        }
+        case "undefined":
+            throw new ComplianceError("UNSUPPORTED_VALUE", `undefined at ${path}`);
+        case "function":
+            throw new ComplianceError("UNSUPPORTED_VALUE", `function at ${path}`);
+        case "bigint":
+        case "symbol":
+            throw new ComplianceError("UNSUPPORTED_VALUE", `${typeof value} at ${path}`);
+        case "object":
+            break;
+    }
+    const obj = value;
+    if (seen.has(obj)) {
+        throw new ComplianceError("UNSUPPORTED_VALUE", `circular reference at ${path}`);
+    }
+    seen.add(obj);
+    let out;
+    if (Array.isArray(obj)) {
+        const parts = [];
+        for (let i = 0; i < obj.length; i++) {
+            parts.push(canonicalize(obj[i], `${path}[${i}]`, seen));
+        }
+        out = `[${parts.join(",")}]`;
+    }
+    else if (isPlainObject(obj)) {
+        const keys = Object.keys(obj).sort();
+        const parts = [];
+        for (const key of keys) {
+            parts.push(`${JSON.stringify(key)}:${canonicalize(obj[key], `${path}.${key}`, seen)}`);
+        }
+        out = `{${parts.join(",")}}`;
+    }
+    else {
+        const name = obj.constructor?.name ?? "unknown";
+        throw new ComplianceError("UNSUPPORTED_VALUE", `non-plain object (${name}) at ${path}; only plain objects, arrays, and JSON primitives are canonicalizable`);
+    }
+    seen.delete(obj);
+    return out;
+}
+/**
+ * Deterministic JSON serialization: sorted object keys (recursively), arrays
+ * in order, no whitespace, -0 normalized to "0". Two structurally equal
+ * values always produce the same string regardless of key insertion order.
+ * Throws ComplianceError("UNSUPPORTED_VALUE") — with the offending path, e.g.
+ * "$.rows[2].ultimate" — for any value JSON cannot faithfully represent.
+ */
+export function canonicalJson(value) {
+    return canonicalize(value, "$", new Set());
+}
+const FNV_OFFSET_BASIS = 0xcbf29ce484222325n;
+const FNV_PRIME = 0x100000001b3n;
+const MASK_64 = 0xffffffffffffffffn;
+/**
+ * FNV-1a 64-bit hash over the UTF-8 bytes of `text`, returned as a 16-hex-char
+ * string.
+ *
+ * This is an INTEGRITY AID for detecting accidental divergence between a
+ * bundle and a re-run. It is NOT a security control: FNV-1a is not collision
+ * resistant and offers no protection against deliberate tampering. Anyone
+ * needing tamper evidence must sign or cryptographically hash the payload
+ * (which is exactly why the full canonical payload — not just the hash — is
+ * stored on the bundle).
+ */
+export function fnv1a64(text) {
+    const bytes = new TextEncoder().encode(text);
+    let hash = FNV_OFFSET_BASIS;
+    for (const byte of bytes) {
+        hash ^= BigInt(byte);
+        hash = (hash * FNV_PRIME) & MASK_64;
+    }
+    return hash.toString(16).padStart(16, "0");
+}
+/**
+ * Packages an analysis run into a reproducibility bundle. The payload is
+ * canonical, so two runs with structurally equal inputs produce byte-identical
+ * payloads (and therefore identical hashes) regardless of key insertion order.
+ * `seeds` is included only when provided (undefined would be unrepresentable).
+ */
+export function createBundle(input) {
+    const body = {
+        createdAt: input.createdAt,
+        inputs: input.inputs,
+        parameters: input.parameters,
+        results: input.results,
+        sdkVersions: input.sdkVersions,
+    };
+    if (input.seeds !== undefined)
+        body["seeds"] = input.seeds;
+    const payload = canonicalJson(body);
+    return { payload, hash: fnv1a64(payload) };
+}
+/** First differing path between two canonicalizable structures, or null when equal. */
+function firstDifference(stored, rerun, path) {
+    if (isPlainObject(stored) && isPlainObject(rerun)) {
+        const keys = [...new Set([...Object.keys(stored), ...Object.keys(rerun)])].sort();
+        for (const key of keys) {
+            const keyPath = `${path}.${key}`;
+            if (!(key in stored) || !(key in rerun))
+                return keyPath;
+            const diff = firstDifference(stored[key], rerun[key], keyPath);
+            if (diff !== null)
+                return diff;
+        }
+        return null;
+    }
+    if (Array.isArray(stored) && Array.isArray(rerun)) {
+        const shared = Math.min(stored.length, rerun.length);
+        for (let i = 0; i < shared; i++) {
+            const diff = firstDifference(stored[i], rerun[i], `${path}[${i}]`);
+            if (diff !== null)
+                return diff;
+        }
+        return stored.length === rerun.length ? null : `${path}[${shared}]`;
+    }
+    return canonicalJson(stored) === canonicalJson(rerun) ? null : path;
+}
+/**
+ * Verifies a re-run against a bundle: canonicalizes `rerunResults` and
+ * byte-compares it with the bundle's stored `results` segment. On mismatch,
+ * reports the FIRST differing path (see VerifyBundleResult.mismatchPath).
+ *
+ * Throws ComplianceError("BAD_BUNDLE") when the payload is not a valid bundle
+ * body, and propagates ComplianceError("UNSUPPORTED_VALUE") when
+ * `rerunResults` itself is not canonicalizable — a result that cannot be
+ * serialized cannot be verified.
+ */
+export function verifyBundle(bundle, rerunResults) {
+    let stored;
+    try {
+        stored = JSON.parse(bundle.payload);
+    }
+    catch {
+        throw new ComplianceError("BAD_BUNDLE", "bundle payload is not valid JSON");
+    }
+    if (!isPlainObject(stored) || !("results" in stored)) {
+        throw new ComplianceError("BAD_BUNDLE", 'bundle payload has no "results" segment');
+    }
+    const storedResults = stored["results"];
+    const rerunCanonical = canonicalJson(rerunResults);
+    const storedCanonical = canonicalJson(storedResults);
+    if (rerunCanonical === storedCanonical)
+        return { reproduced: true };
+    return { reproduced: false, mismatchPath: firstDifference(storedResults, rerunResults, "$") ?? "$" };
+}
+//# sourceMappingURL=bundle.js.map

package/dist/bundle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundle.js","sourceRoot":"","sources":["../src/bundle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,YAAY;IACZ,SAAS;IACT,mBAAmB;IACnB,mBAAmB;CACX,CAAC;AAIX,4HAA4H;AAC5H,MAAM,OAAO,eAAgB,SAAQ,KAAK;IAC/B,IAAI,CAAsB;IACnC,YAAY,IAAyB,EAAE,OAAe;QACpD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,KAAK,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACpD,OAAO,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,CAAC;AACtD,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,IAAY,EAAE,IAAiB;IACnE,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAClC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,eAAe,CAAC,mBAAmB,EAAE,sBAAsB,MAAM,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;YACpG,CAAC;YACD,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpD,CAAC;QACD,KAAK,WAAW;YACd,MAAM,IAAI,eAAe,CAAC,mBAAmB,EAAE,gBAAgB,IAAI,EAAE,CAAC,CAAC;QACzE,KAAK,UAAU;YACb,MAAM,IAAI,eAAe,CAAC,mBAAmB,EAAE,eAAe,IAAI,EAAE,CAAC,CAAC;QACxE,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ;YACX,MAAM,IAAI,eAAe,CAAC,mBAAmB,EAAE,GAAG,OAAO,KAAK,OAAO,IAAI,EAAE,CAAC,CAAC;QAC/E,KAAK,QAAQ;YACX,MAAM;IACV,CAAC;IACD,MAAM,GAAG,GAAG,KAAe,CAAC;IAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,MAAM,IAAI,eAAe,CAAC,mBAAmB,EAAE,yBAAyB,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACd,IAAI,GAAW,CAAC;IAChB,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QAC1D,CAAC;QACD,GAAG,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/B,CAAC;SAAM,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QACrC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC;QACD,GAAG,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/B,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAI,GAAG,CAAC,WAA6C,EAAE,IAAI,IAAI,SAAS,CAAC;QACnF,MAAM,IAAI,eAAe,CACvB,mBAAmB,EACnB,qBAAqB,IAAI,QAAQ,IAAI,uEAAuE,CAC7G,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACjB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,OAAO,YAAY,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAC7C,MAAM,SAAS,GAAG,cAAc,CAAC;AACjC,MAAM,OAAO,GAAG,mBAAmB,CAAC;AAEpC;;;;;;;;;;GAUG;AACH,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,gBAAgB,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,GAAG,CAAC,IAAI,GAAG,SAAS,CAAC,GAAG,OAAO,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAwBD;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAAC,KAAwB;IACnD,MAAM,IAAI,GAA4B;QACpC,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAC;IACF,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;IAC3D,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;AAC7C,CAAC;AAcD,uFAAuF;AACvF,SAAS,eAAe,CAAC,MAAe,EAAE,KAAc,EAAE,IAAY;IACpE,IAAI,aAAa,CAAC,MAAM,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAClF,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC;YACjC,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YACxD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;YAC/D,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;QACjC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;YACnE,IAAI,IAAI,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;QACjC,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,MAAM,GAAG,CAAC;IACtE,CAAC;IACD,OAAO,aAAa,CAAC,MAAM,CAAC,KAAK,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACtE,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,YAAY,CAAC,MAA6B,EAAE,YAAqB;IAC/E,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,eAAe,CAAC,YAAY,EAAE,kCAAkC,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,eAAe,CAAC,YAAY,EAAE,yCAAyC,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,cAAc,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;IACrD,IAAI,cAAc,KAAK,eAAe;QAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACpE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,YAAY,EAAE,eAAe,CAAC,aAAa,EAAE,YAAY,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC;AACvG,CAAC"}

package/dist/disclosure.d.ts

@@ -0,0 +1,76 @@
+import type { EstimateMetadata } from "./metadata.js";
+import type { AssumptionLedger, ChangedAssumptions } from "./ledger.js";
+import { type MethodId } from "./modelCards.js";
+/**
+ * ASOP No. 41 (Actuarial Communications) disclosure generator.
+ *
+ * ASOP 41 requires disclosure of the methods, procedures, assumptions, and
+ * data underlying the findings with enough clarity that another qualified
+ * actuary could objectively appraise the reasonableness of the work. The
+ * SDK already knows every method invoked, every parameter, and (through the
+ * assumption ledger) which values were machine defaults versus human or
+ * agent judgment — so it can render that appendix instead of the actuary
+ * reconstructing it by hand.
+ *
+ * DETERMINISM CONTRACT: identical DisclosureInput yields byte-identical
+ * markdown. No clock reads, no randomness — `generatedAt` is an input.
+ *
+ * The generated document is a DRAFT SUPPORT DOCUMENT for the responsible
+ * actuary to review, edit, and adopt; generating it is not compliance.
+ */
+export interface MethodResultSummary {
+    ultimate?: number;
+    ibnr?: number;
+    unpaid?: number;
+    standardError?: number;
+}
+export interface MethodUse {
+    methodId: MethodId;
+    /** e.g. "paid", "incurred", "capped layer". */
+    basisLabel?: string;
+    /** The parameters the method actually ran with (JSON-serializable). */
+    parameters?: unknown;
+    resultSummary?: MethodResultSummary;
+}
+/**
+ * Structural stand-in for @actuarial-ts/data's DataReviewReport (no package
+ * dependency; anything with this shape renders).
+ */
+export interface DataReviewLike {
+    checks: {
+        id: string;
+        description: string;
+        status: string;
+        details: string[];
+    }[];
+    summary: {
+        pass: number;
+        warning: number;
+        fail: number;
+        notEvaluated?: number;
+    };
+}
+export interface PriorComparison {
+    priorLabel?: string;
+    changes: ChangedAssumptions;
+    priorReserve?: number;
+    currentReserve?: number;
+}
+export interface DisclosureInput {
+    title?: string;
+    /** Identification of the responsible actuary (ASOP 41 section 3.1.4). */
+    preparedBy?: string;
+    metadata: EstimateMetadata;
+    methods: MethodUse[];
+    ledger?: AssumptionLedger;
+    dataReview?: DataReviewLike;
+    priorComparison?: PriorComparison;
+    reliances?: string[];
+    limitations?: string[];
+    sdkVersion: string;
+    /** Caller-supplied ISO timestamp (determinism: the generator never reads a clock). */
+    generatedAt: string;
+}
+/** Renders the ASOP 41-oriented methods-assumptions-and-data appendix. */
+export declare function generateDisclosure(input: DisclosureInput): string;
+//# sourceMappingURL=disclosure.d.ts.map

package/dist/disclosure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disclosure.d.ts","sourceRoot":"","sources":["../src/disclosure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACxE,OAAO,EAAe,KAAK,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAG7D;;;;;;;;;;;;;;;;GAgBG;AAEH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,EAAE,QAAQ,CAAC;IACnB,+CAA+C;IAC/C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,uEAAuE;IACvE,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,aAAa,CAAC,EAAE,mBAAmB,CAAC;CACrC;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,EAAE,CAAA;KAAE,EAAE,CAAC;IACjF,OAAO,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CACjF;AAED,MAAM,WAAW,eAAe;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,kBAAkB,CAAC;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,yEAAyE;IACzE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,gBAAgB,CAAC;IAC3B,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,UAAU,CAAC,EAAE,cAAc,CAAC;IAC5B,eAAe,CAAC,EAAE,eAAe,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,sFAAsF;IACtF,WAAW,EAAE,MAAM,CAAC;CACrB;AAkDD,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,eAAe,GAAG,MAAM,CA+KjE"}

package/dist/disclosure.js

@@ -0,0 +1,204 @@
+import { MODEL_CARDS } from "./modelCards.js";
+import { canonicalJson, fnv1a64 } from "./bundle.js";
+const fmtNumber = (v) => Number.isInteger(v) ? v.toLocaleString("en-US") : v.toLocaleString("en-US", { maximumFractionDigits: 2 });
+function describeMeasure(m) {
+    switch (m.kind) {
+        case "central-estimate":
+            return "central estimate (actuarial central estimate / expected value)";
+        case "high-estimate":
+            return "high estimate";
+        case "low-estimate":
+            return "low estimate";
+        case "specified-percentile":
+            return `specified percentile (${m.percentile ?? "unstated"})`;
+        case "range":
+            return "range of reasonable estimates";
+    }
+}
+function describeBasis(b) {
+    const gross = {
+        gross: "gross of reinsurance",
+        "net-of-reinsurance": "net of reinsurance",
+        "net-of-salvage-subro": "net of salvage and subrogation",
+        "net-all": "net of reinsurance, salvage, and subrogation",
+    }[b.grossNet];
+    const lae = {
+        "excluding-lae": "excluding loss adjustment expenses",
+        "including-all-lae": "including all loss adjustment expenses",
+        "dcc-only": "including defense and cost containment (DCC) expenses only",
+        "aao-only": "including adjusting and other (A&O) expenses only",
+    }[b.laeTreatment];
+    return `${gross}, ${lae}`;
+}
+function mdTable(header, rows) {
+    const out = [];
+    out.push(`| ${header.join(" | ")} |`);
+    out.push(`|${header.map(() => "---").join("|")}|`);
+    for (const r of rows)
+        out.push(`| ${r.join(" | ")} |`);
+    return out;
+}
+function parameterLines(parameters) {
+    if (parameters === undefined || parameters === null)
+        return "(engine defaults)";
+    const json = canonicalJson(parameters);
+    return json.length > 400 ? `${json.slice(0, 400)}… (truncated; full value in the reproducibility bundle)` : json;
+}
+/** Renders the ASOP 41-oriented methods-assumptions-and-data appendix. */
+export function generateDisclosure(input) {
+    const L = [];
+    const m = input.metadata;
+    L.push(`# ${input.title ?? "Actuarial analysis: methods, assumptions, and data disclosure"}`);
+    L.push("");
+    L.push("> Draft support document generated by the actuarial-ts SDK for the responsible actuary's review and adoption. It is designed to support disclosures under ASOP Nos. 41, 43, 23, and 56; responsibility for the actuarial communication and for compliance with the ASOPs remains with the credentialed actuary.");
+    L.push("");
+    // 1. Identification, purpose, users, measure.
+    L.push("## 1. Identification and intended purpose");
+    L.push("");
+    if (input.preparedBy)
+        L.push(`- **Responsible actuary / preparer:** ${input.preparedBy}`);
+    L.push(`- **Intended purpose:** ${m.intendedPurpose}`);
+    if (m.intendedUsers && m.intendedUsers.length > 0) {
+        L.push(`- **Intended users:** ${m.intendedUsers.join("; ")}`);
+    }
+    L.push(`- **Intended measure:** ${describeMeasure(m.intendedMeasure)}`);
+    L.push(`- **Generated:** ${input.generatedAt} — actuarial-ts SDK v${input.sdkVersion}`);
+    L.push("");
+    // 2. Scope, dates, basis.
+    L.push("## 2. Scope, dates, and basis");
+    L.push("");
+    L.push(`- **Accounting date:** ${m.accountingDate}`);
+    L.push(`- **Valuation date:** ${m.valuationDate}`);
+    if (m.reviewDate)
+        L.push(`- **Review date:** ${m.reviewDate}`);
+    L.push(`- **Basis:** ${describeBasis(m.basis)}`);
+    if (m.currency)
+        L.push(`- **Currency:** ${m.currency}`);
+    if (m.scopeNotes)
+        L.push(`- **Scope notes:** ${m.scopeNotes}`);
+    L.push("");
+    // 3. Data review (ASOP 23).
+    L.push("## 3. Data and data review (ASOP No. 23)");
+    L.push("");
+    if (input.dataReview) {
+        const r = input.dataReview;
+        const notEvaluated = r.summary.notEvaluated ?? 0;
+        L.push(`A data review was performed: ${r.checks.length} checks (${r.summary.pass} pass, ${r.summary.warning} warning, ${r.summary.fail} fail${notEvaluated > 0 ? `, ${notEvaluated} not evaluated` : ""}). The checks performed, and their findings, were:`);
+        L.push("");
+        L.push(...mdTable(["Check", "Description", "Status", "Findings"], r.checks.map((c) => [
+            c.id,
+            c.description,
+            c.status.toUpperCase(),
+            c.details.length === 0 ? "none" : c.details.join("<br>"),
+        ])));
+    }
+    else {
+        L.push("No automated data review report was attached. ASOP No. 23 requires the actuary to review data for reasonableness, consistency, and completeness, or to disclose that no such review was performed and the limitations that imposes.");
+    }
+    L.push("");
+    // 4. Methods and models (ASOP 56).
+    L.push("## 4. Methods and models (ASOP No. 56)");
+    L.push("");
+    for (const use of input.methods) {
+        const card = MODEL_CARDS[use.methodId];
+        L.push(`### ${card.title}${use.basisLabel ? ` — ${use.basisLabel}` : ""}`);
+        L.push("");
+        L.push(`- **Intended use:** ${card.intendedUse}`);
+        L.push(`- **Specification:** ${card.specification}`);
+        L.push(`- **Key assumptions:** ${card.keyAssumptions.join(" ")}`);
+        L.push(`- **Known weaknesses:** ${card.weaknesses.join(" ")}`);
+        L.push(`- **Primary sensitivities:** ${card.sensitivities.join(" ")}`);
+        L.push(`- **Literature:** ${card.literature.join("; ")}`);
+        L.push(`- **Parameters this analysis ran with:** \`${parameterLines(use.parameters)}\``);
+        if (use.resultSummary) {
+            const s = use.resultSummary;
+            const bits = [];
+            if (s.ultimate !== undefined)
+                bits.push(`ultimate ${fmtNumber(s.ultimate)}`);
+            if (s.ibnr !== undefined)
+                bits.push(`IBNR ${fmtNumber(s.ibnr)}`);
+            if (s.unpaid !== undefined)
+                bits.push(`unpaid ${fmtNumber(s.unpaid)}`);
+            if (s.standardError !== undefined)
+                bits.push(`standard error ${fmtNumber(s.standardError)}`);
+            if (bits.length > 0)
+                L.push(`- **Indicated:** ${bits.join(", ")}`);
+        }
+        L.push("");
+    }
+    // 5. Assumptions and judgments.
+    L.push("## 5. Assumptions and judgments");
+    L.push("");
+    if (input.ledger && input.ledger.entries.length > 0) {
+        L.push("Every recorded assumption, distinguishing machine defaults from human or agent judgment (judgment entries carry their rationale and source):");
+        L.push("");
+        L.push(...mdTable(["#", "When", "Actor", "Assumption", "Value", "Rationale / source"], input.ledger.entries.map((e) => [
+            String(e.seq),
+            e.timestamp,
+            e.actor,
+            e.field,
+            `\`${canonicalJson(e.value)}\``,
+            [e.rationale, e.source ? `(source: ${e.source})` : ""].filter(Boolean).join(" ") || "—",
+        ])));
+    }
+    else {
+        L.push("No assumption ledger was attached; assumptions are visible only through Section 4's parameters.");
+    }
+    L.push("");
+    // 6. Changes from the prior analysis.
+    L.push("## 6. Changes from the prior analysis");
+    L.push("");
+    if (input.priorComparison) {
+        const pc = input.priorComparison;
+        if (pc.priorLabel)
+            L.push(`Prior analysis: ${pc.priorLabel}.`);
+        if (pc.priorReserve !== undefined && pc.currentReserve !== undefined) {
+            L.push(`Carried indication moved from ${fmtNumber(pc.priorReserve)} to ${fmtNumber(pc.currentReserve)} (${fmtNumber(pc.currentReserve - pc.priorReserve)}).`);
+        }
+        const { added, removed, changed } = pc.changes;
+        if (added.length === 0 && removed.length === 0 && changed.length === 0) {
+            L.push("No assumption or method changes were recorded against the prior analysis.");
+        }
+        else {
+            if (changed.length > 0) {
+                L.push("");
+                L.push(...mdTable(["Assumption", "Prior", "Current"], changed.map((c) => [c.field, `\`${canonicalJson(c.priorValue)}\``, `\`${canonicalJson(c.currentValue)}\``])));
+            }
+            if (added.length > 0)
+                L.push(`- **New assumptions:** ${added.join(", ")}`);
+            if (removed.length > 0)
+                L.push(`- **Removed assumptions:** ${removed.join(", ")}`);
+        }
+    }
+    else {
+        L.push("No prior-analysis comparison was attached.");
+    }
+    L.push("");
+    // 7. Reliances and limitations.
+    L.push("## 7. Reliances and limitations");
+    L.push("");
+    if (input.reliances && input.reliances.length > 0) {
+        for (const r of input.reliances)
+            L.push(`- **Reliance:** ${r}`);
+    }
+    else {
+        L.push("- No reliances on data or analyses supplied by others were recorded.");
+    }
+    if (input.limitations && input.limitations.length > 0) {
+        for (const lim of input.limitations)
+            L.push(`- **Limitation:** ${lim}`);
+    }
+    L.push("");
+    // 8. Reproducibility.
+    L.push("## 8. Reproducibility");
+    L.push("");
+    const inputHash = fnv1a64(canonicalJson({
+        metadata: input.metadata,
+        methods: input.methods,
+        ledger: input.ledger ?? null,
+    }));
+    L.push(`This disclosure derives deterministically from its inputs (integrity tag \`${inputHash}\`, actuarial-ts v${input.sdkVersion}). Rerunning the same inputs on the same SDK version reproduces the analysis and this document byte for byte; pair with a reproducibility bundle for auditor/examiner requests under ASOP No. 21.`);
+    L.push("");
+    return L.join("\n");
+}
+//# sourceMappingURL=disclosure.js.map

package/dist/disclosure.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disclosure.js","sourceRoot":"","sources":["../src/disclosure.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,WAAW,EAAiB,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAoErD,MAAM,SAAS,GAAG,CAAC,CAAS,EAAU,EAAE,CACtC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,qBAAqB,EAAE,CAAC,EAAE,CAAC,CAAC;AAE5G,SAAS,eAAe,CAAC,CAAsC;IAC7D,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,kBAAkB;YACrB,OAAO,gEAAgE,CAAC;QAC1E,KAAK,eAAe;YAClB,OAAO,eAAe,CAAC;QACzB,KAAK,cAAc;YACjB,OAAO,cAAc,CAAC;QACxB,KAAK,sBAAsB;YACzB,OAAO,yBAAyB,CAAC,CAAC,UAAU,IAAI,UAAU,GAAG,CAAC;QAChE,KAAK,OAAO;YACV,OAAO,+BAA+B,CAAC;IAC3C,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAA4B;IACjD,MAAM,KAAK,GAAG;QACZ,KAAK,EAAE,sBAAsB;QAC7B,oBAAoB,EAAE,oBAAoB;QAC1C,sBAAsB,EAAE,gCAAgC;QACxD,SAAS,EAAE,8CAA8C;KAC1D,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACd,MAAM,GAAG,GAAG;QACV,eAAe,EAAE,oCAAoC;QACrD,mBAAmB,EAAE,wCAAwC;QAC7D,UAAU,EAAE,4DAA4D;QACxE,UAAU,EAAE,mDAAmD;KAChE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAClB,OAAO,GAAG,KAAK,KAAK,GAAG,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,OAAO,CAAC,MAAgB,EAAE,IAAgB;IACjD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,GAAG,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,cAAc,CAAC,UAAmB;IACzC,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,mBAAmB,CAAC;IAChF,MAAM,IAAI,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;IACvC,OAAO,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,yDAAyD,CAAC,CAAC,CAAC,IAAI,CAAC;AACnH,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,kBAAkB,CAAC,KAAsB;IACvD,MAAM,CAAC,GAAa,EAAE,CAAC;IACvB,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC;IAEzB,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,KAAK,IAAI,+DAA+D,EAAE,CAAC,CAAC;IAC9F,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,CAAC,CAAC,IAAI,CACJ,iTAAiT,CAClT,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,8CAA8C;IAC9C,CAAC,CAAC,IAAI,CAAC,2CAA2C,CAAC,CAAC;IACpD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,IAAI,KAAK,CAAC,UAAU;QAAE,CAAC,CAAC,IAAI,CAAC,yCAAyC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;IACvD,IAAI,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,2BAA2B,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC,CAAC,IAAI,CAAC,oBAAoB,KAAK,CAAC,WAAW,wBAAwB,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;IACxF,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,0BAA0B;IAC1B,CAAC,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;IACxC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;IACnD,IAAI,CAAC,CAAC,UAAU;QAAE,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,IAAI,CAAC,gBAAgB,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACjD,IAAI,CAAC,CAAC,QAAQ;QAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC,UAAU;QAAE,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,4BAA4B;IAC5B,CAAC,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;IACnD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;QAC3B,MAAM,YAAY,GAAG,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,CAAC;QACjD,CAAC,CAAC,IAAI,CACJ,gCAAgC,CAAC,CAAC,MAAM,CAAC,MAAM,YAAY,CAAC,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,CAAC,OAAO,CAAC,OAAO,aAAa,CAAC,CAAC,OAAO,CAAC,IAAI,QAAQ,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,gBAAgB,CAAC,CAAC,CAAC,EAAE,oDAAoD,CACrP,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,CACR,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC,EAC9C,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAClB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE;YACtB,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;SACzD,CAAC,CACH,CACF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CACJ,qOAAqO,CACtO,CAAC;IACJ,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,mCAAmC;IACnC,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACjD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvC,CAAC,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3E,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC,wBAAwB,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC;QACrD,CAAC,CAAC,IAAI,CAAC,0BAA0B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClE,CAAC,CAAC,IAAI,CAAC,2BAA2B,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC,CAAC,IAAI,CAAC,gCAAgC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC,CAAC,IAAI,CAAC,8CAA8C,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACzF,IAAI,GAAG,CAAC,aAAa,EAAE,CAAC;YACtB,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC;YAC5B,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC7E,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACjE,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,UAAU,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACvE,IAAI,CAAC,CAAC,aAAa,KAAK,SAAS;gBAAE,IAAI,CAAC,IAAI,CAAC,kBAAkB,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;YAC7F,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,CAAC;IAED,gCAAgC;IAChC,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,CAAC,CAAC,IAAI,CACJ,8IAA8I,CAC/I,CAAC;QACF,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACX,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,CACR,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,oBAAoB,CAAC,EACnE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;YACb,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,KAAK;YACP,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI;YAC/B,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG;SACxF,CAAC,CACH,CACF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CAAC,iGAAiG,CAAC,CAAC;IAC5G,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,sCAAsC;IACtC,CAAC,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;IAChD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,KAAK,CAAC,eAAe,CAAC;QACjC,IAAI,EAAE,CAAC,UAAU;YAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC,UAAU,GAAG,CAAC,CAAC;QAC/D,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACrE,CAAC,CAAC,IAAI,CACJ,iCAAiC,SAAS,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,SAAS,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,SAAS,CAAC,EAAE,CAAC,cAAc,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CACtJ,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;QAC/C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvE,CAAC,CAAC,IAAI,CAAC,2EAA2E,CAAC,CAAC;QACtF,CAAC;aAAM,CAAC;YACN,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACX,CAAC,CAAC,IAAI,CACJ,GAAG,OAAO,CACR,CAAC,YAAY,EAAE,OAAO,EAAE,SAAS,CAAC,EAClC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAC5G,CACF,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,CAAC,CAAC,IAAI,CAAC,0BAA0B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC3E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,CAAC,CAAC,IAAI,CAAC,8BAA8B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAC;IACvD,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,gCAAgC;IAChC,CAAC,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC1C,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS;YAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAClE,CAAC;SAAM,CAAC;QACN,CAAC,CAAC,IAAI,CAAC,sEAAsE,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,WAAW;YAAE,CAAC,CAAC,IAAI,CAAC,qBAAqB,GAAG,EAAE,CAAC,CAAC;IAC1E,CAAC;IACD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,sBAAsB;IACtB,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAChC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACX,MAAM,SAAS,GAAG,OAAO,CACvB,aAAa,CAAC;QACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;KAC7B,CAAC,CACH,CAAC;IACF,CAAC,CAAC,IAAI,CACJ,8EAA8E,SAAS,qBAAqB,KAAK,CAAC,UAAU,mMAAmM,CAChU,CAAC;IACF,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEX,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,7 @@
+export * from "./metadata.js";
+export * from "./ledger.js";
+export * from "./modelCards.js";
+export * from "./disclosure.js";
+export * from "./bundle.js";
+export * from "./ave.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,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC"}

package/dist/index.js

@@ -0,0 +1,7 @@
+export * from "./metadata.js";
+export * from "./ledger.js";
+export * from "./modelCards.js";
+export * from "./disclosure.js";
+export * from "./bundle.js";
+export * from "./ave.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,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC"}

package/dist/ledger.d.ts

@@ -0,0 +1,84 @@
+/**
+ * Assumption ledger: an append-only record of every assumption an analysis
+ * used, separating machine defaults from actuarial/agent judgment, feeding
+ * the ASOP 41 assumptions-and-judgments and changes-from-prior disclosures.
+ *
+ * Ground truth:
+ * - The ledger is IMMUTABLE: `recordAssumption` returns a NEW frozen ledger;
+ *   the input ledger, its entries array, and every recorded entry are frozen.
+ *   Nothing is ever edited or deleted — a corrected assumption is a new entry
+ *   for the same field, and the LATEST entry per field is the live value.
+ * - `seq` is assigned by the ledger (entries.length + 1), never by the caller.
+ * - `rationale` is REQUIRED (throws MISSING_RATIONALE) whenever
+ *   actor !== "default": undocumented judgment is exactly what the ledger
+ *   exists to prevent. Machine defaults need no rationale — the method's
+ *   model card documents them.
+ * - `changedAssumptions` diffs the LATEST entry per field on each side and
+ *   compares values by canonical JSON, so key insertion order never causes a
+ *   false "changed". Output field lists are lexicographically sorted for
+ *   deterministic disclosure rendering.
+ * - Timestamps are caller-supplied ISO strings (purity: no clock reads).
+ *
+ * These utilities are designed to support the actuary's compliance with
+ * ASOP No. 41; responsibility for compliance remains with the credentialed
+ * actuary.
+ */
+/** Who set the assumption: the machine default, a credentialed actuary, or an AI agent. */
+export type AssumptionActor = "default" | "actuary" | "agent";
+/** JSON-representable assumption value (the ledger stores data, not behavior). */
+export type JsonValue = string | number | boolean | null | JsonValue[] | {
+    [key: string]: JsonValue;
+};
+export interface AssumptionEntry {
+    /** 1-based position in the ledger; assigned by recordAssumption, never by the caller. */
+    seq: number;
+    /** Caller-supplied ISO timestamp (purity: no clock reads). */
+    timestamp: string;
+    actor: AssumptionActor;
+    /** Dotted path identifying the assumption, e.g. "chainLadder.tailFactor". */
+    field: string;
+    value: JsonValue;
+    /** The value this entry superseded, when the caller knows it. */
+    previousValue?: JsonValue;
+    /** Where the value came from (e.g. "Friedland Table 15", "rate filing 2024-07"). */
+    source?: string;
+    /** Why the value was chosen. REQUIRED when actor !== "default". */
+    rationale?: string;
+}
+/** A not-yet-recorded entry: everything but the ledger-assigned seq. */
+export type NewAssumptionEntry = Omit<AssumptionEntry, "seq">;
+export interface AssumptionLedger {
+    readonly entries: readonly AssumptionEntry[];
+}
+/** An empty, frozen ledger. */
+export declare function createLedger(): AssumptionLedger;
+/**
+ * Appends an entry, returning a NEW frozen ledger; the input ledger is
+ * untouched. Assigns seq = entries.length + 1. Throws
+ * ComplianceError("MISSING_RATIONALE") when actor !== "default" and rationale
+ * is missing or blank.
+ */
+export declare function recordAssumption(ledger: AssumptionLedger, entry: NewAssumptionEntry): AssumptionLedger;
+/** Entries that represent judgment (actor !== "default"), in ledger order. */
+export declare function judgmentEntries(ledger: AssumptionLedger): AssumptionEntry[];
+export interface AssumptionValueChange {
+    field: string;
+    priorValue: JsonValue;
+    currentValue: JsonValue;
+}
+/** The ASOP 41 change-disclosure diff between two analyses' ledgers. */
+export interface ChangedAssumptions {
+    /** Fields set in current but never set in prior. */
+    added: string[];
+    /** Fields set in prior but never set in current. */
+    removed: string[];
+    /** Fields set on both sides whose latest values differ (canonical-JSON inequality). */
+    changed: AssumptionValueChange[];
+}
+/**
+ * Diffs the LATEST entry per field between a prior analysis's ledger and the
+ * current one. Values compare by canonical JSON (key order never matters).
+ * All output lists are sorted by field for deterministic rendering.
+ */
+export declare function changedAssumptions(prior: AssumptionLedger, current: AssumptionLedger): ChangedAssumptions;
+//# sourceMappingURL=ledger.d.ts.map

package/dist/ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../src/ledger.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAIH,2FAA2F;AAC3F,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC;AAE9D,kFAAkF;AAClF,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GAAG,SAAS,EAAE,GAAG;IAAE,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAEtG,MAAM,WAAW,eAAe;IAC9B,yFAAyF;IACzF,GAAG,EAAE,MAAM,CAAC;IACZ,8DAA8D;IAC9D,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,eAAe,CAAC;IACvB,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,SAAS,CAAC;IACjB,iEAAiE;IACjE,aAAa,CAAC,EAAE,SAAS,CAAC;IAC1B,oFAAoF;IACpF,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,mEAAmE;IACnE,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wEAAwE;AACxE,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;AAE9D,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;CAC9C;AAED,+BAA+B;AAC/B,wBAAgB,YAAY,IAAI,gBAAgB,CAE/C;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,EAAE,KAAK,EAAE,kBAAkB,GAAG,gBAAgB,CAStG;AAED,8EAA8E;AAC9E,wBAAgB,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,eAAe,EAAE,CAE3E;AAED,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,SAAS,CAAC;IACtB,YAAY,EAAE,SAAS,CAAC;CACzB;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IACjC,oDAAoD;IACpD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,oDAAoD;IACpD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,uFAAuF;IACvF,OAAO,EAAE,qBAAqB,EAAE,CAAC;CAClC;AASD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,gBAAgB,GACxB,kBAAkB,CAuBpB"}