@mneme-ai/core 2.17.1 → 2.19.0

package/dist/oracle_liability/index.d.ts

@@ -0,0 +1,122 @@
+/**
+ * v2.18.0 — MNEME ORACLE (the AI you can't sue Mneme for)
+ *
+ *   "Mneme issues a signed liability certificate for any AI-proposed
+ *    change that passes AURELIAN AUDIT + SOUL gate + BUG PROPHET (risk
+ *    < 0.20). The certificate caps Mneme's liability at the published
+ *    coverage tier; corporates pay annual premium for higher tiers.
+ *    Insurance + AI provenance in one primitive."
+ *
+ * Honest scope (what ORACLE IS):
+ *   1. assessRisk — pure-function risk calculation over a proposed change
+ *   2. issueCertificate — HMAC-signed liability certificate with cap +
+ *      conditions + per-incident max
+ *   3. verifyClaim — given an incident, does the certificate apply? what's
+ *      the payout?
+ *   4. tierPremium — annual premium calculator (defensible reference table)
+ *
+ * Honest scope (what ORACLE IS NOT):
+ *   - Not real insurance — Mneme is not an insurance carrier; the data
+ *     contract is what real insurers (Lloyd's syndicates, Munich Re) use
+ *     to underwrite policies. ORACLE is the *trust primitive* that makes
+ *     AI insurance pricing feasible.
+ *   - Not a legal opinion. Real underwriting requires actuarial review.
+ *   - Not unlimited — every certificate has a cap. Cheap tiers cap low.
+ *
+ * Composes onto v2.13 AURELIAN + v2.14 SOUL + v2.15.1 BUG PROPHET.
+ * Pure orchestrator + signed receipt.
+ */
+declare const PROTOCOL_VERSION: 1;
+export type CoverageTier = "starter" | "team" | "business" | "enterprise" | "sovereign";
+export interface RiskInput {
+    /** Free-form change description. */
+    description: string;
+    /** From v2.13 AURELIAN: composite axis score 0-100; >=80 = SHIP. */
+    aurelianComposite?: number;
+    /** From v2.14 PROJECT SOUL: verdict on the change. */
+    soulVerdict?: "PASS" | "WARN" | "BLOCK";
+    /** From v2.15.1 BUG PROPHET: regression risk 0-1. */
+    bugProphetRisk?: number;
+    /** From v2.14 BOUNTY: per-vendor measured falseRateLB. */
+    vendorFalseRateLB?: number;
+    /** Optional category — adjusts cap (financial change = stricter). */
+    category?: "code" | "config" | "deploy" | "data" | "financial" | "infra" | "other";
+}
+export interface RiskAssessment {
+    /** 0..1 — fused regression / liability risk. */
+    riskScore: number;
+    /** Human-readable label. */
+    band: "very_low" | "low" | "medium" | "high" | "very_high";
+    /** Reasons feeding into the score. */
+    reasons: string[];
+    /** Whether this change is eligible for an ORACLE certificate. */
+    insurable: boolean;
+}
+export declare function assessRisk(input: RiskInput): RiskAssessment;
+export interface CertificateInput {
+    /** Subscriber identity (e.g., "acme-corp"). */
+    subscriber: string;
+    /** Coverage tier; determines premium + cap. */
+    tier: CoverageTier;
+    /** The change being insured. */
+    change: RiskInput;
+    /** Optional issuance time. */
+    issuedAt?: string;
+    /** Validity in days; defaults to 30 (per-change certs are short-lived). */
+    validityDays?: number;
+    secret?: string;
+}
+export interface LiabilityCertificate {
+    v: typeof PROTOCOL_VERSION;
+    certId: string;
+    subscriber: string;
+    tier: CoverageTier;
+    /** Maximum payout for any single incident under this cert (USD). */
+    perIncidentCapUsd: number;
+    /** Aggregate cap across all certs in the policy year (USD). */
+    annualAggregateCapUsd: number;
+    /** Risk assessment that authorised the cert. */
+    risk: RiskAssessment;
+    /** Issuance / expiry. */
+    issuedAt: string;
+    validUntil: string;
+    /** Conditions that void the cert if breached. */
+    conditions: string[];
+    /** HMAC over the canonical body. */
+    sig: string;
+}
+export declare function issueCertificate(input: CertificateInput): {
+    issued: LiabilityCertificate | null;
+    reason?: string;
+};
+export declare function verifyCertificate(cert: LiabilityCertificate, secret?: string): {
+    ok: boolean;
+    expired: boolean;
+    reason?: string;
+};
+export interface ClaimInput {
+    cert: LiabilityCertificate;
+    /** Estimated incident loss in USD. */
+    estimatedLossUsd: number;
+    /** Brief description of what went wrong. */
+    incidentDescription: string;
+    /** Did any of the cert's conditions get violated? */
+    conditionsBreached?: string[];
+    /** Aggregate already paid out under the subscriber's policy year. */
+    aggregatePaidYtdUsd?: number;
+    secret?: string;
+}
+export interface ClaimDecision {
+    v: typeof PROTOCOL_VERSION;
+    certId: string;
+    decision: "approved" | "partial" | "denied";
+    payoutUsd: number;
+    reasons: string[];
+    decidedAt: string;
+    sig: string;
+}
+export declare function decideClaim(input: ClaimInput): ClaimDecision;
+export declare function tierPremiumUsd(tier: CoverageTier): number;
+export declare function formatOracleLine(c: LiabilityCertificate): string;
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/oracle_liability/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/oracle_liability/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAIH,QAAA,MAAM,gBAAgB,EAAG,CAAU,CAAC;AAEpC,MAAM,MAAM,YAAY,GAAG,SAAS,GAAG,MAAM,GAAG,UAAU,GAAG,YAAY,GAAG,WAAW,CAAC;AAExF,MAAM,WAAW,SAAS;IACxB,oCAAoC;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,oEAAoE;IACpE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,sDAAsD;IACtD,WAAW,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IACxC,qDAAqD;IACrD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,CAAC,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,GAAG,OAAO,CAAC;CACpF;AAED,MAAM,WAAW,cAAc;IAC7B,gDAAgD;IAChD,SAAS,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,IAAI,EAAE,UAAU,GAAG,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,WAAW,CAAC;IAC3D,sCAAsC;IACtC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,iEAAiE;IACjE,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,cAAc,CA0D3D;AAED,MAAM,WAAW,gBAAgB;IAC/B,+CAA+C;IAC/C,UAAU,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,IAAI,EAAE,YAAY,CAAC;IACnB,gCAAgC;IAChC,MAAM,EAAE,SAAS,CAAC;IAClB,8BAA8B;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2EAA2E;IAC3E,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,oBAAoB;IACnC,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,YAAY,CAAC;IACnB,oEAAoE;IACpE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,+DAA+D;IAC/D,qBAAqB,EAAE,MAAM,CAAC;IAC9B,gDAAgD;IAChD,IAAI,EAAE,cAAc,CAAC;IACrB,yBAAyB;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,iDAAiD;IACjD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,oCAAoC;IACpC,GAAG,EAAE,MAAM,CAAC;CACb;AAqBD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,gBAAgB,GAAG;IAAE,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CA+BlH;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,oBAAoB,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAUjI;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,oBAAoB,CAAC;IAC3B,sCAAsC;IACtC,gBAAgB,EAAE,MAAM,CAAC;IACzB,4CAA4C;IAC5C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,qDAAqD;IACrD,kBAAkB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC9B,qEAAqE;IACrE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,CAAC;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAoC5D;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,YAAY,GAAG,MAAM,CAEzD;AAED,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,oBAAoB,GAAG,MAAM,CAEhE"}

package/dist/oracle_liability/index.js

@@ -0,0 +1,203 @@
+/**
+ * v2.18.0 — MNEME ORACLE (the AI you can't sue Mneme for)
+ *
+ *   "Mneme issues a signed liability certificate for any AI-proposed
+ *    change that passes AURELIAN AUDIT + SOUL gate + BUG PROPHET (risk
+ *    < 0.20). The certificate caps Mneme's liability at the published
+ *    coverage tier; corporates pay annual premium for higher tiers.
+ *    Insurance + AI provenance in one primitive."
+ *
+ * Honest scope (what ORACLE IS):
+ *   1. assessRisk — pure-function risk calculation over a proposed change
+ *   2. issueCertificate — HMAC-signed liability certificate with cap +
+ *      conditions + per-incident max
+ *   3. verifyClaim — given an incident, does the certificate apply? what's
+ *      the payout?
+ *   4. tierPremium — annual premium calculator (defensible reference table)
+ *
+ * Honest scope (what ORACLE IS NOT):
+ *   - Not real insurance — Mneme is not an insurance carrier; the data
+ *     contract is what real insurers (Lloyd's syndicates, Munich Re) use
+ *     to underwrite policies. ORACLE is the *trust primitive* that makes
+ *     AI insurance pricing feasible.
+ *   - Not a legal opinion. Real underwriting requires actuarial review.
+ *   - Not unlimited — every certificate has a cap. Cheap tiers cap low.
+ *
+ * Composes onto v2.13 AURELIAN + v2.14 SOUL + v2.15.1 BUG PROPHET.
+ * Pure orchestrator + signed receipt.
+ */
+import { createHmac, timingSafeEqual } from "node:crypto";
+const PROTOCOL_VERSION = 1;
+export function assessRisk(input) {
+    const reasons = [];
+    // Start with prophet risk if available; otherwise default skeptical 0.5
+    let risk = input.bugProphetRisk ?? 0.5;
+    if (input.bugProphetRisk !== undefined)
+        reasons.push(`BUG PROPHET risk: ${(input.bugProphetRisk * 100).toFixed(0)}%`);
+    // SOUL verdict has hard impact
+    if (input.soulVerdict === "BLOCK") {
+        risk = Math.max(risk, 0.85);
+        reasons.push("PROJECT SOUL verdict: BLOCK");
+    }
+    else if (input.soulVerdict === "WARN") {
+        risk += 0.10;
+        reasons.push("PROJECT SOUL verdict: WARN (+0.10)");
+    }
+    else if (input.soulVerdict === "PASS") {
+        risk -= 0.05;
+        reasons.push("PROJECT SOUL verdict: PASS (-0.05)");
+    }
+    // AURELIAN: high composite reduces risk (well-graded change)
+    if (input.aurelianComposite !== undefined) {
+        const adj = (50 - input.aurelianComposite) / 200; // 80→-0.15, 50→0, 20→+0.15
+        risk += adj;
+        reasons.push(`AURELIAN composite ${input.aurelianComposite} → adj ${adj >= 0 ? "+" : ""}${adj.toFixed(2)}`);
+    }
+    // Vendor trust adjustment
+    if (input.vendorFalseRateLB !== undefined && input.vendorFalseRateLB > 0.1) {
+        risk += input.vendorFalseRateLB * 0.5;
+        reasons.push(`Vendor falseRateLB ${input.vendorFalseRateLB} adds ${(input.vendorFalseRateLB * 0.5).toFixed(3)}`);
+    }
+    // Category multipliers
+    const catMult = {
+        code: 1.0, config: 1.1, deploy: 1.2,
+        data: 1.4, financial: 1.6, infra: 1.3, other: 1.0,
+    };
+    if (input.category) {
+        const m = catMult[input.category];
+        risk *= m;
+        if (m !== 1)
+            reasons.push(`Category ${input.category} multiplier ${m.toFixed(1)}×`);
+    }
+    risk = Math.max(0.01, Math.min(0.99, risk));
+    let band;
+    if (risk < 0.10)
+        band = "very_low";
+    else if (risk < 0.25)
+        band = "low";
+    else if (risk < 0.50)
+        band = "medium";
+    else if (risk < 0.75)
+        band = "high";
+    else
+        band = "very_high";
+    // Insurable rule: risk must be < 0.50 AND SOUL must not be BLOCK
+    const insurable = risk < 0.50 && input.soulVerdict !== "BLOCK";
+    return {
+        riskScore: Math.round(risk * 1000) / 1000,
+        band, reasons, insurable,
+    };
+}
+const TIER_LIMITS = {
+    starter: { perIncident: 1_000, annualAggregate: 10_000, annualPremium: 1_200 },
+    team: { perIncident: 10_000, annualAggregate: 100_000, annualPremium: 8_400 },
+    business: { perIncident: 100_000, annualAggregate: 1_000_000, annualPremium: 60_000 },
+    enterprise: { perIncident: 1_000_000, annualAggregate: 10_000_000, annualPremium: 480_000 },
+    sovereign: { perIncident: 10_000_000, annualAggregate: 100_000_000, annualPremium: 3_600_000 },
+};
+function canon(v) {
+    if (v === null || typeof v !== "object")
+        return JSON.stringify(v);
+    if (Array.isArray(v))
+        return "[" + v.map(canon).join(",") + "]";
+    const keys = Object.keys(v).sort();
+    return "{" + keys.map((k) => JSON.stringify(k) + ":" + canon(v[k])).join(",") + "}";
+}
+function defaultSecret() {
+    return process.env["MNEME_ORACLE_SECRET"] || `mneme-oracle-liability-v${PROTOCOL_VERSION}`;
+}
+export function issueCertificate(input) {
+    const risk = assessRisk(input.change);
+    if (!risk.insurable) {
+        return { issued: null, reason: `not insurable: risk ${risk.riskScore} band=${risk.band}; reasons: ${risk.reasons.join("; ")}` };
+    }
+    const limits = TIER_LIMITS[input.tier];
+    const issuedAt = input.issuedAt ?? new Date().toISOString();
+    const validityDays = input.validityDays ?? 30;
+    const validUntil = new Date(Date.parse(issuedAt) + validityDays * 24 * 60 * 60 * 1000).toISOString();
+    const certId = "lc-" + createHmac("sha256", "mneme-oracle-certid").update(`${input.subscriber}|${issuedAt}|${input.change.description}`).digest("hex").slice(0, 14);
+    const conditions = [
+        "Cert is void if PROJECT SOUL is mutated after issuance to remove a rule that would have BLOCKed this change.",
+        "Cert is void if AI vendor used differs from the one whose falseRateLB underpinned the risk score.",
+        "Cert is void if the change is shipped after validUntil.",
+        "Per-incident payout requires Mneme-signed AURELIAN audit of the incident.",
+        "Aggregate cap is shared across ALL certificates issued to the subscriber in the policy year.",
+    ];
+    const body = {
+        v: PROTOCOL_VERSION,
+        certId,
+        subscriber: input.subscriber,
+        tier: input.tier,
+        perIncidentCapUsd: limits.perIncident,
+        annualAggregateCapUsd: limits.annualAggregate,
+        risk,
+        issuedAt,
+        validUntil,
+        conditions,
+    };
+    const sig = createHmac("sha256", input.secret ?? defaultSecret()).update(canon(body)).digest("hex");
+    return { issued: { ...body, sig } };
+}
+export function verifyCertificate(cert, secret) {
+    const { sig: claimed, ...body } = cert;
+    const expected = createHmac("sha256", secret ?? defaultSecret()).update(canon(body)).digest("hex");
+    let okSig = false;
+    try {
+        okSig = timingSafeEqual(Buffer.from(expected, "hex"), Buffer.from(claimed, "hex"));
+    }
+    catch {
+        okSig = false;
+    }
+    if (!okSig)
+        return { ok: false, expired: false, reason: "cert sig mismatch — forged or wrong key" };
+    const expired = Date.now() > Date.parse(cert.validUntil);
+    if (expired)
+        return { ok: false, expired: true, reason: "cert expired" };
+    return { ok: true, expired: false };
+}
+export function decideClaim(input) {
+    const reasons = [];
+    let payoutUsd = 0;
+    let decision = "denied";
+    // Verify cert first
+    const v = verifyCertificate(input.cert, input.secret);
+    if (!v.ok) {
+        reasons.push(`certificate failed verification: ${v.reason}`);
+    }
+    else if (input.conditionsBreached && input.conditionsBreached.length > 0) {
+        reasons.push(`conditions breached: ${input.conditionsBreached.join("; ")}`);
+    }
+    else {
+        // Eligible — compute payout
+        const perIncidentMax = input.cert.perIncidentCapUsd;
+        const aggregateRemaining = input.cert.annualAggregateCapUsd - (input.aggregatePaidYtdUsd ?? 0);
+        const eligible = Math.min(input.estimatedLossUsd, perIncidentMax, Math.max(0, aggregateRemaining));
+        payoutUsd = eligible;
+        if (eligible >= input.estimatedLossUsd) {
+            decision = "approved";
+            reasons.push(`approved at full estimated loss; per-incident cap not hit; aggregate remaining ${aggregateRemaining}.`);
+        }
+        else if (eligible > 0) {
+            decision = "partial";
+            reasons.push(`partial: estimated loss ${input.estimatedLossUsd} exceeds per-incident cap ${perIncidentMax} or aggregate remaining ${aggregateRemaining}.`);
+        }
+        else {
+            decision = "denied";
+            reasons.push(`aggregate cap exhausted for the policy year.`);
+        }
+    }
+    const decidedAt = new Date().toISOString();
+    const body = {
+        v: PROTOCOL_VERSION,
+        certId: input.cert.certId, decision, payoutUsd, reasons, decidedAt,
+    };
+    const sig = createHmac("sha256", input.secret ?? defaultSecret()).update(canon(body)).digest("hex");
+    return { ...body, sig };
+}
+export function tierPremiumUsd(tier) {
+    return TIER_LIMITS[tier].annualPremium;
+}
+export function formatOracleLine(c) {
+    return `ORACLE 🔬 · ${c.subscriber} · ${c.tier} · cap=$${c.perIncidentCapUsd.toLocaleString()}/incident · expires ${c.validUntil.slice(0, 10)}`;
+}
+//# sourceMappingURL=index.js.map

package/dist/oracle_liability/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/oracle_liability/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAU,CAAC;AA8BpC,MAAM,UAAU,UAAU,CAAC,KAAgB;IACzC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,wEAAwE;IACxE,IAAI,IAAI,GAAG,KAAK,CAAC,cAAc,IAAI,GAAG,CAAC;IACvC,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,KAAK,CAAC,cAAc,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEtH,+BAA+B;IAC/B,IAAI,KAAK,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;QAClC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC9C,CAAC;SAAM,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;QACxC,IAAI,IAAI,IAAI,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACrD,CAAC;SAAM,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;QACxC,IAAI,IAAI,IAAI,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACrD,CAAC;IAED,6DAA6D;IAC7D,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,KAAK,CAAC,iBAAiB,CAAC,GAAG,GAAG,CAAC,CAAC,2BAA2B;QAC7E,IAAI,IAAI,GAAG,CAAC;QACZ,OAAO,CAAC,IAAI,CAAC,sBAAsB,KAAK,CAAC,iBAAiB,UAAU,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC9G,CAAC;IAED,0BAA0B;IAC1B,IAAI,KAAK,CAAC,iBAAiB,KAAK,SAAS,IAAI,KAAK,CAAC,iBAAiB,GAAG,GAAG,EAAE,CAAC;QAC3E,IAAI,IAAI,KAAK,CAAC,iBAAiB,GAAG,GAAG,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,sBAAsB,KAAK,CAAC,iBAAiB,SAAS,CAAC,KAAK,CAAC,iBAAiB,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnH,CAAC;IAED,uBAAuB;IACvB,MAAM,OAAO,GAAuD;QAClE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG;QACnC,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG;KAClD,CAAC;IACF,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,CAAC;QACV,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,QAAQ,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACtF,CAAC;IAED,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAE5C,IAAI,IAA4B,CAAC;IACjC,IAAI,IAAI,GAAG,IAAI;QAAE,IAAI,GAAG,UAAU,CAAC;SAC9B,IAAI,IAAI,GAAG,IAAI;QAAE,IAAI,GAAG,KAAK,CAAC;SAC9B,IAAI,IAAI,GAAG,IAAI;QAAE,IAAI,GAAG,QAAQ,CAAC;SACjC,IAAI,IAAI,GAAG,IAAI;QAAE,IAAI,GAAG,MAAM,CAAC;;QAC/B,IAAI,GAAG,WAAW,CAAC;IAExB,iEAAiE;IACjE,MAAM,SAAS,GAAG,IAAI,GAAG,IAAI,IAAI,KAAK,CAAC,WAAW,KAAK,OAAO,CAAC;IAE/D,OAAO;QACL,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI;QACzC,IAAI,EAAE,OAAO,EAAE,SAAS;KACzB,CAAC;AACJ,CAAC;AAoCD,MAAM,WAAW,GAAkG;IACjH,OAAO,EAAK,EAAE,WAAW,EAAK,KAAK,EAAE,eAAe,EAAK,MAAM,EAAE,aAAa,EAAI,KAAK,EAAE;IACzF,IAAI,EAAQ,EAAE,WAAW,EAAI,MAAM,EAAE,eAAe,EAAI,OAAO,EAAE,aAAa,EAAI,KAAK,EAAE;IACzF,QAAQ,EAAI,EAAE,WAAW,EAAG,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,aAAa,EAAG,MAAM,EAAE;IACzF,UAAU,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,eAAe,EAAC,UAAU,EAAE,aAAa,EAAE,OAAO,EAAE;IAC1F,SAAS,EAAG,EAAE,WAAW,EAAC,UAAU,EAAE,eAAe,EAAC,WAAW,EAAC,aAAa,EAAC,SAAS,EAAE;CAC5F,CAAC;AAEF,SAAS,KAAK,CAAC,CAAU;IACvB,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAA4B,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9D,OAAO,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,KAAK,CAAE,CAA6B,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;AACnH,CAAC;AAED,SAAS,aAAa;IACpB,OAAO,OAAO,CAAC,GAAG,CAAC,qBAAqB,CAAC,IAAI,2BAA2B,gBAAgB,EAAE,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAuB;IACtD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;QACpB,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,uBAAuB,IAAI,CAAC,SAAS,SAAS,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IAClI,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC5D,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IAC9C,MAAM,UAAU,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,YAAY,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;IACrG,MAAM,MAAM,GAAG,KAAK,GAAG,UAAU,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,IAAI,QAAQ,IAAI,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACpK,MAAM,UAAU,GAAG;QACjB,8GAA8G;QAC9G,mGAAmG;QACnG,yDAAyD;QACzD,2EAA2E;QAC3E,8FAA8F;KAC/F,CAAC;IACF,MAAM,IAAI,GAAsC;QAC9C,CAAC,EAAE,gBAAgB;QACnB,MAAM;QACN,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,iBAAiB,EAAE,MAAM,CAAC,WAAW;QACrC,qBAAqB,EAAE,MAAM,CAAC,eAAe;QAC7C,IAAI;QACJ,QAAQ;QACR,UAAU;QACV,UAAU;KACX,CAAC;IACF,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpG,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC;AACtC,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAA0B,EAAE,MAAe;IAC3E,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,EAAE,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnG,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,CAAC;QAAC,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;IAAC,CAAC;IAC3F,MAAM,CAAC;QAAC,KAAK,GAAG,KAAK,CAAC;IAAC,CAAC;IACxB,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,yCAAyC,EAAE,CAAC;IACpG,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzD,IAAI,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACzE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC;AAyBD,MAAM,UAAU,WAAW,CAAC,KAAiB;IAC3C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,QAAQ,GAA8B,QAAQ,CAAC;IAEnD,oBAAoB;IACpB,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACV,OAAO,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,CAAC;SAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,KAAK,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,wBAAwB,KAAK,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9E,CAAC;SAAM,CAAC;QACN,4BAA4B;QAC5B,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACpD,MAAM,kBAAkB,GAAG,KAAK,CAAC,IAAI,CAAC,qBAAqB,GAAG,CAAC,KAAK,CAAC,mBAAmB,IAAI,CAAC,CAAC,CAAC;QAC/F,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,gBAAgB,EAAE,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACnG,SAAS,GAAG,QAAQ,CAAC;QACrB,IAAI,QAAQ,IAAI,KAAK,CAAC,gBAAgB,EAAE,CAAC;YACvC,QAAQ,GAAG,UAAU,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC,kFAAkF,kBAAkB,GAAG,CAAC,CAAC;QACxH,CAAC;aAAM,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACxB,QAAQ,GAAG,SAAS,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,2BAA2B,KAAK,CAAC,gBAAgB,6BAA6B,cAAc,2BAA2B,kBAAkB,GAAG,CAAC,CAAC;QAC7J,CAAC;aAAM,CAAC;YACN,QAAQ,GAAG,QAAQ,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,8CAA8C,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG;QACX,CAAC,EAAE,gBAA2C;QAC9C,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS;KACnE,CAAC;IACF,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACpG,OAAO,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAkB;IAC/C,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAuB;IACtD,OAAO,eAAe,CAAC,CAAC,UAAU,MAAM,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,iBAAiB,CAAC,cAAc,EAAE,uBAAuB,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;AAClJ,CAAC"}

package/dist/oracle_liability/oracle_liability.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=oracle_liability.test.d.ts.map

package/dist/oracle_liability/oracle_liability.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"oracle_liability.test.d.ts","sourceRoot":"","sources":["../../src/oracle_liability/oracle_liability.test.ts"],"names":[],"mappings":""}

package/dist/oracle_liability/oracle_liability.test.js

@@ -0,0 +1,186 @@
+import { describe, it, expect } from "vitest";
+import { assessRisk, issueCertificate, verifyCertificate, decideClaim, tierPremiumUsd, formatOracleLine, } from "./index.js";
+describe("v2.18 · MNEME ORACLE", () => {
+    describe("assessRisk", () => {
+        it("BLOCK SOUL forces very_high regardless of other inputs", () => {
+            const r = assessRisk({ description: "x", soulVerdict: "BLOCK", bugProphetRisk: 0.05 });
+            expect(r.band).toBe("very_high");
+            expect(r.insurable).toBe(false);
+        });
+        it("PASS SOUL + low prophet + good aurelian = very_low / low", () => {
+            const r = assessRisk({
+                description: "tiny doc fix",
+                soulVerdict: "PASS",
+                bugProphetRisk: 0.05,
+                aurelianComposite: 90,
+            });
+            expect(r.insurable).toBe(true);
+            expect(["very_low", "low"]).toContain(r.band);
+        });
+        it("WARN SOUL adds 0.10", () => {
+            const a = assessRisk({ description: "x", soulVerdict: "PASS", bugProphetRisk: 0.20 });
+            const b = assessRisk({ description: "x", soulVerdict: "WARN", bugProphetRisk: 0.20 });
+            expect(b.riskScore).toBeGreaterThan(a.riskScore);
+        });
+        it("financial category multiplies risk 1.6×", () => {
+            const a = assessRisk({ description: "x", bugProphetRisk: 0.30, soulVerdict: "PASS", category: "code" });
+            const b = assessRisk({ description: "x", bugProphetRisk: 0.30, soulVerdict: "PASS", category: "financial" });
+            expect(b.riskScore).toBeGreaterThan(a.riskScore);
+        });
+        it("vendor falseRateLB > 0.1 increases risk", () => {
+            const a = assessRisk({ description: "x", bugProphetRisk: 0.10, soulVerdict: "PASS", vendorFalseRateLB: 0.05 });
+            const b = assessRisk({ description: "x", bugProphetRisk: 0.10, soulVerdict: "PASS", vendorFalseRateLB: 0.30 });
+            expect(b.riskScore).toBeGreaterThan(a.riskScore);
+        });
+        it("missing prophet defaults to skeptical 0.5", () => {
+            const r = assessRisk({ description: "x" });
+            expect(r.riskScore).toBeGreaterThanOrEqual(0.45);
+        });
+        it("riskScore is clamped to (0, 1)", () => {
+            const r = assessRisk({ description: "x", soulVerdict: "BLOCK", bugProphetRisk: 0.99, vendorFalseRateLB: 0.99, category: "financial" });
+            expect(r.riskScore).toBeLessThanOrEqual(0.99);
+            expect(r.riskScore).toBeGreaterThan(0);
+        });
+    });
+    describe("issueCertificate", () => {
+        it("issues a starter cert for low-risk change", () => {
+            const r = issueCertificate({
+                subscriber: "acme-corp",
+                tier: "starter",
+                change: { description: "doc tweak", soulVerdict: "PASS", bugProphetRisk: 0.05, aurelianComposite: 90 },
+            });
+            expect(r.issued).not.toBeNull();
+            expect(r.issued.tier).toBe("starter");
+            expect(r.issued.perIncidentCapUsd).toBe(1_000);
+            expect(r.issued.annualAggregateCapUsd).toBe(10_000);
+            expect(r.issued.sig).toMatch(/^[0-9a-f]{64}$/);
+            expect(r.issued.certId).toMatch(/^lc-[0-9a-f]{14}$/);
+        });
+        it("refuses to issue when not insurable (BLOCK SOUL)", () => {
+            const r = issueCertificate({
+                subscriber: "acme-corp",
+                tier: "team",
+                change: { description: "yolo prod migration", soulVerdict: "BLOCK", bugProphetRisk: 0.6 },
+            });
+            expect(r.issued).toBeNull();
+            expect(r.reason).toContain("not insurable");
+        });
+        it("refuses to issue when risk >= 0.50", () => {
+            const r = issueCertificate({
+                subscriber: "x",
+                tier: "starter",
+                change: { description: "x", soulVerdict: "WARN", bugProphetRisk: 0.55 },
+            });
+            expect(r.issued).toBeNull();
+        });
+        it("enterprise tier has $1M per-incident / $10M aggregate", () => {
+            const r = issueCertificate({
+                subscriber: "bigco",
+                tier: "enterprise",
+                change: { description: "x", soulVerdict: "PASS", bugProphetRisk: 0.05, aurelianComposite: 90 },
+            });
+            expect(r.issued.perIncidentCapUsd).toBe(1_000_000);
+            expect(r.issued.annualAggregateCapUsd).toBe(10_000_000);
+        });
+        it("attaches 5+ conditions to the cert", () => {
+            const r = issueCertificate({
+                subscriber: "x", tier: "starter",
+                change: { description: "x", soulVerdict: "PASS", bugProphetRisk: 0.05 },
+            });
+            expect(r.issued.conditions.length).toBeGreaterThanOrEqual(5);
+            expect(r.issued.conditions.some((c) => c.includes("PROJECT SOUL"))).toBe(true);
+        });
+    });
+    describe("verifyCertificate", () => {
+        it("verifies a clean cert", () => {
+            const r = issueCertificate({
+                subscriber: "x", tier: "starter",
+                change: { description: "x", soulVerdict: "PASS", bugProphetRisk: 0.05 },
+            });
+            const v = verifyCertificate(r.issued);
+            expect(v.ok).toBe(true);
+        });
+        it("rejects tampered cert", () => {
+            const r = issueCertificate({
+                subscriber: "x", tier: "starter",
+                change: { description: "x", soulVerdict: "PASS", bugProphetRisk: 0.05 },
+            });
+            const tampered = { ...r.issued, perIncidentCapUsd: 1_000_000_000 };
+            const v = verifyCertificate(tampered);
+            expect(v.ok).toBe(false);
+            expect(v.reason).toContain("sig mismatch");
+        });
+        it("rejects expired cert", () => {
+            const issuedAt = new Date(Date.now() - 31 * 24 * 60 * 60 * 1000).toISOString();
+            const r = issueCertificate({
+                subscriber: "x", tier: "starter", issuedAt,
+                change: { description: "x", soulVerdict: "PASS", bugProphetRisk: 0.05 },
+            });
+            const v = verifyCertificate(r.issued);
+            expect(v.expired).toBe(true);
+            expect(v.ok).toBe(false);
+        });
+    });
+    describe("decideClaim", () => {
+        function freshCert() {
+            return issueCertificate({
+                subscriber: "acme", tier: "team",
+                change: { description: "x", soulVerdict: "PASS", bugProphetRisk: 0.05, aurelianComposite: 90 },
+            }).issued;
+        }
+        it("approves a small claim under cap", () => {
+            const cert = freshCert();
+            const d = decideClaim({ cert, estimatedLossUsd: 500, incidentDescription: "minor bug" });
+            expect(d.decision).toBe("approved");
+            expect(d.payoutUsd).toBe(500);
+            expect(d.sig).toMatch(/^[0-9a-f]{64}$/);
+        });
+        it("partial when loss exceeds per-incident cap", () => {
+            const cert = freshCert(); // team: $10k per incident
+            const d = decideClaim({ cert, estimatedLossUsd: 50_000, incidentDescription: "big bug" });
+            expect(d.decision).toBe("partial");
+            expect(d.payoutUsd).toBe(10_000);
+        });
+        it("denied when aggregate cap exhausted", () => {
+            const cert = freshCert();
+            const d = decideClaim({
+                cert, estimatedLossUsd: 1000, incidentDescription: "x",
+                aggregatePaidYtdUsd: cert.annualAggregateCapUsd, // already paid out the whole year
+            });
+            expect(d.decision).toBe("denied");
+            expect(d.payoutUsd).toBe(0);
+        });
+        it("denied when conditions breached", () => {
+            const cert = freshCert();
+            const d = decideClaim({
+                cert, estimatedLossUsd: 500, incidentDescription: "x",
+                conditionsBreached: ["vendor swap mid-policy"],
+            });
+            expect(d.decision).toBe("denied");
+            expect(d.payoutUsd).toBe(0);
+        });
+        it("denied when cert sig is invalid", () => {
+            const cert = freshCert();
+            const tampered = { ...cert, perIncidentCapUsd: cert.perIncidentCapUsd * 1000 };
+            const d = decideClaim({ cert: tampered, estimatedLossUsd: 500, incidentDescription: "x" });
+            expect(d.decision).toBe("denied");
+        });
+    });
+    it("tierPremiumUsd ladder is monotone", () => {
+        expect(tierPremiumUsd("sovereign")).toBeGreaterThan(tierPremiumUsd("enterprise"));
+        expect(tierPremiumUsd("enterprise")).toBeGreaterThan(tierPremiumUsd("business"));
+        expect(tierPremiumUsd("business")).toBeGreaterThan(tierPremiumUsd("team"));
+        expect(tierPremiumUsd("team")).toBeGreaterThan(tierPremiumUsd("starter"));
+    });
+    it("formatOracleLine summarises", () => {
+        const r = issueCertificate({
+            subscriber: "acme", tier: "team",
+            change: { description: "x", soulVerdict: "PASS", bugProphetRisk: 0.05 },
+        });
+        const line = formatOracleLine(r.issued);
+        expect(line).toContain("ORACLE");
+        expect(line).toContain("acme");
+        expect(line).toContain("team");
+    });
+});
+//# sourceMappingURL=oracle_liability.test.js.map

package/dist/oracle_liability/oracle_liability.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"oracle_liability.test.js","sourceRoot":"","sources":["../../src/oracle_liability/oracle_liability.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,WAAW,EAC5D,cAAc,EAAE,gBAAgB,GACjC,MAAM,YAAY,CAAC;AAEpB,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;YACvF,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACjC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,CAAC,GAAG,UAAU,CAAC;gBACnB,WAAW,EAAE,cAAc;gBAC3B,WAAW,EAAE,MAAM;gBACnB,cAAc,EAAE,IAAI;gBACpB,iBAAiB,EAAE,EAAE;aACtB,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;YACtF,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;YACtF,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;YACxG,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;YAC7G,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/G,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,cAAc,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/G,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;YAC3C,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,GAAG,UAAU,CAAC,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;YACvI,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,WAAW;gBACvB,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE;aACvG,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvC,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrD,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,WAAW;gBACvB,IAAI,EAAE,MAAM;gBACZ,MAAM,EAAE,EAAE,WAAW,EAAE,qBAAqB,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,EAAE;aAC1F,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,GAAG;gBACf,IAAI,EAAE,SAAS;gBACf,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;aACxE,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,OAAO;gBACnB,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE;aAC/F,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS;gBAChC,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;aACxE,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC9D,MAAM,CAAC,CAAC,CAAC,MAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS;gBAChC,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;aACxE,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAO,CAAC,CAAC;YACvC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS;gBAChC,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;aACxE,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,EAAE,GAAG,CAAC,CAAC,MAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC;YACpE,MAAM,CAAC,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACtC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/E,MAAM,CAAC,GAAG,gBAAgB,CAAC;gBACzB,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ;gBAC1C,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;aACxE,CAAC,CAAC;YACH,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,MAAO,CAAC,CAAC;YACvC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,SAAS,SAAS;YAChB,OAAO,gBAAgB,CAAC;gBACtB,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;gBAChC,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE;aAC/F,CAAC,CAAC,MAAO,CAAC;QACb,CAAC;QAED,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,mBAAmB,EAAE,WAAW,EAAE,CAAC,CAAC;YACzF,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC,CAAC,0BAA0B;YACpD,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,mBAAmB,EAAE,SAAS,EAAE,CAAC,CAAC;YAC1F,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,WAAW,CAAC;gBACpB,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG;gBACtD,mBAAmB,EAAE,IAAI,CAAC,qBAAqB,EAAE,kCAAkC;aACpF,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,WAAW,CAAC;gBACpB,IAAI,EAAE,gBAAgB,EAAE,GAAG,EAAE,mBAAmB,EAAE,GAAG;gBACrD,kBAAkB,EAAE,CAAC,wBAAwB,CAAC;aAC/C,CAAC,CAAC;YACH,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,IAAI,GAAG,SAAS,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,EAAE,iBAAiB,EAAE,IAAI,CAAC,iBAAiB,GAAG,IAAI,EAAE,CAAC;YAC/E,MAAM,CAAC,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,gBAAgB,EAAE,GAAG,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC,CAAC;YAC3F,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC;QAClF,MAAM,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC;QACjF,MAAM,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3E,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,gBAAgB,CAAC;YACzB,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;YAChC,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;SACxE,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,MAAO,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/trinity_vote/index.d.ts

@@ -0,0 +1,86 @@
+/**
+ * v2.19.0 — MNEME TRINITY VOTE (the ensemble that pays for the tiebreaker only when needed)
+ *
+ *   "Take two reliable consensus vendors (e.g., claude + chatgpt). On
+ *    every prompt, run them and ARENA-grade. If they CONSENSUS (composite
+ *    within tolerance + same factScore), accept the consensus answer and
+ *    do NOT call the tiebreaker. Only on DISAGREEMENT does Mneme escalate
+ *    to the tiebreaker (e.g., grok or gemini) — the vendor whose value
+ *    is highest on hard cases. Net result: spend ~10-15% of normal
+ *    tiebreaker cost while extracting its full value-add."
+ *
+ * Vendor-agnostic: any (consensus pair, tiebreaker) tuple is legal. The
+ * tiebreaker may be cheap (e.g., a free vendor for sanity) or expensive
+ * (e.g., grok-build $300/mo for outlier-quality on the disagreements
+ * that matter most).
+ *
+ * Honest scope:
+ *   - TRINITY does NOT call vendors itself; the caller supplies responses
+ *     for the consensus pair AND a `tiebreakerProvider` function that
+ *     materialises the tiebreaker response when (and only when) needed.
+ *   - Consensus is measured by ARENA composite gap, not text equality.
+ *     Two correct answers phrased differently are still consensus.
+ *   - The decision is HMAC-signed, so the user can audit later: "was
+ *     this really a tiebreak case, or did we waste $0.10 on grok?"
+ *
+ * Composes onto v2.18 ARENA + v2.15 ARBITRAGE. Pure additive layer.
+ */
+import { type ExpectedFact, type TaskClass, type Vendor, type VendorResponse } from "../arena/index.js";
+declare const PROTOCOL_VERSION: 1;
+export interface TrinityInput {
+    prompt: string;
+    taskClass: TaskClass;
+    expectedFacts: ExpectedFact[];
+    /** Two vendors whose agreement counts as consensus. Order does not matter. */
+    consensusPair: [VendorResponse, VendorResponse];
+    /** Vendor to call only on consensus disagreement. May be any vendor. */
+    tiebreakerVendor: Vendor;
+    /** Caller-supplied tiebreaker provider; invoked ONLY when consensus fails. */
+    tiebreakerProvider: () => Promise<VendorResponse> | VendorResponse;
+    /** Composite gap > tolerance → disagreement. Default 0.10. */
+    consensusToleranceComposite?: number;
+    /** Both must pass at least this fraction of facts to count as consensus. Default 1.0. */
+    consensusMinFactScore?: number;
+    ts?: string;
+    secret?: string;
+}
+export interface TrinityVerdict {
+    v: typeof PROTOCOL_VERSION;
+    verdictId: string;
+    ts: string;
+    taskClass: TaskClass;
+    consensusPair: [Vendor, Vendor];
+    tiebreakerVendor: Vendor;
+    /** Was the tiebreaker actually invoked? */
+    tiebreakUsed: boolean;
+    /** Which vendor's answer was selected. */
+    chosenVendor: Vendor;
+    chosenResponse: string;
+    /** Why we chose what we chose. */
+    reasons: string[];
+    /** ARENA composite for each vendor that participated. */
+    participantScores: Array<{
+        vendor: Vendor;
+        composite: number;
+        factScore: number;
+    }>;
+    /** Cost discipline: estimated $ saved by NOT calling the tiebreaker (when consensus held). */
+    estimatedTiebreakerCostSavedUsd: number;
+    sig: string;
+}
+export declare function judgeWithTrinity(input: TrinityInput): Promise<TrinityVerdict>;
+export declare function verifyTrinity(v: TrinityVerdict, secret?: string): {
+    ok: boolean;
+    reason?: string;
+};
+export interface TrinityRollup {
+    totalVerdicts: number;
+    tiebreaksTriggered: number;
+    tiebreakRate: number;
+    totalCostSavedUsd: number;
+    perVendorWins: Record<string, number>;
+}
+export declare function rollupTrinity(verdicts: TrinityVerdict[]): TrinityRollup;
+export declare function formatTrinityLine(v: TrinityVerdict): string;
+export {};
+//# sourceMappingURL=index.d.ts.map

package/dist/trinity_vote/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/trinity_vote/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAGH,OAAO,EAAc,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEpH,QAAA,MAAM,gBAAgB,EAAG,CAAU,CAAC;AAEpC,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,SAAS,CAAC;IACrB,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,8EAA8E;IAC9E,aAAa,EAAE,CAAC,cAAc,EAAE,cAAc,CAAC,CAAC;IAChD,wEAAwE;IACxE,gBAAgB,EAAE,MAAM,CAAC;IACzB,8EAA8E;IAC9E,kBAAkB,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,GAAG,cAAc,CAAC;IACnE,8DAA8D;IAC9D,2BAA2B,CAAC,EAAE,MAAM,CAAC;IACrC,yFAAyF;IACzF,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,cAAc;IAC7B,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,SAAS,CAAC;IACrB,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChC,gBAAgB,EAAE,MAAM,CAAC;IACzB,2CAA2C;IAC3C,YAAY,EAAE,OAAO,CAAC;IACtB,0CAA0C;IAC1C,YAAY,EAAE,MAAM,CAAC;IACrB,cAAc,EAAE,MAAM,CAAC;IACvB,kCAAkC;IAClC,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,yDAAyD;IACzD,iBAAiB,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACnF,8FAA8F;IAC9F,+BAA+B,EAAE,MAAM,CAAC;IACxC,GAAG,EAAE,MAAM,CAAC;CACb;AAaD,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,cAAc,CAAC,CAoGnF;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CASlG;AAED,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACvC;AAED,wBAAgB,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,aAAa,CAgBvE;AAED,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,cAAc,GAAG,MAAM,CAE3D"}