@mneme-ai/core 2.31.0 → 2.33.0

package/dist/mnemnet/mnemnet.test.js

@@ -0,0 +1,147 @@
+// v2.33.0 — MNEMNET discrete root tests.
+import { describe, it, expect, beforeEach } from "vitest";
+import { mkdtempSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { laplaceSample, noisedCount, makeDeterministicRng, readConsent, setConsent, buildEnvelope, persistEnvelope, listEnvelopes, verifyEnvelope, aggregatePublicHsc, federatePush, } from "./index.js";
+function makeRepo() { return mkdtempSync(join(tmpdir(), "mnemnet-")); }
+function fakeVerdict(primary, reveals, winner, at = new Date().toISOString()) {
+    return {
+        id: "v-" + Math.random().toString(36).slice(2, 10),
+        primaryVendor: primary, at,
+        promptHash: "p", primaryResponseHash: "r",
+        primaryAction: "accepted",
+        reveals: reveals.map((vendor) => ({ vendor, responseHash: "x", revealDelayMs: 0 })),
+        votedMostTruthful: winner,
+        dpEpsilon: 0,
+        hmac: "deadbeef".repeat(8),
+        seq: 1,
+        bodyDigest: "x",
+    };
+}
+describe("DP primitives", () => {
+    it("laplaceSample with seed is deterministic", () => {
+        const rng1 = makeDeterministicRng("s1");
+        const rng2 = makeDeterministicRng("s1");
+        const a = laplaceSample(1, rng1);
+        const b = laplaceSample(1, rng2);
+        expect(a).toBe(b);
+    });
+    it("noisedCount returns trueCount when ε <= 0", () => {
+        expect(noisedCount(42, 0)).toBe(42);
+        expect(noisedCount(42, -1)).toBe(42);
+    });
+    it("noisedCount with epsilon=0.5 stays close to true count on average", () => {
+        let sum = 0;
+        const N = 200;
+        const rng = makeDeterministicRng("avg");
+        for (let i = 0; i < N; i++)
+            sum += noisedCount(100, 0.5, rng);
+        const mean = sum / N;
+        // Within 20% of true count for 200 samples + ε=0.5 (scale=2).
+        expect(Math.abs(mean - 100)).toBeLessThan(20);
+    });
+});
+describe("Consent (default OFF)", () => {
+    let repo;
+    beforeEach(() => { repo = makeRepo(); });
+    it("default consent is opt-out", () => {
+        const c = readConsent(repo);
+        expect(c.optIn).toBe(false);
+    });
+    it("setConsent persists across reads + assigns node id", () => {
+        const c = setConsent(repo, true, { endpoint: "https://mnemnet.ai", maxEpsilon: 0.3 });
+        expect(c.optIn).toBe(true);
+        expect(c.nodeId).toMatch(/^node-/);
+        expect(c.maxEpsilon).toBe(0.3);
+        const read = readConsent(repo);
+        expect(read.endpoint).toBe("https://mnemnet.ai");
+    });
+});
+describe("Envelope build + verify", () => {
+    let repo;
+    beforeEach(() => { repo = makeRepo(); setConsent(repo, true, { maxEpsilon: 0.5 }); });
+    it("buildEnvelope with no verdicts → empty perVendor + valid HMAC", () => {
+        const env = buildEnvelope(repo, [], { deterministicSeed: "z" });
+        expect(env.perVendor.length).toBe(0);
+        expect(verifyEnvelope(env).ok).toBe(true);
+    });
+    it("buildEnvelope adds noise but keeps non-negative counts", () => {
+        const verdicts = [
+            fakeVerdict("claude", ["gpt"], "claude"),
+            fakeVerdict("claude", ["gpt"], "claude"),
+            fakeVerdict("claude", ["gpt"], "gpt"),
+        ];
+        const env = buildEnvelope(repo, verdicts, { epsilon: 0.5, deterministicSeed: "seed-1" });
+        expect(env.perVendor.length).toBe(2); // claude + gpt
+        for (const v of env.perVendor) {
+            expect(v.noisedTruthful).toBeGreaterThanOrEqual(0);
+            expect(v.noisedDecisive).toBeGreaterThanOrEqual(0);
+        }
+        expect(verifyEnvelope(env).ok).toBe(true);
+    });
+    it("epsilon clamped to consent.maxEpsilon", () => {
+        const verdicts = [fakeVerdict("a", ["b"], "a")];
+        const env = buildEnvelope(repo, verdicts, { epsilon: 100 });
+        expect(env.epsilon).toBeLessThanOrEqual(0.5);
+    });
+    it("tampered envelope fails verify", () => {
+        const env = buildEnvelope(repo, [fakeVerdict("x", ["y"], "x")], { deterministicSeed: "t" });
+        const tampered = { ...env, epsilon: 999 };
+        expect(verifyEnvelope(tampered).ok).toBe(false);
+    });
+    it("persist + list round-trip", () => {
+        const env = buildEnvelope(repo, [fakeVerdict("p", ["q"], "p")], { deterministicSeed: "rt" });
+        persistEnvelope(repo, env);
+        const list = listEnvelopes(repo);
+        expect(list.length).toBe(1);
+        expect(list[0].envelopeId).toBe(env.envelopeId);
+    });
+});
+describe("Public HSC aggregation", () => {
+    let repo;
+    beforeEach(() => { repo = makeRepo(); setConsent(repo, true, { maxEpsilon: 1 }); });
+    it("aggregates envelopes from multiple nodes", () => {
+        // Two nodes worth: pretend each builds N rounds of verdicts.
+        const node1 = buildEnvelope(repo, Array.from({ length: 30 }, () => fakeVerdict("claude", ["gpt"], "claude")), { epsilon: 1, deterministicSeed: "n1" });
+        const node2 = buildEnvelope(repo, Array.from({ length: 30 }, () => fakeVerdict("claude", ["gpt"], "claude")), { epsilon: 1, deterministicSeed: "n2" });
+        // Spoof second envelope as a different node so contributingNodes=2.
+        const node2b = { ...node2, nodeId: "node-other" };
+        const hsc = aggregatePublicHsc([node1, node2b]);
+        const claude = hsc.rows.find((r) => r.vendor === "claude");
+        expect(claude.contributingNodes).toBe(2);
+        expect(claude.totalDecisive).toBeGreaterThan(0);
+        expect(claude.meanNoisedTruthfulRate).toBeGreaterThan(0);
+    });
+    it("band thresholds: unmeasured when totalDecisive < 25", () => {
+        const env = buildEnvelope(repo, Array.from({ length: 3 }, () => fakeVerdict("v", ["w"], "v")), { epsilon: 1, deterministicSeed: "u" });
+        const hsc = aggregatePublicHsc([env]);
+        const v = hsc.rows.find((r) => r.vendor === "v");
+        expect(v.band).toBe("⚪ unmeasured");
+    });
+});
+describe("Federation stub", () => {
+    let repo;
+    beforeEach(() => { repo = makeRepo(); });
+    it("refuses without consent", async () => {
+        const env = buildEnvelope(repo, [], { deterministicSeed: "x" });
+        const r = await federatePush(repo, env);
+        expect(r.ok).toBe(false);
+        expect(r.reason).toMatch(/consent/i);
+    });
+    it("refuses with consent but no endpoint", async () => {
+        setConsent(repo, true);
+        const env = buildEnvelope(repo, [], { deterministicSeed: "x" });
+        const r = await federatePush(repo, env);
+        expect(r.ok).toBe(false);
+        expect(r.reason).toMatch(/endpoint/i);
+    });
+    it("returns stub-success with consent + endpoint", async () => {
+        setConsent(repo, true, { endpoint: "https://mnemnet.ai" });
+        const env = buildEnvelope(repo, [], { deterministicSeed: "x" });
+        const r = await federatePush(repo, env);
+        expect(r.ok).toBe(true);
+        expect(r.reason).toMatch(/stub|coming/i);
+    });
+});
+//# sourceMappingURL=mnemnet.test.js.map

package/dist/mnemnet/mnemnet.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mnemnet.test.js","sourceRoot":"","sources":["../../src/mnemnet/mnemnet.test.ts"],"names":[],"mappings":"AAAA,yCAAyC;AAEzC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EACL,aAAa,EAAE,WAAW,EAAE,oBAAoB,EAChD,WAAW,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EACvD,aAAa,EAAE,cAAc,EAAE,kBAAkB,EAAE,YAAY,GAChE,MAAM,YAAY,CAAC;AAIpB,SAAS,QAAQ,KAAa,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;AAE/E,SAAS,WAAW,CAAC,OAAe,EAAE,OAAiB,EAAE,MAA0B,EAAE,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;IAChH,OAAO;QACL,EAAE,EAAE,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAClD,aAAa,EAAE,OAAO,EAAE,EAAE;QAC1B,UAAU,EAAE,GAAG,EAAE,mBAAmB,EAAE,GAAG;QACzC,aAAa,EAAE,UAAU;QACzB,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QACnF,iBAAiB,EAAE,MAAM;QACzB,SAAS,EAAE,CAAC;QACZ,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1B,GAAG,EAAE,CAAC;QACN,UAAU,EAAE,GAAG;KAChB,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,MAAM,GAAG,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9D,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC;QACrB,8DAA8D;QAC9D,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAI,IAAY,CAAC;IACjB,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzC,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;QACtF,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAI,IAAY,CAAC;IACjB,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,GAAG,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtF,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,QAAQ,GAAG;YACf,WAAW,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;YACxC,WAAW,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC;YACxC,WAAW,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;SACtC,CAAC;QACF,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,iBAAiB,EAAE,QAAQ,EAAE,CAAC,CAAC;QACzF,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;QACrD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;QACD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,QAAQ,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5F,MAAM,QAAQ,GAAgB,EAAE,GAAG,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACvD,MAAM,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7F,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,IAAY,CAAC;IACjB,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,GAAG,QAAQ,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEpF,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,6DAA6D;QAC7D,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QACvJ,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QACvJ,oEAAoE;QACpE,MAAM,MAAM,GAAG,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;QAClD,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAE,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;QACvI,MAAM,GAAG,GAAG,kBAAkB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,GAAG,CAAE,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAI,IAAY,CAAC;IACjB,UAAU,CAAC,GAAG,EAAE,GAAG,IAAI,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAEzC,EAAE,CAAC,yBAAyB,EAAE,KAAK,IAAI,EAAE;QACvC,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvB,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,oBAAoB,EAAE,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/mnemnet/types.d.ts

@@ -0,0 +1,77 @@
+/**
+ * v2.33.0 — MNEMNET types.
+ *
+ * MNEMNET = federated AI-honesty network. Local Mneme nodes opt-in
+ * to contribute differentially-private aggregates of their CITIZEN
+ * COURT verdicts; the network publishes a Public Honesty Court HSC
+ * per vendor that no single user can game.
+ *
+ * v2.33.0 ships the LOCAL aggregator + opt-in scaffolding + push
+ * stub (no network call). The federated endpoint protocol lands
+ * v2.34.x (same pattern HGP v2.31 used).
+ */
+export interface MnemnetConsent {
+    /** User opt-in flag. Default OFF (CONSENT FABRIC). */
+    optIn: boolean;
+    /** ISO of latest opt-in toggle. */
+    at: string;
+    /** Endpoint to push to (default mnemnet.ai placeholder). */
+    endpoint?: string;
+    /** Cryptographic node id (HMAC pubkey hash; never reveals identity). */
+    nodeId: string;
+    /** DP epsilon ceiling per submission (default 0.5). */
+    maxEpsilon: number;
+}
+/**
+ * The unit of contribution: a DP-noised count of truthful-votes per
+ * vendor over a window. No raw verdicts EVER leave the local node.
+ */
+export interface DpAggregate {
+    /** Stable HMAC-signed envelope id. */
+    envelopeId: string;
+    /** Anonymous node id (per consent). */
+    nodeId: string;
+    /** Window start + end (ISO). */
+    windowStart: string;
+    windowEnd: string;
+    /** Per-vendor noised tally. */
+    perVendor: Array<{
+        vendor: string;
+        /** truthful-vote count + Laplace(1/ε) noise. */
+        noisedTruthful: number;
+        /** decisive-vote count + Laplace(1/ε) noise. */
+        noisedDecisive: number;
+    }>;
+    /** DP epsilon applied. */
+    epsilon: number;
+    /** HMAC-signed envelope. */
+    hmac: string;
+    at: string;
+}
+/**
+ * Network-side aggregation across N envelopes. Public Honesty Court.
+ * v2.33.0 computes this locally on a list of envelopes (e.g. supplied
+ * by the user as a JSON paste from peers); v2.34.x will fetch from
+ * the live endpoint.
+ */
+export interface PublicHscRow {
+    vendor: string;
+    /** Mean noised truthful rate across N nodes. */
+    meanNoisedTruthfulRate: number;
+    /** Number of contributing nodes. */
+    contributingNodes: number;
+    /** Sum of decisive votes (noised). */
+    totalDecisive: number;
+    /** Effective epsilon (max across envelopes). */
+    maxEpsilon: number;
+    /** Band per the SAME thresholds CITIZEN COURT HSC uses. */
+    band: "🟢 trustworthy" | "🟡 mixed" | "🔴 suspect" | "⚪ unmeasured";
+}
+export interface PublicHsc {
+    generatedAt: string;
+    envelopeCount: number;
+    rows: PublicHscRow[];
+    /** HMAC-signed for receivers to verify offline. */
+    hmac: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/mnemnet/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/mnemnet/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,MAAM,WAAW,cAAc;IAC7B,sDAAsD;IACtD,KAAK,EAAE,OAAO,CAAC;IACf,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wEAAwE;IACxE,MAAM,EAAE,MAAM,CAAC;IACf,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,sCAAsC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,uCAAuC;IACvC,MAAM,EAAE,MAAM,CAAC;IACf,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,+BAA+B;IAC/B,SAAS,EAAE,KAAK,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,gDAAgD;QAChD,cAAc,EAAE,MAAM,CAAC;QACvB,gDAAgD;QAChD,cAAc,EAAE,MAAM,CAAC;KACxB,CAAC,CAAC;IACH,0BAA0B;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,gDAAgD;IAChD,sBAAsB,EAAE,MAAM,CAAC;IAC/B,oCAAoC;IACpC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,sCAAsC;IACtC,aAAa,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,UAAU,EAAE,MAAM,CAAC;IACnB,2DAA2D;IAC3D,IAAI,EAAE,gBAAgB,GAAG,UAAU,GAAG,YAAY,GAAG,cAAc,CAAC;CACrE;AAED,MAAM,WAAW,SAAS;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;CACd"}

package/dist/mnemnet/types.js

@@ -0,0 +1,14 @@
+/**
+ * v2.33.0 — MNEMNET types.
+ *
+ * MNEMNET = federated AI-honesty network. Local Mneme nodes opt-in
+ * to contribute differentially-private aggregates of their CITIZEN
+ * COURT verdicts; the network publishes a Public Honesty Court HSC
+ * per vendor that no single user can game.
+ *
+ * v2.33.0 ships the LOCAL aggregator + opt-in scaffolding + push
+ * stub (no network call). The federated endpoint protocol lands
+ * v2.34.x (same pattern HGP v2.31 used).
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/mnemnet/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/mnemnet/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}

package/dist/pulsecost/budget.d.ts

@@ -0,0 +1,20 @@
+/**
+ * v2.33.0 — PULSECOST enforcement primitive.
+ *
+ * Given a response text + an `X-Context-Available-Tokens` budget,
+ * trim the text to fit + emit the three response headers. Token
+ * estimation is words-per-token (0.75 default). Conservative trim
+ * keeps full sentences; falls back to char-truncation if a single
+ * sentence already exceeds the budget.
+ */
+import type { PulseCostBudget, PulseCostResult, PulseCostSpec } from "./types.js";
+export declare const SPEC: PulseCostSpec;
+export declare function estimateTokens(text: string, wordsPerToken?: number): number;
+/**
+ * Trim by sentence boundary first; if a single sentence already
+ * exceeds the budget, fall back to char-truncation at a word boundary.
+ */
+export declare function trimToBudget(text: string, budget: PulseCostBudget): PulseCostResult;
+/** Convenience: pull the request header from any { headers } shape. */
+export declare function readRequestBudget(headers: Record<string, string | string[] | undefined>, fallback?: PulseCostBudget): PulseCostBudget;
+//# sourceMappingURL=budget.d.ts.map

package/dist/pulsecost/budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"budget.d.ts","sourceRoot":"","sources":["../../src/pulsecost/budget.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAIlF,eAAO,MAAM,IAAI,EAAE,aA+BlB,CAAC;AAQF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,SAAyB,GAAG,MAAM,CAI3F;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,GAAG,eAAe,CAqCnF;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,SAAS,CAAC,EAAE,QAAQ,kBAAW,GAAG,eAAe,CAS9H"}

package/dist/pulsecost/budget.js

@@ -0,0 +1,108 @@
+/**
+ * v2.33.0 — PULSECOST enforcement primitive.
+ *
+ * Given a response text + an `X-Context-Available-Tokens` budget,
+ * trim the text to fit + emit the three response headers. Token
+ * estimation is words-per-token (0.75 default). Conservative trim
+ * keeps full sentences; falls back to char-truncation if a single
+ * sentence already exceeds the budget.
+ */
+const SPEC_VERSION = "0.1";
+export const SPEC = {
+    version: SPEC_VERSION,
+    headers: {
+        requestAvailable: "X-Context-Available-Tokens",
+        responseUsed: "X-Context-Used-Tokens",
+        responseTrimmed: "X-Context-Trimmed",
+    },
+    body: [
+        "# Mneme PulseCost / MCP Context-Budget Extension v" + SPEC_VERSION,
+        "",
+        "## Problem",
+        "Every MCP server emits unbounded responses. Agents have to budget context across many tool calls per turn, but no protocol mechanism lets them ask 'how big will your answer be?' or constrain it.",
+        "",
+        "## Proposal",
+        "Three optional HTTP-style headers in MCP request/response framing:",
+        "",
+        "- `X-Context-Available-Tokens: <int>` (request) — agent's budget for THIS response",
+        "- `X-Context-Used-Tokens: <int>` (response) — actual tokens the server emitted",
+        "- `X-Context-Trimmed: true|false` (response) — was the output trimmed to fit?",
+        "",
+        "Servers SHOULD honour the request header by trimming the response to fit. If they cannot trim semantically, they MAY emit the unbounded response and set `X-Context-Trimmed: false` + `X-Context-Used-Tokens` to the actual usage. Agents can then either accept the over-budget response or re-issue with a different tool / smaller scope.",
+        "",
+        "## Token estimation",
+        "MCP-CANDOR/PulseCost recommends words-per-token = 0.75 (matches GPT/Claude tokenisation within 10%). Servers MAY swap for their own model's tokenizer when known.",
+        "",
+        "## Compatibility",
+        "Headers are OPTIONAL. Clients without the spec ignore the response headers. Servers without the spec ignore the request header (no trimming, no header emission) — same behavior as today.",
+        "",
+        "## Reference implementation",
+        "Mneme v2.33.0 ships `mneme.pulsecost.budget` as the reference implementation. Call it with `{ text, availableTokens }` to receive a trimmed string + the three response headers. Any MCP server can compose this primitive into their handlers without re-implementing token math.",
+    ].join("\n"),
+};
+const DEFAULTS = {
+    availableTokens: 8192,
+    defaultBudget: 8192,
+    wordsPerToken: 0.75,
+};
+export function estimateTokens(text, wordsPerToken = DEFAULTS.wordsPerToken) {
+    if (!text)
+        return 0;
+    const words = text.trim().split(/\s+/).filter(Boolean).length;
+    return Math.ceil(words / wordsPerToken);
+}
+/**
+ * Trim by sentence boundary first; if a single sentence already
+ * exceeds the budget, fall back to char-truncation at a word boundary.
+ */
+export function trimToBudget(text, budget) {
+    const originalTokens = estimateTokens(text, budget.wordsPerToken);
+    if (originalTokens <= budget.availableTokens) {
+        return {
+            output: text, usedTokens: originalTokens, originalTokens, trimmed: false,
+            headers: {
+                [SPEC.headers.responseUsed]: String(originalTokens),
+                [SPEC.headers.responseTrimmed]: "false",
+            },
+        };
+    }
+    // Sentence-aware trim. We split on `.` / `!` / `?` followed by space or EOS.
+    const sentences = text.split(/(?<=[.!?])\s+/);
+    const accumulated = [];
+    let runningTokens = 0;
+    for (const s of sentences) {
+        const t = estimateTokens(s, budget.wordsPerToken);
+        if (runningTokens + t > budget.availableTokens)
+            break;
+        accumulated.push(s);
+        runningTokens += t;
+    }
+    let output = accumulated.join(" ");
+    // Single sentence already too big → char-truncate at word boundary.
+    if (output.length === 0 && sentences.length > 0) {
+        const approxChars = Math.max(1, Math.floor(budget.availableTokens * 4)); // ~4 chars/token rough
+        const cut = sentences[0].slice(0, approxChars);
+        const lastSpace = cut.lastIndexOf(" ");
+        output = lastSpace > 0 ? cut.slice(0, lastSpace) + "…" : cut + "…";
+    }
+    const usedTokens = estimateTokens(output, budget.wordsPerToken);
+    return {
+        output, usedTokens, originalTokens, trimmed: true,
+        headers: {
+            [SPEC.headers.responseUsed]: String(usedTokens),
+            [SPEC.headers.responseTrimmed]: "true",
+        },
+    };
+}
+/** Convenience: pull the request header from any { headers } shape. */
+export function readRequestBudget(headers, fallback = DEFAULTS) {
+    const raw = headers[SPEC.headers.requestAvailable] ?? headers[SPEC.headers.requestAvailable.toLowerCase()];
+    const value = Array.isArray(raw) ? raw[0] : raw;
+    const parsed = value ? parseInt(String(value), 10) : NaN;
+    return {
+        availableTokens: Number.isFinite(parsed) && parsed > 0 ? parsed : fallback.defaultBudget,
+        defaultBudget: fallback.defaultBudget,
+        wordsPerToken: fallback.wordsPerToken,
+    };
+}
+//# sourceMappingURL=budget.js.map

package/dist/pulsecost/budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"budget.js","sourceRoot":"","sources":["../../src/pulsecost/budget.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,MAAM,YAAY,GAAG,KAAc,CAAC;AAEpC,MAAM,CAAC,MAAM,IAAI,GAAkB;IACjC,OAAO,EAAE,YAAY;IACrB,OAAO,EAAE;QACP,gBAAgB,EAAE,4BAA4B;QAC9C,YAAY,EAAE,uBAAuB;QACrC,eAAe,EAAE,mBAAmB;KACrC;IACD,IAAI,EAAE;QACJ,oDAAoD,GAAG,YAAY;QACnE,EAAE;QACF,YAAY;QACZ,oMAAoM;QACpM,EAAE;QACF,aAAa;QACb,oEAAoE;QACpE,EAAE;QACF,oFAAoF;QACpF,gFAAgF;QAChF,+EAA+E;QAC/E,EAAE;QACF,8UAA8U;QAC9U,EAAE;QACF,qBAAqB;QACrB,mKAAmK;QACnK,EAAE;QACF,kBAAkB;QAClB,4LAA4L;QAC5L,EAAE;QACF,6BAA6B;QAC7B,oRAAoR;KACrR,CAAC,IAAI,CAAC,IAAI,CAAC;CACb,CAAC;AAEF,MAAM,QAAQ,GAAoB;IAChC,eAAe,EAAE,IAAI;IACrB,aAAa,EAAE,IAAI;IACnB,aAAa,EAAE,IAAI;CACpB,CAAC;AAEF,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,aAAa,GAAG,QAAQ,CAAC,aAAa;IACjF,IAAI,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC;IACpB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IAC9D,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,aAAa,CAAC,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAuB;IAChE,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAClE,IAAI,cAAc,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC7C,OAAO;YACL,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,EAAE,OAAO,EAAE,KAAK;YACxE,OAAO,EAAE;gBACP,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,cAAc,CAAC;gBACnD,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,OAAO;aACxC;SACF,CAAC;IACJ,CAAC;IACD,6EAA6E;IAC7E,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAClD,IAAI,aAAa,GAAG,CAAC,GAAG,MAAM,CAAC,eAAe;YAAE,MAAM;QACtD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,aAAa,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnC,oEAAoE;IACpE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,uBAAuB;QAChG,MAAM,GAAG,GAAG,SAAS,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACvC,MAAM,GAAG,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC;IACrE,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;IAChE,OAAO;QACL,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,OAAO,EAAE,IAAI;QACjD,OAAO,EAAE;YACP,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC;YAC/C,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,MAAM;SACvC;KACF,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,iBAAiB,CAAC,OAAsD,EAAE,QAAQ,GAAG,QAAQ;IAC3G,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,WAAW,EAAE,CAAC,CAAC;IAC3G,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACzD,OAAO;QACL,eAAe,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa;QACxF,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,aAAa,EAAE,QAAQ,CAAC,aAAa;KACtC,CAAC;AACJ,CAAC"}

package/dist/pulsecost/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * v2.33.0 — PULSECOST public surface (MCP context-budget extension v0.1).
+ */
+export type { PulseCostBudget, PulseCostResult, PulseCostSpec } from "./types.js";
+export { SPEC, estimateTokens, trimToBudget, readRequestBudget } from "./budget.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/pulsecost/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,YAAY,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAClF,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/pulsecost/index.js

@@ -0,0 +1,5 @@
+/**
+ * v2.33.0 — PULSECOST public surface (MCP context-budget extension v0.1).
+ */
+export { SPEC, estimateTokens, trimToBudget, readRequestBudget } from "./budget.js";
+//# sourceMappingURL=index.js.map

package/dist/pulsecost/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/pulsecost/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/pulsecost/pulsecost.test.d.ts

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

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

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

package/dist/pulsecost/pulsecost.test.js

@@ -0,0 +1,64 @@
+// v2.33.0 — PULSECOST discrete root tests.
+import { describe, it, expect } from "vitest";
+import { SPEC, estimateTokens, trimToBudget, readRequestBudget } from "./index.js";
+describe("PULSECOST spec", () => {
+    it("emits the 3 header names per the proposed extension", () => {
+        expect(SPEC.headers.requestAvailable).toBe("X-Context-Available-Tokens");
+        expect(SPEC.headers.responseUsed).toBe("X-Context-Used-Tokens");
+        expect(SPEC.headers.responseTrimmed).toBe("X-Context-Trimmed");
+    });
+    it("spec body mentions MCP + protocol", () => {
+        expect(SPEC.body).toMatch(/MCP/);
+        expect(SPEC.body).toMatch(/Context-Available-Tokens/);
+    });
+});
+describe("estimateTokens", () => {
+    it("0 for empty string", () => { expect(estimateTokens("")).toBe(0); });
+    it("ceil(words/0.75) for words", () => {
+        // 3 words → ceil(3/0.75) = 4 tokens
+        expect(estimateTokens("one two three")).toBe(4);
+    });
+});
+describe("trimToBudget", () => {
+    it("returns text unchanged when within budget", () => {
+        const r = trimToBudget("Hello world.", { availableTokens: 1000, defaultBudget: 1000, wordsPerToken: 0.75 });
+        expect(r.trimmed).toBe(false);
+        expect(r.output).toBe("Hello world.");
+        expect(r.headers["X-Context-Trimmed"]).toBe("false");
+    });
+    it("sentence-aware trim keeps first N sentences", () => {
+        const text = "First sentence here. Second sentence here. Third sentence here. Fourth sentence here. Fifth sentence here. Sixth sentence here. Seventh sentence here. Eighth sentence here.";
+        // 8 sentences × 3 words = 24 words = 32 tokens. Budget 12 should fit ~2-3 sentences.
+        const r = trimToBudget(text, { availableTokens: 12, defaultBudget: 100, wordsPerToken: 0.75 });
+        expect(r.trimmed).toBe(true);
+        expect(r.output.length).toBeLessThan(text.length);
+        expect(r.output).toMatch(/^First sentence here\./);
+        expect(r.headers["X-Context-Trimmed"]).toBe("true");
+        expect(parseInt(r.headers["X-Context-Used-Tokens"], 10)).toBeLessThanOrEqual(12);
+    });
+    it("falls back to char-truncation when single sentence already too large", () => {
+        const longSentence = "word ".repeat(500); // 500 words
+        const r = trimToBudget(longSentence, { availableTokens: 5, defaultBudget: 100, wordsPerToken: 0.75 });
+        expect(r.trimmed).toBe(true);
+        expect(r.output.endsWith("…")).toBe(true);
+    });
+});
+describe("readRequestBudget", () => {
+    it("uses default when header missing", () => {
+        const r = readRequestBudget({});
+        expect(r.availableTokens).toBe(8192);
+    });
+    it("parses integer header value", () => {
+        const r = readRequestBudget({ "X-Context-Available-Tokens": "2048" });
+        expect(r.availableTokens).toBe(2048);
+    });
+    it("case-insensitive fallback", () => {
+        const r = readRequestBudget({ "x-context-available-tokens": "1024" });
+        expect(r.availableTokens).toBe(1024);
+    });
+    it("invalid header falls back to default", () => {
+        const r = readRequestBudget({ "X-Context-Available-Tokens": "garbage" });
+        expect(r.availableTokens).toBe(8192);
+    });
+});
+//# sourceMappingURL=pulsecost.test.js.map

package/dist/pulsecost/pulsecost.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pulsecost.test.js","sourceRoot":"","sources":["../../src/pulsecost/pulsecost.test.ts"],"names":[],"mappings":"AAAA,2CAA2C;AAE3C,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEnF,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QACzE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAChE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,oCAAoC;QACpC,MAAM,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,YAAY,CAAC,cAAc,EAAE,EAAE,eAAe,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5G,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,8KAA8K,CAAC;QAC5L,qFAAqF;QACrF,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/F,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;QACnD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAE,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY;QACtD,MAAM,CAAC,GAAG,YAAY,CAAC,YAAY,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,aAAa,EAAE,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QACtG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,iBAAiB,CAAC,EAAE,4BAA4B,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,iBAAiB,CAAC,EAAE,4BAA4B,EAAE,MAAM,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,iBAAiB,CAAC,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/pulsecost/types.d.ts

@@ -0,0 +1,53 @@
+/**
+ * v2.33.0 — PULSECOST types.
+ *
+ * "Pulse Cost: Negotiated Context Budget Between AI Agents and Their
+ * Tools" (paper 5). MCP spec extension proposal:
+ *
+ *   Request header :  X-Context-Available-Tokens: <int>
+ *   Response header:  X-Context-Used-Tokens:      <int>
+ *   Response header:  X-Context-Trimmed:          true|false
+ *
+ * The tool agrees to fit its response within the available budget;
+ * the agent can budget intelligently across many tool calls per turn.
+ * Today every MCP server emits unbounded responses → agents waste
+ * context on duplicated capability dumps.
+ *
+ * v2.33.0 ships the local enforcement primitive + spec markdown +
+ * a `mneme.pulsecost.budget` MCP tool that demonstrates the protocol.
+ * The header convention is proposed (not yet ratified) in the MCP
+ * spec — we ship a reference implementation to prove it works.
+ */
+export interface PulseCostBudget {
+    /** Total tokens the agent is willing to receive. */
+    availableTokens: number;
+    /** Conservative fallback when caller doesn't supply the header. */
+    defaultBudget: number;
+    /** Words-per-token ratio (rough; 0.75 is the common rule of thumb). */
+    wordsPerToken: number;
+}
+export interface PulseCostResult {
+    /** The trimmed output. */
+    output: string;
+    /** Estimated token count of the output. */
+    usedTokens: number;
+    /** Original (untrimmed) token estimate. */
+    originalTokens: number;
+    /** Was the output trimmed? */
+    trimmed: boolean;
+    /** Response headers the caller should emit alongside the output. */
+    headers: Record<string, string>;
+}
+export interface PulseCostSpec {
+    /** Spec version. */
+    version: "0.1";
+    /** Human-readable spec body (markdown). */
+    body: string;
+    /** Header names. */
+    headers: {
+        requestAvailable: string;
+        responseUsed: string;
+        responseTrimmed: string;
+    };
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/pulsecost/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/pulsecost/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,MAAM,WAAW,eAAe;IAC9B,oDAAoD;IACpD,eAAe,EAAE,MAAM,CAAC;IACxB,mEAAmE;IACnE,aAAa,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,eAAe;IAC9B,0BAA0B;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,2CAA2C;IAC3C,cAAc,EAAE,MAAM,CAAC;IACvB,8BAA8B;IAC9B,OAAO,EAAE,OAAO,CAAC;IACjB,oEAAoE;IACpE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,OAAO,EAAE,KAAK,CAAC;IACf,2CAA2C;IAC3C,IAAI,EAAE,MAAM,CAAC;IACb,oBAAoB;IACpB,OAAO,EAAE;QACP,gBAAgB,EAAE,MAAM,CAAC;QACzB,YAAY,EAAE,MAAM,CAAC;QACrB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC;CACH"}

package/dist/pulsecost/types.js

@@ -0,0 +1,22 @@
+/**
+ * v2.33.0 — PULSECOST types.
+ *
+ * "Pulse Cost: Negotiated Context Budget Between AI Agents and Their
+ * Tools" (paper 5). MCP spec extension proposal:
+ *
+ *   Request header :  X-Context-Available-Tokens: <int>
+ *   Response header:  X-Context-Used-Tokens:      <int>
+ *   Response header:  X-Context-Trimmed:          true|false
+ *
+ * The tool agrees to fit its response within the available budget;
+ * the agent can budget intelligently across many tool calls per turn.
+ * Today every MCP server emits unbounded responses → agents waste
+ * context on duplicated capability dumps.
+ *
+ * v2.33.0 ships the local enforcement primitive + spec markdown +
+ * a `mneme.pulsecost.budget` MCP tool that demonstrates the protocol.
+ * The header convention is proposed (not yet ratified) in the MCP
+ * spec — we ship a reference implementation to prove it works.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/pulsecost/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/pulsecost/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG"}

package/dist/truth_gate/claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../src/truth_gate/claims.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,eAAO,MAAM,aAAa,EAAE,aAAa,CAAC,KAAK,CAiJ9C,CAAC"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../src/truth_gate/claims.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAExC,eAAO,MAAM,aAAa,EAAE,aAAa,CAAC,KAAK,CA8K9C,CAAC"}

package/dist/truth_gate/claims.js

@@ -167,5 +167,34 @@ export const CLAIM_CATALOG = [
         probeId: "probe.hgp.federation_default_off",
         severity: "block",
     },
+    // ── v2.32.0 FLYWHEEL claim ─────────────────────────────────────────
+    {
+        id: "claim.flywheel.health_known",
+        source: "v2.32.0 release notes",
+        text: "FLYWHEEL self-audit health is a known non-negative number on first install (or improves to ≥ 0 after first run)",
+        kind: "numeric",
+        asserted: { value: 0, op: ">=", unit: "score" },
+        probeId: "probe.flywheel.health",
+        severity: "info",
+    },
+    // ── v2.33.0 CITIZEN COURT + MNEMNET claims ────────────────────────
+    {
+        id: "claim.citizen_court.verdict_count_known",
+        source: "v2.33.0 release notes",
+        text: "CITIZEN COURT verdict ledger reports a non-negative count (zero on fresh install is honest)",
+        kind: "numeric",
+        asserted: { value: 0, op: ">=", unit: "verdicts" },
+        probeId: "probe.citizen_court.verdict_count",
+        severity: "info",
+    },
+    {
+        id: "claim.mnemnet.federation_default_off",
+        source: "v2.33.0 release notes",
+        text: "MNEMNET federation is opt-in / private-by-default (CONSENT FABRIC)",
+        kind: "numeric",
+        asserted: { value: 0, op: "=", unit: "boolean" },
+        probeId: "probe.mnemnet.federation_default_off",
+        severity: "block",
+    },
 ];
 //# sourceMappingURL=claims.js.map