veriquote 0.1.1

package/dist/protocol/evi1.js

@@ -0,0 +1,179 @@
+/**
+ * The EVI1 protocol: a plain-text convention that lets an LLM attach
+ * verifiable evidence to its answer.
+ *
+ * In the answer body, every cited sentence ends with citation markers and a
+ * claim marker, e.g. `...water expands when freezing.[2][5]{c1}`. After the
+ * answer, the model appends:
+ *
+ *     EVI1
+ *     c1|2|"verbatim quote from source 2"
+ *     c1|5|"verbatim quote from source 5"
+ *     END_EVI1
+ *
+ * Quotes are single-line, with `\n`, `\"` and `\\` escapes.
+ */
+import { collapseWhitespace } from '../match/normalize.js';
+export const EVI1_START = 'EVI1';
+export const EVI1_END = 'END_EVI1';
+const EVIDENCE_LINE = /^(c\d+)\|(\d+)\|"([\s\S]*)"$/;
+const CLAIM_MARKER = /\{c(\d+)\}/g;
+const CITATION_GROUP_BEFORE_CLAIM = /((?:\[\d+\])+)$/;
+/** Unescape an EVI1 quote payload (`\\`, `\n`, `\"`) in a single pass. */
+function unescapeQuote(s) {
+    return s.replace(/\\(.)/g, (_, c) => (c === 'n' ? '\n' : c));
+}
+/** Escape a quote for serialization into an EVI1 line. */
+function escapeQuote(s) {
+    return s.replace(/\\/g, '\\\\').replace(/"/g, '\\"').replace(/\r?\n/g, '\\n');
+}
+function locateAppendix(lines) {
+    // Scan from the end so answer text that merely mentions "EVI1" is ignored.
+    for (let end = lines.length - 1; end >= 0; end--) {
+        if (lines[end].trim() !== EVI1_END)
+            continue;
+        for (let start = end - 1; start >= 0; start--) {
+            if (lines[start].trim() === EVI1_START)
+                return { startLine: start, endLine: end };
+        }
+        return null;
+    }
+    return null;
+}
+/**
+ * Parse the EVI1 appendix of a raw model answer.
+ * Returns the evidence items plus warnings for malformed lines;
+ * `null` when no complete appendix is present.
+ */
+export function parseEvi1Appendix(answer) {
+    const lines = String(answer).split('\n');
+    const loc = locateAppendix(lines);
+    if (!loc)
+        return null;
+    const items = [];
+    const warnings = [];
+    for (let i = loc.startLine + 1; i < loc.endLine; i++) {
+        const line = lines[i].trim();
+        if (!line)
+            continue;
+        const m = line.match(EVIDENCE_LINE);
+        if (!m) {
+            warnings.push(`EVI1: malformed evidence line ignored: ${truncate(line, 80)}`);
+            continue;
+        }
+        const sourceIndex = Number.parseInt(m[2], 10);
+        if (!Number.isFinite(sourceIndex) || sourceIndex < 1) {
+            warnings.push(`EVI1: invalid source index in line: ${truncate(line, 80)}`);
+            continue;
+        }
+        items.push({ claimId: m[1], sourceIndex, quote: unescapeQuote(m[3]) });
+    }
+    return { items, warnings };
+}
+/** Remove the EVI1 appendix from a raw answer; returns the answer body. */
+export function stripEvi1Appendix(answer) {
+    const lines = String(answer).split('\n');
+    const loc = locateAppendix(lines);
+    if (!loc)
+        return answer;
+    return lines
+        .slice(0, loc.startLine)
+        .concat(lines.slice(loc.endLine + 1))
+        .join('\n')
+        .trimEnd();
+}
+/** Serialize evidence items into an EVI1 appendix block. */
+export function serializeEvi1Appendix(items) {
+    const body = items.map((it) => `${it.claimId}|${it.sourceIndex}|"${escapeQuote(it.quote)}"`);
+    return [EVI1_START, ...body, EVI1_END].join('\n');
+}
+/**
+ * Extract cited claims from an answer body (appendix already stripped).
+ *
+ * A claim is the text segment ending at a `{cX}` marker, bounded by the start
+ * of its line/block or the previous claim marker. Its cited sources are the
+ * contiguous `[n]` group immediately preceding the marker, per protocol.
+ */
+export function extractClaims(body) {
+    const claims = [];
+    const warnings = [];
+    const seen = new Set();
+    for (const block of String(body).split('\n')) {
+        if (!block.includes('{c'))
+            continue;
+        let segmentStart = 0;
+        CLAIM_MARKER.lastIndex = 0;
+        let m;
+        while ((m = CLAIM_MARKER.exec(block)) !== null) {
+            const id = `c${m[1]}`;
+            const segment = block.slice(segmentStart, m.index);
+            segmentStart = m.index + m[0].length;
+            const groupMatch = segment.match(CITATION_GROUP_BEFORE_CLAIM);
+            const sourceIndexes = groupMatch
+                ? [...groupMatch[1].matchAll(/\[(\d+)\]/g)].map((g) => Number.parseInt(g[1], 10))
+                : [];
+            if (!groupMatch) {
+                warnings.push(`Claim ${id}: no citation group directly before marker.`);
+            }
+            if (seen.has(id)) {
+                warnings.push(`Claim ${id}: duplicate claim id; keeping first occurrence.`);
+                continue;
+            }
+            seen.add(id);
+            claims.push({
+                id,
+                text: cleanClaimText(segment),
+                sourceIndexes: [...new Set(sourceIndexes)],
+            });
+        }
+    }
+    return { claims, warnings };
+}
+/** Strip citation `[n]` and claim `{cX}` markers, collapse whitespace. */
+function cleanClaimText(segment) {
+    return collapseWhitespace(segment.replace(/\[\d+\]/g, '').replace(/\{c\d+\}/g, ''));
+}
+/** Remove all `{cX}` claim markers from a text. */
+export function stripClaimMarkers(text) {
+    return String(text).replace(/\{c\d+\}/g, '');
+}
+/**
+ * Parse a raw model answer end-to-end: strip the appendix, extract claims and
+ * evidence, and cross-check completeness (every cited (claim, source) pair
+ * should have exactly one evidence item, and vice versa).
+ */
+export function parseAnswer(answer) {
+    const warnings = [];
+    const appendix = parseEvi1Appendix(answer);
+    const evidence = appendix?.items ?? [];
+    if (appendix)
+        warnings.push(...appendix.warnings);
+    const body = stripEvi1Appendix(answer);
+    const { claims, warnings: claimWarnings } = extractClaims(body);
+    warnings.push(...claimWarnings);
+    const cited = new Set(claims.flatMap((c) => c.sourceIndexes.map((n) => `${c.id}|${n}`)));
+    const evidenced = new Set();
+    const dedupedEvidence = [];
+    for (const it of evidence) {
+        const key = `${it.claimId}|${it.sourceIndex}`;
+        if (evidenced.has(key)) {
+            warnings.push(`EVI1: duplicate evidence for ${key}; keeping first occurrence.`);
+            continue;
+        }
+        evidenced.add(key);
+        dedupedEvidence.push(it);
+        if (!cited.has(key)) {
+            warnings.push(`EVI1: evidence for ${key} has no matching citation in the answer.`);
+        }
+    }
+    for (const key of cited) {
+        if (!evidenced.has(key)) {
+            warnings.push(`Citation ${key} has no evidence item in the EVI1 appendix.`);
+        }
+    }
+    return { cleanText: stripClaimMarkers(body), claims, evidence: dedupedEvidence, warnings };
+}
+function truncate(s, max) {
+    return s.length <= max ? s : `${s.slice(0, max - 1)}…`;
+}
+//# sourceMappingURL=evi1.js.map

package/dist/protocol/evi1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evi1.js","sourceRoot":"","sources":["../../src/protocol/evi1.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAE3D,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC;AACjC,MAAM,CAAC,MAAM,QAAQ,GAAG,UAAU,CAAC;AAEnC,MAAM,aAAa,GAAG,8BAA8B,CAAC;AACrD,MAAM,YAAY,GAAG,aAAa,CAAC;AACnC,MAAM,2BAA2B,GAAG,iBAAiB,CAAC;AAEtD,0EAA0E;AAC1E,SAAS,aAAa,CAAC,CAAS;IAC9B,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC;AAED,0DAA0D;AAC1D,SAAS,WAAW,CAAC,CAAS;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAChF,CAAC;AASD,SAAS,cAAc,CAAC,KAAe;IACrC,2EAA2E;IAC3E,KAAK,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,QAAQ;YAAE,SAAS;QAC7C,KAAK,IAAI,KAAK,GAAG,GAAG,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YAC9C,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,UAAU;gBAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACpF,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAc;IAEd,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IAEtB,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,IAAI,CAAC,GAAG,GAAG,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7B,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;QACpC,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,0CAA0C,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;YACrD,QAAQ,CAAC,IAAI,CAAC,uCAAuC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3E,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,iBAAiB,CAAC,MAAc;IAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG;QAAE,OAAO,MAAM,CAAC;IACxB,OAAO,KAAK;SACT,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC;SACvB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;SACpC,IAAI,CAAC,IAAI,CAAC;SACV,OAAO,EAAE,CAAC;AACf,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,qBAAqB,CAAC,KAAqB;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CACpB,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,WAAW,KAAK,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CACrE,CAAC;IACF,OAAO,CAAC,UAAU,EAAE,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,SAAS;QACpC,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,YAAY,CAAC,SAAS,GAAG,CAAC,CAAC;QAC3B,IAAI,CAAyB,CAAC;QAC9B,OAAO,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC/C,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;YACnD,YAAY,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAErC,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;YAC9D,MAAM,aAAa,GAAG,UAAU;gBAC9B,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACjF,CAAC,CAAC,EAAE,CAAC;YACP,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,6CAA6C,CAAC,CAAC;YAC1E,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBACjB,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,iDAAiD,CAAC,CAAC;gBAC5E,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACb,MAAM,CAAC,IAAI,CAAC;gBACV,EAAE;gBACF,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC;gBAC7B,aAAa,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;aAC3C,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,0EAA0E;AAC1E,SAAS,cAAc,CAAC,OAAe;IACrC,OAAO,kBAAkB,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC;AACtF,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,QAAQ,EAAE,KAAK,IAAI,EAAE,CAAC;IACvC,IAAI,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAElD,MAAM,IAAI,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAChE,QAAQ,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;IAEhC,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAClE,CAAC;IACF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,eAAe,GAAoB,EAAE,CAAC;IAC5C,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAC9C,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,gCAAgC,GAAG,6BAA6B,CAAC,CAAC;YAChF,SAAS;QACX,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,sBAAsB,GAAG,0CAA0C,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,YAAY,GAAG,6CAA6C,CAAC,CAAC;QAC9E,CAAC;IACH,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC;AAC7F,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,GAAW;IACtC,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"}

package/dist/protocol/prompt.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Canonical instruction block for the answering model. Inject the returned
+ * text into the system prompt of any assistant that receives numbered web
+ * sources, then verify its output with `verifyAnswer`.
+ */
+export interface CitationPromptOptions {
+    /** Maximum number of cited sentences/bullets per answer. Default 15. */
+    maxCitedClaims?: number;
+    /** Maximum citations per sentence/bullet. Default 2. */
+    maxCitationsPerClaim?: number;
+    /** Preferred quote length range in characters. Default [80, 240]. */
+    quoteLengthRange?: [number, number];
+    /** Minimum quote length in characters (with stated exceptions). Default 60. */
+    minQuoteLength?: number;
+}
+/** Build the EVI1 citation instruction block for the answering model. */
+export declare function buildCitationInstructions(options?: CitationPromptOptions): string;
+//# sourceMappingURL=prompt.d.ts.map

package/dist/protocol/prompt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.d.ts","sourceRoot":"","sources":["../../src/protocol/prompt.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,WAAW,qBAAqB;IACpC,wEAAwE;IACxE,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,wDAAwD;IACxD,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,qEAAqE;IACrE,gBAAgB,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpC,+EAA+E;IAC/E,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,yEAAyE;AACzE,wBAAgB,yBAAyB,CAAC,OAAO,GAAE,qBAA0B,GAAG,MAAM,CAgFrF"}

package/dist/protocol/prompt.js

@@ -0,0 +1,82 @@
+/**
+ * Canonical instruction block for the answering model. Inject the returned
+ * text into the system prompt of any assistant that receives numbered web
+ * sources, then verify its output with `verifyAnswer`.
+ */
+/** Build the EVI1 citation instruction block for the answering model. */
+export function buildCitationInstructions(options = {}) {
+    const { maxCitedClaims = 15, maxCitationsPerClaim = 2, quoteLengthRange = [80, 240], minQuoteLength = 60, } = options;
+    return `
+[CITATION BUDGET]
+- Keep citations sparse. Only cite new, load-bearing information.
+- Maximum cited sentences/bullets: ${maxCitedClaims} total in the entire answer.
+- Maximum citations per cited sentence/bullet: ${maxCitationsPerClaim}. Prefer 1.
+- Prefer citing only:
+  (1) key numeric results/effect sizes,
+  (2) central conclusions,
+  (3) safety-critical claims,
+  (4) definitions that are not common knowledge.
+- Everything else should be uncited explanation/synthesis.
+
+[CITATIONS - inline markers]
+- Cite sources inline using numeric markers like [n] immediately after the exact sentence/bullet they support.
+- Multiple citations are written as [1][3] (no commas, no spaces).
+- NEVER cite a source that does not directly support the statement in that sentence/bullet.
+- NEVER invent sources. Only use the provided indices.
+- Do NOT add a "Sources" section at the end. Citations must appear inline only.
+
+[CLAIM MARKERS - stable mapping (MANDATORY)]
+- A citation group of one or more markers like [n] or [n][m] must be immediately
+  followed by a claim marker {cX} with no characters in between.
+  Example: "...water expands when freezing.[2]{c1}"
+  Example: "...water expands when freezing.[2][5]{c1}"
+  Bad: "...freezing.[2] {c1}"
+  Bad: "...freezing.[2].{c1}"
+- Every sentence OR bullet that contains citations MUST end with exactly ONE claim marker {cX}.
+- X starts at 1 and increases by 1 for each new cited sentence/bullet in THIS answer.
+- Do NOT place {cX} anywhere else. Uncited sentences get no claim marker.
+
+[QUOTE-BASED EVIDENCE APPENDIX (MANDATORY)]
+After you finish the answer, append an appendix:
+- Start with a line containing exactly: EVI1
+- Then output one line per (claim, source) pair in this exact format:
+  cX|n|"QUOTE"
+- End with a line containing exactly: END_EVI1
+- Do NOT output anything after END_EVI1.
+- Do NOT wrap EVI1..END_EVI1 in code fences or markdown.
+
+[COMPLETENESS RULES (MANDATORY)]
+- For EVERY cited sentence/bullet {cX}, include an EVI1 line for EACH cited source index [n].
+  Example: if the text contains "...[2][5]{c3}", EVI1 MUST contain both:
+  c3|2|"..."
+  c3|5|"..."
+- If you cannot provide a verbatim quote for a citation, REMOVE that citation
+  from the answer. Never leave a citation unverified.
+
+Rules for QUOTE:
+- QUOTE must be copied verbatim from the provided source TEXT (not paraphrased).
+- QUOTE must be sufficient to support the claim; prefer the shortest quote that
+  still supports it (typically ${quoteLengthRange[0]}-${quoteLengthRange[1]} characters).
+- QUOTE must be at least ${minQuoteLength} characters unless it contains a numeric result or is
+  a complete standalone sentence that uniquely supports the claim.
+- QUOTE must be a single line: escape newlines as \\n and double quotes as \\".
+
+[SCOPE AND STRENGTH DISCIPLINE (MANDATORY)]
+- A cited claim must match its quote in meaning, scope, and outcome/topic. If the
+  quote discusses a different outcome, rewrite the claim or drop the citation.
+- Never expand categories beyond what the quote explicitly states.
+- Never infer missing definitions; if a key term is not defined in the provided
+  text, keep the statement generic or label it as unclear.
+- Use absolute words ("proves", "always", "never") only when the quote clearly
+  supports that strength. Do not upgrade hedged evidence ("may", "associated")
+  to certainty.
+- Prefer sources whose provided text shows the methods/assumptions behind a
+  claim; when only conclusions are visible, use cautious language.
+
+IMPORTANT:
+- The user-facing answer must end BEFORE the EVI1 appendix starts.
+- The appendix is required only when you used citations. If you used no
+  citations, do NOT output EVI1/END_EVI1.
+`.trim();
+}
+//# sourceMappingURL=prompt.js.map

package/dist/protocol/prompt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt.js","sourceRoot":"","sources":["../../src/protocol/prompt.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAaH,yEAAyE;AACzE,MAAM,UAAU,yBAAyB,CAAC,UAAiC,EAAE;IAC3E,MAAM,EACJ,cAAc,GAAG,EAAE,EACnB,oBAAoB,GAAG,CAAC,EACxB,gBAAgB,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAC5B,cAAc,GAAG,EAAE,GACpB,GAAG,OAAO,CAAC;IAEZ,OAAO;;;qCAG4B,cAAc;iDACF,oBAAoB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iCA8CpC,gBAAgB,CAAC,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC;2BAChD,cAAc;;;;;;;;;;;;;;;;;;;;CAoBxC,CAAC,IAAI,EAAE,CAAC;AACT,CAAC"}

package/dist/report.d.ts

@@ -0,0 +1,24 @@
+/**
+ * End-to-end verification: parse an EVI1 answer, match every quote against
+ * its source deterministically, optionally run the entailment judge, and
+ * aggregate everything into a transparency report.
+ */
+import type { EntailmentJudge, SourceDocument, VerificationReport } from './types.js';
+import { type MatchOptions } from './match/fuzzy.js';
+export interface VerifyOptions {
+    /** Raw model output, including the EVI1 appendix. */
+    answer: string;
+    /** Sources in citation order: `sources[0]` is `[1]`. */
+    sources: SourceDocument[];
+    /** Optional semantic judge; without it the report is text-match only. */
+    judge?: EntailmentJudge;
+    /** Options for the deterministic matcher. */
+    match?: MatchOptions;
+    /** Characters of source context around the match given to the judge. Default 420. */
+    contextWindowChars?: number;
+    /** Abort signal forwarded to the judge. */
+    signal?: AbortSignal;
+}
+/** Verify one answer against its sources. */
+export declare function verifyAnswer(options: VerifyOptions): Promise<VerificationReport>;
+//# sourceMappingURL=report.d.ts.map

package/dist/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAGV,eAAe,EAEf,cAAc,EACd,kBAAkB,EAEnB,MAAM,YAAY,CAAC;AAEpB,OAAO,EAA2B,KAAK,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAE9E,MAAM,WAAW,aAAa;IAC5B,qDAAqD;IACrD,MAAM,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,yEAAyE;IACzE,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,6CAA6C;IAC7C,KAAK,CAAC,EAAE,YAAY,CAAC;IACrB,qFAAqF;IACrF,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,2CAA2C;IAC3C,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED,6CAA6C;AAC7C,wBAAsB,YAAY,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAAC,kBAAkB,CAAC,CA2EtF"}

package/dist/report.js

@@ -0,0 +1,106 @@
+/**
+ * End-to-end verification: parse an EVI1 answer, match every quote against
+ * its source deterministically, optionally run the entailment judge, and
+ * aggregate everything into a transparency report.
+ */
+import { parseAnswer } from './protocol/evi1.js';
+import { matchQuoteAgainstSource } from './match/fuzzy.js';
+/** Verify one answer against its sources. */
+export async function verifyAnswer(options) {
+    const { answer, sources, judge, match, signal } = options;
+    const contextWindowChars = options.contextWindowChars ?? 420;
+    const parsed = parseAnswer(answer);
+    const warnings = [...parsed.warnings];
+    const claimById = new Map(parsed.claims.map((c) => [c.id, c]));
+    const citations = [];
+    for (const item of parsed.evidence) {
+        const claim = claimById.get(item.claimId);
+        const source = sources[item.sourceIndex - 1];
+        if (!source) {
+            warnings.push(`EVI1: evidence ${item.claimId}|${item.sourceIndex} references a source that was not provided.`);
+            continue;
+        }
+        const textMatch = matchQuoteAgainstSource(item.quote, source, match);
+        citations.push({
+            claimId: item.claimId,
+            sourceIndex: item.sourceIndex,
+            claimText: claim?.text ?? '',
+            quote: item.quote,
+            textMatch,
+            score: textMatch.score,
+        });
+    }
+    if (judge) {
+        const judgeable = citations.filter((c) => c.claimText && c.quote);
+        const inputs = judgeable.map((c) => ({
+            id: `${c.claimId}|${c.sourceIndex}`,
+            claim: c.claimText,
+            quote: c.quote,
+            context: contextWindow(sources[c.sourceIndex - 1], c.textMatch, contextWindowChars),
+        }));
+        const results = await judge.judge(inputs, { signal });
+        if (results.length !== inputs.length) {
+            warnings.push(`Judge returned ${results.length} results for ${inputs.length} items; missing items marked as errors.`);
+        }
+        judgeable.forEach((c, i) => {
+            const entailment = results[i] ?? {
+                class: 'error',
+                confidence: null,
+                reasons: ['missing_item'],
+            };
+            c.entailment = entailment;
+            c.score =
+                entailment.class === 'error' || entailment.confidence === null
+                    ? null
+                    : Math.min(c.textMatch.score, entailment.confidence);
+        });
+        for (const c of citations) {
+            if (!c.claimText) {
+                warnings.push(`Citation ${c.claimId}|${c.sourceIndex}: no claim text found for entailment check.`);
+            }
+        }
+    }
+    return {
+        cleanText: parsed.cleanText,
+        claims: parsed.claims,
+        citations,
+        warnings,
+        summary: summarize(citations, Boolean(judge)),
+    };
+}
+/** Source text around the matched region, for judge disambiguation. */
+function contextWindow(source, matchResult, windowChars) {
+    const text = source?.text ?? '';
+    if (!text)
+        return '';
+    if (matchResult.start !== undefined && matchResult.field === 'text') {
+        const start = Math.max(0, matchResult.start - windowChars);
+        const end = Math.min(text.length, (matchResult.end ?? matchResult.start) + windowChars);
+        return text.slice(start, end);
+    }
+    return text.slice(0, windowChars * 2);
+}
+function summarize(citations, judged) {
+    const n = citations.length;
+    if (n === 0) {
+        return {
+            citationCount: 0,
+            verbatimRate: null,
+            entailedRate: null,
+            meanScore: null,
+            minScore: null,
+        };
+    }
+    const verbatim = citations.filter((c) => c.textMatch.method === 'exact' || c.textMatch.method === 'normalized').length;
+    const judgedCitations = citations.filter((c) => c.entailment);
+    const entailed = judgedCitations.filter((c) => c.entailment?.class === 'entailed').length;
+    const scores = citations.map((c) => c.score).filter((s) => s !== null);
+    return {
+        citationCount: n,
+        verbatimRate: verbatim / n,
+        entailedRate: judged && judgedCitations.length ? entailed / judgedCitations.length : null,
+        meanScore: scores.length ? scores.reduce((a, b) => a + b, 0) / scores.length : null,
+        minScore: scores.length ? Math.min(...scores) : null,
+    };
+}
+//# sourceMappingURL=report.js.map

package/dist/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAWH,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,uBAAuB,EAAqB,MAAM,kBAAkB,CAAC;AAiB9E,6CAA6C;AAC7C,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAsB;IACvD,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAC1D,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,GAAG,CAAC;IAE7D,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/D,MAAM,SAAS,GAA2B,EAAE,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CACX,kBAAkB,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,WAAW,6CAA6C,CAChG,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAe,uBAAuB,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACjF,SAAS,CAAC,IAAI,CAAC;YACb,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,SAAS,EAAE,KAAK,EAAE,IAAI,IAAI,EAAE;YAC5B,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,SAAS;YACT,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC;QAClE,MAAM,MAAM,GAAsB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtD,EAAE,EAAE,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,WAAW,EAAE;YACnC,KAAK,EAAE,CAAC,CAAC,SAAS;YAClB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,OAAO,EAAE,aAAa,CACpB,OAAO,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,EAC1B,CAAC,CAAC,SAAS,EACX,kBAAkB,CACnB;SACF,CAAC,CAAC,CAAC;QACJ,MAAM,OAAO,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;QACtD,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YACrC,QAAQ,CAAC,IAAI,CACX,kBAAkB,OAAO,CAAC,MAAM,gBAAgB,MAAM,CAAC,MAAM,yCAAyC,CACvG,CAAC;QACJ,CAAC;QACD,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YACzB,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI;gBAC/B,KAAK,EAAE,OAAgB;gBACvB,UAAU,EAAE,IAAI;gBAChB,OAAO,EAAE,CAAC,cAAc,CAAC;aAC1B,CAAC;YACF,CAAC,CAAC,UAAU,GAAG,UAAU,CAAC;YAC1B,CAAC,CAAC,KAAK;gBACL,UAAU,CAAC,KAAK,KAAK,OAAO,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI;oBAC5D,CAAC,CAAC,IAAI;oBACN,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;gBACjB,QAAQ,CAAC,IAAI,CACX,YAAY,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,WAAW,6CAA6C,CACpF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO;QACL,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS;QACT,QAAQ;QACR,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,uEAAuE;AACvE,SAAS,aAAa,CACpB,MAAkC,EAClC,WAAuB,EACvB,WAAmB;IAEnB,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;IAChC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACpE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,GAAG,IAAI,WAAW,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,CAAC;QACxF,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,GAAG,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,SAAS,CAAC,SAAiC,EAAE,MAAe;IACnE,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACZ,OAAO;YACL,aAAa,EAAE,CAAC;YAChB,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI;YAClB,SAAS,EAAE,IAAI;YACf,QAAQ,EAAE,IAAI;SACf,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAC/B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,OAAO,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,YAAY,CAC7E,CAAC,MAAM,CAAC;IACT,MAAM,eAAe,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,KAAK,UAAU,CAAC,CAAC,MAAM,CAAC;IAC1F,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IACpF,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,QAAQ,GAAG,CAAC;QAC1B,YAAY,EAAE,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;QACzF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI;QACnF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;KACrD,CAAC;AACJ,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,141 @@
+/**
+ * Core data model shared across the VeriQuote pipeline.
+ */
+/** A retrieved source document that the assistant may cite as `[n]`. */
+export interface SourceDocument {
+    /** Optional stable identifier (URL, DOI, internal id). Not used for matching. */
+    id?: string;
+    /** Human-readable title. */
+    title?: string;
+    /** Canonical URL of the source, if any. */
+    url?: string;
+    /** Main extracted text of the source. Quotes are verified against this first. */
+    text: string;
+    /**
+     * Additional text fields to search when the quote is not found in `text`
+     * (e.g. abstract, search-result snippet, title). Searched in order.
+     */
+    extraTexts?: string[];
+}
+/** One `cX|n|"QUOTE"` line from an EVI1 appendix. */
+export interface EvidenceItem {
+    /** Claim identifier, e.g. `"c1"`. */
+    claimId: string;
+    /** 1-based source index as used in `[n]` citation markers. */
+    sourceIndex: number;
+    /** Verbatim quote the model attributes to the source. */
+    quote: string;
+}
+/** A cited claim extracted from the answer body via `{cX}` markers. */
+export interface Claim {
+    /** Claim identifier, e.g. `"c1"`. */
+    id: string;
+    /** Claim text with citation and claim markers removed. */
+    text: string;
+    /** 1-based source indexes cited directly before the claim marker. */
+    sourceIndexes: number[];
+}
+/** Result of parsing a raw model answer that follows the EVI1 protocol. */
+export interface ParsedAnswer {
+    /** Answer body with the EVI1 appendix and all `{cX}` markers removed. */
+    cleanText: string;
+    /** Claims found in the answer body. */
+    claims: Claim[];
+    /** Evidence items found in the EVI1 appendix. */
+    evidence: EvidenceItem[];
+    /** Protocol violations detected during parsing (non-fatal). */
+    warnings: string[];
+}
+/** How a quote was located inside a source. */
+export type MatchMethod = 
+/** Byte-for-byte substring of the raw source text. */
+'exact'
+/** Substring after Unicode/typography normalization and case folding. */
+ | 'normalized'
+/** Best fuzzy window by character-trigram Dice similarity. */
+ | 'fuzzy'
+/** No window reached the fuzzy score threshold. */
+ | 'not_found';
+/** Deterministic text-match result for one (quote, source) pair. */
+export interface QuoteMatch {
+    method: MatchMethod;
+    /**
+     * Similarity in [0, 1]. `1` only for exact/normalized hits; fuzzy scores
+     * are capped at 0.99 so a perfect score always implies a literal hit.
+     */
+    score: number;
+    /** Start offset of the matched region in the original source field, if known. */
+    start?: number;
+    /** End offset (exclusive) of the matched region, if known. */
+    end?: number;
+    /** Which source field matched: `"text"` or `"extraTexts[i]"`. */
+    field: string;
+}
+/** Qualitative entailment classes produced by the LLM judge. */
+export type EntailmentClass = 'entailed' | 'partially_entailed' | 'overstated' | 'insufficient' | 'contradicted';
+/** Judge output for one (claim, quote) pair. */
+export interface EntailmentResult {
+    /** Entailment class, or `"error"` when the judge failed for this item. */
+    class: EntailmentClass | 'error';
+    /** Degree of support in [0, 1]; `null` when unavailable. */
+    confidence: number | null;
+    /** Short judge rationales (at most two, in the claim's language). */
+    reasons: string[];
+}
+/** Input unit for an entailment judge. */
+export interface EntailmentInput {
+    /** Caller-chosen identifier echoed back in the result. */
+    id: string;
+    /** The claim as stated in the answer. */
+    claim: string;
+    /** The verbatim quote attributed to the source. */
+    quote: string;
+    /** Surrounding source text for disambiguation (may be empty). */
+    context: string;
+}
+/**
+ * Pluggable semantic verifier. Implementations must be deterministic for
+ * reproducibility (e.g. temperature 0) and must return exactly one result
+ * per input, in input order, using `class: "error"` for individual failures.
+ */
+export interface EntailmentJudge {
+    judge(items: EntailmentInput[], options?: {
+        signal?: AbortSignal;
+    }): Promise<EntailmentResult[]>;
+}
+/** Combined verification result for one (claim, source) citation. */
+export interface CitationVerification {
+    claimId: string;
+    sourceIndex: number;
+    claimText: string;
+    quote: string;
+    textMatch: QuoteMatch;
+    /** Absent when verification ran without a judge. */
+    entailment?: EntailmentResult;
+    /**
+     * Conservative combined score: `min(textMatch.score, entailment.confidence)`.
+     * When no judge ran, equals `textMatch.score`. `null` if the judge errored.
+     */
+    score: number | null;
+}
+/** Aggregate statistics over all citations in one answer. */
+export interface VerificationSummary {
+    citationCount: number;
+    /** Share of citations whose quote is a literal (exact or normalized) hit. */
+    verbatimRate: number | null;
+    /** Share of judged citations classified `entailed`; `null` without a judge. */
+    entailedRate: number | null;
+    /** Mean of non-null combined scores; `null` if none. */
+    meanScore: number | null;
+    /** Minimum of non-null combined scores; `null` if none. */
+    minScore: number | null;
+}
+/** Full transparency report for one answer. */
+export interface VerificationReport {
+    cleanText: string;
+    claims: Claim[];
+    citations: CitationVerification[];
+    warnings: string[];
+    summary: VerificationSummary;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,wEAAwE;AACxE,MAAM,WAAW,cAAc;IAC7B,iFAAiF;IACjF,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,4BAA4B;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,IAAI,EAAE,MAAM,CAAC;IACb;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC3B,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,8DAA8D;IAC9D,WAAW,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,KAAK,EAAE,MAAM,CAAC;CACf;AAED,uEAAuE;AACvE,MAAM,WAAW,KAAK;IACpB,qCAAqC;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,2EAA2E;AAC3E,MAAM,WAAW,YAAY;IAC3B,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,uCAAuC;IACvC,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,iDAAiD;IACjD,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,EAAE,CAAC;CACpB;AAED,+CAA+C;AAC/C,MAAM,MAAM,WAAW;AACrB,sDAAsD;AACpD,OAAO;AACT,yEAAyE;GACvE,YAAY;AACd,8DAA8D;GAC5D,OAAO;AACT,mDAAmD;GACjD,WAAW,CAAC;AAEhB,oEAAoE;AACpE,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,WAAW,CAAC;IACpB;;;OAGG;IACH,KAAK,EAAE,MAAM,CAAC;IACd,iFAAiF;IACjF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,8DAA8D;IAC9D,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,iEAAiE;IACjE,KAAK,EAAE,MAAM,CAAC;CACf;AAED,gEAAgE;AAChE,MAAM,MAAM,eAAe,GACvB,UAAU,GACV,oBAAoB,GACpB,YAAY,GACZ,cAAc,GACd,cAAc,CAAC;AAEnB,gDAAgD;AAChD,MAAM,WAAW,gBAAgB;IAC/B,0EAA0E;IAC1E,KAAK,EAAE,eAAe,GAAG,OAAO,CAAC;IACjC,4DAA4D;IAC5D,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,qEAAqE;IACrE,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED,0CAA0C;AAC1C,MAAM,WAAW,eAAe;IAC9B,0DAA0D;IAC1D,EAAE,EAAE,MAAM,CAAC;IACX,yCAAyC;IACzC,KAAK,EAAE,MAAM,CAAC;IACd,mDAAmD;IACnD,KAAK,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,CAAC,KAAK,EAAE,eAAe,EAAE,EAAE,OAAO,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,WAAW,CAAA;KAAE,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;CAClG;AAED,qEAAqE;AACrE,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,UAAU,CAAC;IACtB,oDAAoD;IACpD,UAAU,CAAC,EAAE,gBAAgB,CAAC;IAC9B;;;OAGG;IACH,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACtB;AAED,6DAA6D;AAC7D,MAAM,WAAW,mBAAmB;IAClC,aAAa,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,+EAA+E;IAC/E,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,wDAAwD;IACxD,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,2DAA2D;IAC3D,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,+CAA+C;AAC/C,MAAM,WAAW,kBAAkB;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,SAAS,EAAE,oBAAoB,EAAE,CAAC;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,OAAO,EAAE,mBAAmB,CAAC;CAC9B"}

package/dist/types.js

@@ -0,0 +1,5 @@
+/**
+ * Core data model shared across the VeriQuote pipeline.
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;GAEG"}

package/package.json

@@ -0,0 +1,54 @@
+{
+  "name": "veriquote",
+  "version": "0.1.1",
+  "description": "Deterministic + semantic verification of quote-grounded LLM citations (EVI1 protocol): fuzzy verbatim-quote matching and an LLM entailment judge for transparent, per-claim hallucination detection.",
+  "keywords": [
+    "llm",
+    "rag",
+    "citations",
+    "hallucination",
+    "groundedness",
+    "verification",
+    "nli",
+    "entailment",
+    "fact-checking",
+    "attribution"
+  ],
+  "license": "MIT",
+  "author": "NavigNine (https://navignine.com)",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/rickintoplace/veriquote.git"
+  },
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md",
+    "LICENSE",
+    "CITATION.cff"
+  ],
+  "sideEffects": false,
+  "engines": {
+    "node": ">=18"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "typecheck": "tsc --noEmit",
+    "prepublishOnly": "npm run typecheck && npm run test && npm run build"
+  },
+  "devDependencies": {
+    "typescript": "^5.5.0",
+    "vitest": "^3.0.0"
+  }
+}