@geminixiang/mikan 1.0.0-beta.7 → 1.0.0-beta.71

package/dist/sessions/migrate-pi-084.js

@@ -0,0 +1,302 @@
+import { readFileSync } from "node:fs";
+import { SessionStore } from "./session-store.js";
+import { isRecord } from "../file-guards.js";
+import { commitMigration, findSessionFiles, jsonValue, optionalAnnotations, V4FileWriter, } from "./migrate-common.js";
+function firstLine(filePath) {
+    return readFileSync(filePath, "utf8").split("\n", 1)[0]?.trim() ?? "";
+}
+function parseHeader(value, filePath) {
+    if (!isRecord(value) ||
+        value.kind !== "header" ||
+        value.version !== 4 ||
+        typeof value.id !== "string" ||
+        typeof value.createdAt !== "number" ||
+        typeof value.cwd !== "string") {
+        throw new Error(`Invalid Pi 0.84 session header: ${filePath}`);
+    }
+    return value;
+}
+function isCurrentHeader(value) {
+    return (isRecord(value) &&
+        value.kind === "header" &&
+        value.v === 4 &&
+        typeof value.storageVersion === "number");
+}
+export function isPi084SessionFile(filePath) {
+    try {
+        const value = JSON.parse(firstLine(filePath));
+        return isRecord(value) && value.kind === "header" && value.version === 4;
+    }
+    catch {
+        return false;
+    }
+}
+function convertEntry(record) {
+    const { kind: _kind, lane: _lane, ...raw } = record;
+    const base = {
+        id: String(raw.id),
+        parentId: typeof raw.parentId === "string" ? raw.parentId : null,
+        seq: Number(raw.seq),
+        timestamp: Number(raw.timestamp),
+    };
+    switch (raw.type) {
+        case "message":
+            return { ...base, type: "message", message: raw.message };
+        case "compaction":
+            return {
+                ...base,
+                type: "compaction",
+                summary: String(raw.summary ?? ""),
+                retainedTail: jsonValue(raw.retainedTail ?? []),
+                tokensBefore: Number(raw.tokensBefore ?? 0),
+                fromHook: false,
+                ...optionalAnnotations(raw),
+            };
+        case "branch_summary":
+            return {
+                ...base,
+                type: "branch_summary",
+                fromId: typeof raw.fromId === "string" ? raw.fromId : null,
+                summary: String(raw.summary ?? ""),
+                fromHook: false,
+                ...optionalAnnotations(raw),
+            };
+        case "custom":
+            return {
+                ...base,
+                type: "custom",
+                customType: String(raw.customType ?? "legacy"),
+                ...(raw.data !== undefined ? { data: jsonValue(raw.data) } : {}),
+            };
+        case "model_change":
+        case "thinking_level_change":
+        case "active_tools_change": {
+            const { id: _id, parentId: _parentId, seq: _seq, timestamp: _timestamp, type, ...data } = raw;
+            return {
+                ...base,
+                type: "custom",
+                customType: `mikan.pi084.${String(type)}`,
+                data: jsonValue(data),
+            };
+        }
+        default:
+            throw new Error(`Unsupported Pi 0.84 entry type: ${String(raw.type)}`);
+    }
+}
+/** Apply a `fact` mutation; `false` means the fact is not one we understand. */
+function applyFact(state, value) {
+    if (value.fact === "name") {
+        state.name = typeof value.name === "string" ? value.name : undefined;
+        return true;
+    }
+    if (value.fact !== "label" || typeof value.targetId !== "string")
+        return false;
+    if (typeof value.label === "string")
+        state.labels.set(value.targetId, value.label);
+    else
+        state.labels.delete(value.targetId);
+    return true;
+}
+/** Apply one non-header line; `false` means the mutation is unrecognized. */
+function applyMutation(state, value) {
+    switch (value.kind) {
+        case "entry": {
+            const entry = convertEntry(value);
+            state.entries.push(entry);
+            if (typeof value.lane === "string")
+                state.branchTips.set(value.lane, entry.id);
+            return true;
+        }
+        case "lane": {
+            if (typeof value.lane !== "string")
+                return false;
+            state.branchTips.set(value.lane, typeof value.leafId === "string" ? value.leafId : null);
+            return true;
+        }
+        case "fact":
+            return applyFact(state, value);
+        case "record":
+            state.records.push(jsonValue(value));
+            return true;
+        default:
+            return false;
+    }
+}
+/** mikan metadata, with the legacy parent path folded in when it is missing. */
+function sessionMetadata(header) {
+    const metadata = header.metadata ? structuredClone(header.metadata) : undefined;
+    if (!header.legacyParentSessionPath || metadata?.parentSessionPath !== undefined)
+        return metadata;
+    const withParent = metadata ?? {};
+    withParent.parentSessionPath = header.legacyParentSessionPath;
+    return withParent;
+}
+function readLines(filePath) {
+    const source = readFileSync(filePath, "utf8");
+    const lines = source.split("\n");
+    if (lines.at(-1) === "")
+        lines.pop();
+    return { lines, torn: !source.endsWith("\n"), filePath };
+}
+/** One JSONL line; `undefined` marks a torn final line — a crash tail, not corruption. */
+function parseLine({ lines, torn, filePath }, index) {
+    try {
+        return JSON.parse(lines[index] ?? "");
+    }
+    catch (error) {
+        if (index === lines.length - 1 && torn)
+            return undefined;
+        throw new Error(`Invalid JSON on line ${index + 1}: ${filePath}`, { cause: error });
+    }
+}
+/** Replay every non-header line into `state`, stopping at a torn tail. */
+function replayMutations(state, file) {
+    for (let index = 1; index < file.lines.length; index++) {
+        const value = parseLine(file, index);
+        if (value === undefined)
+            return;
+        const where = `line ${index + 1}: ${file.filePath}`;
+        if (!isRecord(value))
+            throw new Error(`Invalid mutation on ${where}`);
+        if (!applyMutation(state, value))
+            throw new Error(`Unknown Pi 0.84 mutation on ${where}`);
+    }
+}
+function parsePi084Session(filePath) {
+    const file = readLines(filePath);
+    const headerValue = file.lines.length === 0 ? undefined : parseLine(file, 0);
+    if (headerValue === undefined)
+        throw new Error(`Missing Pi 0.84 session header: ${filePath}`);
+    const header = parseHeader(headerValue, filePath);
+    const state = {
+        entries: [],
+        branchTips: new Map([["main", null]]),
+        labels: new Map(),
+        records: [],
+    };
+    replayMutations(state, file);
+    return { ...state, header, metadata: sessionMetadata(header) };
+}
+function encodeCurrentSession(source) {
+    const { header } = source;
+    const writer = new V4FileWriter({
+        v: 4,
+        kind: "header",
+        id: header.id,
+        storageVersion: 1,
+        createdAt: header.createdAt,
+        cwd: header.cwd,
+        ...(header.parentSessionId !== undefined ? { parentSessionId: header.parentSessionId } : {}),
+        ...(header.legacyParentSessionPath !== undefined
+            ? { legacyParentSessionPath: header.legacyParentSessionPath }
+            : {}),
+    });
+    for (const entry of source.entries)
+        writer.entry(entry);
+    for (const [branch, tip] of source.branchTips)
+        writer.set("pi.branch.tip", branch, tip);
+    if (source.name !== undefined)
+        writer.set("pi.session.name", "", source.name);
+    for (const [targetId, label] of source.labels)
+        writer.set("pi.entry.label", targetId, label);
+    if (source.metadata !== undefined)
+        writer.set("mikan", "metadata", source.metadata);
+    for (const record of source.records)
+        writer.append("mikan.pi084.records", "", record);
+    return writer.toString();
+}
+function currentWrites(path) {
+    return readFileSync(path, "utf8")
+        .split("\n")
+        .slice(1)
+        .filter(Boolean)
+        .flatMap((line) => {
+        const parsed = JSON.parse(line);
+        return Array.isArray(parsed) ? parsed : [parsed];
+    });
+}
+function valueWritten(writes, namespace, key) {
+    return writes.findLast((write) => write.kind === "value" &&
+        write.op === "set" &&
+        write.namespace === namespace &&
+        write.key === key)?.value;
+}
+/** Entries must survive the rewrite unchanged apart from their renumbered seq. */
+function verifyEntries(entries, source) {
+    if (entries.length !== source.length)
+        throw new Error("entry count changed");
+    for (const [index, entry] of entries.entries()) {
+        const original = source[index];
+        if (!original)
+            throw new Error(`entry ${index + 1} changed`);
+        const { seq: _entrySeq, ...entryData } = entry;
+        const { seq: _originalSeq, ...originalData } = original;
+        if (JSON.stringify(entryData) !== JSON.stringify(originalData)) {
+            throw new Error(`entry ${index + 1} changed`);
+        }
+    }
+}
+function verifyValues(writes, namespace, expected, describe) {
+    for (const [key, value] of expected) {
+        if (valueWritten(writes, namespace, key) !== value)
+            throw new Error(describe(key));
+    }
+}
+/** Branch tips, labels, metadata and audit records must round-trip as written. */
+function verifyValueWrites(path, source) {
+    const writes = currentWrites(path);
+    verifyValues(writes, "pi.branch.tip", source.branchTips, (key) => `branch ${key} tip changed`);
+    verifyValues(writes, "pi.entry.label", source.labels, (key) => `label ${key} changed`);
+    if (JSON.stringify(valueWritten(writes, "mikan", "metadata")) !== JSON.stringify(source.metadata)) {
+        throw new Error("mikan metadata changed");
+    }
+    const auditRecords = writes.filter((write) => write.kind === "list" && write.namespace === "mikan.pi084.records");
+    if (auditRecords.length !== source.records.length)
+        throw new Error("audit records changed");
+}
+async function verifyCandidate(path, source) {
+    const inspection = await SessionStore.inspect(path);
+    verifyEntries(await inspection.getEntries(), source.entries);
+    const branch = await inspection.getBranch();
+    if ((branch.at(-1)?.id ?? null) !== (source.branchTips.get("main") ?? null)) {
+        throw new Error("main branch tip changed");
+    }
+    if ((await inspection.getSessionName()) !== source.name)
+        throw new Error("session name changed");
+    const header = inspection.getHeader();
+    if (header.id !== source.header.id ||
+        header.timestamp !== new Date(source.header.createdAt).toISOString()) {
+        throw new Error("session identity changed");
+    }
+    verifyValueWrites(path, source);
+}
+export async function migratePi084SessionFile(filePath, options) {
+    let headerValue;
+    try {
+        headerValue = JSON.parse(firstLine(filePath));
+    }
+    catch {
+        return { file: filePath, status: "not-pi-084" };
+    }
+    if (isCurrentHeader(headerValue))
+        return { file: filePath, status: "already-current" };
+    if (!isPi084SessionFile(filePath))
+        return { file: filePath, status: "not-pi-084" };
+    const sourceBytes = readFileSync(filePath);
+    const source = parsePi084Session(filePath);
+    if (options?.dryRun)
+        return { file: filePath, status: "migrated", detail: "dry run" };
+    await commitMigration({
+        filePath,
+        sourceBytes,
+        encoded: encodeCurrentSession(source),
+        tempPath: `${filePath}.pi-085.tmp`,
+        backupPath: `${filePath}.pi-084.bak`,
+        verify: (candidatePath) => verifyCandidate(candidatePath, source),
+    });
+    return { file: filePath, status: "migrated" };
+}
+export function findPi084SessionFiles(root) {
+    return findSessionFiles(root, isPi084SessionFile);
+}
+//# sourceMappingURL=migrate-pi-084.js.map

package/dist/sessions/migrate-pi-084.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate-pi-084.js","sourceRoot":"","sources":["../../src/sessions/migrate-pi-084.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,SAAS,EACT,mBAAmB,EACnB,YAAY,GACb,MAAM,qBAAqB,CAAC;AA6B7B,SAAS,SAAS,CAAC,QAAgB;IACjC,OAAO,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,QAAgB;IACnD,IACE,CAAC,QAAQ,CAAC,KAAK,CAAC;QAChB,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,OAAO,KAAK,CAAC;QACnB,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;QAC5B,OAAO,KAAK,CAAC,SAAS,KAAK,QAAQ;QACnC,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,EAC7B,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,mCAAmC,QAAQ,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,KAA+B,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC;QACf,KAAK,CAAC,IAAI,KAAK,QAAQ;QACvB,KAAK,CAAC,CAAC,KAAK,CAAC;QACb,OAAO,KAAK,CAAC,cAAc,KAAK,QAAQ,CACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,IAAI,CAAC;QACH,MAAM,KAAK,GAAY,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvD,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAA+B;IACnD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,GAAG,EAAE,GAAG,MAAM,CAAC;IACpD,MAAM,IAAI,GAAG;QACX,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,QAAQ,EAAE,OAAO,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QAChE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;QACpB,SAAS,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC;KACjC,CAAC;IACF,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,SAAS;YACZ,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,OAAuB,EAAE,CAAC;QAC5E,KAAK,YAAY;YACf,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;gBAClC,YAAY,EAAE,SAAS,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAA8B;gBAC5E,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,YAAY,IAAI,CAAC,CAAC;gBAC3C,QAAQ,EAAE,KAAK;gBACf,GAAG,mBAAmB,CAAC,GAAG,CAAC;aAC5B,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,OAAO,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;gBAC1D,OAAO,EAAE,MAAM,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC;gBAClC,QAAQ,EAAE,KAAK;gBACf,GAAG,mBAAmB,CAAC,GAAG,CAAC;aAC5B,CAAC;QACJ,KAAK,QAAQ;YACX,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,IAAI,QAAQ,CAAC;gBAC9C,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACjE,CAAC;QACJ,KAAK,cAAc,CAAC;QACpB,KAAK,uBAAuB,CAAC;QAC7B,KAAK,qBAAqB,EAAE,CAAC;YAC3B,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;YAC9F,OAAO;gBACL,GAAG,IAAI;gBACP,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,eAAe,MAAM,CAAC,IAAI,CAAC,EAAE;gBACzC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC;aACtB,CAAC;QACJ,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,mCAAmC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,SAAS,SAAS,CAAC,KAAqB,EAAE,KAA8B;IACtE,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,GAAG,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACrE,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC/E,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;;QAC9E,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,KAAqB,EAAE,KAA8B;IAC1E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;YAClC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YACjD,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzF,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,MAAM;YACT,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,KAAK,QAAQ;YACX,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;YACrC,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,SAAS,eAAe,CAAC,MAAmB;IAC1C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChF,IAAI,CAAC,MAAM,CAAC,uBAAuB,IAAI,QAAQ,EAAE,iBAAiB,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAClG,MAAM,UAAU,GAAG,QAAQ,IAAI,EAAE,CAAC;IAClC,UAAU,CAAC,iBAAiB,GAAG,MAAM,CAAC,uBAAuB,CAAC;IAC9D,OAAO,UAAU,CAAC;AACpB,CAAC;AASD,SAAS,SAAS,CAAC,QAAgB;IACjC,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACrC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC3D,CAAC;AAED,0FAA0F;AAC1F,SAAS,SAAS,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAc,EAAE,KAAa;IACrE,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACxC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI;YAAE,OAAO,SAAS,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,wBAAwB,KAAK,GAAG,CAAC,KAAK,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED,0EAA0E;AAC1E,SAAS,eAAe,CAAC,KAAqB,EAAE,IAAgB;IAC9D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACvD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,MAAM,KAAK,GAAG,QAAQ,KAAK,GAAG,CAAC,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,KAAK,EAAE,CAAC,CAAC;QACtE,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,EAAE,CAAC,CAAC;IAC5F,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAgB;IACzC,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7E,IAAI,WAAW,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,QAAQ,EAAE,CAAC,CAAC;IAC9F,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IAClD,MAAM,KAAK,GAAmB;QAC5B,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,OAAO,EAAE,EAAE;KACZ,CAAC;IACF,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7B,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC;AACjE,CAAC;AAED,SAAS,oBAAoB,CAAC,MAA0B;IACtD,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC;IAC1B,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC;QAC9B,CAAC,EAAE,CAAC;QACJ,IAAI,EAAE,QAAQ;QACd,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,cAAc,EAAE,CAAC;QACjB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,GAAG,CAAC,MAAM,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5F,GAAG,CAAC,MAAM,CAAC,uBAAuB,KAAK,SAAS;YAC9C,CAAC,CAAC,EAAE,uBAAuB,EAAE,MAAM,CAAC,uBAAuB,EAAE;YAC7D,CAAC,CAAC,EAAE,CAAC;KACR,CAAC,CAAC;IACH,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO;QAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,UAAU;QAAE,MAAM,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;IACxF,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,iBAAiB,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9E,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,MAAM;QAAE,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IAC7F,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;QAAE,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;IACpF,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO;QAAE,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IACtF,OAAO,MAAM,CAAC,QAAQ,EAAE,CAAC;AAC3B,CAAC;AAED,SAAS,aAAa,CAAC,IAAY;IACjC,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC;SAC9B,KAAK,CAAC,IAAI,CAAC;SACX,KAAK,CAAC,CAAC,CAAC;SACR,MAAM,CAAC,OAAO,CAAC;SACf,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;QAChB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAA6D,CAAC;QAC5F,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,YAAY,CACnB,MAAsC,EACtC,SAAiB,EACjB,GAAW;IAEX,OAAO,MAAM,CAAC,QAAQ,CACpB,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,IAAI,KAAK,OAAO;QACtB,KAAK,CAAC,EAAE,KAAK,KAAK;QAClB,KAAK,CAAC,SAAS,KAAK,SAAS;QAC7B,KAAK,CAAC,GAAG,KAAK,GAAG,CACpB,EAAE,KAAK,CAAC;AACX,CAAC;AAED,kFAAkF;AAClF,SAAS,aAAa,CAAC,OAAgB,EAAE,MAAe;IACtD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;IAC7E,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;QAC7D,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,SAAS,EAAE,GAAG,KAAK,CAAC;QAC/C,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,YAAY,EAAE,GAAG,QAAQ,CAAC;QACxD,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/D,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,MAAsC,EACtC,SAAiB,EACjB,QAA4C,EAC5C,QAAiC;IAEjC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACpC,IAAI,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,KAAK,KAAK;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACrF,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,SAAS,iBAAiB,CAAC,IAAY,EAAE,MAA0B;IACjE,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,YAAY,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,GAAG,cAAc,CAAC,CAAC;IAC/F,YAAY,CAAC,MAAM,EAAE,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,GAAG,UAAU,CAAC,CAAC;IACvF,IACE,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,MAAM,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAC7F,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAChC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,SAAS,KAAK,qBAAqB,CAC9E,CAAC;IACF,IAAI,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,OAAO,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;AAC9F,CAAC;AAED,KAAK,UAAU,eAAe,CAAC,IAAY,EAAE,MAA0B;IACrE,MAAM,UAAU,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,aAAa,CAAC,MAAM,UAAU,CAAC,UAAU,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,SAAS,EAAE,CAAC;IAC5C,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,CAAC,MAAM,UAAU,CAAC,cAAc,EAAE,CAAC,KAAK,MAAM,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACjG,MAAM,MAAM,GAAG,UAAU,CAAC,SAAS,EAAE,CAAC;IACtC,IACE,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE;QAC9B,MAAM,CAAC,SAAS,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,EACpE,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC9C,CAAC;IACD,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAClC,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,QAAgB,EAChB,OAA8B;IAE9B,IAAI,WAAoB,CAAC;IACzB,IAAI,CAAC;QACH,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC;IAChD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IAClD,CAAC;IACD,IAAI,eAAe,CAAC,WAAW,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IACvF,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;IACnF,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC3C,IAAI,OAAO,EAAE,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IAEtF,MAAM,eAAe,CAAC;QACpB,QAAQ;QACR,WAAW;QACX,OAAO,EAAE,oBAAoB,CAAC,MAAM,CAAC;QACrC,QAAQ,EAAE,GAAG,QAAQ,aAAa;QAClC,UAAU,EAAE,GAAG,QAAQ,aAAa;QACpC,MAAM,EAAE,CAAC,aAAa,EAAE,EAAE,CAAC,eAAe,CAAC,aAAa,EAAE,MAAM,CAAC;KAClE,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,gBAAgB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;AACpD,CAAC","sourcesContent":["import { readFileSync } from \"node:fs\";\nimport type { AgentMessage, Entry, JsonValue } from \"@earendil-works/pi-agent-core\";\nimport { SessionStore } from \"./session-store.js\";\nimport { isRecord } from \"../file-guards.js\";\nimport {\n  commitMigration,\n  findSessionFiles,\n  jsonValue,\n  optionalAnnotations,\n  V4FileWriter,\n} from \"./migrate-common.js\";\nimport type { Pi084MigrationResult } from \"./types.js\";\nexport type { Pi084MigrationResult } from \"./types.js\";\n\ninterface Pi084Header {\n  kind: \"header\";\n  version: 4;\n  id: string;\n  createdAt: number;\n  cwd: string;\n  parentSessionId?: string;\n  legacyParentSessionPath?: string;\n  metadata?: Record<string, JsonValue>;\n}\n\n/** The mutation state a Pi 0.84 file folds into as its lines are replayed. */\ninterface Pi084Mutations {\n  entries: Entry[];\n  branchTips: Map<string, string | null>;\n  labels: Map<string, string>;\n  records: JsonValue[];\n  name?: string;\n}\n\ninterface ParsedPi084Session extends Pi084Mutations {\n  header: Pi084Header;\n  metadata?: Record<string, JsonValue>;\n}\n\nfunction firstLine(filePath: string): string {\n  return readFileSync(filePath, \"utf8\").split(\"\\n\", 1)[0]?.trim() ?? \"\";\n}\n\nfunction parseHeader(value: unknown, filePath: string): Pi084Header {\n  if (\n    !isRecord(value) ||\n    value.kind !== \"header\" ||\n    value.version !== 4 ||\n    typeof value.id !== \"string\" ||\n    typeof value.createdAt !== \"number\" ||\n    typeof value.cwd !== \"string\"\n  ) {\n    throw new Error(`Invalid Pi 0.84 session header: ${filePath}`);\n  }\n  return value as unknown as Pi084Header;\n}\n\nfunction isCurrentHeader(value: unknown): boolean {\n  return (\n    isRecord(value) &&\n    value.kind === \"header\" &&\n    value.v === 4 &&\n    typeof value.storageVersion === \"number\"\n  );\n}\n\nexport function isPi084SessionFile(filePath: string): boolean {\n  try {\n    const value: unknown = JSON.parse(firstLine(filePath));\n    return isRecord(value) && value.kind === \"header\" && value.version === 4;\n  } catch {\n    return false;\n  }\n}\n\nfunction convertEntry(record: Record<string, unknown>): Entry {\n  const { kind: _kind, lane: _lane, ...raw } = record;\n  const base = {\n    id: String(raw.id),\n    parentId: typeof raw.parentId === \"string\" ? raw.parentId : null,\n    seq: Number(raw.seq),\n    timestamp: Number(raw.timestamp),\n  };\n  switch (raw.type) {\n    case \"message\":\n      return { ...base, type: \"message\", message: raw.message as AgentMessage };\n    case \"compaction\":\n      return {\n        ...base,\n        type: \"compaction\",\n        summary: String(raw.summary ?? \"\"),\n        retainedTail: jsonValue(raw.retainedTail ?? []) as unknown as AgentMessage[],\n        tokensBefore: Number(raw.tokensBefore ?? 0),\n        fromHook: false,\n        ...optionalAnnotations(raw),\n      };\n    case \"branch_summary\":\n      return {\n        ...base,\n        type: \"branch_summary\",\n        fromId: typeof raw.fromId === \"string\" ? raw.fromId : null,\n        summary: String(raw.summary ?? \"\"),\n        fromHook: false,\n        ...optionalAnnotations(raw),\n      };\n    case \"custom\":\n      return {\n        ...base,\n        type: \"custom\",\n        customType: String(raw.customType ?? \"legacy\"),\n        ...(raw.data !== undefined ? { data: jsonValue(raw.data) } : {}),\n      };\n    case \"model_change\":\n    case \"thinking_level_change\":\n    case \"active_tools_change\": {\n      const { id: _id, parentId: _parentId, seq: _seq, timestamp: _timestamp, type, ...data } = raw;\n      return {\n        ...base,\n        type: \"custom\",\n        customType: `mikan.pi084.${String(type)}`,\n        data: jsonValue(data),\n      };\n    }\n    default:\n      throw new Error(`Unsupported Pi 0.84 entry type: ${String(raw.type)}`);\n  }\n}\n\n/** Apply a `fact` mutation; `false` means the fact is not one we understand. */\nfunction applyFact(state: Pi084Mutations, value: Record<string, unknown>): boolean {\n  if (value.fact === \"name\") {\n    state.name = typeof value.name === \"string\" ? value.name : undefined;\n    return true;\n  }\n  if (value.fact !== \"label\" || typeof value.targetId !== \"string\") return false;\n  if (typeof value.label === \"string\") state.labels.set(value.targetId, value.label);\n  else state.labels.delete(value.targetId);\n  return true;\n}\n\n/** Apply one non-header line; `false` means the mutation is unrecognized. */\nfunction applyMutation(state: Pi084Mutations, value: Record<string, unknown>): boolean {\n  switch (value.kind) {\n    case \"entry\": {\n      const entry = convertEntry(value);\n      state.entries.push(entry);\n      if (typeof value.lane === \"string\") state.branchTips.set(value.lane, entry.id);\n      return true;\n    }\n    case \"lane\": {\n      if (typeof value.lane !== \"string\") return false;\n      state.branchTips.set(value.lane, typeof value.leafId === \"string\" ? value.leafId : null);\n      return true;\n    }\n    case \"fact\":\n      return applyFact(state, value);\n    case \"record\":\n      state.records.push(jsonValue(value));\n      return true;\n    default:\n      return false;\n  }\n}\n\n/** mikan metadata, with the legacy parent path folded in when it is missing. */\nfunction sessionMetadata(header: Pi084Header): Record<string, JsonValue> | undefined {\n  const metadata = header.metadata ? structuredClone(header.metadata) : undefined;\n  if (!header.legacyParentSessionPath || metadata?.parentSessionPath !== undefined) return metadata;\n  const withParent = metadata ?? {};\n  withParent.parentSessionPath = header.legacyParentSessionPath;\n  return withParent;\n}\n\ninterface Pi084Lines {\n  lines: string[];\n  /** A file without a trailing newline may end in a torn line (a crash tail). */\n  torn: boolean;\n  filePath: string;\n}\n\nfunction readLines(filePath: string): Pi084Lines {\n  const source = readFileSync(filePath, \"utf8\");\n  const lines = source.split(\"\\n\");\n  if (lines.at(-1) === \"\") lines.pop();\n  return { lines, torn: !source.endsWith(\"\\n\"), filePath };\n}\n\n/** One JSONL line; `undefined` marks a torn final line — a crash tail, not corruption. */\nfunction parseLine({ lines, torn, filePath }: Pi084Lines, index: number): unknown {\n  try {\n    return JSON.parse(lines[index] ?? \"\");\n  } catch (error) {\n    if (index === lines.length - 1 && torn) return undefined;\n    throw new Error(`Invalid JSON on line ${index + 1}: ${filePath}`, { cause: error });\n  }\n}\n\n/** Replay every non-header line into `state`, stopping at a torn tail. */\nfunction replayMutations(state: Pi084Mutations, file: Pi084Lines): void {\n  for (let index = 1; index < file.lines.length; index++) {\n    const value = parseLine(file, index);\n    if (value === undefined) return;\n    const where = `line ${index + 1}: ${file.filePath}`;\n    if (!isRecord(value)) throw new Error(`Invalid mutation on ${where}`);\n    if (!applyMutation(state, value)) throw new Error(`Unknown Pi 0.84 mutation on ${where}`);\n  }\n}\n\nfunction parsePi084Session(filePath: string): ParsedPi084Session {\n  const file = readLines(filePath);\n  const headerValue = file.lines.length === 0 ? undefined : parseLine(file, 0);\n  if (headerValue === undefined) throw new Error(`Missing Pi 0.84 session header: ${filePath}`);\n  const header = parseHeader(headerValue, filePath);\n  const state: Pi084Mutations = {\n    entries: [],\n    branchTips: new Map([[\"main\", null]]),\n    labels: new Map(),\n    records: [],\n  };\n  replayMutations(state, file);\n  return { ...state, header, metadata: sessionMetadata(header) };\n}\n\nfunction encodeCurrentSession(source: ParsedPi084Session): string {\n  const { header } = source;\n  const writer = new V4FileWriter({\n    v: 4,\n    kind: \"header\",\n    id: header.id,\n    storageVersion: 1,\n    createdAt: header.createdAt,\n    cwd: header.cwd,\n    ...(header.parentSessionId !== undefined ? { parentSessionId: header.parentSessionId } : {}),\n    ...(header.legacyParentSessionPath !== undefined\n      ? { legacyParentSessionPath: header.legacyParentSessionPath }\n      : {}),\n  });\n  for (const entry of source.entries) writer.entry(entry);\n  for (const [branch, tip] of source.branchTips) writer.set(\"pi.branch.tip\", branch, tip);\n  if (source.name !== undefined) writer.set(\"pi.session.name\", \"\", source.name);\n  for (const [targetId, label] of source.labels) writer.set(\"pi.entry.label\", targetId, label);\n  if (source.metadata !== undefined) writer.set(\"mikan\", \"metadata\", source.metadata);\n  for (const record of source.records) writer.append(\"mikan.pi084.records\", \"\", record);\n  return writer.toString();\n}\n\nfunction currentWrites(path: string): Array<Record<string, unknown>> {\n  return readFileSync(path, \"utf8\")\n    .split(\"\\n\")\n    .slice(1)\n    .filter(Boolean)\n    .flatMap((line) => {\n      const parsed = JSON.parse(line) as Record<string, unknown> | Array<Record<string, unknown>>;\n      return Array.isArray(parsed) ? parsed : [parsed];\n    });\n}\n\nfunction valueWritten(\n  writes: Array<Record<string, unknown>>,\n  namespace: string,\n  key: string,\n): unknown {\n  return writes.findLast(\n    (write) =>\n      write.kind === \"value\" &&\n      write.op === \"set\" &&\n      write.namespace === namespace &&\n      write.key === key,\n  )?.value;\n}\n\n/** Entries must survive the rewrite unchanged apart from their renumbered seq. */\nfunction verifyEntries(entries: Entry[], source: Entry[]): void {\n  if (entries.length !== source.length) throw new Error(\"entry count changed\");\n  for (const [index, entry] of entries.entries()) {\n    const original = source[index];\n    if (!original) throw new Error(`entry ${index + 1} changed`);\n    const { seq: _entrySeq, ...entryData } = entry;\n    const { seq: _originalSeq, ...originalData } = original;\n    if (JSON.stringify(entryData) !== JSON.stringify(originalData)) {\n      throw new Error(`entry ${index + 1} changed`);\n    }\n  }\n}\n\nfunction verifyValues(\n  writes: Array<Record<string, unknown>>,\n  namespace: string,\n  expected: ReadonlyMap<string, string | null>,\n  describe: (key: string) => string,\n): void {\n  for (const [key, value] of expected) {\n    if (valueWritten(writes, namespace, key) !== value) throw new Error(describe(key));\n  }\n}\n\n/** Branch tips, labels, metadata and audit records must round-trip as written. */\nfunction verifyValueWrites(path: string, source: ParsedPi084Session): void {\n  const writes = currentWrites(path);\n  verifyValues(writes, \"pi.branch.tip\", source.branchTips, (key) => `branch ${key} tip changed`);\n  verifyValues(writes, \"pi.entry.label\", source.labels, (key) => `label ${key} changed`);\n  if (\n    JSON.stringify(valueWritten(writes, \"mikan\", \"metadata\")) !== JSON.stringify(source.metadata)\n  ) {\n    throw new Error(\"mikan metadata changed\");\n  }\n  const auditRecords = writes.filter(\n    (write) => write.kind === \"list\" && write.namespace === \"mikan.pi084.records\",\n  );\n  if (auditRecords.length !== source.records.length) throw new Error(\"audit records changed\");\n}\n\nasync function verifyCandidate(path: string, source: ParsedPi084Session): Promise<void> {\n  const inspection = await SessionStore.inspect(path);\n  verifyEntries(await inspection.getEntries(), source.entries);\n  const branch = await inspection.getBranch();\n  if ((branch.at(-1)?.id ?? null) !== (source.branchTips.get(\"main\") ?? null)) {\n    throw new Error(\"main branch tip changed\");\n  }\n  if ((await inspection.getSessionName()) !== source.name) throw new Error(\"session name changed\");\n  const header = inspection.getHeader();\n  if (\n    header.id !== source.header.id ||\n    header.timestamp !== new Date(source.header.createdAt).toISOString()\n  ) {\n    throw new Error(\"session identity changed\");\n  }\n  verifyValueWrites(path, source);\n}\n\nexport async function migratePi084SessionFile(\n  filePath: string,\n  options?: { dryRun?: boolean },\n): Promise<Pi084MigrationResult> {\n  let headerValue: unknown;\n  try {\n    headerValue = JSON.parse(firstLine(filePath));\n  } catch {\n    return { file: filePath, status: \"not-pi-084\" };\n  }\n  if (isCurrentHeader(headerValue)) return { file: filePath, status: \"already-current\" };\n  if (!isPi084SessionFile(filePath)) return { file: filePath, status: \"not-pi-084\" };\n  const sourceBytes = readFileSync(filePath);\n  const source = parsePi084Session(filePath);\n  if (options?.dryRun) return { file: filePath, status: \"migrated\", detail: \"dry run\" };\n\n  await commitMigration({\n    filePath,\n    sourceBytes,\n    encoded: encodeCurrentSession(source),\n    tempPath: `${filePath}.pi-085.tmp`,\n    backupPath: `${filePath}.pi-084.bak`,\n    verify: (candidatePath) => verifyCandidate(candidatePath, source),\n  });\n  return { file: filePath, status: \"migrated\" };\n}\n\nexport function findPi084SessionFiles(root: string): string[] {\n  return findSessionFiles(root, isPi084SessionFile);\n}\n"]}

package/dist/sessions/migrate-v3.d.ts

@@ -0,0 +1,15 @@
+import type { MigrateResult } from "./types.js";
+export type { MigrateResult } from "./types.js";
+/** Whether a file's first non-empty line is a v3 session header. */
+export declare function isV3SessionFile(filePath: string): boolean;
+/**
+ * Migrate one session file in place. The migrated file is verified against
+ * the v3 reference semantics before it replaces the original; the original
+ * is preserved as `<file>.v3.bak`.
+ */
+export declare function migrateSessionFile(filePath: string, options?: {
+    dryRun?: boolean;
+}): Promise<MigrateResult>;
+/** Recursively find candidate session files (.jsonl with a v3 header). */
+export declare function findV3SessionFiles(root: string): string[];
+//# sourceMappingURL=migrate-v3.d.ts.map

package/dist/sessions/migrate-v3.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate-v3.d.ts","sourceRoot":"","sources":["../../src/sessions/migrate-v3.ts"],"names":[],"mappings":"AAkCA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAsEhD,oEAAoE;AACpE,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAUzD;AAiYD;;;;GAIG;AACH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,MAAM,EAChB,OAAO,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GAC7B,OAAO,CAAC,aAAa,CAAC,CAexB;AAED,0EAA0E;AAC1E,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAEzD"}