@mneme-ai/core 2.68.0 → 2.70.0

package/dist/protoplasm/super_quan/decoherence.js

@@ -0,0 +1,148 @@
+/**
+ * 💎 #1 — VERDICT DECOHERENCE TIME
+ *
+ * Every Mneme verdict carries a decoherence half-life because truth has
+ * shelf life. A "Node 22 is the latest LTS" verdict that was true on
+ * 2026-04-10 may be wrong by 2026-08-10. Most truth-systems are stateless
+ * + atemporal. This module fixes that.
+ *
+ * Algorithm:
+ *   1. Tokenize claim → identify entity types
+ *      (semver, name, date, code-symbol, file-path, count, math-fact, ...)
+ *   2. Each entity type has baseline decay τ
+ *   3. Composite half-life = harmonic mean of τ across detected entities
+ *   4. decoheresAt = now + halfLife
+ *
+ * Output: { halfLife, decoheresAt, rationale, entities }
+ *
+ * Consumers: AI agents that see verdict aged > halfLife → auto re-verify.
+ */
+/**
+ * Per-entity baseline decay. Tunable per project.
+ * Math constants never decay. Versions decay fast (every release cycle).
+ * Code symbols decay slowly (renames rare in stable APIs).
+ */
+const DECAY_TABLE = {
+    semver: 60, // ~release cadence
+    version_number: 60,
+    release_tag: 60,
+    date: 1, // already happened
+    datetime: 1,
+    weekday: 1,
+    month_year: 30,
+    code_symbol: 365, // rename is rare
+    function_name: 365,
+    file_path: 730, // rarely deleted
+    url: 180,
+    package_name: 365,
+    count: 30, // numbers shift quickly
+    percentage: 30,
+    currency_amount: 30,
+    person_name: 1825, // 5 years
+    company_name: 1825,
+    math_constant: Number.POSITIVE_INFINITY,
+    physical_constant: Number.POSITIVE_INFINITY,
+    natural_language: 1095, // 3 years
+};
+// Regex patterns — extendable. Order matters (more-specific first).
+const PATTERNS = [
+    { kind: "math_constant", re: /(?:π|∞|\bpi\b|\bphi\b|\binfinity\b)/gi },
+    { kind: "semver", re: /\bv?\d+\.\d+\.\d+(?:-[A-Za-z0-9.-]+)?\b/g },
+    { kind: "release_tag", re: /\bv\d+(?:\.\d+)*\b/g }, // "v22" / "v22.0" / "v22.0.1"
+    { kind: "version_number", re: /\b[A-Z][a-zA-Z]*\s+v?\d+(?:\.\d+)?\b/g }, // "Node v22" / "Node 22" / "React 19"
+    { kind: "datetime", re: /\b\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}/g },
+    { kind: "date", re: /\b\d{4}-\d{2}-\d{2}\b/g },
+    { kind: "month_year", re: /\b(?:Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)\s+\d{4}\b/g },
+    { kind: "weekday", re: /\b(?:Mon|Tue|Wed|Thu|Fri|Sat|Sun)(?:day)?\b/gi },
+    { kind: "url", re: /\bhttps?:\/\/[^\s)]+/g },
+    { kind: "file_path", re: /\b(?:[A-Za-z]:\\|\.\/)?[\w./-]+\.(?:ts|js|tsx|jsx|md|json|py|go|rs|java|cpp|c|h)\b/g },
+    { kind: "code_symbol", re: /\b[a-z][a-zA-Z]*[A-Z][a-zA-Z0-9_]+\b/g }, // camelCase
+    { kind: "function_name", re: /\b[a-zA-Z_][\w]*\(\s*\)/g }, // foo()
+    { kind: "package_name", re: /\b@?[a-z][a-z0-9-]+\/[a-z][a-z0-9-]+\b/g }, // @scope/name
+    { kind: "currency_amount", re: /(?:\$|฿|€|£)\s?\d+(?:[.,]\d+)?(?:\s?[KMBkmb])?/g },
+    { kind: "percentage", re: /\b\d+(?:\.\d+)?\s?%/g },
+    { kind: "count", re: /\b\d{3,}\b/g }, // bare numbers ≥100 (avoid noisy decimals)
+];
+function humanize(days) {
+    if (!Number.isFinite(days))
+        return "∞";
+    if (days < 1)
+        return `${Math.round(days * 24)} hours`;
+    if (days < 30)
+        return `${Math.round(days)} days`;
+    if (days < 365)
+        return `${(days / 30).toFixed(1)} months`;
+    return `${(days / 365).toFixed(1)} years`;
+}
+function harmonicMean(values) {
+    if (values.length === 0)
+        return Number.POSITIVE_INFINITY;
+    if (values.some((v) => v === 0))
+        return 0;
+    if (values.every((v) => !Number.isFinite(v)))
+        return Number.POSITIVE_INFINITY;
+    const finite = values.filter((v) => Number.isFinite(v));
+    if (finite.length === 0)
+        return Number.POSITIVE_INFINITY;
+    const sumRecip = finite.reduce((a, b) => a + 1 / b, 0);
+    return finite.length / sumRecip;
+}
+export function detectEntities(claim) {
+    const found = [];
+    for (const { kind, re } of PATTERNS) {
+        const matches = claim.match(re);
+        if (!matches)
+            continue;
+        for (const m of matches) {
+            // Avoid double-counting overlapping kinds
+            if (found.some((f) => f.text === m))
+                continue;
+            found.push({ kind, text: m, halfLifeDays: DECAY_TABLE[kind] });
+        }
+    }
+    return found;
+}
+export function computeDecoherence(claim, opts = {}) {
+    const now = opts.now ?? new Date();
+    const entities = detectEntities(claim);
+    // Policy: if claim has math_constant AND no fast-decay entity (semver/date/
+    // version/release/count/percentage), treat as timeless. Otherwise harmonic
+    // mean over all detected entities.
+    const FAST_KINDS = new Set(["semver", "release_tag", "version_number", "date", "datetime", "month_year", "weekday", "count", "percentage", "currency_amount"]);
+    const hasMath = entities.some((e) => e.kind === "math_constant" || e.kind === "physical_constant");
+    const hasFast = entities.some((e) => FAST_KINDS.has(e.kind));
+    let halfLives;
+    if (hasMath && !hasFast) {
+        halfLives = [Number.POSITIVE_INFINITY];
+    }
+    else if (entities.length > 0) {
+        halfLives = entities.map((e) => e.halfLifeDays);
+    }
+    else {
+        // No entities → natural-language fallback (3-year half-life)
+        halfLives = [DECAY_TABLE.natural_language];
+    }
+    const halfLifeDays = harmonicMean(halfLives);
+    const decoheresAt = Number.isFinite(halfLifeDays)
+        ? new Date(now.getTime() + halfLifeDays * 86400_000).toISOString()
+        : "9999-12-31T00:00:00.000Z"; // effectively never
+    const dominantKinds = [...new Set(entities.map((e) => e.kind))].slice(0, 3).join(", ") || "no specific entities";
+    const rationale = `harmonic mean over ${entities.length} entit${entities.length === 1 ? "y" : "ies"} (${dominantKinds}) → τ = ${humanize(halfLifeDays)}`;
+    return {
+        halfLifeDays,
+        halfLifeHuman: humanize(halfLifeDays),
+        decoheresAt,
+        rationale,
+        entities,
+    };
+}
+/** Convenience: is a verdict still fresh given its issue time? */
+export function isVerdictFresh(claim, issuedAt, now = new Date()) {
+    const ageMs = now.getTime() - new Date(issuedAt).getTime();
+    const ageHours = ageMs / 3_600_000;
+    const dec = computeDecoherence(claim, { now });
+    const halfLifeHours = dec.halfLifeDays * 24;
+    const ratio = halfLifeHours > 0 && Number.isFinite(halfLifeHours) ? ageHours / halfLifeHours : 0;
+    return { fresh: ratio < 1, ageHours, halfLifeHours, ratio };
+}
+//# sourceMappingURL=decoherence.js.map

package/dist/protoplasm/super_quan/decoherence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"decoherence.js","sourceRoot":"","sources":["../../../src/protoplasm/super_quan/decoherence.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AA0BH;;;;GAIG;AACH,MAAM,WAAW,GAA+B;IAC9C,MAAM,EAAE,EAAE,EAAsB,mBAAmB;IACnD,cAAc,EAAE,EAAE;IAClB,WAAW,EAAE,EAAE;IACf,IAAI,EAAE,CAAC,EAAyB,mBAAmB;IACnD,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC;IACV,UAAU,EAAE,EAAE;IACd,WAAW,EAAE,GAAG,EAAgB,iBAAiB;IACjD,aAAa,EAAE,GAAG;IAClB,SAAS,EAAE,GAAG,EAAkB,iBAAiB;IACjD,GAAG,EAAE,GAAG;IACR,YAAY,EAAE,GAAG;IACjB,KAAK,EAAE,EAAE,EAAuB,wBAAwB;IACxD,UAAU,EAAE,EAAE;IACd,eAAe,EAAE,EAAE;IACnB,WAAW,EAAE,IAAI,EAAe,UAAU;IAC1C,YAAY,EAAE,IAAI;IAClB,aAAa,EAAE,MAAM,CAAC,iBAAiB;IACvC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;IAC3C,gBAAgB,EAAE,IAAI,EAAU,UAAU;CAC3C,CAAC;AAEF,oEAAoE;AACpE,MAAM,QAAQ,GAA4C;IACxD,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,uCAAuC,EAAE;IACtE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,0CAA0C,EAAE;IAClE,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,qBAAqB,EAAE,EAAwB,8BAA8B;IACxG,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,uCAAuC,EAAE,EAAG,sCAAsC;IAChH,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,wCAAwC,EAAE;IAClE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,wBAAwB,EAAE;IAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,kEAAkE,EAAE;IAC9F,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,+CAA+C,EAAE;IACxE,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,uBAAuB,EAAE;IAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,qFAAqF,EAAE;IAChH,EAAE,IAAI,EAAE,aAAa,EAAE,EAAE,EAAE,uCAAuC,EAAE,EAAI,YAAY;IACpF,EAAE,IAAI,EAAE,eAAe,EAAE,EAAE,EAAE,0BAA0B,EAAE,EAAe,QAAQ;IAChF,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,yCAAyC,EAAE,EAAE,cAAc;IACvF,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,iDAAiD,EAAE;IAClF,EAAE,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,sBAAsB,EAAE;IAClD,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,EAAoC,2CAA2C;CACpH,CAAC;AAEF,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC;IACvC,IAAI,IAAI,GAAG,CAAC;QAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC;IACtD,IAAI,IAAI,GAAG,EAAE;QAAE,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;IACjD,IAAI,IAAI,GAAG,GAAG;QAAE,OAAO,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1D,OAAO,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC5C,CAAC;AAED,SAAS,YAAY,CAAC,MAAgB;IACpC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;IACzD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;IAC9E,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,iBAAiB,CAAC;IACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvD,OAAO,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,QAAQ,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,0CAA0C;YAC1C,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC;gBAAE,SAAS;YAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,YAAY,EAAE,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,OAAuB,EAAE;IACzE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAEvC,4EAA4E;IAC5E,2EAA2E;IAC3E,mCAAmC;IACnC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAa,CAAC,QAAQ,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC3K,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC;IACnG,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE7D,IAAI,SAAmB,CAAC;IACxB,IAAI,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QACxB,SAAS,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACzC,CAAC;SAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,6DAA6D;QAC7D,SAAS,GAAG,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,YAAY,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;QAC/C,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,YAAY,GAAG,SAAS,CAAC,CAAC,WAAW,EAAE;QAClE,CAAC,CAAC,0BAA0B,CAAC,CAAG,oBAAoB;IAEtD,MAAM,aAAa,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC;IACjH,MAAM,SAAS,GAAG,sBAAsB,QAAQ,CAAC,MAAM,SAAS,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,KAAK,aAAa,WAAW,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;IAEzJ,OAAO;QACL,YAAY;QACZ,aAAa,EAAE,QAAQ,CAAC,YAAY,CAAC;QACrC,WAAW;QACX,SAAS;QACT,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,cAAc,CAAC,KAAa,EAAE,QAAgB,EAAE,GAAG,GAAG,IAAI,IAAI,EAAE;IAC9E,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,MAAM,QAAQ,GAAG,KAAK,GAAG,SAAS,CAAC;IACnC,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;IAC/C,MAAM,aAAa,GAAG,GAAG,CAAC,YAAY,GAAG,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,aAAa,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IACjG,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;AAC9D,CAAC"}

package/dist/protoplasm/super_quan/index.d.ts

@@ -0,0 +1,20 @@
+/**
+ * 💎 SUPER QUAN — public surface
+ *
+ * 4 research-grade primitives that close the temporal / negative-knowledge /
+ * eval-awareness / recursive-self-verify gaps in current AI truth systems.
+ *
+ * - DECOHERENCE — every verdict has a half-life (truth has shelf life)
+ * - NEGSPACE   — RAG over known lies (HMAC-chained negative knowledge)
+ * - CHSH WITNESS — structural detector of eval-aware bluff (paper-grade)
+ * - STRS        — self-test reproducibility score (recursive verify)
+ */
+export { computeDecoherence, detectEntities, isVerdictFresh, } from "./decoherence.js";
+export type { DecoherenceVerdict, DetectedEntity, EntityKind, } from "./decoherence.js";
+export { Negspace } from "./negspace.js";
+export type { AuditRow, NegspaceMatch, NegspaceLookupResult } from "./negspace.js";
+export { computeChshWitness, defaultScoreExtractor, instantiateProbes, probeSeed, CANONICAL_PROBES, } from "./chsh_witness.js";
+export type { ProbeKind, ProbeQuestion, ProbeResponse, ChshWitnessVerdict, ChshInput, } from "./chsh_witness.js";
+export { runStrs, strsBadgeUrl, STRS_PROBE_SET_V1 } from "./strs.js";
+export type { StrsProbe, StrsRunResult, StrsReport, StrsRunOptions, VerifyFn } from "./strs.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/protoplasm/super_quan/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/protoplasm/super_quan/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAGH,OAAO,EACL,kBAAkB,EAAE,cAAc,EAAE,cAAc,GACnD,MAAM,kBAAkB,CAAC;AAC1B,YAAY,EACV,kBAAkB,EAAE,cAAc,EAAE,UAAU,GAC/C,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,YAAY,EAAE,QAAQ,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAGnF,OAAO,EACL,kBAAkB,EAAE,qBAAqB,EAAE,iBAAiB,EAC5D,SAAS,EAAE,gBAAgB,GAC5B,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EACV,SAAS,EAAE,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,SAAS,GACvE,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AACrE,YAAY,EAAE,SAAS,EAAE,aAAa,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC"}

package/dist/protoplasm/super_quan/index.js

@@ -0,0 +1,20 @@
+/**
+ * 💎 SUPER QUAN — public surface
+ *
+ * 4 research-grade primitives that close the temporal / negative-knowledge /
+ * eval-awareness / recursive-self-verify gaps in current AI truth systems.
+ *
+ * - DECOHERENCE — every verdict has a half-life (truth has shelf life)
+ * - NEGSPACE   — RAG over known lies (HMAC-chained negative knowledge)
+ * - CHSH WITNESS — structural detector of eval-aware bluff (paper-grade)
+ * - STRS        — self-test reproducibility score (recursive verify)
+ */
+// 1. DECOHERENCE
+export { computeDecoherence, detectEntities, isVerdictFresh, } from "./decoherence.js";
+// 2. NEGSPACE
+export { Negspace } from "./negspace.js";
+// 3. CHSH WITNESS (the big one)
+export { computeChshWitness, defaultScoreExtractor, instantiateProbes, probeSeed, CANONICAL_PROBES, } from "./chsh_witness.js";
+// 4. STRS
+export { runStrs, strsBadgeUrl, STRS_PROBE_SET_V1 } from "./strs.js";
+//# sourceMappingURL=index.js.map

package/dist/protoplasm/super_quan/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/protoplasm/super_quan/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,iBAAiB;AACjB,OAAO,EACL,kBAAkB,EAAE,cAAc,EAAE,cAAc,GACnD,MAAM,kBAAkB,CAAC;AAK1B,cAAc;AACd,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAGzC,gCAAgC;AAChC,OAAO,EACL,kBAAkB,EAAE,qBAAqB,EAAE,iBAAiB,EAC5D,SAAS,EAAE,gBAAgB,GAC5B,MAAM,mBAAmB,CAAC;AAK3B,UAAU;AACV,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC"}

package/dist/protoplasm/super_quan/negspace.d.ts

@@ -0,0 +1,79 @@
+/**
+ * 💎 #2 — NEGSPACE: HMAC Audit as Negative Knowledge Graph
+ *
+ * Every IMPOSSIBLE / REFUTED verdict that Mneme ever emitted is HMAC-chained
+ * into an audit log. Today it sits as raw log. This module re-indexes that
+ * log into a *negative* knowledge graph — RAG over things known to be false.
+ *
+ * Standard RAG indexes positive facts (Wikipedia, docs, code).
+ * NEGSPACE indexes negative facts: "X is known false; here's why; here's the
+ * audit signature." Useful for AI safety: agents should know what NOT to
+ * claim, with cryptographic evidence.
+ *
+ * API:
+ *   const ng = new Negspace(auditPath, hmacKey);
+ *   ng.index();                              // build in-memory index
+ *   ng.lookup("useFormStatus accepts reset prop")
+ *     → { previouslyRefuted: true,
+ *         evidence: "HMAC sig 3a4f...; refuted 2026-04-12",
+ *         similarRefuted: [{claim, similarity}] }
+ *
+ * Similarity: bigram Jaccard. No external embeddings dependency.
+ * (Embeddings adapter pluggable — see protoplasm/embeddings_adapter.)
+ */
+export interface AuditRow {
+    ts: string;
+    claim: string;
+    verdict: "REFUTED" | "IMPOSSIBLE" | "TRUSTWORTHY" | "UNKNOWN" | string;
+    evidence?: string;
+    hmac?: string;
+    vendor?: string;
+}
+export interface NegspaceMatch {
+    claim: string;
+    similarity: number;
+    ts: string;
+    evidence?: string;
+    hmac?: string;
+}
+export interface NegspaceLookupResult {
+    query: string;
+    previouslyRefuted: boolean;
+    exactEvidence?: string;
+    exactHmac?: string;
+    exactTs?: string;
+    similarRefuted: NegspaceMatch[];
+    totalKnownLies: number;
+    lookupHmac: string;
+}
+export declare class Negspace {
+    private auditPath;
+    private hmacKey;
+    private rows;
+    private indexed;
+    constructor(auditPath: string, hmacKey: string);
+    /** Build / refresh in-memory index from audit JSONL. Idempotent. */
+    index(): {
+        totalRows: number;
+        refutedOrImpossible: number;
+    };
+    private knownLies;
+    /** Lookup a claim. Returns exact match if any + nearest semantic-Jaccard neighbours. */
+    lookup(claim: string, opts?: {
+        threshold?: number;
+        topK?: number;
+    }): NegspaceLookupResult;
+    /** Append a new refuted claim to the audit log + refresh index. */
+    appendRefuted(row: Omit<AuditRow, "hmac"> & {
+        hmac?: string;
+    }): AuditRow;
+    /** Stats for dashboard. */
+    stats(): {
+        totalRows: number;
+        refuted: number;
+        impossible: number;
+        trustworthy: number;
+        unknown: number;
+    };
+}
+//# sourceMappingURL=negspace.d.ts.map

package/dist/protoplasm/super_quan/negspace.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"negspace.d.ts","sourceRoot":"","sources":["../../../src/protoplasm/super_quan/negspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAKH,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,SAAS,GAAG,YAAY,GAAG,aAAa,GAAG,SAAS,GAAG,MAAM,CAAC;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,EAAE,EAAE,MAAM,CAAC;IACX,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,iBAAiB,EAAE,OAAO,CAAC;IAC3B,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;CACpB;AAmBD,qBAAa,QAAQ;IAIP,OAAO,CAAC,SAAS;IAAU,OAAO,CAAC,OAAO;IAHtD,OAAO,CAAC,IAAI,CAAkB;IAC9B,OAAO,CAAC,OAAO,CAAS;gBAEJ,SAAS,EAAE,MAAM,EAAU,OAAO,EAAE,MAAM;IAE9D,oEAAoE;IACpE,KAAK,IAAI;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,mBAAmB,EAAE,MAAM,CAAA;KAAE;IAc3D,OAAO,CAAC,SAAS;IAIjB,wFAAwF;IACxF,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,GAAE;QAAE,SAAS,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAO,GAAG,oBAAoB;IAuC7F,mEAAmE;IACnE,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,GAAG;QAAE,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,QAAQ;IAYxE,2BAA2B;IAC3B,KAAK,IAAI;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE;CAQ1G"}

package/dist/protoplasm/super_quan/negspace.js

@@ -0,0 +1,134 @@
+/**
+ * 💎 #2 — NEGSPACE: HMAC Audit as Negative Knowledge Graph
+ *
+ * Every IMPOSSIBLE / REFUTED verdict that Mneme ever emitted is HMAC-chained
+ * into an audit log. Today it sits as raw log. This module re-indexes that
+ * log into a *negative* knowledge graph — RAG over things known to be false.
+ *
+ * Standard RAG indexes positive facts (Wikipedia, docs, code).
+ * NEGSPACE indexes negative facts: "X is known false; here's why; here's the
+ * audit signature." Useful for AI safety: agents should know what NOT to
+ * claim, with cryptographic evidence.
+ *
+ * API:
+ *   const ng = new Negspace(auditPath, hmacKey);
+ *   ng.index();                              // build in-memory index
+ *   ng.lookup("useFormStatus accepts reset prop")
+ *     → { previouslyRefuted: true,
+ *         evidence: "HMAC sig 3a4f...; refuted 2026-04-12",
+ *         similarRefuted: [{claim, similarity}] }
+ *
+ * Similarity: bigram Jaccard. No external embeddings dependency.
+ * (Embeddings adapter pluggable — see protoplasm/embeddings_adapter.)
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { createHmac } from "node:crypto";
+function bigrams(s) {
+    const normalized = s.toLowerCase().replace(/[^\p{L}\p{N}\s]/gu, " ").replace(/\s+/g, " ").trim();
+    const out = new Set();
+    for (let i = 0; i < normalized.length - 1; i++) {
+        out.add(normalized.slice(i, i + 2));
+    }
+    return out;
+}
+function jaccard(a, b) {
+    if (a.size === 0 && b.size === 0)
+        return 1;
+    let inter = 0;
+    for (const x of a)
+        if (b.has(x))
+            inter++;
+    const union = a.size + b.size - inter;
+    return union === 0 ? 0 : inter / union;
+}
+export class Negspace {
+    auditPath;
+    hmacKey;
+    rows = [];
+    indexed = false;
+    constructor(auditPath, hmacKey) {
+        this.auditPath = auditPath;
+        this.hmacKey = hmacKey;
+    }
+    /** Build / refresh in-memory index from audit JSONL. Idempotent. */
+    index() {
+        this.rows = [];
+        if (!existsSync(this.auditPath)) {
+            this.indexed = true;
+            return { totalRows: 0, refutedOrImpossible: 0 };
+        }
+        const lines = readFileSync(this.auditPath, "utf8").trim().split("\n").filter(Boolean);
+        for (const line of lines) {
+            try {
+                const row = JSON.parse(line);
+                if (typeof row.claim === "string" && typeof row.verdict === "string")
+                    this.rows.push(row);
+            }
+            catch { /* skip malformed */ }
+        }
+        this.indexed = true;
+        return { totalRows: this.rows.length, refutedOrImpossible: this.knownLies().length };
+    }
+    knownLies() {
+        return this.rows.filter((r) => r.verdict === "REFUTED" || r.verdict === "IMPOSSIBLE");
+    }
+    /** Lookup a claim. Returns exact match if any + nearest semantic-Jaccard neighbours. */
+    lookup(claim, opts = {}) {
+        if (!this.indexed)
+            this.index();
+        const threshold = opts.threshold ?? 0.5;
+        const topK = opts.topK ?? 5;
+        const queryBigrams = bigrams(claim);
+        const lies = this.knownLies();
+        const scored = lies.map((r) => ({ row: r, score: jaccard(queryBigrams, bigrams(r.claim)) }));
+        scored.sort((a, b) => b.score - a.score);
+        const exact = scored.find((s) => s.row.claim.trim().toLowerCase() === claim.trim().toLowerCase());
+        const similarRefuted = scored
+            .filter((s) => s.row !== exact?.row && s.score >= threshold)
+            .slice(0, topK)
+            .map((s) => ({
+            claim: s.row.claim,
+            similarity: Number(s.score.toFixed(3)),
+            ts: s.row.ts,
+            evidence: s.row.evidence,
+            hmac: s.row.hmac,
+        }));
+        const lookupHmac = createHmac("sha256", this.hmacKey)
+            .update(claim + "::" + (exact?.row.hmac ?? "") + "::" + similarRefuted.map((m) => m.hmac ?? "").join("|"))
+            .digest("hex").slice(0, 16);
+        return {
+            query: claim,
+            previouslyRefuted: Boolean(exact),
+            exactEvidence: exact?.row.evidence,
+            exactHmac: exact?.row.hmac,
+            exactTs: exact?.row.ts,
+            similarRefuted,
+            totalKnownLies: lies.length,
+            lookupHmac,
+        };
+    }
+    /** Append a new refuted claim to the audit log + refresh index. */
+    appendRefuted(row) {
+        const hmac = row.hmac ?? createHmac("sha256", this.hmacKey).update(JSON.stringify({ ts: row.ts, claim: row.claim, verdict: row.verdict })).digest("hex").slice(0, 16);
+        const full = { ...row, hmac };
+        // best-effort append; caller may use a different writer in production
+        try {
+            const fs = require("node:fs");
+            fs.appendFileSync(this.auditPath, JSON.stringify(full) + "\n");
+        }
+        catch { /* */ }
+        this.rows.push(full);
+        return full;
+    }
+    /** Stats for dashboard. */
+    stats() {
+        if (!this.indexed)
+            this.index();
+        const refuted = this.rows.filter((r) => r.verdict === "REFUTED").length;
+        const impossible = this.rows.filter((r) => r.verdict === "IMPOSSIBLE").length;
+        const trustworthy = this.rows.filter((r) => r.verdict === "TRUSTWORTHY").length;
+        const unknown = this.rows.filter((r) => r.verdict === "UNKNOWN").length;
+        return { totalRows: this.rows.length, refuted, impossible, trustworthy, unknown };
+    }
+}
+//# sourceMappingURL=negspace.js.map

package/dist/protoplasm/super_quan/negspace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"negspace.js","sourceRoot":"","sources":["../../../src/protoplasm/super_quan/negspace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA8BzC,SAAS,OAAO,CAAC,CAAS;IACxB,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACjG,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,OAAO,CAAC,CAAc,EAAE,CAAc;IAC7C,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC;IACtC,OAAO,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;AACzC,CAAC;AAED,MAAM,OAAO,QAAQ;IAIC;IAA2B;IAHvC,IAAI,GAAe,EAAE,CAAC;IACtB,OAAO,GAAG,KAAK,CAAC;IAExB,YAAoB,SAAiB,EAAU,OAAe;QAA1C,cAAS,GAAT,SAAS,CAAQ;QAAU,YAAO,GAAP,OAAO,CAAQ;IAAG,CAAC;IAElE,oEAAoE;IACpE,KAAK;QACH,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;QACf,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAAC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;YAAC,OAAO,EAAE,SAAS,EAAE,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,CAAC;QAAC,CAAC;QAC1G,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACtF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;gBACzC,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;oBAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5F,CAAC;YAAC,MAAM,CAAC,CAAC,oBAAoB,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,mBAAmB,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,EAAE,CAAC;IACvF,CAAC;IAEO,SAAS;QACf,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC;IACxF,CAAC;IAED,wFAAwF;IACxF,MAAM,CAAC,KAAa,EAAE,OAA8C,EAAE;QACpE,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,GAAG,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;QAE5B,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;QAEzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAClG,MAAM,cAAc,GAAoB,MAAM;aAC3C,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,EAAE,GAAG,IAAI,CAAC,CAAC,KAAK,IAAI,SAAS,CAAC;aAC3D,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC;aACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACX,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK;YAClB,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YACtC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE;YACZ,QAAQ,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ;YACxB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI;SACjB,CAAC,CAAC,CAAC;QAEN,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC;aAClD,MAAM,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aACzG,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAE9B,OAAO;YACL,KAAK,EAAE,KAAK;YACZ,iBAAiB,EAAE,OAAO,CAAC,KAAK,CAAC;YACjC,aAAa,EAAE,KAAK,EAAE,GAAG,CAAC,QAAQ;YAClC,SAAS,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI;YAC1B,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE;YACtB,cAAc;YACd,cAAc,EAAE,IAAI,CAAC,MAAM;YAC3B,UAAU;SACX,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,aAAa,CAAC,GAA+C;QAC3D,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACtK,MAAM,IAAI,GAAa,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC;QACxC,sEAAsE;QACtE,IAAI,CAAC;YACH,MAAM,EAAE,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;YAC9B,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;QACjB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2BAA2B;IAC3B,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;QACxE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;QAC9E,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,aAAa,CAAC,CAAC,MAAM,CAAC;QAChF,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;QACxE,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;IACpF,CAAC;CACF"}

package/dist/protoplasm/super_quan/strs.d.ts

@@ -0,0 +1,65 @@
+/**
+ * 💎 #4 — Self-Test Reproducibility Score (STRS)
+ *
+ * Every Mneme release runs its own self-test, generated by Mneme, verified
+ * by Mneme. Recursive truth: the verifier verifies itself.
+ *
+ *   1. Generate N test probes (mix of clearly-true / clearly-false / unknown)
+ *   2. Run each probe through Mneme's verify primitive 3 times
+ *   3. Score = % probes whose verdicts are consistent across all 3 runs
+ *   4. Output STRS 0-100 + badge text for README
+ *
+ * STRS catches:
+ *   - non-determinism bugs in verify pipeline
+ *   - vaccine cache flapping
+ *   - probe seed leakage
+ *   - flaky retirement oracle composition
+ *
+ * Probe generation is curated (NOT random) so STRS is comparable across
+ * releases. Probe set is HMAC-signed for tamper detection.
+ */
+export interface StrsProbe {
+    id: string;
+    text: string;
+    expectedVerdict: "TRUSTWORTHY" | "REFUTED" | "IMPOSSIBLE" | "UNKNOWN" | "any";
+    category: "tautology" | "contradiction" | "absolute" | "factual" | "hedged" | "self_referential";
+}
+export interface StrsRunResult {
+    probeId: string;
+    runs: string[];
+    consistent: boolean;
+    matchedExpected: boolean;
+}
+export interface StrsReport {
+    score: number;
+    totalProbes: number;
+    consistentProbes: number;
+    matchExpectedProbes: number;
+    perCategory: Record<string, {
+        total: number;
+        consistent: number;
+        matchExpected: number;
+    }>;
+    results: StrsRunResult[];
+    badge: string;
+    ranAt: string;
+    hmac: string;
+}
+/** Curated canonical probe set — version-pinned so STRS comparable across releases. */
+export declare const STRS_PROBE_SET_V1: StrsProbe[];
+/** Pluggable verifier — caller wires `mneme verify` or any equivalent. */
+export type VerifyFn = (claim: string) => Promise<{
+    verdict: string;
+} | {
+    verdict: string;
+}>;
+export interface StrsRunOptions {
+    hmacKey: string;
+    probes?: StrsProbe[];
+    runs?: number;
+    parallel?: boolean;
+}
+export declare function runStrs(verify: VerifyFn, opts: StrsRunOptions): Promise<StrsReport>;
+/** Render STRS report as a README badge URL (shields.io style). */
+export declare function strsBadgeUrl(report: StrsReport): string;
+//# sourceMappingURL=strs.d.ts.map

package/dist/protoplasm/super_quan/strs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"strs.d.ts","sourceRoot":"","sources":["../../../src/protoplasm/super_quan/strs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,aAAa,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,GAAG,KAAK,CAAC;IAC9E,QAAQ,EAAE,WAAW,GAAG,eAAe,GAAG,UAAU,GAAG,SAAS,GAAG,QAAQ,GAAG,kBAAkB,CAAC;CAClG;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,UAAU,EAAE,OAAO,CAAC;IACpB,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC1F,OAAO,EAAE,aAAa,EAAE,CAAC;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;CACd;AAED,uFAAuF;AACvF,eAAO,MAAM,iBAAiB,EAAE,SAAS,EAoBxC,CAAC;AAEF,0EAA0E;AAC1E,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAE7F,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC;IACrB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED,wBAAsB,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,CAmDzF;AAED,mEAAmE;AACnE,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAGvD"}

package/dist/protoplasm/super_quan/strs.js

@@ -0,0 +1,95 @@
+/**
+ * 💎 #4 — Self-Test Reproducibility Score (STRS)
+ *
+ * Every Mneme release runs its own self-test, generated by Mneme, verified
+ * by Mneme. Recursive truth: the verifier verifies itself.
+ *
+ *   1. Generate N test probes (mix of clearly-true / clearly-false / unknown)
+ *   2. Run each probe through Mneme's verify primitive 3 times
+ *   3. Score = % probes whose verdicts are consistent across all 3 runs
+ *   4. Output STRS 0-100 + badge text for README
+ *
+ * STRS catches:
+ *   - non-determinism bugs in verify pipeline
+ *   - vaccine cache flapping
+ *   - probe seed leakage
+ *   - flaky retirement oracle composition
+ *
+ * Probe generation is curated (NOT random) so STRS is comparable across
+ * releases. Probe set is HMAC-signed for tamper detection.
+ */
+import { createHmac } from "node:crypto";
+/** Curated canonical probe set — version-pinned so STRS comparable across releases. */
+export const STRS_PROBE_SET_V1 = [
+    // tautologies — should always be TRUSTWORTHY
+    { id: "t1", text: "A is A.", expectedVerdict: "any", category: "tautology" },
+    { id: "t2", text: "1 + 1 = 2.", expectedVerdict: "any", category: "tautology" },
+    // contradictions — should be REFUTED or IMPOSSIBLE
+    { id: "c1", text: "A is A and A is not A.", expectedVerdict: "any", category: "contradiction" },
+    { id: "c2", text: "This statement is false.", expectedVerdict: "any", category: "self_referential" },
+    // absolutes — verdict should be stable across runs (consistency more important than value)
+    { id: "a1", text: "Mneme cures all diseases.", expectedVerdict: "any", category: "absolute" },
+    { id: "a2", text: "All software is bug-free.", expectedVerdict: "any", category: "absolute" },
+    // factual — version-specific (Mneme should ground in repo)
+    { id: "f1", text: "Mneme is a CLI tool.", expectedVerdict: "any", category: "factual" },
+    { id: "f2", text: "Mneme has at least 100 MCP tools.", expectedVerdict: "any", category: "factual" },
+    // hedged — opinion / unverifiable
+    { id: "h1", text: "Mneme could be useful for code review.", expectedVerdict: "any", category: "hedged" },
+    { id: "h2", text: "Local-first AI is generally preferred for privacy.", expectedVerdict: "any", category: "hedged" },
+];
+export async function runStrs(verify, opts) {
+    const probes = opts.probes ?? STRS_PROBE_SET_V1;
+    const runs = opts.runs ?? 3;
+    const results = [];
+    for (const p of probes) {
+        const verdicts = [];
+        if (opts.parallel) {
+            const arr = await Promise.all(Array.from({ length: runs }, () => verify(p.text)));
+            verdicts.push(...arr.map((r) => r.verdict));
+        }
+        else {
+            for (let i = 0; i < runs; i++) {
+                const r = await verify(p.text);
+                verdicts.push(r.verdict);
+            }
+        }
+        const consistent = verdicts.every((v) => v === verdicts[0]);
+        const matchedExpected = p.expectedVerdict === "any" || verdicts.every((v) => v === p.expectedVerdict);
+        results.push({ probeId: p.id, runs: verdicts, consistent, matchedExpected });
+    }
+    const consistentProbes = results.filter((r) => r.consistent).length;
+    const matchExpectedProbes = results.filter((r) => r.matchedExpected).length;
+    const score = Math.round((consistentProbes / probes.length) * 100);
+    const perCategory = {};
+    for (const p of probes) {
+        if (!perCategory[p.category])
+            perCategory[p.category] = { total: 0, consistent: 0, matchExpected: 0 };
+        perCategory[p.category].total++;
+        const result = results.find((r) => r.probeId === p.id);
+        if (result.consistent)
+            perCategory[p.category].consistent++;
+        if (result.matchedExpected)
+            perCategory[p.category].matchExpected++;
+    }
+    const ranAt = new Date().toISOString();
+    const hmacBody = { score, ranAt, probeIds: probes.map((p) => p.id), runs };
+    const hmac = createHmac("sha256", opts.hmacKey).update(JSON.stringify(hmacBody)).digest("hex").slice(0, 16);
+    const badge = `STRS: ${score}/100`;
+    return {
+        score,
+        totalProbes: probes.length,
+        consistentProbes,
+        matchExpectedProbes,
+        perCategory,
+        results,
+        badge,
+        ranAt,
+        hmac,
+    };
+}
+/** Render STRS report as a README badge URL (shields.io style). */
+export function strsBadgeUrl(report) {
+    const color = report.score >= 90 ? "brightgreen" : report.score >= 75 ? "green" : report.score >= 60 ? "yellow" : "red";
+    return `https://img.shields.io/badge/STRS-${report.score}%2F100-${color}?style=for-the-badge`;
+}
+//# sourceMappingURL=strs.js.map

package/dist/protoplasm/super_quan/strs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"strs.js","sourceRoot":"","sources":["../../../src/protoplasm/super_quan/strs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA4BzC,uFAAuF;AACvF,MAAM,CAAC,MAAM,iBAAiB,GAAgB;IAC5C,6CAA6C;IAC7C,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE;IAC5E,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE;IAE/E,mDAAmD;IACnD,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,wBAAwB,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE;IAC/F,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,0BAA0B,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE;IAEpG,2FAA2F;IAC3F,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,2BAA2B,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE;IAC7F,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,2BAA2B,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE;IAE7F,2DAA2D;IAC3D,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,sBAAsB,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE;IACvF,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,mCAAmC,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE;IAEpG,kCAAkC;IAClC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,wCAAwC,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE;IACxG,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,oDAAoD,EAAE,eAAe,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE;CACrH,CAAC;AAYF,MAAM,CAAC,KAAK,UAAU,OAAO,CAAC,MAAgB,EAAE,IAAoB;IAClE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,iBAAiB,CAAC;IAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAoB,EAAE,CAAC;IAEpC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClF,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;QAC9C,CAAC;aAAM,CAAC;YACN,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,MAAM,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,eAAe,GAAG,CAAC,CAAC,eAAe,KAAK,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,CAAC;QACtG,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC;IACpE,MAAM,mBAAmB,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC;IAC5E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC;IAEnE,MAAM,WAAW,GAA8B,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;YAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC;QACtG,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,EAAE,CAAE,CAAC;QACxD,IAAI,MAAM,CAAC,UAAU;YAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,UAAU,EAAE,CAAC;QAC5D,IAAI,MAAM,CAAC,eAAe;YAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;IACtE,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IACvC,MAAM,QAAQ,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3E,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAE5G,MAAM,KAAK,GAAG,SAAS,KAAK,MAAM,CAAC;IAEnC,OAAO;QACL,KAAK;QACL,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,gBAAgB;QAChB,mBAAmB;QACnB,WAAW;QACX,OAAO;QACP,KAAK;QACL,KAAK;QACL,IAAI;KACL,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;IACxH,OAAO,qCAAqC,MAAM,CAAC,KAAK,UAAU,KAAK,sBAAsB,CAAC;AAChG,CAAC"}

package/dist/protoplasm/super_quan/super_quan.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * 💎 SUPER QUAN — comprehensive tests
+ *
+ * Pin invariants for DECOHERENCE / NEGSPACE / CHSH / STRS.
+ * All tests deterministic; no real LLM calls (use synthetic probe responses).
+ */
+export {};
+//# sourceMappingURL=super_quan.test.d.ts.map

package/dist/protoplasm/super_quan/super_quan.test.d.ts.map

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