@mneme-ai/core 2.19.12 → 2.19.14

package/dist/negative_evidence/index.d.ts

@@ -0,0 +1,162 @@
+/**
+ * v2.19.13 — MNEME NEGATIVE-EVIDENCE FIREWALL (Hallucination Kill)
+ *
+ *   "Every AI safety tool asks the wrong question: 'what supports this
+ *    claim?'. Mneme inverts: 'what REFUTES it, and did we search and NOT
+ *    find?'. A claim is ACCEPTED only when every generated refutation
+ *    candidate has been explicitly searched across all relevant sources
+ *    and produced NOTHING. If even one refutation finds evidence, the
+ *    claim is REJECTED. If any refutation search is inconclusive, the
+ *    verdict is UNKNOWN (not ACCEPTED).
+ *
+ *    No vendor ships this because the UX cost is brutal — slower answers,
+ *    more 'I don't know' verdicts — and every AI tool is optimised for
+ *    confident-and-fast. Negative-evidence primacy contradicts every AI
+ *    vendor's incentive. Only an independent tool (Mneme) can enforce it.
+ *
+ *    Companion layer: HALLUCINATION TOKEN-TAX. Each vendor starts with
+ *    1000 credits/month; every REJECTED claim costs 10 credits; exhaustion
+ *    triggers a routing fallback signal to the caller ('vendor exhausted
+ *    hallucination budget; route to fallback'). Vendors get skin in the
+ *    game."
+ *
+ * Architecture (vendor-agnostic orchestrator):
+ *   - `gateClaim({claim, refutations, searchResults})` — caller supplies
+ *     refutations (from inverse-LLM or manual) + search outcomes (from
+ *     caller's git/file/test/web searcher); we compute the verdict.
+ *   - HMAC-signed certificate per ACCEPTED claim — content-addressed +
+ *     tamper-detectable.
+ *   - TokenTaxLedger: HMAC-chained credits/charges; routing decision is
+ *     pure function of remaining budget.
+ *
+ * Honest scope:
+ *   - We do NOT generate refutations ourselves; INVERSE-LLM (v2.19.3) or
+ *     any caller-supplied generator does. Composes onto v2.19.3.
+ *   - We do NOT execute searches; caller does git/file/test/web. We grade
+ *     the outcomes.
+ *   - Token-tax is advisory: we signal route-to-fallback; the caller (the
+ *     MCP client) decides whether to honour it.
+ */
+declare const PROTOCOL_VERSION: 1;
+export type SearchVerdict = "found" | "not_found" | "inconclusive";
+export interface SearchResult {
+    refutation: string;
+    source: "git" | "file" | "test" | "web" | "other";
+    verdict: SearchVerdict;
+    /** Evidence string when verdict='found'; reason when 'inconclusive'. */
+    evidence?: string;
+}
+export type GateVerdict = "ACCEPTED" | "REJECTED" | "UNKNOWN";
+export interface NegativeEvidenceCertificate {
+    v: typeof PROTOCOL_VERSION;
+    claim: string;
+    refutationCount: number;
+    searchCount: number;
+    ts: number;
+    hmac: string;
+}
+export interface GateResult {
+    verdict: GateVerdict;
+    /** Set when verdict='REJECTED' — the refutation + evidence that defeated the claim. */
+    rejectedBy?: SearchResult;
+    /** Set when verdict='UNKNOWN' — list of inconclusive searches. */
+    pendingSearches?: SearchResult[];
+    /** Set when verdict='ACCEPTED' — HMAC-signed proof of completion. */
+    certificate?: NegativeEvidenceCertificate;
+    refutationCount: number;
+    searchCount: number;
+}
+export interface GateInput {
+    claim: string;
+    refutations: string[];
+    searchResults: SearchResult[];
+    nowMs?: number;
+    secret?: string;
+}
+/**
+ * Compute verdict from refutations + search outcomes. Pure function.
+ *
+ * Rules:
+ *   1. If ANY search verdict is 'found' → REJECTED (any refutation evidence is fatal).
+ *   2. Else if ANY search verdict is 'inconclusive' → UNKNOWN.
+ *   3. Else if EVERY refutation has at least one 'not_found' search → ACCEPTED + certificate.
+ *   4. Else (refutations exist with NO searches at all) → UNKNOWN.
+ *   5. Empty refutations list → UNKNOWN (we refuse to auto-accept untested claims).
+ */
+export declare function gateClaim(input: GateInput): GateResult;
+export declare function verifyCertificate(cert: NegativeEvidenceCertificate, secret?: string): {
+    ok: boolean;
+    reason?: string;
+};
+export interface TaxEntry {
+    v: typeof PROTOCOL_VERSION;
+    vendor: string;
+    kind: "credit" | "charge";
+    amount: number;
+    reason: string;
+    monthKey: string;
+    ts: number;
+    prevSig: string | null;
+    sig: string;
+}
+export interface TaxLedger {
+    v: typeof PROTOCOL_VERSION;
+    entries: TaxEntry[];
+}
+export declare function emptyTaxLedger(): TaxLedger;
+/**
+ * Issue the monthly credit. Idempotent within the month: a second call for
+ * the same vendor in the same month is a NO-OP.
+ */
+export declare function initMonthlyBudget(opts: {
+    ledger: TaxLedger;
+    vendor: string;
+    amount?: number;
+    nowMs?: number;
+    secret?: string;
+}): TaxLedger;
+/** Append a charge for a refuted claim. Negative amount NOT permitted; pass positive. */
+export declare function chargeTax(opts: {
+    ledger: TaxLedger;
+    vendor: string;
+    amount?: number;
+    reason: string;
+    nowMs?: number;
+    secret?: string;
+}): TaxLedger;
+/** Verify HMAC chain integrity end-to-end. */
+export declare function verifyTaxLedger(ledger: TaxLedger, secret?: string): {
+    ok: boolean;
+    brokenAt?: number;
+    reason?: string;
+};
+export interface VendorStatus {
+    vendor: string;
+    monthKey: string;
+    budget: number;
+    charged: number;
+    remaining: number;
+    exhausted: boolean;
+    rejectedClaimCount: number;
+}
+export declare function vendorStatus(opts: {
+    ledger: TaxLedger;
+    vendor: string;
+    nowMs?: number;
+}): VendorStatus;
+export interface RoutingDecision {
+    route: "primary" | "fallback";
+    primaryVendor: string;
+    fallbackVendor: string;
+    reason: string;
+    primaryStatus: VendorStatus;
+}
+export declare function routingDecision(opts: {
+    ledger: TaxLedger;
+    primaryVendor: string;
+    fallbackVendor: string;
+    nowMs?: number;
+}): RoutingDecision;
+export declare function formatGateLine(r: GateResult): string;
+export {};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/negative_evidence/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAIH,QAAA,MAAM,gBAAgB,EAAG,CAAU,CAAC;AAIpC,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,WAAW,GAAG,cAAc,CAAC;AAEnE,MAAM,WAAW,YAAY;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,GAAG,OAAO,CAAC;IAClD,OAAO,EAAE,aAAa,CAAC;IACvB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;AAE9D,MAAM,WAAW,2BAA2B;IAC1C,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,UAAU;IACzB,OAAO,EAAE,WAAW,CAAC;IACrB,uFAAuF;IACvF,UAAU,CAAC,EAAE,YAAY,CAAC;IAC1B,kEAAkE;IAClE,eAAe,CAAC,EAAE,YAAY,EAAE,CAAC;IACjC,qEAAqE;IACrE,WAAW,CAAC,EAAE,2BAA2B,CAAC;IAC1C,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,MAAM,CAAC;CACrB;AAsBD,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,UAAU,CAoCtD;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,2BAA2B,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAOtH;AAID,MAAM,WAAW,QAAQ;IACvB,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,SAAS;IACxB,CAAC,EAAE,OAAO,gBAAgB,CAAC;IAC3B,OAAO,EAAE,QAAQ,EAAE,CAAC;CACrB;AAWD,wBAAgB,cAAc,IAAI,SAAS,CAE1C;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE;IACtC,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,SAAS,CAoBZ;AAED,yFAAyF;AACzF,wBAAgB,SAAS,CAAC,IAAI,EAAE;IAC9B,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,SAAS,CAkBZ;AAED,8CAA8C;AAC9C,wBAAgB,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG;IAAE,EAAE,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAevH;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,OAAO,CAAC;IACnB,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE;IACjC,MAAM,EAAE,SAAS,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GAAG,YAAY,CAqBf;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,SAAS,GAAG,UAAU,CAAC;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,YAAY,CAAC;CAC7B;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE;IACpC,MAAM,EAAE,SAAS,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,GAAG,eAAe,CAkBlB;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,UAAU,GAAG,MAAM,CAGpD"}

package/dist/negative_evidence/index.js

@@ -0,0 +1,244 @@
+/**
+ * v2.19.13 — MNEME NEGATIVE-EVIDENCE FIREWALL (Hallucination Kill)
+ *
+ *   "Every AI safety tool asks the wrong question: 'what supports this
+ *    claim?'. Mneme inverts: 'what REFUTES it, and did we search and NOT
+ *    find?'. A claim is ACCEPTED only when every generated refutation
+ *    candidate has been explicitly searched across all relevant sources
+ *    and produced NOTHING. If even one refutation finds evidence, the
+ *    claim is REJECTED. If any refutation search is inconclusive, the
+ *    verdict is UNKNOWN (not ACCEPTED).
+ *
+ *    No vendor ships this because the UX cost is brutal — slower answers,
+ *    more 'I don't know' verdicts — and every AI tool is optimised for
+ *    confident-and-fast. Negative-evidence primacy contradicts every AI
+ *    vendor's incentive. Only an independent tool (Mneme) can enforce it.
+ *
+ *    Companion layer: HALLUCINATION TOKEN-TAX. Each vendor starts with
+ *    1000 credits/month; every REJECTED claim costs 10 credits; exhaustion
+ *    triggers a routing fallback signal to the caller ('vendor exhausted
+ *    hallucination budget; route to fallback'). Vendors get skin in the
+ *    game."
+ *
+ * Architecture (vendor-agnostic orchestrator):
+ *   - `gateClaim({claim, refutations, searchResults})` — caller supplies
+ *     refutations (from inverse-LLM or manual) + search outcomes (from
+ *     caller's git/file/test/web searcher); we compute the verdict.
+ *   - HMAC-signed certificate per ACCEPTED claim — content-addressed +
+ *     tamper-detectable.
+ *   - TokenTaxLedger: HMAC-chained credits/charges; routing decision is
+ *     pure function of remaining budget.
+ *
+ * Honest scope:
+ *   - We do NOT generate refutations ourselves; INVERSE-LLM (v2.19.3) or
+ *     any caller-supplied generator does. Composes onto v2.19.3.
+ *   - We do NOT execute searches; caller does git/file/test/web. We grade
+ *     the outcomes.
+ *   - Token-tax is advisory: we signal route-to-fallback; the caller (the
+ *     MCP client) decides whether to honour it.
+ */
+import { createHmac, timingSafeEqual } from "node:crypto";
+const PROTOCOL_VERSION = 1;
+const DEFAULT_MONTHLY_BUDGET = 1000;
+const DEFAULT_REJECT_COST = 10;
+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_NEGEV_SECRET"] || `mneme-negative-evidence-v${PROTOCOL_VERSION}`;
+}
+function signCert(body, secret) {
+    return createHmac("sha256", secret).update(canon(body)).digest("hex");
+}
+function safeEqHex(a, b) {
+    try {
+        return timingSafeEqual(Buffer.from(a, "hex"), Buffer.from(b, "hex"));
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Compute verdict from refutations + search outcomes. Pure function.
+ *
+ * Rules:
+ *   1. If ANY search verdict is 'found' → REJECTED (any refutation evidence is fatal).
+ *   2. Else if ANY search verdict is 'inconclusive' → UNKNOWN.
+ *   3. Else if EVERY refutation has at least one 'not_found' search → ACCEPTED + certificate.
+ *   4. Else (refutations exist with NO searches at all) → UNKNOWN.
+ *   5. Empty refutations list → UNKNOWN (we refuse to auto-accept untested claims).
+ */
+export function gateClaim(input) {
+    const refCount = input.refutations.length;
+    const searchCount = input.searchResults.length;
+    // Rule 5: empty refutations → UNKNOWN (don't auto-accept)
+    if (refCount === 0) {
+        return { verdict: "UNKNOWN", refutationCount: 0, searchCount };
+    }
+    // Rule 1: any FOUND is fatal
+    const found = input.searchResults.find((s) => s.verdict === "found");
+    if (found) {
+        return { verdict: "REJECTED", rejectedBy: found, refutationCount: refCount, searchCount };
+    }
+    // Rule 2: any INCONCLUSIVE → UNKNOWN
+    const inconclusive = input.searchResults.filter((s) => s.verdict === "inconclusive");
+    if (inconclusive.length > 0) {
+        return { verdict: "UNKNOWN", pendingSearches: inconclusive, refutationCount: refCount, searchCount };
+    }
+    // Rule 3 + 4: every refutation must have at least one NOT_FOUND search
+    const coverage = new Set();
+    for (const s of input.searchResults) {
+        if (s.verdict === "not_found")
+            coverage.add(s.refutation);
+    }
+    const uncovered = input.refutations.filter((r) => !coverage.has(r));
+    if (uncovered.length > 0) {
+        return { verdict: "UNKNOWN", refutationCount: refCount, searchCount };
+    }
+    const ts = input.nowMs ?? Date.now();
+    const body = {
+        v: PROTOCOL_VERSION,
+        claim: input.claim,
+        refutationCount: refCount,
+        searchCount,
+        ts,
+    };
+    const certificate = { ...body, hmac: signCert(body, input.secret ?? defaultSecret()) };
+    return { verdict: "ACCEPTED", certificate, refutationCount: refCount, searchCount };
+}
+export function verifyCertificate(cert, secret) {
+    const { hmac, ...body } = cert;
+    const expected = signCert(body, secret ?? defaultSecret());
+    if (!safeEqHex(expected, hmac)) {
+        return { ok: false, reason: "HMAC mismatch — forged or wrong secret" };
+    }
+    return { ok: true };
+}
+function signTaxEntry(body, secret) {
+    return createHmac("sha256", secret).update(canon(body)).digest("hex");
+}
+function monthKeyOf(ts) {
+    const d = new Date(ts);
+    return `${d.getUTCFullYear()}-${String(d.getUTCMonth() + 1).padStart(2, "0")}`;
+}
+export function emptyTaxLedger() {
+    return { v: PROTOCOL_VERSION, entries: [] };
+}
+/**
+ * Issue the monthly credit. Idempotent within the month: a second call for
+ * the same vendor in the same month is a NO-OP.
+ */
+export function initMonthlyBudget(opts) {
+    const nowMs = opts.nowMs ?? Date.now();
+    const monthKey = monthKeyOf(nowMs);
+    const alreadyCredited = opts.ledger.entries.some((e) => e.vendor === opts.vendor && e.kind === "credit" && e.monthKey === monthKey);
+    if (alreadyCredited)
+        return opts.ledger;
+    const prev = opts.ledger.entries[opts.ledger.entries.length - 1];
+    const body = {
+        v: PROTOCOL_VERSION,
+        vendor: opts.vendor,
+        kind: "credit",
+        amount: opts.amount ?? DEFAULT_MONTHLY_BUDGET,
+        reason: `monthly budget grant ${monthKey}`,
+        monthKey,
+        ts: nowMs,
+        prevSig: prev ? prev.sig : null,
+    };
+    const sig = signTaxEntry(body, opts.secret ?? defaultSecret());
+    return { v: PROTOCOL_VERSION, entries: [...opts.ledger.entries, { ...body, sig }] };
+}
+/** Append a charge for a refuted claim. Negative amount NOT permitted; pass positive. */
+export function chargeTax(opts) {
+    const nowMs = opts.nowMs ?? Date.now();
+    const monthKey = monthKeyOf(nowMs);
+    const amount = opts.amount ?? DEFAULT_REJECT_COST;
+    if (amount < 0)
+        throw new Error("chargeTax: amount must be non-negative");
+    const prev = opts.ledger.entries[opts.ledger.entries.length - 1];
+    const body = {
+        v: PROTOCOL_VERSION,
+        vendor: opts.vendor,
+        kind: "charge",
+        amount,
+        reason: opts.reason,
+        monthKey,
+        ts: nowMs,
+        prevSig: prev ? prev.sig : null,
+    };
+    const sig = signTaxEntry(body, opts.secret ?? defaultSecret());
+    return { v: PROTOCOL_VERSION, entries: [...opts.ledger.entries, { ...body, sig }] };
+}
+/** Verify HMAC chain integrity end-to-end. */
+export function verifyTaxLedger(ledger, secret) {
+    const sec = secret ?? defaultSecret();
+    let prevSig = null;
+    for (let i = 0; i < ledger.entries.length; i++) {
+        const e = ledger.entries[i];
+        const { sig, ...body } = e;
+        if (body.prevSig !== prevSig) {
+            return { ok: false, brokenAt: i, reason: `prevSig mismatch at step ${i}` };
+        }
+        if (!safeEqHex(signTaxEntry(body, sec), sig)) {
+            return { ok: false, brokenAt: i, reason: `HMAC mismatch at step ${i}` };
+        }
+        prevSig = sig;
+    }
+    return { ok: true };
+}
+export function vendorStatus(opts) {
+    const nowMs = opts.nowMs ?? Date.now();
+    const monthKey = monthKeyOf(nowMs);
+    let budget = 0;
+    let charged = 0;
+    let rejectedClaimCount = 0;
+    for (const e of opts.ledger.entries) {
+        if (e.vendor !== opts.vendor || e.monthKey !== monthKey)
+            continue;
+        if (e.kind === "credit")
+            budget += e.amount;
+        else {
+            charged += e.amount;
+            rejectedClaimCount++;
+        }
+    }
+    const remaining = budget - charged;
+    return {
+        vendor: opts.vendor,
+        monthKey,
+        budget,
+        charged,
+        remaining,
+        exhausted: remaining <= 0,
+        rejectedClaimCount,
+    };
+}
+export function routingDecision(opts) {
+    const status = vendorStatus({ ledger: opts.ledger, vendor: opts.primaryVendor, nowMs: opts.nowMs });
+    if (status.exhausted) {
+        return {
+            route: "fallback",
+            primaryVendor: opts.primaryVendor,
+            fallbackVendor: opts.fallbackVendor,
+            reason: `vendor '${opts.primaryVendor}' exhausted hallucination budget (${status.charged}/${status.budget} for ${status.monthKey}); routing to ${opts.fallbackVendor}`,
+            primaryStatus: status,
+        };
+    }
+    return {
+        route: "primary",
+        primaryVendor: opts.primaryVendor,
+        fallbackVendor: opts.fallbackVendor,
+        reason: `vendor '${opts.primaryVendor}' has ${status.remaining}/${status.budget} credits remaining`,
+        primaryStatus: status,
+    };
+}
+export function formatGateLine(r) {
+    const tag = r.verdict === "ACCEPTED" ? "✅" : r.verdict === "REJECTED" ? "❌" : "❓";
+    return `${tag} NEGEV · ${r.verdict} · refutations=${r.refutationCount} · searches=${r.searchCount}`;
+}
+//# sourceMappingURL=index.js.map

package/dist/negative_evidence/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/negative_evidence/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAU,CAAC;AACpC,MAAM,sBAAsB,GAAG,IAAI,CAAC;AACpC,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAmC/B,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,oBAAoB,CAAC,IAAI,4BAA4B,gBAAgB,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,QAAQ,CAAC,IAA+C,EAAE,MAAc;IAC/E,OAAO,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,IAAI,CAAC;QAAC,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAAC,CAAC;IAC7E,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AACzB,CAAC;AAUD;;;;;;;;;GASG;AACH,MAAM,UAAU,SAAS,CAAC,KAAgB;IACxC,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;IAC1C,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC;IAC/C,0DAA0D;IAC1D,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC;IACjE,CAAC;IACD,6BAA6B;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;IACrE,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IAC5F,CAAC;IACD,qCAAqC;IACrC,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,cAAc,CAAC,CAAC;IACrF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,YAAY,EAAE,eAAe,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACvG,CAAC;IACD,uEAAuE;IACvE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,OAAO,KAAK,WAAW;YAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxE,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACrC,MAAM,IAAI,GAA8C;QACtD,CAAC,EAAE,gBAAgB;QACnB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,eAAe,EAAE,QAAQ;QACzB,WAAW;QACX,EAAE;KACH,CAAC;IACF,MAAM,WAAW,GAAgC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC,EAAE,CAAC;IACpH,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAiC,EAAE,MAAe;IAClF,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,CAAC;IAC/B,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC;IAC3D,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAqBD,SAAS,YAAY,CAAC,IAA2B,EAAE,MAAc;IAC/D,OAAO,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,UAAU,CAAC,EAAU;IAC5B,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,OAAO,GAAG,CAAC,CAAC,cAAc,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AACjF,CAAC;AAED,MAAM,UAAU,cAAc;IAC5B,OAAO,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAMjC;IACC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAClF,CAAC;IACF,IAAI,eAAe;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,GAA0B;QAClC,CAAC,EAAE,gBAAgB;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,sBAAsB;QAC7C,MAAM,EAAE,wBAAwB,QAAQ,EAAE;QAC1C,QAAQ;QACR,EAAE,EAAE,KAAK;QACT,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;KAChC,CAAC;IACF,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC;IAC/D,OAAO,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,SAAS,CAAC,IAOzB;IACC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACnC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,mBAAmB,CAAC;IAClD,IAAI,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC1E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjE,MAAM,IAAI,GAA0B;QAClC,CAAC,EAAE,gBAAgB;QACnB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,IAAI,EAAE,QAAQ;QACd,MAAM;QACN,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ;QACR,EAAE,EAAE,KAAK;QACT,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;KAChC,CAAC;IACF,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC,CAAC;IAC/D,OAAO,EAAE,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;AACtF,CAAC;AAED,8CAA8C;AAC9C,MAAM,UAAU,eAAe,CAAC,MAAiB,EAAE,MAAe;IAChE,MAAM,GAAG,GAAG,MAAM,IAAI,aAAa,EAAE,CAAC;IACtC,IAAI,OAAO,GAAkB,IAAI,CAAC;IAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC7B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,4BAA4B,CAAC,EAAE,EAAE,CAAC;QAC7E,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAC7C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,yBAAyB,CAAC,EAAE,EAAE,CAAC;QAC1E,CAAC;QACD,OAAO,GAAG,GAAG,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AACtB,CAAC;AAYD,MAAM,UAAU,YAAY,CAAC,IAI5B;IACC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACnC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ;YAAE,SAAS;QAClE,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC;aACvC,CAAC;YAAC,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC;YAAC,kBAAkB,EAAE,CAAC;QAAC,CAAC;IACrD,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,GAAG,OAAO,CAAC;IACnC,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ;QACR,MAAM;QACN,OAAO;QACP,SAAS;QACT,SAAS,EAAE,SAAS,IAAI,CAAC;QACzB,kBAAkB;KACnB,CAAC;AACJ,CAAC;AAUD,MAAM,UAAU,eAAe,CAAC,IAK/B;IACC,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACpG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrB,OAAO;YACL,KAAK,EAAE,UAAU;YACjB,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,MAAM,EAAE,WAAW,IAAI,CAAC,aAAa,qCAAqC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,QAAQ,MAAM,CAAC,QAAQ,iBAAiB,IAAI,CAAC,cAAc,EAAE;YACtK,aAAa,EAAE,MAAM;SACtB,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,SAAS;QAChB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE,WAAW,IAAI,CAAC,aAAa,SAAS,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,MAAM,oBAAoB;QACnG,aAAa,EAAE,MAAM;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAa;IAC1C,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAClF,OAAO,GAAG,GAAG,YAAY,CAAC,CAAC,OAAO,kBAAkB,CAAC,CAAC,eAAe,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;AACtG,CAAC"}

package/dist/negative_evidence/negative_evidence.test.d.ts

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

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

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

package/dist/negative_evidence/negative_evidence.test.js

@@ -0,0 +1,188 @@
+import { describe, it, expect } from "vitest";
+import { gateClaim, verifyCertificate, emptyTaxLedger, initMonthlyBudget, chargeTax, verifyTaxLedger, vendorStatus, routingDecision, formatGateLine, } from "./index.js";
+const SECRET = "negev-test-secret-99887766";
+describe("v2.19.13 NEGATIVE-EVIDENCE FIREWALL · gateClaim verdicts", () => {
+    it("Rule 5: empty refutations → UNKNOWN (never auto-accept untested)", () => {
+        const r = gateClaim({ claim: "X is true", refutations: [], searchResults: [], secret: SECRET });
+        expect(r.verdict).toBe("UNKNOWN");
+        expect(r.certificate).toBeUndefined();
+    });
+    it("Rule 3: every refutation has at least one NOT_FOUND search → ACCEPTED + certificate", () => {
+        const refutations = ["X is actually false in case A", "X contradicts B", "X has known counter-example C"];
+        const searchResults = refutations.flatMap((r) => [
+            { refutation: r, source: "git", verdict: "not_found" },
+            { refutation: r, source: "file", verdict: "not_found" },
+        ]);
+        const r = gateClaim({ claim: "X is true", refutations, searchResults, secret: SECRET, nowMs: 1_000_000 });
+        expect(r.verdict).toBe("ACCEPTED");
+        expect(r.certificate).toBeDefined();
+        expect(r.certificate.refutationCount).toBe(3);
+        expect(r.certificate.searchCount).toBe(6);
+    });
+    it("Rule 1: ANY found is fatal → REJECTED, returns the defeating evidence", () => {
+        const r = gateClaim({
+            claim: "Y is true",
+            refutations: ["Y is false in case A", "Y contradicts B"],
+            searchResults: [
+                { refutation: "Y is false in case A", source: "git", verdict: "not_found" },
+                { refutation: "Y contradicts B", source: "file", verdict: "found", evidence: "src/foo.ts:42 contradicts Y" },
+                { refutation: "Y contradicts B", source: "git", verdict: "not_found" },
+            ],
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+        expect(r.rejectedBy?.evidence).toContain("contradicts");
+    });
+    it("Rule 2: any INCONCLUSIVE (no found) → UNKNOWN, returns pending searches", () => {
+        const r = gateClaim({
+            claim: "Z is true",
+            refutations: ["Z fails on input A"],
+            searchResults: [
+                { refutation: "Z fails on input A", source: "test", verdict: "inconclusive", evidence: "test timed out" },
+            ],
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("UNKNOWN");
+        expect(r.pendingSearches?.length).toBe(1);
+    });
+    it("Rule 4: refutation with NO search at all → UNKNOWN (don't auto-accept uncovered refutations)", () => {
+        const r = gateClaim({
+            claim: "W is true",
+            refutations: ["W fails on edge case", "W is undefined for inputs > 1e9"],
+            searchResults: [
+                { refutation: "W fails on edge case", source: "git", verdict: "not_found" },
+                // second refutation has zero searches
+            ],
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("UNKNOWN");
+    });
+    it("REJECTED wins even when some refutations are inconclusive (FOUND is always fatal)", () => {
+        const r = gateClaim({
+            claim: "A",
+            refutations: ["r1", "r2"],
+            searchResults: [
+                { refutation: "r1", source: "web", verdict: "inconclusive" },
+                { refutation: "r2", source: "git", verdict: "found", evidence: "commit deadbeef refutes r2" },
+            ],
+            secret: SECRET,
+        });
+        expect(r.verdict).toBe("REJECTED");
+    });
+});
+describe("v2.19.13 NEGATIVE-EVIDENCE FIREWALL · certificate", () => {
+    it("certificate is HMAC-verifiable + deterministic given same inputs", () => {
+        const refs = ["r1"];
+        const searches = [{ refutation: "r1", source: "git", verdict: "not_found" }];
+        const a = gateClaim({ claim: "claim-A", refutations: refs, searchResults: searches, secret: SECRET, nowMs: 5_000_000 });
+        const b = gateClaim({ claim: "claim-A", refutations: refs, searchResults: searches, secret: SECRET, nowMs: 5_000_000 });
+        expect(a.certificate.hmac).toBe(b.certificate.hmac);
+        expect(verifyCertificate(a.certificate, SECRET).ok).toBe(true);
+    });
+    it("forged certificate (tampered claim) is rejected", () => {
+        const refs = ["r1"];
+        const searches = [{ refutation: "r1", source: "git", verdict: "not_found" }];
+        const r = gateClaim({ claim: "real-claim", refutations: refs, searchResults: searches, secret: SECRET });
+        const forged = { ...r.certificate, claim: "evil-claim" };
+        expect(verifyCertificate(forged, SECRET).ok).toBe(false);
+    });
+    it("verifyCertificate fails with wrong secret", () => {
+        const refs = ["r1"];
+        const searches = [{ refutation: "r1", source: "git", verdict: "not_found" }];
+        const r = gateClaim({ claim: "A", refutations: refs, searchResults: searches, secret: SECRET });
+        expect(verifyCertificate(r.certificate, "wrong-secret").ok).toBe(false);
+    });
+});
+describe("v2.19.13 NEGATIVE-EVIDENCE FIREWALL · TokenTaxLedger", () => {
+    it("emptyTaxLedger has no entries", () => {
+        expect(emptyTaxLedger().entries).toHaveLength(0);
+    });
+    it("initMonthlyBudget grants 1000 credits + is IDEMPOTENT within the same month", () => {
+        const t0 = 1715817600000; // 2024-05-16
+        let l = initMonthlyBudget({ ledger: emptyTaxLedger(), vendor: "v-anthropic", nowMs: t0, secret: SECRET });
+        expect(l.entries).toHaveLength(1);
+        expect(l.entries[0].amount).toBe(1000);
+        // second call same month → no-op
+        l = initMonthlyBudget({ ledger: l, vendor: "v-anthropic", nowMs: t0 + 1000, secret: SECRET });
+        expect(l.entries).toHaveLength(1);
+    });
+    it("chargeTax appends a charge; positive amount required", () => {
+        let l = initMonthlyBudget({ ledger: emptyTaxLedger(), vendor: "v-openai", nowMs: 1_000_000, secret: SECRET });
+        l = chargeTax({ ledger: l, vendor: "v-openai", amount: 10, reason: "refuted claim X", nowMs: 1_001_000, secret: SECRET });
+        expect(l.entries).toHaveLength(2);
+        expect(l.entries[1].kind).toBe("charge");
+        expect(() => chargeTax({ ledger: l, vendor: "v-openai", amount: -5, reason: "bad", secret: SECRET })).toThrow();
+    });
+    it("HMAC chain integrity: ledger verifies before tamper, fails after", () => {
+        let l = initMonthlyBudget({ ledger: emptyTaxLedger(), vendor: "v-a", nowMs: 1_000_000, secret: SECRET });
+        l = chargeTax({ ledger: l, vendor: "v-a", amount: 10, reason: "x", nowMs: 1_000_100, secret: SECRET });
+        l = chargeTax({ ledger: l, vendor: "v-a", amount: 10, reason: "y", nowMs: 1_000_200, secret: SECRET });
+        expect(verifyTaxLedger(l, SECRET).ok).toBe(true);
+        const tampered = {
+            ...l,
+            entries: l.entries.map((e, i) => (i === 1 ? { ...e, amount: 1000000 } : e)),
+        };
+        const v = verifyTaxLedger(tampered, SECRET);
+        expect(v.ok).toBe(false);
+        expect(v.brokenAt).toBe(1);
+    });
+    it("vendorStatus: budget - charged = remaining; exhausted=true when remaining<=0", () => {
+        let l = initMonthlyBudget({ ledger: emptyTaxLedger(), vendor: "v-x", nowMs: 1_000_000, secret: SECRET, amount: 100 });
+        for (let i = 0; i < 9; i++) {
+            l = chargeTax({ ledger: l, vendor: "v-x", amount: 10, reason: `r${i}`, nowMs: 1_000_000 + i, secret: SECRET });
+        }
+        let s = vendorStatus({ ledger: l, vendor: "v-x", nowMs: 1_000_010 });
+        expect(s.remaining).toBe(10);
+        expect(s.exhausted).toBe(false);
+        expect(s.rejectedClaimCount).toBe(9);
+        l = chargeTax({ ledger: l, vendor: "v-x", amount: 10, reason: "r9", nowMs: 1_000_020, secret: SECRET });
+        s = vendorStatus({ ledger: l, vendor: "v-x", nowMs: 1_000_030 });
+        expect(s.remaining).toBe(0);
+        expect(s.exhausted).toBe(true);
+    });
+    it("vendor status is scoped to current month (last month's charges don't count)", () => {
+        const may = new Date(Date.UTC(2024, 4, 16)).getTime(); // 2024-05-16
+        const june = new Date(Date.UTC(2024, 5, 16)).getTime(); // 2024-06-16
+        let l = initMonthlyBudget({ ledger: emptyTaxLedger(), vendor: "v-z", nowMs: may, secret: SECRET });
+        l = chargeTax({ ledger: l, vendor: "v-z", amount: 500, reason: "may charge", nowMs: may + 1000, secret: SECRET });
+        // June: status should show full new budget (June grant) minus zero charges
+        l = initMonthlyBudget({ ledger: l, vendor: "v-z", nowMs: june, secret: SECRET });
+        const s = vendorStatus({ ledger: l, vendor: "v-z", nowMs: june + 1000 });
+        expect(s.budget).toBe(1000);
+        expect(s.charged).toBe(0);
+        expect(s.remaining).toBe(1000);
+    });
+});
+describe("v2.19.13 NEGATIVE-EVIDENCE FIREWALL · routingDecision", () => {
+    it("not-exhausted primary → route=primary", () => {
+        let l = initMonthlyBudget({ ledger: emptyTaxLedger(), vendor: "v-claude", nowMs: 1_000_000, secret: SECRET });
+        l = chargeTax({ ledger: l, vendor: "v-claude", amount: 100, reason: "x", nowMs: 1_000_001, secret: SECRET });
+        const d = routingDecision({ ledger: l, primaryVendor: "v-claude", fallbackVendor: "v-llama", nowMs: 1_000_002 });
+        expect(d.route).toBe("primary");
+        expect(d.primaryStatus.remaining).toBe(900);
+    });
+    it("exhausted primary → route=fallback with explanatory reason", () => {
+        let l = initMonthlyBudget({ ledger: emptyTaxLedger(), vendor: "v-claude", nowMs: 1_000_000, secret: SECRET, amount: 50 });
+        l = chargeTax({ ledger: l, vendor: "v-claude", amount: 50, reason: "x", nowMs: 1_000_001, secret: SECRET });
+        const d = routingDecision({ ledger: l, primaryVendor: "v-claude", fallbackVendor: "v-llama", nowMs: 1_000_002 });
+        expect(d.route).toBe("fallback");
+        expect(d.reason).toContain("exhausted hallucination budget");
+        expect(d.reason).toContain("v-llama");
+    });
+    it("primary that was never granted any budget = exhausted = fallback", () => {
+        const l = emptyTaxLedger();
+        const d = routingDecision({ ledger: l, primaryVendor: "v-unknown", fallbackVendor: "v-llama", nowMs: 1_000_000 });
+        expect(d.route).toBe("fallback");
+    });
+});
+describe("v2.19.13 NEGATIVE-EVIDENCE FIREWALL · formatter", () => {
+    it("formatter line uses ✅/❌/❓ per verdict", () => {
+        const accept = formatGateLine({ verdict: "ACCEPTED", refutationCount: 3, searchCount: 6 });
+        const reject = formatGateLine({ verdict: "REJECTED", refutationCount: 3, searchCount: 6 });
+        const unknown = formatGateLine({ verdict: "UNKNOWN", refutationCount: 1, searchCount: 0 });
+        expect(accept).toContain("✅");
+        expect(reject).toContain("❌");
+        expect(unknown).toContain("❓");
+    });
+});
+//# sourceMappingURL=negative_evidence.test.js.map

package/dist/negative_evidence/negative_evidence.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"negative_evidence.test.js","sourceRoot":"","sources":["../../src/negative_evidence/negative_evidence.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,SAAS,EACT,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,SAAS,EACT,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,GAGf,MAAM,YAAY,CAAC;AAEpB,MAAM,MAAM,GAAG,4BAA4B,CAAC;AAE5C,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAChG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,aAAa,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,WAAW,GAAG,CAAC,+BAA+B,EAAE,iBAAiB,EAAE,+BAA+B,CAAC,CAAC;QAC1G,MAAM,aAAa,GAAmB,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC/D,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE;YACtD,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE;SACxD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC1G,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,WAAY,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,WAAY,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,SAAS,CAAC;YAClB,KAAK,EAAE,WAAW;YAClB,WAAW,EAAE,CAAC,sBAAsB,EAAE,iBAAiB,CAAC;YACxD,aAAa,EAAE;gBACb,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE;gBAC3E,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,6BAA6B,EAAE;gBAC5G,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE;aACvE;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,SAAS,CAAC;YAClB,KAAK,EAAE,WAAW;YAClB,WAAW,EAAE,CAAC,oBAAoB,CAAC;YACnC,aAAa,EAAE;gBACb,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,gBAAgB,EAAE;aAC1G;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8FAA8F,EAAE,GAAG,EAAE;QACtG,MAAM,CAAC,GAAG,SAAS,CAAC;YAClB,KAAK,EAAE,WAAW;YAClB,WAAW,EAAE,CAAC,sBAAsB,EAAE,iCAAiC,CAAC;YACxE,aAAa,EAAE;gBACb,EAAE,UAAU,EAAE,sBAAsB,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE;gBAC3E,sCAAsC;aACvC;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,CAAC,GAAG,SAAS,CAAC;YAClB,KAAK,EAAE,GAAG;YACV,WAAW,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACzB,aAAa,EAAE;gBACb,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE;gBAC5D,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,4BAA4B,EAAE;aAC9F;YACD,MAAM,EAAE,MAAM;SACf,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAmB,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACxH,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACxH,MAAM,CAAC,CAAC,CAAC,WAAY,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAY,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAY,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAmB,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACzG,MAAM,MAAM,GAAG,EAAE,GAAG,CAAC,CAAC,WAAY,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC;QAC1D,MAAM,CAAC,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAmB,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QAC7F,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAChG,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,WAAY,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;IACpE,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,cAAc,EAAE,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,aAAa;QACvC,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1G,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,iCAAiC;QACjC,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9F,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9G,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC1H,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACzG,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACvG,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACvG,MAAM,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAc;YAC1B,GAAG,CAAC;YACJ,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC5E,CAAC;QACF,MAAM,CAAC,GAAG,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACtH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACjH,CAAC;QACD,IAAI,CAAC,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACrE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACxG,CAAC,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACjE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,GAAG,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,aAAa;QACpE,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,aAAa;QACrE,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACnG,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,GAAG,GAAG,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAClH,2EAA2E;QAC3E,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,GAAG,IAAI,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9G,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7G,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACjH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1H,CAAC,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QAC5G,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACjH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gCAAgC,CAAC,CAAC;QAC7D,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,cAAc,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,aAAa,EAAE,WAAW,EAAE,cAAc,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAClH,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}