agentfootprint 10.9.0 → 11.0.0

package/dist/integrity/negative-claim/units.js

@@ -0,0 +1,190 @@
+"use strict";
+/**
+ * units — a reply split into the units a claim is read in: Markdown-aware, then by sentence,
+ * then by clause.
+ *
+ * Pattern: one linear pass over lines. A fenced block's lines are CODE units; a table row is one
+ *          unit across its cells; a list item and a heading are one unit each; paragraph text is
+ *          split into sentences (a `.`/`!`/`?` before a space or the end, so an identifier's
+ *          dots never split one). Every unit is then split into clauses at "but", "however",
+ *          "except", "although" and `;`, each clause its own unit with its own polarity.
+ * Role:    integrity/ layer (L3), read by `detect.ts` only.
+ *
+ * Inline code (a backtick run closed by a run of the same length, CommonMark's rule) is returned
+ * as spans, so a claim entirely inside one is noted, not judged.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.insideAny = exports.unitsOf = void 0;
+const matcher_js_1 = require("./matcher.js");
+function linesOf(text) {
+    const out = [];
+    let start = 0;
+    for (let i = 0; i <= text.length; i += 1) {
+        if (i === text.length || text[i] === '\n') {
+            const end = i > start && text[i - 1] === '\r' ? i - 1 : i;
+            out.push({ start, end, text: text.slice(start, end) });
+            start = i + 1;
+        }
+    }
+    return out;
+}
+const FENCE = /^ {0,3}(`{3,}|~{3,})/;
+const TABLE_SEPARATOR = /^\s*\|?[\s:|-]*-[\s:|-]*\|?\s*$/;
+const LIST_ITEM = /^\s*(?:[-*+]|\d{1,9}[.)])\s+/;
+const HEADING = /^ {0,3}#{1,6}\s+/;
+const QUOTE = /^\s*>\s?/;
+const CLAUSE_WORDS = new Set(['but', 'however', 'except', 'although']);
+/** `[start, end)` with surrounding whitespace removed; undefined when nothing is left. */
+function trimmed(text, start, end) {
+    let s = start;
+    let e = end;
+    while (s < e && /\s/u.test(text[s]))
+        s += 1;
+    while (e > s && /\s/u.test(text[e - 1]))
+        e -= 1;
+    return s < e ? { start: s, end: e } : undefined;
+}
+/** A block of paragraph text, split at sentence ends. */
+function sentencesOf(text, start, end) {
+    const out = [];
+    let from = start;
+    for (let i = start; i < end; i += 1) {
+        const ch = text[i];
+        if (ch !== '.' && ch !== '!' && ch !== '?')
+            continue;
+        let j = i + 1;
+        while (j < end && (text[j] === '.' || text[j] === '!' || text[j] === '?'))
+            j += 1;
+        if (j === end || /\s/u.test(text[j])) {
+            const span = trimmed(text, from, j);
+            if (span !== undefined)
+                out.push(span);
+            from = j;
+        }
+        i = j - 1;
+    }
+    const rest = trimmed(text, from, end);
+    if (rest !== undefined)
+        out.push(rest);
+    return out;
+}
+/** A unit split at clause words and semicolons; the clause word opens the next clause. */
+function clausesOf(text, span) {
+    const cuts = [];
+    for (let i = span.start; i < span.end; i += 1)
+        if (text[i] === ';')
+            cuts.push(i);
+    for (const token of (0, matcher_js_1.tokensOf)(text, span.start, span.end)) {
+        if (CLAUSE_WORDS.has(token.text) && token.start > span.start)
+            cuts.push(token.start);
+    }
+    if (cuts.length === 0)
+        return [span];
+    cuts.sort((a, b) => a - b);
+    const out = [];
+    let from = span.start;
+    for (const cut of cuts) {
+        const piece = trimmed(text, from, cut);
+        if (piece !== undefined)
+            out.push(piece);
+        from = text[cut] === ';' ? cut + 1 : cut;
+    }
+    const last = trimmed(text, from, span.end);
+    if (last !== undefined)
+        out.push(last);
+    return out;
+}
+/** Inline code spans of one line: a backtick run closed by the next run of the same length. */
+function inlineCodeOf(line) {
+    const out = [];
+    let open;
+    let i = 0;
+    while (i < line.text.length) {
+        if (line.text[i] !== '`') {
+            i += 1;
+            continue;
+        }
+        let j = i;
+        while (j < line.text.length && line.text[j] === '`')
+            j += 1;
+        const length = j - i;
+        if (open === undefined)
+            open = { length, start: line.start + j };
+        else if (open.length === length) {
+            out.push({ start: open.start, end: line.start + i });
+            open = undefined;
+        }
+        i = j;
+    }
+    return out;
+}
+/** Split a reply into units. */
+function unitsOf(text) {
+    const units = [];
+    const inlineCode = [];
+    const push = (span, fenced) => {
+        if (span === undefined)
+            return;
+        for (const clause of clausesOf(text, span))
+            units.push({ ...clause, fenced });
+    };
+    let fence;
+    let paragraph;
+    const flush = () => {
+        if (paragraph === undefined)
+            return;
+        for (const sentence of sentencesOf(text, paragraph.start, paragraph.end))
+            push(sentence, false);
+        paragraph = undefined;
+    };
+    for (const line of linesOf(text)) {
+        const marker = FENCE.exec(line.text);
+        if (fence !== undefined) {
+            const closes = marker !== null &&
+                marker[1]?.[0] === fence.char &&
+                (marker[1]?.length ?? 0) >= fence.length &&
+                line.text.slice(marker[0].length).trim() === '';
+            if (closes)
+                fence = undefined;
+            else
+                for (const s of sentencesOf(text, line.start, line.end))
+                    push(s, true);
+            continue;
+        }
+        if (marker !== null) {
+            flush();
+            fence = { char: marker[1]?.[0] ?? '`', length: marker[1]?.length ?? 3 };
+            continue;
+        }
+        if (line.text.trim() === '') {
+            flush();
+            continue;
+        }
+        inlineCode.push(...inlineCodeOf(line));
+        const body = line.text.replace(QUOTE, (m) => ' '.repeat(m.length));
+        if (body.trimStart().startsWith('|')) {
+            flush();
+            if (!TABLE_SEPARATOR.test(body))
+                push(trimmed(text, line.start, line.end), false);
+            continue;
+        }
+        const item = LIST_ITEM.exec(body) ?? HEADING.exec(body);
+        if (item !== null) {
+            flush();
+            push(trimmed(text, line.start + item[0].length, line.end), false);
+            continue;
+        }
+        const start = line.start + (body.length - body.trimStart().length);
+        paragraph =
+            paragraph === undefined ? { start, end: line.end } : { ...paragraph, end: line.end };
+    }
+    flush();
+    return { units, inlineCode };
+}
+exports.unitsOf = unitsOf;
+/** Whether a span lies entirely inside one of the code spans. */
+function insideAny(span, code) {
+    return code.some((c) => c.start <= span.start && span.end <= c.end);
+}
+exports.insideAny = insideAny;
+//# sourceMappingURL=units.js.map

package/dist/integrity/negative-claim/units.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"units.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/units.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;AAEH,6CAAwC;AA0BxC,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1D,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACvD,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,KAAK,GAAG,sBAAsB,CAAC;AACrC,MAAM,eAAe,GAAG,iCAAiC,CAAC;AAC1D,MAAM,SAAS,GAAG,8BAA8B,CAAC;AACjD,MAAM,OAAO,GAAG,kBAAkB,CAAC;AACnC,MAAM,KAAK,GAAG,UAAU,CAAC;AACzB,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAEvE,0FAA0F;AAC1F,SAAS,OAAO,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IACvD,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,IAAI,CAAC,GAAG,GAAG,CAAC;IACZ,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC;QAAE,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAW,CAAC;QAAE,CAAC,IAAI,CAAC,CAAC;IAC1D,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;AAClD,CAAC;AAED,yDAAyD;AACzD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa,EAAE,GAAW;IAC3D,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG;YAAE,SAAS;QACrD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC;YAAE,CAAC,IAAI,CAAC,CAAC;QAClF,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAW,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,IAAI,IAAI,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,GAAG,CAAC,CAAC;QACX,CAAC;QACD,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACZ,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACtC,IAAI,IAAI,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0FAA0F;AAC1F,SAAS,SAAS,CAAC,IAAY,EAAE,IAAc;IAC7C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC;QAAE,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjF,KAAK,MAAM,KAAK,IAAI,IAAA,qBAAQ,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACzD,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,IAAI,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;IACtB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3C,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,IAAI,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+FAA+F;AAC/F,SAAS,YAAY,CAAC,IAAU;IAC9B,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,IAAI,IAAmD,CAAC;IACxD,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACzB,CAAC,IAAI,CAAC,CAAC;YACP,SAAS;QACX,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,OAAO,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;aAC5D,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;YACrD,IAAI,GAAG,SAAS,CAAC;QACnB,CAAC;QACD,CAAC,GAAG,CAAC,CAAC;IACR,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gCAAgC;AAChC,SAAgB,OAAO,CAAC,IAAY;IAClC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,UAAU,GAAe,EAAE,CAAC;IAClC,MAAM,IAAI,GAAG,CAAC,IAA0B,EAAE,MAAe,EAAE,EAAE;QAC3D,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO;QAC/B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAChF,CAAC,CAAC;IACF,IAAI,KAAmD,CAAC;IACxD,IAAI,SAAqD,CAAC;IAC1D,MAAM,KAAK,GAAG,GAAG,EAAE;QACjB,IAAI,SAAS,KAAK,SAAS;YAAE,OAAO;QACpC,KAAK,MAAM,QAAQ,IAAI,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAChG,SAAS,GAAG,SAAS,CAAC;IACxB,CAAC,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,MAAM,GACV,MAAM,KAAK,IAAI;gBACf,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,IAAI;gBAC7B,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM;gBACxC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;YAClD,IAAI,MAAM;gBAAE,KAAK,GAAG,SAAS,CAAC;;gBACzB,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;oBAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,KAAK,EAAE,CAAC;YACR,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;YACxE,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC5B,KAAK,EAAE,CAAC;YACR,SAAS;QACX,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YACrC,KAAK,EAAE,CAAC;YACR,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,KAAK,EAAE,CAAC;YACR,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;YAClE,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC;QACnE,SAAS;YACP,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;IACzF,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;AAC/B,CAAC;AAvDD,0BAuDC;AAED,iEAAiE;AACjE,SAAgB,SAAS,CAAC,IAAc,EAAE,IAAyB;IACjE,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;AACtE,CAAC;AAFD,8BAEC"}

package/dist/integrity/negative-claim/work.js

@@ -0,0 +1,24 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createProseWorkBudget = exports.ProseWorkLimit = void 0;
+/** Internal control flow, translated to the existing input-limit observation. */
+class ProseWorkLimit extends Error {
+}
+exports.ProseWorkLimit = ProseWorkLimit;
+/** Tokens visited and characters prepared/compared share the same allowance.
+ * The runtime shares one instance across all fields; pure callers default to
+ * one per text. There is no process cache or application-configurable bypass. */
+function createProseWorkBudget() {
+    let remaining = 8_000_000;
+    return {
+        charge(units) {
+            if (remaining < 0 || units > remaining) {
+                remaining = -1;
+                throw new ProseWorkLimit();
+            }
+            remaining -= units;
+        },
+    };
+}
+exports.createProseWorkBudget = createProseWorkBudget;
+//# sourceMappingURL=work.js.map

package/dist/integrity/negative-claim/work.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"work.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/work.ts"],"names":[],"mappings":";;;AAMA,iFAAiF;AACjF,MAAa,cAAe,SAAQ,KAAK;CAAG;AAA5C,wCAA4C;AAE5C;;iFAEiF;AACjF,SAAgB,qBAAqB;IACnC,IAAI,SAAS,GAAG,SAAS,CAAC;IAC1B,OAAO;QACL,MAAM,CAAC,KAAK;YACV,IAAI,SAAS,GAAG,CAAC,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;gBACvC,SAAS,GAAG,CAAC,CAAC,CAAC;gBACf,MAAM,IAAI,cAAc,EAAE,CAAC;YAC7B,CAAC;YACD,SAAS,IAAI,KAAK,CAAC;QACrB,CAAC;KACF,CAAC;AACJ,CAAC;AAXD,sDAWC"}

package/dist/integrity/unsupported-claim/check.js

@@ -33,7 +33,7 @@
  *   difference. One direction only, string-of-number toward number.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.unsupportedClaimsOf = void 0;
+exports.unsupportedClaimsOf = exports.compareClaim = void 0;
 const types_js_1 = require("../assertion/types.js");
 const evaluate_js_1 = require("./evaluate.js");
 /** Minimal dot-path read; `undefined` for any miss along the way. */
@@ -46,6 +46,51 @@ function readPath(answer, path) {
     }
     return cursor;
 }
+/**
+ * Compare ONE declared claim of the parsed answer against the ledger. Pure.
+ * Throws exactly what the pair evaluator throws (a value JSON cannot render).
+ */
+function compareClaim(claim, ledger, answer, epoch) {
+    const claimed = readPath(answer, claim.answerField);
+    if (claimed === undefined)
+        return { kind: 'omitted' };
+    const rows = ledger.filter((r) => r.entity === claim.entity && r.field === claim.field);
+    const settledRow = rows[rows.length - 1];
+    if (settledRow === undefined)
+        return { kind: 'uncollected' };
+    const subject = { kind: 'entity', id: claim.entity };
+    const ledgerProvenance = `${settledRow.toolName} (call ${settledRow.toolCallId}, iteration ` +
+        `${String(settledRow.iteration)})` +
+        (settledRow.measuredAt !== undefined ? `, measured_at ${String(settledRow.measuredAt)}` : '');
+    const evidence = {
+        subject,
+        predicate: claim.field,
+        value: settledRow.value,
+        epoch,
+        stratum: 'asserted',
+        provenance: ledgerProvenance,
+    };
+    const assertion = {
+        subject,
+        predicate: claim.field,
+        value: claimed,
+        epoch,
+        stratum: 'asserted',
+        provenance: `answer field '${claim.answerField}'`,
+    };
+    return {
+        kind: 'compared',
+        evaluation: (0, evaluate_js_1.evaluateClaimPair)(evidence, assertion),
+        claimed,
+        rows,
+        settledRow,
+        subject,
+        ledgerProvenance,
+        evidence,
+        assertion,
+    };
+}
+exports.compareClaim = compareClaim;
 /**
  * Compare the parsed answer's declared claims against the ledger.
  * Pure; the caller files findings and dispositions.
@@ -54,40 +99,18 @@ function unsupportedClaimsOf(declared, ledger, answer, epoch) {
     const findings = [];
     const dispositions = [];
     for (const claim of declared) {
-        const claimed = readPath(answer, claim.answerField);
-        if (claimed === undefined) {
+        const comparison = compareClaim(claim, ledger, answer, epoch);
+        if (comparison.kind === 'omitted') {
             // The schema allowed the absence: the model claimed nothing here.
             dispositions.push({ claim: claim.answerField, disposition: 'not-applicable' });
             continue;
         }
-        const rows = ledger.filter((r) => r.entity === claim.entity && r.field === claim.field);
-        const settledRow = rows[rows.length - 1];
-        if (settledRow === undefined) {
+        if (comparison.kind === 'uncollected') {
             // Never collected — incomparable, never an accusation.
             dispositions.push({ claim: claim.answerField, disposition: 'unreachable' });
             continue;
         }
-        const subject = { kind: 'entity', id: claim.entity };
-        const ledgerProvenance = `${settledRow.toolName} (call ${settledRow.toolCallId}, iteration ` +
-            `${String(settledRow.iteration)})` +
-            (settledRow.measuredAt !== undefined ? `, measured_at ${String(settledRow.measuredAt)}` : '');
-        const evidence = {
-            subject,
-            predicate: claim.field,
-            value: settledRow.value,
-            epoch,
-            stratum: 'asserted',
-            provenance: ledgerProvenance,
-        };
-        const assertion = {
-            subject,
-            predicate: claim.field,
-            value: claimed,
-            epoch,
-            stratum: 'asserted',
-            provenance: `answer field '${claim.answerField}'`,
-        };
-        const evaluation = (0, evaluate_js_1.evaluateClaimPair)(evidence, assertion);
+        const { evaluation, claimed, rows, settledRow, subject, ledgerProvenance, evidence, assertion, } = comparison;
         if (evaluation === 'evidence-unavailable') {
             dispositions.push({ claim: claim.answerField, disposition: 'unreachable' });
             continue;

package/dist/integrity/unsupported-claim/check.js.map

@@ -1 +1 @@
-{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/integrity/unsupported-claim/check.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAGH,oDAA0D;AAG1D,+CAAkD;AA4BlD,qEAAqE;AACrE,SAAS,QAAQ,CAAC,MAAe,EAAE,IAAY;IAC7C,IAAI,MAAM,GAAY,MAAM,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAgB,mBAAmB,CACjC,QAAkC,EAClC,MAAiC,EACjC,MAAe,EACf,KAAa;IAEb,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAkD,EAAE,CAAC;IAEvE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,kEAAkE;YAClE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;QACxF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,uDAAuD;YACvD,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;QACjE,MAAM,gBAAgB,GACpB,GAAG,UAAU,CAAC,QAAQ,UAAU,UAAU,CAAC,UAAU,cAAc;YACnE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG;YAClC,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEhG,MAAM,QAAQ,GAAc;YAC1B,OAAO;YACP,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,KAAK;YACL,OAAO,EAAE,UAAU;YACnB,UAAU,EAAE,gBAAgB;SAC7B,CAAC;QACF,MAAM,SAAS,GAAc;YAC3B,OAAO;YACP,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,KAAK,EAAE,OAAO;YACd,KAAK;YACL,OAAO,EAAE,UAAU;YACnB,UAAU,EAAE,iBAAiB,KAAK,CAAC,WAAW,GAAG;SAClD,CAAC;QACF,MAAM,UAAU,GAAG,IAAA,+BAAiB,EAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC1D,IAAI,UAAU,KAAK,sBAAsB,EAAE,CAAC;YAC1C,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,IAAA,4BAAiB,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,qBAAqB,EAAE,CAAC;YACzC,qEAAqE;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,CAAC,OAAO,CAAC;gBACnB,8DAA8D;gBAC9D,oEAAoE;gBACpE,+DAA+D;gBAC/D,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,SAAS,EAAE,CAAC,QAAQ,CAAC;gBACrB,KAAK;gBACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;oBACpF,YAAY,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;oBAC7E,IAAI,gBAAgB,sDAAsD;oBAC1E,sDAAsD;aACzD,CAAC,CAAC;YACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC9B,qEAAqE;YACrE,0EAA0E;YAC1E,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAgB;YAC7B,QAAQ;YACR,SAAS;YACT,qEAAqE;YACrE,mEAAmE;YACnE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CACtB,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC;gBACjB,OAAO;gBACP,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO,EAAE,QAAQ;gBACjB,UAAU,EAAE,GAAG,CAAC,CAAC,QAAQ,UAAU,CAAC,CAAC,UAAU,eAAe,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG;aACrF,CAAC,CACH;SACF,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,SAAS;YACT,KAAK;YACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;gBACtF,mBAAmB,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;gBACpF,IAAI,gBAAgB,gEAAgE;gBACpF,8DAA8D;SACjE,CAAC,CAAC;QACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AACpC,CAAC;AAlHD,kDAkHC"}
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../../src/integrity/unsupported-claim/check.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;;;AAGH,oDAA0D;AAG1D,+CAA4E;AA4B5E,qEAAqE;AACrE,SAAS,QAAQ,CAAC,MAAe,EAAE,IAAY;IAC7C,IAAI,MAAM,GAAY,MAAM,CAAC;IAC7B,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACpE,MAAM,GAAI,MAAkC,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AA4BD;;;GAGG;AACH,SAAgB,YAAY,CAC1B,KAAoB,EACpB,MAAiC,EACjC,MAAe,EACf,KAAa;IAEb,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACtD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACzC,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;IAE7D,MAAM,OAAO,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACjE,MAAM,gBAAgB,GACpB,GAAG,UAAU,CAAC,QAAQ,UAAU,UAAU,CAAC,UAAU,cAAc;QACnE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG;QAClC,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAEhG,MAAM,QAAQ,GAAc;QAC1B,OAAO;QACP,SAAS,EAAE,KAAK,CAAC,KAAK;QACtB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,KAAK;QACL,OAAO,EAAE,UAAU;QACnB,UAAU,EAAE,gBAAgB;KAC7B,CAAC;IACF,MAAM,SAAS,GAAc;QAC3B,OAAO;QACP,SAAS,EAAE,KAAK,CAAC,KAAK;QACtB,KAAK,EAAE,OAAO;QACd,KAAK;QACL,OAAO,EAAE,UAAU;QACnB,UAAU,EAAE,iBAAiB,KAAK,CAAC,WAAW,GAAG;KAClD,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,IAAA,+BAAiB,EAAC,QAAQ,EAAE,SAAS,CAAC;QAClD,OAAO;QACP,IAAI;QACJ,UAAU;QACV,OAAO;QACP,gBAAgB;QAChB,QAAQ;QACR,SAAS;KACV,CAAC;AACJ,CAAC;AA7CD,oCA6CC;AAED;;;GAGG;AACH,SAAgB,mBAAmB,CACjC,QAAkC,EAClC,MAAiC,EACjC,MAAe,EACf,KAAa;IAEb,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAkD,EAAE,CAAC;IAEvE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,kEAAkE;YAClE,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACtC,uDAAuD;YACvD,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,MAAM,EACJ,UAAU,EACV,OAAO,EACP,IAAI,EACJ,UAAU,EACV,OAAO,EACP,gBAAgB,EAChB,QAAQ,EACR,SAAS,GACV,GAAG,UAAU,CAAC;QACf,IAAI,UAAU,KAAK,sBAAsB,EAAE,CAAC;YAC1C,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,MAAM,YAAY,GAAG,IAAA,4BAAiB,EAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAEzD,IAAI,UAAU,KAAK,qBAAqB,EAAE,CAAC;YACzC,qEAAqE;YACrE,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,IAAI;gBACd,QAAQ,EAAE,CAAC,OAAO,CAAC;gBACnB,8DAA8D;gBAC9D,oEAAoE;gBACpE,+DAA+D;gBAC/D,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,SAAS,EAAE,CAAC,QAAQ,CAAC;gBACrB,KAAK;gBACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,UAAU,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;oBACpF,YAAY,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;oBAC7E,IAAI,gBAAgB,sDAAsD;oBAC1E,sDAAsD;aACzD,CAAC,CAAC;YACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,IAAI,UAAU,KAAK,UAAU,EAAE,CAAC;YAC9B,qEAAqE;YACrE,0EAA0E;YAC1E,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAgB;YAC7B,QAAQ;YACR,SAAS;YACT,qEAAqE;YACrE,mEAAmE;YACnE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CACtB,CAAC,CAAC,EAAa,EAAE,CAAC,CAAC;gBACjB,OAAO;gBACP,SAAS,EAAE,KAAK,CAAC,KAAK;gBACtB,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,OAAO,EAAE,QAAQ;gBACjB,UAAU,EAAE,GAAG,CAAC,CAAC,QAAQ,UAAU,CAAC,CAAC,UAAU,eAAe,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG;aACrF,CAAC,CACH;SACF,CAAC;QACF,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,mBAAmB;YACzB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,CAAC,OAAO,CAAC;YACnB,SAAS,EAAE,KAAK,CAAC,KAAK;YACtB,SAAS;YACT,KAAK;YACL,OAAO,EACL,iBAAiB,KAAK,CAAC,WAAW,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,iBAAiB;gBACtF,mBAAmB,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,GAAG;gBACpF,IAAI,gBAAgB,gEAAgE;gBACpF,8DAA8D;SACjE,CAAC,CAAC;QACH,YAAY,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;AACpC,CAAC;AAlGD,kDAkGC"}

package/dist/integrity/unsupported-claim/delivered.js

@@ -0,0 +1,102 @@
+"use strict";
+/**
+ * delivered — one declared claim of an answer about to be DELIVERED, judged
+ * for answer validation (`answer-validation/agentChecks.ts` turns the verdict
+ * into a report row).
+ *
+ * Pattern: pure function over one `check.ts` · `compareClaim` result.
+ * Role:    the claim seam's verdict when it can WITHHOLD an answer. It reads
+ *          the detector's own selection (`compareClaim`: every row this run
+ *          settled for the declared `(entity, field)`) and adds the rules a
+ *          verdict that governs delivery needs, because that contract is
+ *          unscoped: rows from ANY tool result, with no scope or age check,
+ *          and any result carrying the semantics marker settles a fact — so
+ *          any row may be forged, foreign or stale.
+ *
+ * THE LAW — a reading can only withhold. With no reading the claim is not
+ * checked (`uncollected`, `not-applicable`), and ONE more reading of the fact,
+ * wherever it lands, never makes the verdict more permissive: a forged or
+ * stale row can at most withhold an answer, never deliver one or make it
+ * read "known". Pinned by the monotonicity property in
+ * `test/answer-validation/agentChecks.test.ts`. That is why:
+ * - AGREEMENT IS NEVER SUPPORT. It is `agrees` — `not-applicable`, exactly as
+ *   silent as no reading at all — and only the app's own checks can pass a
+ *   report. A contradiction still withholds.
+ * - EVERY READING COUNTS, never the latest alone. A reading that settled
+ *   nothing (an `unknown(…)` Claim, a bare `null` or doubt word) beside the
+ *   answer's value, readings that disagree, and a reading that is not a
+ *   well-formed Claim each withhold, whatever else the run read.
+ * - A CONTRADICTION FOUND IS REPORTED AS ONE. If the answer contradicts ANY
+ *   value the run read, the verdict is a contradiction — `contradicts` when
+ *   it contradicts every value read, `contradicts-a-reading` when the
+ *   readings themselves differ — never relabelled "could not tell" by
+ *   whatever else was read (a forged `null` beside a real reading included).
+ *   Withheld either way; only the label is at stake, and the label is honest.
+ * - DOUBT IS NEVER AGREEMENT. Doubt on both sides (`null` or `'unknown'` —
+ *   in any case or spacing — or an unknown Claim) withholds; only an absence
+ *   a tool DECLARED (`known(null)`) agrees with the answer's doubt.
+ * - VALUES COMPARE UNDER THE DECLARED NORMALIZATION (`evaluate.ts` ·
+ *   `compareClaimValues`), never by exact JSON: `'Settled '` agrees with
+ *   `'settled'`, `42.5` with `'42.50'`. Kinds that cannot be compared safely
+ *   are `incomparable`, never `contradicts`.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.judgeDeliveredClaim = void 0;
+const evaluate_js_1 = require("./evaluate.js");
+/** Readings that are values: more than one exact key (or one with none) is a dispute. */
+function disputed(values) {
+    if (values.length < 2)
+        return false;
+    const keys = values.map((value) => (0, evaluate_js_1.claimValueKey)(value));
+    return keys.includes(undefined) || new Set(keys).size > 1;
+}
+/** A declared absence (`known(null)`, or a declared doubt word): the one doubt a value settles. */
+const declaredAbsence = (shape) => shape.kind === 'value' && shape.declared && (0, evaluate_js_1.claimShapeOf)(shape.face).kind === 'doubt';
+/**
+ * Judge one compared claim for delivery, over EVERY reading of the fact this
+ * run made. Pure and monotone: a reading added anywhere never turns a
+ * withholding verdict into `agrees`, `declined` or `uncollected`.
+ */
+function judgeDeliveredClaim(comparison) {
+    if (comparison.kind === 'omitted')
+        return 'omitted';
+    if (comparison.kind === 'uncollected')
+        return 'uncollected';
+    const answer = (0, evaluate_js_1.claimShapeOf)(comparison.claimed);
+    const readings = comparison.rows.map((row) => ({
+        value: row.value,
+        shape: (0, evaluate_js_1.claimShapeOf)(row.value),
+    }));
+    if (answer.kind === 'malformed')
+        return 'incomparable';
+    const malformed = readings.some((r) => r.shape.kind === 'malformed');
+    const doubts = readings.filter((r) => r.shape.kind === 'doubt');
+    const values = readings.filter((r) => r.shape.kind === 'value');
+    if (answer.kind === 'doubt') {
+        // The answer claims nothing: only a reading that ALSO settled nothing
+        // makes this agreement on doubt, which verifies nothing.
+        if (malformed)
+            return 'incomparable';
+        if (doubts.length > 0)
+            return 'doubt-on-both-sides';
+        return values.every((r) => declaredAbsence(r.shape)) ? 'agrees' : 'declined';
+    }
+    // A contradiction of any value read is the verdict, whatever else was read.
+    const results = values.map((r) => (0, evaluate_js_1.compareClaimValues)(r.value, comparison.claimed));
+    if (results.includes('contradicts')) {
+        return results.every((result) => result === 'contradicts')
+            ? 'contradicts'
+            : 'contradicts-a-reading';
+    }
+    if (malformed)
+        return 'incomparable';
+    if (disputed(values.map((r) => r.value)))
+        return 'disputed';
+    if (doubts.some((r) => r.shape.kind === 'doubt' && r.shape.declared))
+        return 'settled-unknown';
+    if (doubts.length > 0)
+        return 'settled-doubt';
+    return results.every((result) => result === 'agrees') ? 'agrees' : 'incomparable';
+}
+exports.judgeDeliveredClaim = judgeDeliveredClaim;
+//# sourceMappingURL=delivered.js.map

package/dist/integrity/unsupported-claim/delivered.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delivered.js","sourceRoot":"","sources":["../../../src/integrity/unsupported-claim/delivered.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;;;AAGH,+CAAiG;AA2BjG,yFAAyF;AACzF,SAAS,QAAQ,CAAC,MAA0B;IAC1C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,2BAAa,EAAC,KAAK,CAAC,CAAC,CAAC;IACzD,OAAO,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC;AAC5D,CAAC;AAED,mGAAmG;AACnG,MAAM,eAAe,GAAG,CAAC,KAAiB,EAAW,EAAE,CACrD,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,QAAQ,IAAI,IAAA,0BAAY,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;AAExF;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,UAA2B;IAC7D,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IAC5D,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC7C,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,KAAK,EAAE,IAAA,0BAAY,EAAC,GAAG,CAAC,KAAK,CAAC;KAC/B,CAAC,CAAC,CAAC;IACJ,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,cAAc,CAAC;IACvD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;IAEhE,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC5B,sEAAsE;QACtE,yDAAyD;QACzD,IAAI,SAAS;YAAE,OAAO,cAAc,CAAC;QACrC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,qBAAqB,CAAC;QACpD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;IAC/E,CAAC;IAED,4EAA4E;IAC5E,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,gCAAkB,EAAC,CAAC,CAAC,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;IACnF,IAAI,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QACpC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC;YACxD,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,uBAAuB,CAAC;IAC9B,CAAC;IACD,IAAI,SAAS;QAAE,OAAO,cAAc,CAAC;IACrC,IAAI,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAAE,OAAO,UAAU,CAAC;IAC5D,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;QAAE,OAAO,iBAAiB,CAAC;IAC/F,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,eAAe,CAAC;IAC9C,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC;AACpF,CAAC;AAjCD,kDAiCC"}