@monotykamary/pi-vcc 0.4.0 → 0.4.1

package/tests/before-compact.test.ts

@@ -1,227 +0,0 @@
-import { describe, test, expect } from "bun:test";
-import { buildOwnCut } from "../src/hooks/before-compact";
-
-const msg = (id: string, role: "user" | "assistant" | "toolResult", content = "x") => ({
-  id,
-  type: "message",
-  message: { role, content },
-});
-
-const comp = (id: string, firstKeptEntryId?: string) => ({
-  id,
-  type: "compaction",
-  firstKeptEntryId,
-});
-
-describe("buildOwnCut", () => {
-  test("no prior compaction: cuts at last user message", () => {
-    const r = buildOwnCut([
-      msg("m1", "user", "a"),
-      msg("m2", "assistant", "b"),
-      msg("m3", "user", "c"),
-      msg("m4", "assistant", "d"),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    expect(r.firstKeptEntryId).toBe("m3");
-    expect(r.messages).toHaveLength(2);
-    expect(r.compactAll).toBe(false);
-  });
-
-  test("cancels with too_few_live_messages when liveMessages <= 2", () => {
-    const r = buildOwnCut([
-      comp("c1", "m1"),
-      msg("m1", "user", "x"),
-      msg("m2", "assistant", "y"),
-    ]);
-    expect(r.ok).toBe(false);
-    if (r.ok) return;
-    expect(r.reason).toBe("too_few_live_messages");
-  });
-
-  test("orphan firstKeptEntryId triggers recovery (collect after compaction)", () => {
-    // Prev compaction set firstKeptEntryId to a non-existent id (e.g. "" sentinel
-    // from a previous compact-all). Recovery should collect msgs after compaction.
-    const r = buildOwnCut([
-      msg("old1", "user", "old"),
-      msg("old2", "assistant", "old"),
-      comp("c1", "ORPHAN_ID"),
-      msg("m1", "user", "a"),
-      msg("m2", "assistant", "b"),
-      msg("m3", "user", "c"),
-      msg("m4", "assistant", "d"),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    expect(r.firstKeptEntryId).toBe("m3");
-    expect(r.messages).toHaveLength(2);
-  });
-
-  test("resumes from firstKeptEntryId after prior compaction", () => {
-    const r = buildOwnCut([
-      msg("old1", "user", "old"),
-      msg("old2", "assistant", "old"),
-      comp("c1", "m1"),
-      msg("m1", "user", "a"),
-      msg("m2", "assistant", "b"),
-      msg("m3", "user", "c"),
-      msg("m4", "assistant", "d"),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    expect(r.firstKeptEntryId).toBe("m3");
-    expect(r.messages).toHaveLength(2);
-  });
-
-  test("single user prompt + autonomous tail: cut at mid-cycle boundary", () => {
-    // The agentic scenario: user types 1 prompt, agent runs autonomously
-    // (assistant + toolResult interleaved). No user > idx 0.
-    // Instead of compact-all, find a completed tool-cycle boundary.
-    const r = buildOwnCut([
-      msg("m1", "user", "go"),
-      msg("m2", "assistant", "calling tool"),
-      msg("m3", "toolResult", "result"),
-      msg("m4", "assistant", "more"),
-      msg("m5", "toolResult", "result2"),
-      msg("m6", "assistant", "done"),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    expect(r.compactAll).toBe(false);
-    // Should cut after the first completed cycle (m2→m3) or the second (m4→m5)
-    // Mid-cycle logic picks nearest to midpoint of 6 = index 3
-    // Cycle 1 ends at m3 (idx 3), cycle 2 ends at m5 (idx 5)
-    // Distance: |3-3|=0 vs |5-3|=2, so picks m3
-    expect(r.firstKeptEntryId).toBe("m4");
-    expect(r.messages).toHaveLength(3); // m1, m2, m3
-  });
-
-  test("no user message: compact-all instead of cancelling", () => {
-    // When there are enough live messages but none are from the user
-    // (e.g., long assistant/tool chain), compact all rather than
-    // cancelling and leaving the session unrecoverable.
-    const r = buildOwnCut([
-      msg("m1", "assistant", "a"),
-      msg("m2", "assistant", "b"),
-      msg("m3", "assistant", "c"),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    expect(r.compactAll).toBe(true);
-    expect(r.firstKeptEntryId).toBe("");
-    expect(r.messages).toHaveLength(3);
-  });
-
-  test("compact-all then more chat: orphan recovery + normal cut", () => {
-    // After a compact-all (firstKeptEntryId=""), user chats more turns,
-    // next compaction should orphan-recover and find multiple users.
-    const r = buildOwnCut([
-      msg("o1", "user", "old"),
-      msg("o2", "assistant", "old"),
-      comp("c1", ""), // sentinel from prior compact-all
-      msg("u1", "user", "new1"),
-      msg("a1", "assistant", "reply1"),
-      msg("u2", "user", "new2"),
-      msg("a2", "assistant", "reply2"),
-      msg("u3", "user", "new3"),
-      msg("a3", "assistant", "reply3"),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    expect(r.compactAll).toBe(false);
-    expect(r.firstKeptEntryId).toBe("u3");
-    expect(r.messages).toHaveLength(4); // u1, a1, u2, a2
-  });
-
-  test("compact-all then single user msg + autonomous: cut at mid-cycle boundary", () => {
-    // After compact-all, only 1 user message in orphan range. Should find
-    // a completed tool-cycle boundary instead of compacting all again.
-    const r = buildOwnCut([
-      msg("o1", "user", "old"),
-      comp("c1", ""),
-      msg("u1", "user", "okay"),
-      msg("a1", "assistant", "x"),
-      msg("t1", "toolResult", "y"),
-      msg("a2", "assistant", "z"),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    // Single user at idx 0 of live range → mid-cycle boundary
-    // Live messages: [u1, a1, t1, a2]. Midpoint=2. Completed cycle ends at t1 (idx 2).
-    expect(r.compactAll).toBe(false);
-    expect(r.firstKeptEntryId).toBe("a2");
-  });
-
-  test("matched tool calls do NOT push cut back to previous user", () => {
-    // Regression: toolResult messages carry toolCallId at the message level,
-    // not as a content part. The old code looked for part.type==="toolResult"
-    // in content (which never matches), causing every toolCall to appear
-    // "unmatched" and pushing the cut back one user turn.
-    const r = buildOwnCut([
-      msg("u1", "user", "first prompt"),
-      msg("a1", "assistant", [{ type: "text", text: "let me check" }, { type: "toolCall", id: "tc_1", name: "read", arguments: { path: "foo.ts" } }]),
-      { id: "t1", type: "message", message: { role: "toolResult", toolCallId: "tc_1", toolName: "read", content: [{ type: "text", text: "file contents" }], isError: false } },
-      msg("u2", "user", "second prompt"),
-      msg("a2", "assistant", [{ type: "text", text: "done" }]),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    // Cut should be at u2 (second user) since tc_1 has a matching toolResult
-    expect(r.compactAll).toBe(false);
-    expect(r.firstKeptEntryId).toBe("u2");
-    expect(r.messages).toHaveLength(3); // u1, a1, t1
-  });
-
-  test("unmatched tool call still pushes cut back", () => {
-    // When a toolCall genuinely has no toolResult, the cut should still
-    // push back to keep the in-progress turn in the tail.
-    const r = buildOwnCut([
-      msg("u1", "user", "first prompt"),
-      msg("a1", "assistant", "response 1"),
-      msg("u2", "user", "second prompt"),
-      msg("a2", "assistant", "response 2"),
-      msg("u3", "user", "third prompt"),
-      msg("a3", "assistant", [{ type: "text", text: "checking" }, { type: "toolCall", id: "tc_unmatched", name: "bash", arguments: { command: "ls" } }]),
-    ]);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    // tc_unmatched has no toolResult → push cut back from u3 to u2
-    expect(r.compactAll).toBe(false);
-    expect(r.firstKeptEntryId).toBe("u2");
-  });
-
-  test("Anthropic-style session: many matched toolCalls should not cause compact-all", () => {
-    // Simulates the real Anthropic pattern: 2 user messages with many matched
-    // toolCall/toolResult pairs between them. The bug caused all toolCalls to
-    // appear "unmatched" → cut pushed back to first user → compact-all.
-    const entries: any[] = [
-      msg("u1", "user", "help me find bugs"),
-    ];
-    // Add 5 matched tool cycles (assistant with toolCall + toolResult)
-    for (let i = 1; i <= 5; i++) {
-      entries.push({ id: `a${i}`, type: "message", message: { role: "assistant", content: [
-        { type: "thinking", thinking: `thinking ${i}` },
-        { type: "toolCall", id: `tc_${i}`, name: "read", arguments: { path: `file${i}.ts` } },
-      ] } });
-      entries.push({ id: `t${i}`, type: "message", message: { role: "toolResult", toolCallId: `tc_${i}`, toolName: "read", content: [{ type: "text", text: `file ${i} contents` }], isError: false } });
-    }
-    // Second user message
-    entries.push(msg("u2", "user", "now fix the bug"));
-    // More matched tool cycles after second user
-    for (let i = 6; i <= 8; i++) {
-      entries.push({ id: `a${i}`, type: "message", message: { role: "assistant", content: [
-        { type: "toolCall", id: `tc_${i}`, name: "edit", arguments: { path: `file${i}.ts` } },
-      ] } });
-      entries.push({ id: `t${i}`, type: "message", message: { role: "toolResult", toolCallId: `tc_${i}`, toolName: "edit", content: [{ type: "text", text: `edited file ${i}` }], isError: false } });
-    }
-    entries.push(msg("a9", "assistant", "all done"));
-
-    const r = buildOwnCut(entries);
-    expect(r.ok).toBe(true);
-    if (!r.ok) return;
-    // Cut should be at u2 — all toolCalls after u1 have matching toolResults
-    // and all toolCalls after u2 also have matching toolResults
-    expect(r.compactAll).toBe(false);
-    expect(r.firstKeptEntryId).toBe("u2");
-  });
-});

package/tests/breadcrumbs.test.ts

@@ -1,312 +0,0 @@
-import { describe, it, expect } from "bun:test";
-import { compile } from "../src/core/summarize";
-import { buildSections } from "../src/core/build-sections";
-import type { NormalizedBlock } from "../src/types";
-import {
-  userMsg,
-} from "./fixtures";
-
-describe("breadcrumbs: mergeHeaderSection", () => {
-  it("leaves recall breadcrumbs when Session Goal exceeds cap", () => {
-    const goals = Array.from({ length: 10 }, (_, i) =>
-      `- Implement feature ${i}: auth${i} module`
-    ).join("\n");
-    const prevSummary = `[Session Goal]\n${goals}\n\n---\n\n[user]\nhi`;
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-    expect(r).toContain("...recall:");
-    expect(r).toContain("auth0");
-    expect(r).toContain("auth1");
-    expect(r).toContain("feature 9");
-    expect(r).not.toContain("Implement feature 0: auth0 module");
-  });
-
-  it("leaves no breadcrumbs when under cap", () => {
-    const goals = Array.from({ length: 5 }, (_, i) =>
-      `- Goal ${i}`
-    ).join("\n");
-    const prevSummary = `[Session Goal]\n${goals}\n\n---\n\n[user]\nhi`;
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-    expect(r).not.toContain("...recall:");
-  });
-
-  it("leaves breadcrumbs for Earlier Turns when cap exceeded", () => {
-    const turns = Array.from({ length: 20 }, (_, i) =>
-      `- Fix bug ${i} → edited bug${i}.ts`
-    ).join("\n");
-    const prevSummary = `[Earlier Turns]\n${turns}\n\n---\n\n[user]\nhi`;
-    const r = compile({
-      messages: [userMsg("next")],
-      previousSummary: prevSummary,
-    });
-    expect(r).toContain("...recall:");
-    expect(r).toContain("bug0.ts");
-  });
-
-  it("breadcrumb extraction: picks up file paths from edited actions", () => {
-    const manyTurns = Array.from({ length: 18 }, (_, i) =>
-      `- Turn ${i} → edited file${i}.ts`
-    ).join("\n");
-    const bigPrevSummary = `[Earlier Turns]\n${manyTurns}\n\n---\n\n[user]\ngo`;
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: bigPrevSummary,
-    });
-    expect(r).toContain("...recall:");
-    expect(r).toContain("file0.ts");
-  });
-
-  it("breadcrumb from short text uses first content words", () => {
-    const manyGoals = Array.from({ length: 10 }, (_, i) =>
-      `- Task ${i} description`
-    ).join("\n");
-    const bigPrev = `[Session Goal]\n${manyGoals}\n\n---\n\n[user]\ngo`;
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: bigPrev,
-    });
-    expect(r).toContain("...recall:");
-    expect(r).toContain("Task");
-  });
-});
-
-describe("breadcrumbs: mergeFileLines (+recall:)", () => {
-  it("replaces (+N more) with +recall: listing omitted paths", () => {
-    const paths = Array.from({ length: 12 }, (_, i) => `src/mod${i}.ts`);
-    const prevSummary = [
-      "[Files And Changes]",
-      `- Modified: ${paths.join(", ")}`,
-    ].join("\n") + "\n\n---\n\n[user]\ngo";
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-    expect(r).toContain("+recall:");
-    expect(r).toContain("mod10.ts");
-    expect(r).toContain("mod11.ts");
-  });
-
-  it("no breadcrumb when all paths fit within cap", () => {
-    const paths = ["src/a.ts", "src/b.ts"];
-    const prevSummary = [
-      "[Files And Changes]",
-      `- Modified: ${paths.join(", ")}`,
-    ].join("\n") + "\n\n---\n\n[user]\ngo";
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-    expect(r).not.toContain("+recall:");
-  });
-
-  it("breadcrumb paths are parseable on next compaction", () => {
-    const prevSummary = [
-      "[Files And Changes]",
-      `- Modified: src/mod0.ts, src/mod1.ts, +recall: src/mod2.ts`,
-    ].join("\n") + "\n\n---\n\n[user]\ngo";
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-    expect(r).toContain("mod2.ts");
-  });
-
-  it("applies +recall: cap even when only previous has files (no fresh)", () => {
-    const paths = Array.from({ length: 15 }, (_, i) => `src/file${i}.ts`);
-    const prevSummary = [
-      "[Files And Changes]",
-      `- Read: ${paths.join(", ")}`,
-    ].join("\n") + "\n\n---\n\n[user]\ngo";
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-    expect(r).toContain("+recall:");
-    expect(r).toContain("file10.ts");
-  });
-});
-
-describe("breadcrumbs: capBrief", () => {
-  it("shows omitted count without redundant recall terms", () => {
-    const longTranscript = Array.from({ length: 200 }, (_, i) =>
-      `[user]\nmessage ${i}`
-    ).join("\n\n");
-    const previousSummary = `[Session Goal]\n- goal\n\n---\n\n${longTranscript}`;
-    const r = compile({
-      previousSummary,
-      messages: [userMsg("latest")],
-    });
-    expect(r).toContain("earlier lines omitted");
-    // capBrief should NOT include recall: terms (redundant with Files And Changes)
-    expect(r).not.toMatch(/\.\.\.\(\d+ earlier lines omitted, recall:/);
-  });
-});
-
-describe("breadcrumbs: type catalog", () => {
-  it("emits count-only message for omitted files (not redundant file list)", () => {
-    const blocks: NormalizedBlock[] = [];
-    for (let i = 0; i < 15; i++) {
-      blocks.push({ kind: "tool_call", name: "Read", args: { file_path: `src/file${i}.ts` } });
-      blocks.push({
-        kind: "tool_result",
-        name: "Read",
-        text: Array.from({ length: 3 }, (_, j) =>
-          `export function fn${i}_${j}(): void {}`
-        ).join("\n"),
-        isError: false,
-      });
-    }
-    const r = buildSections({ blocks });
-    // Should contain count-only message, not redundant file list
-    expect(r.typeCatalog.some(l => /more files with signatures omitted/.test(l))).toBe(true);
-    // Should NOT list specific file names in the omission line (redundant with Files And Changes)
-    expect(r.typeCatalog.every(l => !l.includes("recall:"))).toBe(true);
-  });
-
-  it("no omission line when all files fit within sig cap", () => {
-    const blocks: NormalizedBlock[] = [
-      { kind: "tool_call", name: "Read", args: { file_path: "src/a.ts" } },
-      {
-        kind: "tool_result",
-        name: "Read",
-        text: "export function fnA(): void {}",
-        isError: false,
-      },
-    ];
-    const r = buildSections({ blocks });
-    expect(r.typeCatalog.every(l => !l.includes("omitted"))).toBe(true);
-  });
-});
-
-describe("breadcrumbs: no redundancy across sections", () => {
-  it("Anchors section removed entirely (was redundant with Commits + Outstanding Context)", () => {
-    // Anchors duplicates commit hashes from [Commits] and error IDs from [Outstanding Context]
-    // The section has been removed entirely.
-    const blocks: NormalizedBlock[] = [];
-    for (let i = 0; i < 5; i++) {
-      blocks.push({ kind: "tool_call", name: "Read", args: { file_path: `src/file${i}.ts` } });
-      blocks.push({
-        kind: "tool_result",
-        name: "Read",
-        text: "export function fn(): void {}",
-        isError: false,
-      });
-    }
-    const r = buildSections({ blocks });
-    expect(r).not.toHaveProperty("anchors");
-  });
-
-  it("Current Status section removed entirely (redundant with brief transcript + Files And Changes)", () => {
-    // "Working on:" = last user message (brief transcript)
-    // "Last action:" = file path (Files And Changes)
-    // "Next:" = assistant text (brief transcript)
-    const blocks: NormalizedBlock[] = [];
-    const r = buildSections({ blocks });
-    expect(r).not.toHaveProperty("currentStatus");
-  });
-});
-
-describe("breadcrumbs: determinism and idempotency", () => {
-  it("compile produces identical output for identical inputs", () => {
-    const goals = Array.from({ length: 10 }, (_, i) =>
-      `- Goal ${i} with detail`
-    ).join("\n");
-    const prevSummary = `[Session Goal]\n${goals}\n\n---\n\n[user]\nhi`;
-
-    const input = {
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    };
-
-    const r1 = compile(input);
-    const r2 = compile(input);
-    expect(r1).toBe(r2);
-  });
-
-  it("breadcrumbs are deterministic: same dropped content produces same breadcrumb", () => {
-    const goals = Array.from({ length: 10 }, (_, i) =>
-      `- Implement feature ${i}: module${i}`
-    ).join("\n");
-    const prevSummary = `[Session Goal]\n${goals}\n\n---\n\n[user]\nhi`;
-
-    const r1 = compile({ messages: [userMsg("continue")], previousSummary: prevSummary });
-    const r2 = compile({ messages: [userMsg("continue")], previousSummary: prevSummary });
-
-    expect(r1).toBe(r2);
-    const recallLine1 = r1.split("\n").find(l => l.includes("...recall:"));
-    const recallLine2 = r2.split("\n").find(l => l.includes("...recall:"));
-    expect(recallLine1).toBe(recallLine2);
-  });
-
-  it("prior compaction breadcrumb lines survive across compactions", () => {
-    const prevSummary = [
-      "[Session Goal]",
-      "- ...recall: auth0, auth1",
-      "- Goal 2",
-      "- Goal 3",
-      "- Goal 4",
-      "- Goal 5",
-      "- Goal 6",
-      "- Goal 7",
-      "- Goal 8",
-      "- Goal 9",
-    ].join("\n") + "\n\n---\n\n[user]\nhi";
-    const r = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-    // The breadcrumb from the prior compaction should be preserved
-    expect(r).toContain("auth0");
-    expect(r).toContain("auth1");
-  });
-
-  it("double-compilation of same previous summary is idempotent", () => {
-    const goals = Array.from({ length: 10 }, (_, i) =>
-      `- Goal ${i} with detail`
-    ).join("\n");
-    const prevSummary = `[Session Goal]\n${goals}\n\n---\n\n[user]\nhi`;
-
-    const intermediate = compile({
-      messages: [userMsg("continue")],
-      previousSummary: prevSummary,
-    });
-
-    const recallNoteIdx = intermediate.lastIndexOf("Use `vcc_recall`");
-    const stripped = recallNoteIdx >= 0
-      ? intermediate.slice(0, recallNoteIdx).replace(/\s*(?:\n\n---\n\n)?\s*$/, "").trimEnd()
-      : intermediate;
-
-    const r1 = compile({
-      messages: [userMsg("more work")],
-      previousSummary: stripped,
-    });
-    const r2 = compile({
-      messages: [userMsg("more work")],
-      previousSummary: stripped,
-    });
-    expect(r1).toBe(r2);
-  });
-
-  it("buildSections type catalog is deterministic", () => {
-    const blocks: NormalizedBlock[] = [];
-    for (let i = 0; i < 15; i++) {
-      blocks.push({ kind: "tool_call", name: "Read", args: { file_path: `src/file${i}.ts` } });
-      blocks.push({
-        kind: "tool_result",
-        name: "Read",
-        text: Array.from({ length: 3 }, (_, j) =>
-          `export function fn${i}_${j}(): void {}`
-        ).join("\n"),
-        isError: false,
-      });
-    }
-    const r1 = buildSections({ blocks });
-    const r2 = buildSections({ blocks });
-    expect(r1.typeCatalog).toEqual(r2.typeCatalog);
-  });
-});