agentfootprint 10.9.0 → 11.0.0

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

@@ -0,0 +1,184 @@
+"use strict";
+/**
+ * resolve — which reads a PROSE claim names (design § 5.2): by the entity each call was SENT
+ * for (its `resolved` id, name and aliases — store data never binds another entity's name), or,
+ * for a search with no population, by its `source.said` words.
+ *
+ * Pattern: mentions are token runs of the unit that hold a name by the library's one name rule
+ *          (`lib/normalize.ts` · `sameName`: `Payments` is `payments`, `ARRAY-X9` is not
+ *          `array-x9`); a mention joined to another word by "or",
+ *          "and", "nor" or a comma is a second entity, and an entity no read resolves makes the
+ *          whole claim `entity-unresolved` — "payments or checkout" with one searched cannot pass
+ *          as checked. The reads a claim RESTS ON are this turn's reads (any leg) of a resolved
+ *          entity whose tool's `subject.said` word the unit names; a call on the same entity and
+ *          another subject is never pulled in. A claim naming no entity is unresolved; the
+ *          person's message and the single call of the turn only name a CANDIDATE.
+ * Role:    integrity/ layer (L3), read by `prose.ts`.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveProseClaim = exports.isCurrent = void 0;
+const capture_js_1 = require("../claim-binding/capture.js");
+const matcher_js_1 = require("./matcher.js");
+const readings_js_1 = require("./readings.js");
+/** The calls of the answer's turn, in this recording. */
+function isCurrent(call, record) {
+    try {
+        const identity = (0, capture_js_1.readResultIdentity)(call.resultId);
+        // Namespace and turn, never the run id: a pause between legs of one turn keeps a read current.
+        return identity.namespace === record.leg.namespace && call.turn === record.turn;
+    }
+    catch {
+        return false;
+    }
+}
+exports.isCurrent = isCurrent;
+/** The names a read was sent for: each population value's resolved id, name and aliases. */
+function namesOf(call, work) {
+    const out = [];
+    for (const item of (0, readings_js_1.scopeOf)(call) ?? []) {
+        if (item.facet !== 'population' || item.resolved === undefined)
+            continue;
+        const entity = (0, readings_js_1.spellValue)(item.resolved.id);
+        for (const name of [item.resolved.id, item.resolved.name, ...(item.resolved.aliases ?? [])]) {
+            if (typeof name !== 'string')
+                continue;
+            const words = (0, matcher_js_1.spell)(name, work);
+            if (words.length > 0)
+                out.push({ entity, name, words });
+        }
+    }
+    return out;
+}
+const hasPopulation = (call) => ((0, readings_js_1.scopeOf)(call) ?? []).some((item) => item.facet === 'population');
+/** Words that join or frame entities, never name one. */
+const GRAMMAR = new Set(('a an the any no none not nor or and but so then also only just all each every either ' +
+    'neither both some many most more less few other others its it their they them this that ' +
+    'these those there here is are was were be been being has have had do does did will would ' +
+    'can could may might must should in on at of to for from with by into over under about ' +
+    'across within without between during since until than as if when while where which who ' +
+    'what why how i we you he she me us my our your his her yet still ' +
+    'found exist exists').split(' '));
+/** Every word a declaration uses for a subject, source, qualifier or filter value. */
+function declaredWords(record, work) {
+    const out = new Set();
+    const add = (phrases) => {
+        for (const phrase of phrases ?? [])
+            for (const word of (0, matcher_js_1.spell)(phrase, work))
+                out.add(word);
+    };
+    for (const tool of Object.values(record.tools)) {
+        const search = tool.search;
+        if (search === undefined)
+            continue;
+        add(search.subject.said);
+        add(search.source.said);
+        for (const fixed of search.fixed ?? [])
+            add(fixed.said);
+        for (const argument of search.arguments)
+            for (const said of Object.values(argument.said ?? {}))
+                add(said);
+    }
+    return out;
+}
+const JOINERS = new Set(['or', 'and', 'nor']);
+/** Whether a mention is joined to a word that names an entity no read resolved. */
+function joinedToUnknown(text, tokens, mention, covered, declared) {
+    const named = (i) => {
+        const token = tokens[i];
+        return (token !== undefined &&
+            !covered.has(i) &&
+            /^[\p{L}\p{N}]/u.test(token.text) &&
+            !GRAMMAR.has(token.text) &&
+            !declared.has(token.text));
+    };
+    const gap = (a, b) => {
+        const left = tokens[a];
+        const right = tokens[b];
+        return left === undefined || right === undefined ? '' : text.slice(left.end, right.start);
+    };
+    const after = mention.last + 1;
+    if (JOINERS.has(tokens[after]?.text ?? '') && named(after + 1))
+        return true;
+    if (gap(mention.last, after).includes(',') && named(after))
+        return true;
+    const before = mention.first - 1;
+    if (JOINERS.has(tokens[before]?.text ?? '') && named(before - 1))
+        return true;
+    return gap(before, mention.first).includes(',') && named(before);
+}
+/** The reads a prose claim resolves to, grouped by entity. */
+function resolveProseClaim(claim, text, record, personMessage, work) {
+    const tokens = claim.tokens;
+    const reads = record.calls.filter((call) => (0, readings_js_1.isRead)(call));
+    const mentions = [];
+    for (const call of reads) {
+        // A name is mentioned only where the text holds it by the one name rule (`sameName`).
+        for (const { entity, name, words } of namesOf(call, work)) {
+            for (let at = (0, matcher_js_1.nameAt)(text, tokens, name, 0, work); at !== -1; at = (0, matcher_js_1.nameAt)(text, tokens, name, at + 1, work)) {
+                work?.charge(words.length + 1);
+                mentions.push({ entity, first: at, last: at + words.length - 1 });
+            }
+        }
+    }
+    const covered = new Set(mentions.flatMap((m) => Array.from({ length: m.last - m.first + 1 }, (_, i) => m.first + i)));
+    const declared = declaredWords(record, work);
+    if (mentions.some((m) => joinedToUnknown(text, tokens, m, covered, declared))) {
+        return { status: 'entity-unresolved', candidates: [] };
+    }
+    const subjectFits = (call) => (0, matcher_js_1.holdsAnySaid)(tokens, record.tools[call.toolName]?.search?.subject.said, work);
+    if (mentions.length === 0) {
+        const bySource = reads.filter((call) => isCurrent(call, record) &&
+            !hasPopulation(call) &&
+            (0, matcher_js_1.holdsAnySaid)(tokens, record.tools[call.toolName]?.search?.source.said, work));
+        if (bySource.length > 0) {
+            const restsOn = bySource.filter(subjectFits);
+            return {
+                status: 'groups',
+                groups: [
+                    restsOn.length > 0
+                        ? { status: 'resolved', calls: restsOn }
+                        : { status: 'subject-unmatched', calls: bySource },
+                ],
+            };
+        }
+        return {
+            status: 'entity-unresolved',
+            candidates: candidatesOf(record, reads, personMessage, work),
+        };
+    }
+    const entities = [...new Set(mentions.map((m) => m.entity))];
+    const groups = entities.map((entity) => {
+        const named = reads.filter((call) => namesOf(call, work).some((n) => n.entity === entity));
+        const current = named.filter((call) => isCurrent(call, record));
+        if (current.length === 0) {
+            const last = named[named.length - 1];
+            return {
+                status: 'stale',
+                calls: named,
+                staleSince: {
+                    turn: last.turn,
+                    ...(last.readAt === undefined ? {} : { readAt: last.readAt }),
+                },
+            };
+        }
+        const restsOn = current.filter(subjectFits);
+        return restsOn.length > 0
+            ? { status: 'resolved', calls: restsOn }
+            : { status: 'subject-unmatched', calls: current };
+    });
+    return { status: 'groups', groups };
+}
+exports.resolveProseClaim = resolveProseClaim;
+/** A fallback's candidates: the reads the person's message names, else the turn's single call. */
+function candidatesOf(record, reads, personMessage, work) {
+    const current = reads.filter((call) => isCurrent(call, record));
+    if (personMessage !== undefined) {
+        work?.charge(personMessage.length + 1);
+        const said = (0, matcher_js_1.tokensOf)(personMessage);
+        const named = current.filter((call) => namesOf(call, work).some((n) => (0, matcher_js_1.nameAt)(personMessage, said, n.name, 0, work) !== -1));
+        if (named.length > 0)
+            return named.map((call) => call.resultId);
+    }
+    return current.length === 1 ? [current[0].resultId] : [];
+}
+//# sourceMappingURL=resolve.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/resolve.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;AAEH,4DAAiE;AAEjE,6CAAiF;AACjF,+CAA4D;AAgB5D,yDAAyD;AACzD,SAAgB,SAAS,CAAC,IAAc,EAAE,MAAkB;IAC1D,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAA,+BAAkB,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,+FAA+F;QAC/F,OAAO,QAAQ,CAAC,SAAS,KAAK,MAAM,CAAC,GAAG,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;IAClF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AARD,8BAQC;AAED,4FAA4F;AAC5F,SAAS,OAAO,CACd,IAAc,EACd,IAAsB;IAEtB,MAAM,GAAG,GAAwD,EAAE,CAAC;IACpE,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,MAAM,GAAG,IAAA,wBAAU,EAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5F,IAAI,OAAO,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACvC,MAAM,KAAK,GAAG,IAAA,kBAAK,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAChC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,aAAa,GAAG,CAAC,IAAc,EAAW,EAAE,CAChD,CAAC,IAAA,qBAAO,EAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,YAAY,CAAC,CAAC;AAEpE,yDAAyD;AACzD,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,CACE,uFAAuF;IACvF,0FAA0F;IAC1F,2FAA2F;IAC3F,wFAAwF;IACxF,yFAAyF;IACzF,mEAAmE;IACnE,oBAAoB,CACrB,CAAC,KAAK,CAAC,GAAG,CAAC,CACb,CAAC;AAEF,sFAAsF;AACtF,SAAS,aAAa,CAAC,MAAkB,EAAE,IAAsB;IAC/D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,GAAG,GAAG,CAAC,OAAsC,EAAE,EAAE;QACrD,KAAK,MAAM,MAAM,IAAI,OAAO,IAAI,EAAE;YAAE,KAAK,MAAM,IAAI,IAAI,IAAA,kBAAK,EAAC,MAAM,EAAE,IAAI,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC5F,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,MAAM,KAAK,SAAS;YAAE,SAAS;QACnC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzB,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACxB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,KAAK,IAAI,EAAE;YAAE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACxD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS;YACrC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,IAAI,EAAE,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE9C,mFAAmF;AACnF,SAAS,eAAe,CACtB,IAAY,EACZ,MAAwB,EACxB,OAAwC,EACxC,OAA4B,EAC5B,QAA6B;IAE7B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE;QAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,CACL,KAAK,KAAK,SAAS;YACnB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;YACf,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACjC,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YACxB,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAC1B,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5F,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC;IAC/B,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC;IACjC,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9E,OAAO,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;AACnE,CAAC;AAED,8DAA8D;AAC9D,SAAgB,iBAAiB,CAC/B,KAAoB,EACpB,IAAY,EACZ,MAAkB,EAClB,aAAsB,EACtB,IAAsB;IAEtB,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,oBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAsD,EAAE,CAAC;IACvE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,sFAAsF;QACtF,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC1D,KACE,IAAI,EAAE,GAAG,IAAA,mBAAM,EAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,EAC5C,EAAE,KAAK,CAAC,CAAC,EACT,EAAE,GAAG,IAAA,mBAAM,EAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,EAC7C,CAAC;gBACD,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAC7F,CAAC;IACF,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,MAAM,EAAE,mBAAmB,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACzD,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,IAAc,EAAE,EAAE,CACrC,IAAA,yBAAY,EAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAEhF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAC3B,CAAC,IAAI,EAAE,EAAE,CACP,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC;YACvB,CAAC,aAAa,CAAC,IAAI,CAAC;YACpB,IAAA,yBAAY,EAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAC/E,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAC7C,OAAO;gBACL,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE;oBACN,OAAO,CAAC,MAAM,GAAG,CAAC;wBAChB,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE;wBACxC,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,KAAK,EAAE,QAAQ,EAAE;iBACrD;aACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,mBAAmB;YAC3B,UAAU,EAAE,YAAY,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC;SAC7D,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAe,EAAE;QAClD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC;QAC3F,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QAChE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAa,CAAC;YACjD,OAAO;gBACL,MAAM,EAAE,OAAO;gBACf,KAAK,EAAE,KAAK;gBACZ,UAAU,EAAE;oBACV,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;iBAC9D;aACF,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAC5C,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC;YACvB,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE;YACxC,CAAC,CAAC,EAAE,MAAM,EAAE,mBAAmB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AACtC,CAAC;AA9ED,8CA8EC;AAED,kGAAkG;AAClG,SAAS,YAAY,CACnB,MAAkB,EAClB,KAA0B,EAC1B,aAAiC,EACjC,IAAsB;IAEtB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,EAAE,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAA,qBAAQ,EAAC,aAAa,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CACpC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,mBAAM,EAAC,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CACrF,CAAC;QACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,OAAO,CAAC,CAAC,CAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACzE,CAAC"}

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

@@ -0,0 +1,369 @@
+"use strict";
+/**
+ * statement — the library's sentence for an established typed claim, written from the cited
+ * reads' rows alone (design § 5.1): what was searched, and every gap said out loud.
+ *
+ * Pattern: fixed templates; the template is chosen by the ROW's shape (an `among` miss reads
+ *          "did not find … among N names"), then by the claim's kind. One clause per cited read,
+ *          one line each, in ordinal order.
+ *
+ *          The library's own voice states ONLY what the record shows ("no cap reached"). Every
+ *          other text is QUOTED and ATTRIBUTED to where it came from: "(declared by the tool)",
+ *          "(fixed by the tool)", "(the tool's declared default)", "(as sent by the model)",
+ *          "(as the tool's result says)", "(the caller's identity)". A declared fact is said as
+ *          the tool's ("the tool declares no server cap", "the tool declares one page"). An
+ *          unsent argument is said with calibrated words: the tool may have applied its own
+ *          default, so this may cover only part.
+ *
+ *          Quoting is the boundary: NFKC, control and format characters (bidi overrides,
+ *          zero-width marks) removed, line breaks flattened, backticks turned into apostrophes.
+ *          A value is capped at 64 characters plus "…"; a gap's text at the 120 its declaration
+ *          may hold. EVERY gap is listed, never cut short in number; other lists are capped and
+ *          counted ("and N more"), so a clause stays within `clauseLimit(gaps)`.
+ * Role:    integrity/ layer (L3), read by `judge.ts`. `complete` states the rows READ — their
+ *          count and identities (a fact's `entity`, or the declared id column) — never a list
+ *          the model wrote.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.composeRecordedStatement = exports.composeStatement = exports.formatSpan = exports.quoteValue = exports.clauseLimit = exports.STATEMENT_LIMITS = exports.STATEMENT_VERSION = void 0;
+const capture_js_1 = require("../claim-binding/capture.js");
+const stableJson_js_1 = require("../../lib/stableJson.js");
+const period_js_1 = require("../../semantics/coverage/period.js");
+const span_js_1 = require("../../semantics/coverage/search/span.js");
+const instant_js_1 = require("../../time/instant.js");
+const range_js_1 = require("../../time/range.js");
+const readings_js_1 = require("./readings.js");
+const instantMs = (value) => (0, instant_js_1.instantOf)(value, 'lenient')?.ms;
+/** Bump with any change to a template or to how a value is rendered. */
+exports.STATEMENT_VERSION = '7';
+const VALUE_CHARS = 64;
+const GAP_CHARS = 120;
+const LIST_ITEMS = 12;
+const SCOPE_ITEMS = 24;
+/** The stated bounds of one value, one gap's text, and the capped lists. */
+exports.STATEMENT_LIMITS = Object.freeze({
+    valueChars: VALUE_CHARS,
+    gapChars: GAP_CHARS,
+    listItems: LIST_ITEMS,
+    scopeItems: SCOPE_ITEMS,
+});
+/**
+ * The most UTF-16 units a clause can hold for a row with `gaps` gaps: the head and at most ~60
+ * capped parts (each quoted value ≤ 2 × 64 + 3 units, with its label and attribution), plus
+ * each gap (≤ 2 × 120 + 3 units, with its attribution).
+ */
+function clauseLimit(gaps) {
+    return 12_000 + gaps * 300;
+}
+exports.clauseLimit = clauseLimit;
+/** One text as quoted data, capped at `cap` code points. */
+function quote(value, cap) {
+    const raw = typeof value === 'string'
+        ? value
+        : typeof value === 'number' || typeof value === 'boolean'
+            ? String(value)
+            : (0, stableJson_js_1.stableJson)(value) ?? '';
+    const clean = raw
+        .normalize('NFKC')
+        .replace(/[\p{Cc}\p{Zl}\p{Zp}]/gu, ' ')
+        .replace(/\p{Cf}/gu, '')
+        .replace(/`/g, "'")
+        .replace(/\s+/gu, ' ')
+        .trim();
+    const points = Array.from(clean);
+    const capped = points.length > cap ? `${points.slice(0, cap).join('')}…` : clean;
+    return `\`${capped}\``;
+}
+/** One value as quoted data (64 code points). */
+const quoteValue = (value) => quote(value, VALUE_CHARS);
+exports.quoteValue = quoteValue;
+/** One gap's text as quoted data (its declared 120). */
+const quoteGap = (value) => quote(value, GAP_CHARS);
+const capped = (items, cap, more) => items.length > cap ? [...items.slice(0, cap), more(items.length - cap)] : [...items];
+const ATTRIBUTION = {
+    call: 'as sent by the model',
+    default: "the tool's declared default",
+    fixed: 'fixed by the tool',
+    tool: 'declared by the tool',
+    result: "as the tool's result says",
+    host: "the caller's identity",
+};
+const attributed = (text, from) => `${text} (${ATTRIBUTION[from ?? 'tool'] ?? ATTRIBUTION.tool})`;
+const pad = (n) => String(n).padStart(2, '0');
+function clockOf(ms) {
+    const d = new Date(ms);
+    const base = `${pad(d.getUTCHours())}:${pad(d.getUTCMinutes())}`;
+    // Seconds when they are not zero; never milliseconds — a half-open span's end one
+    // millisecond past a minute is that minute.
+    return d.getUTCSeconds() === 0 ? base : `${base}:${pad(d.getUTCSeconds())}`;
+}
+const dayOf = (ms) => new Date(ms).toISOString().slice(0, 10);
+/**
+ * A span (`time/range.ts`) as the statement writes it — always with its date, so a historical
+ * window is never read as today's: `2026-10-01 08:00–10:00Z`, or a date on each bound across
+ * days (`2026-10-15 10:00Z–2026-10-22 10:00Z`); undefined when it is not a pair of instants.
+ */
+function formatSpan(span) {
+    const from = instantMs(span.from);
+    const to = instantMs(span.to);
+    if (from === undefined || to === undefined)
+        return undefined;
+    return dayOf(from) === dayOf(to)
+        ? `${dayOf(from)} ${clockOf(from)}–${clockOf(to)}Z`
+        : `${dayOf(from)} ${clockOf(from)}Z–${dayOf(to)} ${clockOf(to)}Z`;
+}
+exports.formatSpan = formatSpan;
+/** An absolute window as sent (`<from>..<to>` or `<from>/<to>`), read by the time layer's parser. */
+const sentRange = (value) => (0, range_js_1.parseRange)(value, '..') ?? (0, range_js_1.parseRange)(value, '/');
+/** An instant, with its date unless it falls on the leg clock's day. */
+function formatInstant(ms, clock) {
+    const now = instantMs(clock);
+    return now !== undefined && dayOf(now) === dayOf(ms)
+        ? `${clockOf(ms)}Z`
+        : `${dayOf(ms)} ${clockOf(ms)}Z`;
+}
+const HELD = {
+    covered: 'held in full',
+    'partly-held': 'held in part',
+    'not-held': 'not held',
+    unknown: 'held: unknown',
+};
+const items = (row, facet) => row.checked.filter((item) => item.facet === facet);
+/**
+ * The period part — the span the call RAN with (its period item's dispatch-time span, else the
+ * result's `queried`) and how much of the read the store held — and what it adds to "not
+ * checked".
+ */
+function periodParts(row) {
+    const declared = items(row, 'period')[0];
+    const period = row.period;
+    // The window the call ran with: a relative one's dispatch-time span; an absolute one as sent;
+    // else the result's own `queried`.
+    const ran = declared?.span ??
+        sentRange(declared?.value) ??
+        (period === undefined ? undefined : (0, span_js_1.resultSpan)(period));
+    const shown = ran === undefined ? undefined : formatSpan(ran);
+    const windowText = shown ?? (declared === undefined ? undefined : (0, exports.quoteValue)(declared.value ?? declared.what));
+    if (windowText === undefined)
+        return { unchecked: [] };
+    if (period === undefined)
+        return { window: `window ${windowText} (held: undeclared)`, unchecked: [] };
+    let verdict;
+    try {
+        verdict = (0, period_js_1.periodVerdict)(period);
+    }
+    catch {
+        verdict = 'unknown';
+    }
+    const queried = (0, span_js_1.resultSpan)(period);
+    const unchecked = verdict === 'unknown'
+        ? queried === undefined
+            ? []
+            : [`${formatSpan(queried) ?? (0, exports.quoteValue)(period.queried.from)} (held: unknown)`]
+        : (0, readings_js_1.unheldRanges)(period).flatMap((span) => {
+            const text = formatSpan(span);
+            return text === undefined ? [] : [`${text} (not held)`];
+        });
+    return { window: `window ${windowText} (${HELD[verdict] ?? 'held: unknown'})`, unchecked };
+}
+/** One scope item, quoted and attributed. */
+function itemPart(item) {
+    const argument = item.argument === undefined ? undefined : (0, exports.quoteValue)(item.argument);
+    if (item.facet === 'subject')
+        return attributed(`subject ${(0, exports.quoteValue)(item.what)}`, item.from);
+    if (item.facet === 'source') {
+        const named = item.from === 'call' && item.value !== undefined ? item.value : item.what;
+        return attributed(`source ${(0, exports.quoteValue)(named)}`, item.from);
+    }
+    if (item.facet === 'names')
+        return attributed(`names ${(0, exports.quoteValue)(item.what)}`, 'result');
+    if (item.any === true && argument !== undefined)
+        return attributed(`any ${argument}`, item.from);
+    if (item.from === 'host' && argument !== undefined)
+        return attributed(argument, 'host');
+    if (argument !== undefined && item.value !== undefined) {
+        return attributed(`${argument} ${(0, exports.quoteValue)(item.value)}`, item.from);
+    }
+    return attributed((0, exports.quoteValue)(item.what), item.from);
+}
+/** The scope the row records, in a fixed facet order. */
+function scopeParts(row, among) {
+    const subject = items(row, 'subject').map(itemPart);
+    const population = among
+        ? []
+        : capped(items(row, 'population').map(itemPart), LIST_ITEMS, (n) => `and ${n} more values`);
+    const filters = [
+        ...items(row, 'filter').filter((i) => i.from === 'fixed'),
+        ...items(row, 'filter').filter((i) => i.from !== 'fixed'),
+    ].map(itemPart);
+    const names = items(row, 'names').map(itemPart);
+    const source = items(row, 'source').map(itemPart);
+    return [
+        ...subject,
+        ...population,
+        ...capped(filters, SCOPE_ITEMS, (n) => `and ${n} more qualifiers`),
+        ...names,
+        ...source,
+    ];
+}
+/** Every gap, said out loud — none dropped. */
+function gapParts(row) {
+    return row.gaps.flatMap((gap) => {
+        switch (gap.kind) {
+            case 'period':
+                return [];
+            case 'argument-unsent':
+                return [
+                    `${(0, exports.quoteValue)(gap.argument ?? gap.what)} was not sent, so the tool may have applied ` +
+                        'its own default and this may cover only part',
+                ];
+            case 'partial':
+                return ['what the partial result left out'];
+            case 'credential-limited':
+                return ["what the caller's credential may not see"];
+            case 'match':
+                return [`${quoteGap(gap.what)} (by the tool's own match rule)`];
+            case 'ranking':
+                return ['the rows an approximate ranking may have left out'];
+            case 'prose':
+                return [`${quoteGap(gap.what)} (as the tool wrote it)`];
+            case 'scope':
+                return [`${quoteGap(gap.what)} (declared by the tool)`];
+            default:
+                return [`${quoteGap(gap.what)} (as the tool's result says)`];
+        }
+    });
+}
+/** The identities of the rows read, as quoted data. */
+function identities(call) {
+    if (call.rowsMayDisplay !== true)
+        return [];
+    const column = call.idColumn ?? 'entity';
+    return (call.rowsRead ?? []).flatMap((row) => {
+        const id = Object.prototype.hasOwnProperty.call(row, column) ? row[column] : undefined;
+        return typeof id === 'string' || typeof id === 'number' ? [(0, exports.quoteValue)(id)] : [];
+    });
+}
+/** Display only unchanged native rows admitted at the final tool-result boundary.
+ * An arbitrary id/key field has no identity contract, so its row is quoted as
+ * data instead of guessing a business identity. Both values and row lists cap. */
+function returnedValues(call) {
+    if (call.rowsMayDisplay !== true || !call.rowsRead?.length)
+        return undefined;
+    const column = call.idColumn ?? 'entity';
+    const values = call.rowsRead.slice(0, LIST_ITEMS).map((row) => {
+        const id = Object.hasOwn(row, column) ? row[column] : undefined;
+        return (0, exports.quoteValue)(typeof id === 'string' || typeof id === 'number' ? id : row);
+    });
+    const more = Math.max(0, (call.rows ?? call.rowsRead.length) - values.length);
+    return attributed(`returned ${values.join(', ')}${more > 0 ? `, and ${more} more rows` : ''}`, 'result');
+}
+/** What the tool declares about a server cap — said only when the declaration is in hand. */
+function serverCapPart(tool) {
+    if (tool?.search === undefined)
+        return [];
+    const cap = tool.search.limits?.cap;
+    if (cap === undefined)
+        return ['the tool declares no server cap'];
+    return typeof cap === 'number' && Number.isSafeInteger(cap)
+        ? [`the tool declares a server cap of ${cap}`]
+        : [];
+}
+/** One clause for one cited read. */
+function clauseOf(kind, read, clock, recorded = false) {
+    const { call, row, tool } = read;
+    const toolName = (0, exports.quoteValue)(row.toolName);
+    const names = items(row, 'names')[0];
+    const among = names !== undefined;
+    const rowsRead = call.rows ?? call.rowsRead?.length ?? 0;
+    const count = among && typeof names.count === 'number' && Number.isSafeInteger(names.count)
+        ? String(names.count)
+        : 'the';
+    const head = recorded
+        ? call.outcome !== 'ok'
+            ? `${toolName} did not establish a completed read`
+            : call.emptiness === 'declared-absent'
+                ? `${toolName} returned no matching rows`
+                : call.rows !== undefined || call.rowsRead !== undefined
+                    ? `${toolName} read ${rowsRead} ${rowsRead === 1 ? 'row' : 'rows'}`
+                    : call.emptiness === 'non-empty'
+                        ? `${toolName} returned matching rows whose count is undetermined`
+                        : `${toolName} returned a result whose row count is undetermined`
+        : among
+            ? `${toolName} did not find ${attributed((0, exports.quoteValue)(row.lookedFor ?? ''), 'call')} among ${count} names`
+            : kind === 'complete'
+                ? `${toolName} read ${rowsRead} rows`
+                : `${toolName} found none`;
+    const { window, unchecked } = periodParts(row);
+    const parts = scopeParts(row, among);
+    if (recorded && call.emptiness === 'non-empty') {
+        const values = returnedValues(call);
+        if (values !== undefined)
+            parts.push(values);
+    }
+    if (window !== undefined)
+        parts.push(window);
+    const measured = among ? instantMs(names.measuredAt) : undefined;
+    if (measured !== undefined)
+        parts.push(`read ${formatInstant(measured, clock)}`);
+    if (!recorded && !among && kind === 'complete') {
+        const ids = identities(call);
+        if (ids.length > 0) {
+            const more = Math.max(0, rowsRead - Math.min(ids.length, LIST_ITEMS));
+            const shown = ids.slice(0, LIST_ITEMS).join(', ');
+            parts.push(attributed(`rows ${shown}${more > 0 ? `, and ${more} more` : ''}`, 'result'));
+        }
+        parts.push('no cap reached', ...serverCapPart(tool), 'the tool declares one page');
+    }
+    const notChecked = [...gapParts(row), ...unchecked];
+    if (notChecked.length > 0)
+        parts.push(`not checked: ${notChecked.join('; ')}`);
+    return `${head} — ${parts.join('; ')}.`;
+}
+const ordinalOf = (call) => {
+    try {
+        return (0, capture_js_1.readResultIdentity)(call.resultId).ordinal;
+    }
+    catch {
+        return Number.MAX_SAFE_INTEGER;
+    }
+};
+/** The statement for an established claim: one clause per cited read, in ordinal order. */
+function composeStatement(kind, reads, clock) {
+    const ordered = [...reads].sort((a, b) => ordinalOf(a.call) - ordinalOf(b.call));
+    const clauses = ordered.map((read) => clauseOf(kind, read, clock));
+    return { text: clauses.join('\n'), clauses, version: exports.STATEMENT_VERSION };
+}
+exports.composeStatement = composeStatement;
+/** State only the admitted read and all its limits, without asserting completeness. */
+function composeRecordedStatement(reads, clock, explanation) {
+    const clauses = explanation === undefined ? [] : [explanation.refusal];
+    const contrary = explanation?.contraryReads ?? [];
+    for (const read of contrary.slice(0, LIST_ITEMS)) {
+        const handle = (0, exports.quoteValue)(read.call.row?.handle ?? `r${ordinalOf(read.call)}`);
+        if (read.row !== undefined) {
+            clauses.push(`Contrary recorded evidence (read ${handle}): ${clauseOf('complete', { ...read, row: read.row }, clock, true)}`);
+        }
+        else {
+            const count = read.call.rows ?? read.call.rowsRead?.length;
+            const parts = [
+                `${(0, exports.quoteValue)(read.call.toolName)} returned ${count === undefined
+                    ? 'matching rows with an undetermined count'
+                    : `${count} ${count === 1 ? 'row' : 'rows'}`}`,
+                returnedValues(read.call),
+                'coverage not declared for this result',
+            ].filter((part) => part !== undefined);
+            clauses.push(`Contrary recorded evidence (read ${handle}): ${parts.join('; ')}.`);
+        }
+    }
+    if (contrary.length > LIST_ITEMS)
+        clauses.push(`The record contains ${contrary.length - LIST_ITEMS} additional positive reads for this subject.`);
+    clauses.push(...[...reads]
+        .sort((a, b) => ordinalOf(a.call) - ordinalOf(b.call))
+        .map((read) => clauseOf('complete', read, clock, true)));
+    if (explanation === undefined)
+        clauses.push('The requested negative claim is not established by these recorded searches.');
+    return { text: clauses.join('\n'), clauses, version: exports.STATEMENT_VERSION };
+}
+exports.composeRecordedStatement = composeRecordedStatement;
+//# sourceMappingURL=statement.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"statement.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/statement.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;;;AAEH,4DAAiE;AACjE,2DAAqD;AAErD,kEAAmE;AACnE,qEAAqE;AACrE,sDAAkD;AAClD,kDAAiE;AACjE,+CAA6C;AAO7C,MAAM,SAAS,GAAG,CAAC,KAAc,EAAsB,EAAE,CAAC,IAAA,sBAAS,EAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;AAE1F,wEAAwE;AAC3D,QAAA,iBAAiB,GAAG,GAAG,CAAC;AAErC,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,UAAU,GAAG,EAAE,CAAC;AACtB,MAAM,WAAW,GAAG,EAAE,CAAC;AAEvB,4EAA4E;AAC/D,QAAA,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC5C,UAAU,EAAE,WAAW;IACvB,QAAQ,EAAE,SAAS;IACnB,SAAS,EAAE,UAAU;IACrB,UAAU,EAAE,WAAW;CACxB,CAAC,CAAC;AAEH;;;;GAIG;AACH,SAAgB,WAAW,CAAC,IAAY;IACtC,OAAO,MAAM,GAAG,IAAI,GAAG,GAAG,CAAC;AAC7B,CAAC;AAFD,kCAEC;AAED,4DAA4D;AAC5D,SAAS,KAAK,CAAC,KAAc,EAAE,GAAW;IACxC,MAAM,GAAG,GACP,OAAO,KAAK,KAAK,QAAQ;QACvB,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;YACzD,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;YACf,CAAC,CAAC,IAAA,0BAAU,EAAC,KAAK,CAAC,IAAI,EAAE,CAAC;IAC9B,MAAM,KAAK,GAAG,GAAG;SACd,SAAS,CAAC,MAAM,CAAC;SACjB,OAAO,CAAC,wBAAwB,EAAE,GAAG,CAAC;SACtC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAClB,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,IAAI,EAAE,CAAC;IACV,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IACjF,OAAO,KAAK,MAAM,IAAI,CAAC;AACzB,CAAC;AAED,iDAAiD;AAC1C,MAAM,UAAU,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;AAAnE,QAAA,UAAU,cAAyD;AAEhF,wDAAwD;AACxD,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAU,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAErE,MAAM,MAAM,GAAG,CAAC,KAAwB,EAAE,GAAW,EAAE,IAA2B,EAAY,EAAE,CAC9F,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;AAEvF,MAAM,WAAW,GAAqC;IACpD,IAAI,EAAE,sBAAsB;IAC5B,OAAO,EAAE,6BAA6B;IACtC,KAAK,EAAE,mBAAmB;IAC1B,IAAI,EAAE,sBAAsB;IAC5B,MAAM,EAAE,2BAA2B;IACnC,IAAI,EAAE,uBAAuB;CAC9B,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,IAAwB,EAAU,EAAE,CACpE,GAAG,IAAI,KAAK,WAAW,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,WAAW,CAAC,IAAI,GAAG,CAAC;AAEjE,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAE9D,SAAS,OAAO,CAAC,EAAU;IACzB,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC;IACjE,kFAAkF;IAClF,4CAA4C;IAC5C,OAAO,CAAC,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,EAAE,CAAC;AAC9E,CAAC;AAED,MAAM,KAAK,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAE9E;;;;GAIG;AACH,SAAgB,UAAU,CAAC,IAAe;IACxC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7D,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAC9B,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,GAAG;QACnD,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC;AACtE,CAAC;AAPD,gCAOC;AAED,qGAAqG;AACrG,MAAM,SAAS,GAAG,CAAC,KAAc,EAAyB,EAAE,CAC1D,IAAA,qBAAU,EAAC,KAAK,EAAE,IAAI,CAAC,IAAI,IAAA,qBAAU,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AAEpD,wEAAwE;AACxE,SAAS,aAAa,CAAC,EAAU,EAAE,KAAa;IAC9C,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC7B,OAAO,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAClD,CAAC,CAAC,GAAG,OAAO,CAAC,EAAE,CAAC,GAAG;QACnB,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,OAAO,CAAC,EAAE,CAAC,GAAG,CAAC;AACrC,CAAC;AAED,MAAM,IAAI,GAAqC;IAC7C,OAAO,EAAE,cAAc;IACvB,aAAa,EAAE,cAAc;IAC7B,UAAU,EAAE,UAAU;IACtB,OAAO,EAAE,eAAe;CACzB,CAAC;AAEF,MAAM,KAAK,GAAG,CAAC,GAAsB,EAAE,KAAiC,EAAE,EAAE,CAC1E,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;AAErD;;;;GAIG;AACH,SAAS,WAAW,CAAC,GAAsB;IACzC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,8FAA8F;IAC9F,mCAAmC;IACnC,MAAM,GAAG,GACP,QAAQ,EAAE,IAAI;QACd,SAAS,CAAC,QAAQ,EAAE,KAAK,CAAC;QAC1B,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,oBAAU,EAAC,MAAM,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9D,MAAM,UAAU,GACd,KAAK,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,kBAAU,EAAC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9F,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACvD,IAAI,MAAM,KAAK,SAAS;QACtB,OAAO,EAAE,MAAM,EAAE,UAAU,UAAU,qBAAqB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC9E,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,MAAM,OAAO,GAAG,IAAA,oBAAU,EAAC,MAAM,CAAC,CAAC;IACnC,MAAM,SAAS,GACb,OAAO,KAAK,SAAS;QACnB,CAAC,CAAC,OAAO,KAAK,SAAS;YACrB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,IAAA,kBAAU,EAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC;QACjF,CAAC,CAAC,IAAA,0BAAY,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACpC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YAC9B,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,aAAa,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACT,OAAO,EAAE,MAAM,EAAE,UAAU,UAAU,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,eAAe,GAAG,EAAE,SAAS,EAAE,CAAC;AAC7F,CAAC;AAED,6CAA6C;AAC7C,SAAS,QAAQ,CAAC,IAAuB;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,kBAAU,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrF,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,WAAW,IAAA,kBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/F,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACxF,OAAO,UAAU,CAAC,UAAU,IAAA,kBAAU,EAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO;QAAE,OAAO,UAAU,CAAC,SAAS,IAAA,kBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC1F,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,OAAO,QAAQ,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACjG,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACxF,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACvD,OAAO,UAAU,CAAC,GAAG,QAAQ,IAAI,IAAA,kBAAU,EAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,UAAU,CAAC,IAAA,kBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,yDAAyD;AACzD,SAAS,UAAU,CAAC,GAAsB,EAAE,KAAc;IACxD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpD,MAAM,UAAU,GAAG,KAAK;QACtB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG;QACd,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;QACzD,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;KAC1D,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,OAAO;QACL,GAAG,OAAO;QACV,GAAG,UAAU;QACb,GAAG,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,kBAAkB,CAAC;QAClE,GAAG,KAAK;QACR,GAAG,MAAM;KACV,CAAC;AACJ,CAAC;AAED,+CAA+C;AAC/C,SAAS,QAAQ,CAAC,GAAsB;IACtC,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAY,EAAE;QACxC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,QAAQ;gBACX,OAAO,EAAE,CAAC;YACZ,KAAK,iBAAiB;gBACpB,OAAO;oBACL,GAAG,IAAA,kBAAU,EAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,8CAA8C;wBACnF,8CAA8C;iBACjD,CAAC;YACJ,KAAK,SAAS;gBACZ,OAAO,CAAC,kCAAkC,CAAC,CAAC;YAC9C,KAAK,oBAAoB;gBACvB,OAAO,CAAC,0CAA0C,CAAC,CAAC;YACtD,KAAK,OAAO;gBACV,OAAO,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;YAClE,KAAK,SAAS;gBACZ,OAAO,CAAC,mDAAmD,CAAC,CAAC;YAC/D,KAAK,OAAO;gBACV,OAAO,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAC1D,KAAK,OAAO;gBACV,OAAO,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;YAC1D;gBACE,OAAO,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uDAAuD;AACvD,SAAS,UAAU,CAAC,IAAc;IAChC,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC;IACzC,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE;QAC3C,MAAM,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvF,OAAO,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAA,kBAAU,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;kFAEkF;AAClF,SAAS,cAAc,CAAC,IAAc;IACpC,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM;QAAE,OAAO,SAAS,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QAC5D,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChE,OAAO,IAAA,kBAAU,EAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9E,OAAO,UAAU,CACf,YAAY,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,EAC3E,QAAQ,CACT,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,SAAS,aAAa,CAAC,IAA8B;IACnD,IAAI,IAAI,EAAE,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;IACpC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,CAAC,iCAAiC,CAAC,CAAC;IAClE,OAAO,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC;QACzD,CAAC,CAAC,CAAC,qCAAqC,GAAG,EAAE,CAAC;QAC9C,CAAC,CAAC,EAAE,CAAC;AACT,CAAC;AAED,qCAAqC;AACrC,SAAS,QAAQ,CACf,IAAkB,EAClB,IAAgG,EAChG,KAAa,EACb,QAAQ,GAAG,KAAK;IAEhB,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IACjC,MAAM,QAAQ,GAAG,IAAA,kBAAU,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC;IAClC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,CAAC;IACzD,MAAM,KAAK,GACT,KAAK,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC;QAC3E,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QACrB,CAAC,CAAC,KAAK,CAAC;IACZ,MAAM,IAAI,GAAG,QAAQ;QACnB,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI;YACrB,CAAC,CAAC,GAAG,QAAQ,qCAAqC;YAClD,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,iBAAiB;gBACtC,CAAC,CAAC,GAAG,QAAQ,4BAA4B;gBACzC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;oBACxD,CAAC,CAAC,GAAG,QAAQ,SAAS,QAAQ,IAAI,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE;oBACnE,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,WAAW;wBAChC,CAAC,CAAC,GAAG,QAAQ,qDAAqD;wBAClE,CAAC,CAAC,GAAG,QAAQ,oDAAoD;QACnE,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,GAAG,QAAQ,iBAAiB,UAAU,CACpC,IAAA,kBAAU,EAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC,EAC/B,MAAM,CACP,UAAU,KAAK,QAAQ;YAC1B,CAAC,CAAC,IAAI,KAAK,UAAU;gBACrB,CAAC,CAAC,GAAG,QAAQ,SAAS,QAAQ,OAAO;gBACrC,CAAC,CAAC,GAAG,QAAQ,aAAa,CAAC;IAC7B,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACrC,IAAI,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,WAAW,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC;IACD,IAAI,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACjF,IAAI,CAAC,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;YACtE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC3F,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,gBAAgB,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,EAAE,4BAA4B,CAAC,CAAC;IACrF,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IACpD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/E,OAAO,GAAG,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC1C,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,IAAc,EAAU,EAAE;IAC3C,IAAI,CAAC;QACH,OAAO,IAAA,+BAAkB,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,gBAAgB,CAAC;IACjC,CAAC;AACH,CAAC,CAAC;AAEF,2FAA2F;AAC3F,SAAgB,gBAAgB,CAC9B,IAAkB,EAClB,KAIG,EACH,KAAa;IAEb,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,yBAAiB,EAAE,CAAC;AAC3E,CAAC;AAZD,4CAYC;AAED,uFAAuF;AACvF,SAAgB,wBAAwB,CACtC,KAIG,EACH,KAAa,EACb,WASC;IAED,MAAM,OAAO,GAAG,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,WAAW,EAAE,aAAa,IAAI,EAAE,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/E,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CACV,oCAAoC,MAAM,MAAM,QAAQ,CACtD,UAAU,EACV,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,EAC1B,KAAK,EACL,IAAI,CACL,EAAE,CACJ,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC3D,MAAM,KAAK,GAAG;gBACZ,GAAG,IAAA,kBAAU,EAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,aAC/B,KAAK,KAAK,SAAS;oBACjB,CAAC,CAAC,0CAA0C;oBAC5C,CAAC,CAAC,GAAG,KAAK,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAC9C,EAAE;gBACF,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;gBACzB,uCAAuC;aACxC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvC,OAAO,CAAC,IAAI,CAAC,oCAAoC,MAAM,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,UAAU;QAC9B,OAAO,CAAC,IAAI,CACV,uBACE,QAAQ,CAAC,MAAM,GAAG,UACpB,8CAA8C,CAC/C,CAAC;IACJ,OAAO,CAAC,IAAI,CACV,GAAG,CAAC,GAAG,KAAK,CAAC;SACV,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SACrD,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAC1D,CAAC;IACF,IAAI,WAAW,KAAK,SAAS;QAC3B,OAAO,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;IAC9F,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,yBAAiB,EAAE,CAAC;AAC3E,CAAC;AA3DD,4DA2DC"}

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

@@ -0,0 +1,42 @@
+"use strict";
+/**
+ * types — the negative-claim checker's vocabulary: what it is handed (one run leg's calls, in
+ * order) and what it files (rows of identities and codes — never a value, never a sentence).
+ *
+ * Role: integrity/ layer (L3), types only. The record's shapes are #199's: the composed row
+ * (`semantics/coverage/composedCoverage.ts` · `ComposedCoverage`) and the declaration
+ * (`semantics/coverage/search/types.ts` · `ToolSearch`).
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PROSE_NOTES = void 0;
+// ─── the prose door ──────────────────────────────────────────────────────
+/** Closed vocabulary, in the stable order used by the prose judge and checkpoint admission. */
+exports.PROSE_NOTES = [
+    'record-incomplete',
+    'stale-turn',
+    'entity-unresolved',
+    'subject-unmatched',
+    'contradicted-by-rows',
+    'readings-disagree',
+    'call-not-read',
+    'coverage-unverified',
+    'declaration-overclaimed',
+    'empty-undeclared',
+    'clarify-open',
+    'rows-undecided',
+    'scope-wider',
+    'coverage-gap',
+    'gap-relevance-unknown',
+    'cap-reached',
+    'paged',
+    'partial',
+    'ranking',
+    'search-incomplete',
+    'period-not-held',
+    'period-partly-held',
+    'period-unknown',
+    'period-undeclared',
+    'later-read-failed',
+    'superseded-by-write',
+];
+//# sourceMappingURL=types.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/types.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;;AAgJH,4EAA4E;AAE5E,+FAA+F;AAClF,QAAA,WAAW,GAAG;IACzB,mBAAmB;IACnB,YAAY;IACZ,mBAAmB;IACnB,mBAAmB;IACnB,sBAAsB;IACtB,mBAAmB;IACnB,eAAe;IACf,qBAAqB;IACrB,yBAAyB;IACzB,kBAAkB;IAClB,cAAc;IACd,gBAAgB;IAChB,aAAa;IACb,cAAc;IACd,uBAAuB;IACvB,aAAa;IACb,OAAO;IACP,SAAS;IACT,SAAS;IACT,mBAAmB;IACnB,iBAAiB;IACjB,oBAAoB;IACpB,gBAAgB;IAChB,mBAAmB;IACnB,mBAAmB;IACnB,qBAAqB;CACb,CAAC"}