@mneme-ai/core 1.68.0 → 1.70.0

package/dist/precog/package_verifier.d.ts

@@ -0,0 +1,45 @@
+/**
+ * v1.70.0 -- PRECOG P1: PACKAGE VERIFIER.
+ *
+ * Catch the most common AI fabrication: "we use X package" where X
+ * is hallucinated. Extracts package references from prose:
+ *
+ *   1. `pkg@version` form
+ *   2. `import ... from "pkg"` style
+ *   3. `npm install pkg` style
+ *   4. quoted package names in prose ("uses 'lodash'")
+ *
+ * Cross-checks against:
+ *   - package.json {dependencies, devDependencies, peerDependencies}
+ *   - workspace patterns from package.json#workspaces
+ *   - HEURISTIC npm-name validity (npm registry naming rules)
+ *
+ * Returns suspect packages + the specific rule that flagged them.
+ */
+export interface PackageRef {
+    /** Package name as it appears. */
+    name: string;
+    /** Optional version captured. */
+    version?: string;
+    /** How we found it. */
+    source: "pkg-at-version" | "import-from" | "npm-install" | "prose-shape";
+    offset: number;
+}
+export interface PackageSuspect {
+    ref: PackageRef;
+    reason: string;
+    /** 0..1; higher = stronger suspicion. */
+    confidence: number;
+}
+export interface PackageVerifyReport {
+    refs: PackageRef[];
+    /** Packages whose existence we couldn't confirm. */
+    suspects: PackageSuspect[];
+    /** Packages confirmed in package.json. */
+    confirmed: string[];
+    /** Plain-English. */
+    headline: string;
+}
+export declare function extractPackageRefs(text: string): PackageRef[];
+export declare function verifyPackages(repoRoot: string, text: string): PackageVerifyReport;
+//# sourceMappingURL=package_verifier.d.ts.map

package/dist/precog/package_verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"package_verifier.d.ts","sourceRoot":"","sources":["../../src/precog/package_verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAcH,MAAM,WAAW,UAAU;IACzB,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,uBAAuB;IACvB,MAAM,EAAE,gBAAgB,GAAG,aAAa,GAAG,aAAa,GAAG,aAAa,CAAC;IACzE,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,GAAG,EAAE,UAAU,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,yCAAyC;IACzC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,UAAU,EAAE,CAAC;IACnB,oDAAoD;IACpD,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,0CAA0C;IAC1C,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,qBAAqB;IACrB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAyBD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAkC7D;AAeD,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,mBAAmB,CAkClF"}

package/dist/precog/package_verifier.js

@@ -0,0 +1,139 @@
+/**
+ * v1.70.0 -- PRECOG P1: PACKAGE VERIFIER.
+ *
+ * Catch the most common AI fabrication: "we use X package" where X
+ * is hallucinated. Extracts package references from prose:
+ *
+ *   1. `pkg@version` form
+ *   2. `import ... from "pkg"` style
+ *   3. `npm install pkg` style
+ *   4. quoted package names in prose ("uses 'lodash'")
+ *
+ * Cross-checks against:
+ *   - package.json {dependencies, devDependencies, peerDependencies}
+ *   - workspace patterns from package.json#workspaces
+ *   - HEURISTIC npm-name validity (npm registry naming rules)
+ *
+ * Returns suspect packages + the specific rule that flagged them.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+const PKG_AT_VERSION = /\b([@a-z0-9][\w@./-]+)@(\d+\.\d+\.\d+(?:-[\w.-]+)?)\b/gi;
+const IMPORT_FROM = /(?:from|require)\s*\(?\s*["']([^"']+)["']/g;
+const NPM_INSTALL = /\bnpm\s+(?:install|i|add)\s+([\w@./-]+)/g;
+// v1.70 -- bare prose package-shape (3+ hyphenated segments).
+// Catches "wraith-utils-2099", "phantom-fake-9999" without @version
+// or import syntax. Anchored to lowercase + hyphens to reduce FP on
+// natural-language hyphenated phrases.
+const PROSE_PKG_SHAPE = /\b([a-z][a-z0-9]*(?:-[a-z0-9]+){2,})\b/g;
+const NPM_NAME_VALID = /^(@[a-z0-9-_.]+\/)?[a-z0-9-_.]+$/i;
+function loadKnownDeps(repoRoot) {
+    const deps = new Set();
+    const p = join(repoRoot, "package.json");
+    if (!existsSync(p))
+        return deps;
+    try {
+        const pkg = JSON.parse(readFileSync(p, "utf8"));
+        for (const key of ["dependencies", "devDependencies", "peerDependencies", "optionalDependencies"]) {
+            const obj = pkg[key];
+            if (obj)
+                for (const name of Object.keys(obj))
+                    deps.add(name);
+        }
+        // Also bring in workspace package names so internal references resolve.
+        const wsRaw = pkg["workspaces"];
+        if (Array.isArray(wsRaw)) {
+            for (const ws of wsRaw) {
+                if (typeof ws === "string" && !ws.includes("*"))
+                    deps.add(ws);
+            }
+        }
+    }
+    catch { /* */ }
+    return deps;
+}
+export function extractPackageRefs(text) {
+    const out = [];
+    const seen = new Set();
+    const push = (ref) => {
+        const key = `${ref.source}|${ref.name}|${ref.version ?? ""}`;
+        if (seen.has(key))
+            return;
+        seen.add(key);
+        out.push(ref);
+    };
+    for (const m of text.matchAll(PKG_AT_VERSION)) {
+        push({ name: m[1], version: m[2], source: "pkg-at-version", offset: m.index ?? 0 });
+    }
+    for (const m of text.matchAll(IMPORT_FROM)) {
+        const raw = m[1];
+        // Take top-level segment (e.g. @scope/pkg or pkg from pkg/sub/path).
+        const top = raw.startsWith("@") ? raw.split("/").slice(0, 2).join("/") : raw.split("/")[0];
+        if (top && !top.startsWith(".") && !top.startsWith("/")) {
+            push({ name: top, source: "import-from", offset: m.index ?? 0 });
+        }
+    }
+    for (const m of text.matchAll(NPM_INSTALL)) {
+        push({ name: m[1], source: "npm-install", offset: m.index ?? 0 });
+    }
+    // Prose-shape: only catch when other extractors didn't already match.
+    // Most code-y phrases like "node-modules", "package-lock" are skipped by
+    // the 3-segment requirement; but we whitelist a few obvious non-packages.
+    const FALSE_POSITIVE_PROSE = new Set(["package-lock-json", "tsconfig-build-json", "single-page-app"]);
+    for (const m of text.matchAll(PROSE_PKG_SHAPE)) {
+        const name = m[1];
+        if (FALSE_POSITIVE_PROSE.has(name))
+            continue;
+        const offset = m.index ?? 0;
+        push({ name, source: "prose-shape", offset });
+    }
+    return out;
+}
+const BUILTIN_NODE_MODULES = new Set([
+    "node:fs", "node:path", "node:os", "node:crypto", "node:child_process",
+    "node:http", "node:https", "node:url", "node:util", "node:events", "node:stream",
+    "node:buffer", "node:zlib", "node:assert", "node:test", "node:net", "node:tls",
+    "node:dns", "node:querystring", "node:readline", "node:worker_threads",
+    "node:perf_hooks", "node:vm", "node:timers", "node:console",
+    // legacy non-prefixed forms
+    "fs", "path", "os", "crypto", "child_process", "http", "https", "url", "util",
+    "events", "stream", "buffer", "zlib", "assert", "net", "tls", "dns",
+    "querystring", "readline", "worker_threads", "perf_hooks", "vm", "timers",
+    "console",
+]);
+export function verifyPackages(repoRoot, text) {
+    const refs = extractPackageRefs(text);
+    const known = loadKnownDeps(repoRoot);
+    const suspects = [];
+    const confirmed = [];
+    for (const ref of refs) {
+        // Suspicious future version BEATS name-confirmation -- if someone
+        // claims typescript@99.5.0, the package exists but the version is fab.
+        if (ref.version && /^([89]\d|\d{3,})\./.test(ref.version)) {
+            suspects.push({ ref, reason: `Suspicious future version ${ref.version} on package "${ref.name}"`, confidence: 0.75 });
+            continue;
+        }
+        if (BUILTIN_NODE_MODULES.has(ref.name.toLowerCase())) {
+            confirmed.push(ref.name);
+            continue;
+        }
+        if (known.has(ref.name)) {
+            confirmed.push(ref.name);
+            continue;
+        }
+        // Validity heuristics.
+        if (!NPM_NAME_VALID.test(ref.name)) {
+            suspects.push({ ref, reason: `Invalid npm package name shape: "${ref.name}"`, confidence: 0.85 });
+            continue;
+        }
+        // Not in deps + not built-in -> NOT necessarily a lie, but flag at low confidence.
+        suspects.push({
+            ref,
+            reason: `Package "${ref.name}" not in package.json dependencies (could be a hallucinated reference).`,
+            confidence: ref.source === "pkg-at-version" ? 0.7 : 0.55,
+        });
+    }
+    const headline = `${refs.length} package ref(s); ${confirmed.length} confirmed, ${suspects.length} suspect.`;
+    return { refs, suspects, confirmed, headline };
+}
+//# sourceMappingURL=package_verifier.js.map

package/dist/precog/package_verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"package_verifier.js","sourceRoot":"","sources":["../../src/precog/package_verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,MAAM,cAAc,GAAG,yDAAyD,CAAC;AACjF,MAAM,WAAW,GAAG,4CAA4C,CAAC;AACjE,MAAM,WAAW,GAAG,0CAA0C,CAAC;AAC/D,8DAA8D;AAC9D,oEAAoE;AACpE,oEAAoE;AACpE,uCAAuC;AACvC,MAAM,eAAe,GAAG,yCAAyC,CAAC;AA6BlE,MAAM,cAAc,GAAG,mCAAmC,CAAC;AAE3D,SAAS,aAAa,CAAC,QAAgB;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAA4B,CAAC;QAC3E,KAAK,MAAM,GAAG,IAAI,CAAC,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,sBAAsB,CAAC,EAAE,CAAC;YAClG,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAwC,CAAC;YAC5D,IAAI,GAAG;gBAAE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/D,CAAC;QACD,wEAAwE;QACxE,MAAM,KAAK,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;gBACvB,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,GAAe,EAAE,EAAE;QAC/B,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;QAC7D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACxF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAClB,qEAAqE;QACrE,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAC5F,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAE,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,qBAAqB,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACtG,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QACnB,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,oBAAoB;IACtE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,aAAa;IAChF,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU;IAC9E,UAAU,EAAE,kBAAkB,EAAE,eAAe,EAAE,qBAAqB;IACtE,iBAAiB,EAAE,SAAS,EAAE,aAAa,EAAE,cAAc;IAC3D,4BAA4B;IAC5B,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM;IAC7E,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACnE,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ;IACzE,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,UAAU,cAAc,CAAC,QAAgB,EAAE,IAAY;IAC3D,MAAM,IAAI,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,kEAAkE;QAClE,uEAAuE;QACvE,IAAI,GAAG,CAAC,OAAO,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,6BAA6B,GAAG,CAAC,OAAO,gBAAgB,GAAG,CAAC,IAAI,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YACtH,SAAS;QACX,CAAC;QACD,IAAI,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;YACrD,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,uBAAuB;QACvB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,oCAAoC,GAAG,CAAC,IAAI,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAClG,SAAS;QACX,CAAC;QACD,mFAAmF;QACnF,QAAQ,CAAC,IAAI,CAAC;YACZ,GAAG;YACH,MAAM,EAAE,YAAY,GAAG,CAAC,IAAI,yEAAyE;YACrG,UAAU,EAAE,GAAG,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI;SACzD,CAAC,CAAC;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,MAAM,oBAAoB,SAAS,CAAC,MAAM,eAAe,QAAQ,CAAC,MAAM,WAAW,CAAC;IAC7G,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC"}

package/dist/precog/precog.test.d.ts

@@ -0,0 +1,5 @@
+/**
+ * v1.70.0 -- PRECOG PROTOCOL test suite.
+ */
+export {};
+//# sourceMappingURL=precog.test.d.ts.map

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

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

package/dist/precog/precog.test.js

@@ -0,0 +1,224 @@
+/**
+ * v1.70.0 -- PRECOG PROTOCOL test suite.
+ */
+import { describe, it, expect, beforeEach, afterEach } from "vitest";
+import { mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { execSync } from "node:child_process";
+import { verifyPackages, extractPackageRefs } from "./package_verifier.js";
+import { verifyFacts, extractFactRefs } from "./sha_version_verifier.js";
+import { verifyTemporal, extractTemporalRefs } from "./temporal_verifier.js";
+import { intercept } from "./firewall.js";
+import { issueCertificate, verifyCertificate } from "./trust_certificate.js";
+import { priorFor, recordFailure } from "./bayesian_priors.js";
+import { runPrecogBench } from "./index.js";
+function setup() { return mkdtempSync(join(tmpdir(), "mneme-pc-")); }
+function cleanup(r) { try {
+    rmSync(r, { recursive: true, force: true });
+}
+catch { /* */ } }
+function initGitWithTags(r, commits, tags) {
+    execSync(`git init --quiet -b main`, { cwd: r, stdio: "ignore" });
+    execSync(`git config user.email "alice@example.com"`, { cwd: r, stdio: "ignore" });
+    execSync(`git config user.name "Alice"`, { cwd: r, stdio: "ignore" });
+    execSync(`git config commit.gpgsign false`, { cwd: r, stdio: "ignore" });
+    for (let i = 0; i < commits.length; i++) {
+        writeFileSync(join(r, `f${i}.txt`), `${i}`, "utf8");
+        execSync(`git add -A`, { cwd: r, stdio: "ignore" });
+        execSync(`git commit -m "${commits[i]}" --no-gpg-sign --quiet`, { cwd: r, stdio: "ignore" });
+    }
+    for (const t of tags)
+        execSync(`git tag ${t}`, { cwd: r, stdio: "ignore" });
+}
+// ─── P1 PACKAGE VERIFIER ─────────────────────────────────────────────
+describe("v1.70 Precog P1 · Package Verifier", () => {
+    let r;
+    beforeEach(() => {
+        r = setup();
+        writeFileSync(join(r, "package.json"), JSON.stringify({
+            name: "test", dependencies: { typescript: "5.0.0", react: "18.0.0" },
+        }), "utf8");
+    });
+    afterEach(() => cleanup(r));
+    it("extracts pkg@version + import-from + npm-install refs", () => {
+        const refs = extractPackageRefs("import x from 'lodash'; npm install foo-bar; legendary@9.99.0 also");
+        expect(refs.length).toBeGreaterThanOrEqual(3);
+    });
+    it("flags package not in deps", () => {
+        const r1 = verifyPackages(r, "we use wraith-utils-2099 for caching");
+        expect(r1.suspects.find((s) => s.ref.name.includes("wraith"))).toBeDefined();
+    });
+    it("confirms real deps", () => {
+        const r1 = verifyPackages(r, "import { thing } from 'typescript'; import x from 'react'");
+        expect(r1.confirmed).toContain("typescript");
+        expect(r1.confirmed).toContain("react");
+        expect(r1.suspects.length).toBe(0);
+    });
+    it("treats node:* built-ins as confirmed", () => {
+        const r1 = verifyPackages(r, "import { readFileSync } from 'node:fs'");
+        expect(r1.confirmed).toContain("node:fs");
+    });
+    it("flags suspicious future versions", () => {
+        const r1 = verifyPackages(r, "we use typescript@99.5.0 in production");
+        expect(r1.suspects.find((s) => s.ref.version === "99.5.0")).toBeDefined();
+    });
+});
+// ─── P2 SHA / VERSION / EMAIL VERIFIER ───────────────────────────────
+describe("v1.70 Precog P2 · SHA/Version/Email Verifier", () => {
+    let r;
+    beforeEach(() => { r = setup(); initGitWithTags(r, ["first", "second"], ["v1.0.0"]); });
+    afterEach(() => cleanup(r));
+    it("extracts SHA + version + email refs", () => {
+        const refs = extractFactRefs("commit deadbeefcafe shipped in v1.0.0 by alice@example.com");
+        const kinds = refs.map((r) => r.kind);
+        expect(kinds).toContain("sha");
+        expect(kinds).toContain("version");
+        expect(kinds).toContain("email");
+    });
+    it("flags fake SHA", () => {
+        const r1 = verifyFacts(r, "the bug was in commit deadbeefcafefade1234567890abcdef1234567");
+        expect(r1.suspects.find((s) => s.ref.kind === "sha")).toBeDefined();
+    });
+    it("confirms real tag", () => {
+        const r1 = verifyFacts(r, "shipped in v1.0.0 last week");
+        expect(r1.confirmed.some((c) => c.kind === "version" && c.value.endsWith("1.0.0"))).toBe(true);
+    });
+    it("flags fake version", () => {
+        const r1 = verifyFacts(r, "shipped in v9.99.0 the legendary feature");
+        expect(r1.suspects.find((s) => s.ref.kind === "version" && s.ref.value.endsWith("9.99.0"))).toBeDefined();
+    });
+    it("confirms real author email", () => {
+        const r1 = verifyFacts(r, "Alice <alice@example.com> wrote this");
+        expect(r1.confirmed.some((c) => c.kind === "email" && c.value === "alice@example.com")).toBe(true);
+    });
+});
+// ─── P3 TEMPORAL VERIFIER ────────────────────────────────────────────
+describe("v1.70 Precog P3 · Temporal Verifier", () => {
+    let r;
+    beforeEach(() => { r = setup(); initGitWithTags(r, ["init"], []); });
+    afterEach(() => cleanup(r));
+    it("extracts temporal phrases", () => {
+        const refs = extractTemporalRefs("we did this yesterday and last week shipped X");
+        expect(refs.length).toBeGreaterThanOrEqual(2);
+    });
+    it("flags claim about file deletion when none in window", () => {
+        const r1 = verifyTemporal(r, "we deleted packages/imaginary-9999.ts last week");
+        expect(r1.suspects.length).toBeGreaterThanOrEqual(1);
+    });
+    it("INSUFFICIENT EVIDENCE on empty window", () => {
+        const r1 = verifyTemporal(r, "we did some work 365 days ago in the deep past");
+        // 365 days ago -- new repo has no commits there.
+        expect(r1.suspects.length).toBeGreaterThanOrEqual(1);
+    });
+});
+// ─── P5 TRUST CERTIFICATE ────────────────────────────────────────────
+describe("v1.70 Precog P5 · Trust Certificate", () => {
+    let r;
+    beforeEach(() => { r = setup(); });
+    afterEach(() => cleanup(r));
+    it("issues CERTIFIED when all verifiers pass", () => {
+        const cert = issueCertificate(r, "claim", [
+            { name: "P1", passed: true },
+            { name: "P2", passed: true },
+        ]);
+        expect(cert.verdict).toBe("CERTIFIED");
+        expect(cert.signers.length).toBe(2);
+        expect(verifyCertificate(r, cert)).toBe("VALID");
+    });
+    it("issues REVOKED when majority flagged", () => {
+        const cert = issueCertificate(r, "claim", [
+            { name: "P1", passed: false },
+            { name: "P2", passed: false },
+            { name: "P3", passed: true },
+        ]);
+        expect(cert.verdict).toBe("REVOKED");
+        expect(verifyCertificate(r, cert)).toBe("NOT_CERTIFIED");
+    });
+    it("detects invalid HMAC", () => {
+        const cert = issueCertificate(r, "claim", [{ name: "P1", passed: true }]);
+        const tampered = { ...cert, hmac: "x".repeat(64) };
+        expect(verifyCertificate(r, tampered)).toBe("INVALID_HMAC");
+    });
+    it("expires", () => {
+        const cert = issueCertificate(r, "claim", [{ name: "P1", passed: true }], { ttlMs: 1 });
+        return new Promise((resolve) => setTimeout(() => {
+            expect(verifyCertificate(r, cert)).toBe("EXPIRED");
+            resolve();
+        }, 10));
+    });
+});
+// ─── P6 BAYESIAN PRIORS ──────────────────────────────────────────────
+describe("v1.70 Precog P6 · Bayesian Priors", () => {
+    let r;
+    beforeEach(() => { r = setup(); });
+    afterEach(() => cleanup(r));
+    it("base prior on empty history", () => {
+        const p = priorFor(r, "some claim");
+        expect(p.posterior).toBeCloseTo(0.05, 2);
+    });
+    it("posterior rises after similar failure", () => {
+        recordFailure(r, "wraith-utils-2099 is a fake package", "npm-package");
+        recordFailure(r, "wraith-utils-2099 is a fake package", "npm-package");
+        const p = priorFor(r, "wraith-utils-2099 is a fake package");
+        expect(p.posterior).toBeGreaterThan(0.05);
+        expect(p.topNeighbors.length).toBeGreaterThanOrEqual(1);
+    });
+});
+// ─── P4 FIREWALL ────────────────────────────────────────────────────
+describe("v1.70 Precog P4 · Firewall", () => {
+    let r;
+    beforeEach(() => {
+        r = setup();
+        writeFileSync(join(r, "package.json"), JSON.stringify({ name: "test", dependencies: { typescript: "5.0.0" } }), "utf8");
+        initGitWithTags(r, ["init"], []);
+    });
+    afterEach(() => cleanup(r));
+    it("HEDGES claim with fake package", () => {
+        const r1 = intercept(r, "we use wraith-utils-2099 for caching", { recordOnReject: false });
+        expect(r1.verdict).toBe("HEDGED");
+        expect(r1.hedges.length).toBeGreaterThanOrEqual(1);
+        expect(r1.verified).toContain("[unverified package");
+    });
+    it("CERTIFIED clean claim with real dep", () => {
+        const r1 = intercept(r, "the project uses typescript for type safety", { recordOnReject: false });
+        expect(r1.verdict).toBe("CERTIFIED");
+        expect(r1.certificate).not.toBeNull();
+    });
+    it("REJECTS claim with many hedges", () => {
+        const claim = "wraith-utils-2099 and phantom-fake-9999 and ghost-cache-9998 and demon-99 were all used in v9.99.0 last quarter by alice@nowhere.invalid commit deadbeefcafefade1234567890ab";
+        const r1 = intercept(r, claim, { recordOnReject: false });
+        expect(["HEDGED", "REJECTED"]).toContain(r1.verdict);
+        expect(r1.hedges.length).toBeGreaterThanOrEqual(3);
+    });
+    it("hedges preserve unrelated text", () => {
+        const r1 = intercept(r, "the project uses typescript and wraith-utils-2099 for builds", { recordOnReject: false });
+        expect(r1.verified).toContain("typescript"); // Real dep preserved
+        expect(r1.verified).toContain("[unverified package"); // Fake hedged
+    });
+    it("verifierResults reflect each P-layer", () => {
+        const r1 = intercept(r, "we use typescript", { recordOnReject: false });
+        const names = r1.verifierResults.map((v) => v.name);
+        expect(names).toContain("P1-package");
+        expect(names).toContain("P2-fact");
+        expect(names).toContain("P3-temporal");
+        expect(names).toContain("P6-prior");
+    });
+});
+// ─── BENCH ───────────────────────────────────────────────────────────
+describe("v1.70 Precog · BENCH", () => {
+    let r;
+    beforeEach(() => {
+        r = setup();
+        writeFileSync(join(r, "package.json"), JSON.stringify({ name: "test", dependencies: { typescript: "5.0.0", react: "18.0.0" } }), "utf8");
+        writeFileSync(join(r, "README.md"), "# Project\n\nUses TypeScript.\n", "utf8");
+        writeFileSync(join(r, "CHANGELOG.md"), "## [1.0.0]\n", "utf8");
+        initGitWithTags(r, ["init"], []);
+    });
+    afterEach(() => cleanup(r));
+    it("catch rate >= 80% on 9-lie corpus", () => {
+        const r1 = runPrecogBench(r);
+        expect(r1.catchRate).toBeGreaterThanOrEqual(0.8);
+    });
+});
+//# sourceMappingURL=precog.test.js.map

package/dist/precog/precog.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"precog.test.js","sourceRoot":"","sources":["../../src/precog/precog.test.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACrE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAa,aAAa,EAA4B,MAAM,SAAS,CAAC;AAClG,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,2BAA2B,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC1C,OAAO,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5C,SAAS,KAAK,KAAa,OAAO,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7E,SAAS,OAAO,CAAC,CAAS,IAAI,IAAI,CAAC;IAAC,MAAM,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAAC,CAAC;AAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AAEpG,SAAS,eAAe,CAAC,CAAS,EAAE,OAAiB,EAAE,IAAc;IACnE,QAAQ,CAAC,0BAA0B,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IAClE,QAAQ,CAAC,2CAA2C,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACnF,QAAQ,CAAC,8BAA8B,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACtE,QAAQ,CAAC,iCAAiC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACzE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACpD,QAAQ,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpD,QAAQ,CAAC,kBAAkB,OAAO,CAAC,CAAC,CAAC,yBAAyB,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC/F,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI;QAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,wEAAwE;AAExE,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE;QACd,CAAC,GAAG,KAAK,EAAE,CAAC;QACZ,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC;YACpD,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE;SACrE,CAAC,EAAE,MAAM,CAAC,CAAC;IACd,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,IAAI,GAAG,kBAAkB,CAAC,oEAAoE,CAAC,CAAC;QACtG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,sCAAsC,CAAC,CAAC;QACrE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,2DAA2D,CAAC,CAAC;QAC1F,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC7C,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACxC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,wCAAwC,CAAC,CAAC;QACvE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,wCAAwC,CAAC,CAAC;QACvE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxF,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,eAAe,CAAC,4DAA4D,CAAC,CAAC;QAC3F,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,+DAA+D,CAAC,CAAC;QAC3F,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,6BAA6B,CAAC,CAAC;QACzD,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,0CAA0C,CAAC,CAAC;QACtE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,EAAE,sCAAsC,CAAC,CAAC;QAClE,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrG,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,mBAAmB,CAAC,+CAA+C,CAAC,CAAC;QAClF,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,iDAAiD,CAAC,CAAC;QAChF,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,EAAE,gDAAgD,CAAC,CAAC;QAC/E,iDAAiD;QACjD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE;YACxC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;YAC5B,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE;YACxC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;YAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE;YAC7B,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,iBAAiB,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE;QACjB,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACxF,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE;YACpD,MAAM,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACnD,OAAO,EAAE,CAAC;QACZ,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACV,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,aAAa,CAAC,CAAC,EAAE,qCAAqC,EAAE,aAAa,CAAC,CAAC;QACvE,aAAa,CAAC,CAAC,EAAE,qCAAqC,EAAE,aAAa,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,qCAAqC,CAAC,CAAC;QAC7D,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,uEAAuE;AAEvE,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE;QACd,CAAC,GAAG,KAAK,EAAE,CAAC;QACZ,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACxH,eAAe,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,sCAAsC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3F,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,6CAA6C,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QAClG,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,8KAA8K,CAAC;QAC7L,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1D,MAAM,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QACrD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,8DAA8D,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QACnH,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,qBAAqB;QAClE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC,CAAC,cAAc;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,mBAAmB,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACtC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AAExE,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAI,CAAS,CAAC;IACd,UAAU,CAAC,GAAG,EAAE;QACd,CAAC,GAAG,KAAK,EAAE,CAAC;QACZ,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;QACzI,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,iCAAiC,EAAE,MAAM,CAAC,CAAC;QAC/E,aAAa,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,EAAE,cAAc,EAAE,MAAM,CAAC,CAAC;QAC/D,eAAe,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,SAAS,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5B,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/precog/sha_version_verifier.d.ts

@@ -0,0 +1,34 @@
+/**
+ * v1.70.0 -- PRECOG P2: SHA / VERSION / EMAIL VERIFIER.
+ *
+ * Common AI fabrications:
+ *   - "in commit abc1234" (commit doesn't exist)
+ *   - "we shipped v9.99.0 last quarter" (no such tag)
+ *   - "Alice <alice@example.com> wrote this" (no such git author)
+ *
+ * Each fact verifier shells out to git/CHANGELOG/git-log respectively:
+ *   - SHA  -> git rev-list / git cat-file -e
+ *   - Version -> git tags + CHANGELOG.md
+ *   - Email -> distinct authors from git log --format=%ae
+ *
+ * Pure read; no side effects.
+ */
+export interface FactRef {
+    kind: "sha" | "version" | "email";
+    value: string;
+    offset: number;
+}
+export interface FactSuspect {
+    ref: FactRef;
+    reason: string;
+    confidence: number;
+}
+export interface FactReport {
+    refs: FactRef[];
+    confirmed: FactRef[];
+    suspects: FactSuspect[];
+    headline: string;
+}
+export declare function extractFactRefs(text: string): FactRef[];
+export declare function verifyFacts(repoRoot: string, text: string): FactReport;
+//# sourceMappingURL=sha_version_verifier.d.ts.map

package/dist/precog/sha_version_verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha_version_verifier.d.ts","sourceRoot":"","sources":["../../src/precog/sha_version_verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAUH,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,KAAK,GAAG,SAAS,GAAG,OAAO,CAAC;IAClC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,WAAW;IAC1B,GAAG,EAAE,OAAO,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,OAAO,EAAE,CAAC;IAChB,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB;AA0CD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE,CAwBvD;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAwBtE"}

package/dist/precog/sha_version_verifier.js

@@ -0,0 +1,131 @@
+/**
+ * v1.70.0 -- PRECOG P2: SHA / VERSION / EMAIL VERIFIER.
+ *
+ * Common AI fabrications:
+ *   - "in commit abc1234" (commit doesn't exist)
+ *   - "we shipped v9.99.0 last quarter" (no such tag)
+ *   - "Alice <alice@example.com> wrote this" (no such git author)
+ *
+ * Each fact verifier shells out to git/CHANGELOG/git-log respectively:
+ *   - SHA  -> git rev-list / git cat-file -e
+ *   - Version -> git tags + CHANGELOG.md
+ *   - Email -> distinct authors from git log --format=%ae
+ *
+ * Pure read; no side effects.
+ */
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { execSync } from "node:child_process";
+const SHA_RE = /\b([0-9a-f]{7,40})\b/gi;
+const VERSION_RE = /\bv?(\d+\.\d+\.\d+(?:-[\w.-]+)?)\b/g;
+const EMAIL_RE = /\b([\w.+-]+)@([\w-]+(?:\.[\w-]+)+)\b/g;
+function gitCheckSha(repoRoot, sha) {
+    try {
+        execSync(`git -C "${repoRoot}" cat-file -e ${sha}`, { stdio: "ignore", timeout: 2000 });
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+function gitListTags(repoRoot) {
+    try {
+        const r = execSync(`git -C "${repoRoot}" tag --list`, { encoding: "utf8", stdio: ["ignore", "pipe", "ignore"], timeout: 2000 });
+        return new Set(r.split("\n").map((t) => t.trim()).filter(Boolean));
+    }
+    catch {
+        return new Set();
+    }
+}
+function gitListAuthorEmails(repoRoot) {
+    try {
+        const r = execSync(`git -C "${repoRoot}" log --format=%ae --max-count=2000`, { encoding: "utf8", stdio: ["ignore", "pipe", "ignore"], timeout: 3000 });
+        const out = new Set();
+        for (const line of r.split("\n")) {
+            const v = line.trim().toLowerCase();
+            if (v)
+                out.add(v);
+        }
+        return out;
+    }
+    catch {
+        return new Set();
+    }
+}
+function changelogVersions(repoRoot) {
+    const p = join(repoRoot, "CHANGELOG.md");
+    if (!existsSync(p))
+        return new Set();
+    const out = new Set();
+    try {
+        const content = readFileSync(p, "utf8");
+        // Match `## [1.2.3]` / `# v1.2.3` lines.
+        for (const m of content.matchAll(/^\s*#+\s*\[?v?(\d+\.\d+\.\d+(?:-[\w.-]+)?)\]?/gm)) {
+            out.add(m[1]);
+        }
+    }
+    catch { /* */ }
+    return out;
+}
+export function extractFactRefs(text) {
+    const out = [];
+    const seen = new Set();
+    const push = (ref) => {
+        const key = `${ref.kind}|${ref.value}`;
+        if (seen.has(key))
+            return;
+        seen.add(key);
+        out.push(ref);
+    };
+    for (const m of text.matchAll(SHA_RE)) {
+        const v = m[1];
+        if (v.length < 7)
+            continue;
+        if (!/[a-f]/.test(v))
+            continue; // pure-digit -> probably a number, not SHA
+        push({ kind: "sha", value: v.toLowerCase(), offset: m.index ?? 0 });
+    }
+    for (const m of text.matchAll(VERSION_RE)) {
+        // Use the FULL match (incl. optional "v") as the surface so hedging
+        // spans correctly; the verifier strips "v" for lookup.
+        push({ kind: "version", value: m[0], offset: m.index ?? 0 });
+    }
+    for (const m of text.matchAll(EMAIL_RE)) {
+        push({ kind: "email", value: m[0].toLowerCase(), offset: m.index ?? 0 });
+    }
+    return out;
+}
+export function verifyFacts(repoRoot, text) {
+    const refs = extractFactRefs(text);
+    const tags = gitListTags(repoRoot);
+    const changelog = changelogVersions(repoRoot);
+    const authors = gitListAuthorEmails(repoRoot);
+    const confirmed = [];
+    const suspects = [];
+    for (const ref of refs) {
+        if (ref.kind === "sha") {
+            if (gitCheckSha(repoRoot, ref.value))
+                confirmed.push(ref);
+            else
+                suspects.push({ ref, reason: `SHA ${ref.value} not found in git object database.`, confidence: 0.95 });
+        }
+        else if (ref.kind === "version") {
+            const numeric = ref.value.replace(/^v/i, "");
+            const inTags = tags.has(numeric) || tags.has(`v${numeric}`);
+            const inChangelog = changelog.has(numeric);
+            if (inTags || inChangelog)
+                confirmed.push(ref);
+            else
+                suspects.push({ ref, reason: `Version ${ref.value} not in git tags or CHANGELOG.md.`, confidence: 0.85 });
+        }
+        else {
+            if (authors.has(ref.value))
+                confirmed.push(ref);
+            else
+                suspects.push({ ref, reason: `Author email ${ref.value} not in git log authors.`, confidence: 0.8 });
+        }
+    }
+    const headline = `${refs.length} fact ref(s); ${confirmed.length} confirmed, ${suspects.length} suspect.`;
+    return { refs, confirmed, suspects, headline };
+}
+//# sourceMappingURL=sha_version_verifier.js.map

package/dist/precog/sha_version_verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sha_version_verifier.js","sourceRoot":"","sources":["../../src/precog/sha_version_verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAE9C,MAAM,MAAM,GAAG,wBAAwB,CAAC;AACxC,MAAM,UAAU,GAAG,qCAAqC,CAAC;AACzD,MAAM,QAAQ,GAAG,uCAAuC,CAAC;AAqBzD,SAAS,WAAW,CAAC,QAAgB,EAAE,GAAW;IAChD,IAAI,CAAC;QACH,QAAQ,CAAC,WAAW,QAAQ,iBAAiB,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACxF,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,KAAK,CAAC;IAAC,CAAC;AAC3B,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB;IACnC,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,QAAQ,CAAC,WAAW,QAAQ,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAChI,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACrE,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,GAAG,EAAE,CAAC;IAAC,CAAC;AAC/B,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAgB;IAC3C,IAAI,CAAC;QACH,MAAM,CAAC,GAAG,QAAQ,CAAC,WAAW,QAAQ,qCAAqC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QACvJ,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;YACpC,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,MAAM,CAAC;QAAC,OAAO,IAAI,GAAG,EAAE,CAAC;IAAC,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB;IACzC,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAC;IACzC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,GAAG,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACxC,yCAAyC;QACzC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,iDAAiD,CAAC,EAAE,CAAC;YACpF,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,GAAG,GAAc,EAAE,CAAC;IAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,CAAC,GAAY,EAAE,EAAE;QAC5B,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,CAAC,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAChB,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC3B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAAE,SAAS,CAAC,2CAA2C;QAC3E,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,oEAAoE;QACpE,uDAAuD;QACvD,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,QAAgB,EAAE,IAAY;IACxD,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,SAAS,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAc,EAAE,CAAC;IAChC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACvB,IAAI,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;gBACrD,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,GAAG,CAAC,KAAK,oCAAoC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9G,CAAC;aAAM,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC7C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC,CAAC;YAC5D,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,MAAM,IAAI,WAAW;gBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;gBAC1C,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,GAAG,CAAC,KAAK,mCAAmC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QACjH,CAAC;aAAM,CAAC;YACN,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;gBAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,gBAAgB,GAAG,CAAC,KAAK,0BAA0B,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,MAAM,iBAAiB,SAAS,CAAC,MAAM,eAAe,QAAQ,CAAC,MAAM,WAAW,CAAC;IAC1G,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC"}