@quickchatai/pi-quickreview 0.0.0-stage → 1.1.0

package/dist/src/pricing.js

@@ -0,0 +1,209 @@
+// What a review cost in dollars, the way pi prices it: pi's price table for the
+// models the priced arms run on, and the running price of a pi event stream
+// (src/bench/cost.ts adds the benchmark's per-run report over it). Core: a
+// round prices its own case dir with `caseCostUsd`, and a turn's dollar cap
+// meters its stream with `EventCostMeter` (packages/pi-plugin/src/engine/budget.ts).
+//
+// pi prices every model call it makes (usage.cost on each assistant
+// message_end, and a per-child total on each lens result): a case's cost is the
+// sum over the main session and every lens pass. An arm that does not run
+// through pi has its tokens priced at pi's own rates for the model it served.
+// A slim re-score bundle has no transcripts: its case-summary.json carries the
+// price the export computed from the full case dir (`bench_cost_usd`, null =
+// unpriced), which wins for every arm.
+import { isLensTool, ledgerLineFrom, lensIdOf, lensResultsOf } from "./lensresult.js";
+import { existsSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+/** A number, or 0 for anything that is not a finite one. */
+export function finiteNumber(value) {
+    return typeof value === "number" && Number.isFinite(value) ? value : 0;
+}
+/** Child usage accepts either a scalar cost or a total-bearing object. */
+export function usageCost(value) {
+    return finiteNumber(typeof value === "object" && value !== null ? value.total : value);
+}
+const num = finiteNumber;
+/** pi's price list for the openai-codex models the priced arms run on, $ per
+ * million tokens (model catalog `cost` in pi 0.99.1, unchanged at 1.0.0 — VERIFY-ON-PIN). The
+ * pricing is per MODEL: gpt-6.1-sol's cache reads cost half of gpt-6-sol's.
+ * Requests above 272k input tokens are priced higher by pi; the bridge-driven
+ * arms' calls stay well below that (PR-Agent clamps at 32k by default). */
+export const CODEX_USD_PER_MTOK = {
+    "gpt-6-sol": { input: 2, cacheRead: 0.2, output: 10 },
+    "gpt-6.1-sol": { input: 2, cacheRead: 0.1, output: 10 },
+};
+/** gpt-6-sol's rates — the model every priced arm ran on before gpt-6.1-sol. */
+export const GPT6_SOL_USD_PER_MTOK = CODEX_USD_PER_MTOK["gpt-6-sol"];
+/** The rates for a case's model; a summary that names none predates per-model
+ * pricing and ran on gpt-6-sol. An unknown model has no price — never a guess. */
+export function ratesFor(model) {
+    const m = model ?? "gpt-6-sol";
+    return Object.hasOwn(CODEX_USD_PER_MTOK, m) ? CODEX_USD_PER_MTOK[m] : null;
+}
+/** OpenAI-style counts (input INCLUDING its cached part) as pi-style usage:
+ * input without cache reads, the cached part — capped at the input — apart. */
+export function piUsageFromInclusive(input, cached, output) {
+    const cacheRead = Math.min(cached, input);
+    return { input: input - cacheRead, cacheRead, output };
+}
+/** The slim bundle's per-case price (bench/aacr/export_runs.py, compare.py
+ * `SLIM_COST_KEY`). */
+export const SLIM_COST_KEY = "bench_cost_usd";
+/** What the lens children of one lens tool event (`subagent`, `launch_plan`,
+ * `lens`, `lens_wave`) report so far: the sum of their per-child prices. A
+ * result carrying an `id` (LensResult v1) counts only when `owns` says this
+ * call owns that lens run — a `lens_wave` result repeats runs the engine
+ * already launched, and a second call can repeat them again. */
+function toolEventCostUsd(e, owns) {
+    let usd = 0;
+    for (const r of lensResultsOf(e.partialResult ?? e.result)) {
+        const id = lensIdOf(r);
+        if (id !== null && !owns(id))
+            continue;
+        usd += usageCost(r?.usage?.cost);
+    }
+    return usd;
+}
+/** Owner key of every lens run a ledger line prices. */
+const LEDGER = "\0ledger";
+/** A pi `--mode json` stream's running price. An assistant `message_end` adds
+ * its own price. A lens tool call (`subagent`/`launch_plan`, or `lens`/
+ * `lens_wave`) prices its lens children twice over its life: each `tool_execution_update` carries what they have
+ * spent so far (counted as the largest value seen for that toolCallId — the
+ * figure only grows, and a repeated or reordered update adds nothing), and the
+ * `tool_execution_end` carries the final figure, which REPLACES that value
+ * rather than adding to it. A stream with no updates (every pi-events.jsonl
+ * runPi writes) prices as it always did: the ends alone.
+ *
+ * Each LENS RUN counts once. A result with an `id` (LensResult v1) is owned by
+ * the first call — or ledger line — that reports it; every later carrier of
+ * the same run adds nothing. A result without an `id` is the native shape and
+ * always counts. A lens-ledger line (`add` takes the lines of
+ * lens-ledger.jsonl too) prices a run no tool result reported, and a cache
+ * warm-up, which only the ledger records. */
+export class EventCostMeter {
+    perCall = new Map();
+    /** Open tool call → its instance key (a repeated toolCallId after an end is
+     * a new call). */
+    instance = new Map();
+    /** Lens run id → the instance (or the ledger) that owns its price. */
+    owner = new Map();
+    total = 0;
+    settled = 0;
+    claim(id, who) {
+        const held = this.owner.get(id);
+        if (held === undefined) {
+            this.owner.set(id, who);
+            return true;
+        }
+        return held === who;
+    }
+    /** Feed one event line; returns the change in the running price (negative
+     * only when a call's final figure comes in under its largest live one). */
+    add(line) {
+        if (!line.startsWith("{"))
+            return 0;
+        let e;
+        try {
+            e = JSON.parse(line);
+        }
+        catch {
+            return 0;
+        }
+        const ledger = ledgerLineFrom(e);
+        if (ledger !== null) {
+            // One-shot: a ledger line read twice, or for a run a tool result owns,
+            // adds nothing.
+            if (this.owner.has(ledger.id))
+                return 0;
+            this.owner.set(ledger.id, LEDGER);
+            this.total += ledger.usage.cost;
+            return ledger.usage.cost;
+        }
+        if (e.type === "message_end" && e.message?.role === "assistant") {
+            const usd = num(e.message.usage?.cost?.total);
+            this.total += usd;
+            return usd;
+        }
+        if ((e.type !== "tool_execution_update" && e.type !== "tool_execution_end") ||
+            !isLensTool(e.toolName))
+            return 0;
+        // A call with no id cannot be matched to its end: it is its own entry.
+        const id = typeof e.toolCallId === "string" ? e.toolCallId : `\0anon${this.settled++}`;
+        const prev = this.perCall.get(id) ?? 0;
+        const who = this.instance.get(id) ?? `${id}\0${this.settled++}`;
+        this.instance.set(id, who);
+        const usd = toolEventCostUsd(e, (lensId) => this.claim(lensId, who));
+        const next = e.type === "tool_execution_end" ? usd : Math.max(prev, usd);
+        // A finished call is forgotten: the same id turning up again
+        // (pi-events.jsonl appends across a continuation's processes) is a new
+        // call, priced on its own, as a line-by-line sum always did.
+        if (e.type === "tool_execution_end") {
+            this.instance.delete(id);
+            this.perCall.delete(id);
+        }
+        else
+            this.perCall.set(id, next);
+        // Added in stream order, so a stream with no updates sums exactly as a
+        // line-by-line sum of the prices would (float addition is not associative).
+        this.total += next - prev;
+        return next - prev;
+    }
+    /** The running price over everything fed so far. */
+    get totalUsd() {
+        return this.total;
+    }
+}
+/** What one pi `--mode json` event line costs on its own: an assistant
+ * `message_end`'s price, or the children a lens tool update or end reports. Zero for any other line, or one that is not JSON. Summing it
+ * over a stream that carries updates counts a call once per update — price a
+ * stream with an EventCostMeter. */
+export function eventLineCostUsd(line) {
+    return new EventCostMeter().add(line);
+}
+/** The round's lens ledger, beside the events in a case dir. */
+export const LENS_LEDGER_FILE = "lens-ledger.jsonl";
+export function caseCostUsd(caseDir) {
+    const events = join(caseDir, "pi-events.jsonl");
+    if (existsSync(events)) {
+        const meter = new EventCostMeter();
+        for (const line of readFileSync(events, "utf8").split("\n"))
+            meter.add(line);
+        // The ledger after the events: a run a tool result already reported is
+        // owned there and adds nothing here; a warm-up is added.
+        const ledger = join(caseDir, LENS_LEDGER_FILE);
+        if (existsSync(ledger))
+            for (const line of readFileSync(ledger, "utf8").split("\n"))
+                meter.add(line);
+        return { usd: meter.totalUsd, source: "pi" };
+    }
+    const summary = join(caseDir, "case-summary.json");
+    if (!existsSync(summary))
+        return null;
+    const s = JSON.parse(readFileSync(summary, "utf8"));
+    const named = typeof s.model === "string" ? s.model : s.fingerprint?.model;
+    const model = typeof named === "string" ? named : "gpt-6-sol";
+    if (Object.hasOwn(s, SLIM_COST_KEY)) {
+        const usd = s[SLIM_COST_KEY];
+        if (typeof usd !== "number" || !Number.isFinite(usd))
+            return null;
+        return s.arm === "claude"
+            ? { usd, source: "claude" }
+            : s.bridge
+                ? { usd, source: "priced", ...(ratesFor(model) ? { model } : {}) }
+                : { usd, source: "pi" };
+    }
+    if (s.arm === "claude")
+        return typeof s.cost_usd === "number" && Number.isFinite(s.cost_usd)
+            ? { usd: s.cost_usd, source: "claude" }
+            : null;
+    if (!s.bridge)
+        return null;
+    const r = ratesFor(model);
+    if (!r)
+        return null;
+    const u = piUsageFromInclusive(num(s.bridge.input_tokens), num(s.bridge.cached_tokens), num(s.bridge.output_tokens));
+    const usd = (u.input * r.input + u.cacheRead * r.cacheRead + u.output * r.output) / 1e6;
+    return { usd, source: "priced", model };
+}
+//# sourceMappingURL=pricing.js.map

package/dist/src/pricing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pricing.js","sourceRoot":"","sources":["../../src/pricing.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,4EAA4E;AAC5E,2EAA2E;AAC3E,4EAA4E;AAC5E,qFAAqF;AACrF,EAAE;AACF,oEAAoE;AACpE,gFAAgF;AAChF,0EAA0E;AAC1E,8EAA8E;AAC9E,+EAA+E;AAC/E,6EAA6E;AAC7E,uCAAuC;AACvC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACtF,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,4DAA4D;AAC5D,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,OAAO,YAAY,CACjB,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAE,KAA6B,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAC3F,CAAC;AACJ,CAAC;AAED,MAAM,GAAG,GAAG,YAAY,CAAC;AAEzB;;;;2EAI2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;IACrD,aAAa,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;CACgC,CAAC;AAI1F,gFAAgF;AAChF,MAAM,CAAC,MAAM,qBAAqB,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;AAErE;kFACkF;AAClF,MAAM,UAAU,QAAQ,CACtB,KAAgC;IAEhC,MAAM,CAAC,GAAG,KAAK,IAAI,WAAW,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5F,CAAC;AAED;+EAC+E;AAC/E,MAAM,UAAU,oBAAoB,CAClC,KAAa,EACb,MAAc,EACd,MAAc;IAEd,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC1C,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AACzD,CAAC;AAYD;uBACuB;AACvB,MAAM,CAAC,MAAM,aAAa,GAAG,gBAAgB,CAAC;AAE9C;;;;gEAIgE;AAChE,SAAS,gBAAgB,CACvB,CAAgD,EAChD,IAA6B;IAE7B,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3D,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACvC,GAAG,IAAI,SAAS,CAAE,CAA2C,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,wDAAwD;AACxD,MAAM,MAAM,GAAG,UAAU,CAAC;AAE1B;;;;;;;;;;;;;;6CAc6C;AAC7C,MAAM,OAAO,cAAc;IACR,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrD;sBACkB;IACD,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtD,sEAAsE;IACrD,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,KAAK,GAAG,CAAC,CAAC;IACV,OAAO,GAAG,CAAC,CAAC;IAEZ,KAAK,CAAC,EAAU,EAAE,GAAW;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACxB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,KAAK,GAAG,CAAC;IACtB,CAAC;IAED;+EAC2E;IAC3E,GAAG,CAAC,IAAY;QACd,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,CAOH,CAAC;QACF,IAAI,CAAC;YACH,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAa,CAAC;QACnC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,CAAC;QACX,CAAC;QACD,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,uEAAuE;YACvE,gBAAgB;YAChB,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAAE,OAAO,CAAC,CAAC;YACxC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAClC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;YAChC,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;QAC3B,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,OAAO,EAAE,IAAI,KAAK,WAAW,EAAE,CAAC;YAChE,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9C,IAAI,CAAC,KAAK,IAAI,GAAG,CAAC;YAClB,OAAO,GAAG,CAAC;QACb,CAAC;QACD,IACE,CAAC,CAAC,CAAC,IAAI,KAAK,uBAAuB,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC;YACvE,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC;YAEvB,OAAO,CAAC,CAAC;QACX,uEAAuE;QACvE,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACvF,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,KAAK,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QAChE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC3B,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACzE,6DAA6D;QAC7D,uEAAuE;QACvE,6DAA6D;QAC7D,IAAI,CAAC,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACpC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;;YAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAClC,uEAAuE;QACvE,4EAA4E;QAC5E,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,IAAI,CAAC;QAC1B,OAAO,IAAI,GAAG,IAAI,CAAC;IACrB,CAAC;IAED,oDAAoD;IACpD,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;CACF;AAED;;;oCAGoC;AACpC,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,IAAI,cAAc,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAED,gEAAgE;AAChE,MAAM,CAAC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAEpD,MAAM,UAAU,WAAW,CAAC,OAAe;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;IAChD,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,IAAI,cAAc,EAAE,CAAC;QACnC,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC7E,uEAAuE;QACvE,yDAAyD;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;QAC/C,IAAI,UAAU,CAAC,MAAM,CAAC;YACpB,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/E,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC/C,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IACnD,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAOjD,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC;IAC3E,MAAM,KAAK,GAAG,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC;IAC9D,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;QAC7B,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAClE,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ;YACvB,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE;YAC3B,CAAC,CAAC,CAAC,CAAC,MAAM;gBACR,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;gBAClE,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,CAAC,CAAC,GAAG,KAAK,QAAQ;QACpB,OAAO,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;YAClE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE;YACvC,CAAC,CAAC,IAAI,CAAC;IACX,IAAI,CAAC,CAAC,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAC3B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,CAAC,GAAG,oBAAoB,CAC5B,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,EAC1B,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAC3B,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAC5B,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC;IACxF,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC1C,CAAC"}

package/dist/src/priorfindings.d.ts

@@ -0,0 +1,167 @@
+import { type PriorStatus } from "./findingsrecord.js";
+import type { PriorFindingCheckRow, ReviewedHeadRow, RoundFindingRow, RoundRow } from "./storerows.js";
+/** At most this many findings in the prompt; the sidecar holds them all. */
+export declare const PRIOR_NOTE_MAX_ENTRIES = 40;
+/** At most this many characters of rendered entries in the prompt. */
+export declare const PRIOR_NOTE_MAX_CHARS = 8000;
+/** One open prior finding, as the round is handed it. */
+export interface PriorFinding {
+    /** `<round_no>:<finding_key>` of its LATEST posting — the ref to report. */
+    ref: string;
+    round_no: number;
+    finding_key: string;
+    /** The round that first posted it (the head of its re-post chain). */
+    origin_round: number;
+    /** Older refs of the same finding (earlier postings it re-posted). */
+    earlier_refs: string[];
+    head_sha: string;
+    path: string | null;
+    line: number | null;
+    posted_as: string;
+    severity: string | null;
+    lens: string;
+    lens_ids: string[];
+    title: string | null;
+    thread_id: number | null;
+    /** Posted as a blocker (`[blocker]`). */
+    blocking: boolean;
+    /** The last status a round reported for it, when that left it open
+     * (`open` / `unverifiable`); null when never reported. */
+    last_status: PriorStatus | null;
+    last_status_round: number | null;
+    last_evidence: string | null;
+    /** Left out of the round note; rendered into the task of a lens the finding is assigned to. */
+    reason: string | null;
+    evidence: string | null;
+}
+/** A finding taken off the list, and why — written to the sidecar. */
+export interface DroppedPriorFinding {
+    ref: string;
+    why: "superseded" | "conceded" | "settled" | "reported_resolved";
+    /** The round whose row or report resolved it. */
+    by_round: number;
+    status?: PriorStatus;
+    evidence?: string | null;
+}
+/** A delivered earlier round whose record could not be read. */
+export interface IncompleteRound {
+    round_no: number;
+    status: string;
+}
+export interface PriorFindingsList {
+    pr: number;
+    /** The round being dispatched. */
+    round_no: number;
+    findings: PriorFinding[];
+    dropped: DroppedPriorFinding[];
+    incomplete: IncompleteRound[];
+}
+export interface ComputePriorInput {
+    pr: number;
+    roundNo: number;
+    /** Every recorded row of the PR's earlier rounds (ingested or read from a
+     * record file); rows of round ≥ roundNo are ignored. */
+    rows: readonly RoundFindingRow[];
+    /** Every report/listing row; only REPORTED rows of checking rounds before
+     * roundNo count. */
+    checks: readonly Pick<PriorFindingCheckRow, "checked_round" | "round_no" | "finding_key" | "status" | "evidence">[];
+    incomplete?: readonly IncompleteRound[];
+}
+/** The shared posted-finding identity policy: thread ownership first, then
+ * explicit raised-in-round continuation. Killed candidates never own a chain. */
+export declare function postedFindingChains(rows: readonly RoundFindingRow[]): {
+    posted: RoundFindingRow[];
+    postedKeys: Set<string>;
+    namedPosting: (r: RoundFindingRow) => RoundFindingRow | null;
+    find: (k: string) => string;
+    members: Map<string, RoundFindingRow[]>;
+};
+/**
+ * The pure core. Collapse the earlier rounds' rows into the open prior
+ * findings:
+ *
+ * - A re-posting (a later posted row whose `raised_in_round` names an earlier
+ *   round and which `predecessorOf` maps onto one of that round's postings, or
+ *   which shares its thread) SUPERSEDES the earlier one: one entry per chain,
+ *   on its latest posting.
+ * - A chain is RESOLVED by a later `conceded` row naming it (thread, or
+ *   raised_in_round + predecessorOf), a later `settled:<thread>` kill on its
+ *   thread, or a later round's report of fixed/conceded/settled/obsolete —
+ *   the LATEST report on the chain wins, and a resolution counts only when it
+ *   comes from a round after the chain's latest posting (a finding re-posted
+ *   after it was "resolved" is open again; never quieter).
+ * - Sorted blockers first, then by round, path and line.
+ */
+export declare function computePriorFindings(input: ComputePriorInput): PriorFindingsList;
+/** `state/pr-<n>-round-<k>-prior.json`, relative to the root — as the prompt
+ * names it. */
+export declare function priorSidecarRel(pr: number, roundNo: number): string;
+/** The sidecar's content: every listed finding with its reason and
+ * evidence, and what was dropped and why. */
+export declare function priorSidecarText(list: PriorFindingsList, headSha: string): string;
+export declare function priorSidecarPath(stateDir: string, pr: number, roundNo: number): string;
+/**
+ * The `{{prior_findings_note}}` text for a computed list. Never empty: a list
+ * with nothing open says so, and says whether that is complete. The entries
+ * are rendered inside ONE fenced data block (titles quote PR content); the
+ * instructions stay outside it.
+ */
+export declare function renderPriorFindingsNote(list: PriorFindingsList, 
+/** `sidecar`: where the note says the full list lives — default the
+ * daemon's `state/pr-<n>-round-<k>-prior.json`; the bench's follow-up
+ * replay names its case dir's copy. */
+opts?: {
+    maxEntries?: number;
+    maxChars?: number;
+    sidecar?: string;
+}): string;
+/** The store slice the collector reads and writes (src/state.ts's StateStore). */
+export interface PriorFindingsStore {
+    roundFindings(pr: number): RoundFindingRow[];
+    prEvents(pr: number, kinds: readonly string[]): Array<{
+        id: number;
+        ts: string;
+        kind: string;
+        payload: Record<string, unknown>;
+    }>;
+    roundsFor(pr: number): RoundRow[];
+    priorFindingChecks(pr: number): PriorFindingCheckRow[];
+    reviewedHead(pr: number): ReviewedHeadRow | undefined;
+    recordPriorListing(pr: number, checkedRound: number, headSha: string, items: ReadonlyArray<{
+        round_no: number;
+        finding_key: string;
+        blocking: boolean;
+    }>): void;
+    logEvent(kind: string, pr: number | null, payload?: unknown): void;
+}
+export interface PriorFindingsDeps {
+    store: PriorFindingsStore;
+    /** `<root>/state/findings` — where round records live. */
+    findingsDir: string;
+}
+/**
+ * Collect the open prior findings for round `roundNo` of `pr`. Reads
+ * state.db, plus — for every delivered earlier round whose record has not
+ * been ingested, and every unverdicted one that may have posted
+ * (`mayHavePosted`) — the record file itself, synchronously. A round whose
+ * record is missing or unparseable is INCOMPLETE, never an empty round.
+ */
+export declare function collectPriorFindings(deps: PriorFindingsDeps, pr: number, roundNo: number): PriorFindingsList;
+export interface PreparedPriorFindings {
+    /** The `{{prior_findings_note}}` text. Never empty. */
+    note: string;
+    /** The list, or null when it could not be assembled. */
+    list: PriorFindingsList | null;
+    sidecarPath: string;
+}
+/**
+ * Everything dispatch needs for one follow-up round: collect the list, write
+ * the sidecar (atomically), record the listing in `prior_finding_checks`,
+ * and render the note. TOTAL: a failure renders an explicit
+ * "list unavailable — verify from your ledger" note, never an empty one.
+ */
+export declare function preparePriorFindings(deps: PriorFindingsDeps & {
+    stateDir: string;
+    log?: (msg: string, extra?: unknown) => void;
+}, pr: number, roundNo: number, headSha: string): PreparedPriorFindings;
+//# sourceMappingURL=priorfindings.d.ts.map

package/dist/src/priorfindings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"priorfindings.d.ts","sourceRoot":"","sources":["../../src/priorfindings.ts"],"names":[],"mappings":"AA6BA,OAAO,EAML,KAAK,WAAW,EACjB,MAAM,qBAAqB,CAAC;AAM7B,OAAO,KAAK,EACV,oBAAoB,EACpB,eAAe,EACf,eAAe,EACf,QAAQ,EACT,MAAM,gBAAgB,CAAC;AAExB,4EAA4E;AAC5E,eAAO,MAAM,sBAAsB,KAAK,CAAC;AACzC,sEAAsE;AACtE,eAAO,MAAM,oBAAoB,OAAO,CAAC;AAEzC,yDAAyD;AACzD,MAAM,WAAW,YAAY;IAC3B,4EAA4E;IAC5E,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,YAAY,EAAE,MAAM,CAAC;IACrB,sEAAsE;IACtE,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,yCAAyC;IACzC,QAAQ,EAAE,OAAO,CAAC;IAClB;8DAC0D;IAC1D,WAAW,EAAE,WAAW,GAAG,IAAI,CAAC;IAChC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,+FAA+F;IAC/F,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,sEAAsE;AACtE,MAAM,WAAW,mBAAmB;IAClC,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,YAAY,GAAG,UAAU,GAAG,SAAS,GAAG,mBAAmB,CAAC;IACjE,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED,gEAAgE;AAChE,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,OAAO,EAAE,mBAAmB,EAAE,CAAC;IAC/B,UAAU,EAAE,eAAe,EAAE,CAAC;CAC/B;AAWD,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB;4DACwD;IACxD,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IACjC;wBACoB;IACpB,MAAM,EAAE,SAAS,IAAI,CACnB,oBAAoB,EACpB,eAAe,GAAG,UAAU,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,CACrE,EAAE,CAAC;IACJ,UAAU,CAAC,EAAE,SAAS,eAAe,EAAE,CAAC;CACzC;AAED;iFACiF;AACjF,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE;;;sBAmBzC,eAAe,KAAG,eAAe,GAAG,IAAI;cAPhD,MAAM,KAAG,MAAM;;EAmCjC;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,iBAAiB,GAAG,iBAAiB,CAkJhF;AASD;eACe;AACf,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEnE;AAED;6CAC6C;AAC7C,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAajF;AAED,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEtF;AAkBD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,iBAAiB;AACvB;;uCAEuC;AACvC,IAAI,GAAE;IAAE,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAO,GACtE,MAAM,CAwCR;AAID,kFAAkF;AAClF,MAAM,WAAW,kBAAkB;IACjC,aAAa,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,EAAE,CAAC;IAC7C,QAAQ,CACN,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;KAAE,CAAC,CAAC;IACrF,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,EAAE,CAAC;IAClC,kBAAkB,CAAC,EAAE,EAAE,MAAM,GAAG,oBAAoB,EAAE,CAAC;IACvD,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,SAAS,CAAC;IACtD,kBAAkB,CAChB,EAAE,EAAE,MAAM,EACV,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,aAAa,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,WAAW,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC,GACjF,IAAI,CAAC;IACR,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,IAAI,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;CACpE;AAED,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,kBAAkB,CAAC;IAC1B,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAC;CACrB;AAkDD;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,iBAAiB,EACvB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,GACd,iBAAiB,CAoDnB;AAED,MAAM,WAAW,qBAAqB;IACpC,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,wDAAwD;IACxD,IAAI,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC/B,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,iBAAiB,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO,KAAK,IAAI,CAAA;CAAE,EAC5F,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,GACd,qBAAqB,CA+BvB"}