ccompactor 0.1.0

package/dist/artifact/expand.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expand.js","sourceRoot":"","sources":["../../src/artifact/expand.ts"],"names":[],"mappings":"AAqBA,MAAM,UAAU,MAAM,CACpB,EAAa,EACb,MAA+B,EAC/B,UAAyB,EAAE;IAE3B,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,CAAC,CAAA;IACpC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,OAAO,CAAC,CAAA;QACzC,MAAM,GAAG,GAAG,EAAE,GAAG,OAAO,CAAA;QACxB,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,KAAK,IAAI,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,CAAA;QACxF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,IAAI,GAAG,mCAAmC,CAAC,CAAA;YACpE,SAAQ;QACV,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAClB,GAAG,CAAC,IAAI,CAAC,WAAW,KAAK,IAAI,GAAG,SAAS,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClF,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACrD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;QACrE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAA;QAC/B,GAAG,CAAC,IAAI,CACN,WAAW,KAAK,IAAI,GAAG,WAAW,KAAK,IAAI,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,CAAC,CAAE,CAAC,UAAU,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,UAAU,MAAM,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,eAAe,CAC1M,CAAA;QACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;QAC3C,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,KAAK,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAA;YACnD,GAAG,CAAC,IAAI,CAAC,cAAc,KAAK,OAAO,KAAK,CAAC,MAAM,UAAU,IAAI,iCAAiC,IAAI,KAAK,EAAE,WAAW,IAAI,QAAQ,CAAC,CAAA;QACnI,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACd,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,QAAQ,CACtB,QAA+B,EAC/B,MAAc;IAEd,MAAM,KAAK,GAAiC,EAAE,CAAA;IAC9C,IAAI,OAAO,GAA0B,EAAE,CAAA;IACvC,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,IAAI,GAAG,MAAM,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACnB,OAAO,GAAG,EAAE,CAAA;YACZ,IAAI,GAAG,CAAC,CAAA;QACV,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACrB,IAAI,IAAI,IAAI,CAAA;IACd,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC3C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,WAAW,CAAC,OAAsC;IACzD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;IACxD,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IACnE,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACzF,OAAO,OAAO,OAAO,CAAC,UAAU,KAAK,GAAG,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;IAC3B,MAAM,KAAK,GAAG,6BAA6B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACzD,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAA;QAC3C,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAA;QACzC,IAAI,EAAE,GAAG,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,mBAAmB,CAAC,CAAA;QAClE,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;IACnB,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;QAC1C,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACvB,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,KAAK,IAAI,yDAAyD,CAAC,CAAA;AACrF,CAAC"}

package/dist/artifact/render.d.ts

@@ -0,0 +1,59 @@
+/**
+ * The handoff artifact.
+ *
+ * Layered cheapest-first, like sctxx, because a reader should be able to stop
+ * as soon as it knows enough: the brief answers "what is this", the items
+ * answer "what do I need to know", and the retrieval layer says where the rest
+ * lives.
+ *
+ * Two rules are load-bearing and easy to break:
+ *
+ * 1. **Every claim carries its provenance.** A pointer is `[evt 12–19]`, and
+ *    `ccompactor expand` turns one back into the transcript. An artifact whose
+ *    claims cannot be checked is a summary, and a summary is what this tool
+ *    exists to replace.
+ *
+ * 2. **Nothing mandatory is dropped to fit a budget.** The constraints block
+ *    summarises itself rather than vanishing, because an artifact that fits its
+ *    budget by deleting the section its own preamble calls binding is not
+ *    smaller, it is wrong.
+ */
+import type { Ledgers } from '../ledgers/index.js';
+import type { Constraint } from '../triage.js';
+import type { SessionIR } from '../ir/types.js';
+export interface RenderInput {
+    ir: SessionIR;
+    ledgers: Ledgers;
+    constraints: Constraint[];
+    /** The model's continuation summary, when one was produced. */
+    summary?: string;
+    /** Which engine produced the summary, for the header. */
+    engine: string;
+    /** Optional user-supplied focus, echoed so a reader knows the lens. */
+    focus?: string;
+}
+export interface Rendered {
+    markdown: string;
+    json: Record<string, unknown>;
+    tokens: number;
+}
+export declare function render(input: RenderInput): Rendered;
+interface Episode {
+    from: number;
+    to: number;
+    headline: string;
+    tokens: number;
+}
+/**
+ * The session in chunks a reader can ask for: one per human turn.
+ *
+ * A human turn is where intent changes, so it is the natural boundary for a
+ * range someone would want back — "the part where I asked about the parser" is
+ * a request a reader can actually form, and `evt 1200–1450` is how they get it.
+ */
+export declare function episodesOf(ir: SessionIR): Episode[];
+/** Drop the model's scratchpad; only the summary itself is for the reader. */
+export declare function stripAnalysis(text: string): string;
+/** Collapse whitespace and truncate on a word boundary. */
+export declare function oneLine(text: string, max: number): string;
+export {};

package/dist/artifact/render.js

@@ -0,0 +1,357 @@
+import { approxTokens, truncateMiddle } from '../ir/tokens.js';
+/** The brief's own ceiling. A brief that does not fit a screen is not a brief. */
+const BRIEF_BUDGET = 1_200;
+/** Tokens the constraints block may spend before it starts counting itself. */
+const CONSTRAINT_BUDGET = 700;
+export function render(input) {
+    const { ir, ledgers, constraints } = input;
+    const out = [];
+    const lines = [];
+    out.push(frontMatter(input));
+    out.push(`\n# Handoff: ${title(input)}\n`);
+    out.push(preamble());
+    let brief = '';
+    let budget = BRIEF_BUDGET;
+    brief += `\n## L0 · Brief\n\n`;
+    if (ledgers.errors.length > 0) {
+        // Before anything else: a reader who acts on a stale premise wastes the
+        // whole session, and an unresolved failure is the most common stale premise.
+        const top = ledgers.errors.slice(0, 3);
+        brief += `**Known-broken at the end of the session**\n`;
+        for (const error of top) {
+            brief += `- ${oneLine(error.signature, 160)} (×${error.occurrences}) [evt ${error.evt}]\n`;
+        }
+        brief += '\n';
+    }
+    const first = ledgers.userTurns[0];
+    const last = ledgers.userTurns.at(-1);
+    if (first) {
+        brief += `**Goal** (from the first user message, not model-inferred): ${oneLine(first.text, 300)} [evt ${first.evt}]\n\n`;
+    }
+    // Constraints come this early on purpose: they outrank everything except the
+    // fact that something is broken, and they are never dropped whole.
+    if (constraints.length > 0) {
+        brief += renderConstraints(constraints);
+    }
+    if (ledgers.files.length > 0) {
+        const byDir = topDirectories(ledgers, 5);
+        brief += `**Where the work was**\n`;
+        for (const [dir, count] of byDir)
+            brief += `- \`${dir}\` — ${count} touch(es)\n`;
+        brief += '\n';
+    }
+    if (ledgers.commits.length > 0) {
+        brief += `**What it committed** (${ledgers.commits.length} total)\n`;
+        for (const commit of ledgers.commits.slice(-5).reverse()) {
+            brief += `- ${commit.subject} [evt ${commit.evt}]\n`;
+        }
+        brief += '\n';
+    }
+    if (last && last !== first) {
+        brief += `**Last user request**: ${oneLine(last.text, 300)} [evt ${last.evt}]\n\n`;
+    }
+    if (ledgers.commands.length > 0) {
+        const recent = ledgers.commands.slice(-3);
+        brief += `**Last commands**\n`;
+        for (const command of recent) {
+            brief += `- \`${oneLine(command.command, 120)}\` — ${command.failed ? 'FAILED' : 'ok'} [evt ${command.evt}]\n`;
+        }
+        brief += '\n';
+    }
+    if (input.focus)
+        brief += `**Focus requested**: ${input.focus}\n\n`;
+    brief += `**Verify first**\n- \`git status\`\n- \`git log --oneline -5\`\n\n`;
+    out.push(brief);
+    budget -= Math.min(approxTokens(brief), budget);
+    // L1 — the items layer, from the model when there is one.
+    if (input.summary) {
+        out.push(`\n## L1 · Continuation summary\n\n${stripAnalysis(input.summary)}\n`);
+    }
+    else {
+        out.push('\n## L1 · Continuation summary\n\n> No model ran, so there is no continuation summary. ' +
+            'What follows is what deterministic passes can prove — the ledgers. A rule stated ' +
+            'declaratively is absent rather than absent-minded; treat a missing fact as unknown, ' +
+            'not as permission. For the summary: `ccompactor extract <ref> --llm api:<provider>`.\n');
+    }
+    // L2 — ledgers, the evidence the summary cannot replace.
+    out.push(renderLedgers(input));
+    // The recency tail was tried here and removed.
+    //
+    // Carrying the last 12,000 tokens verbatim is what sctxx does, and copying it
+    // seemed obviously right: a recency window is the one strategy with an
+    // ablation behind it (arXiv:2508.21433). Measured on the same session, same
+    // questions and same backend, it made retrieval *worse* — 38% to 27% across
+    // three runs — and tripled the tokens. More context is not more answer, and
+    // the arm that loses for the wrong reason is worth removing rather than
+    // keeping for symmetry.
+    // L3 — retrieval, so that everything dropped is still reachable.
+    out.push(renderRetrieval(input));
+    const markdown = out.join('');
+    return {
+        markdown,
+        json: {
+            schema: 'ccompactor.handoff/v1',
+            version: '0.1.0',
+            session: {
+                agent: ir.ref.agent,
+                id: ir.ref.id,
+                path: ir.ref.path,
+                events: ir.messages.length,
+                userTurns: ledgers.counts.userTurns,
+                compactBoundaries: ir.compactBoundaries.length,
+            },
+            engine: input.engine,
+            constraints,
+            ledgers,
+            provenance: { source: ir.ref.path },
+        },
+        tokens: approxTokens(markdown),
+    };
+    void lines;
+}
+function frontMatter(input) {
+    const { ir, ledgers } = input;
+    const cwd = ir.metadata['cwd'];
+    return `---
+schema: ccompactor.handoff/v1
+ccompactor: 0.1.0
+source: {agent: ${ir.ref.agent}, session: ${ir.ref.id}, events: ${ir.messages.length}, user_turns: ${ledgers.counts.userTurns}, compact_boundaries: ${ir.compactBoundaries.length}${typeof cwd === 'string' ? `, cwd: ${cwd}` : ''}}
+engine: ${input.engine}
+llm: ${input.summary ? 'on' : 'none'}
+constraints: {found: ${input.constraints.length}}
+${ledgers.counts.failedCommands > 0 ? `failures: {at_end: ${ledgers.errors.length}, failed_commands: ${ledgers.counts.failedCommands}}\n` : ''}---
+`;
+}
+function preamble() {
+    return `
+> A different coding agent worked on this task in an earlier session. What follows is a
+> compressed, provenance-linked record of that session. Use it to build on the work already done
+> instead of repeating it — but treat it as a map, not as ground truth. Run the verify-first
+> commands before changing anything, treat "Hard constraints" as binding, and expand any
+> \`[evt a–b]\` pointer you need with \`ccompactor expand\`.
+`;
+}
+function title(input) {
+    const first = input.ledgers.userTurns[0];
+    if (!first)
+        return `${input.ir.ref.agent} session ${input.ir.ref.id}`;
+    return oneLine(first.text, 160);
+}
+function renderConstraints(constraints) {
+    let block = `**Hard constraints** (standing instructions, quoted verbatim)\n`;
+    let spent = approxTokens(block);
+    let shown = 0;
+    for (const constraint of constraints) {
+        const line = `- "${oneLine(constraint.text, 240)}" [evt ${constraint.evt}]\n`;
+        const cost = approxTokens(line);
+        if (shown > 0 && spent + cost > CONSTRAINT_BUDGET)
+            break;
+        spent += cost;
+        shown += 1;
+        block += line;
+    }
+    if (shown < constraints.length) {
+        block += `- … and ${constraints.length - shown} more\n`;
+    }
+    block += '\n';
+    return block;
+}
+function renderLedgers(input) {
+    const { ledgers } = input;
+    let out = `\n## L2 · Ledgers (deterministic, no model)\n\n`;
+    if (ledgers.files.length > 0) {
+        out += `### Files touched (${ledgers.files.length})\n`;
+        for (const file of ledgers.files.slice(0, 40)) {
+            const parts = [];
+            if (file.edits > 0)
+                parts.push(`edit×${file.edits}`);
+            if (file.writes > 0)
+                parts.push(`write×${file.writes}`);
+            if (file.reads > 0)
+                parts.push(`read×${file.reads}`);
+            out += `- \`${file.path}\` — ${parts.join(' ') || 'touched'} [evt ${file.firstEvt}–${file.lastEvt}]\n`;
+        }
+        if (ledgers.files.length > 40)
+            out += `- … and ${ledgers.files.length - 40} more\n`;
+        out += '\n';
+    }
+    if (ledgers.commands.length > 0) {
+        out += `### Commands (${ledgers.commands.length}, ${ledgers.counts.failedCommands} failed)\n`;
+        const interesting = [
+            ...ledgers.commands.filter((c) => c.failed).slice(-12),
+            ...ledgers.commands.slice(-6),
+        ];
+        const unique = [...new Map(interesting.map((c) => [`${c.evt}:${c.command}`, c])).values()];
+        for (const command of unique) {
+            out += `- \`${oneLine(command.command, 160)}\` — ${command.failed ? 'FAILED' : 'ok'} [evt ${command.evt}]\n`;
+            if (command.failed && command.outputHead) {
+                out += `  > ${oneLine(command.outputHead, 200)}\n`;
+            }
+        }
+        out += '\n';
+    }
+    if (ledgers.errors.length > 0) {
+        out += `### Error signatures (${ledgers.errors.length})\n`;
+        for (const error of ledgers.errors.slice(0, 12)) {
+            out += `- ×${error.occurrences} ${oneLine(error.signature, 200)} [evt ${error.evt}]\n`;
+        }
+        out += '\n';
+    }
+    if (ledgers.toolUse.length > 0) {
+        out += `### What was used\n${ledgers.toolUse
+            .slice(0, 8)
+            .map((t) => `\`${t.name}\`×${t.count}`)
+            .join(' · ')}\n\n`;
+    }
+    return out;
+}
+/**
+ * The newest events, verbatim, to a token budget.
+ *
+ * Verbatim is the point. A summary of the last exchange is exactly the artifact
+ * that loses the detail that matters — the error string, the flag, the path —
+ * and the recency window is cheap because it needs no model at all.
+ */
+const TAIL_TOKENS = 12_000;
+/** Per-event ceiling, so one pasted stack trace cannot spend the whole tail. */
+const TAIL_EVENT_TOKENS = 400;
+function renderTail(input) {
+    const lines = [];
+    let spent = 0;
+    for (const message of [...input.ir.messages].reverse()) {
+        const body = (message.text ?? '').replace(/\s+/g, ' ').trim();
+        if (body.length === 0)
+            continue;
+        const truncated = truncateMiddle(body, TAIL_EVENT_TOKENS);
+        const role = message.isHumanTurn ? 'user' : message.role;
+        const tag = message.toolName ? `${role}·${message.toolName}` : role;
+        const line = `- [evt ${message.eventIndex} ${tag}] ${truncated}`;
+        const cost = approxTokens(line);
+        if (spent + cost > TAIL_TOKENS)
+            break;
+        spent += cost;
+        lines.push(line);
+    }
+    if (lines.length === 0)
+        return '';
+    return `\n## L2b · Recency tail (verbatim, ${lines.length} event(s))\n\n${lines.reverse().join('\n')}\n`;
+}
+function renderRetrieval(input) {
+    const { ir, ledgers } = input;
+    const reference = `${ir.ref.agent}:${ir.ref.id}`;
+    let out = `\n## L3 · Retrieval\n\nSource: \`${ir.ref.path}\`\n\n`;
+    out += `Expand any pointer:\n\`\`\`sh\nccompactor expand ${reference} <a>..<b> --context 3\n\`\`\`\n\n`;
+    // The index is the whole point of this layer.
+    //
+    // Selection is the cheapest strategy there is, but only for a reader who can
+    // look again — and a reader who can look again still needs to know *what* to
+    // look for. Without ranges to ask for, the successor guesses, and measured
+    // head to head against sctxx on the same sessions that was the entire gap:
+    // 38% retrieval accuracy against 69%, with the deep-question class at 26%
+    // against 78%. Same arms, same questions, same backend. The only difference
+    // was that sctxx's artifact told the successor which ranges existed.
+    const episodes = episodesOf(ir);
+    const carried = new Set();
+    for (const file of ledgers.files.slice(0, 40))
+        carried.add(file.firstEvt);
+    if (episodes.length > 0) {
+        const total = episodes.reduce((n, episode) => n + episode.tokens, 0);
+        out += `**Not carried verbatim** — ${episodes.length} episode(s), ${total} token(s), all reachable:\n`;
+        // Sampled across the whole session, never truncated from the front.
+        //
+        // The first version listed episodes in order and stopped at the budget, so
+        // on a 341-episode session the index showed roughly the first twenty — all
+        // of them near the start. A question about an event at 45,000 was then not
+        // only unanswered but unaddressable: the reader had no range covering it and
+        // no way to know one existed. That single mistake was worth 45 points of
+        // retrieval accuracy against the same benchmark.
+        const budget = 1_400;
+        const shown = sampleAcross(episodes, budget);
+        for (const episode of shown) {
+            out += `- evt ${episode.from}–${episode.to} · ${oneLine(episode.headline, 110)} · ${episode.tokens}\n`;
+        }
+        if (shown.length < episodes.length) {
+            out += `- (${episodes.length - shown.length} episode(s) between these are not listed; the ranges above are contiguous, so any event index in 0–${episodes.at(-1).to} can be asked for directly)\n`;
+        }
+        out += '\n';
+    }
+    return out;
+}
+/**
+ * As many episodes as fit the budget, spread evenly across the session.
+ *
+ * Evenly, not newest-first and not from the front: the point of the index is
+ * coverage of the whole transcript, and the questions worth asking are the ones
+ * about the middle. Always includes the first and last.
+ */
+function sampleAcross(episodes, budget) {
+    const costOf = (episode) => approxTokens(`- evt ${episode.from}–${episode.to} · ${oneLine(episode.headline, 110)} · ${episode.tokens}\n`);
+    const total = episodes.reduce((n, e) => n + costOf(e), 0);
+    if (total <= budget)
+        return episodes;
+    const average = Math.max(1, total / episodes.length);
+    const keep = Math.max(4, Math.floor(budget / average));
+    const stride = episodes.length / keep;
+    const out = [];
+    for (let i = 0; i < keep; i += 1) {
+        const episode = episodes[Math.floor(i * stride)];
+        if (episode)
+            out.push(episode);
+    }
+    const last = episodes.at(-1);
+    if (last && out.at(-1) !== last)
+        out.push(last);
+    return out;
+}
+/**
+ * The session in chunks a reader can ask for: one per human turn.
+ *
+ * A human turn is where intent changes, so it is the natural boundary for a
+ * range someone would want back — "the part where I asked about the parser" is
+ * a request a reader can actually form, and `evt 1200–1450` is how they get it.
+ */
+export function episodesOf(ir) {
+    const boundaries = ir.messages.filter((m) => m.isHumanTurn).map((m) => m.eventIndex);
+    if (boundaries.length === 0)
+        return [];
+    const episodes = [];
+    for (const [index, from] of boundaries.entries()) {
+        const next = boundaries[index + 1];
+        const to = (next ?? ir.messages.at(-1)?.eventIndex ?? from) - 1;
+        const slice = ir.messages.filter((m) => m.eventIndex >= from && m.eventIndex <= Math.max(to, from));
+        const headline = slice.find((m) => m.isHumanTurn)?.text ?? slice[0]?.text ?? '';
+        episodes.push({
+            from,
+            to: Math.max(to, from),
+            headline,
+            tokens: slice.reduce((n, m) => n + approxTokens(m.text ?? ''), 0),
+        });
+    }
+    return episodes;
+}
+/** Drop the model's scratchpad; only the summary itself is for the reader. */
+export function stripAnalysis(text) {
+    const withoutAnalysis = text.replace(/<analysis>[\s\S]*?<\/analysis>/gi, '').trim();
+    const summary = /<summary>([\s\S]*?)<\/summary>/i.exec(withoutAnalysis);
+    return (summary ? summary[1] : withoutAnalysis).trim();
+}
+/** Tokens per top-level directory, busiest first. */
+function topDirectories(ledgers, limit) {
+    const counts = new Map();
+    for (const file of ledgers.files) {
+        const parts = file.path.split('/').filter(Boolean);
+        const dir = parts.slice(0, Math.min(2, Math.max(1, parts.length - 1))).join('/');
+        counts.set(dir, (counts.get(dir) ?? 0) + file.edits * 3 + file.writes * 3 + file.reads);
+    }
+    return [...counts.entries()]
+        .sort((a, b) => b[1] - a[1] || a[0].localeCompare(b[0]))
+        .slice(0, limit);
+}
+/** Collapse whitespace and truncate on a word boundary. */
+export function oneLine(text, max) {
+    const single = text.replace(/\s+/g, ' ').trim();
+    if (single.length <= max)
+        return single;
+    return `${single.slice(0, max - 1).replace(/\s\S*$/, '')}…`;
+}
+//# sourceMappingURL=render.js.map

package/dist/artifact/render.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"render.js","sourceRoot":"","sources":["../../src/artifact/render.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAoB9D,kFAAkF;AAClF,MAAM,YAAY,GAAG,KAAK,CAAA;AAC1B,+EAA+E;AAC/E,MAAM,iBAAiB,GAAG,GAAG,CAAA;AAE7B,MAAM,UAAU,MAAM,CAAC,KAAkB;IACvC,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,KAAK,CAAA;IAC1C,MAAM,GAAG,GAAa,EAAE,CAAA;IACxB,MAAM,KAAK,GAAa,EAAE,CAAA;IAE1B,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAA;IAC5B,GAAG,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC1C,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAA;IAEpB,IAAI,KAAK,GAAG,EAAE,CAAA;IACd,IAAI,MAAM,GAAG,YAAY,CAAA;IAEzB,KAAK,IAAI,qBAAqB,CAAA;IAE9B,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,wEAAwE;QACxE,6EAA6E;QAC7E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACtC,KAAK,IAAI,8CAA8C,CAAA;QACvD,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,KAAK,IAAI,KAAK,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,KAAK,CAAC,WAAW,UAAU,KAAK,CAAC,GAAG,KAAK,CAAA;QAC5F,CAAC;QACD,KAAK,IAAI,IAAI,CAAA;IACf,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IACrC,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,IAAI,+DAA+D,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,KAAK,CAAC,GAAG,OAAO,CAAA;IAC3H,CAAC;IAED,6EAA6E;IAC7E,mEAAmE;IACnE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAA;IACzC,CAAC;IAED,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,MAAM,KAAK,GAAG,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QACxC,KAAK,IAAI,0BAA0B,CAAA;QACnC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,KAAK;YAAE,KAAK,IAAI,OAAO,GAAG,QAAQ,KAAK,cAAc,CAAA;QAChF,KAAK,IAAI,IAAI,CAAA;IACf,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,KAAK,IAAI,0BAA0B,OAAO,CAAC,OAAO,CAAC,MAAM,WAAW,CAAA;QACpE,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YACzD,KAAK,IAAI,KAAK,MAAM,CAAC,OAAO,SAAS,MAAM,CAAC,GAAG,KAAK,CAAA;QACtD,CAAC;QACD,KAAK,IAAI,IAAI,CAAA;IACf,CAAC;IAED,IAAI,IAAI,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,KAAK,IAAI,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,IAAI,CAAC,GAAG,OAAO,CAAA;IACpF,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QACzC,KAAK,IAAI,qBAAqB,CAAA;QAC9B,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;YAC7B,KAAK,IAAI,OAAO,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,SAAS,OAAO,CAAC,GAAG,KAAK,CAAA;QAChH,CAAC;QACD,KAAK,IAAI,IAAI,CAAA;IACf,CAAC;IAED,IAAI,KAAK,CAAC,KAAK;QAAE,KAAK,IAAI,wBAAwB,KAAK,CAAC,KAAK,MAAM,CAAA;IAEnE,KAAK,IAAI,oEAAoE,CAAA;IAE7E,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACf,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;IAE/C,0DAA0D;IAC1D,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,qCAAqC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACjF,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CACN,yFAAyF;YACvF,mFAAmF;YACnF,sFAAsF;YACtF,wFAAwF,CAC3F,CAAA;IACH,CAAC;IAED,yDAAyD;IACzD,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAA;IAE9B,+CAA+C;IAC/C,EAAE;IACF,8EAA8E;IAC9E,uEAAuE;IACvE,4EAA4E;IAC5E,4EAA4E;IAC5E,4EAA4E;IAC5E,wEAAwE;IACxE,wBAAwB;IAExB,iEAAiE;IACjE,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA;IAEhC,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC7B,OAAO;QACL,QAAQ;QACR,IAAI,EAAE;YACJ,MAAM,EAAE,uBAAuB;YAC/B,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK;gBACnB,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE;gBACb,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI;gBACjB,MAAM,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM;gBAC1B,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,SAAS;gBACnC,iBAAiB,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM;aAC/C;YACD,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,WAAW;YACX,OAAO;YACP,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE;SACpC;QACD,MAAM,EAAE,YAAY,CAAC,QAAQ,CAAC;KAC/B,CAAA;IACD,KAAK,KAAK,CAAA;AACZ,CAAC;AAED,SAAS,WAAW,CAAC,KAAkB;IACrC,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,KAAK,CAAA;IAC7B,MAAM,GAAG,GAAG,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,OAAO;;;kBAGS,EAAE,CAAC,GAAG,CAAC,KAAK,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,CAAC,QAAQ,CAAC,MAAM,iBAAiB,OAAO,CAAC,MAAM,CAAC,SAAS,yBAAyB,EAAE,CAAC,iBAAiB,CAAC,MAAM,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE;UACxN,KAAK,CAAC,MAAM;OACf,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM;uBACb,KAAK,CAAC,WAAW,CAAC,MAAM;EAC7C,OAAO,CAAC,MAAM,CAAC,cAAc,GAAG,CAAC,CAAC,CAAC,CAAC,sBAAsB,OAAO,CAAC,MAAM,CAAC,MAAM,sBAAsB,OAAO,CAAC,MAAM,CAAC,cAAc,KAAK,CAAC,CAAC,CAAC,EAAE;CAC7I,CAAA;AACD,CAAC;AAED,SAAS,QAAQ;IACf,OAAO;;;;;;CAMR,CAAA;AACD,CAAC;AAED,SAAS,KAAK,CAAC,KAAkB;IAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,KAAK,YAAY,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAA;IACrE,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;AACjC,CAAC;AAED,SAAS,iBAAiB,CAAC,WAAyB;IAClD,IAAI,KAAK,GAAG,iEAAiE,CAAA;IAC7E,IAAI,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAA;IAC/B,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,UAAU,UAAU,CAAC,GAAG,KAAK,CAAA;QAC7E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,IAAI,GAAG,iBAAiB;YAAE,MAAK;QACxD,KAAK,IAAI,IAAI,CAAA;QACb,KAAK,IAAI,CAAC,CAAA;QACV,KAAK,IAAI,IAAI,CAAA;IACf,CAAC;IACD,IAAI,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC;QAC/B,KAAK,IAAI,WAAW,WAAW,CAAC,MAAM,GAAG,KAAK,SAAS,CAAA;IACzD,CAAC;IACD,KAAK,IAAI,IAAI,CAAA;IACb,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,aAAa,CAAC,KAAkB;IACvC,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAA;IACzB,IAAI,GAAG,GAAG,iDAAiD,CAAA;IAE3D,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG,IAAI,sBAAsB,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAA;QACtD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAa,EAAE,CAAA;YAC1B,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;YACpD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;YACvD,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;YACpD,GAAG,IAAI,OAAO,IAAI,CAAC,IAAI,QAAQ,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,SAAS,SAAS,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,CAAA;QACxG,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE;YAAE,GAAG,IAAI,WAAW,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,EAAE,SAAS,CAAA;QACnF,GAAG,IAAI,IAAI,CAAA;IACb,CAAC;IAED,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,GAAG,IAAI,iBAAiB,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,cAAc,YAAY,CAAA;QAC7F,MAAM,WAAW,GAAG;YAClB,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;YACtD,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAC9B,CAAA;QACD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QAC1F,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;YAC7B,GAAG,IAAI,OAAO,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,QAAQ,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,SAAS,OAAO,CAAC,GAAG,KAAK,CAAA;YAC5G,IAAI,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACzC,GAAG,IAAI,OAAO,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAA;YACpD,CAAC;QACH,CAAC;QACD,GAAG,IAAI,IAAI,CAAA;IACb,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,GAAG,IAAI,yBAAyB,OAAO,CAAC,MAAM,CAAC,MAAM,KAAK,CAAA;QAC1D,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;YAChD,GAAG,IAAI,MAAM,KAAK,CAAC,WAAW,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,CAAC,SAAS,KAAK,CAAC,GAAG,KAAK,CAAA;QACxF,CAAC;QACD,GAAG,IAAI,IAAI,CAAA;IACb,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,GAAG,IAAI,sBAAsB,OAAO,CAAC,OAAO;aACzC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;aACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC;aACtC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAA;IACtB,CAAC;IAED,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,WAAW,GAAG,MAAM,CAAA;AAC1B,gFAAgF;AAChF,MAAM,iBAAiB,GAAG,GAAG,CAAA;AAE7B,SAAS,UAAU,CAAC,KAAkB;IACpC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;QAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAC/B,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAA;QACzD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;QACxD,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;QACnE,MAAM,IAAI,GAAG,UAAU,OAAO,CAAC,UAAU,IAAI,GAAG,KAAK,SAAS,EAAE,CAAA;QAChE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;QAC/B,IAAI,KAAK,GAAG,IAAI,GAAG,WAAW;YAAE,MAAK;QACrC,KAAK,IAAI,IAAI,CAAA;QACb,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IACjC,OAAO,sCAAsC,KAAK,CAAC,MAAM,iBAAiB,KAAK,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;AAC1G,CAAC;AAED,SAAS,eAAe,CAAC,KAAkB;IACzC,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,KAAK,CAAA;IAC7B,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAA;IAChD,IAAI,GAAG,GAAG,oCAAoC,EAAE,CAAC,GAAG,CAAC,IAAI,QAAQ,CAAA;IACjE,GAAG,IAAI,oDAAoD,SAAS,mCAAmC,CAAA;IAEvG,8CAA8C;IAC9C,EAAE;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,0EAA0E;IAC1E,4EAA4E;IAC5E,qEAAqE;IACrE,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC,CAAA;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;QACpE,GAAG,IAAI,8BAA8B,QAAQ,CAAC,MAAM,gBAAgB,KAAK,6BAA6B,CAAA;QACtG,oEAAoE;QACpE,EAAE;QACF,2EAA2E;QAC3E,2EAA2E;QAC3E,2EAA2E;QAC3E,6EAA6E;QAC7E,yEAAyE;QACzE,iDAAiD;QACjD,MAAM,MAAM,GAAG,KAAK,CAAA;QACpB,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;QAC5C,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,GAAG,IAAI,SAAS,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,OAAO,CAAC,MAAM,IAAI,CAAA;QACxG,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YACnC,GAAG,IAAI,MAAM,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,sGAAsG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,EAAE,+BAA+B,CAAA;QACrM,CAAC;QACD,GAAG,IAAI,IAAI,CAAA;IACb,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,YAAY,CAAC,QAAmB,EAAE,MAAc;IACvD,MAAM,MAAM,GAAG,CAAC,OAAgB,EAAU,EAAE,CAC1C,YAAY,CAAC,SAAS,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,MAAM,OAAO,CAAC,MAAM,IAAI,CAAC,CAAA;IAC/G,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACzD,IAAI,KAAK,IAAI,MAAM;QAAE,OAAO,QAAQ,CAAA;IACpC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IACpD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,CAAC,CAAA;IACtD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAA;IACrC,MAAM,GAAG,GAAc,EAAE,CAAA;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAA;QAChD,IAAI,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/C,OAAO,GAAG,CAAA;AACZ,CAAC;AASD;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,EAAa;IACtC,MAAM,UAAU,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IACpF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IACtC,MAAM,QAAQ,GAAc,EAAE,CAAA;IAC9B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QAClC,MAAM,EAAE,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,CAAA;QAC/D,MAAM,KAAK,GAAG,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,IAAI,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;QACnG,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,EAAE,CAAA;QAC/E,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI;YACJ,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YACtB,QAAQ;YACR,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;SAClE,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,kCAAkC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;IACnF,MAAM,OAAO,GAAG,iCAAiC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IACvE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAA;AACzD,CAAC;AAED,qDAAqD;AACrD,SAAS,cAAc,CAAC,OAAgB,EAAE,KAAa;IACrD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAClD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QAChF,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;IACzF,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACzB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACvD,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AACpB,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,OAAO,CAAC,IAAY,EAAE,GAAW;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;IAC/C,IAAI,MAAM,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,MAAM,CAAA;IACvC,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAA;AAC7D,CAAC"}

package/dist/artifact/verify.d.ts

@@ -0,0 +1,12 @@
+export interface VerifyReport {
+    dir: string;
+    constraintsQuoted: number;
+    missingQuotes: Array<{
+        text: string;
+        evt: number;
+    }>;
+    filesClaimed: number;
+    missingFiles: string[];
+    stale: boolean;
+}
+export declare function verify(dir: string): Promise<VerifyReport>;

package/dist/artifact/verify.js

@@ -0,0 +1,48 @@
+/**
+ * `ccompactor verify` — is this handoff still true?
+ *
+ * An artifact ages. Two checks are cheap and catch most of it: every quoted
+ * constraint must still appear in the transcript it cites, and every file the
+ * ledger claims was touched must still exist. Neither needs a model, and a
+ * handoff whose quotes cannot be found is not a handoff.
+ */
+import { readFile, stat } from 'node:fs/promises';
+import { join } from 'node:path';
+/** Collapse whitespace and punctuation so a quote survives reformatting. */
+function normalize(text) {
+    return text.toLowerCase().replace(/[^a-z0-9]+/g, ' ').trim();
+}
+export async function verify(dir) {
+    const handoff = JSON.parse(await readFile(join(dir, 'handoff.json'), 'utf8'));
+    const constraints = handoff.constraints ?? [];
+    const source = handoff.session?.path;
+    const transcript = source ? await readFile(source, 'utf8').catch(() => '') : '';
+    const missingQuotes = [];
+    for (const constraint of constraints) {
+        // The quote must be in the transcript, not merely in the artifact: a quote
+        // checked against its own output proves only that it was copied.
+        // Compared normalized, not raw. The artifact quotes the rule with its
+        // markdown and line breaks collapsed, so a byte comparison against the
+        // transcript reports every quote as missing — which the first run of this
+        // did, and which is worse than not checking at all.
+        if (transcript && !normalize(transcript).includes(normalize(constraint.text))) {
+            missingQuotes.push(constraint);
+        }
+    }
+    const files = handoff.ledgers?.files ?? [];
+    const missingFiles = [];
+    for (const file of files.slice(0, 200)) {
+        const info = await stat(file.path).catch(() => null);
+        if (!info)
+            missingFiles.push(file.path);
+    }
+    return {
+        dir,
+        constraintsQuoted: constraints.length,
+        missingQuotes,
+        filesClaimed: files.length,
+        missingFiles,
+        stale: missingFiles.length > 0,
+    };
+}
+//# sourceMappingURL=verify.js.map

package/dist/artifact/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/artifact/verify.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,4EAA4E;AAC5E,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;AAC9D,CAAC;AAWD,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,GAAW;IACtC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAI3E,CAAA;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAA;IAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,EAAE,IAAI,CAAA;IACpC,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAE/E,MAAM,aAAa,GAAyC,EAAE,CAAA;IAC9D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,2EAA2E;QAC3E,iEAAiE;QACjE,sEAAsE;QACtE,uEAAuE;QACvE,0EAA0E;QAC1E,oDAAoD;QACpD,IAAI,UAAU,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;YAC9E,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAChC,CAAC;IACH,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,IAAI,EAAE,CAAA;IAC1C,MAAM,YAAY,GAAa,EAAE,CAAA;IACjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAA;QACpD,IAAI,CAAC,IAAI;YAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzC,CAAC;IAED,OAAO;QACL,GAAG;QACH,iBAAiB,EAAE,WAAW,CAAC,MAAM;QACrC,aAAa;QACb,YAAY,EAAE,KAAK,CAAC,MAAM;QAC1B,YAAY;QACZ,KAAK,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;KAC/B,CAAA;AACH,CAAC"}

package/dist/bench/index.d.ts

@@ -0,0 +1,71 @@
+/**
+ * The handoff benchmark, ported from sctxx so the two tools' numbers are
+ * comparable rather than merely both large.
+ *
+ * Built the same way, and for the same reason: the survey behind sctxx found no
+ * published result measuring what either tool does, and the closest work
+ * (Handoff Debt, arXiv:2606.02875) has no arm in which the successor can ask for
+ * the part of the transcript it needs. That arm is the hypothesis, so it is an
+ * arm here:
+ *
+ *   none       nothing but the question — a win over nothing is not a win
+ *   tail       the recency window, the strategy the published evidence favours
+ *   artifact   the rendered handoff
+ *   retrieval  the artifact, plus `EXPAND a..b` answered with real events
+ *
+ * Questions come from the session's own events, not from the artifact, so a
+ * question can be asked that the artifact cannot answer. Answers are checked by
+ * substring against a key taken verbatim from the transcript; no model decides
+ * who is right.
+ */
+import type { Ledgers } from '../ledgers/index.js';
+import type { IRMessage, SessionIR } from '../ir/types.js';
+export type Arm = 'none' | 'tail' | 'artifact' | 'retrieval';
+export declare const ARMS: Arm[];
+export type Class = 'brief' | 'deep' | 'recent';
+export interface Question {
+    id: string;
+    class: Class;
+    prompt: string;
+    /** A string a correct answer must contain, verbatim from the transcript. */
+    key: string;
+    evt: number;
+}
+export interface Trial {
+    question: string;
+    class: Class;
+    arm: Arm;
+    correct: boolean;
+    tokens: number;
+    expansions: number;
+    answer: string;
+}
+export interface ArmScore {
+    asked: number;
+    correct: number;
+    tokens: number;
+    expansions: number;
+    byClass: Record<string, [number, number]>;
+}
+export interface BenchOptions {
+    brief: number;
+    deep: number;
+    recent: number;
+    expansions: number;
+}
+export declare const DEFAULT_BENCH: BenchOptions;
+export declare function questions(ir: SessionIR, ledgers: Ledgers, options: BenchOptions): Question[];
+/**
+ * The key a question is scored against.
+ *
+ * A distinctive single token, not a phrase: whole phrases do not survive
+ * paraphrase, and the first run of sctxx's version of this benchmark keyed on a
+ * tool name followed by its argument and scored zero on correct answers that
+ * described the call instead of reciting it.
+ */
+export declare function keyFor(message: IRMessage): string | undefined;
+export declare function normalize(text: string): string;
+export declare function answeredBy(question: Question, answer: string): boolean;
+/** A range a successor asked for, parsed out of its reply. */
+export declare function requestedRange(reply: string): [number, number] | undefined;
+export declare function score(trials: Trial[]): Record<string, ArmScore>;