@mneme-ai/core 0.26.0 → 0.27.0

package/dist/audit/trace.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=trace.test.d.ts.map

package/dist/audit/trace.test.d.ts.map

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

package/dist/audit/trace.test.js

@@ -0,0 +1,198 @@
+import { describe, it, expect } from "vitest";
+import { COMMIT_SEP, DEFAULT_VENDOR_RULES, aiCommitCount, aiVendorBreakdown, detectAiVendor, parseCommitLog, parseShortstat, traceSession, } from "./trace.js";
+describe("audit/trace — detectAiVendor", () => {
+    it("detects Claude from Co-Authored-By trailer", () => {
+        const r = detectAiVendor({
+            message: "fix: bug\n\nCo-Authored-By: Claude <noreply@anthropic.com>",
+            authorEmail: "alice@example.com",
+        });
+        expect(r?.vendor).toBe("claude");
+        expect(r?.confidence).toBeGreaterThan(0.9);
+    });
+    it("detects Claude from anthropic email even if message is silent", () => {
+        const r = detectAiVendor({
+            message: "fix typo",
+            authorEmail: "noreply@anthropic.com",
+        });
+        expect(r?.vendor).toBe("claude");
+    });
+    it("detects Cursor from [Cursor] tag", () => {
+        const r = detectAiVendor({
+            message: "[Cursor] refactor handler",
+            authorEmail: "dev@example.com",
+        });
+        expect(r?.vendor).toBe("cursor");
+    });
+    it("detects Codex from 'Generated by Codex' line", () => {
+        const r = detectAiVendor({
+            message: "Generated by Codex.\n\nadd retry logic",
+            authorEmail: "dev@example.com",
+        });
+        expect(r?.vendor).toBe("codex");
+    });
+    it("detects Devin from message OR email", () => {
+        expect(detectAiVendor({
+            message: "(via devin.ai)",
+            authorEmail: "dev@example.com",
+        })?.vendor).toBe("devin");
+        expect(detectAiVendor({
+            message: "patch",
+            authorEmail: "agent@devin.ai",
+        })?.vendor).toBe("devin");
+    });
+    it("detects Sweep, Aider, Copilot", () => {
+        expect(detectAiVendor({
+            message: "Auto-PR by sweep.dev",
+            authorEmail: "x@x.com",
+        })?.vendor).toBe("sweep");
+        expect(detectAiVendor({
+            message: "via aider session",
+            authorEmail: "x@x.com",
+        })?.vendor).toBe("aider");
+        expect(detectAiVendor({
+            message: "fix\n\nCo-Authored-By: GitHub Copilot <copilot@github.com>",
+            authorEmail: "x@x.com",
+        })?.vendor).toBe("copilot");
+    });
+    it("returns undefined for human commits with no AI signal", () => {
+        expect(detectAiVendor({
+            message: "fix: a real bug",
+            authorEmail: "alice@example.com",
+        })).toBeUndefined();
+    });
+    it("DEFAULT_VENDOR_RULES is non-empty and covers the canonical vendors", () => {
+        const vendors = new Set(DEFAULT_VENDOR_RULES.map((r) => r.vendor));
+        for (const v of ["claude", "cursor", "codex", "devin", "sweep"]) {
+            expect(vendors.has(v)).toBe(true);
+        }
+    });
+});
+describe("audit/trace — parseCommitLog", () => {
+    it("parses a single commit block", () => {
+        const block = `aaaaaaa\tAlice\talice@x.com\tfix: bug\n${COMMIT_SEP}\n`;
+        const out = parseCommitLog(block);
+        expect(out).toHaveLength(1);
+        expect(out[0].hash).toBe("aaaaaaa");
+        expect(out[0].author).toBe("Alice");
+        expect(out[0].shortHash).toBe("aaaaaaa");
+    });
+    it("attaches AI detection per commit", () => {
+        const raw = `aaa\tAlice\tnoreply@anthropic.com\tfix: stuff\n${COMMIT_SEP}\n` +
+            `bbb\tBob\tbob@x.com\trefactor\n${COMMIT_SEP}\n`;
+        const out = parseCommitLog(raw);
+        expect(out).toHaveLength(2);
+        expect(out[0].likelyAI?.vendor).toBe("claude");
+        expect(out[1].likelyAI).toBeUndefined();
+    });
+    it("returns [] for empty input", () => {
+        expect(parseCommitLog("")).toEqual([]);
+        expect(parseCommitLog("   \n\n  ")).toEqual([]);
+    });
+    it("captures multi-line body", () => {
+        const raw = `aaa\tAlice\talice@x.com\tfix: thing\nbody line 1\nbody line 2\n${COMMIT_SEP}\n`;
+        const out = parseCommitLog(raw);
+        expect(out[0].message).toContain("body line 1");
+        expect(out[0].message).toContain("body line 2");
+    });
+    it("skips malformed header lines", () => {
+        const raw = `not-enough-tabs\n${COMMIT_SEP}\naaa\tAlice\talice@x.com\tok\n${COMMIT_SEP}\n`;
+        const out = parseCommitLog(raw);
+        expect(out).toHaveLength(1);
+        expect(out[0].hash).toBe("aaa");
+    });
+});
+describe("audit/trace — parseShortstat", () => {
+    it("parses standard --shortstat output", () => {
+        const s = " 4 files changed, 32 insertions(+), 7 deletions(-)";
+        expect(parseShortstat(s)).toEqual({ insertions: 32, deletions: 7 });
+    });
+    it("handles insertions-only", () => {
+        const s = " 1 file changed, 5 insertions(+)";
+        expect(parseShortstat(s)).toEqual({ insertions: 5, deletions: 0 });
+    });
+    it("returns zeros on empty input", () => {
+        expect(parseShortstat("")).toEqual({ insertions: 0, deletions: 0 });
+    });
+});
+describe("audit/trace — traceSession (mocked GitRunner)", () => {
+    function makeRunner(responses) {
+        return {
+            run(_cwd, args) {
+                const key = args.join(" ");
+                for (const [k, v] of Object.entries(responses)) {
+                    if (key.startsWith(k))
+                        return v;
+                }
+                return "";
+            },
+        };
+    }
+    it("returns empty trace when HEAD == baseline", async () => {
+        const runner = makeRunner({ "rev-parse HEAD": "abc\n" });
+        const t = await traceSession("/repo", "abc", runner);
+        expect(t.commits).toEqual([]);
+        expect(t.insertions).toBe(0);
+        expect(t.deletions).toBe(0);
+        expect(t.fromHash).toBe("abc");
+        expect(t.toHash).toBe("abc");
+    });
+    it("collects commits, files, and stats since baseline", async () => {
+        const runner = makeRunner({
+            "rev-parse HEAD": "newhead\n",
+            "log abc..HEAD": `aaa\tAlice\tnoreply@anthropic.com\tfix\n${COMMIT_SEP}\n` +
+                `bbb\tBob\tbob@x.com\trefactor\n${COMMIT_SEP}\n`,
+            "diff --shortstat abc..HEAD": " 2 files changed, 10 insertions(+), 3 deletions(-)",
+            "diff --name-only abc..HEAD": "src/a.ts\nsrc/b.ts\n",
+        });
+        const t = await traceSession("/repo", "abc", runner);
+        expect(t.commits).toHaveLength(2);
+        expect(t.commits[0].likelyAI?.vendor).toBe("claude");
+        expect(t.filesChanged).toEqual(["src/a.ts", "src/b.ts"]);
+        expect(t.insertions).toBe(10);
+        expect(t.deletions).toBe(3);
+        expect(t.fromHash).toBe("abc");
+        expect(t.toHash).toBe("newhead");
+    });
+    it("dedupes file paths across commits", async () => {
+        const runner = makeRunner({
+            "rev-parse HEAD": "newhead\n",
+            "log abc..HEAD": `aaa\tA\ta@x.com\tedit\n${COMMIT_SEP}\n`,
+            "diff --shortstat abc..HEAD": "",
+            "diff --name-only abc..HEAD": "src/a.ts\nsrc/a.ts\nsrc/b.ts\n",
+        });
+        const t = await traceSession("/repo", "abc", runner);
+        expect(t.filesChanged).toEqual(["src/a.ts", "src/b.ts"]);
+    });
+});
+describe("audit/trace — aggregations", () => {
+    it("aiCommitCount + aiVendorBreakdown work together", () => {
+        const trace = {
+            fromHash: "x",
+            toHash: "y",
+            commits: [
+                { hash: "1", shortHash: "1", author: "A", authorEmail: "a", message: "m", likelyAI: { vendor: "claude", confidence: 0.95 } },
+                { hash: "2", shortHash: "2", author: "B", authorEmail: "b", message: "m", likelyAI: { vendor: "claude", confidence: 0.95 } },
+                { hash: "3", shortHash: "3", author: "C", authorEmail: "c", message: "m", likelyAI: { vendor: "cursor", confidence: 0.9 } },
+                { hash: "4", shortHash: "4", author: "D", authorEmail: "d", message: "m" },
+            ],
+            filesChanged: [],
+            insertions: 0,
+            deletions: 0,
+        };
+        expect(aiCommitCount(trace)).toBe(3);
+        const b = aiVendorBreakdown(trace);
+        expect(b[0]).toEqual({ vendor: "claude", count: 2 });
+        expect(b[1]).toEqual({ vendor: "cursor", count: 1 });
+    });
+    it("aiVendorBreakdown returns [] when no AI commits", () => {
+        expect(aiVendorBreakdown({
+            fromHash: "x",
+            toHash: "y",
+            commits: [{ hash: "1", shortHash: "1", author: "A", authorEmail: "a", message: "m" }],
+            filesChanged: [],
+            insertions: 0,
+            deletions: 0,
+        })).toEqual([]);
+    });
+});
+//# sourceMappingURL=trace.test.js.map

package/dist/audit/trace.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace.test.js","sourceRoot":"","sources":["../../src/audit/trace.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,aAAa,EACb,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,cAAc,EACd,YAAY,GAEb,MAAM,YAAY,CAAC;AAEpB,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,OAAO,EAAE,4DAA4D;YACrE,WAAW,EAAE,mBAAmB;SACjC,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,OAAO,EAAE,UAAU;YACnB,WAAW,EAAE,uBAAuB;SACrC,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,OAAO,EAAE,2BAA2B;YACpC,WAAW,EAAE,iBAAiB;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,cAAc,CAAC;YACvB,OAAO,EAAE,wCAAwC;YACjD,WAAW,EAAE,iBAAiB;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CACJ,cAAc,CAAC;YACb,OAAO,EAAE,gBAAgB;YACzB,WAAW,EAAE,iBAAiB;SAC/B,CAAC,EAAE,MAAM,CACX,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChB,MAAM,CACJ,cAAc,CAAC;YACb,OAAO,EAAE,OAAO;YAChB,WAAW,EAAE,gBAAgB;SAC9B,CAAC,EAAE,MAAM,CACX,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CACJ,cAAc,CAAC;YACb,OAAO,EAAE,sBAAsB;YAC/B,WAAW,EAAE,SAAS;SACvB,CAAC,EAAE,MAAM,CACX,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChB,MAAM,CACJ,cAAc,CAAC;YACb,OAAO,EAAE,mBAAmB;YAC5B,WAAW,EAAE,SAAS;SACvB,CAAC,EAAE,MAAM,CACX,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChB,MAAM,CACJ,cAAc,CAAC;YACb,OAAO,EAAE,4DAA4D;YACrE,WAAW,EAAE,SAAS;SACvB,CAAC,EAAE,MAAM,CACX,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CACJ,cAAc,CAAC;YACb,OAAO,EAAE,iBAAiB;YAC1B,WAAW,EAAE,mBAAmB;SACjC,CAAC,CACH,CAAC,aAAa,EAAE,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,KAAK,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;YAChE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,0CAA0C,UAAU,IAAI,CAAC;QACvE,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GACP,kDAAkD,UAAU,IAAI;YAChE,kCAAkC,UAAU,IAAI,CAAC;QACnD,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvC,MAAM,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,kEAAkE,UAAU,IAAI,CAAC;QAC7F,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,oBAAoB,UAAU,kCAAkC,UAAU,IAAI,CAAC;QAC3F,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,oDAAoD,CAAC;QAC/D,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,kCAAkC,CAAC;QAC7C,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,SAAS,UAAU,CAAC,SAAiC;QACnD,OAAO;YACL,GAAG,CAAC,IAAI,EAAE,IAAI;gBACZ,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;oBAC/C,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;wBAAE,OAAO,CAAC,CAAC;gBAClC,CAAC;gBACD,OAAO,EAAE,CAAC;YACZ,CAAC;SACF,CAAC;IACJ,CAAC;IAED,EAAE,CAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,MAAM,GAAG,UAAU,CAAC;YACxB,gBAAgB,EAAE,WAAW;YAC7B,eAAe,EACb,2CAA2C,UAAU,IAAI;gBACzD,kCAAkC,UAAU,IAAI;YAClD,4BAA4B,EAAE,oDAAoD;YAClF,4BAA4B,EAAE,sBAAsB;SACrD,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtD,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,MAAM,GAAG,UAAU,CAAC;YACxB,gBAAgB,EAAE,WAAW;YAC7B,eAAe,EAAE,0BAA0B,UAAU,IAAI;YACzD,4BAA4B,EAAE,EAAE;YAChC,4BAA4B,EAAE,gCAAgC;SAC/D,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG;YACZ,QAAQ,EAAE,GAAG;YACb,MAAM,EAAE,GAAG;YACX,OAAO,EAAE;gBACP,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;gBAC5H,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE;gBAC5H,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE;gBAC3H,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;aAC3E;YACD,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,CAAC;SACb,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CACJ,iBAAiB,CAAC;YAChB,QAAQ,EAAE,GAAG;YACb,MAAM,EAAE,GAAG;YACX,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YACrF,YAAY,EAAE,EAAE;YAChB,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,CAAC;SACb,CAAC,CACH,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/audit/verify.d.ts

@@ -0,0 +1,61 @@
+/**
+ * AI Session Audit — VERIFY module.
+ *
+ * "Leviathan-style narrative check" — compare the AI's COMMIT MESSAGE
+ * (the draft) against the actual git diff (the strict target).  Every
+ * claim the AI made must be supported by the change set; un-supported
+ * claims are flagged "contradicted" so reviewers see exactly what was
+ * over-promised.
+ *
+ * Inspired by `verifyAnswerLeviathan` in `retrieve/leviathan.ts`:
+ * draft/target speculative-decoding loop, single pass, no re-draft.
+ *
+ * Pure functions.  No I/O.
+ */
+export type ClaimKind = "additive" | "fix" | "negation" | "scope" | "other";
+export interface ClaimVerdictRow {
+    claim: string;
+    verdict: "verified" | "contradicted" | "unverifiable";
+    reason: string;
+}
+export interface NarrativeCheck {
+    commitHash: string;
+    /** Claims extracted from the commit message. */
+    claims: Array<{
+        text: string;
+        kind: ClaimKind;
+    }>;
+    /** Files actually touched in the diff. */
+    filesTouched: string[];
+    /** Per-claim verifications. */
+    verifications: ClaimVerdictRow[];
+    /** Fraction of verifiable claims that verified — `unverifiable` excluded. */
+    narrativeTrustScore: number;
+}
+/**
+ * Split the commit message into claim sentences.  We use a permissive
+ * sentence splitter (period / newline) and skip anything that looks
+ * like trailers (`Co-Authored-By:`, `Signed-off-by:`, etc.) since those
+ * aren't claims about the diff.
+ *
+ * Subtlety: we DON'T treat `.` as a sentence boundary when it's inside
+ * what looks like a file path (`db.ts`, `src/foo.ts`).  Otherwise the
+ * negation claim "no change to db.ts" gets split into useless fragments.
+ */
+export declare function extractClaimSentences(message: string): string[];
+/** Classify a single sentence into a coarse claim kind. */
+export declare function classifyClaim(sentence: string): ClaimKind;
+/** Best-effort: does any file in `filesTouched` end with `path` (or contain it)? */
+export declare function fileTouched(filesTouched: string[], path: string): boolean;
+/**
+ * Run the narrative check.  Returns per-claim verdicts and an aggregate
+ * trust score.  When no claims are verifiable (all "unverifiable"), we
+ * default trust to 1.0 (the message simply didn't make a checkable
+ * promise — refusing to score that as a failure).
+ */
+export declare function verifyNarrative(commitMessage: string, diff: string, filesTouched: string[], commitHash?: string): NarrativeCheck;
+/** Convenience: aggregate trust across many commits (mean of per-commit scores). */
+export declare function aggregateNarrativeTrust(checks: NarrativeCheck[]): number;
+/** Did any commit in the set have a contradicted claim? */
+export declare function hasContradiction(checks: NarrativeCheck[]): boolean;
+//# sourceMappingURL=verify.d.ts.map

package/dist/audit/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/audit/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,MAAM,MAAM,SAAS,GAAG,UAAU,GAAG,KAAK,GAAG,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC;AAE5E,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,UAAU,GAAG,cAAc,GAAG,cAAc,CAAC;IACtD,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC,CAAC;IACjD,0CAA0C;IAC1C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,+BAA+B;IAC/B,aAAa,EAAE,eAAe,EAAE,CAAC;IACjC,6EAA6E;IAC7E,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AA0BD;;;;;;;;;GASG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAoB/D;AAED,2DAA2D;AAC3D,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAMzD;AAeD,oFAAoF;AACpF,wBAAgB,WAAW,CAAC,YAAY,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CASzE;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,EAAE,EACtB,UAAU,GAAE,MAAW,GACtB,cAAc,CA4BhB;AA6HD,oFAAoF;AACpF,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,MAAM,CAIxE;AAED,2DAA2D;AAC3D,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,cAAc,EAAE,GAAG,OAAO,CAOlE"}

package/dist/audit/verify.js

@@ -0,0 +1,278 @@
+/**
+ * AI Session Audit — VERIFY module.
+ *
+ * "Leviathan-style narrative check" — compare the AI's COMMIT MESSAGE
+ * (the draft) against the actual git diff (the strict target).  Every
+ * claim the AI made must be supported by the change set; un-supported
+ * claims are flagged "contradicted" so reviewers see exactly what was
+ * over-promised.
+ *
+ * Inspired by `verifyAnswerLeviathan` in `retrieve/leviathan.ts`:
+ * draft/target speculative-decoding loop, single pass, no re-draft.
+ *
+ * Pure functions.  No I/O.
+ */
+const NEGATION_RES = [
+    /\bno\s+changes?\s+to\s+([\w./\-]+)/i,
+    /\bdoes\s+not\s+touch\s+([\w./\-]+)/i,
+    /\bwithout\s+modifying\s+([\w./\-]+)/i,
+    /\bleav(?:e|ing|es)\s+([\w./\-]+)\s+(?:alone|unchanged)/i,
+];
+const ADDITIVE_RES = [
+    /\badds?\s+([\w]+(?:\s+\w+){0,3})/i,
+    /\bintroduces?\s+([\w]+(?:\s+\w+){0,3})/i,
+    /\bcreates?\s+([\w]+(?:\s+\w+){0,3})/i,
+    /\bnew\s+(?:function|class|module|file)\s+([\w$]+)/i,
+];
+const FIX_RES = [
+    /\bfix(?:es|ed)?\s+(?:a\s+)?(typo|bug|crash|regression|race|leak|null)/i,
+    /\bcorrects?\s+(?:a\s+)?(typo|bug|crash|regression|race|leak|null)/i,
+];
+const SCOPE_RES = [
+    /\bonly\s+(?:touches|modifies|affects)\s+([\w./\-]+)/i,
+    /\bjust\s+a?\s*(typo|comment|docstring)/i,
+];
+/**
+ * Split the commit message into claim sentences.  We use a permissive
+ * sentence splitter (period / newline) and skip anything that looks
+ * like trailers (`Co-Authored-By:`, `Signed-off-by:`, etc.) since those
+ * aren't claims about the diff.
+ *
+ * Subtlety: we DON'T treat `.` as a sentence boundary when it's inside
+ * what looks like a file path (`db.ts`, `src/foo.ts`).  Otherwise the
+ * negation claim "no change to db.ts" gets split into useless fragments.
+ */
+export function extractClaimSentences(message) {
+    if (!message)
+        return [];
+    const out = [];
+    for (const line of message.split(/\n+/)) {
+        const trimmed = line.trim();
+        if (!trimmed)
+            continue;
+        if (/^[A-Z][\w-]+:\s/.test(trimmed))
+            continue; // trailers
+        if (/^\s*[*-]\s/.test(trimmed)) {
+            out.push(trimmed.replace(/^\s*[*-]\s+/, "").trim());
+            continue;
+        }
+        // Sentence boundary: `[.!?]` followed by whitespace OR end-of-line.
+        // This preserves filename dots like "db.ts" inside a sentence.
+        const parts = trimmed
+            .split(/[.!?]+(?=\s|$)/)
+            .map((s) => s.trim())
+            .filter((s) => s.length >= 5);
+        out.push(...parts);
+    }
+    return out;
+}
+/** Classify a single sentence into a coarse claim kind. */
+export function classifyClaim(sentence) {
+    for (const re of NEGATION_RES)
+        if (re.test(sentence))
+            return "negation";
+    for (const re of FIX_RES)
+        if (re.test(sentence))
+            return "fix";
+    for (const re of ADDITIVE_RES)
+        if (re.test(sentence))
+            return "additive";
+    for (const re of SCOPE_RES)
+        if (re.test(sentence))
+            return "scope";
+    return "other";
+}
+/**
+ * Extract a file/path mention from a sentence — only `foo/bar.ts`-style
+ * tokens (must contain a dot OR a slash).  We use this for negation +
+ * scope claims.
+ */
+function extractPath(sentence) {
+    const m = sentence.match(/\b([\w./\-]+(?:\.\w+|\/[\w./\-]+))\b/);
+    if (!m)
+        return undefined;
+    const tok = m[1] ?? "";
+    if (!/[./]/.test(tok))
+        return undefined;
+    return tok;
+}
+/** Best-effort: does any file in `filesTouched` end with `path` (or contain it)? */
+export function fileTouched(filesTouched, path) {
+    const norm = path.replace(/^\.\//, "").toLowerCase();
+    for (const f of filesTouched) {
+        const lf = f.toLowerCase();
+        if (lf === norm)
+            return true;
+        if (lf.endsWith("/" + norm))
+            return true;
+        if (norm.includes("/") && lf.includes(norm))
+            return true;
+    }
+    return false;
+}
+/**
+ * Run the narrative check.  Returns per-claim verdicts and an aggregate
+ * trust score.  When no claims are verifiable (all "unverifiable"), we
+ * default trust to 1.0 (the message simply didn't make a checkable
+ * promise — refusing to score that as a failure).
+ */
+export function verifyNarrative(commitMessage, diff, filesTouched, commitHash = "") {
+    const sentences = extractClaimSentences(commitMessage);
+    const claims = sentences.map((text) => ({ text, kind: classifyClaim(text) }));
+    const verifications = [];
+    // Counters for the trust score.
+    let verifiable = 0;
+    let verified = 0;
+    for (const claim of claims) {
+        const v = verifyOneClaim(claim, diff, filesTouched);
+        verifications.push(v);
+        if (v.verdict !== "unverifiable") {
+            verifiable += 1;
+            if (v.verdict === "verified")
+                verified += 1;
+        }
+    }
+    const narrativeTrustScore = verifiable === 0 ? 1.0 : Number((verified / verifiable).toFixed(2));
+    return {
+        commitHash,
+        claims,
+        filesTouched,
+        verifications,
+        narrativeTrustScore,
+    };
+}
+function verifyOneClaim(claim, diff, filesTouched) {
+    const text = claim.text;
+    switch (claim.kind) {
+        case "negation": {
+            // "no change to X" → contradicted iff X is in filesTouched.
+            const path = extractPath(text);
+            if (!path) {
+                return {
+                    claim: text,
+                    verdict: "unverifiable",
+                    reason: "negation claim with no specific file/path to check",
+                };
+            }
+            if (fileTouched(filesTouched, path)) {
+                return {
+                    claim: text,
+                    verdict: "contradicted",
+                    reason: `claim says "${path}" untouched, but diff modifies it`,
+                };
+            }
+            return {
+                claim: text,
+                verdict: "verified",
+                reason: `path "${path}" is not in the diff`,
+            };
+        }
+        case "additive": {
+            // Look for a `+function|class|interface|export <name>` line in the diff.
+            const tokens = text.match(/\b(?:function|class|interface|module|export|file)\s+([A-Za-z_$][\w$]*)/i);
+            const named = tokens ? tokens[1] : undefined;
+            if (named) {
+                const re = new RegExp(`^\\+.*\\b${escapeRe(named)}\\b`, "m");
+                if (re.test(diff)) {
+                    return {
+                        claim: text,
+                        verdict: "verified",
+                        reason: `diff contains an additive line referencing "${named}"`,
+                    };
+                }
+                return {
+                    claim: text,
+                    verdict: "contradicted",
+                    reason: `claim says "added ${named}" but no additive line references that name`,
+                };
+            }
+            // No specific token — just sanity check there ARE additions.
+            if (!/^\+/m.test(diff)) {
+                return {
+                    claim: text,
+                    verdict: "contradicted",
+                    reason: "claim says additive but diff has no `+` lines",
+                };
+            }
+            return {
+                claim: text,
+                verdict: "unverifiable",
+                reason: "additive claim is too generic to verify against diff",
+            };
+        }
+        case "fix": {
+            // "fix typo" but diff is huge → suspicious; we mark unverifiable
+            // unless the whole diff is tiny (then verified).
+            const addLines = (diff.match(/^\+/gm) ?? []).length;
+            const delLines = (diff.match(/^-/gm) ?? []).length;
+            const churn = addLines + delLines;
+            // heuristic: typo fix should be < 20 lines of churn.
+            if (/typo/i.test(text) && churn > 20) {
+                return {
+                    claim: text,
+                    verdict: "contradicted",
+                    reason: `claim is "fix typo" but diff has ${churn} +/- lines (suspicious)`,
+                };
+            }
+            return {
+                claim: text,
+                verdict: churn > 0 ? "verified" : "contradicted",
+                reason: churn > 0
+                    ? `diff has ${churn} +/- lines consistent with a fix`
+                    : "claim says fix but diff is empty",
+            };
+        }
+        case "scope": {
+            const path = extractPath(text);
+            if (!path) {
+                return {
+                    claim: text,
+                    verdict: "unverifiable",
+                    reason: "scope claim has no specific file to check",
+                };
+            }
+            // "only touches X" → fail iff any file outside X is touched.
+            const stray = filesTouched.find((f) => !fileTouched([f], path));
+            if (stray) {
+                return {
+                    claim: text,
+                    verdict: "contradicted",
+                    reason: `claim says "only ${path}" but diff also touches "${stray}"`,
+                };
+            }
+            return {
+                claim: text,
+                verdict: "verified",
+                reason: `every touched file matches the scope "${path}"`,
+            };
+        }
+        case "other":
+        default:
+            return {
+                claim: text,
+                verdict: "unverifiable",
+                reason: "no rule matches this claim shape",
+            };
+    }
+}
+function escapeRe(s) {
+    return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+/** Convenience: aggregate trust across many commits (mean of per-commit scores). */
+export function aggregateNarrativeTrust(checks) {
+    if (checks.length === 0)
+        return 1.0;
+    const sum = checks.reduce((s, c) => s + c.narrativeTrustScore, 0);
+    return Number((sum / checks.length).toFixed(2));
+}
+/** Did any commit in the set have a contradicted claim? */
+export function hasContradiction(checks) {
+    for (const c of checks) {
+        for (const v of c.verifications) {
+            if (v.verdict === "contradicted")
+                return true;
+        }
+    }
+    return false;
+}
+//# sourceMappingURL=verify.js.map

package/dist/audit/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/audit/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAsBH,MAAM,YAAY,GAAG;IACnB,qCAAqC;IACrC,qCAAqC;IACrC,sCAAsC;IACtC,yDAAyD;CAC1D,CAAC;AAEF,MAAM,YAAY,GAAG;IACnB,mCAAmC;IACnC,yCAAyC;IACzC,sCAAsC;IACtC,oDAAoD;CACrD,CAAC;AAEF,MAAM,OAAO,GAAG;IACd,wEAAwE;IACxE,oEAAoE;CACrE,CAAC;AAEF,MAAM,SAAS,GAAG;IAChB,sDAAsD;IACtD,yCAAyC;CAC1C,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAe;IACnD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,SAAS;QACvB,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,SAAS,CAAC,WAAW;QAC1D,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACpD,SAAS;QACX,CAAC;QACD,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,KAAK,GAAG,OAAO;aAClB,KAAK,CAAC,gBAAgB,CAAC;aACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;aACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QAChC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,aAAa,CAAC,QAAgB;IAC5C,KAAK,MAAM,EAAE,IAAI,YAAY;QAAE,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,UAAU,CAAC;IACxE,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;IAC9D,KAAK,MAAM,EAAE,IAAI,YAAY;QAAE,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,UAAU,CAAC;IACxE,KAAK,MAAM,EAAE,IAAI,SAAS;QAAE,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,OAAO,CAAC;IAClE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,QAAgB;IACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACvB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,WAAW,CAAC,YAAsB,EAAE,IAAY;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,IAAI,EAAE,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC7B,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzC,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;IAC3D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,aAAqB,EACrB,IAAY,EACZ,YAAsB,EACtB,aAAqB,EAAE;IAEvB,MAAM,SAAS,GAAG,qBAAqB,CAAC,aAAa,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,aAAa,GAAsB,EAAE,CAAC;IAE5C,gCAAgC;IAChC,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,QAAQ,GAAG,CAAC,CAAC;IAEjB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,CAAC,CAAC;QACpD,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc,EAAE,CAAC;YACjC,UAAU,IAAI,CAAC,CAAC;YAChB,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU;gBAAE,QAAQ,IAAI,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,MAAM,mBAAmB,GACvB,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAEtE,OAAO;QACL,UAAU;QACV,MAAM;QACN,YAAY;QACZ,aAAa;QACb,mBAAmB;KACpB,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CACrB,KAAwC,EACxC,IAAY,EACZ,YAAsB;IAEtB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,4DAA4D;YAC5D,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,oDAAoD;iBAC7D,CAAC;YACJ,CAAC;YACD,IAAI,WAAW,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC;gBACpC,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,eAAe,IAAI,mCAAmC;iBAC/D,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,UAAU;gBACnB,MAAM,EAAE,SAAS,IAAI,sBAAsB;aAC5C,CAAC;QACJ,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,yEAAyE;YACzE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,yEAAyE,CAAC,CAAC;YACrG,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC7C,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,YAAY,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;gBAC7D,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAClB,OAAO;wBACL,KAAK,EAAE,IAAI;wBACX,OAAO,EAAE,UAAU;wBACnB,MAAM,EAAE,+CAA+C,KAAK,GAAG;qBAChE,CAAC;gBACJ,CAAC;gBACD,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,qBAAqB,KAAK,6CAA6C;iBAChF,CAAC;YACJ,CAAC;YACD,6DAA6D;YAC7D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,+CAA+C;iBACxD,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,sDAAsD;aAC/D,CAAC;QACJ,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,iEAAiE;YACjE,iDAAiD;YACjD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YACpD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;YACnD,MAAM,KAAK,GAAG,QAAQ,GAAG,QAAQ,CAAC;YAClC,qDAAqD;YACrD,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;gBACrC,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,oCAAoC,KAAK,yBAAyB;iBAC3E,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc;gBAChD,MAAM,EAAE,KAAK,GAAG,CAAC;oBACf,CAAC,CAAC,YAAY,KAAK,kCAAkC;oBACrD,CAAC,CAAC,kCAAkC;aACvC,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,2CAA2C;iBACpD,CAAC;YACJ,CAAC;YACD,6DAA6D;YAC7D,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;YAChE,IAAI,KAAK,EAAE,CAAC;gBACV,OAAO;oBACL,KAAK,EAAE,IAAI;oBACX,OAAO,EAAE,cAAc;oBACvB,MAAM,EAAE,oBAAoB,IAAI,4BAA4B,KAAK,GAAG;iBACrE,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,UAAU;gBACnB,MAAM,EAAE,yCAAyC,IAAI,GAAG;aACzD,CAAC;QACJ,CAAC;QACD,KAAK,OAAO,CAAC;QACb;YACE,OAAO;gBACL,KAAK,EAAE,IAAI;gBACX,OAAO,EAAE,cAAc;gBACvB,MAAM,EAAE,kCAAkC;aAC3C,CAAC;IACN,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,uBAAuB,CAAC,MAAwB;IAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACpC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;IAClE,OAAO,MAAM,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,MAAwB;IACvD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,CAAC,OAAO,KAAK,cAAc;gBAAE,OAAO,IAAI,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/audit/verify.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=verify.test.d.ts.map

package/dist/audit/verify.test.d.ts.map

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