@mirnoorata/codexa 0.2.0

package/dist/session-memory/event-log.js

@@ -0,0 +1,126 @@
+import { randomUUID } from "node:crypto";
+import { promises as fs } from "node:fs";
+import path from "node:path";
+import { acquireCacheLock } from "../cache-lock.js";
+import { stableId } from "../util.js";
+import { EVENTS_FILE, LATEST_FILE, MAX_EVENTS_BYTES, MAX_EVENTS_LINES, MAX_MEMORY_JSON_BYTES, MEMORY_FILE, MEMORY_LOCK_STALE_MS, MEMORY_LOCK_TIMEOUT_MS, SESSION_MEMORY_DIR, SESSION_MEMORY_LOCK_DIR } from "./model.js";
+export function sessionMemoryCacheDir(repoRoot) {
+    return path.join(path.resolve(repoRoot), SESSION_MEMORY_DIR);
+}
+export async function resolveSessionId(repoRoot, requested) {
+    const normalized = normalizeIdentifier(requested);
+    if (normalized) {
+        return normalized;
+    }
+    const latest = await readJson(path.join(sessionMemoryCacheDir(repoRoot), LATEST_FILE));
+    if (latest.ok && typeof latest.value.sessionId === "string") {
+        const latestId = normalizeIdentifier(latest.value.sessionId);
+        if (latestId) {
+            return latestId;
+        }
+    }
+    return `session-${new Date().toISOString().replace(/[-:TZ.]/gu, "").slice(0, 14)}-${randomUUID().slice(0, 8)}`;
+}
+export async function writeStoreAndLatest(repoRoot, store, taskId) {
+    await fs.mkdir(sessionDir(repoRoot, store.sessionId), { recursive: true });
+    await atomicJsonWrite(memoryStorePath(repoRoot, store.sessionId), store);
+    await fs.mkdir(sessionMemoryCacheDir(repoRoot), { recursive: true });
+    await atomicJsonWrite(path.join(sessionMemoryCacheDir(repoRoot), LATEST_FILE), {
+        schemaVersion: 1,
+        sessionId: store.sessionId,
+        path: relativeMemoryPath(store.sessionId),
+        taskId,
+        updatedAt: store.updatedAt
+    });
+}
+export async function appendSessionMemoryEvent(repoRoot, store, event) {
+    await fs.mkdir(sessionDir(repoRoot, store.sessionId), { recursive: true });
+    await fs.appendFile(path.join(sessionDir(repoRoot, store.sessionId), EVENTS_FILE), `${JSON.stringify(event)}\n`, "utf8");
+}
+export async function rewriteEvents(repoRoot, store) {
+    const event = {
+        schemaVersion: 1,
+        eventId: stableId("session-memory-compaction-event", store.sessionId, String(store.revision), store.updatedAt),
+        event: "compact",
+        createdAt: store.updatedAt,
+        sessionId: store.sessionId,
+        taskId: store.activeTaskId,
+        entries: store.entries,
+        revision: store.revision
+    };
+    const eventsPath = path.join(sessionDir(repoRoot, store.sessionId), EVENTS_FILE);
+    await atomicTextWrite(eventsPath, `${JSON.stringify(event)}\n`);
+}
+export async function shouldCompactEvents(repoRoot, sessionId) {
+    const eventsPath = path.join(sessionDir(repoRoot, sessionId), EVENTS_FILE);
+    try {
+        const stat = await fs.stat(eventsPath);
+        if (stat.size > MAX_EVENTS_BYTES) {
+            return true;
+        }
+        return (await countEventLines(repoRoot, sessionId)) > MAX_EVENTS_LINES;
+    }
+    catch {
+        return false;
+    }
+}
+export async function countEventLines(repoRoot, sessionId) {
+    try {
+        const text = await fs.readFile(path.join(sessionDir(repoRoot, sessionId), EVENTS_FILE), "utf8");
+        return text.split(/\r?\n/u).filter(Boolean).length;
+    }
+    catch {
+        return 0;
+    }
+}
+export async function acquireSessionMemoryLock(repoRoot) {
+    return acquireCacheLock({
+        repoRoot,
+        lockDir: SESSION_MEMORY_LOCK_DIR,
+        staleMs: MEMORY_LOCK_STALE_MS,
+        timeoutMs: MEMORY_LOCK_TIMEOUT_MS,
+        label: "Codexa session memory"
+    });
+}
+export async function atomicJsonWrite(filePath, value) {
+    const tmp = `${filePath}.${process.pid}.${Date.now()}.tmp`;
+    await fs.writeFile(tmp, `${JSON.stringify(value, null, 2)}\n`, "utf8");
+    await fs.rename(tmp, filePath);
+}
+export async function atomicTextWrite(filePath, value) {
+    const tmp = `${filePath}.${process.pid}.${Date.now()}.tmp`;
+    await fs.writeFile(tmp, value, "utf8");
+    await fs.rename(tmp, filePath);
+}
+export async function readJson(filePath) {
+    try {
+        const stat = await fs.stat(filePath);
+        if (stat.size > MAX_MEMORY_JSON_BYTES) {
+            return { ok: false, missing: false, error: `${path.basename(filePath)} exceeds ${MAX_MEMORY_JSON_BYTES} bytes` };
+        }
+        const text = await fs.readFile(filePath, "utf8");
+        return { ok: true, value: JSON.parse(text) };
+    }
+    catch (error) {
+        const code = error && typeof error === "object" && "code" in error ? String(error.code) : "";
+        return { ok: false, missing: code === "ENOENT", error: error instanceof Error ? error.message : String(error) };
+    }
+}
+export function memoryStorePath(repoRoot, sessionId) {
+    return path.join(sessionDir(repoRoot, sessionId), MEMORY_FILE);
+}
+export function sessionDir(repoRoot, sessionId) {
+    return path.join(sessionMemoryCacheDir(repoRoot), "sessions", sessionId);
+}
+export function relativeMemoryPath(sessionId) {
+    return path.posix.join("sessions", sessionId, MEMORY_FILE);
+}
+function normalizeIdentifier(value) {
+    const normalized = value
+        ?.trim()
+        .replace(/[^A-Za-z0-9._:-]+/gu, "-")
+        .replace(/^-+|-+$/gu, "")
+        .slice(0, 120);
+    return normalized || undefined;
+}
+//# sourceMappingURL=event-log.js.map

package/dist/session-memory/event-log.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-log.js","sourceRoot":"","sources":["../../src/session-memory/event-log.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EACL,WAAW,EACX,WAAW,EACX,gBAAgB,EAChB,gBAAgB,EAChB,qBAAqB,EACrB,WAAW,EACX,oBAAoB,EACpB,sBAAsB,EACtB,kBAAkB,EAClB,uBAAuB,EAGxB,MAAM,YAAY,CAAC;AAEpB,MAAM,UAAU,qBAAqB,CAAC,QAAgB;IACpD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,QAAgB,EAAE,SAAkB;IACzE,MAAM,UAAU,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,UAAU,EAAE,CAAC;QACf,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,QAAQ,CAA6B,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;IACnH,IAAI,MAAM,CAAC,EAAE,IAAI,OAAO,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,QAAQ,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,WAAW,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACjH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,QAAgB,EAAE,KAAyB,EAAE,MAAe;IACpG,MAAM,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,eAAe,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;IACzE,MAAM,EAAE,CAAC,KAAK,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,EAAE;QAC7E,aAAa,EAAE,CAAC;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,IAAI,EAAE,kBAAkB,CAAC,KAAK,CAAC,SAAS,CAAC;QACzC,MAAM;QACN,SAAS,EAAE,KAAK,CAAC,SAAS;KACU,CAAC,CAAC;AAC1C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,QAAgB,EAAE,KAAyB,EAAE,KAAyB;IACnH,MAAM,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3E,MAAM,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC3H,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,QAAgB,EAAE,KAAyB;IAC7E,MAAM,KAAK,GAAuB;QAChC,aAAa,EAAE,CAAC;QAChB,OAAO,EAAE,QAAQ,CAAC,iCAAiC,EAAE,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC;QAC9G,KAAK,EAAE,SAAS;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EAAE,KAAK,CAAC,YAAY;QAC1B,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,KAAK,CAAC,QAAQ;KACzB,CAAC;IACF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IACjF,MAAM,eAAe,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,QAAgB,EAAE,SAAiB;IAC3E,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;IAC3E,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,IAAI,GAAG,gBAAgB,EAAE,CAAC;YACjC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,CAAC,MAAM,eAAe,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,GAAG,gBAAgB,CAAC;IACzE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,QAAgB,EAAE,SAAiB;IACvE,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QAChG,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACrD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,CAAC;IACX,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,QAAgB;IAC7D,OAAO,gBAAgB,CAAC;QACtB,QAAQ;QACR,OAAO,EAAE,uBAAuB;QAChC,OAAO,EAAE,oBAAoB;QAC7B,SAAS,EAAE,sBAAsB;QACjC,KAAK,EAAE,uBAAuB;KAC/B,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAc;IACpE,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvE,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,QAAgB,EAAE,KAAa;IACnE,MAAM,GAAG,GAAG,GAAG,QAAQ,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;AACjC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAI,QAAgB;IAChD,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,IAAI,CAAC,IAAI,GAAG,qBAAqB,EAAE,CAAC;YACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,qBAAqB,QAAQ,EAAE,CAAC;QACnH,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAM,EAAE,CAAC;IACpD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,GAAG,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,MAAM,CAAE,KAA4B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,QAAQ,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IAClH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,SAAiB;IACjE,OAAO,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,WAAW,CAAC,CAAC;AACjE,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,QAAgB,EAAE,SAAiB;IAC5D,OAAO,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;AAC7D,CAAC;AAGD,SAAS,mBAAmB,CAAC,KAAyB;IACpD,MAAM,UAAU,GAAG,KAAK;QACtB,EAAE,IAAI,EAAE;SACP,OAAO,CAAC,qBAAqB,EAAE,GAAG,CAAC;SACnC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC;SACxB,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACjB,OAAO,UAAU,IAAI,SAAS,CAAC;AACjC,CAAC"}

package/dist/session-memory/formatting.d.ts

@@ -0,0 +1,7 @@
+import type { SessionMemoryEntryFact } from "../types.js";
+import { type SessionMemoryBuckets, type SessionMemoryReadFilter } from "./model.js";
+export declare function filterEntries(entries: SessionMemoryEntryFact[], filter: SessionMemoryReadFilter, limit: number): SessionMemoryEntryFact[];
+export declare function bucketMemory(entries: SessionMemoryEntryFact[], options: {
+    limit: number;
+}): SessionMemoryBuckets;
+export declare function renderSessionMemoryMarkdown(memory: SessionMemoryBuckets, limit: number): string;

package/dist/session-memory/formatting.js

@@ -0,0 +1,86 @@
+import { normalizePath } from "../util.js";
+import { MAX_SUMMARY_CHARS } from "./model.js";
+export function filterEntries(entries, filter, limit) {
+    const kinds = new Set(filter.kinds ?? []);
+    const files = new Set((filter.files ?? []).map(normalizePath));
+    const symbols = new Set(filter.symbols ?? []);
+    const topics = (filter.topics ?? []).map((topic) => topic.toLowerCase());
+    const refs = new Set((filter.refs ?? []).map(refKey));
+    const includeStale = filter.includeStale ?? true;
+    return sortEntries(entries)
+        .filter((entry) => (kinds.size > 0 ? kinds.has(entry.kind) : true))
+        .filter((entry) => (filter.taskId ? entry.taskId === filter.taskId : true))
+        .filter((entry) => (includeStale ? true : entry.status !== "stale"))
+        .filter((entry) => (files.size > 0 ? fileScopeMatches(entry, files, filter.taskId) : true))
+        .filter((entry) => (symbols.size > 0 ? entry.scope.symbols.some((symbol) => symbols.has(symbol)) : true))
+        .filter((entry) => (topics.length > 0 ? entry.scope.topics.some((topic) => topics.some((needle) => topic.toLowerCase().includes(needle))) : true))
+        .filter((entry) => (refs.size > 0 ? entry.scope.refs.some((ref) => refs.has(refKey(ref))) : true))
+        .slice(0, limit);
+}
+export function bucketMemory(entries, options) {
+    const limited = sortEntries(entries).slice(0, options.limit);
+    return {
+        entries: limited,
+        viewed: byKind(limited, "viewed"),
+        claims: byKind(limited, "claim"),
+        ruledOut: byKind(limited, "ruled_out"),
+        openQuestions: byKind(limited, "open_question"),
+        nextReads: byKind(limited, "next_read"),
+        decisions: byKind(limited, "decision"),
+        verification: byKind(limited, "verification"),
+        risks: byKind(limited, "risk"),
+        constraints: byKind(limited, "constraint"),
+        staleEntries: limited.filter((entry) => entry.status === "stale")
+    };
+}
+export function renderSessionMemoryMarkdown(memory, limit) {
+    const sections = [
+        formatMemorySection("Claims", memory.claims, limit),
+        formatMemorySection("Decisions", memory.decisions, limit),
+        formatMemorySection("Ruled out", memory.ruledOut, limit),
+        formatMemorySection("Open questions", memory.openQuestions, limit),
+        formatMemorySection("Next reads", memory.nextReads, limit),
+        formatMemorySection("Verification", memory.verification, limit),
+        formatMemorySection("Constraints", memory.constraints, limit),
+        formatMemorySection("Recently viewed", memory.viewed, Math.min(5, limit)),
+        formatMemorySection("Stale", memory.staleEntries, Math.min(5, limit))
+    ].filter(Boolean);
+    return sections.length > 0 ? sections.join("\n") : "No session memory entries recorded.";
+}
+function fileScopeMatches(entry, files, taskId) {
+    if (entry.scope.files.some((file) => files.has(file)) || entry.scope.tests.some((file) => files.has(file))) {
+        return true;
+    }
+    return Boolean(taskId && entry.taskId === taskId && entry.scope.files.length === 0 && entry.scope.tests.length === 0);
+}
+function formatMemorySection(title, entries, limit) {
+    if (entries.length === 0) {
+        return "";
+    }
+    return [`${title}:`, ...entries.slice(0, limit).map(formatMemoryEntryLine)].join("\n");
+}
+function formatMemoryEntryLine(entry) {
+    const label = `(${entry.provenance}; ${entry.evidenceTier}/${entry.confidence}; ${entry.id})`;
+    const summary = sanitizeMemoryText(entry.summary);
+    if (entry.provenance === "codexa-derived") {
+        return `- ${summary} ${label}`;
+    }
+    return `- untrusted ${entry.provenance} note: "${summary}" ${label}`;
+}
+function sanitizeMemoryText(value) {
+    return value
+        .replace(/[\u0000-\u0008\u000b\u000c\u000e-\u001f\u007f]/gu, " ")
+        .replace(/\s+/gu, " ")
+        .trim()
+        .slice(0, MAX_SUMMARY_CHARS);
+}
+function refKey(ref) {
+    return [ref.kind, ref.id, ref.path ?? "", ref.edgeKind ?? "", ref.fromId ?? "", ref.toId ?? ""].join(":");
+}
+function byKind(entries, kind) {
+    return entries.filter((entry) => entry.kind === kind);
+}
+function sortEntries(entries) {
+    return [...entries].sort((a, b) => b.updatedAt.localeCompare(a.updatedAt) || a.kind.localeCompare(b.kind) || a.key.localeCompare(b.key) || a.id.localeCompare(b.id));
+}
+//# sourceMappingURL=formatting.js.map

package/dist/session-memory/formatting.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatting.js","sourceRoot":"","sources":["../../src/session-memory/formatting.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAA2D,MAAM,YAAY,CAAC;AAExG,MAAM,UAAU,aAAa,CAAC,OAAiC,EAAE,MAA+B,EAAE,KAAa;IAC7G,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IAC/D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,IAAI,IAAI,CAAC;IACjD,OAAO,WAAW,CAAC,OAAO,CAAC;SACxB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAClE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC1E,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC;SACnE,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC1F,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACxG,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACjJ,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACjG,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAiC,EAAE,OAA0B;IACxF,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7D,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC;QACjC,MAAM,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC;QAChC,QAAQ,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC;QACtC,aAAa,EAAE,MAAM,CAAC,OAAO,EAAE,eAAe,CAAC;QAC/C,SAAS,EAAE,MAAM,CAAC,OAAO,EAAE,WAAW,CAAC;QACvC,SAAS,EAAE,MAAM,CAAC,OAAO,EAAE,UAAU,CAAC;QACtC,YAAY,EAAE,MAAM,CAAC,OAAO,EAAE,cAAc,CAAC;QAC7C,KAAK,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC;QAC9B,WAAW,EAAE,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC;QAC1C,YAAY,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,MAA4B,EAAE,KAAa;IACrF,MAAM,QAAQ,GAAG;QACf,mBAAmB,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC;QACnD,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC;QACzD,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC;QACxD,mBAAmB,CAAC,gBAAgB,EAAE,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC;QAClE,mBAAmB,CAAC,YAAY,EAAE,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC;QAC1D,mBAAmB,CAAC,cAAc,EAAE,MAAM,CAAC,YAAY,EAAE,KAAK,CAAC;QAC/D,mBAAmB,CAAC,aAAa,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC;QAC7D,mBAAmB,CAAC,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACzE,mBAAmB,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;KACtE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAClB,OAAO,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,qCAAqC,CAAC;AAC3F,CAAC;AAED,SAAS,gBAAgB,CAAC,KAA6B,EAAE,KAAkB,EAAE,MAA0B;IACrG,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC3G,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;AACxH,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAa,EAAE,OAAiC,EAAE,KAAa;IAC1F,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,GAAG,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,qBAAqB,CAAC,KAA6B;IAC1D,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,YAAY,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,EAAE,GAAG,CAAC;IAC9F,MAAM,OAAO,GAAG,kBAAkB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,KAAK,CAAC,UAAU,KAAK,gBAAgB,EAAE,CAAC;QAC1C,OAAO,KAAK,OAAO,IAAI,KAAK,EAAE,CAAC;IACjC,CAAC;IACD,OAAO,eAAe,KAAK,CAAC,UAAU,WAAW,OAAO,KAAK,KAAK,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAa;IACvC,OAAO,KAAK;SACT,OAAO,CAAC,kDAAkD,EAAE,GAAG,CAAC;SAChE,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE;SACN,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,MAAM,CAAC,GAAqB;IACnC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,GAAG,CAAC,QAAQ,IAAI,EAAE,EAAE,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC5G,CAAC;AAED,SAAS,MAAM,CAAC,OAAiC,EAAE,IAAuB;IACxE,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,WAAW,CAAC,OAAiC;IACpD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACvK,CAAC"}

package/dist/session-memory/model.d.ts

@@ -0,0 +1,94 @@
+import type { Confidence, EvidenceTier, FreshnessInfo, SessionMemoryEntryFact, SessionMemoryEvidence, SessionMemoryInput, SessionMemoryKind, SessionMemoryRef, SessionMemoryStatus, SessionMemoryStore } from "../types.js";
+export declare const SESSION_MEMORY_DIR = ".codex/cache/codexa-session-memory";
+export declare const SESSION_MEMORY_LOCK_DIR = ".codex/cache/codexa-session-memory.lock";
+export declare const LATEST_FILE = "latest.json";
+export declare const MEMORY_FILE = "memory.json";
+export declare const EVENTS_FILE = "events.ndjson";
+export declare const COMPACTIONS_DIR = "compactions";
+export declare const MAX_EVENTS_BYTES: number;
+export declare const MAX_EVENTS_LINES = 200;
+export declare const MAX_MEMORY_JSON_BYTES: number;
+export declare const MAX_EVENT_REPLAY_BYTES: number;
+export declare const MAX_REFS_PER_ENTRY = 80;
+export declare const MAX_EVIDENCE_PER_ENTRY = 24;
+export declare const MAX_SUMMARY_CHARS = 280;
+export declare const MAX_DETAILS_CHARS = 2000;
+export declare const MEMORY_LOCK_STALE_MS = 120000;
+export declare const MEMORY_LOCK_TIMEOUT_MS = 30000;
+export interface LatestSessionMemoryPointer {
+    schemaVersion: 1;
+    sessionId: string;
+    path: string;
+    taskId?: string;
+    updatedAt: string;
+}
+export interface SessionMemoryEvent {
+    schemaVersion: 1;
+    eventId: string;
+    event: "record" | "compact";
+    createdAt: string;
+    sessionId: string;
+    taskId?: string;
+    entries: SessionMemoryEntryFact[];
+    revision: number;
+}
+export interface SessionMemoryReadFilter {
+    repoRoot: string;
+    sessionId?: string;
+    taskId?: string;
+    kinds?: SessionMemoryKind[];
+    refs?: SessionMemoryRef[];
+    files?: string[];
+    symbols?: string[];
+    topics?: string[];
+    limit?: number;
+    includeStale?: boolean;
+    freshness?: FreshnessInfo;
+}
+export interface SessionMemoryRecordInput {
+    repoRoot: string;
+    sessionId?: string;
+    taskId?: string;
+    task?: string;
+    entries: NonNullable<SessionMemoryInput["entries"]>;
+    freshness: FreshnessInfo;
+    source?: SessionMemoryEvidence["source"];
+    toolName?: string;
+    callId?: string;
+}
+export interface SessionMemoryLoadResult {
+    store: SessionMemoryStore;
+    path: string;
+    warnings: string[];
+}
+export interface SessionMemoryBuckets {
+    entries: SessionMemoryEntryFact[];
+    viewed: SessionMemoryEntryFact[];
+    claims: SessionMemoryEntryFact[];
+    ruledOut: SessionMemoryEntryFact[];
+    openQuestions: SessionMemoryEntryFact[];
+    nextReads: SessionMemoryEntryFact[];
+    decisions: SessionMemoryEntryFact[];
+    verification: SessionMemoryEntryFact[];
+    risks: SessionMemoryEntryFact[];
+    constraints: SessionMemoryEntryFact[];
+    staleEntries: SessionMemoryEntryFact[];
+    markdown?: string;
+}
+export interface SessionMemoryWriteResult {
+    sessionId: string;
+    taskId?: string;
+    revision: number;
+    recordedEntryIds: string[];
+    compacted: boolean;
+    path: string;
+}
+export interface SessionMemoryResult {
+    sessionId: string;
+    taskId?: string;
+    revision: number;
+    memory: SessionMemoryBuckets;
+    writes?: SessionMemoryWriteResult;
+    warnings: string[];
+}
+export type MemoryTrustScore = Confidence | EvidenceTier | SessionMemoryStatus;

package/dist/session-memory/model.js

@@ -0,0 +1,17 @@
+export const SESSION_MEMORY_DIR = ".codex/cache/codexa-session-memory";
+export const SESSION_MEMORY_LOCK_DIR = ".codex/cache/codexa-session-memory.lock";
+export const LATEST_FILE = "latest.json";
+export const MEMORY_FILE = "memory.json";
+export const EVENTS_FILE = "events.ndjson";
+export const COMPACTIONS_DIR = "compactions";
+export const MAX_EVENTS_BYTES = 512 * 1024;
+export const MAX_EVENTS_LINES = 200;
+export const MAX_MEMORY_JSON_BYTES = 2 * 1024 * 1024;
+export const MAX_EVENT_REPLAY_BYTES = 1024 * 1024;
+export const MAX_REFS_PER_ENTRY = 80;
+export const MAX_EVIDENCE_PER_ENTRY = 24;
+export const MAX_SUMMARY_CHARS = 280;
+export const MAX_DETAILS_CHARS = 2000;
+export const MEMORY_LOCK_STALE_MS = 120_000;
+export const MEMORY_LOCK_TIMEOUT_MS = 30_000;
+//# sourceMappingURL=model.js.map

package/dist/session-memory/model.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.js","sourceRoot":"","sources":["../../src/session-memory/model.ts"],"names":[],"mappings":"AAcA,MAAM,CAAC,MAAM,kBAAkB,GAAG,oCAAoC,CAAC;AACvE,MAAM,CAAC,MAAM,uBAAuB,GAAG,yCAAyC,CAAC;AACjF,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC;AACzC,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC;AACzC,MAAM,CAAC,MAAM,WAAW,GAAG,eAAe,CAAC;AAC3C,MAAM,CAAC,MAAM,eAAe,GAAG,aAAa,CAAC;AAC7C,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAG,GAAG,IAAI,CAAC;AAC3C,MAAM,CAAC,MAAM,gBAAgB,GAAG,GAAG,CAAC;AACpC,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,GAAG,IAAI,GAAG,IAAI,CAAC;AACrD,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,IAAI,CAAC;AAClD,MAAM,CAAC,MAAM,kBAAkB,GAAG,EAAE,CAAC;AACrC,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AACzC,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAG,CAAC;AACrC,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC;AACtC,MAAM,CAAC,MAAM,oBAAoB,GAAG,OAAO,CAAC;AAC5C,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC"}

package/dist/session-memory/runtime.d.ts

@@ -0,0 +1,24 @@
+import type { CodexaIndex, FreshnessInfo, QueryResult, SessionMemoryPointer } from "../types.js";
+import { type SessionMemoryLoadResult, type SessionMemoryReadFilter, type SessionMemoryRecordInput, type SessionMemoryResult, type SessionMemoryWriteResult } from "./model.js";
+export { SESSION_MEMORY_DIR, SESSION_MEMORY_LOCK_DIR, type SessionMemoryBuckets, type SessionMemoryLoadResult, type SessionMemoryReadFilter, type SessionMemoryRecordInput, type SessionMemoryResult, type SessionMemoryWriteResult } from "./model.js";
+export { sessionMemoryCacheDir } from "./event-log.js";
+export declare function loadSessionMemory(input: {
+    repoRoot: string;
+    sessionId?: string;
+    freshness?: FreshnessInfo;
+}): Promise<SessionMemoryLoadResult>;
+export declare function recordSessionMemory(input: SessionMemoryRecordInput): Promise<SessionMemoryResult>;
+export declare function readSessionMemory(input: SessionMemoryReadFilter): Promise<SessionMemoryResult>;
+export declare function summarizeSessionMemory(input: SessionMemoryReadFilter): Promise<SessionMemoryResult>;
+export declare function compactSessionMemory(input: SessionMemoryReadFilter): Promise<SessionMemoryResult>;
+export declare function pointerForSessionMemory(input: SessionMemoryReadFilter): Promise<SessionMemoryPointer | undefined>;
+export declare function recordViewedMemoryForTool(input: {
+    repoRoot: string;
+    sessionId?: string;
+    taskId?: string;
+    task?: string;
+    toolName: string;
+    callId?: string;
+    result: QueryResult;
+    index: CodexaIndex;
+}): Promise<SessionMemoryWriteResult | undefined>;