@mneme-ai/core 1.64.0 → 1.65.1

package/dist/apoptosis/semantic_grounding.js

@@ -0,0 +1,117 @@
+/**
+ * v1.65.0 -- APOPTOSIS L2: SEMANTIC GROUNDING.
+ *
+ * The claim must be semantically close to the code it references.
+ * Even if every named identifier exists (W1+W2 pass), the claim can
+ * still be a lie if its meaning has no embedding-space overlap with
+ * the cited code.
+ *
+ * Example: "auth.ts implements bcrypt hashing"
+ *   - W1 passes (auth.ts exists)
+ *   - W2 passes (no symbols required)
+ *   - But auth.ts contains argon2, not bcrypt
+ *   - L2 cosine(claim, file) = 0.21 (low) -> ALERT
+ *
+ * No actual embedder is required at minimum: we use a deterministic
+ * token-Jaccard fallback that's 80% as good for short claims. If the
+ * caller hands us a real embedder it's used instead.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+function tokens(s) {
+    return new Set(s.toLowerCase()
+        .replace(/[^a-z0-9_\s]/g, " ")
+        .split(/\s+/)
+        .filter((t) => t.length >= 3 && !STOPWORDS.has(t)));
+}
+const STOPWORDS = new Set([
+    "the", "and", "for", "with", "this", "that", "from", "into", "when", "then", "else",
+    "function", "const", "var", "let", "true", "false", "null", "return", "import", "export",
+    "type", "interface", "class", "public", "private", "static", "async", "await", "would", "should",
+    "could", "have", "has", "had", "was", "were", "are", "but", "not", "any", "all", "use", "uses",
+    "used", "very", "some", "more", "less", "than", "such", "what", "which", "where", "while",
+]);
+function jaccard(a, b) {
+    if (a.size === 0 || b.size === 0)
+        return 0;
+    let inter = 0;
+    for (const x of a)
+        if (b.has(x))
+            inter += 1;
+    const union = a.size + b.size - inter;
+    return union === 0 ? 0 : inter / union;
+}
+/** Cosine on bag-of-words count vectors. Token-Jaccard is the default
+ *  fallback for code-vs-claim. */
+function tfCosine(claimTokens, docTokens) {
+    let dot = 0, na = 0, nb = 0;
+    for (const [t, c] of claimTokens) {
+        na += c * c;
+        if (docTokens.has(t))
+            dot += c * docTokens.get(t);
+    }
+    for (const [, c] of docTokens)
+        nb += c * c;
+    if (na === 0 || nb === 0)
+        return 0;
+    return dot / Math.sqrt(na * nb);
+}
+function bagOfWords(s) {
+    const out = new Map();
+    for (const t of s.toLowerCase().replace(/[^a-z0-9_\s]/g, " ").split(/\s+/)) {
+        if (t.length < 3 || STOPWORDS.has(t))
+            continue;
+        out.set(t, (out.get(t) ?? 0) + 1);
+    }
+    return out;
+}
+/** Score the semantic grounding of `claim` against named paths. */
+export function semanticGround(repoRoot, claim, paths, opts) {
+    const t0 = Date.now();
+    const threshold = opts?.threshold ?? 0.06; // TF-cosine on prose-vs-code naturally low
+    const minClaimTokens = opts?.minTokens ?? 3;
+    if (paths.length === 0) {
+        return { score: 0, verdict: "INAPPLICABLE", filesUsed: [], detail: "No paths to ground against.", ms: Date.now() - t0 };
+    }
+    const claimToks = bagOfWords(claim);
+    if (claimToks.size < minClaimTokens) {
+        return { score: 0, verdict: "INAPPLICABLE", filesUsed: [], detail: "Claim too short for semantic grounding.", ms: Date.now() - t0 };
+    }
+    const filesUsed = [];
+    let bestScore = 0;
+    for (const p of paths) {
+        const abs = p.startsWith("/") || /^[A-Z]:/.test(p) ? p : join(repoRoot, p);
+        if (!existsSync(abs))
+            continue;
+        let content = "";
+        try {
+            content = readFileSync(abs, "utf8");
+        }
+        catch {
+            continue;
+        }
+        filesUsed.push(p);
+        // Use first ~10KB of file to bound cost.
+        const docToks = bagOfWords(content.slice(0, 10000));
+        // Augment with Jaccard for robustness on short claims.
+        const cos = tfCosine(claimToks, docToks);
+        const jac = jaccard(tokens(claim), tokens(content.slice(0, 10000)));
+        const score = Math.max(cos, jac * 0.5);
+        if (score > bestScore)
+            bestScore = score;
+    }
+    if (filesUsed.length === 0) {
+        return { score: 0, verdict: "ALERT", filesUsed: [], detail: "None of the claimed paths exist; cannot ground semantically.", ms: Date.now() - t0 };
+    }
+    const verdict = bestScore >= threshold ? "GROUNDED" : "ALERT";
+    return {
+        score: bestScore,
+        verdict,
+        filesUsed,
+        detail: verdict === "GROUNDED"
+            ? `Best semantic score ${bestScore.toFixed(3)} >= threshold ${threshold} across ${filesUsed.length} file(s).`
+            : `Best semantic score ${bestScore.toFixed(3)} < threshold ${threshold}; claim appears decorative.`,
+        ms: Date.now() - t0,
+    };
+}
+//# sourceMappingURL=semantic_grounding.js.map

package/dist/apoptosis/semantic_grounding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic_grounding.js","sourceRoot":"","sources":["../../src/apoptosis/semantic_grounding.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAcjC,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,IAAI,GAAG,CACZ,CAAC,CAAC,WAAW,EAAE;SACb,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC;SAC7B,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CACpD,CAAC;AACJ,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;IACnF,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ;IACxF,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ;IAChG,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM;IAC9F,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO;CAC1F,CAAC,CAAC;AAEH,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,IAAI,CAAC,CAAC;IAC5C,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;kCACkC;AAClC,SAAS,QAAQ,CAAC,WAAgC,EAAE,SAA8B;IAChF,IAAI,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAC5B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC;QACjC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACZ,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,GAAG,IAAI,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC;IACrD,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,SAAS;QAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IAC3B,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAS;QAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,mEAAmE;AACnE,MAAM,UAAU,cAAc,CAC5B,QAAgB,EAChB,KAAa,EACb,KAAe,EACf,IAAiD;IAEjD,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,SAAS,GAAG,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC,CAAC,2CAA2C;IACtF,MAAM,cAAc,GAAG,IAAI,EAAE,SAAS,IAAI,CAAC,CAAC;IAE5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,6BAA6B,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;IAC1H,CAAC;IACD,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,SAAS,CAAC,IAAI,GAAG,cAAc,EAAE,CAAC;QACpC,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,yCAAyC,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;IACtI,CAAC;IAED,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QAC3E,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,IAAI,CAAC;YAAC,OAAO,GAAG,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAChE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,yCAAyC;QACzC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QACpD,uDAAuD;QACvD,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;QACvC,IAAI,KAAK,GAAG,SAAS;YAAE,SAAS,GAAG,KAAK,CAAC;IAC3C,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,8DAA8D,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC;IACpJ,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,IAAI,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9D,OAAO;QACL,KAAK,EAAE,SAAS;QAChB,OAAO;QACP,SAAS;QACT,MAAM,EAAE,OAAO,KAAK,UAAU;YAC5B,CAAC,CAAC,uBAAuB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,SAAS,WAAW,SAAS,CAAC,MAAM,WAAW;YAC7G,CAAC,CAAC,uBAAuB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,SAAS,6BAA6B;QACrG,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KACpB,CAAC;AACJ,CAAC"}

package/dist/apoptosis/temporal_consistency.d.ts

@@ -0,0 +1,32 @@
+/**
+ * v1.65.0 -- APOPTOSIS L4: TEMPORAL CONSISTENCY.
+ *
+ * Today's claim is diffed against what the SAME vendor has said about
+ * the SAME thing in past sessions. Contradictions = at least one lie.
+ *
+ *   today (claude):     "auth.ts uses bcrypt"
+ *   yesterday (claude): "auth.ts uses argon2"
+ *   contradiction      -> at least 1 of 2 is fabricated -> ALERT
+ *
+ * Anchors on .mneme/ai-souls/<vendor>.json sessions. Token-Jaccard
+ * detects topic overlap; antonym map detects direct contradictions.
+ */
+export interface TemporalReport {
+    verdict: "GROUNDED" | "ALERT" | "INAPPLICABLE";
+    /** Past claims about the same topic. */
+    pastClaims: Array<{
+        vendor: string;
+        ts?: string;
+        text: string;
+        topicOverlap: number;
+        contradicts: boolean;
+    }>;
+    detail: string;
+    ms: number;
+}
+export declare function temporalConsistency(repoRoot: string, claim: string, opts?: {
+    topicThreshold?: number;
+    vendor?: string;
+    maxLookback?: number;
+}): TemporalReport;
+//# sourceMappingURL=temporal_consistency.d.ts.map

package/dist/apoptosis/temporal_consistency.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"temporal_consistency.d.ts","sourceRoot":"","sources":["../../src/apoptosis/temporal_consistency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAKH,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,UAAU,GAAG,OAAO,GAAG,cAAc,CAAC;IAC/C,wCAAwC;IACxC,UAAU,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC7G,MAAM,EAAE,MAAM,CAAC;IACf,EAAE,EAAE,MAAM,CAAC;CACZ;AAuED,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE;IAAE,cAAc,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,GACxE,cAAc,CA6ChB"}

package/dist/apoptosis/temporal_consistency.js

@@ -0,0 +1,127 @@
+/**
+ * v1.65.0 -- APOPTOSIS L4: TEMPORAL CONSISTENCY.
+ *
+ * Today's claim is diffed against what the SAME vendor has said about
+ * the SAME thing in past sessions. Contradictions = at least one lie.
+ *
+ *   today (claude):     "auth.ts uses bcrypt"
+ *   yesterday (claude): "auth.ts uses argon2"
+ *   contradiction      -> at least 1 of 2 is fabricated -> ALERT
+ *
+ * Anchors on .mneme/ai-souls/<vendor>.json sessions. Token-Jaccard
+ * detects topic overlap; antonym map detects direct contradictions.
+ */
+import { existsSync, readFileSync, readdirSync } from "node:fs";
+import { join } from "node:path";
+// Common ANTONYM PAIRS for contradiction detection.
+const ANTONYMS = [
+    [/\bbcrypt\b/i, /\b(argon2|scrypt|pbkdf2|sha[12]?56?|md5)\b/i],
+    [/\bargon2\b/i, /\bbcrypt\b/i],
+    [/\bsynchronous\b/i, /\basync(?:hronous)?\b/i],
+    [/\bcjs\b/i, /\besm\b/i],
+    [/\bcommonjs\b/i, /\b(esmodule|esm)\b/i],
+    [/\bencrypted\b/i, /\b(unencrypted|plaintext|cleartext)\b/i],
+    [/\b(plaintext|cleartext|unencrypted)\b/i, /\bencrypted\b/i],
+    [/\benabled\b/i, /\bdisabled\b/i],
+    [/\b(always|never)\b/i, /\b(never|always|sometimes)\b/i],
+    [/\bjwt\b/i, /\bsession[- ]?cookie\b/i],
+    [/\b(included|added|present)\b/i, /\b(removed|deleted|excluded|absent)\b/i],
+    [/\bv1\.5[0-9]\b/i, /\bv1\.[123][0-9]\b/i],
+];
+function readAllSouls(repoRoot) {
+    const dir = join(repoRoot, ".mneme/ai-souls");
+    if (!existsSync(dir))
+        return [];
+    const out = [];
+    let entries = [];
+    try {
+        entries = readdirSync(dir);
+    }
+    catch {
+        return [];
+    }
+    for (const e of entries) {
+        if (!e.endsWith(".json"))
+            continue;
+        try {
+            const j = JSON.parse(readFileSync(join(dir, e), "utf8"));
+            const vendor = j.vendor ?? e.replace(/\.json$/, "");
+            out.push({ vendor, sessions: j.sessions ?? [] });
+        }
+        catch { /* */ }
+    }
+    return out;
+}
+function tokens(s) {
+    return new Set((s.toLowerCase().match(/[a-z][a-z0-9_-]+/g) ?? []).filter((t) => t.length >= 4));
+}
+function jaccard(a, b) {
+    if (a.size === 0 || b.size === 0)
+        return 0;
+    let inter = 0;
+    for (const x of a)
+        if (b.has(x))
+            inter += 1;
+    const union = a.size + b.size - inter;
+    return union === 0 ? 0 : inter / union;
+}
+function isContradiction(a, b) {
+    for (const [reA, reB] of ANTONYMS) {
+        if (reA.test(a) && reB.test(b))
+            return true;
+    }
+    return false;
+}
+export function temporalConsistency(repoRoot, claim, opts) {
+    const t0 = Date.now();
+    const topicThreshold = opts?.topicThreshold ?? 0.2;
+    const maxLookback = opts?.maxLookback ?? 200;
+    const souls = readAllSouls(repoRoot);
+    if (souls.length === 0) {
+        return {
+            verdict: "INAPPLICABLE",
+            pastClaims: [],
+            detail: "No ai-souls records; no temporal history.",
+            ms: Date.now() - t0,
+        };
+    }
+    const claimToks = tokens(claim);
+    const candidates = [];
+    for (const { vendor, sessions } of souls) {
+        if (opts?.vendor && vendor !== opts.vendor)
+            continue;
+        let scanned = 0;
+        for (const s of sessions) {
+            if (scanned >= maxLookback)
+                break;
+            scanned += 1;
+            const past = s.finalAnswer ?? s.text ?? s.prompt ?? s.claim ?? s.reason ?? "";
+            if (!past || past.length < 8)
+                continue;
+            const overlap = jaccard(claimToks, tokens(past));
+            if (overlap < topicThreshold)
+                continue;
+            const contradicts = isContradiction(claim, past) || isContradiction(past, claim);
+            candidates.push({ vendor, ts: s.ts, text: past.slice(0, 200), topicOverlap: overlap, contradicts });
+        }
+    }
+    const contradictions = candidates.filter((c) => c.contradicts);
+    let verdict;
+    if (candidates.length === 0)
+        verdict = "INAPPLICABLE";
+    else if (contradictions.length > 0)
+        verdict = "ALERT";
+    else
+        verdict = "GROUNDED";
+    return {
+        verdict,
+        pastClaims: candidates.slice(0, 5),
+        detail: verdict === "ALERT"
+            ? `${contradictions.length} contradiction(s) detected vs prior claims by same/cross vendor.`
+            : verdict === "INAPPLICABLE"
+                ? `No prior topic-overlapping claim found.`
+                : `${candidates.length} prior claim(s) on the same topic; no contradictions.`,
+        ms: Date.now() - t0,
+    };
+}
+//# sourceMappingURL=temporal_consistency.js.map

package/dist/apoptosis/temporal_consistency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"temporal_consistency.js","sourceRoot":"","sources":["../../src/apoptosis/temporal_consistency.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAUjC,oDAAoD;AACpD,MAAM,QAAQ,GAA4B;IACxC,CAAC,aAAa,EAAE,6CAA6C,CAAC;IAC9D,CAAC,aAAa,EAAE,aAAa,CAAC;IAC9B,CAAC,kBAAkB,EAAE,wBAAwB,CAAC;IAC9C,CAAC,UAAU,EAAE,UAAU,CAAC;IACxB,CAAC,eAAe,EAAE,qBAAqB,CAAC;IACxC,CAAC,gBAAgB,EAAE,wCAAwC,CAAC;IAC5D,CAAC,wCAAwC,EAAE,gBAAgB,CAAC;IAC5D,CAAC,cAAc,EAAE,eAAe,CAAC;IACjC,CAAC,qBAAqB,EAAE,+BAA+B,CAAC;IACxD,CAAC,UAAU,EAAE,yBAAyB,CAAC;IACvC,CAAC,+BAA+B,EAAE,wCAAwC,CAAC;IAC3E,CAAC,iBAAiB,EAAE,qBAAqB,CAAC;CAC3C,CAAC;AAiBF,SAAS,YAAY,CAAC,QAAgB;IACpC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC;IAC9C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,GAAG,GAAuD,EAAE,CAAC;IACnE,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QAAC,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAAC,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,EAAE,CAAC;IAAC,CAAC;IACxD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAS;QACnC,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAa,CAAC;YACrE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;QAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,IAAI,GAAG,CACZ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAChF,CAAC;AACJ,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,IAAI,CAAC,CAAC;IAC5C,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,SAAS,eAAe,CAAC,CAAS,EAAE,CAAS;IAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;QAClC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAAgB,EAChB,KAAa,EACb,IAAyE;IAEzE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,cAAc,GAAG,IAAI,EAAE,cAAc,IAAI,GAAG,CAAC;IACnD,MAAM,WAAW,GAAG,IAAI,EAAE,WAAW,IAAI,GAAG,CAAC;IAC7C,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EAAE,cAAc;YACvB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,2CAA2C;YACnD,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;SACpB,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,UAAU,GAAiC,EAAE,CAAC;IACpD,KAAK,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,KAAK,EAAE,CAAC;QACzC,IAAI,IAAI,EAAE,MAAM,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM;YAAE,SAAS;QACrD,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,OAAO,IAAI,WAAW;gBAAE,MAAM;YAClC,OAAO,IAAI,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;YAC9E,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YACvC,MAAM,OAAO,GAAG,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;YACjD,IAAI,OAAO,GAAG,cAAc;gBAAE,SAAS;YACvC,MAAM,WAAW,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjF,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAC/D,IAAI,OAAkC,CAAC;IACvC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,cAAc,CAAC;SACjD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,GAAG,OAAO,CAAC;;QACjD,OAAO,GAAG,UAAU,CAAC;IAE1B,OAAO;QACL,OAAO;QACP,UAAU,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,OAAO,KAAK,OAAO;YACzB,CAAC,CAAC,GAAG,cAAc,CAAC,MAAM,kEAAkE;YAC5F,CAAC,CAAC,OAAO,KAAK,cAAc;gBAC1B,CAAC,CAAC,yCAAyC;gBAC3C,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,uDAAuD;QACjF,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;KACpB,CAAC;AACJ,CAAC"}

package/dist/apoptosis/witnesses.d.ts

@@ -0,0 +1,66 @@
+/**
+ * v1.65.0 -- APOPTOSIS L1: 5-WITNESS FUSION.
+ *
+ * Forensic-grade grounding. Every AI claim is broken into 5
+ * independent oracles that each verify a separate facet of reality.
+ * Break ANY one → the witness fails and APOPTOSIS escalates.
+ *
+ *   W1 path-exists       claim names a file -> does it exist on disk?
+ *   W2 symbol-exists     claim names a symbol -> does it appear in source?
+ *   W3 type-shape-matches  claim names a return/arg type -> matches tsc?
+ *   W4 git-history-consistent  claim names a version/SHA -> tag walk agrees?
+ *   W5 behavior-cited    claim names behavior -> at least one test mentions it?
+ *
+ * This is the floor. Layers 2-7 add semantic, temporal, statistical,
+ * fractal, and cascade-level checks.
+ *
+ * Pure read. No side effects. Returns per-witness verdict + overall.
+ */
+export type WitnessId = "W1-path" | "W2-symbol" | "W3-type" | "W4-history" | "W5-behavior";
+export type WitnessVerdict = "GROUNDED" | "ALERT" | "INAPPLICABLE";
+export interface WitnessReport {
+    id: WitnessId;
+    verdict: WitnessVerdict;
+    /** Plain-English why. */
+    detail: string;
+    /** Optional evidence the witness consulted. */
+    evidence?: string[];
+    /** Time spent in this witness, ms. */
+    ms: number;
+}
+export interface ClaimFacets {
+    /** Raw claim text. */
+    text: string;
+    /** Files the claim names (relative or absolute paths). */
+    paths?: string[];
+    /** Identifiers the claim names (functions, classes, vars). */
+    symbols?: string[];
+    /** Type names + expected shape (e.g. "function foo returns User"). */
+    typeAssertions?: Array<{
+        symbol: string;
+        expectedReturn?: string;
+        expectedArgs?: string[];
+    }>;
+    /** Version / tag / SHA references. */
+    versionRefs?: Array<{
+        kind: "tag" | "sha" | "version";
+        value: string;
+    }>;
+    /** Behavioral / domain phrases (e.g. "handles auth", "retries on 5xx"). */
+    behaviors?: string[];
+}
+export interface FiveWitnessReport {
+    witnesses: WitnessReport[];
+    /** ALERT count. */
+    alerts: number;
+    /** All-grounded? */
+    unanimous: boolean;
+    /** Composite confidence in [0, 1]. */
+    confidence: number;
+    /** Total elapsed ms across all 5. */
+    ms: number;
+}
+/** Parse free-form claim text into structured facets. */
+export declare function extractFacets(text: string): ClaimFacets;
+export declare function fiveWitness(repoRoot: string, claimText: string, knownFacets?: Partial<ClaimFacets>): FiveWitnessReport;
+//# sourceMappingURL=witnesses.d.ts.map

package/dist/apoptosis/witnesses.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witnesses.d.ts","sourceRoot":"","sources":["../../src/apoptosis/witnesses.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAMH,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,GAAG,YAAY,GAAG,aAAa,CAAC;AAE3F,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,OAAO,GAAG,cAAc,CAAC;AAEnE,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,SAAS,CAAC;IACd,OAAO,EAAE,cAAc,CAAC;IACxB,yBAAyB;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;CACZ;AAED,MAAM,WAAW,WAAW;IAC1B,sBAAsB;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,0DAA0D;IAC1D,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,8DAA8D;IAC9D,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,sEAAsE;IACtE,cAAc,CAAC,EAAE,KAAK,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,cAAc,CAAC,EAAE,MAAM,CAAC;QAAC,YAAY,CAAC,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAC7F,sCAAsC;IACtC,WAAW,CAAC,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,KAAK,GAAG,KAAK,GAAG,SAAS,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxE,2EAA2E;IAC3E,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,aAAa,EAAE,CAAC;IAC3B,mBAAmB;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,oBAAoB;IACpB,SAAS,EAAE,OAAO,CAAC;IACnB,sCAAsC;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,qCAAqC;IACrC,EAAE,EAAE,MAAM,CAAC;CACZ;AAYD,yDAAyD;AACzD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CA4BvD;AA+OD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GAAG,iBAAiB,CAsBtH"}