@actuarial-ts/agents 0.1.0 → 0.2.0

package/dist/divergence.js

@@ -0,0 +1,409 @@
+/**
+ * Divergence explainer (interchange spec rev 2.1, Section 9 item 3): the
+ * agent invoked ONLY when the deterministic referee returns verdict
+ * "disagree". It never re-judges the comparison - the referee's verdict is
+ * final - it produces a structured HYPOTHESIS about why two engines diverged
+ * ("engine b requested sigma_interpolation=log-linear; the mack1993-vw
+ * profile requires mack; expected signature: SE-concentrated deviations -
+ * observed"), for the reviewing actuary to act on.
+ *
+ * Architecture decisions (each is load-bearing):
+ *
+ * - EVIDENCE ASSEMBLY IS PURE AND DETERMINISTIC. assembleDivergenceEvidence
+ *   is a pure function of (CrosscheckReportDoc, MethodResultDoc a,
+ *   MethodResultDoc b) plus the interchange profile registry - no clock, no
+ *   randomness, no I/O. The convention map travels AS DATA: the alignment
+ *   requirements are imported from @actuarial-ts/interchange's
+ *   CONVENTION_PROFILES (the executable form of docs/interop/
+ *   convention-map.md), never re-read from a file. Identical inputs yield
+ *   identical evidence and an identical prompt, so the fixture tests can
+ *   assert exactly what any model would be shown.
+ *
+ * - ONLY-ON-DISAGREE IS STRUCTURAL. A report whose verdict is not
+ *   "disagree" throws AgentsError("VERDICT_NOT_DISAGREE") at assembly time;
+ *   there is no flag to loosen. Agreement needs no explaining, and running
+ *   an explainer on an agree/verified-by-value report would manufacture
+ *   doubt about a comparison the referee already settled.
+ *
+ * - VIOLATIONS SURFACE FIRST. The requirement-by-requirement alignment
+ *   check orders findings violated > unverifiable > satisfied, so the most
+ *   probable root cause (a profile requirement the engine visibly did not
+ *   run) is the first thing both the model and the human read.
+ *
+ * - READ-ONLY BY CONSTRUCTION. The explainer gets exactly one tool, and it
+ *   only returns the already-assembled evidence (carried on the
+ *   RequestContext under DIVERGENCE_EVIDENCE_CONTEXT_KEY); there is no
+ *   action tool to reach for. The prompt also embeds the full evidence, so
+ *   a single generate call suffices and the tool exists for follow-up
+ *   turns, not as a required hop.
+ *
+ * HOUSE GOTCHA honored: no literal backtick characters in instruction
+ * content (a backtick inside a template literal once broke server boot).
+ */
+import { Agent } from "@mastra/core/agent";
+import { RequestContext } from "@mastra/core/request-context";
+import { ReservingError } from "@actuarial-ts/core";
+import { CONVENTION_PROFILES, crosscheckReportDocSchema, methodResultDocSchema, } from "@actuarial-ts/interchange";
+import { z } from "zod";
+import { AgentsError } from "./errors.js";
+import { defineActuarialTool, toolRegistry } from "./tools.js";
+// ---------------------------------------------------------------------------
+// Evidence assembly (pure)
+function stableJson(value) {
+    return value === undefined ? "(absent)" : JSON.stringify(value);
+}
+function sameValue(x, y) {
+    return x === y || JSON.stringify(x) === JSON.stringify(y);
+}
+function validateDoc(label, doc, schema) {
+    const parsed = schema.safeParse(doc);
+    if (!parsed.success) {
+        throw new ReservingError("BAD_INTERCHANGE", `assembleDivergenceEvidence input "${label}" is malformed: ${parsed
+            .error.issues.map((i) => `${i.path.join(".") || "$"}: ${i.message}`)
+            .join("; ")}`);
+    }
+    return parsed.data;
+}
+function engineMatches(doc, stamp) {
+    return doc.result.engine.name === stamp.name && doc.result.engine.version === stamp.version;
+}
+const STATUS_RANK = {
+    violated: 0,
+    unverifiable: 1,
+    satisfied: 2,
+};
+function alignmentFindingsFor(side, doc, profile, claimedProfileId) {
+    const engineName = doc.result.engine.name;
+    if (profile === null) {
+        return [
+            {
+                engine: side,
+                engineName,
+                parameter: "*",
+                required: undefined,
+                requested: undefined,
+                effective: undefined,
+                status: "unverifiable",
+                detail: claimedProfileId === null
+                    ? `engine ${side} (${engineName}): no convention profile is claimed on either result, so ` +
+                        "no alignment requirements exist to check against"
+                    : `engine ${side} (${engineName}): claimed profile "${claimedProfileId}" is not in the ` +
+                        "interchange profile registry; its requirements cannot be checked",
+            },
+        ];
+    }
+    const alignment = profile.alignment[engineName] ?? null;
+    if (alignment === null) {
+        return [
+            {
+                engine: side,
+                engineName,
+                parameter: "*",
+                required: undefined,
+                requested: undefined,
+                effective: undefined,
+                status: "unverifiable",
+                detail: `engine ${side} (${engineName}): profile "${profile.id}" has no alignment entry for ` +
+                    "this engine name; its requirements cannot be checked",
+            },
+        ];
+    }
+    const requestedParams = doc.result.parameters;
+    const effectiveParams = doc.result.effectiveParameters;
+    const findings = [];
+    for (const [parameter, required] of Object.entries(alignment.parameters)) {
+        const requested = requestedParams[parameter];
+        const effective = effectiveParams?.[parameter];
+        const ran = effective !== undefined ? effective : requested;
+        const base = {
+            engine: side,
+            engineName,
+            parameter,
+            required,
+            requested,
+            effective,
+        };
+        if (ran === undefined) {
+            findings.push({
+                ...base,
+                status: "unverifiable",
+                detail: `engine ${side} (${engineName}) parameter "${parameter}": profile "${profile.id}" requires ` +
+                    `${stableJson(required)}, but the result records no such parameter (a prose requirement or ` +
+                    "an unrecorded setting); not mechanically checkable",
+            });
+        }
+        else if (sameValue(required, ran)) {
+            findings.push({
+                ...base,
+                status: "satisfied",
+                detail: `engine ${side} (${engineName}) parameter "${parameter}": profile "${profile.id}" requires ` +
+                    `${stableJson(required)}; the engine ran ${stableJson(ran)}`,
+            });
+        }
+        else {
+            const deviationNote = effective !== undefined && !sameValue(effective, requested)
+                ? ` (requested ${stableJson(requested)}, effective ${stableJson(effective)})`
+                : "";
+            findings.push({
+                ...base,
+                status: "violated",
+                detail: `VIOLATED: profile "${profile.id}" requires ${parameter}=${stableJson(required)} for ` +
+                    `${engineName}; engine ${side} ran ${parameter}=${stableJson(ran)}${deviationNote}`,
+            });
+        }
+    }
+    return findings;
+}
+function deviationSignatureOf(report) {
+    const body = report.report;
+    const tolerance = {
+        central: body.tolerance.central,
+        standardError: body.tolerance.standardError,
+    };
+    let maxCentral = 0;
+    let maxSe = null;
+    const ranked = [];
+    for (const row of body.deviations.perOrigin) {
+        for (const metric of ["ultimate", "unpaid"]) {
+            const deviation = row[metric];
+            if (deviation === null)
+                continue;
+            maxCentral = Math.max(maxCentral, deviation);
+            ranked.push({ origin: row.origin, metric, deviation });
+        }
+        if (row.standardError !== null) {
+            maxSe = Math.max(maxSe ?? 0, row.standardError);
+            ranked.push({ origin: row.origin, metric: "standardError", deviation: row.standardError });
+        }
+    }
+    const totals = body.deviations.totals;
+    for (const metric of ["ultimate", "unpaid"]) {
+        const deviation = totals[metric];
+        if (deviation !== null)
+            maxCentral = Math.max(maxCentral, deviation);
+    }
+    if (totals.standardError !== null)
+        maxSe = Math.max(maxSe ?? 0, totals.standardError);
+    const centralExceeds = maxCentral > tolerance.central;
+    const seExceeds = tolerance.standardError !== null && maxSe !== null && maxSe > tolerance.standardError;
+    const concentration = centralExceeds && seExceeds
+        ? "mixed"
+        : centralExceeds
+            ? "central"
+            : seExceeds
+                ? "standard-error"
+                : "none";
+    ranked.sort((x, y) => y.deviation - x.deviation);
+    return {
+        tolerance,
+        maxCentral,
+        maxStandardError: maxSe,
+        centralExceedsTolerance: centralExceeds,
+        standardErrorExceedsTolerance: seExceeds,
+        concentration,
+        totals: {
+            ultimate: totals.ultimate,
+            unpaid: totals.unpaid,
+            standardError: totals.standardError,
+        },
+        worstOrigins: ranked.slice(0, 5),
+    };
+}
+/**
+ * Assembles the divergence evidence for a disagree crosscheck: pure and
+ * deterministic (see the module doc). Throws:
+ * - AgentsError("VERDICT_NOT_DISAGREE") when the report's verdict is not
+ *   "disagree" - the only-on-disagree rule is structural, not advisory;
+ * - AgentsError("DIVERGENCE_INPUT_MISMATCH") when the supplied result docs
+ *   do not match the report's engine stamps (wrong docs, or a/b swapped);
+ * - ReservingError("BAD_INTERCHANGE") when any input document is malformed.
+ */
+export function assembleDivergenceEvidence(options) {
+    const report = validateDoc("report", options.report, crosscheckReportDocSchema);
+    const a = validateDoc("a", options.a, methodResultDocSchema);
+    const b = validateDoc("b", options.b, methodResultDocSchema);
+    const body = report.report;
+    if (body.verdict !== "disagree") {
+        throw new AgentsError("VERDICT_NOT_DISAGREE", `The divergence explainer is invoked ONLY on a "disagree" crosscheck verdict (spec 9 item 3); ` +
+            `this report's verdict is "${body.verdict}" - there is no divergence to explain`);
+    }
+    if (!engineMatches(a, body.engines.a) || !engineMatches(b, body.engines.b)) {
+        const swapped = engineMatches(a, body.engines.b) && engineMatches(b, body.engines.a);
+        throw new AgentsError("DIVERGENCE_INPUT_MISMATCH", swapped
+            ? "The supplied result docs are SWAPPED relative to the report: doc a matches the report's " +
+                "engine b and vice versa; pass them in the report's a/b order"
+            : `The supplied result docs do not match the report's engine stamps: report compared ` +
+                `a=${body.engines.a.name}@${body.engines.a.version} vs ` +
+                `b=${body.engines.b.name}@${body.engines.b.version}, got ` +
+                `a=${a.result.engine.name}@${a.result.engine.version} and ` +
+                `b=${b.result.engine.name}@${b.result.engine.version}`);
+    }
+    const claimedProfileId = a.result.engine.conventionProfile ?? b.result.engine.conventionProfile ?? null;
+    const profile = claimedProfileId !== null ? (CONVENTION_PROFILES[claimedProfileId] ?? null) : null;
+    const engineEvidenceOf = (doc) => ({
+        name: doc.result.engine.name,
+        version: doc.result.engine.version,
+        conventionProfile: doc.result.engine.conventionProfile ?? null,
+        method: doc.result.method,
+        requested: doc.result.parameters,
+        effective: doc.result.effectiveParameters ?? null,
+        profileAlignment: profile === null
+            ? null
+            : (profile.alignment[doc.result.engine.name] ?? null),
+    });
+    const findings = [
+        ...alignmentFindingsFor("a", a, profile, claimedProfileId),
+        ...alignmentFindingsFor("b", b, profile, claimedProfileId),
+    ].sort((x, y) => STATUS_RANK[x.status] - STATUS_RANK[y.status]);
+    return {
+        verdict: "disagree",
+        profile: {
+            id: claimedProfileId,
+            known: profile !== null,
+            description: profile?.description ?? null,
+            tolerance: profile !== null ? { ...profile.tolerance } : null,
+        },
+        alignmentFindings: findings,
+        engines: { a: engineEvidenceOf(a), b: engineEvidenceOf(b) },
+        deviationSignature: deviationSignatureOf(report),
+        warnings: {
+            report: [...body.warnings],
+            engineA: [...(a.result.warnings ?? [])],
+            engineB: [...(b.result.warnings ?? [])],
+        },
+    };
+}
+// ---------------------------------------------------------------------------
+// Structured hypothesis
+/** The explainer's structured output (spec 9 item 3). */
+export const divergenceHypothesisSchema = z.object({
+    /** The single most probable root cause, stated as a testable claim. */
+    suspectedCause: z.string().min(1),
+    /** The exact misaligned parameter/flag name (e.g. "sigma_interpolation"),
+     * or null when no specific flag is implicated. */
+    misalignedFlag: z.string().min(1).nullable(),
+    /** The deviation signature the suspected cause WOULD produce. */
+    expectedSignature: z.string().min(1),
+    /** The deviation signature the evidence actually shows. */
+    observedSignature: z.string().min(1),
+    /** What the operator should do next to confirm or fix. */
+    recommendation: z.string().min(1),
+});
+// ---------------------------------------------------------------------------
+// Instructions + prompt assembly (pure, deterministic)
+/** RequestContext key the evidence tool reads (set by explainDivergence). */
+export const DIVERGENCE_EVIDENCE_CONTEXT_KEY = "divergenceEvidence";
+/**
+ * The explainer's instruction template. A constant, not a builder: the
+ * explainer has exactly one job and no host-specific domain sections. No
+ * backtick characters (house gotcha).
+ */
+export const DIVERGENCE_EXPLAINER_INSTRUCTIONS = [
+    "You are a cross-engine divergence diagnostician inside an actuarial reserving toolchain. A deterministic referee compared the same computation run by two independent engines and returned the verdict \"disagree\". Your job is to produce a structured HYPOTHESIS about the root cause - you never re-litigate the verdict, and you never change any state.",
+    "## Working rules",
+    [
+        "1. Every claim you make must come from the supplied divergence evidence (in the user message, and available again via the get_divergence_evidence tool). Never invent parameters, deviations, or profile requirements.",
+        "2. The alignment findings are ordered violations first. A VIOLATED finding - a convention-profile requirement the engine visibly did not run - is the strongest root-cause candidate; check whether its expected deviation signature matches the observed one before settling on it.",
+        "3. The deviation signature tells you WHERE the disagreement lives: central estimates (ultimates/unpaid), standard errors, or both. A sigma/variance-convention misalignment concentrates in standard errors while central estimates agree; a factor/selection misalignment moves central estimates.",
+        "4. In misalignedFlag, name the exact parameter as it appears in the evidence (for example sigma_interpolation), or use null when no specific flag is implicated.",
+        "5. Be direct and technical; the reader is a credentialed actuary. State the hypothesis, the expected vs observed signature, and one concrete next step.",
+    ].join("\n"),
+].join("\n\n");
+/**
+ * Deterministic user-prompt assembly: a readable summary (violations first,
+ * then the deviation signature) followed by the full evidence as JSON.
+ * Identical evidence yields a byte-identical prompt, so tests can pin
+ * exactly what any model is shown.
+ */
+export function assembleDivergencePrompt(evidence) {
+    const sig = evidence.deviationSignature;
+    const profileLine = evidence.profile.id === null
+        ? "Convention profile: none claimed."
+        : `Convention profile: "${evidence.profile.id}"${evidence.profile.known ? "" : " (NOT in the registry)"} - ${evidence.profile.description ?? "no description"}`;
+    const findingLines = evidence.alignmentFindings.map((f) => `- [${f.status.toUpperCase()}] ${f.detail}`);
+    const seLine = sig.maxStandardError === null
+        ? "standard errors: not compared"
+        : `max standard-error deviation ${sig.maxStandardError} (tolerance ${sig.tolerance.standardError ?? "out of scope"}; ${sig.standardErrorExceedsTolerance ? "EXCEEDED" : "within"})`;
+    const sections = [
+        "A crosscheck referee compared two engines running the same computation and returned verdict DISAGREE.",
+        `Engine a: ${evidence.engines.a.name}@${evidence.engines.a.version} (method ${evidence.engines.a.method}). ` +
+            `Engine b: ${evidence.engines.b.name}@${evidence.engines.b.version} (method ${evidence.engines.b.method}).`,
+        profileLine,
+        "Alignment findings (violations first):\n" + findingLines.join("\n"),
+        `Deviation signature: concentration ${sig.concentration}; max central deviation ${sig.maxCentral} ` +
+            `(tolerance ${sig.tolerance.central}; ${sig.centralExceedsTolerance ? "EXCEEDED" : "within"}); ${seLine}.`,
+        "Full assembled evidence (JSON):\n" + JSON.stringify(evidence, null, 2),
+        "Produce the structured hypothesis: suspectedCause, misalignedFlag (the exact parameter name, or null), expectedSignature, observedSignature, recommendation.",
+    ];
+    return sections.join("\n\n");
+}
+// ---------------------------------------------------------------------------
+// The read-only evidence tool
+/**
+ * The explainer's single tool: returns the already-assembled evidence from
+ * the request context. Read-only by construction - it can only restate what
+ * explainDivergence assembled; there is nothing to mutate.
+ */
+export function createDivergenceEvidenceTool() {
+    return defineActuarialTool({
+        id: "get_divergence_evidence",
+        description: "Returns the assembled divergence evidence for the disagree crosscheck under review: " +
+            "convention-profile alignment requirements, each engine's requested vs effective parameters, " +
+            "requirement-by-requirement findings (violations first), the deviation signature, and all " +
+            "warnings. Read-only.",
+        kind: "read",
+        inputSchema: z.object({}),
+        execute: async (_input, context) => {
+            const evidence = context.requestContext?.get(DIVERGENCE_EVIDENCE_CONTEXT_KEY);
+            if (evidence === undefined) {
+                throw new AgentsError("NO_DIVERGENCE_EVIDENCE", `No assembled divergence evidence in the request context (key "${DIVERGENCE_EVIDENCE_CONTEXT_KEY}"); ` +
+                    "drive this agent through explainDivergence, which assembles and injects it");
+            }
+            return { success: true, evidence: evidence };
+        },
+    });
+}
+/**
+ * Builds the divergence-explainer Agent: the constant instruction template
+ * plus the single read-only evidence tool. Drive it with explainDivergence,
+ * which assembles the evidence, injects it into the request context, and
+ * runs the one structured-output generate call.
+ */
+export function createDivergenceExplainer(options) {
+    return new Agent({
+        id: options.id ?? "divergence-explainer",
+        name: options.name ?? "Divergence Explainer",
+        description: options.description ??
+            "Cross-engine divergence diagnostician: on a disagree crosscheck verdict, reads the assembled " +
+                "evidence (profile requirements, requested vs effective parameters, deviation signature) and " +
+                "produces a structured root-cause hypothesis. Read-only; never re-judges the referee.",
+        instructions: DIVERGENCE_EXPLAINER_INSTRUCTIONS,
+        model: options.model,
+        tools: toolRegistry([createDivergenceEvidenceTool()]).tools,
+    });
+}
+/**
+ * Drives one structured-output generate call: assembles the evidence
+ * (throwing on a non-disagree verdict), injects it into the request context
+ * for the evidence tool, prompts the explainer, and zod-validates the
+ * model's hypothesis before returning it - the boundary is validated in
+ * both directions.
+ */
+export async function explainDivergence(options) {
+    const evidence = assembleDivergenceEvidence({
+        report: options.report,
+        a: options.a,
+        b: options.b,
+    });
+    const requestContext = options.requestContext ?? new RequestContext();
+    requestContext.set(DIVERGENCE_EVIDENCE_CONTEXT_KEY, evidence);
+    const prompt = assembleDivergencePrompt(evidence);
+    const result = await options.explainer.generate([{ role: "user", content: prompt }], {
+        structuredOutput: { schema: divergenceHypothesisSchema },
+        requestContext,
+        maxSteps: options.maxSteps ?? 4,
+    });
+    const hypothesis = divergenceHypothesisSchema.parse(result.object);
+    return { hypothesis, evidence, prompt };
+}
+//# sourceMappingURL=divergence.js.map

package/dist/divergence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"divergence.js","sourceRoot":"","sources":["../src/divergence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EACL,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,GAKtB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAsF/D,8EAA8E;AAC9E,2BAA2B;AAE3B,SAAS,UAAU,CAAC,KAAc;IAChC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,SAAS,CAAC,CAAU,EAAE,CAAU;IACvC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,WAAW,CAClB,KAAa,EACb,GAAY,EACZ,MAAyF;IAEzF,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,qCAAqC,KAAK,mBAAmB,MAAM;aAChE,KAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACpE,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,IAAS,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CACpB,GAAoB,EACpB,KAAwC;IAExC,OAAO,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CAAC;AAC9F,CAAC;AAED,MAAM,WAAW,GAA+C;IAC9D,QAAQ,EAAE,CAAC;IACX,YAAY,EAAE,CAAC;IACf,SAAS,EAAE,CAAC;CACb,CAAC;AAEF,SAAS,oBAAoB,CAC3B,IAAe,EACf,GAAoB,EACpB,OAAiC,EACjC,gBAA+B;IAE/B,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO;YACL;gBACE,MAAM,EAAE,IAAI;gBACZ,UAAU;gBACV,SAAS,EAAE,GAAG;gBACd,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,SAAS;gBACpB,MAAM,EAAE,cAAc;gBACtB,MAAM,EACJ,gBAAgB,KAAK,IAAI;oBACvB,CAAC,CAAC,UAAU,IAAI,KAAK,UAAU,2DAA2D;wBACxF,kDAAkD;oBACpD,CAAC,CAAC,UAAU,IAAI,KAAK,UAAU,uBAAuB,gBAAgB,kBAAkB;wBACtF,kEAAkE;aACzE;SACF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GACZ,OAAO,CAAC,SAAyD,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACzF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO;YACL;gBACE,MAAM,EAAE,IAAI;gBACZ,UAAU;gBACV,SAAS,EAAE,GAAG;gBACd,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,SAAS;gBACpB,SAAS,EAAE,SAAS;gBACpB,MAAM,EAAE,cAAc;gBACtB,MAAM,EACJ,UAAU,IAAI,KAAK,UAAU,eAAe,OAAO,CAAC,EAAE,+BAA+B;oBACrF,sDAAsD;aACzD;SACF,CAAC;IACJ,CAAC;IACD,MAAM,eAAe,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC;IAC9C,MAAM,eAAe,GAAG,GAAG,CAAC,MAAM,CAAC,mBAAmB,CAAC;IACvD,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACzE,MAAM,SAAS,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,eAAe,EAAE,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5D,MAAM,IAAI,GAAgD;YACxD,MAAM,EAAE,IAAI;YACZ,UAAU;YACV,SAAS;YACT,QAAQ;YACR,SAAS;YACT,SAAS;SACV,CAAC;QACF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,QAAQ,CAAC,IAAI,CAAC;gBACZ,GAAG,IAAI;gBACP,MAAM,EAAE,cAAc;gBACtB,MAAM,EACJ,UAAU,IAAI,KAAK,UAAU,gBAAgB,SAAS,eAAe,OAAO,CAAC,EAAE,aAAa;oBAC5F,GAAG,UAAU,CAAC,QAAQ,CAAC,qEAAqE;oBAC5F,oDAAoD;aACvD,CAAC,CAAC;QACL,CAAC;aAAM,IAAI,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC;YACpC,QAAQ,CAAC,IAAI,CAAC;gBACZ,GAAG,IAAI;gBACP,MAAM,EAAE,WAAW;gBACnB,MAAM,EACJ,UAAU,IAAI,KAAK,UAAU,gBAAgB,SAAS,eAAe,OAAO,CAAC,EAAE,aAAa;oBAC5F,GAAG,UAAU,CAAC,QAAQ,CAAC,oBAAoB,UAAU,CAAC,GAAG,CAAC,EAAE;aAC/D,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,MAAM,aAAa,GACjB,SAAS,KAAK,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC;gBACzD,CAAC,CAAC,eAAe,UAAU,CAAC,SAAS,CAAC,eAAe,UAAU,CAAC,SAAS,CAAC,GAAG;gBAC7E,CAAC,CAAC,EAAE,CAAC;YACT,QAAQ,CAAC,IAAI,CAAC;gBACZ,GAAG,IAAI;gBACP,MAAM,EAAE,UAAU;gBAClB,MAAM,EACJ,sBAAsB,OAAO,CAAC,EAAE,cAAc,SAAS,IAAI,UAAU,CAAC,QAAQ,CAAC,OAAO;oBACtF,GAAG,UAAU,YAAY,IAAI,QAAQ,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,aAAa,EAAE;aACtF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAAC,MAA2B;IACvD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,MAAM,SAAS,GAAG;QAChB,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO;QAC/B,aAAa,EAAE,IAAI,CAAC,SAAS,CAAC,aAAa;KAC5C,CAAC;IACF,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAkB,IAAI,CAAC;IAChC,MAAM,MAAM,GAAuC,EAAE,CAAC;IACtD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QAC5C,KAAK,MAAM,MAAM,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAU,EAAE,CAAC;YACrD,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,SAAS,KAAK,IAAI;gBAAE,SAAS;YACjC,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,GAAG,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;YAC/B,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;YAChD,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,GAAG,CAAC,aAAa,EAAE,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAU,EAAE,CAAC;QACrD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,SAAS,KAAK,IAAI;YAAE,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACvE,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI;QAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAEtF,MAAM,cAAc,GAAG,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC;IACtD,MAAM,SAAS,GACb,SAAS,CAAC,aAAa,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,GAAG,SAAS,CAAC,aAAa,CAAC;IACxF,MAAM,aAAa,GACjB,cAAc,IAAI,SAAS;QACzB,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,cAAc;YACd,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,SAAS;gBACT,CAAC,CAAC,gBAAgB;gBAClB,CAAC,CAAC,MAAM,CAAC;IACjB,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IACjD,OAAO;QACL,SAAS;QACT,UAAU;QACV,gBAAgB,EAAE,KAAK;QACvB,uBAAuB,EAAE,cAAc;QACvC,6BAA6B,EAAE,SAAS;QACxC,aAAa;QACb,MAAM,EAAE;YACN,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,aAAa,EAAE,MAAM,CAAC,aAAa;SACpC;QACD,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;KACjC,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAA0C;IAE1C,MAAM,MAAM,GAAG,WAAW,CACxB,QAAQ,EACR,OAAO,CAAC,MAAM,EACd,yBAAyB,CAC1B,CAAC;IACF,MAAM,CAAC,GAAG,WAAW,CAAkB,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC9E,MAAM,CAAC,GAAG,WAAW,CAAkB,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAE3B,IAAI,IAAI,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,WAAW,CACnB,sBAAsB,EACtB,+FAA+F;YAC7F,6BAA6B,IAAI,CAAC,OAAO,uCAAuC,CACnF,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrF,MAAM,IAAI,WAAW,CACnB,2BAA2B,EAC3B,OAAO;YACL,CAAC,CAAC,0FAA0F;gBACxF,8DAA8D;YAClE,CAAC,CAAC,oFAAoF;gBAClF,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,MAAM;gBACxD,KAAK,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,QAAQ;gBAC1D,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,OAAO;gBAC3D,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAC7D,CAAC;IACJ,CAAC;IAED,MAAM,gBAAgB,GACpB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAI,CAAC;IACjF,MAAM,OAAO,GAAG,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEnG,MAAM,gBAAgB,GAAG,CAAC,GAAoB,EAA2B,EAAE,CAAC,CAAC;QAC3E,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI;QAC5B,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;QAClC,iBAAiB,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,iBAAiB,IAAI,IAAI;QAC9D,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,MAAM;QACzB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,UAAU;QAChC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,mBAAmB,IAAI,IAAI;QACjD,gBAAgB,EACd,OAAO,KAAK,IAAI;YACd,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,CAAE,OAAO,CAAC,SAAyD,CACjE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC;KACjB,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG;QACf,GAAG,oBAAoB,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,gBAAgB,CAAC;QAC1D,GAAG,oBAAoB,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,gBAAgB,CAAC;KAC3D,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAEhE,OAAO;QACL,OAAO,EAAE,UAAU;QACnB,OAAO,EAAE;YACP,EAAE,EAAE,gBAAgB;YACpB,KAAK,EAAE,OAAO,KAAK,IAAI;YACvB,WAAW,EAAE,OAAO,EAAE,WAAW,IAAI,IAAI;YACzC,SAAS,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI;SAC9D;QACD,iBAAiB,EAAE,QAAQ;QAC3B,OAAO,EAAE,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE;QAC3D,kBAAkB,EAAE,oBAAoB,CAAC,MAAM,CAAC;QAChD,QAAQ,EAAE;YACR,MAAM,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC1B,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;YACvC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;SACxC;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,wBAAwB;AAExB,yDAAyD;AACzD,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,uEAAuE;IACvE,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC;sDACkD;IAClD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC5C,iEAAiE;IACjE,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,2DAA2D;IAC3D,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,0DAA0D;IAC1D,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAClC,CAAC,CAAC;AAIH,8EAA8E;AAC9E,uDAAuD;AAEvD,6EAA6E;AAC7E,MAAM,CAAC,MAAM,+BAA+B,GAAG,oBAAoB,CAAC;AAEpE;;;;GAIG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC/C,+VAA+V;IAC/V,kBAAkB;IAClB;QACE,wNAAwN;QACxN,sRAAsR;QACtR,qSAAqS;QACrS,kKAAkK;QAClK,yJAAyJ;KAC1J,CAAC,IAAI,CAAC,IAAI,CAAC;CACb,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAEf;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,QAA4B;IACnE,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,CAAC;IACxC,MAAM,WAAW,GACf,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,IAAI;QAC1B,CAAC,CAAC,mCAAmC;QACrC,CAAC,CAAC,wBAAwB,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,MACnG,QAAQ,CAAC,OAAO,CAAC,WAAW,IAAI,gBAClC,EAAE,CAAC;IACT,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,GAAG,CACjD,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,CACnD,CAAC;IACF,MAAM,MAAM,GACV,GAAG,CAAC,gBAAgB,KAAK,IAAI;QAC3B,CAAC,CAAC,+BAA+B;QACjC,CAAC,CAAC,gCAAgC,GAAG,CAAC,gBAAgB,eAClD,GAAG,CAAC,SAAS,CAAC,aAAa,IAAI,cACjC,KAAK,GAAG,CAAC,6BAA6B,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC;IACxE,MAAM,QAAQ,GAAG;QACf,uGAAuG;QACvG,aAAa,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,YAAY,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK;YAC1G,aAAa,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,YAAY,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,IAAI;QAC7G,WAAW;QACX,0CAA0C,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QACpE,sCAAsC,GAAG,CAAC,aAAa,2BAA2B,GAAG,CAAC,UAAU,GAAG;YACjG,cAAc,GAAG,CAAC,SAAS,CAAC,OAAO,KAAK,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,MAAM,MAAM,GAAG;QAC5G,mCAAmC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACvE,8JAA8J;KAC/J,CAAC;IACF,OAAO,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,8EAA8E;AAC9E,8BAA8B;AAE9B;;;;GAIG;AACH,MAAM,UAAU,4BAA4B;IAC1C,OAAO,mBAAmB,CAAC;QACzB,EAAE,EAAE,yBAAyB;QAC7B,WAAW,EACT,sFAAsF;YACtF,8FAA8F;YAC9F,2FAA2F;YAC3F,sBAAsB;QACxB,IAAI,EAAE,MAAM;QACZ,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE;YACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,cAAc,EAAE,GAAG,CAAC,+BAA+B,CAAC,CAAC;YAC9E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,MAAM,IAAI,WAAW,CACnB,wBAAwB,EACxB,iEAAiE,+BAA+B,MAAM;oBACpG,4EAA4E,CAC/E,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,OAAO,EAAE,IAAa,EAAE,QAAQ,EAAE,QAA8B,EAAE,CAAC;QAC9E,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAkBD;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAyC;IACjF,OAAO,IAAI,KAAK,CAAC;QACf,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,sBAAsB;QACxC,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,sBAAsB;QAC5C,WAAW,EACT,OAAO,CAAC,WAAW;YACnB,+FAA+F;gBAC7F,8FAA8F;gBAC9F,sFAAsF;QAC1F,YAAY,EAAE,iCAAiC;QAC/C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,YAAY,CAAC,CAAC,4BAA4B,EAAE,CAAC,CAAC,CAAC,KAAK;KAC5D,CAAC,CAAC;AACL,CAAC;AA6CD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,OAAiC;IAEjC,MAAM,QAAQ,GAAG,0BAA0B,CAAC;QAC1C,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,CAAC,EAAE,OAAO,CAAC,CAAC;QACZ,CAAC,EAAE,OAAO,CAAC,CAAC;KACb,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,IAAI,cAAc,EAAE,CAAC;IACtE,cAAc,CAAC,GAAG,CAAC,+BAA+B,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,wBAAwB,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE;QACnF,gBAAgB,EAAE,EAAE,MAAM,EAAE,0BAA0B,EAAE;QACxD,cAAc;QACd,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,CAAC;KAChC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,0BAA0B,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC1C,CAAC"}

package/dist/errors.d.ts

@@ -10,7 +10,7 @@
  * thrown during tool execution into a { success: false, error } envelope.
  */
 /** Every machine-readable code an AgentsError can carry. */
-export declare const AGENTS_ERROR_CODES: readonly ["NO_TENANT_CONTEXT", "TENANT_IN_SCHEMA", "BAD_INPUT_SCHEMA", "BAD_GATE", "MISSING_RATIONALE", "DUPLICATE_TOOL_ID"];
+export declare const AGENTS_ERROR_CODES: readonly ["NO_TENANT_CONTEXT", "TENANT_IN_SCHEMA", "BAD_INPUT_SCHEMA", "BAD_GATE", "MISSING_RATIONALE", "DUPLICATE_TOOL_ID", "BAD_PROMOTION_OPTIONS", "EMPTY_STUDY", "TOLERANCE_CEILING_EXCEEDED", "SEGMENT_UNRESOLVED", "SEGMENT_AMBIGUOUS", "VERDICT_NOT_DISAGREE", "DIVERGENCE_INPUT_MISMATCH", "NO_DIVERGENCE_EVIDENCE", "REMOTE_RESULT_INVALID", "MCP_SELF_TEST_FAILED"];
 export type AgentsErrorCode = (typeof AGENTS_ERROR_CODES)[number];
 /**
  * Thrown for invalid agent-toolkit input: tenant-seam violations, malformed

package/dist/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,4DAA4D;AAC5D,eAAO,MAAM,kBAAkB,8HAYrB,CAAC;AAEX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE;;;;GAIG;AACH,qBAAa,WAAY,SAAQ,KAAK;IACpC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;gBACnB,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM;CAKnD"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,4DAA4D;AAC5D,eAAO,MAAM,kBAAkB,+WAgCrB,CAAC;AAEX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE;;;;GAIG;AACH,qBAAa,WAAY,SAAQ,KAAK;IACpC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;gBACnB,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM;CAKnD"}

package/dist/errors.js

@@ -22,6 +22,26 @@ export const AGENTS_ERROR_CODES = [
     "MISSING_RATIONALE",
     /** Two tools with the same id were passed to toolRegistry. */
     "DUPLICATE_TOOL_ID",
+    /** promoteStudy was called with malformed deps/options (programmer error). */
+    "BAD_PROMOTION_OPTIONS",
+    /** A study document carries no selections; nothing to promote. */
+    "EMPTY_STUDY",
+    /** The study's stated replayTolerance exceeds the host ceiling (spec 6 Gate 1). */
+    "TOLERANCE_CEILING_EXCEEDED",
+    /** A selection's segment labels match no host workspace target (no fuzzy matching in v1). */
+    "SEGMENT_UNRESOLVED",
+    /** Two selections resolve to the same workspace target; v1 promotes one selection per segment. */
+    "SEGMENT_AMBIGUOUS",
+    /** The divergence explainer was invoked on a report whose verdict is not "disagree" (spec 9 item 3: only-on-disagree is structural). */
+    "VERDICT_NOT_DISAGREE",
+    /** The result docs handed to the divergence explainer do not match the crosscheck report's engine stamps (wrong docs, or a/b swapped). */
+    "DIVERGENCE_INPUT_MISMATCH",
+    /** The divergence evidence tool ran without assembled evidence in the request context (drive the agent through explainDivergence). */
+    "NO_DIVERGENCE_EVIDENCE",
+    /** A remote sidecar 2xx response failed interchange parseDocument (bad JSON, bad schema, broken integrity tag, or a non-result kind). */
+    "REMOTE_RESULT_INVALID",
+    /** The boot self-test found an MCP-exposed probe tool that did NOT fail closed without tenant context; the MCP tenant seam is not wired up and the server must abort startup. */
+    "MCP_SELF_TEST_FAILED",
 ];
 /**
  * Thrown for invalid agent-toolkit input: tenant-seam violations, malformed

package/dist/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,4DAA4D;AAC5D,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,sFAAsF;IACtF,mBAAmB;IACnB,sHAAsH;IACtH,kBAAkB;IAClB,kBAAkB;IAClB,2EAA2E;IAC3E,UAAU;IACV,iEAAiE;IACjE,mBAAmB;IACnB,8DAA8D;IAC9D,mBAAmB;CACX,CAAC;AAIX;;;;GAIG;AACH,MAAM,OAAO,WAAY,SAAQ,KAAK;IAC3B,IAAI,CAAkB;IAC/B,YAAY,IAAqB,EAAE,OAAe;QAChD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;QAC1B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF"}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,4DAA4D;AAC5D,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,sFAAsF;IACtF,mBAAmB;IACnB,sHAAsH;IACtH,kBAAkB;IAClB,kBAAkB;IAClB,2EAA2E;IAC3E,UAAU;IACV,iEAAiE;IACjE,mBAAmB;IACnB,8DAA8D;IAC9D,mBAAmB;IACnB,8EAA8E;IAC9E,uBAAuB;IACvB,kEAAkE;IAClE,aAAa;IACb,mFAAmF;IACnF,4BAA4B;IAC5B,6FAA6F;IAC7F,oBAAoB;IACpB,kGAAkG;IAClG,mBAAmB;IACnB,wIAAwI;IACxI,sBAAsB;IACtB,0IAA0I;IAC1I,2BAA2B;IAC3B,sIAAsI;IACtI,wBAAwB;IACxB,yIAAyI;IACzI,uBAAuB;IACvB,iLAAiL;IACjL,sBAAsB;CACd,CAAC;AAIX;;;;GAIG;AACH,MAAM,OAAO,WAAY,SAAQ,KAAK;IAC3B,IAAI,CAAkB;IAC/B,YAAY,IAAqB,EAAE,OAAe;QAChD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;QAC1B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF"}

package/dist/index.d.ts

@@ -1,6 +1,10 @@
 export * from "./errors.js";
 export * from "./tools.js";
 export * from "./judgment.js";
+export * from "./promotion.js";
 export * from "./advisor.js";
 export * from "./evals.js";
+export * from "./divergence.js";
+export * from "./remote.js";
+export * from "./mcp.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC"}

package/dist/index.js

@@ -1,6 +1,10 @@
 export * from "./errors.js";
 export * from "./tools.js";
 export * from "./judgment.js";
+export * from "./promotion.js";
 export * from "./advisor.js";
 export * from "./evals.js";
+export * from "./divergence.js";
+export * from "./remote.js";
+export * from "./mcp.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC"}

package/dist/mcp.d.ts

@@ -0,0 +1,130 @@
+/**
+ * MCP tenant seam + boot self-test for the governed workspace.
+ *
+ * When the workspace is exposed over the Model Context Protocol, external AI
+ * clients read everything and mutate nothing directly. The one hard guarantee
+ * is that EVERY exposed tool resolves its tenant (project id) from the MCP
+ * request's auth info, never from the model — the same secureToolWrapper rule
+ * the ActNG server proved in production, restated for the MCP transport.
+ *
+ * @mastra/mcp gives no built-in per-tool authorization outside its EE FGA path,
+ * so a missed wire-up FAILS OPEN: a tool that forgets to read authInfo would
+ * happily serve an unauthenticated caller. These two helpers close that caveat:
+ *
+ * 1. requireMcpTenant — the read side. A tool calls it instead of trusting the
+ *    model; absent auth info it THROWS AgentsError("NO_TENANT_CONTEXT"), which
+ *    the defineActuarialTool wrapper turns into a { success:false } envelope.
+ *    A tool built on it fails CLOSED.
+ *
+ * 2. assertFailClosed — the proof. At server startup, drive a probe read tool
+ *    through the server WITHOUT auth and assert it fails closed. If the probe
+ *    SUCCEEDS, the seam is not wired up: this throws MCP_SELF_TEST_FAILED and
+ *    startup MUST abort.
+ *
+ * ---------------------------------------------------------------------------
+ * VERIFIED against the installed @mastra/mcp 1.14.0 (house rule — types and
+ * compiled source, not memory):
+ *
+ * - MCPServer.executeTool(toolId, args, executionContext?: { messages?,
+ *   toolCallId?, requestContext? }): Promise<any> returns the tool's execute
+ *   result VERBATIM (dist/index.js: `const result = await tool.execute(...);
+ *   return result;`). For a defineActuarialTool with no outputSchema the core
+ *   tool builder passes the value through untouched, so an executeTool caller
+ *   sees exactly the { success:false, error:{ code } } envelope the wrapper
+ *   produced. Argument validation runs FIRST and, on failure, short-circuits
+ *   to a { error:true, message } object before the tool ever executes — hence
+ *   assertFailClosed passes minimal VALID probe args.
+ *
+ * - Auth-context access path. On the real streamable-HTTP call path the SDK
+ *   copies the transport `extra` (with `authInfo` from `req.auth`) into the
+ *   tool context TWO ways: directly at `context.mcp.extra`, and — via
+ *   createProxiedRequestContext — as INDIVIDUAL keys set on a fresh
+ *   RequestContext (`context.requestContext.get("authInfo")`). NOTE the
+ *   surprise: the installed 1.14.0 sets each extra key on the RequestContext
+ *   verbatim, so the tenant lives at `requestContext.get("authInfo")`, NOT
+ *   under a single `"mcp.extra"` key as the research draft documented. This
+ *   helper tries all three shapes so it is correct against both the installed
+ *   package and the documented pattern.
+ */
+import type { ActuarialToolContext } from "./tools.js";
+import { type AgentsErrorCode } from "./errors.js";
+/**
+ * The MCP auth-info bag: whatever the host's bearer-token middleware set on
+ * `req.auth` before delegating to startHTTP (e.g. `{ projectId }`). Values are
+ * unknown — requireMcpTenant proves the tenant is a non-empty string.
+ */
+export interface McpAuthInfo {
+    [key: string]: unknown;
+}
+/**
+ * The transport `extra` (MCP SDK RequestHandlerExtra) surfaced to a tool at
+ * `context.mcp.extra`. Only `authInfo` is load-bearing here; the rest
+ * (sessionId, requestInfo, signal, ...) is carried opaquely.
+ */
+export interface McpRequestExtra {
+    authInfo?: McpAuthInfo;
+    [key: string]: unknown;
+}
+/**
+ * The structural slice of a Mastra tool-execution context this seam needs on
+ * the MCP path: the tenant-seam `requestContext` (inherited from
+ * ActuarialToolContext) plus the MCP-specific `mcp.extra`. Typed structurally
+ * so tests exercise the helper with a plain object and no live MCP server.
+ */
+export interface McpToolContext extends ActuarialToolContext {
+    mcp?: {
+        extra?: McpRequestExtra;
+    };
+}
+/**
+ * Reads the tenant id (default key "projectId") from the MCP execution
+ * context's auth info — the server-set identity, never the model. THROWS a
+ * typed AgentsError("NO_TENANT_CONTEXT") when the auth info or the key is
+ * absent, non-string, or empty. Inside a defineActuarialTool execute the
+ * wrapper converts that throw into a { success:false } envelope, so a tool
+ * built on requireMcpTenant fails CLOSED for any unauthenticated MCP caller.
+ */
+export declare function requireMcpTenant(context: McpToolContext | undefined, key?: string): string;
+/**
+ * The structural slice of @mastra/mcp's MCPServer that assertFailClosed drives.
+ * A real MCPServer satisfies it; so does a bare `{ executeTool }` stub, so the
+ * self-test is unit-testable without booting a transport. Verified against the
+ * installed executeTool signature (see the file header).
+ */
+export interface McpToolServer {
+    executeTool(toolId: string, args: Record<string, unknown>, executionContext?: {
+        requestContext?: unknown;
+        messages?: unknown[];
+        toolCallId?: string;
+    }): Promise<unknown>;
+}
+export interface AssertFailClosedOptions {
+    /** The MCP server whose exposed tools are being wired up (typically the workspace MCPServer). */
+    server: McpToolServer;
+    /**
+     * A READ tool that resolves its tenant via requireMcpTenant. Driven with no
+     * auth info, it must fail closed with the tenant error code.
+     */
+    probeToolId: string;
+    /**
+     * Minimal VALID args for the probe tool's input schema. Defaults to `{}`
+     * (correct for read tools whose schema is `z.object({})` or all-optional).
+     * Args that fail schema validation would short-circuit before the tenant
+     * check runs, so pass real minimal args for probes that require input.
+     */
+    probeArgs?: Record<string, unknown>;
+    /** The failure code the probe must fail closed with. Defaults to NO_TENANT_CONTEXT. */
+    expectedErrorCode?: AgentsErrorCode;
+}
+/**
+ * The boot self-test. Drives {@link AssertFailClosedOptions.probeToolId}
+ * through the server WITHOUT any auth info and asserts it fails closed with the
+ * tenant error code. THROWS AgentsError("MCP_SELF_TEST_FAILED") loudly for any
+ * other outcome — most importantly if the probe SUCCEEDED, which means the tool
+ * did not require tenant context and the MCP tenant seam is a fail-open hole.
+ *
+ * Call this at server startup whenever MCP is enabled, and ABORT startup if it
+ * throws: a governed workspace must never accept unauthenticated MCP clients.
+ */
+export declare function assertFailClosed(options: AssertFailClosedOptions): Promise<void>;
+//# sourceMappingURL=mcp.d.ts.map