agentfootprint 10.9.0 → 11.0.0

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

@@ -0,0 +1,262 @@
+"use strict";
+/**
+ * containment — the prose door's notes (design § 5.2, § 5.3): what a typed citation would have
+ * made exact, said about a prose claim against the reads it rests on. A note never withholds.
+ *
+ * Pattern: the reads of one entity are grouped by search (`readings.ts · readingKey`) and each
+ *          search's reads merged. Each search gets its OWN notes: how it read (`call-not-read`,
+ *          `empty-undeclared`, `clarify-open`, the rows rule), its row (`coverage-unverified`,
+ *          `declaration-overclaimed`), its gaps by facet (`coverage-gap`, `cap-reached`, `paged`,
+ *          `partial`, `gap-relevance-unknown`), its period (`period-*` where the unheld time
+ *          overlaps the claim's window), containment (`scope-wider`: a fixed qualifier or a
+ *          filter in effect the claim does not name through the declared words, no window over
+ *          a search with one, a window wider than the one read, an unbounded word), and the
+ *          sequence (`later-read-failed`, `superseded-by-write`).
+ *
+ *          A search with no note ESTABLISHES the claim; the claim is then noted only by what the
+ *          other searches BEAR — rows that contradict it, reads that disagree, unheld time over
+ *          its window. With no establishing search, every search's notes stand. So an extra
+ *          read clears no other read's objection.
+ * Role:    integrity/ layer (L3), read by `prose.ts`.
+ *
+ * Words decide only through declared `said` lists; a hedge never scopes; a host-filled identity
+ * filter is the caller's own view and is never asked of a prose claim.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.entityNotes = exports.claimWordsOf = void 0;
+const period_js_1 = require("../../semantics/coverage/period.js");
+const valueWords_js_1 = require("../../semantics/coverage/search/valueWords.js");
+const range_js_1 = require("../../time/range.js");
+const matcher_js_1 = require("./matcher.js");
+const phrases_js_1 = require("./phrases.js");
+const readings_js_1 = require("./readings.js");
+/** The notes a sibling search BEARS on a claim another search established. */
+const BEARING = new Set([
+    'contradicted-by-rows',
+    'readings-disagree',
+    'period-not-held',
+    'period-partly-held',
+    'period-unknown',
+]);
+function claimWordsOf(claim, text, clock, work) {
+    return {
+        claim,
+        text,
+        window: claimWindowOf(text, claim.tokens, clock),
+        unbounded: (0, matcher_js_1.firstHit)(text, claim.tokens, phrases_js_1.NEGATIVE_CLAIM_PHRASES.unbounded) !== undefined,
+        sourceMarker: (0, matcher_js_1.firstHit)(text, claim.tokens, phrases_js_1.NEGATIVE_CLAIM_PHRASES.source) !== undefined,
+        work,
+    };
+}
+exports.claimWordsOf = claimWordsOf;
+const UNIT_LETTER = {
+    minute: 'm',
+    minutes: 'm',
+    hour: 'h',
+    hours: 'h',
+    day: 'd',
+    days: 'd',
+    week: 'w',
+    weeks: 'w',
+};
+/**
+ * The window a unit names ("in the last 2 hours") as the time layer's half-open look-back at the
+ * turn's clock (`time/range.ts` · `lookbackRange`), or undefined when it names none or it cannot
+ * be placed.
+ */
+function claimWindowOf(text, tokens, clock) {
+    const hit = (0, matcher_js_1.firstHit)(text, tokens, phrases_js_1.NEGATIVE_CLAIM_PHRASES.window);
+    if (hit === undefined)
+        return undefined;
+    const words = tokens.slice(hit.first, hit.last + 1).map((t) => t.text);
+    const last = words[words.length - 1] ?? '';
+    const unit = UNIT_LETTER[last];
+    const spelled = unit === undefined ? last : `${(0, matcher_js_1.numberOf)(words[words.length - 2] ?? '') ?? 1}${unit}`;
+    try {
+        return (0, range_js_1.lookbackRange)(clock, spelled, 'mhdw');
+    }
+    catch {
+        return undefined;
+    }
+}
+/** The value of a filter the claim names through the filter's declared words. */
+function namedValue(words, tool, argument) {
+    const said = tool?.search?.arguments.find((a) => a.name === argument)?.said;
+    for (const value of said === undefined ? [] : Object.keys(said)) {
+        if ((0, matcher_js_1.holdsAnySaid)(words.claim.tokens, (0, valueWords_js_1.valueWords)(said, value), words.work))
+            return value;
+    }
+    return undefined;
+}
+const namesFixed = (words, tool, name) => (0, matcher_js_1.holdsAnySaid)(words.claim.tokens, tool?.search?.fixed?.find((f) => f.name === name)?.said, words.work);
+/** Whether the source is the declared one the claim names, or a marker puts it on the lookup. */
+function sourceScoped(words, items, tool) {
+    if (words.sourceMarker)
+        return true;
+    const sent = items.some((item) => item.facet === 'source' && item.from === 'call');
+    return !sent && (0, matcher_js_1.holdsAnySaid)(words.claim.tokens, tool?.search?.source.said, words.work);
+}
+/** Whether a gap bears on the claim: on a facet it leaves open, or on a value it names. */
+function bears(bearsOn, words, items, tool) {
+    if (bearsOn === undefined)
+        return true;
+    if (typeof bearsOn === 'object') {
+        // A filter gap concerns its `values` (none listed = every value). It bears when the claim
+        // names one of them, or leaves the filter open — an open claim covers every value; it does
+        // not bear only when the claim names a value the gap does not concern.
+        const values = bearsOn.values;
+        const value = namedValue(words, tool, bearsOn.filter);
+        if (value === undefined || values === undefined)
+            return true;
+        return values.some((v) => (0, readings_js_1.sameValue)(v, value));
+    }
+    if (bearsOn === 'source')
+        return !sourceScoped(words, items, tool);
+    // Missing coverage also limits absence: an unread part of the source may contain a match.
+    return true;
+}
+/** The rows rule: rows contradict only a claim whose every named qualifier the search applied. */
+function rowsContradict(words, items, window, tool) {
+    for (const fixed of tool?.search?.fixed ?? []) {
+        if (namesFixed(words, tool, fixed.name) &&
+            !items.some((i) => i.from === 'fixed' && i.argument === fixed.name))
+            return false;
+    }
+    for (const argument of tool?.search?.arguments ?? []) {
+        if (argument.role !== 'filter')
+            continue;
+        const value = namedValue(words, tool, argument.name);
+        if (value === undefined)
+            continue;
+        const applied = items.find((i) => i.facet === 'filter' && i.argument === argument.name);
+        if (applied === undefined || applied.any === true || !(0, readings_js_1.sameValue)(applied.value, value))
+            return false;
+    }
+    if (words.window !== undefined)
+        return window !== undefined && (0, readings_js_1.holdsRange)(words.window, window);
+    return true;
+}
+/** The scope notes: every qualifier in effect named, a window that fits, no unbounded word. */
+function scopeNotes(words, items, window, tool) {
+    let wider = words.unbounded;
+    for (const item of items) {
+        if (item.facet !== 'filter' || item.any === true || item.from === 'host')
+            continue;
+        const argument = item.argument ?? '';
+        const named = item.from === 'fixed'
+            ? namesFixed(words, tool, argument)
+            : (0, readings_js_1.sameValue)(namedValue(words, tool, argument), item.value);
+        if (!named)
+            wider = true;
+    }
+    const hasPeriod = items.some((item) => item.facet === 'period');
+    if (hasPeriod &&
+        (words.window === undefined || window === undefined || !(0, readings_js_1.holdsRange)(window, words.window))) {
+        wider = true;
+    }
+    return wider ? ['scope-wider'] : [];
+}
+/** The period notes: a verdict short of covered, where its unheld time meets the claim's window. */
+function periodNotes(call, items, words) {
+    const period = call.row?.period;
+    if (period === undefined) {
+        return items.some((item) => item.facet === 'period') ? ['period-undeclared'] : [];
+    }
+    let verdict;
+    try {
+        verdict = (0, period_js_1.periodVerdict)(period);
+    }
+    catch {
+        verdict = 'unknown';
+    }
+    if (verdict === 'covered')
+        return [];
+    const unheld = (0, readings_js_1.unheldRanges)(period);
+    const bearing = words.window === undefined
+        ? unheld.length > 0
+        : unheld.some((s) => (0, readings_js_1.meets)(s, words.window));
+    return bearing ? [`period-${verdict}`] : [];
+}
+/** One search's own notes, from its merged reading. */
+function readingNotes(reading, words, record) {
+    const tool = record.tools[reading.toolName];
+    const items = (0, readings_js_1.scopeOf)(reading) ?? [];
+    const row = reading.row;
+    if (reading.emptiness === 'clarify')
+        return ['clarify-open'];
+    if (!(0, readings_js_1.returnedReading)(reading))
+        return ['call-not-read'];
+    const window = (0, readings_js_1.searchWindow)(reading);
+    const notes = [];
+    if (reading.emptiness === 'non-empty' && words.claim.kind === 'none') {
+        notes.push(row !== undefined && rowsContradict(words, items, window, tool)
+            ? 'contradicted-by-rows'
+            : 'rows-undecided');
+    }
+    if (row === undefined) {
+        if (reading.emptiness !== 'non-empty')
+            notes.push('empty-undeclared');
+        return notes;
+    }
+    if (row.composed !== 'local')
+        notes.push('coverage-unverified');
+    if ((row.overclaim ?? []).length > 0)
+        notes.push('declaration-overclaimed');
+    if (reading.emptiness === 'undeclared-empty')
+        notes.push('empty-undeclared');
+    for (const gap of row.gaps) {
+        if (gap.kind === 'prose')
+            notes.push('gap-relevance-unknown');
+        else if (gap.kind === 'cap-reached' ||
+            gap.kind === 'paged' ||
+            gap.kind === 'partial' ||
+            gap.kind === 'ranking')
+            notes.push(gap.kind);
+        else if (gap.kind !== 'period' && bears(gap.bears, words, items, tool))
+            notes.push('coverage-gap');
+    }
+    if (words.claim.kind === 'complete' && !row.complete)
+        notes.push('search-incomplete');
+    notes.push(...scopeNotes(words, items, window, tool), ...periodNotes(reading, items, words));
+    return notes;
+}
+/** The sequence notes of one search: a failure of it, or a write, after its read. */
+function sequenceNotes(reading, key, record, peers) {
+    const at = peers.indexOf(reading);
+    const notes = [];
+    for (const other of peers) {
+        if (other === reading || !other.dispatched)
+            continue;
+        if (!(peers.indexOf(other) > at || other.batch === reading.batch))
+            continue;
+        const otherKey = (0, readings_js_1.readingKey)(other, record.tools[other.toolName], record.clock);
+        const same = otherKey === undefined ? other.toolName === reading.toolName : otherKey === key;
+        if (same && other.outcome !== 'ok')
+            notes.push('later-read-failed');
+        if (!(0, readings_js_1.isRead)(other))
+            notes.push('superseded-by-write');
+    }
+    return notes;
+}
+/** The notes of one entity's reads: establishing searches clear all but what siblings bear. */
+function entityNotes(calls, words, record, peers) {
+    const byKey = new Map();
+    for (const call of calls) {
+        const key = (0, readings_js_1.readingKey)(call, record.tools[call.toolName], record.clock) ?? `\u{1}${call.resultId}`;
+        byKey.set(key, [...(byKey.get(key) ?? []), call]);
+    }
+    const perKey = [...byKey.entries()].map(([key, group]) => {
+        const { reading, disagree } = (0, readings_js_1.mergeKeyReadings)(group);
+        if (disagree)
+            return ['readings-disagree'];
+        if (reading === undefined)
+            return ['call-not-read'];
+        return [...readingNotes(reading, words, record), ...sequenceNotes(reading, key, record, peers)];
+    });
+    const establishing = perKey.some((notes) => notes.length === 0);
+    return establishing
+        ? perKey.flatMap((notes) => notes.filter((note) => BEARING.has(note)))
+        : perKey.flat();
+}
+exports.entityNotes = entityNotes;
+//# sourceMappingURL=containment.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"containment.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/containment.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;;;AAGH,kEAAmE;AACnE,iFAA2E;AAC3E,kDAAoE;AAEpE,6CAA4E;AAC5E,6CAAsD;AACtD,+CAWuB;AAOvB,8EAA8E;AAC9E,MAAM,OAAO,GAA2B,IAAI,GAAG,CAAC;IAC9C,sBAAsB;IACtB,mBAAmB;IACnB,iBAAiB;IACjB,oBAAoB;IACpB,gBAAgB;CACjB,CAAC,CAAC;AAYH,SAAgB,YAAY,CAC1B,KAAoB,EACpB,IAAY,EACZ,KAAa,EACb,IAAsB;IAEtB,OAAO;QACL,KAAK;QACL,IAAI;QACJ,MAAM,EAAE,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC;QAChD,SAAS,EAAE,IAAA,qBAAQ,EAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,mCAAsB,CAAC,SAAS,CAAC,KAAK,SAAS;QACvF,YAAY,EAAE,IAAA,qBAAQ,EAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,mCAAsB,CAAC,MAAM,CAAC,KAAK,SAAS;QACvF,IAAI;KACL,CAAC;AACJ,CAAC;AAdD,oCAcC;AAED,MAAM,WAAW,GAAqC;IACpD,MAAM,EAAE,GAAG;IACX,OAAO,EAAE,GAAG;IACZ,IAAI,EAAE,GAAG;IACT,KAAK,EAAE,GAAG;IACV,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,GAAG;IACT,IAAI,EAAE,GAAG;IACT,KAAK,EAAE,GAAG;CACX,CAAC;AAEF;;;;GAIG;AACH,SAAS,aAAa,CACpB,IAAY,EACZ,MAAwB,EACxB,KAAa;IAEb,MAAM,GAAG,GAAG,IAAA,qBAAQ,EAAC,IAAI,EAAE,MAAM,EAAE,mCAAsB,CAAC,MAAM,CAAC,CAAC;IAClE,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,OAAO,GACX,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAA,qBAAQ,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC;IACvF,IAAI,CAAC;QACH,OAAO,IAAA,wBAAa,EAAC,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,SAAS,UAAU,CACjB,KAAiB,EACjB,IAA8B,EAC9B,QAAgB;IAEhB,MAAM,IAAI,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,IAAI,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAChE,IAAI,IAAA,yBAAY,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAA,0BAAU,EAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;IAC1F,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,KAAiB,EAAE,IAA8B,EAAE,IAAY,EAAW,EAAE,CAC9F,IAAA,yBAAY,EACV,KAAK,CAAC,KAAK,CAAC,MAAM,EAClB,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,IAAI,EACvD,KAAK,CAAC,IAAI,CACX,CAAC;AAEJ,iGAAiG;AACjG,SAAS,YAAY,CACnB,KAAiB,EACjB,KAAmC,EACnC,IAA8B;IAE9B,IAAI,KAAK,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACnF,OAAO,CAAC,IAAI,IAAI,IAAA,yBAAY,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AAC1F,CAAC;AAED,2FAA2F;AAC3F,SAAS,KAAK,CACZ,OAA6B,EAC7B,KAAiB,EACjB,KAAmC,EACnC,IAA8B;IAE9B,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,0FAA0F;QAC1F,2FAA2F;QAC3F,uEAAuE;QACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QACtD,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC7D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAU,EAAE,EAAE,CAAC,IAAA,uBAAS,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,KAAK,QAAQ;QAAE,OAAO,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACnE,0FAA0F;IAC1F,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kGAAkG;AAClG,SAAS,cAAc,CACrB,KAAiB,EACjB,KAAmC,EACnC,MAA6B,EAC7B,IAA8B;IAE9B,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,MAAM,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QAC9C,IACE,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC;YACnC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,IAAI,CAAC;YAEnE,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,IAAI,EAAE,MAAM,EAAE,SAAS,IAAI,EAAE,EAAE,CAAC;QACrD,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QACzC,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxF,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,IAAA,uBAAS,EAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;YACnF,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,KAAK,SAAS,IAAI,IAAA,wBAAU,EAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAChG,OAAO,IAAI,CAAC;AACd,CAAC;AAED,+FAA+F;AAC/F,SAAS,UAAU,CACjB,KAAiB,EACjB,KAAmC,EACnC,MAA6B,EAC7B,IAA8B;IAE9B,IAAI,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnF,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;QACrC,MAAM,KAAK,GACT,IAAI,CAAC,IAAI,KAAK,OAAO;YACnB,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC;YACnC,CAAC,CAAC,IAAA,uBAAS,EAAC,UAAU,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK;YAAE,KAAK,GAAG,IAAI,CAAC;IAC3B,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IAChE,IACE,SAAS;QACT,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,IAAA,wBAAU,EAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,EACzF,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,oGAAoG;AACpG,SAAS,WAAW,CAClB,IAAc,EACd,KAAmC,EACnC,KAAiB;IAEjB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpF,CAAC;IACD,IAAI,OAAe,CAAC;IACpB,IAAI,CAAC;QACH,OAAO,GAAG,IAAA,yBAAa,EAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,SAAS,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,MAAM,CAAC,CAAC;IACpC,MAAM,OAAO,GACX,KAAK,CAAC,MAAM,KAAK,SAAS;QACxB,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,mBAAK,EAAC,CAAC,EAAE,KAAK,CAAC,MAAmB,CAAC,CAAC,CAAC;IAC9D,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,OAAO,EAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED,uDAAuD;AACvD,SAAS,YAAY,CAAC,OAAiB,EAAE,KAAiB,EAAE,MAAkB;IAC5E,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAA,qBAAO,EAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IAC7D,IAAI,CAAC,IAAA,6BAAe,EAAC,OAAO,CAAC;QAAE,OAAO,CAAC,eAAe,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,IAAA,0BAAY,EAAC,OAAO,CAAC,CAAC;IACrC,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,IAAI,OAAO,CAAC,SAAS,KAAK,WAAW,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACrE,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,SAAS,IAAI,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC;YAC7D,CAAC,CAAC,sBAAsB;YACxB,CAAC,CAAC,gBAAgB,CACrB,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,IAAI,OAAO,CAAC,SAAS,KAAK,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACtE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAChE,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,SAAS,KAAK,kBAAkB;QAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC7E,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;aACzD,IACH,GAAG,CAAC,IAAI,KAAK,aAAa;YAC1B,GAAG,CAAC,IAAI,KAAK,OAAO;YACpB,GAAG,CAAC,IAAI,KAAK,SAAS;YACtB,GAAG,CAAC,IAAI,KAAK,SAAS;YAEtB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aAClB,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC;YACpE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,GAAG,CAAC,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qFAAqF;AACrF,SAAS,aAAa,CACpB,OAAiB,EACjB,GAAuB,EACvB,MAAkB,EAClB,KAA0B;IAE1B,MAAM,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,KAAK,KAAK,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU;YAAE,SAAS;QACrD,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC;YAAE,SAAS;QAC5E,MAAM,QAAQ,GAAG,IAAA,wBAAU,EAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC;QAC7F,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACpE,IAAI,CAAC,IAAA,oBAAM,EAAC,KAAK,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+FAA+F;AAC/F,SAAgB,WAAW,CACzB,KAA0B,EAC1B,KAAiB,EACjB,MAAkB,EAClB,KAA0B;IAE1B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GACP,IAAA,wBAAU,EAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,QAAQ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACzF,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE;QACvD,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,IAAA,8BAAgB,EAAC,KAAK,CAAC,CAAC;QACtD,IAAI,QAAQ;YAAE,OAAO,CAAC,mBAAmB,CAAgB,CAAC;QAC1D,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,CAAC,eAAe,CAAgB,CAAC;QACnE,OAAO,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,GAAG,aAAa,CAAC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAChE,OAAO,YAAY;QACjB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;AACpB,CAAC;AAtBD,kCAsBC"}

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

@@ -0,0 +1,130 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.populationsMayOverlap = exports.sameRecordedSubject = exports.aboutContainsSubjects = exports.derivedSubjects = exports.deriveCitationKind = void 0;
+/** Evidence-owned scope and absence spelling. The model selects a claim; native
+ * reads determine whether it holds. Several reads never become a broader union. */
+const normalize_js_1 = require("../../lib/normalize.js");
+const readings_js_1 = require("./readings.js");
+const matcher_js_1 = require("./matcher.js");
+/** Only normalize the absence family, after every cited read explicitly declares
+ * absence. Never turn a negative into complete, or downgrade requested completeness. */
+function deriveCitationKind(requested, reads) {
+    if (requested === 'complete' ||
+        !reads.every((call) => call.outcome === 'ok' && call.emptiness === 'declared-absent'))
+        return requested;
+    const kinds = reads.map((call) => ((0, readings_js_1.isAmongRow)(call) ? 'not-found' : 'none'));
+    const first = kinds[0];
+    return first !== undefined && kinds.every((kind) => kind === first) ? first : undefined;
+}
+exports.deriveCitationKind = deriveCitationKind;
+const SUBJECT_LIMIT = 256;
+const scalar = (value) => (typeof value === 'string' && value.length > 0 && value.length <= SUBJECT_LIMIT) ||
+    (typeof value === 'number' && Number.isFinite(value));
+/** Each recorded population value remains a separate subject. An unavailable,
+ * all-populations or non-scalar subject cannot be validated against model prose. */
+function subjectsOf(call) {
+    const population = ((0, readings_js_1.scopeOf)(call) ?? []).filter((item) => item.facet === 'population');
+    if (population.length === 0) {
+        const name = (0, readings_js_1.isAmongRow)(call) ? call.row?.lookedFor : undefined;
+        return scalar(name) ? [name] : undefined;
+    }
+    if (population.length > SUBJECT_LIMIT ||
+        population.some((item) => item.from === 'host' || item.any === true || !scalar(item.value)))
+        return undefined;
+    return population.map((item) => item.value);
+}
+/** Canonical public population values only; never model text or a first-value
+ * shortcut. The delivery adapter may expose a scalar only when this has one value. */
+function derivedSubjects(reads) {
+    const result = [];
+    for (const call of reads) {
+        const values = subjectsOf(call);
+        if (values === undefined)
+            return [];
+        for (const value of values) {
+            if (!result.some((known) => (0, readings_js_1.sameValue)(known, value)))
+                result.push(value);
+            if (result.length > SUBJECT_LIMIT)
+                return [];
+        }
+    }
+    return result;
+}
+exports.derivedSubjects = derivedSubjects;
+/** Bounded text normalization, without deleting hidden characters or accents. */
+function normalized(value) {
+    const raw = String(value);
+    if (raw.length > SUBJECT_LIMIT)
+        return undefined;
+    const text = (0, normalize_js_1.textOf)(raw);
+    return text.length > 0 && text.length <= SUBJECT_LIMIT * 4 && !/[\p{Cc}\p{Cf}]/u.test(text)
+        ? text
+        : undefined;
+}
+/** A supplied label must contain EVERY recorded subject. This checks the label's
+ * scope only; its surrounding prose and any negative wording remain unchecked. */
+function aboutContainsSubjects(about, reads) {
+    const phrase = normalized(about);
+    const values = derivedSubjects(reads);
+    const tokens = phrase === undefined ? [] : (0, matcher_js_1.tokensOf)(phrase);
+    return (phrase !== undefined &&
+        values.length > 0 &&
+        values.every((value) => {
+            const subject = normalized(value);
+            return (subject !== undefined && ((0, readings_js_1.sameValue)(phrase, subject) || (0, matcher_js_1.holdsName)(phrase, tokens, subject)));
+        }));
+}
+exports.aboutContainsSubjects = aboutContainsSubjects;
+function subjects(call) {
+    return ((0, readings_js_1.scopeOf)(call) ?? []).filter((item) => item.facet === 'subject').map((item) => item.what);
+}
+/** Cross-tool peers need the app's same declared subject. Within one tool an
+ * undeclared subject cannot prove a reading unrelated to its sibling. */
+function sameRecordedSubject(a, b) {
+    const left = subjects(a);
+    const right = subjects(b);
+    if (left.length === 0 || right.length === 0)
+        return a.toolName === b.toolName;
+    return left.some((l) => right.some((r) => (0, readings_js_1.sameValue)(l, r)));
+}
+exports.sameRecordedSubject = sameRecordedSubject;
+function populations(call) {
+    const groups = new Map();
+    for (const item of (0, readings_js_1.scopeOf)(call) ?? []) {
+        if (item.facet !== 'population' || item.argument === undefined)
+            continue;
+        groups.set(item.argument, [...(groups.get(item.argument) ?? []), item]);
+    }
+    return groups;
+}
+const concrete = (call, argument, items) => call.row !== undefined &&
+    !call.row.gaps.some((gap) => gap.kind === 'match' && gap.argument === argument) &&
+    items.length > 0 &&
+    items.every((item) => item.any !== true && item.value !== undefined);
+/** Only the runtime-admitted resolution attached to the sent value supplies
+ * aliases. No token, substring or model-answer match establishes overlap. */
+function names(item) {
+    return [
+        item.value,
+        item.resolved?.id,
+        item.resolved?.name,
+        ...(item.resolved?.aliases ?? []),
+    ].filter((value) => value !== undefined);
+}
+/** Population values in one argument are alternatives; different arguments
+ * are separate dimensions. A shared concrete dimension can prove disjointness.
+ * Missing, differently named, or `any` dimensions cannot. */
+function populationsMayOverlap(a, b) {
+    const left = populations(a);
+    const right = populations(b);
+    for (const [argument, l] of left) {
+        const r = right.get(argument);
+        if (r === undefined || !concrete(a, argument, l) || !concrete(b, argument, r))
+            continue;
+        if (!l.some((li) => r.some((ri) => names(li).some((lv) => names(ri).some((rv) => (0, readings_js_1.sameValue)(lv, rv))))))
+            return false;
+    }
+    return true;
+}
+exports.populationsMayOverlap = populationsMayOverlap;
+//# sourceMappingURL=derive.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"derive.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/derive.ts"],"names":[],"mappings":";;;AAAA;mFACmF;AACnF,yDAAgD;AAEhD,+CAA+D;AAC/D,6CAAmD;AAGnD;wFACwF;AACxF,SAAgB,kBAAkB,CAChC,SAAuB,EACvB,KAA0B;IAE1B,IACE,SAAS,KAAK,UAAU;QACxB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,iBAAiB,CAAC;QAErF,OAAO,SAAS,CAAC;IACnB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAgB,EAAE,CAAC,CAAC,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3F,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAC1F,CAAC;AAZD,gDAYC;AAED,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,MAAM,GAAG,CAAC,KAAc,EAA4B,EAAE,CAC1D,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,aAAa,CAAC;IAChF,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAExD;oFACoF;AACpF,SAAS,UAAU,CAAC,IAAc;IAChC,MAAM,UAAU,GAAG,CAAC,IAAA,qBAAO,EAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;IACvF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3C,CAAC;IACD,IACE,UAAU,CAAC,MAAM,GAAG,aAAa;QACjC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE3F,OAAO,SAAS,CAAC;IACnB,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAwB,CAAC,CAAC;AACjE,CAAC;AAED;sFACsF;AACtF,SAAgB,eAAe,CAAC,KAA0B;IACxD,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACpC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAA,uBAAS,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzE,IAAI,MAAM,CAAC,MAAM,GAAG,aAAa;gBAAE,OAAO,EAAE,CAAC;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAXD,0CAWC;AAED,iFAAiF;AACjF,SAAS,UAAU,CAAC,KAAsB;IACxC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,GAAG,CAAC,MAAM,GAAG,aAAa;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,IAAI,GAAG,IAAA,qBAAM,EAAC,GAAG,CAAC,CAAC;IACzB,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,IAAI,aAAa,GAAG,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;QACzF,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED;kFACkF;AAClF,SAAgB,qBAAqB,CAAC,KAAsB,EAAE,KAA0B;IACtF,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAA,qBAAQ,EAAC,MAAM,CAAC,CAAC;IAC5D,OAAO,CACL,MAAM,KAAK,SAAS;QACpB,MAAM,CAAC,MAAM,GAAG,CAAC;QACjB,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE;YACrB,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;YAClC,OAAO,CACL,OAAO,KAAK,SAAS,IAAI,CAAC,IAAA,uBAAS,EAAC,MAAM,EAAE,OAAO,CAAC,IAAI,IAAA,sBAAS,EAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAC5F,CAAC;QACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAdD,sDAcC;AAED,SAAS,QAAQ,CAAC,IAAc;IAC9B,OAAO,CAAC,IAAA,qBAAO,EAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnG,CAAC;AAED;yEACyE;AACzE,SAAgB,mBAAmB,CAAC,CAAW,EAAE,CAAW;IAC1D,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC9E,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,uBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9D,CAAC;AALD,kDAKC;AAED,SAAS,WAAW,CAAC,IAAc;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,IAAA,qBAAO,EAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,KAAK,KAAK,YAAY,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;YAAE,SAAS;QACzE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,IAAc,EAAE,QAAgB,EAAE,KAA8B,EAAW,EAAE,CAC7F,IAAI,CAAC,GAAG,KAAK,SAAS;IACtB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,QAAQ,KAAK,QAAQ,CAAC;IAC/E,KAAK,CAAC,MAAM,GAAG,CAAC;IAChB,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AAEvE;6EAC6E;AAC7E,SAAS,KAAK,CAAC,IAAkB;IAC/B,OAAO;QACL,IAAI,CAAC,KAAK;QACV,IAAI,CAAC,QAAQ,EAAE,EAAE;QACjB,IAAI,CAAC,QAAQ,EAAE,IAAI;QACnB,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE,CAAC;KAClC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED;;6DAE6D;AAC7D,SAAgB,qBAAqB,CAAC,CAAW,EAAE,CAAW;IAC5D,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC7B,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;YAAE,SAAS;QACxF,IACE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CACb,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAA,uBAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAClF;YAED,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAdD,sDAcC"}

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

@@ -0,0 +1,69 @@
+"use strict";
+/**
+ * detect — the prose grammar: which units of a reply state a negative claim, by a fixed list of
+ * phrases and nothing else (no model, no score).
+ *
+ * Pattern: units (`units.ts`) → language (`language.ts`) → the `none` and `complete` packs
+ *          (`phrases.ts`, matched by `matcher.ts`). A hedge is not scope and changes nothing here:
+ *          "based on the logs, there are no incidents" is a claim. A unit in a fenced block, or a
+ *          claim phrase entirely inside inline code, is NOTED (`in-code-block`, with the
+ *          phrase's span), not judged; a unit the English grammar cannot read is NOTED
+ *          (`language-unsupported`) — never a silent pass.
+ * Role:    integrity/ layer (L3), read by `prose.ts`. Pure and deterministic; linear in the text.
+ *
+ * A claim carries its span, its unit, its phrase id and the pack version. Its unit's tokens ride
+ * along for the resolver; rows built from a claim carry none of the text.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.detectNegativeClaims = void 0;
+const language_js_1 = require("./language.js");
+const phrases_js_1 = require("./phrases.js");
+const units_js_1 = require("./units.js");
+const matcher_js_1 = require("./matcher.js");
+const spanOf = (tokens, hit) => ({
+    start: tokens[hit.first].start,
+    end: tokens[hit.last].end,
+});
+/** Detect the negative claims of a reply. */
+function detectNegativeClaims(text, phrases) {
+    const claims = [];
+    const notes = [];
+    const { units, inlineCode } = (0, units_js_1.unitsOf)(text);
+    const packVersion = phrases?.version ?? phrases_js_1.NEGATIVE_CLAIM_PHRASES_VERSION;
+    const packs = phrases?.packs ?? phrases_js_1.NEGATIVE_CLAIM_PHRASES;
+    for (const unit of units) {
+        const tokens = (0, matcher_js_1.tokensOf)(text, unit.start, unit.end);
+        if (tokens.length === 0)
+            continue;
+        const readable = unit.fenced || (0, language_js_1.isSupportedLanguage)(text.slice(unit.start, unit.end), tokens);
+        if (!readable) {
+            notes.push({
+                code: 'language-unsupported',
+                span: { start: unit.start, end: unit.end },
+                packVersion,
+            });
+            continue;
+        }
+        for (const kind of ['none', 'complete']) {
+            const hit = (0, matcher_js_1.firstHit)(text, tokens, packs[kind]);
+            if (hit === undefined)
+                continue;
+            const span = spanOf(tokens, hit);
+            if (unit.fenced || (0, units_js_1.insideAny)(span, inlineCode)) {
+                notes.push({ code: 'in-code-block', span, phraseId: hit.phrase.id, packVersion });
+                continue;
+            }
+            claims.push({
+                kind,
+                phraseId: hit.phrase.id,
+                packVersion,
+                span,
+                unit: { start: unit.start, end: unit.end },
+                tokens,
+            });
+        }
+    }
+    return { claims, notes };
+}
+exports.detectNegativeClaims = detectNegativeClaims;
+//# sourceMappingURL=detect.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"detect.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/detect.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAEH,+CAAoD;AACpD,6CAIsB;AACtB,yCAA+D;AAC/D,6CAA8E;AA8B9E,MAAM,MAAM,GAAG,CAAC,MAAwB,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC;IACtE,KAAK,EAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAW,CAAC,KAAK;IACzC,GAAG,EAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAW,CAAC,GAAG;CACrC,CAAC,CAAC;AAEH,6CAA6C;AAC7C,SAAgB,oBAAoB,CAClC,IAAY,EACZ,OAAsC;IAEtC,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAA,kBAAO,EAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,OAAO,EAAE,OAAO,IAAI,2CAA8B,CAAC;IACvE,MAAM,KAAK,GAAG,OAAO,EAAE,KAAK,IAAI,mCAAsB,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,IAAA,qBAAQ,EAAC,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,IAAI,IAAA,iCAAmB,EAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9F,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,KAAK,CAAC,IAAI,CAAC;gBACT,IAAI,EAAE,sBAAsB;gBAC5B,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;gBAC1C,WAAW;aACZ,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,UAAU,CAAU,EAAE,CAAC;YACjD,MAAM,GAAG,GAAG,IAAA,qBAAQ,EAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;YAChD,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAChC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACjC,IAAI,IAAI,CAAC,MAAM,IAAI,IAAA,oBAAS,EAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;gBAClF,SAAS;YACX,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE;gBACvB,WAAW;gBACX,IAAI;gBACJ,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;gBAC1C,MAAM;aACP,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3B,CAAC;AAxCD,oDAwCC"}

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

@@ -0,0 +1,100 @@
+"use strict";
+/**
+ * judge — the typed door's rows: one row per entry of the app's negatives field, its verdict
+ * mapped to the disposition the validation door already reads (design § 5.4), and the
+ * library's statement beside an established one.
+ *
+ * Pattern: `citation.ts` decides; this file names the row (`agent:negative-claims:<field>#<n>`),
+ *          maps the verdict to a disposition and composes the statement (`statement.ts`). An
+ *          established claim CLEARS the claim (`not-applicable`) — it never verifies the answer,
+ *          so no row is `checked-pass`.
+ * Role:    integrity/ layer (L3). Not wired: PR 4 mounts it behind `.negativeClaims()` and
+ *          `agentChecks: ['negative-claims']`.
+ *
+ * A row carries identities, tool names and codes — never a value and never a sentence; the
+ * statement travels beside it.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.judgeTypedNegatives = exports.dispositionOf = exports.MAX_NEGATIVE_CLAIMS = exports.MAX_CITED_READS = void 0;
+const stableJson_js_1 = require("../../lib/stableJson.js");
+const citation_js_1 = require("./citation.js");
+Object.defineProperty(exports, "MAX_CITED_READS", { enumerable: true, get: function () { return citation_js_1.MAX_CITED_READS; } });
+const limits_js_1 = require("./limits.js");
+Object.defineProperty(exports, "MAX_NEGATIVE_CLAIMS", { enumerable: true, get: function () { return limits_js_1.MAX_NEGATIVE_CLAIMS; } });
+const statement_js_1 = require("./statement.js");
+const TOO_MANY = Object.freeze({
+    kind: 'unknown',
+    code: 'too-many-claims',
+    results: [],
+    tools: [],
+    reads: [],
+});
+const CHECKED_FAIL = new Set([
+    'contradicted-by-rows',
+    'wider-search-has-rows',
+    'search-incomplete',
+    'superseded-by-write',
+    'later-read-failed',
+]);
+/** The disposition a typed verdict files (§ 5.4). */
+function dispositionOf(code) {
+    if (code === 'established')
+        return 'not-applicable';
+    return CHECKED_FAIL.has(code) ? 'checked-fail' : 'unreachable';
+}
+exports.dispositionOf = dispositionOf;
+/** A repeated claim is judged once (its stable JSON is the key); a key that cannot be made, every time. */
+function judgeOnce(cache, entry, judge) {
+    let key;
+    try {
+        key = (0, stableJson_js_1.stableJson)(entry);
+    }
+    catch {
+        key = undefined;
+    }
+    if (key === undefined)
+        return judge(entry);
+    const known = cache.get(key);
+    if (known !== undefined)
+        return known;
+    const verdict = judge(entry);
+    cache.set(key, verdict);
+    return verdict;
+}
+/**
+ * Judge every citation of the field. No field, or an empty list, is no claim. A field that is
+ * not a list is one unresolved citation; a field of more than {@link MAX_NEGATIVE_CLAIMS}
+ * claims withholds every one of them (`too-many-claims`).
+ */
+function judgeTypedNegatives(input) {
+    const { field, negatives, record, citable, interpretation } = input;
+    if (negatives === undefined || negatives === null)
+        return [];
+    const entries = Array.isArray(negatives) ? negatives : [negatives];
+    const tooMany = entries.length > limits_js_1.MAX_NEGATIVE_CLAIMS;
+    const cache = new Map();
+    return entries.map((entry, index) => {
+        const verdict = tooMany
+            ? TOO_MANY
+            : Array.isArray(negatives)
+                ? judgeOnce(cache, entry, (e) => (0, citation_js_1.judgeCitation)(e, record, citable, interpretation))
+                : (0, citation_js_1.judgeCitation)(undefined, record, citable, interpretation);
+        const row = {
+            id: `agent:negative-claims:${field}#${index}`,
+            path: `${field}[${index}]`,
+            index,
+            kind: verdict.kind,
+            code: verdict.code,
+            disposition: dispositionOf(verdict.code),
+            tools: verdict.tools,
+            results: verdict.results,
+            ...(verdict.staleSince === undefined ? {} : { staleSince: verdict.staleSince }),
+        };
+        if (verdict.code !== 'established' || verdict.kind === 'unknown')
+            return { row };
+        const reads = verdict.reads.flatMap((call) => call.row === undefined ? [] : [{ call, row: call.row, tool: record.tools[call.toolName] }]);
+        return { row, statement: (0, statement_js_1.composeStatement)(verdict.kind, reads, record.clock) };
+    });
+}
+exports.judgeTypedNegatives = judgeTypedNegatives;
+//# sourceMappingURL=judge.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"judge.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/judge.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;GAcG;;;AAEH,2DAAqD;AAErD,+CAAqF;AAK5E,gGALe,6BAAe,OAKf;AAJxB,2CAAkD;AAKzC,oGALA,+BAAmB,OAKA;AAJ5B,iDAAkD;AAMlD,MAAM,QAAQ,GAAoB,MAAM,CAAC,MAAM,CAAC;IAC9C,IAAI,EAAE,SAAS;IACf,IAAI,EAAE,iBAAiB;IACvB,OAAO,EAAE,EAAE;IACX,KAAK,EAAE,EAAE;IACT,KAAK,EAAE,EAAE;CACV,CAAC,CAAC;AAEH,MAAM,YAAY,GAA8B,IAAI,GAAG,CAAC;IACtD,sBAAsB;IACtB,uBAAuB;IACvB,mBAAmB;IACnB,qBAAqB;IACrB,mBAAmB;CACpB,CAAC,CAAC;AAEH,qDAAqD;AACrD,SAAgB,aAAa,CAAC,IAAkB;IAC9C,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,gBAAgB,CAAC;IACpD,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC;AACjE,CAAC;AAHD,sCAGC;AAeD,2GAA2G;AAC3G,SAAS,SAAS,CAChB,KAAmC,EACnC,KAAc,EACd,KAA0C;IAE1C,IAAI,GAAuB,CAAC;IAC5B,IAAI,CAAC;QACH,GAAG,GAAG,IAAA,0BAAU,EAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,GAAG,GAAG,SAAS,CAAC;IAClB,CAAC;IACD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IAC7B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAgB,mBAAmB,CAAC,KAAsB;IACxD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,KAAK,CAAC;IACpE,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC7D,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,GAAG,+BAAmB,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA2B,CAAC;IACjD,OAAO,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QAClC,MAAM,OAAO,GAAG,OAAO;YACrB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC;gBAC1B,CAAC,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,2BAAa,EAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;gBACnF,CAAC,CAAC,IAAA,2BAAa,EAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;QAC9D,MAAM,GAAG,GAAG;YACV,EAAE,EAAE,yBAAyB,KAAK,IAAI,KAAK,EAAE;YAC7C,IAAI,EAAE,GAAG,KAAK,IAAI,KAAK,GAAG;YAC1B,KAAK;YACL,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC;YACxC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,GAAG,CAAC,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;SAChF,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QACjF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAC3C,IAAI,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAC3F,CAAC;QACF,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,IAAA,+BAAgB,EAAC,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC;AA7BD,kDA6BC"}