mneme-ai 3.113.0 → 3.115.0

package/dist/commands/sdc.d.ts

@@ -0,0 +1,10 @@
+/**
+ * `mneme sdc` (v3.114.0) — Syndrome-Decoded Consensus: error-correct a multi-agent
+ * trust mesh. Detect + locate + recover poisoned/wrong attestations, or abstain.
+ *
+ *   echo '[{"fact":"x","attestations":[{"agent":"a","value":"T"},{"agent":"b","value":"T"},{"agent":"evil","value":"X"}]}]' | mneme sdc decode -
+ *   mneme sdc bench       # the signed A/B: SDC vs plain majority-vote
+ */
+import type { Command } from "commander";
+export declare function registerSdcCommands(program: Command): void;
+//# sourceMappingURL=sdc.d.ts.map

package/dist/commands/sdc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdc.d.ts","sourceRoot":"","sources":["../../src/commands/sdc.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAMzC,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAqD1D"}

package/dist/commands/sdc.js

@@ -0,0 +1,89 @@
+/**
+ * `mneme sdc` (v3.114.0) — Syndrome-Decoded Consensus: error-correct a multi-agent
+ * trust mesh. Detect + locate + recover poisoned/wrong attestations, or abstain.
+ *
+ *   echo '[{"fact":"x","attestations":[{"agent":"a","value":"T"},{"agent":"b","value":"T"},{"agent":"evil","value":"X"}]}]' | mneme sdc decode -
+ *   mneme sdc bench       # the signed A/B: SDC vs plain majority-vote
+ */
+import { readFileSync } from "node:fs";
+import { sdc, notary } from "@mneme-ai/core";
+function out(s) { process.stdout.write(s + "\n"); }
+export function registerSdcCommands(program) {
+    const s = program
+        .command("sdc")
+        .description("🧬 SDC — Syndrome-Decoded Consensus: treat a multi-agent trust mesh like a QEC codeword. Detects + LOCATES poisoned/wrong attestations from the syndrome, recovers the consensus truth while errors stay under tolerance, or returns UNRECOVERABLE (abstains, never guesses). Beats plain majority-vote when liars are dense per-fact but a minority across the mesh (measured). The error-correction layer for a fleet of AI agents.");
+    s.command("decode")
+        .description("decode a mesh of facts+attestations (JSON array, '-' for stdin) → per-fact verdict + located bad agents + earned reliability.")
+        .argument("[file]", "JSON file ('-' or omitted = stdin)")
+        .option("--json", "JSON output")
+        .action((file, opts) => {
+        let facts;
+        try {
+            const raw = !file || file === "-" ? readFileSync(0, "utf8") : readFileSync(file, "utf8");
+            facts = JSON.parse(raw);
+        }
+        catch {
+            out("✗ could not read/parse JSON (expected: [{fact, attestations:[{agent,value}]}])");
+            process.exitCode = 2;
+            return;
+        }
+        const m = sdc.decodeMesh(facts);
+        let receipt = null;
+        try {
+            receipt = notary.issueReceipt(process.cwd(), { kind: "claim-verdict", subject: `sdc:decode:${m.decoded.length}`, payload: { corrupted: m.corruptedAgents, facts: m.decoded.length }, includePayload: true });
+        }
+        catch { /* */ }
+        if (opts.json) {
+            out(JSON.stringify({ ...m, signed: receipt }, null, 2));
+            return;
+        }
+        out(`🧬 SDC — ${m.decoded.length} fact(s), ${m.iterations} decode iteration(s)`);
+        for (const d of m.decoded)
+            out(`   ${d.verdict === "UNRECOVERABLE" ? "🛑" : d.verdict === "CORRECTED" ? "🔧" : "✓"} ${d.fact}: ${d.verdict}${d.value !== null ? ` → ${d.value}` : ""}${d.dissenters.length ? `  (dissent: ${d.dissenters.join(",")})` : ""}`);
+        if (m.corruptedAgents.length)
+            out(`   ⚠ located bad agents: ${m.corruptedAgents.join(", ")}`);
+        out(`   reliability: ${Object.entries(m.reliability).map(([a, r]) => `${a}=${r}`).join(" · ")}`);
+    });
+    s.command("health")
+        .description("Memory Syndrome Health: catch a POISONED or DRIFTED memory cluster before an agent trusts it (the signed A/B — poison detection precision/recall).")
+        .option("--json", "JSON output")
+        .option("--seed <n>", "scenario seed", "7")
+        .action((opts) => {
+        const b = sdc.memHealthBench(parseInt(opts.seed ?? "7", 10) || 7);
+        let receipt = null;
+        try {
+            receipt = notary.issueReceipt(process.cwd(), { kind: "reasoning-trace", subject: `sdc.health:r${b.recall}p${b.precision}`, payload: { recall: b.recall, precision: b.precision }, includePayload: true });
+        }
+        catch { /* */ }
+        if (opts.json) {
+            out(JSON.stringify({ ...b, signed: receipt }, null, 2));
+            return;
+        }
+        out(`🔷 SDC Memory Health — ${b.trials} memories (${b.poisonInjected} poisoned injected):`);
+        out(`   poison detected:  ${b.detected}/${b.poisonInjected}  · recall ${(b.recall * 100).toFixed(0)}% · precision ${(b.precision * 100).toFixed(0)}% (${b.falseFlags} false flag)`);
+        out(`   model-drift caught: ${b.driftCaught ? "yes" : "no"} · clean cluster stays HEALTHY: ${b.cleanStaysHealthy ? "yes" : "no"}`);
+        out(`   ${receipt ? "✓ signed · " : ""}HONEST: localized outliers → POISONED (flagged); systemic shift → DRIFTED; detects vs a TRUSTED baseline parity commitment.`);
+    });
+    s.command("bench")
+        .description("the signed A/B: Syndrome-Decoded Consensus vs plain majority-vote on a labeled mesh (sustained-liar regime).")
+        .option("--json", "JSON output")
+        .option("--seed <n>", "scenario seed", "7")
+        .action((opts) => {
+        const b = sdc.sdcBench(parseInt(opts.seed ?? "7", 10) || 7);
+        let receipt = null;
+        try {
+            receipt = notary.issueReceipt(process.cwd(), { kind: "reasoning-trace", subject: `sdc.bench:${(b.sdcAcc * 100).toFixed(0)}vs${(b.majorityAcc * 100).toFixed(0)}`, payload: { sdcAcc: b.sdcAcc, majorityAcc: b.majorityAcc }, includePayload: true });
+        }
+        catch { /* */ }
+        if (opts.json) {
+            out(JSON.stringify({ ...b, signed: receipt }, null, 2));
+            return;
+        }
+        out(`🧬 SDC A/B — ${b.facts} labeled facts (sustained-liar regime):`);
+        out(`   plain majority-vote: ${b.majorityCorrect}/${b.facts} = ${(b.majorityAcc * 100).toFixed(0)}%`);
+        out(`   Syndrome-Decoded:    ${b.sdcCorrect}/${b.facts} = ${(b.sdcAcc * 100).toFixed(0)}%   (+${((b.sdcAcc - b.majorityAcc) * 100).toFixed(0)} pts)`);
+        out(`   byzantine located:   precision ${b.byzantinePrecision} · recall ${b.byzantineRecall}`);
+        out(`   ${receipt ? "✓ signed · " : ""}HONEST: corrects sustained liars who are a global minority; a colluding majority everywhere → UNRECOVERABLE (abstain, never guess).`);
+    });
+}
+//# sourceMappingURL=sdc.js.map

package/dist/commands/sdc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sdc.js","sourceRoot":"","sources":["../../src/commands/sdc.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAE7C,SAAS,GAAG,CAAC,CAAS,IAAU,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;AAEjE,MAAM,UAAU,mBAAmB,CAAC,OAAgB;IAClD,MAAM,CAAC,GAAG,OAAO;SACd,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CAAC,uaAAua,CAAC,CAAC;IAExb,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;SAChB,WAAW,CAAC,+HAA+H,CAAC;SAC5I,QAAQ,CAAC,QAAQ,EAAE,oCAAoC,CAAC;SACxD,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC;SAC/B,MAAM,CAAC,CAAC,IAAwB,EAAE,IAAwB,EAAE,EAAE;QAC7D,IAAI,KAAsB,CAAC;QAC3B,IAAI,CAAC;YAAC,MAAM,GAAG,GAAG,CAAC,IAAI,IAAI,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAAC,CAAC;QAC1H,MAAM,CAAC;YAAC,GAAG,CAAC,gFAAgF,CAAC,CAAC;YAAC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QAC9H,MAAM,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,OAAO,GAAY,IAAI,CAAC;QAC5B,IAAI,CAAC;YAAC,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,eAAe,EAAE,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACrO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACnF,GAAG,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,MAAM,aAAa,CAAC,CAAC,UAAU,sBAAsB,CAAC,CAAC;QACjF,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO;YAAE,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9P,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM;YAAE,GAAG,CAAC,4BAA4B,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9F,GAAG,CAAC,mBAAmB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC,CAAC,CAAC;IAEL,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;SAChB,WAAW,CAAC,oJAAoJ,CAAC;SACjK,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC;SAC/B,MAAM,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,CAAC;SAC1C,MAAM,CAAC,CAAC,IAAuC,EAAE,EAAE;QAClD,MAAM,CAAC,GAAG,GAAG,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,IAAI,OAAO,GAAY,IAAI,CAAC;QAC5B,IAAI,CAAC;YAAC,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QAClO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACnF,GAAG,CAAC,0BAA0B,CAAC,CAAC,MAAM,cAAc,CAAC,CAAC,cAAc,sBAAsB,CAAC,CAAC;QAC5F,GAAG,CAAC,wBAAwB,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,cAAc,cAAc,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,UAAU,cAAc,CAAC,CAAC;QACpL,GAAG,CAAC,0BAA0B,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,mCAAmC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACnI,GAAG,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,6HAA6H,CAAC,CAAC;IACvK,CAAC,CAAC,CAAC;IAEL,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;SACf,WAAW,CAAC,8GAA8G,CAAC;SAC3H,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC;SAC/B,MAAM,CAAC,YAAY,EAAE,eAAe,EAAE,GAAG,CAAC;SAC1C,MAAM,CAAC,CAAC,IAAuC,EAAE,EAAE;QAClD,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC5D,IAAI,OAAO,GAAY,IAAI,CAAC;QAC5B,IAAI,CAAC;YAAC,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7Q,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;YAAC,OAAO;QAAC,CAAC;QACnF,GAAG,CAAC,gBAAgB,CAAC,CAAC,KAAK,yCAAyC,CAAC,CAAC;QACtE,GAAG,CAAC,2BAA2B,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACtG,GAAG,CAAC,2BAA2B,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACtJ,GAAG,CAAC,qCAAqC,CAAC,CAAC,kBAAkB,aAAa,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QAC/F,GAAG,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,qIAAqI,CAAC,CAAC;IAC/K,CAAC,CAAC,CAAC;AACP,CAAC"}

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAqMA,wBAAsB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAwmNvD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAsMA,wBAAsB,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAymNvD"}

package/dist/index.js

@@ -128,6 +128,7 @@ import { registerMorphCommands } from "./commands/morph.js";
 import { registerMyceliumCommands } from "./commands/mycelium.js";
 import { registerSiegeCommands } from "./commands/siege.js";
 import { registerCanonCommands } from "./commands/canon.js";
+import { registerSdcCommands } from "./commands/sdc.js";
 import { registerMoatCommands } from "./commands/moat.js";
 import { attachRegretOracle } from "./commands/regret.js";
 import { registerTrustCommands } from "./commands/trust.js";
@@ -4813,6 +4814,7 @@ export async function run(argv) {
     registerMyceliumCommands(program);
     registerSiegeCommands(program);
     registerCanonCommands(program);
+    registerSdcCommands(program);
     registerMoatCommands(program);
     // ─── Trust calibrator (v1.31.0) -- per-subsystem precision/recall/band
     registerTrustCommands(program);