@mneme-ai/core 2.78.0 → 2.80.0

package/dist/flight_recorder/flight_recorder.test.js

@@ -0,0 +1,185 @@
+/**
+ * v2.80.0 — FLIGHT RECORDER pinned + QUAN (property/fuzz) tests.
+ *
+ *   Pinned (F):
+ *     F1 record → chain verifies offline
+ *     F2 truth-delta classifier (MATCH / CONTRADICT / UNVERIFIED)
+ *     F3 replay pinpoints the first incident + counts
+ *     F4 seal → verifySeal; wrong head rejected
+ *     F5 every frame verifies over-the-wire (serialization survives)
+ *
+ *   QUAN (Q) — exhaustive property/fuzz invariants (the "weird" tests):
+ *     Q1 N random frames → chain ALWAYS verifies (integrity invariant)
+ *     Q2 tamper at EVERY position → verify ALWAYS fails (no silent pass)
+ *     Q3 swap ANY two frames → chain breaks (causal order is load-bearing)
+ *     Q4 a PREFIX of a chain is valid; dropping a MIDDLE frame breaks it
+ *     Q5 classifyTruthDelta is total (never throws) over fuzz + deterministic
+ *     Q6 seal commits the head; tampering a frame post-seal is caught
+ */
+import { describe, it, expect } from "vitest";
+import { mkdtempSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import { record, readCdr, verifyCdr, replay, seal, verifySeal, classifyTruthDelta, } from "./index.js";
+import { verifyChain } from "../notary/index.js";
+const repo = () => mkdtempSync(join(tmpdir(), "mneme-flight-"));
+describe("v2.80.0 F1 — record + verify (PINNED)", () => {
+    it("F1.1 a recorded sequence verifies offline + chains", () => {
+        const r = repo();
+        record(r, { agent: "claude", kind: "action", action: "edit file a.ts" });
+        record(r, { agent: "claude", kind: "tool-call", action: "run tests", claim: "all pass", observedReality: "all pass" });
+        const v = verifyCdr(r);
+        expect(v.valid).toBe(true);
+        expect(v.frames).toBe(2);
+        expect(readCdr(r)[1].prev).toBe(readCdr(r)[0].receiptId);
+    });
+});
+describe("v2.80.0 F2 — truth-delta classifier (PINNED)", () => {
+    it("F2.1 MATCH / CONTRADICT / UNVERIFIED", () => {
+        expect(classifyTruthDelta("19 vessels", "19 vessels")).toBe("MATCH");
+        expect(classifyTruthDelta("the file exists", "no such file — missing")).toBe("CONTRADICT");
+        expect(classifyTruthDelta("count is 400", "count is 100000")).toBe("CONTRADICT");
+        expect(classifyTruthDelta("react 19 ships rsc", "react 19 ships rsc by default")).toBe("MATCH");
+        expect(classifyTruthDelta("the sky is blue", "bananas are yellow")).toBe("UNVERIFIED");
+        expect(classifyTruthDelta(undefined, "x")).toBe("UNVERIFIED");
+    });
+    it("F2.2 explicit caller verdict overrides the heuristic", () => {
+        const r = repo();
+        const f = record(r, { agent: "a", action: "x", claim: "same", observedReality: "same", truthDelta: "CONTRADICT" });
+        expect(f.truthDelta).toBe("CONTRADICT"); // caller wins even though heuristic would MATCH
+    });
+});
+describe("v2.80.0 F3 — replay (PINNED)", () => {
+    it("F3.1 finds the first incident + counts", () => {
+        const r = repo();
+        record(r, { agent: "a", action: "step 1", claim: "ok", observedReality: "ok" }); // MATCH
+        record(r, { agent: "a", action: "step 2" }); // UNVERIFIED
+        record(r, { agent: "a", action: "step 3", claim: "no bug", observedReality: "bug: refuted" }); // CONTRADICT
+        record(r, { agent: "a", action: "step 4", claim: "x", observedReality: "false" }); // CONTRADICT
+        const rep = replay(r);
+        expect(rep.frames).toBe(4);
+        expect(rep.chainValid).toBe(true);
+        expect(rep.incidentSeq).toBe(2); // first CONTRADICT is seq #2 (0-indexed step 3)
+        expect(rep.counts).toEqual({ match: 1, contradict: 2, unverified: 1 });
+    });
+});
+describe("v2.80.0 F4 — seal (PINNED)", () => {
+    it("F4.1 seal verifies + commits the head; a wrong head is rejected", () => {
+        const r = repo();
+        record(r, { agent: "a", action: "x" });
+        const head = readCdr(r)[0].receiptId;
+        const s = seal(r);
+        expect(s.head).toBe(head);
+        expect(verifySeal(s, head).valid).toBe(true);
+        expect(verifySeal(s, "deadbeef").valid).toBe(false);
+    });
+});
+describe("v2.80.0 F5 — over-the-wire (PINNED)", () => {
+    it("F5.1 each frame verifies after JSON round-trip (third party, offline)", () => {
+        const r = repo();
+        record(r, { agent: "a", action: "x", reasoning: "because y" });
+        record(r, { agent: "a", action: "z", claim: "c", observedReality: "c" });
+        const wire = JSON.parse(JSON.stringify(readCdr(r)));
+        expect(verifyChain(wire).valid).toBe(true);
+    });
+});
+// ─────────────────────────── QUAN (property / fuzz) ───────────────────────────
+const KINDS = ["action", "decision", "claim", "tool-call", "payment", "observation"];
+function randFrame(i) {
+    const seedy = (n) => (i * 2654435761 + n * 40503) >>> 0;
+    const pick = (arr, n) => arr[seedy(n) % arr.length];
+    const withClaim = seedy(3) % 2 === 0;
+    return {
+        agent: pick(["claude", "gpt", "gemini", "grok", "cursor"], 1),
+        kind: pick(KINDS, 2),
+        action: `op-${i}-${seedy(4).toString(36)}`,
+        ...(withClaim ? { claim: `claim ${seedy(5) % 100}`, observedReality: `reality ${seedy(6) % 100}` } : {}),
+    };
+}
+describe("v2.80.0 Q1-Q4 — chain integrity invariants (QUAN)", () => {
+    it("Q1 N random frames → the chain ALWAYS verifies", () => {
+        const r = repo();
+        const N = 40;
+        for (let i = 0; i < N; i++)
+            record(r, randFrame(i));
+        const v = verifyCdr(r);
+        expect(v.valid).toBe(true);
+        expect(v.frames).toBe(N);
+    });
+    it("Q2 tampering ANY field at EVERY position → verify ALWAYS fails", () => {
+        const r = repo();
+        for (let i = 0; i < 12; i++)
+            record(r, randFrame(i));
+        const chain = readCdr(r);
+        for (let i = 0; i < chain.length; i++) {
+            // tamper the payload (action) of frame i — its signature must now fail.
+            const mutated = chain.map((c, j) => j === i
+                ? { ...c, payload: { ...c.payload, action: "TAMPERED" } }
+                : c);
+            expect(verifyChain(mutated).valid, `tamper at ${i} must fail`).toBe(false);
+            // also tamper the subject (a body field outside payload)
+            const mutated2 = chain.map((c, j) => j === i ? { ...c, subject: "evil" } : c);
+            expect(verifyChain(mutated2).valid, `subject tamper at ${i} must fail`).toBe(false);
+        }
+    });
+    it("Q3 swapping ANY two frames breaks the causal chain", () => {
+        const r = repo();
+        for (let i = 0; i < 8; i++)
+            record(r, randFrame(i));
+        const chain = readCdr(r);
+        expect(verifyChain(chain).valid).toBe(true);
+        for (let i = 0; i < chain.length; i++) {
+            for (let j = i + 1; j < chain.length; j++) {
+                const swapped = chain.slice();
+                [swapped[i], swapped[j]] = [swapped[j], swapped[i]];
+                expect(verifyChain(swapped).valid, `swap ${i}<->${j} must break`).toBe(false);
+            }
+        }
+    });
+    it("Q4 a PREFIX is valid; dropping a MIDDLE frame breaks the chain", () => {
+        const r = repo();
+        for (let i = 0; i < 10; i++)
+            record(r, randFrame(i));
+        const chain = readCdr(r);
+        for (let k = 1; k <= chain.length; k++) {
+            expect(verifyChain(chain.slice(0, k)).valid, `prefix len ${k}`).toBe(true);
+        }
+        // drop a middle frame → the following frame's prev no longer matches.
+        const holed = chain.filter((_, idx) => idx !== 4);
+        expect(verifyChain(holed).valid).toBe(false);
+    });
+});
+describe("v2.80.0 Q5 — truth-delta is total + deterministic (QUAN)", () => {
+    it("Q5.1 never throws over fuzz inputs + is deterministic", () => {
+        const samples = [];
+        for (let i = 0; i < 200; i++) {
+            const s = (n) => (((i + 1) * (n * 7 + 3)) % 13 === 0) ? undefined : `tok ${(i * n) % 97} ${(i % 3 === 0) ? "false" : "ok"} ${i % 100}`;
+            samples.push([s(1), s(2)]);
+        }
+        for (const [a, b] of samples) {
+            const v1 = classifyTruthDelta(a, b);
+            const v2 = classifyTruthDelta(a, b);
+            expect(["MATCH", "CONTRADICT", "UNVERIFIED"]).toContain(v1);
+            expect(v2).toBe(v1); // deterministic
+        }
+    });
+});
+describe("v2.80.0 Q6 — seal commits the head (QUAN)", () => {
+    it("Q6.1 sealing then tampering a frame is caught by chain re-verify", () => {
+        const r = repo();
+        for (let i = 0; i < 6; i++)
+            record(r, randFrame(i));
+        const chain = readCdr(r);
+        const head = chain[chain.length - 1].receiptId;
+        const s = seal(r);
+        expect(verifySeal(s, head).valid).toBe(true);
+        // An attacker edits frame #2 after the seal. The seal signature still
+        // verifies (it signed the OLD head), but the head it commits no longer
+        // matches the tampered chain's verification — and the chain itself fails.
+        const tampered = chain.map((c, j) => j === 2 ? { ...c, payload: { ...c.payload, action: "edited" } } : c);
+        expect(verifyChain(tampered).valid).toBe(false);
+        // The seal still commits the original head, exposing the divergence.
+        expect(s.receipt.payload.head).toBe(head);
+    });
+});
+//# sourceMappingURL=flight_recorder.test.js.map

package/dist/flight_recorder/flight_recorder.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flight_recorder.test.js","sourceRoot":"","sources":["../../src/flight_recorder/flight_recorder.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,kBAAkB,GAEzE,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,WAAW,EAAsB,MAAM,oBAAoB,CAAC;AAErE,MAAM,IAAI,GAAG,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;AAEhE,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC,CAAC;QACvH,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,kBAAkB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrE,MAAM,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC3F,MAAM,CAAC,kBAAkB,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACjF,MAAM,CAAC,kBAAkB,CAAC,oBAAoB,EAAE,+BAA+B,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChG,MAAM,CAAC,kBAAkB,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACvF,MAAM,CAAC,kBAAkB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,CAAC,CAAC;QACnH,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,gDAAgD;IAC3F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAa,QAAQ;QACrG,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAmD,aAAa;QAC5G,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,aAAa;QAC5G,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAC,CAAa,aAAa;QAC5G,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,gDAAgD;QACjF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,SAAS,CAAC;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC,CAAC;QAC/D,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,MAAM,IAAI,GAAoB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,MAAM,KAAK,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,CAAU,CAAC;AAC9F,SAAS,SAAS,CAAC,CAAS;IAC1B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,CAAK,GAAiB,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAE,CAAC;IAC/E,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACpB,MAAM,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE;QAC1C,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,EAAE,eAAe,EAAE,WAAW,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzG,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,MAAM,CAAC,GAAG,EAAE,CAAC;QACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,wEAAwE;YACxE,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;gBACzC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,GAAI,CAAC,CAAC,OAAkB,EAAE,MAAM,EAAE,UAAU,EAAE,EAAmB;gBACtF,CAAC,CAAC,CAAC,CAAC,CAAC;YACP,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3E,yDAAyD;YACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,MAAM,EAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC/F,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,qBAAqB,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC9B,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC;gBACtD,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChF,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;QACD,sEAAsE;QACtE,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACxE,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAoD,EAAE,CAAC;QACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;YAC/I,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,EAAE,GAAG,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,YAAY,CAAiB,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC5E,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAI,EAAE,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC;QAChD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,sEAAsE;QACtE,uEAAuE;QACvE,0EAA0E;QAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,GAAI,CAAC,CAAC,OAAkB,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChD,qEAAqE;QACrE,MAAM,CAAE,CAAC,CAAC,OAAO,CAAC,OAA6B,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/flight_recorder/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * v2.80.0 — FLIGHT RECORDER · the tamper-evident, replayable AI black box.
+ *
+ * Diamond 💎3 of the TRUST FABRIC. Built on the v2.79 NOTARY spine: every frame
+ * is an Ed25519-signed, chained receipt, so the whole cockpit-data-recorder is
+ * tamper-evident + attributable + verifiable OFFLINE by any third party. Replay
+ * pinpoints the first claim-vs-reality divergence; seal produces one
+ * court-admissible artifact.
+ */
+export { record, readCdr, verifyCdr, replay, seal, verifySeal, classifyTruthDelta, type FrameKind, type TruthDelta, type FramePayload, type RecordInput, type RecordedFrame, type CdrVerifyResult, type ReplayResult, type FlightSeal, } from "./recorder.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/flight_recorder/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/flight_recorder/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EACL,MAAM,EACN,OAAO,EACP,SAAS,EACT,MAAM,EACN,IAAI,EACJ,UAAU,EACV,kBAAkB,EAClB,KAAK,SAAS,EACd,KAAK,UAAU,EACf,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,YAAY,EACjB,KAAK,UAAU,GAChB,MAAM,eAAe,CAAC"}

package/dist/flight_recorder/index.js

@@ -0,0 +1,11 @@
+/**
+ * v2.80.0 — FLIGHT RECORDER · the tamper-evident, replayable AI black box.
+ *
+ * Diamond 💎3 of the TRUST FABRIC. Built on the v2.79 NOTARY spine: every frame
+ * is an Ed25519-signed, chained receipt, so the whole cockpit-data-recorder is
+ * tamper-evident + attributable + verifiable OFFLINE by any third party. Replay
+ * pinpoints the first claim-vs-reality divergence; seal produces one
+ * court-admissible artifact.
+ */
+export { record, readCdr, verifyCdr, replay, seal, verifySeal, classifyTruthDelta, } from "./recorder.js";
+//# sourceMappingURL=index.js.map

package/dist/flight_recorder/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/flight_recorder/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EACL,MAAM,EACN,OAAO,EACP,SAAS,EACT,MAAM,EACN,IAAI,EACJ,UAAU,EACV,kBAAkB,GASnB,MAAM,eAAe,CAAC"}

package/dist/flight_recorder/recorder.d.ts

@@ -0,0 +1,120 @@
+/**
+ * v2.80.0 — FLIGHT RECORDER · the AI black box (diamond 💎3, built on the v2.79 NOTARY spine).
+ *
+ * When an agent controls a PC (Grok Computer), pays via x402, or merges code,
+ * an incident needs a court-admissible record: WHAT it did, WHY (reasoning),
+ * and what it CLAIMED vs what was TRUE (truth-delta) — in causal order, and
+ * impossible to forge after the fact.
+ *
+ * Design — every frame IS a NOTARY receipt:
+ *   - Each recorded frame is signed (Ed25519) + chained (prev → receiptId).
+ *   - The whole CDR therefore inherits NOTARY's three guarantees at once:
+ *       tamper-evidence (any edit breaks the signature),
+ *       attribution     (who recorded it — the issuer key),
+ *       portability      (a third party verifies OFFLINE with the public key).
+ *   - `seal()` issues ONE final receipt over the chain head — the single
+ *     artifact you hand an auditor / insurer / court.
+ *   - `replay()` walks the chain in causal order and pinpoints the first
+ *     truth-delta divergence (the "incident moment").
+ *
+ * No new crypto here — it composes the NOTARY primitive. Pure logic except
+ * record/seal (sign) and the jsonl read/append. Defensive: never throws on
+ * read; malformed lines are skipped.
+ */
+import { type NotaryReceipt, type IssuerKeyPair } from "../notary/index.js";
+export type FrameKind = "action" | "decision" | "claim" | "tool-call" | "payment" | "observation";
+export type TruthDelta = "MATCH" | "CONTRADICT" | "UNVERIFIED";
+/** The data a caller records. The recorder wraps it in a signed receipt. */
+export interface FramePayload {
+    seq: number;
+    agent: string;
+    kind: FrameKind;
+    /** What the agent did (free text / structured summary). */
+    action: string;
+    /** Why — reasoning trace (optional). */
+    reasoning?: string;
+    /** A checkable claim the agent asserted (optional). */
+    claim?: string;
+    /** What was actually observed/true (optional). */
+    observedReality?: string;
+    /** Claim-vs-reality verdict. Caller may supply (e.g. from `mneme verify`);
+     *  else computed heuristically from claim + observedReality. */
+    truthDelta?: TruthDelta;
+}
+export interface RecordInput {
+    agent: string;
+    kind?: FrameKind;
+    action: string;
+    reasoning?: string;
+    claim?: string;
+    observedReality?: string;
+    /** Explicit verdict from a real verifier; overrides the heuristic. */
+    truthDelta?: TruthDelta;
+}
+/**
+ * Heuristic claim-vs-reality classifier. HONEST SCOPE: this is a deterministic
+ * string/number heuristic, NOT semantic truth — feed a real verifier's verdict
+ * via RecordInput.truthDelta when you have one. Returns UNVERIFIED when it
+ * cannot decide rather than guessing.
+ */
+export declare function classifyTruthDelta(claim?: string, observed?: string): TruthDelta;
+/** Read the chain of receipts (one per jsonl line). Skips malformed lines. */
+export declare function readCdr(repoRoot: string): NotaryReceipt[];
+export interface RecordedFrame {
+    seq: number;
+    receiptId: string;
+    truthDelta: TruthDelta;
+    receipt: NotaryReceipt;
+}
+/**
+ * Record one frame: compute truth-delta, chain onto the prior receiptId, sign,
+ * append. Returns the recorded frame. The returned receipt verifies offline.
+ */
+export declare function record(repoRoot: string, input: RecordInput, keyPair?: IssuerKeyPair): RecordedFrame;
+export interface CdrVerifyResult {
+    valid: boolean;
+    reason: string;
+    frames: number;
+    brokenAt?: number;
+}
+/** Verify the whole black box: every frame signs + chains (offline, public-key). */
+export declare function verifyCdr(repoRoot: string, opts?: {
+    sameIssuer?: boolean;
+}): CdrVerifyResult;
+export interface ReplayResult {
+    frames: number;
+    /** Causal-order summary lines (human readable). */
+    narrative: string[];
+    /** seq of the first CONTRADICT frame, or null. The "incident moment". */
+    incidentSeq: number | null;
+    counts: {
+        match: number;
+        contradict: number;
+        unverified: number;
+    };
+    /** Verified offline before replaying? */
+    chainValid: boolean;
+}
+/** Walk the chain in causal order, surface the first truth-delta divergence. */
+export declare function replay(repoRoot: string): ReplayResult;
+export interface FlightSeal {
+    v: 1;
+    frames: number;
+    head: string | null;
+    contradictions: number;
+    incidentSeq: number | null;
+    /** The single court-admissible artifact: a signed receipt over the chain head. */
+    receipt: NotaryReceipt;
+}
+/**
+ * Seal the black box: issue ONE NOTARY receipt over the chain head + summary.
+ * Since each frame chains onto the prior receiptId, the head commits the entire
+ * sequence — verifying the seal + the head's chain proves the whole flight.
+ */
+export declare function seal(repoRoot: string, keyPair?: IssuerKeyPair): FlightSeal;
+/** Verify a seal offline (signature) AND that it commits the expected head. */
+export declare function verifySeal(seal: FlightSeal, expectedHead: string | null): {
+    valid: boolean;
+    reason: string;
+};
+//# sourceMappingURL=recorder.d.ts.map

package/dist/flight_recorder/recorder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"recorder.d.ts","sourceRoot":"","sources":["../../src/flight_recorder/recorder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAIH,OAAO,EAA4C,KAAK,aAAa,EAAE,KAAK,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEtH,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,UAAU,GAAG,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,aAAa,CAAC;AAClG,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,CAAC;AAE/D,4EAA4E;AAC5E,MAAM,WAAW,YAAY;IAC3B,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,SAAS,CAAC;IAChB,2DAA2D;IAC3D,MAAM,EAAE,MAAM,CAAC;IACf,wCAAwC;IACxC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uDAAuD;IACvD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB;oEACgE;IAChE,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,sEAAsE;IACtE,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAQD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU,CAsBhF;AAED,8EAA8E;AAC9E,wBAAgB,OAAO,CAAC,QAAQ,EAAE,MAAM,GAAG,aAAa,EAAE,CAUzD;AAED,MAAM,WAAW,aAAa;IAC5B,GAAG,EAAE,MAAM,CAAC;IACZ,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,UAAU,CAAC;IACvB,OAAO,EAAE,aAAa,CAAC;CACxB;AAED;;;GAGG;AACH,wBAAgB,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,aAAa,CA2BnG;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,oFAAoF;AACpF,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,GAAE;IAAE,UAAU,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,eAAe,CAKhG;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,yEAAyE;IACzE,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAClE,yCAAyC;IACzC,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,gFAAgF;AAChF,wBAAgB,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,CAiBrD;AAED,MAAM,WAAW,UAAU;IACzB,CAAC,EAAE,CAAC,CAAC;IACL,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,kFAAkF;IAClF,OAAO,EAAE,aAAa,CAAC;CACxB;AAED;;;;GAIG;AACH,wBAAgB,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,UAAU,CAU1E;AAED,+EAA+E;AAC/E,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,GAAG,IAAI,GAAG;IAAE,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAM5G"}

package/dist/flight_recorder/recorder.js

@@ -0,0 +1,173 @@
+/**
+ * v2.80.0 — FLIGHT RECORDER · the AI black box (diamond 💎3, built on the v2.79 NOTARY spine).
+ *
+ * When an agent controls a PC (Grok Computer), pays via x402, or merges code,
+ * an incident needs a court-admissible record: WHAT it did, WHY (reasoning),
+ * and what it CLAIMED vs what was TRUE (truth-delta) — in causal order, and
+ * impossible to forge after the fact.
+ *
+ * Design — every frame IS a NOTARY receipt:
+ *   - Each recorded frame is signed (Ed25519) + chained (prev → receiptId).
+ *   - The whole CDR therefore inherits NOTARY's three guarantees at once:
+ *       tamper-evidence (any edit breaks the signature),
+ *       attribution     (who recorded it — the issuer key),
+ *       portability      (a third party verifies OFFLINE with the public key).
+ *   - `seal()` issues ONE final receipt over the chain head — the single
+ *     artifact you hand an auditor / insurer / court.
+ *   - `replay()` walks the chain in causal order and pinpoints the first
+ *     truth-delta divergence (the "incident moment").
+ *
+ * No new crypto here — it composes the NOTARY primitive. Pure logic except
+ * record/seal (sign) and the jsonl read/append. Defensive: never throws on
+ * read; malformed lines are skipped.
+ */
+import { existsSync, readFileSync, appendFileSync, mkdirSync } from "node:fs";
+import { join } from "node:path";
+import { issueReceipt, verifyReceipt, verifyChain } from "../notary/index.js";
+const CDR_REL = ".mneme/flight_recorder/cdr.jsonl";
+function cdrPath(repoRoot) {
+    return join(repoRoot, CDR_REL);
+}
+/**
+ * Heuristic claim-vs-reality classifier. HONEST SCOPE: this is a deterministic
+ * string/number heuristic, NOT semantic truth — feed a real verifier's verdict
+ * via RecordInput.truthDelta when you have one. Returns UNVERIFIED when it
+ * cannot decide rather than guessing.
+ */
+export function classifyTruthDelta(claim, observed) {
+    if (!claim || !observed)
+        return "UNVERIFIED";
+    const norm = (s) => s.toLowerCase().replace(/\s+/g, " ").trim();
+    const c = norm(claim);
+    const o = norm(observed);
+    if (c.length === 0 || o.length === 0)
+        return "UNVERIFIED";
+    if (c === o)
+        return "MATCH";
+    // Explicit refutation language in the observation.
+    if (/\b(false|incorrect|refuted|wrong|not true|does not|doesn't|did not|didn't|no such|missing|failed)\b/.test(o)) {
+        return "CONTRADICT";
+    }
+    // Numeric disagreement: if both carry numbers and none of the claim's numbers
+    // appear in the observation, treat as contradiction.
+    const nums = (s) => (s.match(/-?\d+(?:\.\d+)?/g) ?? []);
+    const cn = nums(c), on = nums(o);
+    if (cn.length > 0 && on.length > 0) {
+        const overlap = cn.some((x) => on.includes(x));
+        if (!overlap)
+            return "CONTRADICT";
+    }
+    // Observation entails the claim (substring) → match.
+    if (o.includes(c) || c.includes(o))
+        return "MATCH";
+    return "UNVERIFIED";
+}
+/** Read the chain of receipts (one per jsonl line). Skips malformed lines. */
+export function readCdr(repoRoot) {
+    const p = cdrPath(repoRoot);
+    if (!existsSync(p))
+        return [];
+    const out = [];
+    for (const line of readFileSync(p, "utf8").split("\n")) {
+        const t = line.trim();
+        if (!t)
+            continue;
+        try {
+            out.push(JSON.parse(t));
+        }
+        catch { /* skip malformed */ }
+    }
+    return out;
+}
+/**
+ * Record one frame: compute truth-delta, chain onto the prior receiptId, sign,
+ * append. Returns the recorded frame. The returned receipt verifies offline.
+ */
+export function record(repoRoot, input, keyPair) {
+    const chain = readCdr(repoRoot);
+    const seq = chain.length;
+    const prev = chain.length > 0 ? chain[chain.length - 1].receiptId : null;
+    const truthDelta = input.truthDelta ?? classifyTruthDelta(input.claim, input.observedReality);
+    const payload = {
+        seq,
+        agent: input.agent,
+        kind: input.kind ?? "action",
+        action: input.action,
+        ...(input.reasoning !== undefined ? { reasoning: input.reasoning } : {}),
+        ...(input.claim !== undefined ? { claim: input.claim } : {}),
+        ...(input.observedReality !== undefined ? { observedReality: input.observedReality } : {}),
+        truthDelta,
+    };
+    const receipt = issueReceipt(repoRoot, {
+        kind: "reasoning-trace",
+        subject: `frame:${seq}:${input.action.slice(0, 64)}`,
+        payload,
+        prev,
+    }, keyPair);
+    try {
+        const dir = join(repoRoot, ".mneme", "flight_recorder");
+        if (!existsSync(dir))
+            mkdirSync(dir, { recursive: true });
+        appendFileSync(cdrPath(repoRoot), JSON.stringify(receipt) + "\n", "utf8");
+    }
+    catch { /* best-effort persistence; the returned receipt is still valid */ }
+    return { seq, receiptId: receipt.receiptId, truthDelta, receipt };
+}
+/** Verify the whole black box: every frame signs + chains (offline, public-key). */
+export function verifyCdr(repoRoot, opts = {}) {
+    const chain = readCdr(repoRoot);
+    if (chain.length === 0)
+        return { valid: true, reason: "empty recorder", frames: 0 };
+    const v = verifyChain(chain, { sameIssuer: opts.sameIssuer });
+    return { valid: v.valid, reason: v.reason, frames: chain.length, brokenAt: v.brokenAt };
+}
+/** Walk the chain in causal order, surface the first truth-delta divergence. */
+export function replay(repoRoot) {
+    const chain = readCdr(repoRoot);
+    const chainValid = chain.length === 0 ? true : verifyChain(chain).valid;
+    const narrative = [];
+    const counts = { match: 0, contradict: 0, unverified: 0 };
+    let incidentSeq = null;
+    for (const r of chain) {
+        const p = (r.payload ?? {});
+        const td = (p.truthDelta ?? "UNVERIFIED");
+        if (td === "MATCH")
+            counts.match++;
+        else if (td === "CONTRADICT")
+            counts.contradict++;
+        else
+            counts.unverified++;
+        if (td === "CONTRADICT" && incidentSeq === null)
+            incidentSeq = p.seq ?? null;
+        const mark = td === "CONTRADICT" ? "🔴" : td === "MATCH" ? "🟢" : "⚪";
+        narrative.push(`${mark} #${p.seq ?? "?"} [${p.kind ?? "?"}] ${p.agent ?? "?"}: ${String(p.action ?? "").slice(0, 80)}${p.claim ? ` — claim: "${String(p.claim).slice(0, 60)}" vs reality (${td})` : ""}`);
+    }
+    return { frames: chain.length, narrative, incidentSeq, counts, chainValid };
+}
+/**
+ * Seal the black box: issue ONE NOTARY receipt over the chain head + summary.
+ * Since each frame chains onto the prior receiptId, the head commits the entire
+ * sequence — verifying the seal + the head's chain proves the whole flight.
+ */
+export function seal(repoRoot, keyPair) {
+    const chain = readCdr(repoRoot);
+    const r = replay(repoRoot);
+    const head = chain.length > 0 ? chain[chain.length - 1].receiptId : null;
+    const receipt = issueReceipt(repoRoot, {
+        kind: "generic",
+        subject: `flight-seal:${head ?? "empty"}`,
+        payload: { head, frames: chain.length, contradictions: r.counts.contradict, incidentSeq: r.incidentSeq },
+    }, keyPair);
+    return { v: 1, frames: chain.length, head, contradictions: r.counts.contradict, incidentSeq: r.incidentSeq, receipt };
+}
+/** Verify a seal offline (signature) AND that it commits the expected head. */
+export function verifySeal(seal, expectedHead) {
+    const v = verifyReceipt(seal.receipt);
+    if (!v.valid)
+        return { valid: false, reason: `seal signature: ${v.reason}` };
+    const committedHead = seal.receipt.payload?.head ?? null;
+    if (committedHead !== expectedHead)
+        return { valid: false, reason: "seal does not commit the expected chain head" };
+    return { valid: true, reason: "ok" };
+}
+//# sourceMappingURL=recorder.js.map

package/dist/flight_recorder/recorder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"recorder.js","sourceRoot":"","sources":["../../src/flight_recorder/recorder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,SAAS,CAAC;AAC9E,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,WAAW,EAA0C,MAAM,oBAAoB,CAAC;AAkCtH,MAAM,OAAO,GAAG,kCAAkC,CAAC;AAEnD,SAAS,OAAO,CAAC,QAAgB;IAC/B,OAAO,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc,EAAE,QAAiB;IAClE,IAAI,CAAC,KAAK,IAAI,CAAC,QAAQ;QAAE,OAAO,YAAY,CAAC;IAC7C,MAAM,IAAI,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACxE,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAC;IAC1D,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAC5B,mDAAmD;IACnD,IAAI,qGAAqG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAClH,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,8EAA8E;IAC9E,qDAAqD;IACrD,MAAM,IAAI,GAAG,CAAC,CAAS,EAAY,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,kBAAkB,CAAC,IAAI,EAAE,CAAC,CAAC;IAC1E,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,CAAC,OAAO;YAAE,OAAO,YAAY,CAAC;IACpC,CAAC;IACD,qDAAqD;IACrD,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAC;IACnD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,OAAO,CAAC,QAAgB;IACtC,MAAM,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5B,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9B,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,IAAI,CAAC;YAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAkB,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC,CAAC,oBAAoB,CAAC,CAAC;IAClF,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AASD;;;GAGG;AACH,MAAM,UAAU,MAAM,CAAC,QAAgB,EAAE,KAAkB,EAAE,OAAuB;IAClF,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;IACzB,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAiB;QAC5B,GAAG;QACH,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,QAAQ;QAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACxE,GAAG,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,GAAG,CAAC,KAAK,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1F,UAAU;KACX,CAAC;IACF,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;QACrC,IAAI,EAAE,iBAAiB;QACvB,OAAO,EAAE,SAAS,GAAG,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;QACpD,OAAO;QACP,IAAI;KACL,EAAE,OAAO,CAAC,CAAC;IACZ,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;QACxD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1D,cAAc,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC,CAAC,kEAAkE,CAAC,CAAC;IAC9E,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACpE,CAAC;AASD,oFAAoF;AACpF,MAAM,UAAU,SAAS,CAAC,QAAgB,EAAE,OAAiC,EAAE;IAC7E,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACpF,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC9D,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;AAC1F,CAAC;AAaD,gFAAgF;AAChF,MAAM,UAAU,MAAM,CAAC,QAAgB;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;IACxE,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IAC1D,IAAI,WAAW,GAAkB,IAAI,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAA0B,CAAC;QACrD,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,YAAY,CAAe,CAAC;QACxD,IAAI,EAAE,KAAK,OAAO;YAAE,MAAM,CAAC,KAAK,EAAE,CAAC;aAC9B,IAAI,EAAE,KAAK,YAAY;YAAE,MAAM,CAAC,UAAU,EAAE,CAAC;;YAC7C,MAAM,CAAC,UAAU,EAAE,CAAC;QACzB,IAAI,EAAE,KAAK,YAAY,IAAI,WAAW,KAAK,IAAI;YAAE,WAAW,GAAG,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC;QAC7E,MAAM,IAAI,GAAG,EAAE,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QACtE,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,IAAI,GAAG,KAAK,CAAC,CAAC,KAAK,IAAI,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,cAAc,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5M,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC9E,CAAC;AAYD;;;;GAIG;AACH,MAAM,UAAU,IAAI,CAAC,QAAgB,EAAE,OAAuB;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IAC1E,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE;QACrC,IAAI,EAAE,SAAS;QACf,OAAO,EAAE,eAAe,IAAI,IAAI,OAAO,EAAE;QACzC,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE;KACzG,EAAE,OAAO,CAAC,CAAC;IACZ,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,OAAO,EAAE,CAAC;AACxH,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,YAA2B;IACtE,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,CAAC,CAAC,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,mBAAmB,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;IAC7E,MAAM,aAAa,GAAI,IAAI,CAAC,OAAO,CAAC,OAAgD,EAAE,IAAI,IAAI,IAAI,CAAC;IACnG,IAAI,aAAa,KAAK,YAAY;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,8CAA8C,EAAE,CAAC;IACpH,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AACvC,CAAC"}

package/dist/index.d.ts

@@ -227,6 +227,8 @@ export * as ingest from "./ingest/index.js";
 export * as pulse from "./pulse.js";
 export * as notifier from "./notifier/index.js";
 export * as immune from "./immune/index.js";
+export * as notary from "./notary/index.js";
+export * as flightRecorder from "./flight_recorder/index.js";
 export * as agent from "./agent/index.js";
 export * as selfcheck from "./selfcheck/index.js";
 export * as integrations from "./integrations/index.js";