@mneme-ai/core 2.17.0 → 2.18.0

package/dist/nexus_proactive/index.js

@@ -0,0 +1,277 @@
+/**
+ * v2.18.0 — MNEME NEXUS PROACTIVE (the "Reverse MCP" — push, not pull)
+ *
+ *   "Standard MCP is pull-only: an AI agent CALLS Mneme. NEXUS inverts
+ *    the channel — Mneme observes the repo continuously and pushes
+ *    UNREQUESTED notifications back at the AI agent the moment a fact
+ *    changes that would have invalidated its last answer.
+ *
+ *    Closes the 'stale-context' hallucination class entirely:
+ *      AI says: 'function foo lives at src/foo.ts:42'
+ *      User edits src/foo.ts → moves foo to line 80
+ *      Within seconds: NEXUS emits {kind: 'stale_claim', oldFact, newFact, sig}
+ *                      AI MUST acknowledge before continuing.
+ *
+ *    This is the closest a local-first MCP can get to the 'Ghost-in-
+ *    the-Shell Developer / Async Context-Weaver / Digital Organ Harvester'
+ *    architecture without breaking the MCP contract."
+ *
+ * Honest scope (what NEXUS PROACTIVE IS):
+ *   1. registerSubscription — AI agent subscribes to a fact pattern
+ *      (a file path, a symbol, a stat threshold).
+ *   2. publishObservation — caller reports an observation; NEXUS diffs
+ *      against subscriptions and emits notifications for stale matches.
+ *   3. drainNotifications — AI agent (or its supervisor) pulls queued
+ *      notifications. Each is HMAC-signed + tamper-evident + monotonic.
+ *   4. acknowledge — AI agent confirms it has updated its mental model;
+ *      ACK is recorded; un-ACKed notifications surface louder over time.
+ *
+ * Honest scope (what NEXUS PROACTIVE IS NOT):
+ *   - Not a real WebSocket / push channel — MCP doesn't support that.
+ *     NEXUS is a server-side queue + ACK ledger. Any MCP transport
+ *     (stdio / sse / http) can drain it.
+ *   - Not a global pub/sub bus — per-repo, per-subscriber. Federation
+ *     belongs to v2.16 OBELISK.
+ *   - Not a daemon by itself — daemon (or the AI agent) calls
+ *     publishObservation; NEXUS is the diff + queue logic.
+ *
+ * Pure orchestrator. Composes onto v2.6 TRUTH KERNEL + v2.16 OBELISK
+ * + v2.16 LIVING MODEL. Zero new external deps.
+ */
+import { createHmac, timingSafeEqual } from "node:crypto";
+const PROTOCOL_VERSION = 1;
+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_NEXUS_SECRET"] || `mneme-nexus-proactive-v${PROTOCOL_VERSION}`;
+}
+function hmac(body, secret) {
+    return createHmac("sha256", secret).update(canon(body)).digest("hex");
+}
+function safeEq(a, b) {
+    try {
+        return timingSafeEqual(Buffer.from(a, "hex"), Buffer.from(b, "hex"));
+    }
+    catch {
+        return false;
+    }
+}
+/**
+ * Pure in-memory NEXUS instance. Real deployments persist subscriptions
+ * + queued notifications to .mneme/nexus.jsonl; this class is the
+ * arithmetic — caller chooses durability.
+ */
+export class NexusProactive {
+    subs = new Map();
+    queue = new Map(); // subscriber -> notifs
+    acks = new Map();
+    seq = new Map(); // subscriber -> last seq
+    secret;
+    constructor(secret) {
+        this.secret = secret ?? defaultSecret();
+    }
+    registerSubscription(input) {
+        const now = input.nowMs ?? Date.now();
+        const ttl = input.ttlSeconds ?? 60 * 60 * 24; // 24h default
+        const subId = "sub-" + createHmac("sha256", "mneme-nexus-subid")
+            .update(`${input.subscriber}|${input.kind}|${input.factKey}|${now}`)
+            .digest("hex").slice(0, 14);
+        const body = {
+            v: PROTOCOL_VERSION,
+            subId,
+            subscriber: input.subscriber,
+            kind: input.kind,
+            factKey: input.factKey,
+            knownValue: input.knownValue,
+            registeredAt: new Date(now).toISOString(),
+            expiresAt: new Date(now + ttl * 1000).toISOString(),
+        };
+        const sub = { ...body, sig: hmac(body, this.secret) };
+        this.subs.set(subId, sub);
+        return sub;
+    }
+    publishObservation(obs, nowMs) {
+        const now = nowMs ?? Date.now();
+        const observedAt = obs.observedAt ?? new Date(now).toISOString();
+        const emitted = [];
+        for (const sub of this.subs.values()) {
+            if (sub.kind !== obs.kind)
+                continue;
+            if (sub.factKey !== obs.factKey)
+                continue;
+            if (Date.parse(sub.expiresAt) < now)
+                continue;
+            if (sub.knownValue === obs.value)
+                continue; // still fresh
+            const seq = (this.seq.get(sub.subscriber) ?? 0) + 1;
+            this.seq.set(sub.subscriber, seq);
+            const severity = severityOf(sub.kind, sub.knownValue, obs.value);
+            const notifId = "n-" + createHmac("sha256", "mneme-nexus-notifid")
+                .update(`${sub.subId}|${seq}|${observedAt}`)
+                .digest("hex").slice(0, 12);
+            const body = {
+                v: PROTOCOL_VERSION,
+                notifId,
+                subId: sub.subId,
+                subscriber: sub.subscriber,
+                kind: "stale_claim",
+                factKey: sub.factKey,
+                oldValue: sub.knownValue,
+                newValue: obs.value,
+                severity,
+                emittedAt: observedAt,
+                seq,
+                message: messageFor(sub.kind, sub.factKey, sub.knownValue, obs.value, severity),
+            };
+            const notif = { ...body, sig: hmac(body, this.secret) };
+            const list = this.queue.get(sub.subscriber) ?? [];
+            list.push(notif);
+            this.queue.set(sub.subscriber, list);
+            emitted.push(notif);
+            // Update knownValue so we don't re-fire on the same change next observation.
+            // Caller is expected to re-register if they explicitly want new-value tracking.
+            this.subs.set(sub.subId, { ...sub, knownValue: obs.value });
+        }
+        return emitted;
+    }
+    drainNotifications(subscriber, nowMs) {
+        const now = nowMs ?? Date.now();
+        // Also surface expired-subscription notifications
+        const expired = [];
+        for (const sub of this.subs.values()) {
+            if (sub.subscriber !== subscriber)
+                continue;
+            if (Date.parse(sub.expiresAt) >= now)
+                continue;
+            const seq = (this.seq.get(subscriber) ?? 0) + 1;
+            this.seq.set(subscriber, seq);
+            const notifId = "n-" + createHmac("sha256", "mneme-nexus-notifid")
+                .update(`${sub.subId}|expired|${seq}`)
+                .digest("hex").slice(0, 12);
+            const body = {
+                v: PROTOCOL_VERSION,
+                notifId, subId: sub.subId, subscriber,
+                kind: "subscription_expired",
+                factKey: sub.factKey,
+                oldValue: sub.knownValue,
+                newValue: sub.knownValue,
+                severity: 2,
+                emittedAt: new Date(now).toISOString(),
+                seq,
+                message: `Subscription on '${sub.factKey}' expired without observation. Re-verify before relying on it.`,
+            };
+            expired.push({ ...body, sig: hmac(body, this.secret) });
+            this.subs.delete(sub.subId);
+        }
+        if (expired.length > 0) {
+            const list = this.queue.get(subscriber) ?? [];
+            list.push(...expired);
+            this.queue.set(subscriber, list);
+        }
+        const out = this.queue.get(subscriber) ?? [];
+        this.queue.set(subscriber, []);
+        return out;
+    }
+    acknowledge(input) {
+        const now = input.nowMs ?? Date.now();
+        const body = {
+            v: PROTOCOL_VERSION,
+            notifId: input.notifId,
+            subscriber: input.subscriber,
+            ackedAt: new Date(now).toISOString(),
+            ...(input.restatement ? { restatement: input.restatement } : {}),
+        };
+        const rec = { ...body, sig: hmac(body, this.secret) };
+        this.acks.set(input.notifId, rec);
+        return rec;
+    }
+    isAcked(notifId) {
+        return this.acks.has(notifId);
+    }
+    /** Verify a notification we received from the wire. */
+    verifyNotification(n) {
+        const { sig, ...body } = n;
+        return safeEq(hmac(body, this.secret), sig);
+    }
+    /** Verify an ack receipt. */
+    verifyAck(a) {
+        const { sig, ...body } = a;
+        return safeEq(hmac(body, this.secret), sig);
+    }
+    /** Stats for pulse / dashboard. */
+    stats(subscriber) {
+        let activeSubs = 0;
+        for (const s of this.subs.values()) {
+            if (subscriber && s.subscriber !== subscriber)
+                continue;
+            activeSubs++;
+        }
+        let pendingNotifs = 0;
+        if (subscriber) {
+            pendingNotifs = (this.queue.get(subscriber) ?? []).length;
+        }
+        else {
+            for (const list of this.queue.values())
+                pendingNotifs += list.length;
+        }
+        return { activeSubs, pendingNotifs, totalAcks: this.acks.size };
+    }
+}
+function severityOf(kind, oldV, newV) {
+    // soul_rule changes are MUST-ACK (4); symbol locations and file content
+    // are MUST-ACK (4) — these directly invalidate prior code claims.
+    // stat_threshold + vendor_score drift is informational (2-3).
+    if (kind === "soul_rule")
+        return 5;
+    if (kind === "symbol_location")
+        return 4;
+    if (kind === "file_content")
+        return 4;
+    if (kind === "vendor_score") {
+        // bigger score swing → higher severity
+        const a = Number(oldV), b = Number(newV);
+        if (Number.isFinite(a) && Number.isFinite(b)) {
+            const delta = Math.abs(a - b);
+            if (delta > 0.20)
+                return 4;
+            if (delta > 0.05)
+                return 3;
+        }
+        return 2;
+    }
+    return 3;
+}
+function messageFor(kind, factKey, oldV, newV, sev) {
+    const must = sev >= 4 ? "MUST ACK" : "FYI";
+    switch (kind) {
+        case "file_content":
+            return `[${must}] file '${factKey}' changed (sha differs). Refresh any claim citing it.`;
+        case "symbol_location":
+            return `[${must}] symbol '${factKey}' moved: was at ${oldV}, now at ${newV}.`;
+        case "soul_rule":
+            return `[${must}] PROJECT SOUL rule on '${factKey}' changed; re-evaluate any decision that hinged on the old wording.`;
+        case "stat_threshold":
+            return `[${must}] stat '${factKey}' crossed threshold: ${oldV} → ${newV}.`;
+        case "vendor_score":
+            return `[${must}] vendor score for '${factKey}' shifted: ${oldV} → ${newV}.`;
+        default:
+            return `[${must}] '${factKey}': ${oldV} → ${newV}.`;
+    }
+}
+export function formatNexusLine(n) {
+    return `NEXUS 📡 · ${n.kind} · sev=${n.severity} · ${n.factKey} · ${n.oldValue} → ${n.newValue}`;
+}
+/** Convenience: a singleton instance for callers that want global state. */
+let _instance = null;
+export function defaultNexus() {
+    if (!_instance)
+        _instance = new NexusProactive();
+    return _instance;
+}
+//# sourceMappingURL=index.js.map

package/dist/nexus_proactive/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/nexus_proactive/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AAEH,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE1D,MAAM,gBAAgB,GAAG,CAAU,CAAC;AAiEpC,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,0BAA0B,gBAAgB,EAAE,CAAC;AAC3F,CAAC;AAED,SAAS,IAAI,CAAC,IAAa,EAAE,MAAc;IACzC,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,MAAM,CAAC,CAAS,EAAE,CAAS;IAClC,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;AAED;;;;GAIG;AACH,MAAM,OAAO,cAAc;IACjB,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IACvC,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC,CAAC,uBAAuB;IAClE,IAAI,GAAG,IAAI,GAAG,EAAqB,CAAC;IACpC,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC,CAAC,yBAAyB;IAC1D,MAAM,CAAS;IAEvB,YAAY,MAAe;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,IAAI,aAAa,EAAE,CAAC;IAC1C,CAAC;IAED,oBAAoB,CAAC,KAOpB;QACC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,cAAc;QAC5D,MAAM,KAAK,GAAG,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,mBAAmB,CAAC;aAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,IAAI,GAAG,EAAE,CAAC;aACnE,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,IAAI,GAA8B;YACtC,CAAC,EAAE,gBAAgB;YACnB,KAAK;YACL,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;YACzC,SAAS,EAAE,IAAI,IAAI,CAAC,GAAG,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE;SACpD,CAAC;QACF,MAAM,GAAG,GAAiB,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACpE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC1B,OAAO,GAAG,CAAC;IACb,CAAC;IAED,kBAAkB,CAAC,GAAgB,EAAE,KAAc;QACjD,MAAM,GAAG,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACjE,MAAM,OAAO,GAAmB,EAAE,CAAC;QAEnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACrC,IAAI,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;gBAAE,SAAS;YACpC,IAAI,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO;gBAAE,SAAS;YAC1C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG;gBAAE,SAAS;YAC9C,IAAI,GAAG,CAAC,UAAU,KAAK,GAAG,CAAC,KAAK;gBAAE,SAAS,CAAC,cAAc;YAE1D,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACpD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YACjE,MAAM,OAAO,GAAG,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,qBAAqB,CAAC;iBAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;iBAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,MAAM,IAAI,GAA8B;gBACtC,CAAC,EAAE,gBAAgB;gBACnB,OAAO;gBACP,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,QAAQ,EAAE,GAAG,CAAC,UAAU;gBACxB,QAAQ,EAAE,GAAG,CAAC,KAAK;gBACnB,QAAQ;gBACR,SAAS,EAAE,UAAU;gBACrB,GAAG;gBACH,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC;aAChF,CAAC;YACF,MAAM,KAAK,GAAiB,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,6EAA6E;YAC7E,gFAAgF;YAChF,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,GAAG,GAAG,EAAE,UAAU,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,kBAAkB,CAAC,UAAkB,EAAE,KAAc;QACnD,MAAM,GAAG,GAAG,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QAChC,kDAAkD;QAClD,MAAM,OAAO,GAAmB,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACrC,IAAI,GAAG,CAAC,UAAU,KAAK,UAAU;gBAAE,SAAS;YAC5C,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,GAAG;gBAAE,SAAS;YAC/C,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAChD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;YAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,qBAAqB,CAAC;iBAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,KAAK,YAAY,GAAG,EAAE,CAAC;iBACrC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,MAAM,IAAI,GAA8B;gBACtC,CAAC,EAAE,gBAAgB;gBACnB,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,UAAU;gBACrC,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,QAAQ,EAAE,GAAG,CAAC,UAAU;gBACxB,QAAQ,EAAE,GAAG,CAAC,UAAU;gBACxB,QAAQ,EAAE,CAAC;gBACX,SAAS,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;gBACtC,GAAG;gBACH,OAAO,EAAE,oBAAoB,GAAG,CAAC,OAAO,gEAAgE;aACzG,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;YAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;QAC/B,OAAO,GAAG,CAAC;IACb,CAAC;IAED,WAAW,CAAC,KAKX;QACC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;QACtC,MAAM,IAAI,GAA2B;YACnC,CAAC,EAAE,gBAAgB;YACnB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,OAAO,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE;YACpC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACjE,CAAC;QACF,MAAM,GAAG,GAAc,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAClC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,CAAC,OAAe;QACrB,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,uDAAuD;IACvD,kBAAkB,CAAC,CAAe;QAChC,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IAED,6BAA6B;IAC7B,SAAS,CAAC,CAAY;QACpB,MAAM,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IAED,mCAAmC;IACnC,KAAK,CAAC,UAAmB;QACvB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,IAAI,UAAU,IAAI,CAAC,CAAC,UAAU,KAAK,UAAU;gBAAE,SAAS;YACxD,UAAU,EAAE,CAAC;QACf,CAAC;QACD,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,UAAU,EAAE,CAAC;YACf,aAAa,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC5D,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;gBAAE,aAAa,IAAI,IAAI,CAAC,MAAM,CAAC;QACvE,CAAC;QACD,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;IAClE,CAAC;CACF;AAED,SAAS,UAAU,CAAC,IAAsB,EAAE,IAAY,EAAE,IAAY;IACpE,wEAAwE;IACxE,kEAAkE;IAClE,8DAA8D;IAC9D,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,iBAAiB;QAAE,OAAO,CAAC,CAAC;IACzC,IAAI,IAAI,KAAK,cAAc;QAAE,OAAO,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;QAC5B,uCAAuC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,GAAG,IAAI;gBAAE,OAAO,CAAC,CAAC;YAC3B,IAAI,KAAK,GAAG,IAAI;gBAAE,OAAO,CAAC,CAAC;QAC7B,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,UAAU,CAAC,IAAsB,EAAE,OAAe,EAAE,IAAY,EAAE,IAAY,EAAE,GAAW;IAClG,MAAM,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC;IAC3C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,cAAc;YACjB,OAAO,IAAI,IAAI,WAAW,OAAO,uDAAuD,CAAC;QAC3F,KAAK,iBAAiB;YACpB,OAAO,IAAI,IAAI,aAAa,OAAO,mBAAmB,IAAI,YAAY,IAAI,GAAG,CAAC;QAChF,KAAK,WAAW;YACd,OAAO,IAAI,IAAI,2BAA2B,OAAO,qEAAqE,CAAC;QACzH,KAAK,gBAAgB;YACnB,OAAO,IAAI,IAAI,WAAW,OAAO,wBAAwB,IAAI,MAAM,IAAI,GAAG,CAAC;QAC7E,KAAK,cAAc;YACjB,OAAO,IAAI,IAAI,uBAAuB,OAAO,cAAc,IAAI,MAAM,IAAI,GAAG,CAAC;QAC/E;YACE,OAAO,IAAI,IAAI,MAAM,OAAO,MAAM,IAAI,MAAM,IAAI,GAAG,CAAC;IACxD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,CAAe;IAC7C,OAAO,cAAc,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,OAAO,MAAM,CAAC,CAAC,QAAQ,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;AACnG,CAAC;AAED,4EAA4E;AAC5E,IAAI,SAAS,GAA0B,IAAI,CAAC;AAC5C,MAAM,UAAU,YAAY;IAC1B,IAAI,CAAC,SAAS;QAAE,SAAS,GAAG,IAAI,cAAc,EAAE,CAAC;IACjD,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/nexus_proactive/nexus_proactive.test.d.ts

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

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

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

package/dist/nexus_proactive/nexus_proactive.test.js

@@ -0,0 +1,135 @@
+import { describe, it, expect } from "vitest";
+import { NexusProactive, formatNexusLine } from "./index.js";
+describe("v2.18 · MNEME NEXUS PROACTIVE — Reverse-MCP push notifier", () => {
+    it("subscription registers with sig + monotonic id", () => {
+        const n = new NexusProactive();
+        const s = n.registerSubscription({
+            subscriber: "claude-1",
+            kind: "symbol_location",
+            factKey: "calculateTotal",
+            knownValue: "src/foo.ts:42",
+        });
+        expect(s.sig).toMatch(/^[0-9a-f]{64}$/);
+        expect(s.subId).toMatch(/^sub-[0-9a-f]{14}$/);
+        expect(s.subscriber).toBe("claude-1");
+    });
+    it("publishes a stale_claim notification when fact changes", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({
+            subscriber: "claude-1",
+            kind: "symbol_location",
+            factKey: "calculateTotal",
+            knownValue: "src/foo.ts:42",
+        });
+        const emitted = n.publishObservation({
+            kind: "symbol_location",
+            factKey: "calculateTotal",
+            value: "src/foo.ts:80",
+        });
+        expect(emitted.length).toBe(1);
+        expect(emitted[0].kind).toBe("stale_claim");
+        expect(emitted[0].oldValue).toBe("src/foo.ts:42");
+        expect(emitted[0].newValue).toBe("src/foo.ts:80");
+        expect(emitted[0].severity).toBe(4); // symbol_location is MUST ACK
+        expect(emitted[0].message).toContain("MUST ACK");
+    });
+    it("does NOT emit when value unchanged", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({
+            subscriber: "x", kind: "file_content", factKey: "src/a.ts", knownValue: "abc",
+        });
+        const emitted = n.publishObservation({ kind: "file_content", factKey: "src/a.ts", value: "abc" });
+        expect(emitted.length).toBe(0);
+    });
+    it("does NOT cross subscribers — per-subscriber isolation", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "claude", kind: "file_content", factKey: "src/a.ts", knownValue: "v1" });
+        n.registerSubscription({ subscriber: "gpt", kind: "file_content", factKey: "src/b.ts", knownValue: "v1" });
+        const emitted = n.publishObservation({ kind: "file_content", factKey: "src/a.ts", value: "v2" });
+        expect(emitted.length).toBe(1);
+        expect(emitted[0].subscriber).toBe("claude");
+        const claudeQ = n.drainNotifications("claude");
+        expect(claudeQ.length).toBe(1);
+        const gptQ = n.drainNotifications("gpt");
+        expect(gptQ.length).toBe(0);
+    });
+    it("seq is monotonic per subscriber", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "file_content", factKey: "a", knownValue: "v1" });
+        n.publishObservation({ kind: "file_content", factKey: "a", value: "v2" });
+        n.publishObservation({ kind: "file_content", factKey: "a", value: "v3" });
+        n.publishObservation({ kind: "file_content", factKey: "a", value: "v4" });
+        const drained = n.drainNotifications("x");
+        expect(drained.length).toBe(3);
+        expect(drained[0].seq).toBe(1);
+        expect(drained[1].seq).toBe(2);
+        expect(drained[2].seq).toBe(3);
+    });
+    it("drain clears the queue", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "file_content", factKey: "a", knownValue: "v1" });
+        n.publishObservation({ kind: "file_content", factKey: "a", value: "v2" });
+        expect(n.drainNotifications("x").length).toBe(1);
+        expect(n.drainNotifications("x").length).toBe(0);
+    });
+    it("expired subscription emits subscription_expired on drain", () => {
+        const n = new NexusProactive();
+        const t0 = 1_000_000_000_000;
+        n.registerSubscription({ subscriber: "x", kind: "file_content", factKey: "a", knownValue: "v1", ttlSeconds: 60, nowMs: t0 });
+        const drained = n.drainNotifications("x", t0 + 120_000); // 2 minutes later
+        expect(drained.length).toBe(1);
+        expect(drained[0].kind).toBe("subscription_expired");
+    });
+    it("acknowledge records signed receipt + isAcked true", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "file_content", factKey: "a", knownValue: "v1" });
+        const emitted = n.publishObservation({ kind: "file_content", factKey: "a", value: "v2" });
+        const notif = emitted[0];
+        const ack = n.acknowledge({ notifId: notif.notifId, subscriber: "x", restatement: "got it, v2 now" });
+        expect(ack.sig).toMatch(/^[0-9a-f]{64}$/);
+        expect(ack.restatement).toBe("got it, v2 now");
+        expect(n.isAcked(notif.notifId)).toBe(true);
+        expect(n.verifyAck(ack)).toBe(true);
+    });
+    it("verifyNotification rejects tampered notifications", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "file_content", factKey: "a", knownValue: "v1" });
+        const [notif] = n.publishObservation({ kind: "file_content", factKey: "a", value: "v2" });
+        expect(n.verifyNotification(notif)).toBe(true);
+        const tampered = { ...notif, newValue: "EVIL" };
+        expect(n.verifyNotification(tampered)).toBe(false);
+    });
+    it("vendor_score severity escalates with delta", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "vendor_score", factKey: "claude", knownValue: "0.50" });
+        n.publishObservation({ kind: "vendor_score", factKey: "claude", value: "0.51" }); // tiny
+        const small = n.drainNotifications("x");
+        expect(small[0].severity).toBeLessThanOrEqual(2);
+        n.registerSubscription({ subscriber: "y", kind: "vendor_score", factKey: "claude", knownValue: "0.50" });
+        n.publishObservation({ kind: "vendor_score", factKey: "claude", value: "0.10" }); // huge swing
+        const big = n.drainNotifications("y");
+        expect(big[0].severity).toBe(4);
+    });
+    it("soul_rule changes are severity 5 (MUST ACK)", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "soul_rule", factKey: "no-friday-deploys", knownValue: "active" });
+        const [notif] = n.publishObservation({ kind: "soul_rule", factKey: "no-friday-deploys", value: "removed" });
+        expect(notif.severity).toBe(5);
+    });
+    it("stats reports active subs + pending notifs + acks", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "file_content", factKey: "a", knownValue: "v1" });
+        n.publishObservation({ kind: "file_content", factKey: "a", value: "v2" });
+        const s = n.stats("x");
+        expect(s.activeSubs).toBe(1);
+        expect(s.pendingNotifs).toBe(1);
+        expect(s.totalAcks).toBe(0);
+    });
+    it("formatNexusLine summarises", () => {
+        const n = new NexusProactive();
+        n.registerSubscription({ subscriber: "x", kind: "file_content", factKey: "a", knownValue: "v1" });
+        const [notif] = n.publishObservation({ kind: "file_content", factKey: "a", value: "v2" });
+        expect(formatNexusLine(notif)).toContain("NEXUS");
+    });
+});
+//# sourceMappingURL=nexus_proactive.test.js.map

package/dist/nexus_proactive/nexus_proactive.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nexus_proactive.test.js","sourceRoot":"","sources":["../../src/nexus_proactive/nexus_proactive.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7D,QAAQ,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,oBAAoB,CAAC;YAC/B,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,gBAAgB;YACzB,UAAU,EAAE,eAAe;SAC5B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QAC9C,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC;YACrB,UAAU,EAAE,UAAU;YACtB,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,gBAAgB;YACzB,UAAU,EAAE,eAAe;SAC5B,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC;YACnC,IAAI,EAAE,iBAAiB;YACvB,OAAO,EAAE,gBAAgB;YACzB,KAAK,EAAE,eAAe;SACvB,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,8BAA8B;QACpE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC;YACrB,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK;SAC9E,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAClG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9G,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,KAAK,EAAK,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9G,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACjG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,iBAAiB,CAAC;QAC7B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7H,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,kBAAkB;QAC3E,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,MAAM,OAAO,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1F,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACtG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC/C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;QACjD,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACzG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO;QACzF,MAAM,KAAK,GAAG,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAElD,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;QACzG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,aAAa;QAC/F,MAAM,GAAG,GAAG,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC;QACnH,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,mBAAmB,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5G,MAAM,CAAC,KAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,CAAC,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAClG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,kBAAkB,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1F,MAAM,CAAC,eAAe,CAAC,KAAM,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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"}