proofread-mcp 0.1.0

package/dist/format.js

@@ -0,0 +1,123 @@
+/** The words a user sees per tier (PRODUCT.md): say what was checked and what was found, never a verdict on the author. */
+export const TIER_WORD = {
+    red: "CHECK THIS",
+    orange: "CANNOT VERIFY",
+    green: "FOUND",
+    white: "DEEP CHECK",
+};
+const PASSAGE_CHARS = 300;
+/**
+ * A compact, model-friendly view of a report: the coverage statement first, then the counts,
+ * then one line per row that needs a human (red, orange and, in deep mode, white), then the count of found rows.
+ * Westlaw/Lexis identifiers are collapsed into one line, as on the site.
+ */
+export function formatReport(report, reportId) {
+    const s = report.summary;
+    const lines = [];
+    lines.push(`Coverage: ${report.coverage}`);
+    lines.push(`Summary: ${s.citations} citation${s.citations === 1 ? "" : "s"}, ${s.rows} row${s.rows === 1 ? "" : "s"}. ` +
+        `Check this (red): ${s.red}. Cannot verify (orange): ${s.orange}` +
+        (s.database_ids ? `, of which ${s.database_ids} Westlaw/Lexis identifier${s.database_ids === 1 ? "" : "s"}` : "") +
+        `. Found (green): ${s.green}.` +
+        (report.mode === "deep" ? ` Deep check (white): ${s.white}.` : ""));
+    const flagged = report.rows.filter((r) => r.tier !== "green");
+    const ids = flagged.filter((r) => r.reason === "database_id");
+    const rest = flagged.filter((r) => r.reason !== "database_id");
+    if (flagged.length === 0) {
+        lines.push("Flagged rows: none.");
+    }
+    else {
+        lines.push("Flagged rows:");
+        for (const row of rest)
+            lines.push(formatRowLine(row));
+        if (ids.length)
+            lines.push(databaseIdsLine(ids));
+    }
+    lines.push(`Found: ${s.green} row${s.green === 1 ? "" : "s"} resolved to a case in the register.`);
+    if (report.mode === "deep") {
+        lines.push("Deep check rows are a review queue, not a verdict: confirm the passage yourself before relying on it.");
+    }
+    const tail = [];
+    if (reportId)
+        tail.push(`Report id: ${reportId} (give it to render_report for a markdown report).`);
+    if (report.elapsed_s !== undefined)
+        tail.push(`Elapsed: ${report.elapsed_s} s.`);
+    if (tail.length)
+        lines.push(tail.join(" "));
+    lines.push(`Storage: ${report.storage}`);
+    return lines.join("\n");
+}
+/** One line: tier word, citation (parties), headline, detail, register link. */
+export function formatRowLine(row) {
+    const who = row.parties ? ` (${row.parties}${row.year ? `, ${row.year}` : ""})` : "";
+    const times = row.occurrences && row.occurrences > 1 ? ` [cited ${row.occurrences} times]` : "";
+    const parts = [`- ${tierWord(row.tier)}: ${row.citation}${who}${times}.`];
+    if (row.tier === "white" && row.support) {
+        parts.push(supportText(row));
+    }
+    else {
+        parts.push(sentence(row.headline));
+        if (row.detail)
+            parts.push(sentence(row.detail));
+    }
+    if (row.evidence?.url)
+        parts.push(`Register: ${row.evidence.url}`);
+    return parts.join(" ");
+}
+/** A full view of one row, for resolve_citation. */
+export function formatRowDetail(row) {
+    const lines = [
+        `${tierWord(row.tier)}: ${row.citation}` + (row.parties ? ` (${row.parties}${row.year ? `, ${row.year}` : ""})` : ""),
+        sentence(row.headline),
+    ];
+    if (row.detail)
+        lines.push(sentence(row.detail));
+    for (const note of row.notes ?? [])
+        lines.push(`Note: ${sentence(note)}`);
+    const e = row.evidence;
+    if (e) {
+        const facts = [];
+        if (e.register_name)
+            facts.push(`register name: ${e.register_name}`);
+        if (e.court)
+            facts.push(`court: ${e.court}`);
+        if (e.register_date)
+            facts.push(`date: ${e.register_date}`);
+        if (e.citations?.length)
+            facts.push(`citations: ${e.citations.join("; ")}`);
+        if (e.cite_points_to)
+            facts.push(`this citation points to: ${e.cite_points_to}`);
+        if (facts.length)
+            lines.push(`Evidence: ${facts.join("; ")}.`);
+        if (e.url)
+            lines.push(`Register: ${e.url}`);
+    }
+    return lines.join("\n");
+}
+function databaseIdsLine(rows) {
+    const cites = rows.map((r) => r.citation);
+    const n = rows.length;
+    return `- CANNOT VERIFY: ${n} Westlaw/Lexis identifier${n === 1 ? "" : "s"} (${cites.join("; ")}). ` +
+        "Open registers cannot resolve these; check them in Westlaw or Lexis.";
+}
+function supportText(row) {
+    const sup = row.support;
+    const parts = [sentence(sup.headline ?? `Support: ${sup.status}`)];
+    if (sup.confidence !== undefined)
+        parts.push(`(confidence ${sup.confidence.toFixed(2)}${sup.band ? `, ${sup.band}` : ""})`);
+    if (sup.passage && sup.status !== "confirmed")
+        parts.push(`Closest passage: "${clip(sup.passage, PASSAGE_CHARS)}"`);
+    return parts.join(" ");
+}
+function sentence(text) {
+    const t = text.trim();
+    return /[.!?]$/.test(t) ? t : `${t}.`;
+}
+function clip(text, max) {
+    const t = text.replace(/\s+/g, " ").trim();
+    return t.length <= max ? t : `${t.slice(0, max - 1)}…`;
+}
+function tierWord(tier) {
+    return TIER_WORD[tier] ?? String(tier).toUpperCase();
+}
+//# sourceMappingURL=format.js.map

package/dist/format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"format.js","sourceRoot":"","sources":["../src/format.ts"],"names":[],"mappings":"AAEA,2HAA2H;AAC3H,MAAM,CAAC,MAAM,SAAS,GAAyB;IAC7C,GAAG,EAAE,YAAY;IACjB,MAAM,EAAE,eAAe;IACvB,KAAK,EAAE,OAAO;IACd,KAAK,EAAE,YAAY;CACpB,CAAC;AAEF,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc,EAAE,QAAiB;IAC5D,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IACzB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC3C,KAAK,CAAC,IAAI,CACR,YAAY,CAAC,CAAC,SAAS,YAAY,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI;QAC1G,qBAAqB,CAAC,CAAC,GAAG,6BAA6B,CAAC,CAAC,MAAM,EAAE;QACjE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,YAAY,4BAA4B,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjH,oBAAoB,CAAC,CAAC,KAAK,GAAG;QAC9B,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrE,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC;IAC/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACpC,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5B,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,IAAI,GAAG,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,sCAAsC,CAAC,CAAC;IACnG,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,uGAAuG,CAAC,CAAC;IACtH,CAAC;IACD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,QAAQ;QAAE,IAAI,CAAC,IAAI,CAAC,cAAc,QAAQ,oDAAoD,CAAC,CAAC;IACpG,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,SAAS,KAAK,CAAC,CAAC;IACjF,IAAI,IAAI,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,GAAQ;IACpC,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,MAAM,KAAK,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,WAAW,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;IAChG,MAAM,KAAK,GAAG,CAAC,KAAK,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,QAAQ,GAAG,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;IAC1E,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,EAAE,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,GAAG,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IACnE,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,eAAe,CAAC,GAAQ;IACtC,MAAM,KAAK,GAAG;QACZ,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACrH,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;KACvB,CAAC;IACF,IAAI,GAAG,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,IAAI,EAAE;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1E,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC;IACvB,IAAI,CAAC,EAAE,CAAC;QACN,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;QACrE,IAAI,CAAC,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,aAAa;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC;QAC5D,IAAI,CAAC,CAAC,SAAS,EAAE,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAI,CAAC,CAAC,cAAc;YAAE,KAAK,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC,cAAc,EAAE,CAAC,CAAC;QACjF,IAAI,KAAK,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,CAAC,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,eAAe,CAAC,IAAW;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;IACtB,OAAO,oBAAoB,CAAC,4BAA4B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;QAClG,sEAAsE,CAAC;AAC3E,CAAC;AAED,SAAS,WAAW,CAAC,GAAQ;IAC3B,MAAM,GAAG,GAAG,GAAG,CAAC,OAAQ,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,IAAI,YAAY,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnE,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5H,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,MAAM,KAAK,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC;IACpH,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IACtB,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;AACxC,CAAC;AAED,SAAS,IAAI,CAAC,IAAY,EAAE,GAAW;IACrC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;AACzD,CAAC;AAED,SAAS,QAAQ,CAAC,IAAU;IAC1B,OAAO,SAAS,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;AACvD,CAAC"}

package/dist/http.d.ts

@@ -0,0 +1,17 @@
+import { type ServerOptions } from "./server.js";
+export interface HttpOptions extends ServerOptions {
+    port: number;
+    host?: string;
+    /** Hosts allowed in the Host header (DNS-rebinding protection). Defaults to localhost forms when binding to loopback. */
+    allowedHosts?: string[];
+}
+/**
+ * Serves MCP over Streamable HTTP at /mcp: one McpServer and transport per session (initialize starts one,
+ * the Mcp-Session-Id header names it, DELETE ends it). GET /health answers 200 for load balancers.
+ */
+export declare function startHttp(options: HttpOptions): Promise<{
+    close(): Promise<void>;
+    url: string;
+}>;
+/** The Host header values a loopback bind should accept; undefined (no protection) when bound to a real interface. */
+export declare function loopbackHosts(host: string, port: number): string[] | undefined;

package/dist/http.js

@@ -0,0 +1,86 @@
+import { randomUUID } from "node:crypto";
+import { createServer as createHttpServer } from "node:http";
+import { StreamableHTTPServerTransport } from "@modelcontextprotocol/sdk/server/streamableHttp.js";
+import { createServer } from "./server.js";
+/**
+ * Serves MCP over Streamable HTTP at /mcp: one McpServer and transport per session (initialize starts one,
+ * the Mcp-Session-Id header names it, DELETE ends it). GET /health answers 200 for load balancers.
+ */
+export function startHttp(options) {
+    const host = options.host ?? "127.0.0.1";
+    let port = options.port; // replaced by the bound port once listening (port 0 lets the OS pick)
+    const allowedHosts = () => options.allowedHosts ?? loopbackHosts(host, port);
+    const sessions = new Map();
+    async function handle(req, res) {
+        const url = new URL(req.url ?? "/", "http://localhost");
+        if (url.pathname === "/health") {
+            res.writeHead(200, { "content-type": "application/json" }).end(JSON.stringify({ ok: true, sessions: sessions.size }));
+            return;
+        }
+        if (url.pathname !== "/mcp") {
+            res.writeHead(404, { "content-type": "text/plain" }).end("not found; MCP is served at /mcp");
+            return;
+        }
+        const sessionId = req.headers["mcp-session-id"];
+        const existing = typeof sessionId === "string" ? sessions.get(sessionId) : undefined;
+        if (existing) {
+            await existing.handleRequest(req, res);
+            return;
+        }
+        if (req.method !== "POST") {
+            res.writeHead(400, { "content-type": "application/json" }).end(JSON.stringify({ jsonrpc: "2.0", error: { code: -32000, message: "no session; POST initialize first" }, id: null }));
+            return;
+        }
+        const hosts = allowedHosts();
+        const transport = new StreamableHTTPServerTransport({
+            sessionIdGenerator: () => randomUUID(),
+            onsessioninitialized: (id) => {
+                sessions.set(id, transport);
+            },
+            onsessionclosed: (id) => {
+                sessions.delete(id);
+            },
+            ...(hosts ? { allowedHosts: hosts, enableDnsRebindingProtection: true } : {}),
+        });
+        transport.onclose = () => {
+            if (transport.sessionId)
+                sessions.delete(transport.sessionId);
+        };
+        const server = createServer(options);
+        await server.connect(transport);
+        await transport.handleRequest(req, res);
+    }
+    const httpServer = createHttpServer((req, res) => {
+        handle(req, res).catch((err) => {
+            console.error("proofread-mcp http:", err);
+            if (!res.headersSent)
+                res.writeHead(500, { "content-type": "text/plain" }).end("internal error");
+            else
+                res.end();
+        });
+    });
+    return new Promise((resolve, reject) => {
+        httpServer.once("error", reject);
+        httpServer.listen(options.port, host, () => {
+            const address = httpServer.address();
+            if (typeof address === "object" && address)
+                port = address.port;
+            resolve({
+                url: `http://${host}:${port}/mcp`,
+                close: async () => {
+                    await Promise.all([...sessions.values()].map((t) => t.close()));
+                    await new Promise((done) => httpServer.close(() => done()));
+                },
+            });
+        });
+    });
+}
+/** The Host header values a loopback bind should accept; undefined (no protection) when bound to a real interface. */
+export function loopbackHosts(host, port) {
+    if (host === "127.0.0.1" || host === "localhost")
+        return [`127.0.0.1:${port}`, `localhost:${port}`, "127.0.0.1", "localhost"];
+    if (host === "::1")
+        return [`[::1]:${port}`, `localhost:${port}`, "[::1]", "localhost"];
+    return undefined;
+}
+//# sourceMappingURL=http.js.map

package/dist/http.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"http.js","sourceRoot":"","sources":["../src/http.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,IAAI,gBAAgB,EAA6C,MAAM,WAAW,CAAC;AACxG,OAAO,EAAE,6BAA6B,EAAE,MAAM,oDAAoD,CAAC;AACnG,OAAO,EAAE,YAAY,EAAsB,MAAM,aAAa,CAAC;AAS/D;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,OAAoB;IAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,WAAW,CAAC;IACzC,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,sEAAsE;IAC/F,MAAM,YAAY,GAAG,GAAyB,EAAE,CAAC,OAAO,CAAC,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACnG,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyC,CAAC;IAElE,KAAK,UAAU,MAAM,CAAC,GAAoB,EAAE,GAAmB;QAC7D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,EAAE,kBAAkB,CAAC,CAAC;QACxD,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC/B,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACtH,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;YAC5B,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;YAC7F,OAAO;QACT,CAAC;QACD,MAAM,SAAS,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACrF,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,QAAQ,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACvC,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1B,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,mCAAmC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACpL,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,YAAY,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,IAAI,6BAA6B,CAAC;YAClD,kBAAkB,EAAE,GAAG,EAAE,CAAC,UAAU,EAAE;YACtC,oBAAoB,EAAE,CAAC,EAAE,EAAE,EAAE;gBAC3B,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;YAC9B,CAAC;YACD,eAAe,EAAE,CAAC,EAAE,EAAE,EAAE;gBACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACtB,CAAC;YACD,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,4BAA4B,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC9E,CAAC,CAAC;QACH,SAAS,CAAC,OAAO,GAAG,GAAG,EAAE;YACvB,IAAI,SAAS,CAAC,SAAS;gBAAE,QAAQ,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAChE,CAAC,CAAC;QACF,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACrC,MAAM,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAChC,MAAM,SAAS,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC1C,CAAC;IAED,MAAM,UAAU,GAAG,gBAAgB,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QAC/C,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;YAC7B,OAAO,CAAC,KAAK,CAAC,qBAAqB,EAAE,GAAG,CAAC,CAAC;YAC1C,IAAI,CAAC,GAAG,CAAC,WAAW;gBAAE,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;;gBAC5F,GAAG,CAAC,GAAG,EAAE,CAAC;QACjB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACjC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE;YACzC,MAAM,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO;gBAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YAChE,OAAO,CAAC;gBACN,GAAG,EAAE,UAAU,IAAI,IAAI,IAAI,MAAM;gBACjC,KAAK,EAAE,KAAK,IAAI,EAAE;oBAChB,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAChE,MAAM,IAAI,OAAO,CAAO,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBACpE,CAAC;aACF,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY;IACtD,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,WAAW;QAAE,OAAO,CAAC,aAAa,IAAI,EAAE,EAAE,aAAa,IAAI,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;IAC9H,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,CAAC,SAAS,IAAI,EAAE,EAAE,aAAa,IAAI,EAAE,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC;IACxF,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+export { createServer, INSTRUCTIONS, SERVER_NAME, SERVER_VERSION } from "./server.js";
+export { startHttp } from "./http.js";
+export { createClient, verifyPath, MAX_BATCH_CITES, type Client, type VerifyOptions } from "./client.js";
+export { configFromEnv, DEFAULT_BASE_URL, type Config } from "./config.js";
+export { ProofreadError, explain } from "./errors.js";
+export { formatReport, formatRowLine, formatRowDetail, TIER_WORD } from "./format.js";
+export { formatResolve, formatResolveLine, formatResolveBatch, STATUS_WORD } from "./resolve_format.js";
+export { tools } from "./tools/index.js";
+export type { Report, Row, Summary, Tier, Coverage, ResolveResult, ResolveBatch, ResolveStatus, ResolveCase, ResolveCoverage } from "./types.js";

package/dist/index.js

@@ -0,0 +1,9 @@
+export { createServer, INSTRUCTIONS, SERVER_NAME, SERVER_VERSION } from "./server.js";
+export { startHttp } from "./http.js";
+export { createClient, verifyPath, MAX_BATCH_CITES } from "./client.js";
+export { configFromEnv, DEFAULT_BASE_URL } from "./config.js";
+export { ProofreadError, explain } from "./errors.js";
+export { formatReport, formatRowLine, formatRowDetail, TIER_WORD } from "./format.js";
+export { formatResolve, formatResolveLine, formatResolveBatch, STATUS_WORD } from "./resolve_format.js";
+export { tools } from "./tools/index.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,eAAe,EAAmC,MAAM,aAAa,CAAC;AACzG,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAe,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AACxG,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/reports.d.ts

@@ -0,0 +1,3 @@
+import type { Report } from "./types.js";
+export declare function rememberReport(report: Report): string;
+export declare function recallReport(id: string): Report | undefined;

package/dist/reports.js

@@ -0,0 +1,22 @@
+import { randomBytes } from "node:crypto";
+/**
+ * The last few reports, in this process's memory only, so render_report can be called with a short id
+ * instead of the model echoing the whole report JSON. Nothing is written to disk; the map dies with the process.
+ */
+const MAX_REPORTS = 50;
+const reports = new Map();
+export function rememberReport(report) {
+    const id = `r_${randomBytes(4).toString("hex")}`;
+    reports.set(id, report);
+    while (reports.size > MAX_REPORTS) {
+        const oldest = reports.keys().next().value;
+        if (oldest === undefined)
+            break;
+        reports.delete(oldest);
+    }
+    return id;
+}
+export function recallReport(id) {
+    return reports.get(id);
+}
+//# sourceMappingURL=reports.js.map

package/dist/reports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reports.js","sourceRoot":"","sources":["../src/reports.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAG1C;;;GAGG;AACH,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE1C,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,MAAM,EAAE,GAAG,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;IACjD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACxB,OAAO,OAAO,CAAC,IAAI,GAAG,WAAW,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;QAC3C,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM;QAChC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,OAAO,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACzB,CAAC"}

package/dist/resolve_format.d.ts

@@ -0,0 +1,9 @@
+import type { ResolveBatch, ResolveResult, ResolveStatus } from "./types.js";
+/** The words a user sees per register status. A missing entry is a register fact with a coverage qualifier, never a verdict on the author. */
+export declare const STATUS_WORD: Record<ResolveStatus, string>;
+/** The full answer for one citation: status, the case or the reason, the volume's coverage, then the coverage statement. */
+export declare function formatResolve(r: ResolveResult): string;
+/** One line per citation, for the batch tool. */
+export declare function formatResolveLine(r: ResolveResult): string;
+/** Counts by status, one line per citation, the coverage statement last. */
+export declare function formatResolveBatch(batch: ResolveBatch): string;

package/dist/resolve_format.js

@@ -0,0 +1,150 @@
+/** The words a user sees per register status. A missing entry is a register fact with a coverage qualifier, never a verdict on the author. */
+export const STATUS_WORD = {
+    found: "FOUND",
+    ambiguous: "AMBIGUOUS",
+    not_found: "NOT IN THE REGISTER",
+    unverifiable: "CANNOT VERIFY",
+    beyond_register: "CANNOT VERIFY",
+    known_cite: "KNOWN CITATION",
+    unresolvable: "CANNOT VERIFY",
+    unparsed: "NO CITATION RECOGNISED",
+};
+/** The full answer for one citation: status, the case or the reason, the volume's coverage, then the coverage statement. */
+export function formatResolve(r) {
+    const lines = [headline(r)];
+    const c = r.case;
+    if (r.status === "found" && c) {
+        const others = (c.citations ?? []).filter((x) => x !== r.normalized && x !== caseCiteFor(r));
+        if (others.length)
+            lines.push(`Parallel citations: ${others.join("; ")}.`);
+        if (c.url)
+            lines.push(`Register: ${c.url}`);
+    }
+    if (r.status === "ambiguous") {
+        for (const cand of r.candidates)
+            lines.push(`- ${caseLine(cand)}${cand.url ? ` ${cand.url}` : ""}`);
+    }
+    const cov = describeCoverage(r.coverage);
+    if (cov)
+        lines.push(cov);
+    if (r.coverage_statement)
+        lines.push(`Coverage: ${r.coverage_statement}`);
+    return lines.join("\n");
+}
+/** One line per citation, for the batch tool. */
+export function formatResolveLine(r) {
+    const cite = r.normalized ?? r.cite;
+    switch (r.status) {
+        case "found":
+            return `- FOUND: ${cite} = ${caseLine(r.case)}${r.match === "pincite" ? ` (pin cite inside ${caseCiteFor(r) ?? "the opinion"})` : ""}${r.case?.url ? ` ${r.case.url}` : ""}`;
+        case "ambiguous":
+            return `- AMBIGUOUS: ${cite} ${matches(r)}; best: ${r.case ? caseLine(r.case) : "none"}`;
+        case "not_found":
+            return `- NOT IN THE REGISTER: ${cite}; ${volumeHeld(r.coverage) ?? "the volume is held"} but nothing at this page (a register fact, not evidence about the citation)`;
+        case "known_cite":
+            return `- KNOWN CITATION: ${cite} is not held as an opinion, but other opinions cite it as ${knownAs(r)}`;
+        case "unresolvable":
+            return `- CANNOT VERIFY: ${cite} is a Westlaw/Lexis identifier; open registers cannot resolve it`;
+        case "beyond_register":
+        case "unverifiable":
+            return `- CANNOT VERIFY: ${cite}; the register cannot see this yet (${notSeen(r.coverage)})`;
+        case "unparsed":
+            return `- NO CITATION RECOGNISED: ${JSON.stringify(r.cite)}`;
+        default:
+            return `- ${String(r.status).toUpperCase()}: ${cite}`;
+    }
+}
+/** Counts by status, one line per citation, the coverage statement last. */
+export function formatResolveBatch(batch) {
+    const counts = new Map();
+    for (const r of batch.results) {
+        const word = STATUS_WORD[r.status] ?? String(r.status);
+        counts.set(word, (counts.get(word) ?? 0) + 1);
+    }
+    const n = batch.results.length;
+    const summary = [...counts.entries()].map(([w, k]) => `${k} ${w.toLowerCase()}`).join(", ");
+    const lines = [`${n} citation${n === 1 ? "" : "s"}: ${summary}.`];
+    for (const r of batch.results)
+        lines.push(formatResolveLine(r));
+    if (batch.elapsed_s !== undefined)
+        lines.push(`Elapsed: ${batch.elapsed_s} s.`);
+    lines.push(`Coverage: ${batch.coverage_statement}`);
+    return lines.join("\n");
+}
+function headline(r) {
+    const cite = r.normalized ?? r.cite;
+    const c = r.case;
+    switch (r.status) {
+        case "found":
+            return r.match === "pincite"
+                ? `FOUND: ${cite} is a pin cite inside ${caseLine(c)}, reported at ${caseCiteFor(r) ?? "this reporter"}.`
+                : `FOUND: ${cite} is ${caseLine(c)}.`;
+        case "ambiguous":
+            return `AMBIGUOUS: ${cite} ${matches(r)}; the best match is ${c ? caseLine(c) : "unclear"}. Candidates:`;
+        case "not_found":
+            return `NOT IN THE REGISTER: ${cite}. The register has no case at this page. ` +
+                "A missing entry is a register fact with a coverage qualifier (below), not proof that the case does not exist; check the citation in another source.";
+        case "known_cite":
+            return `KNOWN CITATION: ${cite} is not held as an opinion, but other opinions cite it as ${knownAs(r)}. The register cannot show the opinion itself; check it in another source.`;
+        case "unresolvable":
+            return `CANNOT VERIFY: ${cite} is a Westlaw/Lexis identifier. Open registers cannot resolve it; check it in Westlaw or Lexis.`;
+        case "beyond_register":
+        case "unverifiable":
+            return `CANNOT VERIFY: ${cite}. The register cannot see this yet: ${notSeen(r.coverage)}. This says nothing about whether the case exists; check it in another source.`;
+        case "unparsed":
+            return `NO CITATION RECOGNISED in ${JSON.stringify(r.cite)}. Reporter citations look like '590 U.S. 644' (volume, reporter, page).`;
+        default:
+            return `${String(r.status).toUpperCase()}: ${cite}.`;
+    }
+}
+function matches(r) {
+    const n = r.candidates.length;
+    return n > 1 ? `matches ${n} entries in the register` : "matches more than one entry in the register";
+}
+function caseLine(c) {
+    const when = [c.court, c.date].filter(Boolean).join(", ");
+    return when ? `${c.name} (${when})` : c.name;
+}
+/** The case's own citation in the reporter that was asked for (for a pin cite, the opinion's first page). */
+function caseCiteFor(r) {
+    const reporter = r.coverage?.reporter;
+    if (!reporter || !r.case?.citations)
+        return undefined;
+    return r.case.citations.find((x) => x.includes(` ${reporter} `));
+}
+function knownAs(r) {
+    const k = r.known_as;
+    if (!k)
+        return "another case";
+    const bits = [k.court_hint, k.year !== undefined ? String(k.year) : undefined].filter(Boolean).join(", ");
+    const cited = k.n_citing !== undefined ? `, cited by ${k.n_citing} opinion${k.n_citing === 1 ? "" : "s"}` : "";
+    return `${k.name}${bits ? ` (${bits})` : ""}${cited}`;
+}
+function volumeHeld(cov) {
+    if (!cov?.reporter || !cov.volume)
+        return undefined;
+    const n = cov.volume_n !== undefined ? ` (${cov.volume_n} case${cov.volume_n === 1 ? "" : "s"})` : "";
+    if (cov.register_coverage === "volume_thin")
+        return `${cov.reporter} volume ${cov.volume} is only partly held${n}`;
+    if (cov.register_coverage === "volume_absent")
+        return `no part of ${cov.reporter} volume ${cov.volume} is held`;
+    return `${cov.reporter} volume ${cov.volume} is held${n}`;
+}
+function notSeen(cov) {
+    if (!cov?.reporter)
+        return "this reporter is not in the register";
+    if (cov.beyond_max && cov.max_volume !== undefined)
+        return `${cov.reporter} volume ${cov.volume} is newer than the register, which runs to volume ${cov.max_volume}`;
+    if (cov.volume)
+        return `no part of ${cov.reporter} volume ${cov.volume} is held`;
+    return `${cov.reporter} is not held`;
+}
+/** The coverage of the volume that was asked for, so a not_found inside a thin volume reads as the weak claim it is. */
+function describeCoverage(cov) {
+    if (!cov?.reporter || !cov.volume || cov.register_coverage === "database_id")
+        return undefined;
+    const held = volumeHeld(cov);
+    const runs = cov.max_volume !== undefined ? `; the register runs to ${cov.reporter} volume ${cov.max_volume}` : "";
+    return held ? `Register coverage: ${held}${runs}.` : undefined;
+}
+//# sourceMappingURL=resolve_format.js.map

package/dist/resolve_format.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve_format.js","sourceRoot":"","sources":["../src/resolve_format.ts"],"names":[],"mappings":"AAEA,8IAA8I;AAC9I,MAAM,CAAC,MAAM,WAAW,GAAkC;IACxD,KAAK,EAAE,OAAO;IACd,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,qBAAqB;IAChC,YAAY,EAAE,eAAe;IAC7B,eAAe,EAAE,eAAe;IAChC,UAAU,EAAE,gBAAgB;IAC5B,YAAY,EAAE,eAAe;IAC7B,QAAQ,EAAE,wBAAwB;CACnC,CAAC;AAEF,4HAA4H;AAC5H,MAAM,UAAU,aAAa,CAAC,CAAgB;IAC5C,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACjB,IAAI,CAAC,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU,IAAI,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7F,IAAI,MAAM,CAAC,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,uBAAuB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3E,IAAI,CAAC,CAAC,GAAG;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,UAAU;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IACzC,IAAI,GAAG;QAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,IAAI,CAAC,CAAC,kBAAkB;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,kBAAkB,EAAE,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,iDAAiD;AACjD,MAAM,UAAU,iBAAiB,CAAC,CAAgB;IAChD,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC;IACpC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,YAAY,IAAI,MAAM,QAAQ,CAAC,CAAC,CAAC,IAAK,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,qBAAqB,WAAW,CAAC,CAAC,CAAC,IAAI,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAChL,KAAK,WAAW;YACd,OAAO,gBAAgB,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;QAC3F,KAAK,WAAW;YACd,OAAO,0BAA0B,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,oBAAoB,8EAA8E,CAAC;QACzK,KAAK,YAAY;YACf,OAAO,qBAAqB,IAAI,6DAA6D,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5G,KAAK,cAAc;YACjB,OAAO,oBAAoB,IAAI,kEAAkE,CAAC;QACpG,KAAK,iBAAiB,CAAC;QACvB,KAAK,cAAc;YACjB,OAAO,oBAAoB,IAAI,uCAAuC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAC/F,KAAK,UAAU;YACb,OAAO,6BAA6B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D;YACE,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC;IAC1D,CAAC;AACH,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,kBAAkB,CAAC,KAAmB;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;IAC/B,MAAM,OAAO,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,GAAG,CAAC,CAAC;IAClE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,SAAS,KAAK,CAAC,CAAC;IAChF,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACpD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,CAAgB;IAChC,MAAM,IAAI,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,IAAI,CAAC;IACpC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;IACjB,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS;gBAC1B,CAAC,CAAC,UAAU,IAAI,yBAAyB,QAAQ,CAAC,CAAE,CAAC,iBAAiB,WAAW,CAAC,CAAC,CAAC,IAAI,eAAe,GAAG;gBAC1G,CAAC,CAAC,UAAU,IAAI,OAAO,QAAQ,CAAC,CAAE,CAAC,GAAG,CAAC;QAC3C,KAAK,WAAW;YACd,OAAO,cAAc,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,eAAe,CAAC;QAC3G,KAAK,WAAW;YACd,OAAO,wBAAwB,IAAI,2CAA2C;gBAC5E,qJAAqJ,CAAC;QAC1J,KAAK,YAAY;YACf,OAAO,mBAAmB,IAAI,6DAA6D,OAAO,CAAC,CAAC,CAAC,4EAA4E,CAAC;QACpL,KAAK,cAAc;YACjB,OAAO,kBAAkB,IAAI,iGAAiG,CAAC;QACjI,KAAK,iBAAiB,CAAC;QACvB,KAAK,cAAc;YACjB,OAAO,kBAAkB,IAAI,uCAAuC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,gFAAgF,CAAC;QAC1K,KAAK,UAAU;YACb,OAAO,6BAA6B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,yEAAyE,CAAC;QACtI;YACE,OAAO,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,GAAG,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,CAAgB;IAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;IAC9B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,0BAA0B,CAAC,CAAC,CAAC,6CAA6C,CAAC;AACxG,CAAC;AAED,SAAS,QAAQ,CAAC,CAAc;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/C,CAAC;AAED,6GAA6G;AAC7G,SAAS,WAAW,CAAC,CAAgB;IACnC,MAAM,QAAQ,GAAG,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACtC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS;QAAE,OAAO,SAAS,CAAC;IACtD,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,OAAO,CAAC,CAAgB;IAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC;IACrB,IAAI,CAAC,CAAC;QAAE,OAAO,cAAc,CAAC;IAC9B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1G,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,QAAQ,WAAW,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/G,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,GAA2B;IAC7C,IAAI,CAAC,GAAG,EAAE,QAAQ,IAAI,CAAC,GAAG,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IACpD,MAAM,CAAC,GAAG,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,QAAQ,QAAQ,GAAG,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;IACtG,IAAI,GAAG,CAAC,iBAAiB,KAAK,aAAa;QAAE,OAAO,GAAG,GAAG,CAAC,QAAQ,WAAW,GAAG,CAAC,MAAM,uBAAuB,CAAC,EAAE,CAAC;IACnH,IAAI,GAAG,CAAC,iBAAiB,KAAK,eAAe;QAAE,OAAO,cAAc,GAAG,CAAC,QAAQ,WAAW,GAAG,CAAC,MAAM,UAAU,CAAC;IAChH,OAAO,GAAG,GAAG,CAAC,QAAQ,WAAW,GAAG,CAAC,MAAM,WAAW,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,OAAO,CAAC,GAA2B;IAC1C,IAAI,CAAC,GAAG,EAAE,QAAQ;QAAE,OAAO,sCAAsC,CAAC;IAClE,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,GAAG,GAAG,CAAC,QAAQ,WAAW,GAAG,CAAC,MAAM,qDAAqD,GAAG,CAAC,UAAU,EAAE,CAAC;IACrK,IAAI,GAAG,CAAC,MAAM;QAAE,OAAO,cAAc,GAAG,CAAC,QAAQ,WAAW,GAAG,CAAC,MAAM,UAAU,CAAC;IACjF,OAAO,GAAG,GAAG,CAAC,QAAQ,cAAc,CAAC;AACvC,CAAC;AAED,wHAAwH;AACxH,SAAS,gBAAgB,CAAC,GAA2B;IACnD,IAAI,CAAC,GAAG,EAAE,QAAQ,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,iBAAiB,KAAK,aAAa;QAAE,OAAO,SAAS,CAAC;IAC/F,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,0BAA0B,GAAG,CAAC,QAAQ,WAAW,GAAG,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnH,OAAO,IAAI,CAAC,CAAC,CAAC,sBAAsB,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACjE,CAAC"}

package/dist/server.d.ts

@@ -0,0 +1,12 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { type Client } from "./client.js";
+import { type Config } from "./config.js";
+export declare const SERVER_NAME = "proofread-mcp";
+export declare const SERVER_VERSION = "0.1.0";
+export declare const INSTRUCTIONS: string;
+export interface ServerOptions {
+    config?: Config;
+    client?: Client;
+}
+/** Builds an McpServer with every tool registered. The client can be injected for tests. */
+export declare function createServer(options?: ServerOptions): McpServer;

package/dist/server.js

@@ -0,0 +1,23 @@
+import { McpServer } from "@modelcontextprotocol/sdk/server/mcp.js";
+import { createClient } from "./client.js";
+import { configFromEnv } from "./config.js";
+import { tools } from "./tools/index.js";
+export const SERVER_NAME = "proofread-mcp";
+export const SERVER_VERSION = "0.1.0";
+export const INSTRUCTIONS = "proofread.law checks US case citations against an open register of about 10 million court opinions. " +
+    "Tiers: red = check this (the register holds something concrete that disagrees), orange = cannot verify (nothing to check against; not evidence either way), " +
+    "green = found, white = deep check (does the opinion support the sentence; a review queue, not a verdict). " +
+    "Never call a red or orange row invented or untrue: say what was checked and what was found. " +
+    "Every result carries a coverage statement; repeat it when reporting to the user. " +
+    "Not covered: Westlaw/Lexis identifiers, statutes, regulations, secondary sources, whether a case is still good law.";
+/** Builds an McpServer with every tool registered. The client can be injected for tests. */
+export function createServer(options = {}) {
+    const config = options.config ?? configFromEnv();
+    const client = options.client ?? createClient(config);
+    const server = new McpServer({ name: SERVER_NAME, version: SERVER_VERSION }, { instructions: INSTRUCTIONS });
+    for (const tool of tools) {
+        server.registerTool(tool.name, { title: tool.title, description: tool.description, inputSchema: tool.inputSchema, ...(tool.annotations ? { annotations: tool.annotations } : {}) }, (args, extra) => tool.run(args, { client }, extra));
+    }
+    return server;
+}
+//# sourceMappingURL=server.js.map

package/dist/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../src/server.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yCAAyC,CAAC;AACpE,OAAO,EAAE,YAAY,EAAe,MAAM,aAAa,CAAC;AACxD,OAAO,EAAE,aAAa,EAAe,MAAM,aAAa,CAAC;AACzD,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAEzC,MAAM,CAAC,MAAM,WAAW,GAAG,eAAe,CAAC;AAC3C,MAAM,CAAC,MAAM,cAAc,GAAG,OAAO,CAAC;AAEtC,MAAM,CAAC,MAAM,YAAY,GACvB,sGAAsG;IACtG,8JAA8J;IAC9J,4GAA4G;IAC5G,8FAA8F;IAC9F,mFAAmF;IACnF,qHAAqH,CAAC;AAOxH,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,OAAO,GAAkB,EAAE;IACtD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,aAAa,EAAE,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,IAAI,SAAS,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,YAAY,EAAE,YAAY,EAAE,CAAC,CAAC;IAC7G,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,YAAY,CACjB,IAAI,CAAC,IAAI,EACT,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EACnJ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,EAAE,KAAK,CAAC,CACnD,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/sse.d.ts

@@ -0,0 +1,14 @@
+import type { Report, Row } from "./types.js";
+/**
+ * Reads a `POST /verify?deep=1` Server-Sent Events body into one report.
+ * Events: `report` (the full report, rows provisional), `row` (one row with `support` filled), `done` ({summary, elapsed_s}).
+ * Comment lines (`: keepalive`) are skipped. `onRow` fires as each row arrives.
+ */
+export declare function readSseReport(body: ReadableStream<Uint8Array>, onRow?: (row: Row, report: Report) => void): Promise<Report>;
+interface SseEvent {
+    name: string;
+    data: string;
+}
+/** Splits an SSE byte stream into events. One event = the lines up to a blank line. */
+export declare function sseEvents(body: ReadableStream<Uint8Array>): AsyncGenerator<SseEvent>;
+export {};

package/dist/sse.js

@@ -0,0 +1,68 @@
+/**
+ * Reads a `POST /verify?deep=1` Server-Sent Events body into one report.
+ * Events: `report` (the full report, rows provisional), `row` (one row with `support` filled), `done` ({summary, elapsed_s}).
+ * Comment lines (`: keepalive`) are skipped. `onRow` fires as each row arrives.
+ */
+export async function readSseReport(body, onRow) {
+    let report;
+    for await (const event of sseEvents(body)) {
+        if (event.name === "report") {
+            report = JSON.parse(event.data);
+        }
+        else if (event.name === "row" && report) {
+            const row = JSON.parse(event.data);
+            const at = report.rows.findIndex((r) => r.n === row.n);
+            if (at >= 0)
+                report.rows[at] = row;
+            else
+                report.rows.push(row);
+            onRow?.(row, report);
+        }
+        else if (event.name === "done" && report) {
+            const done = JSON.parse(event.data);
+            if (done.summary)
+                report.summary = { ...report.summary, ...done.summary };
+            if (done.elapsed_s !== undefined)
+                report.elapsed_s = done.elapsed_s;
+        }
+    }
+    if (!report)
+        throw new Error("the event stream ended without a report");
+    return report;
+}
+/** Splits an SSE byte stream into events. One event = the lines up to a blank line. */
+export async function* sseEvents(body) {
+    const decoder = new TextDecoder();
+    let buffer = "";
+    for await (const chunk of body) {
+        buffer += decoder.decode(chunk, { stream: true });
+        let cut;
+        while ((cut = buffer.search(/\r?\n\r?\n/)) >= 0) {
+            const block = buffer.slice(0, cut);
+            buffer = buffer.slice(cut).replace(/^\r?\n\r?\n/, "");
+            const event = parseBlock(block);
+            if (event)
+                yield event;
+        }
+    }
+    const last = parseBlock(buffer + decoder.decode());
+    if (last)
+        yield last;
+}
+function parseBlock(block) {
+    let name = "message";
+    const data = [];
+    for (const line of block.split(/\r?\n/)) {
+        if (line.startsWith(":") || line.trim() === "")
+            continue;
+        const colon = line.indexOf(":");
+        const field = colon < 0 ? line : line.slice(0, colon);
+        const value = colon < 0 ? "" : line.slice(colon + 1).replace(/^ /, "");
+        if (field === "event")
+            name = value;
+        else if (field === "data")
+            data.push(value);
+    }
+    return data.length ? { name, data: data.join("\n") } : undefined;
+}
+//# sourceMappingURL=sse.js.map

package/dist/sse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sse.js","sourceRoot":"","sources":["../src/sse.ts"],"names":[],"mappings":"AAEA;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAgC,EAAE,KAA0C;IAC9G,IAAI,MAA0B,CAAC;IAC/B,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAW,CAAC;QAC5C,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAQ,CAAC;YAC1C,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;YACvD,IAAI,EAAE,IAAI,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;;gBAC9B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3B,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACvB,CAAC;aAAM,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAA8C,CAAC;YACjF,IAAI,IAAI,CAAC,OAAO;gBAAE,MAAM,CAAC,OAAO,GAAG,EAAE,GAAG,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC1E,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;gBAAE,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QACtE,CAAC;IACH,CAAC;IACD,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACxE,OAAO,MAAM,CAAC;AAChB,CAAC;AAOD,uFAAuF;AACvF,MAAM,CAAC,KAAK,SAAS,CAAC,CAAC,SAAS,CAAC,IAAgC;IAC/D,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;IAClC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,IAAI,GAAW,CAAC;QAChB,OAAO,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YACnC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;YACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAChC,IAAI,KAAK;gBAAE,MAAM,KAAK,CAAC;QACzB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACnD,IAAI,IAAI;QAAE,MAAM,IAAI,CAAC;AACvB,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,IAAI,IAAI,GAAG,SAAS,CAAC;IACrB,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,SAAS;QACzD,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvE,IAAI,KAAK,KAAK,OAAO;YAAE,IAAI,GAAG,KAAK,CAAC;aAC/B,IAAI,KAAK,KAAK,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC"}

package/dist/tools/check_citations.d.ts

@@ -0,0 +1,13 @@
+import { z } from "zod";
+import type { Report, Row } from "../types.js";
+import { type ToolExtra } from "./tool.js";
+export declare const checkCitations: import("./tool.js").ToolDef<{
+    text: z.ZodString;
+    deep: z.ZodOptional<z.ZodBoolean>;
+}>;
+/** Deep checks stream rows; each finished row becomes a progress notification when the client asked for progress. */
+export declare function verifyOptions(deep: boolean | undefined, extra: ToolExtra): {
+    deep?: boolean;
+    onRow?: (row: Row, report: Report) => void;
+    signal: AbortSignal;
+};