@mneme-ai/sdk 2.55.0

package/dist/verify.d.ts

@@ -0,0 +1,39 @@
+/**
+ * @mneme-ai/sdk/verify — typed in-process claim verifier with the
+ * "wild" tagged template literal sugar:
+ *
+ *   await mneme.verify`Mneme is a CLI tool`
+ *   await mneme.verify`The human body has ${count} blood vessels`
+ *
+ * No SDK I've seen wires tagged templates to claim verification. The
+ * substitutions get serialised into the claim string before going to
+ * ACGV — keeps it deterministic + audit-friendly.
+ */
+import { acgv } from "@mneme-ai/core";
+import type { ClaimText, SdkEnvelope } from "./types.js";
+declare const runACGVAsync: typeof acgv.runACGVAsync;
+type ACGVResultLike = Awaited<ReturnType<typeof runACGVAsync>>;
+export interface VerifyOpts {
+    /** Working directory (for vaccine cache + karma writes). Default: cwd. */
+    cwd?: string;
+    /** Skip emitting a vaccine even on REFUTE. Default false. */
+    noEmitVaccine?: boolean;
+    /** Skip karma updates. Default false. */
+    noStake?: boolean;
+}
+export type VerifyResult = ACGVResultLike & {
+    latencyMs: number;
+};
+/** Plain function — call as `verify("claim text", opts)`. */
+export declare function verify(claim: string | ClaimText, opts?: VerifyOpts): Promise<SdkEnvelope<VerifyResult>>;
+/**
+ * Tagged template literal form — the "world-class premium" sugar.
+ *
+ *   const result = await verifyTagged`The body has ${count} vessels`;
+ *
+ * Substitutions are stringified + interleaved deterministically. The
+ * resulting claim text is what gets fed to ACGV (audit-friendly).
+ */
+export declare function verifyTagged(strings: TemplateStringsArray, ...subs: unknown[]): Promise<SdkEnvelope<VerifyResult>>;
+export {};
+//# sourceMappingURL=verify.d.ts.map

package/dist/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AACtC,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAGzD,QAAA,MAAQ,YAAY,0BAAS,CAAC;AAC9B,KAAK,cAAc,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,YAAY,CAAC,CAAC,CAAC;AAE/D,MAAM,WAAW,UAAU;IACzB,0EAA0E;IAC1E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,yCAAyC;IACzC,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,MAAM,YAAY,GAAG,cAAc,GAAG;IAAE,SAAS,EAAE,MAAM,CAAA;CAAE,CAAC;AAElE,6DAA6D;AAC7D,wBAAsB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE,IAAI,GAAE,UAAe,GAAG,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAgBjH;AAED;;;;;;;GAOG;AACH,wBAAsB,YAAY,CAAC,OAAO,EAAE,oBAAoB,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC,CAOxH"}

package/dist/verify.js

@@ -0,0 +1,51 @@
+/**
+ * @mneme-ai/sdk/verify — typed in-process claim verifier with the
+ * "wild" tagged template literal sugar:
+ *
+ *   await mneme.verify`Mneme is a CLI tool`
+ *   await mneme.verify`The human body has ${count} blood vessels`
+ *
+ * No SDK I've seen wires tagged templates to claim verification. The
+ * substitutions get serialised into the claim string before going to
+ * ACGV — keeps it deterministic + audit-friendly.
+ */
+import { acgv } from "@mneme-ai/core";
+import { getEventBus } from "./events.js";
+const { runACGVAsync } = acgv;
+/** Plain function — call as `verify("claim text", opts)`. */
+export async function verify(claim, opts = {}) {
+    const t0 = performance.now();
+    try {
+        const data = await runACGVAsync({
+            claim: String(claim),
+            repoRoot: opts.cwd ?? process.cwd(),
+            noEmitVaccine: opts.noEmitVaccine ?? true,
+            noStake: opts.noStake ?? true,
+        });
+        const latencyMs = +(performance.now() - t0).toFixed(2);
+        const out = { ...data, latencyMs };
+        getEventBus().emit({ kind: "verify.complete", at: Date.now(), data: { verdict: data.verdict, latencyMs } });
+        return { ok: true, data: out, latencyMs };
+    }
+    catch (e) {
+        return { ok: false, reason: e.message, latencyMs: +(performance.now() - t0).toFixed(2) };
+    }
+}
+/**
+ * Tagged template literal form — the "world-class premium" sugar.
+ *
+ *   const result = await verifyTagged`The body has ${count} vessels`;
+ *
+ * Substitutions are stringified + interleaved deterministically. The
+ * resulting claim text is what gets fed to ACGV (audit-friendly).
+ */
+export async function verifyTagged(strings, ...subs) {
+    let claim = "";
+    for (let i = 0; i < strings.length; i++) {
+        claim += strings[i];
+        if (i < subs.length)
+            claim += String(subs[i] ?? "");
+    }
+    return verify(claim);
+}
+//# sourceMappingURL=verify.js.map

package/dist/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../src/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEtC,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE1C,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;AAc9B,6DAA6D;AAC7D,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,KAAyB,EAAE,OAAmB,EAAE;IAC3E,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;IAC7B,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC;YAC9B,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC;YACpB,QAAQ,EAAE,IAAI,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE;YACnC,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,IAAI;YACzC,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,IAAI;SAC9B,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,GAAG,GAAiB,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC;QACjD,WAAW,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;QAC5G,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAC5C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAG,CAAW,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;IACtG,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAA6B,EAAE,GAAG,IAAe;IAClF,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM;YAAE,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}

package/package.json

@@ -0,0 +1,69 @@
+{
+  "name": "@mneme-ai/sdk",
+  "version": "2.55.0",
+  "description": "World-class premium SDK for Mneme — in-process native API for AI vendor embedding. 30-80× faster than CLI subprocess.",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    },
+    "./nemesis": {
+      "import": "./dist/nemesis.js",
+      "types": "./dist/nemesis.d.ts"
+    },
+    "./verify": {
+      "import": "./dist/verify.js",
+      "types": "./dist/verify.d.ts"
+    },
+    "./truth": {
+      "import": "./dist/truth.js",
+      "types": "./dist/truth.d.ts"
+    },
+    "./events": {
+      "import": "./dist/events.js",
+      "types": "./dist/events.d.ts"
+    },
+    "./types": {
+      "import": "./dist/types.js",
+      "types": "./dist/types.d.ts"
+    }
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/patsa2561-art/mneme-ai.git",
+    "directory": "packages/sdk"
+  },
+  "homepage": "https://github.com/patsa2561-art/mneme-ai#readme",
+  "bugs": {
+    "url": "https://github.com/patsa2561-art/mneme-ai/issues"
+  },
+  "license": "MIT",
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "scripts": {
+    "build": "tsc -b",
+    "clean": "tsc -b --clean"
+  },
+  "keywords": [
+    "ai",
+    "memory",
+    "verification",
+    "fingerprint",
+    "eu-ai-act",
+    "hmac",
+    "sdk",
+    "in-process",
+    "native"
+  ],
+  "dependencies": {
+    "@mneme-ai/core": "2.55.0"
+  },
+  "engines": {
+    "node": ">=22.13.0 <25.0.0"
+  }
+}