agentfootprint 10.9.0 → 11.0.0

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

@@ -0,0 +1,147 @@
+"use strict";
+/**
+ * prose — the prose door (design § 5.2): negative phrases anchored in a dispatched read's
+ * declared words, sent values or resolved names are resolved and NOTED against the record.
+ * An anchor permits a finding, never binds an entity or establishes a claim. Observe-only:
+ * a note never withholds, whatever the validation mode; a claim may carry no note.
+ *
+ * Pattern: detect (`detect.ts`) → data anchor (`anchor.ts`) → resolve (`resolve.ts`) → containment notes
+ *          (`containment.ts`), one row per claim and one per unit the grammar could not judge
+ *          (`in-code-block`, `language-unsupported`), in text order. A record that may be missing
+ *          a call, or keeps one out by redaction, notes every claim `record-incomplete` and
+ *          nothing else: nothing can be said around a hole. More than MAX_NEGATIVE_CLAIMS
+ *          returns one `too-many-claims` note for the whole text, before reading the record.
+ * Role:    integrity/ layer (L3). The agent's negativeClaims arm observes every original
+ *          model string within a whole-answer budget and files these rows; no prose enforcement.
+ *
+ * Rows carry spans into the text, phrase ids, the pack version, note codes and result
+ * identities — never a word of the text or a value of the record.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.judgeProseNegatives = void 0;
+const containment_js_1 = require("./containment.js");
+const anchor_js_1 = require("./anchor.js");
+const noRead_js_1 = require("./noRead.js");
+const readings_js_1 = require("./readings.js");
+const detect_js_1 = require("./detect.js");
+const types_js_1 = require("./types.js");
+const limits_js_1 = require("./limits.js");
+const phrases_js_1 = require("./phrases.js");
+const resolve_js_1 = require("./resolve.js");
+const work_js_1 = require("./work.js");
+const ordered = (notes) => types_js_1.PROSE_NOTES.filter((note) => notes.includes(note));
+function claimRow(field, claim, notes, results, extra = {}) {
+    return {
+        kind: 'negative-claim',
+        field,
+        claim: claim.kind,
+        span: claim.span,
+        phraseId: claim.phraseId,
+        packVersion: claim.packVersion,
+        notes: ordered(notes),
+        results: [...new Set(results.map((call) => call.resultId))],
+        ...(extra.candidates === undefined || extra.candidates.length === 0
+            ? {}
+            : { candidates: extra.candidates }),
+        ...(extra.staleSince === undefined ? {} : { staleSince: extra.staleSince }),
+    };
+}
+/** Judge one claim against the record. */
+function judgeClaim(input, claim, peers) {
+    const { field, text, record } = input;
+    if (!record.ledgerComplete || peers.some((call) => call.keptOut === true)) {
+        return claimRow(field, claim, ['record-incomplete'], []);
+    }
+    const resolution = (0, resolve_js_1.resolveProseClaim)(claim, text, record, input.personMessage, input.work);
+    if (resolution.status === 'entity-unresolved') {
+        return claimRow(field, claim, ['entity-unresolved'], [], { candidates: resolution.candidates });
+    }
+    const words = (0, containment_js_1.claimWordsOf)(claim, text, record.clock, input.work);
+    const notes = [];
+    const results = [];
+    let staleSince;
+    for (const group of resolution.groups) {
+        results.push(...group.calls);
+        if (group.status === 'stale') {
+            notes.push('stale-turn');
+            staleSince = group.staleSince;
+        }
+        else if (group.status === 'subject-unmatched') {
+            notes.push('subject-unmatched');
+        }
+        else {
+            notes.push(...(0, containment_js_1.entityNotes)(group.calls, words, record, peers));
+        }
+    }
+    const inOrder = record.calls.filter((call) => results.includes(call));
+    return claimRow(field, claim, notes, inOrder, staleSince === undefined ? {} : { staleSince });
+}
+/** Note each claim, or one whole-text overflow note without judging any claim. */
+function judgeProseNegatives(input) {
+    const { field, text, record } = input;
+    const detection = (0, detect_js_1.detectNegativeClaims)(text, input.phrases);
+    if (detection.claims.length > limits_js_1.MAX_NEGATIVE_CLAIMS) {
+        return [
+            {
+                kind: 'negative-claim-note',
+                field,
+                code: 'too-many-claims',
+                span: { start: 0, end: text.length },
+                packVersion: input.phrases?.version ?? phrases_js_1.NEGATIVE_CLAIM_PHRASES_VERSION,
+            },
+        ];
+    }
+    // Detection and its cap precede every record read. A phrase alone is not
+    // a data claim; anchoring only permits a note, never resolves its entity.
+    const work = input.work ?? (0, work_js_1.createProseWorkBudget)();
+    try {
+        work.charge(0);
+        const anchored = detection.claims.length === 0 ? undefined : (0, anchor_js_1.proseAnchorOf)(record, work);
+        const peers = record.calls.filter((call) => (0, resolve_js_1.isCurrent)(call, record));
+        // This describes the native record, never an assertion about external work.
+        // A failed or hidden dispatched read is still a read attempt; an earlier
+        // turn, a proposal or a write cannot stand in for one on this turn.
+        const noRead = detection.claims.some(noRead_js_1.eligibleNoReadClaim) &&
+            !peers.some((call) => call.dispatched && (0, readings_js_1.isRead)(call));
+        const rows = [
+            ...(noRead
+                ? [
+                    {
+                        kind: 'negative-claim-note',
+                        field,
+                        code: 'no-read',
+                        span: { start: 0, end: text.length },
+                        packVersion: input.phrases?.version ?? phrases_js_1.NEGATIVE_CLAIM_PHRASES_VERSION,
+                    },
+                ]
+                : []),
+            ...detection.notes.map((note) => ({
+                kind: 'negative-claim-note',
+                field,
+                code: note.code,
+                span: note.span,
+                packVersion: note.packVersion,
+                ...(note.phraseId === undefined ? {} : { phraseId: note.phraseId }),
+            })),
+            ...detection.claims
+                .filter((claim) => anchored?.(claim, text) === true)
+                .map((claim) => judgeClaim({ ...input, work }, claim, peers)),
+        ];
+        return rows.sort((a, b) => a.span.start - b.span.start);
+    }
+    catch (error) {
+        if (!(error instanceof work_js_1.ProseWorkLimit))
+            throw error;
+        return [
+            {
+                kind: 'negative-claim-note',
+                field,
+                code: 'input-limit',
+                span: { start: 0, end: text.length },
+                packVersion: input.phrases?.version ?? phrases_js_1.NEGATIVE_CLAIM_PHRASES_VERSION,
+            },
+        ];
+    }
+}
+exports.judgeProseNegatives = judgeProseNegatives;
+//# sourceMappingURL=prose.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prose.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/prose.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;GAiBG;;;AAEH,qDAA6D;AAC7D,2CAA4C;AAC5C,2CAAkD;AAClD,+CAAuC;AACvC,2CAAuE;AACvE,yCAAyC;AACzC,2CAAkD;AAClD,6CAAiG;AACjG,6CAA4D;AAC5D,uCAAwF;AAwBxF,MAAM,OAAO,GAAG,CAAC,KAA2B,EAAe,EAAE,CAC3D,sBAAW,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAErD,SAAS,QAAQ,CACf,KAAa,EACb,KAAoB,EACpB,KAA2B,EAC3B,OAA4B,EAC5B,QAAqE,EAAE;IAEvE,OAAO;QACL,IAAI,EAAE,gBAAgB;QACtB,KAAK;QACL,KAAK,EAAE,KAAK,CAAC,IAAI;QACjB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC;QACrB,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC3D,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;YACjE,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;QACrC,GAAG,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;KAC5E,CAAC;AACJ,CAAC;AAED,0CAA0C;AAC1C,SAAS,UAAU,CACjB,KAAsB,EACtB,KAAoB,EACpB,KAA0B;IAE1B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,cAAc,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1E,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,UAAU,GAAG,IAAA,8BAAiB,EAAC,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3F,IAAI,UAAU,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;QAC9C,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,mBAAmB,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,KAAK,GAAG,IAAA,6BAAY,EAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAClE,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAe,EAAE,CAAC;IAC/B,IAAI,UAAkC,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACzB,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QAChC,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,KAAK,mBAAmB,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAClC,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,IAAA,4BAAW,EAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,kFAAkF;AAClF,SAAgB,mBAAmB,CAAC,KAAsB;IACxD,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACtC,MAAM,SAAS,GAAG,IAAA,gCAAoB,EAAC,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,+BAAmB,EAAE,CAAC;QAClD,OAAO;YACL;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,KAAK;gBACL,IAAI,EAAE,iBAAiB;gBACvB,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;gBACpC,WAAW,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,IAAI,2CAA8B;aACtE;SACF,CAAC;IACJ,CAAC;IACD,yEAAyE;IACzE,0EAA0E;IAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,IAAA,+BAAqB,GAAE,CAAC;IACnD,IAAI,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACf,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,yBAAa,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACzF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAA,sBAAS,EAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACrE,4EAA4E;QAC5E,yEAAyE;QACzE,oEAAoE;QACpE,MAAM,MAAM,GACV,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,+BAAmB,CAAC;YAC1C,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,IAAA,oBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;QACzD,MAAM,IAAI,GAAe;YACvB,GAAG,CAAC,MAAM;gBACR,CAAC,CAAC;oBACE;wBACE,IAAI,EAAE,qBAA8B;wBACpC,KAAK;wBACL,IAAI,EAAE,SAAkB;wBACxB,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;wBACpC,WAAW,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,IAAI,2CAA8B;qBACtE;iBACF;gBACH,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBAChC,IAAI,EAAE,qBAA8B;gBACpC,KAAK;gBACL,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,GAAG,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;aACpE,CAAC,CAAC;YACH,GAAG,SAAS,CAAC,MAAM;iBAChB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC;iBACnD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;SAChE,CAAC;QACF,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,CAAC,KAAK,YAAY,wBAAc,CAAC;YAAE,MAAM,KAAK,CAAC;QACpD,OAAO;YACL;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,KAAK;gBACL,IAAI,EAAE,aAAa;gBACnB,IAAI,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;gBACpC,WAAW,EAAE,KAAK,CAAC,OAAO,EAAE,OAAO,IAAI,2CAA8B;aACtE;SACF,CAAC;IACJ,CAAC;AACH,CAAC;AAhED,kDAgEC"}

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

@@ -0,0 +1,338 @@
+"use strict";
+/**
+ * readings — what makes two calls the SAME search, what makes one WIDER than another, and how
+ * the reads of one search merge (design § 5.3).
+ *
+ * Pattern: every answer is read off the COMPOSED executed scope of each call (#199's
+ *          `ComposedCoverage` items) — the tool, every filter in effect (a `whenOmitted` default
+ *          composed as if sent), the `fixed` qualifiers, a host-filled identity filter by its
+ *          reference, a period by its span resolved at dispatch, and the page asked for.
+ *          Equivalent spellings of one executed span share a key; the same relative spelling
+ *          at two dispatch instants does not. Never the tool name or
+ *          the model-visible arguments alone. An inert argument is not in the scope, so it never
+ *          splits a key; nor does a cap.
+ * Role:    integrity/ layer (L3), read by `citation.ts`, `containment.ts` and `statement.ts`.
+ *          Values compare by the library's one name rule (`lib/normalize.ts` · `sameName`);
+ *          spans by the time layer's half-open ranges (`time/range.ts`).
+ *
+ * The merge: within one key a later read replaces only an UNREAD outcome; two reads that both
+ * read and disagree — one empty, one with rows — are a disagreement, never settled by order.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mergeKeyReadings = exports.scopeRelation = exports.readingKey = exports.scopeOf = exports.returnedReading = exports.isAmongRow = exports.isRead = exports.searchWindow = exports.unheldRanges = exports.meets = exports.holdsRange = exports.spellValue = exports.sameValue = void 0;
+const normalize_js_1 = require("../../lib/normalize.js");
+const stableJson_js_1 = require("../../lib/stableJson.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");
+// ─── values and spans ────────────────────────────────────────────────────
+/** The value rule: strings by the one name rule (`sameName`); anything else by stable JSON. */
+function sameValue(a, b) {
+    if (typeof a === 'string' && typeof b === 'string')
+        return (0, normalize_js_1.sameName)(a, b);
+    return (0, stableJson_js_1.stableJson)(a) === (0, stableJson_js_1.stableJson)(b);
+}
+exports.sameValue = sameValue;
+/**
+ * A value as a key spells it — one spelling for every value `sameValue` calls the same: a
+ * string's text (`textOf`), with a foldable word lower-cased unless the text has a digit.
+ */
+function spellValue(value) {
+    if (typeof value !== 'string')
+        return `j:${(0, stableJson_js_1.stableJson)(value) ?? 'undefined'}`;
+    const text = (0, normalize_js_1.textOf)(value);
+    if ((0, normalize_js_1.hasDigit)(text))
+        return `s:${text}`;
+    return `s:${text
+        .split(' ')
+        .map((word) => ((0, normalize_js_1.foldableWord)(word) ? word.toLowerCase() : word))
+        .join(' ')}`;
+}
+exports.spellValue = spellValue;
+/** Whether `outer` holds all of `inner` (half-open). A malformed range holds nothing. */
+function holdsRange(outer, inner) {
+    try {
+        return (0, range_js_1.covers)(outer, inner);
+    }
+    catch {
+        return false;
+    }
+}
+exports.holdsRange = holdsRange;
+/** Whether two ranges share an instant. A malformed range is treated as overlapping. */
+function meets(a, b) {
+    try {
+        return (0, range_js_1.overlaps)(a, b);
+    }
+    catch {
+        return true;
+    }
+}
+exports.meets = meets;
+const msOf = (instant) => (0, instant_js_1.instantOf)(instant, 'lenient')?.ms;
+/**
+ * The parts of a read's `queried` time the store did not hold, half-open: all of it when `held`
+ * is unknown, the parts outside `held` otherwise (#199's `span.ts` · `resultSpan` makes the
+ * queried span half-open; the held one is made so the same way).
+ */
+function unheldRanges(period) {
+    const queried = (0, span_js_1.resultSpan)(period);
+    if (queried === undefined)
+        return [];
+    if (period.held === 'unknown')
+        return [queried];
+    let held;
+    try {
+        held = (0, range_js_1.fromInclusive)({ from: period.held.from, to: period.held.to });
+    }
+    catch {
+        return [queried];
+    }
+    const [qf, qt, hf, ht] = [queried.from, queried.to, held.from, held.to].map(msOf);
+    if (qf === undefined || qt === undefined || hf === undefined || ht === undefined)
+        return [queried];
+    if (ht <= qf || hf >= qt)
+        return [queried];
+    const out = [];
+    if (qf < hf)
+        out.push({ from: queried.from, to: held.from });
+    if (ht < qt)
+        out.push({ from: held.to, to: queried.to });
+    return out;
+}
+exports.unheldRanges = unheldRanges;
+/** A read's window: the span its period item ran with (dispatch time), else the result's. */
+function searchWindow(call) {
+    const item = ((0, exports.scopeOf)(call) ?? []).find((i) => i.facet === 'period');
+    if (item?.span !== undefined)
+        return item.span;
+    return call.row?.period === undefined ? undefined : (0, span_js_1.resultSpan)(call.row.period);
+}
+exports.searchWindow = searchWindow;
+// ─── reads ───────────────────────────────────────────────────────────────
+/** A call is a READ only when the caller says so; undeclared = `not-read` (§ 5.1). */
+const isRead = (call) => call.effect === 'read';
+exports.isRead = isRead;
+/** The call's row is an `among` miss: it counts the names its source holds. */
+const isAmongRow = (call) => call.row?.checked.some((item) => item.facet === 'names') === true;
+exports.isAmongRow = isAmongRow;
+/** It ran and returned something the record can read as empty or not. */
+const returnedReading = (call) => call.outcome === 'ok' &&
+    (call.emptiness === 'declared-absent' ||
+        call.emptiness === 'undeclared-empty' ||
+        call.emptiness === 'non-empty');
+exports.returnedReading = returnedReading;
+/** The composed executed scope: the row's, or the scope composed for a call with no row. */
+const scopeOf = (call) => call.row?.checked ?? call.scope;
+exports.scopeOf = scopeOf;
+const SCOPE_FACETS = new Set([
+    'source',
+    'subject',
+    'population',
+    'filter',
+    'period',
+    'page',
+]);
+const inScope = (item) => item.from !== 'result' && item.facet !== undefined && SCOPE_FACETS.has(item.facet);
+/**
+ * One item's value as the key spells it. A known period is its executed span,
+ * normalized to instants so zone-offset spellings do not split one search.
+ * A result's claimed queried period is never used to re-key the executed call.
+ */
+function valueOf(item) {
+    if (item.facet === 'period' && item.span !== undefined) {
+        const from = (0, instant_js_1.instantOf)(item.span.from, 'lenient');
+        const to = (0, instant_js_1.instantOf)(item.span.to, 'lenient');
+        return from !== undefined && to !== undefined
+            ? `span:${(0, stableJson_js_1.stableJson)([from.ms, from.nanos, to.ms, to.nanos])}`
+            : `invalid-span:${(0, stableJson_js_1.stableJson)(item.span)}`;
+    }
+    if (item.any === true)
+        return '*any';
+    if (item.value !== undefined)
+        return spellValue(item.value);
+    return `what:${spellValue(item.what)}`;
+}
+/**
+ * The page the call asked for: its `page` item, or — for a row that composed none — the value
+ * of the tool's `page` argument.
+ */
+function pageOf(call, tool) {
+    if (((0, exports.scopeOf)(call) ?? []).some((item) => item.facet === 'page'))
+        return undefined;
+    const page = tool?.search?.arguments.find((a) => a.role === 'page');
+    return page === undefined ? undefined : spellValue(call.arguments[page.name] ?? null);
+}
+/**
+ * The reading key — or undefined when the call has no composed scope. `clock` is accepted for
+ * the callers' symmetry and never read: the executed period was resolved at dispatch.
+ */
+function readingKey(call, tool, 
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+_clock) {
+    const items = (0, exports.scopeOf)(call);
+    if (items === undefined)
+        return undefined;
+    const entries = items
+        .filter(inScope)
+        .map((item) => [
+        item.facet ?? '',
+        item.argument ?? '',
+        valueOf(item),
+        item.from === 'host' ? 'host' : '',
+    ])
+        .map((entry) => entry.join('\u{1F}'))
+        .sort();
+    const page = pageOf(call, tool);
+    return `${call.toolName}\u{0}${(0, stableJson_js_1.stableJson)({ entries, page: page ?? null })}`;
+}
+exports.readingKey = readingKey;
+const OTHER = Object.freeze({
+    relation: 'other',
+    narrowed: [],
+    windowNarrowed: false,
+});
+function grouped(items) {
+    const out = new Map();
+    for (const item of items.filter(inScope)) {
+        const key = `${item.facet ?? ''}\u{1F}${item.argument ?? ''}`;
+        out.set(key, [...(out.get(key) ?? []), item]);
+    }
+    return out;
+}
+const sameRangeSafe = (a, b) => {
+    try {
+        return (0, range_js_1.sameRange)(a, b);
+    }
+    catch {
+        return false;
+    }
+};
+/** `a` against `b` for one group of items. */
+function compareGroup(a, b, narrowed, window) {
+    const first = a[0];
+    const facet = first.facet;
+    const spell = (items) => new Set(items.map((item) => `${valueOf(item)}\u{1F}${item.from === 'host' ? 'host' : ''}`));
+    if (facet === 'population') {
+        const sa = spell(a);
+        const sb = spell(b);
+        const aExtra = [...sa].some((v) => !sb.has(v));
+        const bExtra = [...sb].some((v) => !sa.has(v));
+        if (aExtra && bExtra)
+            return 'other';
+        if (aExtra) {
+            narrowed.push({ argument: first.argument ?? '', values: b.map((item) => item.value) });
+            return 'wider';
+        }
+        return bExtra ? 'narrower' : 'equal';
+    }
+    if (a.length !== 1 || b.length !== 1)
+        return (0, stableJson_js_1.stableJson)([...spell(a)].sort()) === (0, stableJson_js_1.stableJson)([...spell(b)].sort())
+            ? 'equal'
+            : 'other';
+    const ia = first;
+    const ib = b[0];
+    if (facet === 'filter' &&
+        ia.from !== 'fixed' &&
+        ia.from !== 'host' &&
+        ib.from !== 'fixed' &&
+        ib.from !== 'host') {
+        if (ia.any === true && ib.any === true)
+            return 'equal';
+        if (ia.any === true) {
+            narrowed.push({ argument: ib.argument ?? '', values: [ib.value] });
+            return 'wider';
+        }
+        if (ib.any === true)
+            return 'narrower';
+    }
+    if (facet === 'period') {
+        const pa = ia.span;
+        const pb = ib.span;
+        if (pa !== undefined && pb !== undefined) {
+            if (sameRangeSafe(pa, pb))
+                return 'equal';
+            if (holdsRange(pa, pb)) {
+                window.narrowed = true;
+                return 'wider';
+            }
+            return holdsRange(pb, pa) ? 'narrower' : 'other';
+        }
+        // One known window and one unresolved window are not proved to be the
+        // same search even when the arguments contain the same relative words.
+        if (pa !== undefined || pb !== undefined)
+            return 'other';
+    }
+    return valueOf(ia) === valueOf(ib) && (ia.from === 'host') === (ib.from === 'host')
+        ? 'equal'
+        : 'other';
+}
+/**
+ * How `a`'s composed scope relates to `b`'s. Different tools are always `other`. A period
+ * compares the spans the calls ran with before any unresolved spelling — no clock is needed.
+ */
+function scopeRelation(a, b, tool, 
+// eslint-disable-next-line @typescript-eslint/no-unused-vars
+_clock) {
+    const ia = (0, exports.scopeOf)(a);
+    const ib = (0, exports.scopeOf)(b);
+    if (a.toolName !== b.toolName || ia === undefined || ib === undefined)
+        return OTHER;
+    if (pageOf(a, tool) !== pageOf(b, tool))
+        return OTHER;
+    const ga = grouped(ia);
+    const gb = grouped(ib);
+    const keys = new Set([...ga.keys(), ...gb.keys()]);
+    const narrowed = [];
+    const window = { narrowed: false };
+    let wider = false;
+    let narrower = false;
+    for (const key of keys) {
+        const xa = ga.get(key);
+        const xb = gb.get(key);
+        if (xa === undefined || xb === undefined)
+            return OTHER;
+        const step = compareGroup(xa, xb, narrowed, window);
+        if (step === 'other')
+            return OTHER;
+        if (step === 'wider')
+            wider = true;
+        if (step === 'narrower')
+            narrower = true;
+    }
+    if (wider && narrower)
+        return OTHER;
+    if (!wider)
+        return { relation: narrower ? 'narrower' : 'same', narrowed: [], windowNarrowed: false };
+    return {
+        relation: 'wider',
+        narrowed: narrowed.sort((x, y) => x.argument < y.argument ? -1 : x.argument > y.argument ? 1 : 0),
+        windowNarrowed: window.narrowed,
+    };
+}
+exports.scopeRelation = scopeRelation;
+// ─── the merge ───────────────────────────────────────────────────────────
+const emptyClass = (call) => call.emptiness === 'non-empty'
+    ? 'rows'
+    : call.emptiness === 'declared-absent' || call.emptiness === 'undeclared-empty'
+        ? 'empty'
+        : 'other';
+/** The reads of one key, in order, merged. */
+function mergeKeyReadings(calls) {
+    let reading;
+    let disagree = false;
+    for (const call of calls) {
+        if (call.outcome !== 'ok')
+            continue;
+        if (reading === undefined) {
+            reading = call;
+            continue;
+        }
+        const pair = new Set([emptyClass(reading), emptyClass(call)]);
+        if (pair.has('empty') && pair.has('rows'))
+            disagree = true;
+    }
+    return { reading, disagree };
+}
+exports.mergeKeyReadings = mergeKeyReadings;
+//# sourceMappingURL=readings.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"readings.js","sourceRoot":"","sources":["../../../src/integrity/negative-claim/readings.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;;AAEH,yDAAkF;AAClF,2DAAqD;AAGrD,qEAAqE;AACrE,sDAAkD;AAClD,kDAAiG;AAMjG,4EAA4E;AAE5E,+FAA+F;AAC/F,SAAgB,SAAS,CAAC,CAAU,EAAE,CAAU;IAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAA,uBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1E,OAAO,IAAA,0BAAU,EAAC,CAAC,CAAC,KAAK,IAAA,0BAAU,EAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAHD,8BAGC;AAED;;;GAGG;AACH,SAAgB,UAAU,CAAC,KAAc;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,IAAA,0BAAU,EAAC,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;IAC9E,MAAM,IAAI,GAAG,IAAA,qBAAM,EAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,IAAA,uBAAQ,EAAC,IAAI,CAAC;QAAE,OAAO,KAAK,IAAI,EAAE,CAAC;IACvC,OAAO,KAAK,IAAI;SACb,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAA,2BAAY,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;SAC/D,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;AACjB,CAAC;AARD,gCAQC;AAED,yFAAyF;AACzF,SAAgB,UAAU,CAAC,KAAgB,EAAE,KAAgB;IAC3D,IAAI,CAAC;QACH,OAAO,IAAA,iBAAM,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAND,gCAMC;AAED,wFAAwF;AACxF,SAAgB,KAAK,CAAC,CAAY,EAAE,CAAY;IAC9C,IAAI,CAAC;QACH,OAAO,IAAA,mBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAND,sBAMC;AAED,MAAM,IAAI,GAAG,CAAC,OAAe,EAAsB,EAAE,CAAC,IAAA,sBAAS,EAAC,OAAO,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC;AAExF;;;;GAIG;AACH,SAAgB,YAAY,CAAC,MAAsB;IACjD,MAAM,OAAO,GAAG,IAAA,oBAAU,EAAC,MAAM,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACrC,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,IAAe,CAAC;IACpB,IAAI,CAAC;QACH,IAAI,GAAG,IAAA,wBAAa,EAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;IACvE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,CAAC,OAAO,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClF,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;QAC9E,OAAO,CAAC,OAAO,CAAC,CAAC;IACnB,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAgB,EAAE,CAAC;IAC5B,IAAI,EAAE,GAAG,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC7D,IAAI,EAAE,GAAG,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IACzD,OAAO,GAAG,CAAC;AACb,CAAC;AAlBD,oCAkBC;AAED,6FAA6F;AAC7F,SAAgB,YAAY,CAAC,IAAc;IACzC,MAAM,IAAI,GAAG,CAAC,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IACrE,IAAI,IAAI,EAAE,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,OAAO,IAAI,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,oBAAU,EAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAClF,CAAC;AAJD,oCAIC;AAED,4EAA4E;AAE5E,sFAAsF;AAC/E,MAAM,MAAM,GAAG,CAAC,IAAc,EAAW,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC;AAA7D,QAAA,MAAM,UAAuD;AAE1E,+EAA+E;AACxE,MAAM,UAAU,GAAG,CAAC,IAAc,EAAW,EAAE,CACpD,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,IAAI,CAAC;AADvD,QAAA,UAAU,cAC6C;AAEpE,yEAAyE;AAClE,MAAM,eAAe,GAAG,CAAC,IAAc,EAAW,EAAE,CACzD,IAAI,CAAC,OAAO,KAAK,IAAI;IACrB,CAAC,IAAI,CAAC,SAAS,KAAK,iBAAiB;QACnC,IAAI,CAAC,SAAS,KAAK,kBAAkB;QACrC,IAAI,CAAC,SAAS,KAAK,WAAW,CAAC,CAAC;AAJvB,QAAA,eAAe,mBAIQ;AAEpC,4FAA4F;AACrF,MAAM,OAAO,GAAG,CAAC,IAAc,EAA4C,EAAE,CAClF,IAAI,CAAC,GAAG,EAAE,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC;AADrB,QAAA,OAAO,WACc;AAElC,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS;IACnC,QAAQ;IACR,SAAS;IACT,YAAY;IACZ,QAAQ;IACR,QAAQ;IACR,MAAM;CACP,CAAC,CAAC;AAEH,MAAM,OAAO,GAAG,CAAC,IAAuB,EAAW,EAAE,CACnD,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAErF;;;;GAIG;AACH,SAAS,OAAO,CAAC,IAAuB;IACtC,IAAI,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvD,MAAM,IAAI,GAAG,IAAA,sBAAS,EAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAClD,MAAM,EAAE,GAAG,IAAA,sBAAS,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAC9C,OAAO,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAC3C,CAAC,CAAC,QAAQ,IAAA,0BAAU,EAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE;YAC9D,CAAC,CAAC,gBAAgB,IAAA,0BAAU,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9C,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACrC,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,OAAO,QAAQ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AACzC,CAAC;AAED;;;GAGG;AACH,SAAS,MAAM,CAAC,IAAc,EAAE,IAA8B;IAC5D,IAAI,CAAC,IAAA,eAAO,EAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,IAAI,CAAC,KAAgB,KAAK,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9F,MAAM,IAAI,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IACpE,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC;AACxF,CAAC;AAED;;;GAGG;AACH,SAAgB,UAAU,CACxB,IAAc,EACd,IAA8B;AAC9B,6DAA6D;AAC7D,MAAe;IAEf,MAAM,KAAK,GAAG,IAAA,eAAO,EAAC,IAAI,CAAC,CAAC;IAC5B,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,OAAO,GAAG,KAAK;SAClB,MAAM,CAAC,OAAO,CAAC;SACf,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACb,IAAI,CAAC,KAAK,IAAI,EAAE;QAChB,IAAI,CAAC,QAAQ,IAAI,EAAE;QACnB,OAAO,CAAC,IAAI,CAAC;QACb,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;KACnC,CAAC;SACD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;SACpC,IAAI,EAAE,CAAC;IACV,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAChC,OAAO,GAAG,IAAI,CAAC,QAAQ,QAAQ,IAAA,0BAAU,EAAC,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC,EAAE,CAAC;AAC/E,CAAC;AApBD,gCAoBC;AAmBD,MAAM,KAAK,GAAkB,MAAM,CAAC,MAAM,CAAC;IACzC,QAAQ,EAAE,OAAO;IACjB,QAAQ,EAAE,EAAE;IACZ,cAAc,EAAE,KAAK;CACtB,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,KAAmC;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAA+B,CAAC;IACnD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,SAAS,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QAC9D,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAID,MAAM,aAAa,GAAG,CAAC,CAAY,EAAE,CAAY,EAAW,EAAE;IAC5D,IAAI,CAAC;QACH,OAAO,IAAA,oBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,8CAA8C;AAC9C,SAAS,YAAY,CACnB,CAA+B,EAC/B,CAA+B,EAC/B,QAAoB,EACpB,MAA6B;IAE7B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAsB,CAAC;IACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,KAAK,GAAG,CAAC,KAAmC,EAAE,EAAE,CACpD,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC9F,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAI,MAAM,IAAI,MAAM;YAAE,OAAO,OAAO,CAAC;QACrC,IAAI,MAAM,EAAE,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACvF,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;IACvC,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAClC,OAAO,IAAA,0BAAU,EAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,IAAA,0BAAU,EAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1E,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,OAAO,CAAC;IACd,MAAM,EAAE,GAAG,KAAK,CAAC;IACjB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAsB,CAAC;IACrC,IACE,KAAK,KAAK,QAAQ;QAClB,EAAE,CAAC,IAAI,KAAK,OAAO;QACnB,EAAE,CAAC,IAAI,KAAK,MAAM;QAClB,EAAE,CAAC,IAAI,KAAK,OAAO;QACnB,EAAE,CAAC,IAAI,KAAK,MAAM,EAClB,CAAC;QACD,IAAI,EAAE,CAAC,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,OAAO,CAAC;QACvD,IAAI,EAAE,CAAC,GAAG,KAAK,IAAI,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACnE,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IAAI,EAAE,CAAC,GAAG,KAAK,IAAI;YAAE,OAAO,UAAU,CAAC;IACzC,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC;QACnB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC;QACnB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACzC,IAAI,aAAa,CAAC,EAAE,EAAE,EAAE,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC1C,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;gBACvB,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,OAAO,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC;QACnD,CAAC;QACD,sEAAsE;QACtE,uEAAuE;QACvE,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;IAC3D,CAAC;IACD,OAAO,OAAO,CAAC,EAAE,CAAC,KAAK,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,CAAC;QACjF,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAgB,aAAa,CAC3B,CAAW,EACX,CAAW,EACX,IAA8B;AAC9B,6DAA6D;AAC7D,MAAe;IAEf,MAAM,EAAE,GAAG,IAAA,eAAO,EAAC,CAAC,CAAC,CAAC;IACtB,MAAM,EAAE,GAAG,IAAA,eAAO,EAAC,CAAC,CAAC,CAAC;IACtB,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACpF,IAAI,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtD,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IACvB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAe,EAAE,CAAC;IAChC,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IACnC,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACvD,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACnC,IAAI,IAAI,KAAK,OAAO;YAAE,KAAK,GAAG,IAAI,CAAC;QACnC,IAAI,IAAI,KAAK,UAAU;YAAE,QAAQ,GAAG,IAAI,CAAC;IAC3C,CAAC;IACD,IAAI,KAAK,IAAI,QAAQ;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,CAAC,KAAK;QACR,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IAC3F,OAAO;QACL,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC/B,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/D;QACD,cAAc,EAAE,MAAM,CAAC,QAAQ;KAChC,CAAC;AACJ,CAAC;AArCD,sCAqCC;AAED,4EAA4E;AAE5E,MAAM,UAAU,GAAG,CAAC,IAAc,EAA8B,EAAE,CAChE,IAAI,CAAC,SAAS,KAAK,WAAW;IAC5B,CAAC,CAAC,MAAM;IACR,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,iBAAiB,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAkB;QAC/E,CAAC,CAAC,OAAO;QACT,CAAC,CAAC,OAAO,CAAC;AAEd,8CAA8C;AAC9C,SAAgB,gBAAgB,CAAC,KAA0B;IAIzD,IAAI,OAA6B,CAAC;IAClC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI;YAAE,SAAS;QACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,QAAQ,GAAG,IAAI,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC;AAhBD,4CAgBC"}