agentfootprint 10.9.0 → 11.0.0

package/dist/esm/semantics/coverage/search/declaration.d.ts

@@ -0,0 +1,75 @@
+/**
+ * search/declaration — the ONE rule a `Tool.search` declaration is held to.
+ *
+ * Pattern: one validator, two doors (the `assertResultCeiling` precedent):
+ *          `defineTool` refuses at definition, and the MCP ingest door
+ *          (`mcp/toolExtras.ts` · `readToolExtras`) asks the same function
+ *          and drops a declaration it refuses. A declaration nobody vetted —
+ *          a remote `_meta` bag — must land on a message, never a TypeError.
+ * Role:    semantics/ layer, pure. Throws `Error` naming the tool, the field
+ *          and the code (`unclassified-argument`, `unknown-argument`,
+ *          `gaps-without-bears`, `fixed-without-said`, `when-omitted-shape`,
+ *          `statement-text-refused`).
+ * Emits:   N/A.
+ *
+ * Why so strict: a declaration is untrusted text from the tool author, and the
+ * composer builds every coverage row from it. An argument nobody classified
+ * would be ground nobody accounts for; a default that is neither a value nor
+ * `{ any: true }` would be read as one of them by a guess. Every such shape is
+ * refused here, at the line the author wrote, not at the first "not found" of
+ * the first incident.
+ */
+import { type PeriodShapes } from '../../../time/periodForm.js';
+import type { SearchRole, SearchScalar, ToolSearch } from './types.js';
+/** The closed role set, tied to {@link SearchRole} in both directions. */
+export declare const SEARCH_ROLES: readonly SearchRole[];
+/** What the declaration is judged against, besides itself. */
+export interface SearchDeclarationContext {
+    /** The tool's `inputSchema` — every one of its properties needs a role. */
+    readonly inputSchema: Readonly<Record<string, unknown>>;
+    /**
+     * The arguments the tool's `period` names, when it declares one — a
+     * `period`-role argument must be one of them. Absent: no `period` declared.
+     */
+    readonly periodArguments?: readonly string[];
+}
+/** A finite number, a string or a boolean — what a default or a qualifier may be. */
+export declare function isSearchScalar(v: unknown): v is SearchScalar;
+/** `{ any: true }` exactly — no other key, no other value. */
+export declare function isAnyValue(v: unknown): v is {
+    readonly any: true;
+};
+/**
+ * The declaration as it is STORED — a deep copy, frozen, each argument's
+ * `said` a null-prototype map — so nothing downstream can mutate it and no
+ * value a call sends can reach an inherited property through it
+ * (`valueWords.ts`). `defineTool` and the MCP ingest door store this, after
+ * `assertToolSearch` accepted the declaration.
+ */
+export declare function freezeSearch(search: ToolSearch): ToolSearch;
+/**
+ * The arguments a tool's `period` names — its single argument, its zone
+ * argument and every argument of its forms — or `undefined` when it declares
+ * no period. What a `period`-role search argument must be one of.
+ */
+export declare function periodArgumentsOf(period: PeriodShapes | undefined): readonly string[] | undefined;
+/**
+ * Refuse a `search` this library cannot honour, at definition time — naming
+ * the tool, the field and the code. `undefined` declares nothing and passes.
+ *
+ * @example
+ * ```ts
+ * assertToolSearch('list_incidents', search, { inputSchema });
+ * ```
+ */
+export declare function assertToolSearch(toolName: string, search: ToolSearch | undefined, context: SearchDeclarationContext): void;
+/**
+ * EVERY declaration text that can reach a statement the library writes, as it
+ * lands there: the source's and the subject's `what`; each fixed qualifier and
+ * each declared default as `name: value` (one per value of a list); each
+ * classified argument's name (a sent value is the call's, quoted by the
+ * writer, never declaration text); each gap's `what` and `why`. A new field
+ * that reaches a statement joins THIS list, so it meets the one rule.
+ * Assumes a declaration whose shape `assertToolSearch` already accepted.
+ */
+export declare function statementTextsOf(search: ToolSearch): ReadonlyArray<readonly [string, string]>;

package/dist/esm/semantics/coverage/search/declaration.js

@@ -0,0 +1,453 @@
+/**
+ * search/declaration — the ONE rule a `Tool.search` declaration is held to.
+ *
+ * Pattern: one validator, two doors (the `assertResultCeiling` precedent):
+ *          `defineTool` refuses at definition, and the MCP ingest door
+ *          (`mcp/toolExtras.ts` · `readToolExtras`) asks the same function
+ *          and drops a declaration it refuses. A declaration nobody vetted —
+ *          a remote `_meta` bag — must land on a message, never a TypeError.
+ * Role:    semantics/ layer, pure. Throws `Error` naming the tool, the field
+ *          and the code (`unclassified-argument`, `unknown-argument`,
+ *          `gaps-without-bears`, `fixed-without-said`, `when-omitted-shape`,
+ *          `statement-text-refused`).
+ * Emits:   N/A.
+ *
+ * Why so strict: a declaration is untrusted text from the tool author, and the
+ * composer builds every coverage row from it. An argument nobody classified
+ * would be ground nobody accounts for; a default that is neither a value nor
+ * `{ any: true }` would be read as one of them by a guess. Every such shape is
+ * refused here, at the line the author wrote, not at the first "not found" of
+ * the first incident.
+ */
+import { plainLineProblem } from '../../../lib/plainLine.js';
+import { formArguments, sugarForms } from '../../../time/periodForm.js';
+import { statementTextProblem } from './statementText.js';
+/** The closed role set, tied to {@link SearchRole} in both directions. */
+export const SEARCH_ROLES = Object.keys({
+    population: true,
+    filter: true,
+    period: true,
+    source: true,
+    query: true,
+    match: true,
+    cap: true,
+    page: true,
+    inert: true,
+});
+/** The declaration's keys, tied to {@link ToolSearch}. */
+const SEARCH_KEYS = Object.keys({
+    source: true,
+    subject: true,
+    fixed: true,
+    arguments: true,
+    complete: true,
+    gaps: true,
+    limits: true,
+    ranking: true,
+});
+const ARGUMENT_KEYS = Object.keys({
+    name: true,
+    role: true,
+    whenOmitted: true,
+    said: true,
+});
+const FIXED_KEYS = Object.keys({
+    name: true,
+    value: true,
+    said: true,
+});
+const GAP_KEYS = Object.keys({
+    what: true,
+    why: true,
+    bears: true,
+});
+const WORDS_KEYS = Object.keys({
+    what: true,
+    said: true,
+});
+/** The plain facets a gap may bear on; a filter facet is `{ filter, values? }`. */
+const PLAIN_FACETS = ['source', 'population', 'period', 'completeness'];
+/** Roles a claim may name a VALUE of in words. */
+const WORDED_ROLES = ['filter', 'source'];
+const isPlain = (v) => typeof v === 'object' && v !== null && !Array.isArray(v);
+const isName = (v) => typeof v === 'string' && v.trim() !== '';
+/** A finite number, a string or a boolean — what a default or a qualifier may be. */
+export function isSearchScalar(v) {
+    return (typeof v === 'string' || typeof v === 'boolean' || (typeof v === 'number' && Number.isFinite(v)));
+}
+/** `{ any: true }` exactly — no other key, no other value. */
+export function isAnyValue(v) {
+    return isPlain(v) && Object.keys(v).length === 1 && v.any === true;
+}
+/**
+ * The declaration as it is STORED — a deep copy, frozen, each argument's
+ * `said` a null-prototype map — so nothing downstream can mutate it and no
+ * value a call sends can reach an inherited property through it
+ * (`valueWords.ts`). `defineTool` and the MCP ingest door store this, after
+ * `assertToolSearch` accepted the declaration.
+ */
+export function freezeSearch(search) {
+    const words = (list) => Object.freeze([...list]);
+    const said = (map) => {
+        const out = Object.create(null);
+        for (const [value, list] of Object.entries(map))
+            out[value] = words(list);
+        return Object.freeze(out);
+    };
+    const bears = (b) => typeof b === 'string'
+        ? b
+        : Object.freeze({
+            filter: b.filter,
+            ...(b.values !== undefined && { values: Object.freeze([...b.values]) }),
+        });
+    return Object.freeze({
+        source: Object.freeze({ what: search.source.what, said: words(search.source.said) }),
+        subject: Object.freeze({ what: search.subject.what, said: words(search.subject.said) }),
+        ...(search.fixed !== undefined && {
+            fixed: Object.freeze(search.fixed.map((q) => Object.freeze({ name: q.name, value: q.value, said: words(q.said) }))),
+        }),
+        arguments: Object.freeze(search.arguments.map((a) => Object.freeze({
+            name: a.name,
+            role: a.role,
+            ...(a.whenOmitted !== undefined && {
+                whenOmitted: Array.isArray(a.whenOmitted)
+                    ? Object.freeze([...a.whenOmitted])
+                    : isAnyValue(a.whenOmitted)
+                        ? Object.freeze({ any: true })
+                        : a.whenOmitted,
+            }),
+            ...(a.said !== undefined && { said: said(a.said) }),
+        }))),
+        ...(search.complete !== undefined && { complete: search.complete }),
+        ...(search.ranking !== undefined && { ranking: search.ranking }),
+        ...(search.gaps !== undefined && {
+            gaps: Object.freeze(search.gaps.map((g) => Object.freeze({ what: g.what, why: g.why, bears: bears(g.bears) }))),
+        }),
+        ...(search.limits !== undefined && {
+            limits: Object.freeze({
+                ...(search.limits.cap !== undefined && { cap: search.limits.cap }),
+                ...(search.limits.byCredential === true && { byCredential: true }),
+            }),
+        }),
+    });
+}
+/**
+ * The arguments a tool's `period` names — its single argument, its zone
+ * argument and every argument of its forms — or `undefined` when it declares
+ * no period. What a `period`-role search argument must be one of.
+ */
+export function periodArgumentsOf(period) {
+    if (period === undefined)
+        return undefined;
+    const named = new Set();
+    if (period.argument !== undefined)
+        named.add(period.argument);
+    if (period.zoneArgument !== undefined)
+        named.add(period.zoneArgument);
+    for (const form of sugarForms(period)) {
+        for (const a of formArguments(form))
+            named.add(a.argument);
+    }
+    return [...named];
+}
+/**
+ * Refuse a `search` this library cannot honour, at definition time — naming
+ * the tool, the field and the code. `undefined` declares nothing and passes.
+ *
+ * @example
+ * ```ts
+ * assertToolSearch('list_incidents', search, { inputSchema });
+ * ```
+ */
+export function assertToolSearch(toolName, search, context) {
+    if (search === undefined)
+        return;
+    const refuse = (field, message, code) => {
+        throw new Error(`defineTool('${toolName}'): \`${field}\` ${message}` +
+            (code === undefined ? '' : ` (${code})`));
+    };
+    if (!isPlain(search)) {
+        refuse('search', 'must be { source, subject, arguments, fixed?, complete?, gaps?, limits? } — what one ' +
+            'call of this tool searches. To declare nothing, omit the field.');
+    }
+    refuseUnknown(search, SEARCH_KEYS, 'search', refuse);
+    checkWords(search.source, 'search.source', refuse);
+    checkWords(search.subject, 'search.subject', refuse);
+    const properties = propertiesOf(context.inputSchema);
+    const fixedNames = checkFixed(search.fixed, properties, refuse);
+    const roles = checkArguments(search.arguments, properties, context, refuse);
+    if (search.complete !== undefined && search.complete !== 'within-arguments') {
+        refuse('search.complete', `is ${JSON.stringify(search.complete)} — the one statement is 'within-arguments' ` +
+            '(complete for the population, filters and period in effect). Omit it and no call is ' +
+            'ever complete.');
+    }
+    if (search.ranking !== undefined && search.ranking !== 'approximate') {
+        refuse('search.ranking', `is ${JSON.stringify(search.ranking)} — the one value is 'approximate' (a vector, ` +
+            'top-k or fuzzy ranking). Omit it for a search that returns every row that fits.');
+    }
+    if (search.ranking === 'approximate' && search.complete !== undefined) {
+        refuse('search.complete', "is declared beside ranking: 'approximate' — a ranked search returns the rows nearest, " +
+            'never every row that fits, so it is never complete. Drop `complete`.', 'complete-beside-approximate');
+    }
+    checkGaps(search.gaps, roles, fixedNames, refuse);
+    checkLimits(search.limits, refuse);
+    // Every text that can reach a statement, judged by ONE rule, as the text
+    // that lands there (a fixed qualifier as `name: value`) — no per-field drift.
+    for (const [field, text] of statementTextsOf(search))
+        checkStatementText(text, field, refuse);
+}
+/**
+ * EVERY declaration text that can reach a statement the library writes, as it
+ * lands there: the source's and the subject's `what`; each fixed qualifier and
+ * each declared default as `name: value` (one per value of a list); each
+ * classified argument's name (a sent value is the call's, quoted by the
+ * writer, never declaration text); each gap's `what` and `why`. A new field
+ * that reaches a statement joins THIS list, so it meets the one rule.
+ * Assumes a declaration whose shape `assertToolSearch` already accepted.
+ */
+export function statementTextsOf(search) {
+    const out = [
+        ['search.source.what', search.source.what],
+        ['search.subject.what', search.subject.what],
+    ];
+    (search.fixed ?? []).forEach((q, i) => {
+        out.push([`search.fixed[${i}]`, `${q.name}: ${String(q.value)}`]);
+    });
+    search.arguments.forEach((a, i) => {
+        if (a.role === 'inert')
+            return;
+        const at = `search.arguments[${i}]`;
+        const omitted = a.whenOmitted;
+        if (omitted === undefined || isAnyValue(omitted)) {
+            out.push([at, isAnyValue(omitted) ? `${a.name}: any` : a.name]);
+            return;
+        }
+        const values = Array.isArray(omitted)
+            ? omitted
+            : [omitted];
+        for (const v of values)
+            out.push([`${at}.whenOmitted`, `${a.name}: ${String(v)}`]);
+    });
+    (search.gaps ?? []).forEach((g, i) => {
+        out.push([`search.gaps[${i}].what`, g.what]);
+        out.push([`search.gaps[${i}].why`, g.why]);
+    });
+    return out;
+}
+function refuseUnknown(value, known, field, refuse) {
+    const unknown = Object.keys(value).find((key) => !known.includes(key));
+    if (unknown !== undefined) {
+        refuse(field, `has an unknown key '${unknown}' — the keys are ${known.join(', ')}.`);
+    }
+}
+/** A non-empty string — its shape is the statement rule's (`statementTextsOf`). */
+function checkPresent(value, field, refuse) {
+    if (!isName(value))
+        return refuse(field, 'must be a non-empty string.');
+    return value;
+}
+/** One plain line, non-empty. */
+function checkLine(value, field, refuse) {
+    if (!isName(value))
+        return refuse(field, 'must be a non-empty string.');
+    const problem = plainLineProblem(`\`${field}\``, value);
+    if (problem !== undefined)
+        refuse(field, `is not one plain line: ${problem}`);
+    return value;
+}
+/**
+ * Text that can reach a statement the library writes — one plain line, at
+ * most 120 characters, no instruction (`statementText.ts`).
+ */
+function checkStatementText(value, field, refuse) {
+    if (!isName(value))
+        return refuse(field, 'must be a non-empty string.');
+    const problem = statementTextProblem(field, value);
+    if (problem !== undefined)
+        refuse(field, `is refused: ${problem}`, 'statement-text-refused');
+    return value;
+}
+/** A non-empty list of plain one-line words. */
+function checkSaid(value, field, refuse, code) {
+    if (!Array.isArray(value) || value.length === 0) {
+        refuse(field, 'must list at least one word a claim may use — the said words are the ONLY vocabulary ' +
+            'a claim is matched to, so an empty list matches nothing.', code);
+    }
+    value.forEach((word, i) => checkLine(word, `${field}[${i}]`, refuse));
+}
+function checkWords(value, field, refuse) {
+    if (!isPlain(value))
+        refuse(field, "must be { what, said } — e.g. { what: 'the incident store', said: ['the incident store'] }.");
+    refuseUnknown(value, WORDS_KEYS, field, refuse);
+    checkPresent(value.what, `${field}.what`, refuse);
+    checkSaid(value.said, `${field}.said`, refuse);
+}
+function propertiesOf(schema) {
+    const properties = schema.properties;
+    return isPlain(properties) ? Object.keys(properties) : [];
+}
+function checkFixed(fixed, properties, refuse) {
+    const names = new Set();
+    if (fixed === undefined)
+        return names;
+    if (!Array.isArray(fixed)) {
+        return refuse('search.fixed', 'must be a list of { name, value, said } qualifiers.');
+    }
+    fixed.forEach((raw, i) => {
+        const at = `search.fixed[${i}]`;
+        if (!isPlain(raw))
+            refuse(at, 'must be { name, value, said }.');
+        const q = raw;
+        refuseUnknown(q, FIXED_KEYS, at, refuse);
+        const name = checkLine(q.name, `${at}.name`, refuse);
+        if (properties.includes(name)) {
+            refuse(`${at}.name`, `'${name}' is an input property — a fixed qualifier is one the tool ALWAYS applies, ` +
+                'so it is never sent. Classify the property in `arguments` instead.');
+        }
+        if (names.has(name))
+            refuse(`${at}.name`, `'${name}' is declared twice.`);
+        names.add(name);
+        if (!isSearchScalar(q.value)) {
+            refuse(`${at}.value`, 'must be a string, a finite number or a boolean.');
+        }
+        checkSaid(q.said, `${at}.said`, refuse, 'fixed-without-said');
+    });
+    return names;
+}
+function checkWhenOmitted(arg, at, refuse) {
+    if (!('whenOmitted' in arg) || arg.whenOmitted === undefined)
+        return;
+    if (arg.role === 'inert') {
+        refuse(`${at}.whenOmitted`, 'is declared on an inert argument — an inert argument changes the bytes, not the ' +
+            'ground, so a default means nothing there. Drop it.');
+    }
+    const v = arg.whenOmitted;
+    const ok = isSearchScalar(v) ||
+        isAnyValue(v) ||
+        (Array.isArray(v) && v.length > 0 && v.every(isSearchScalar));
+    if (!ok) {
+        refuse(`${at}.whenOmitted`, `is ${JSON.stringify(v)} — it has two forms and no third: the default VALUE execute ` +
+            'applies (a string, a finite number, a boolean or a list of them), composed as if ' +
+            'sent; or { any: true }, omission narrows nothing. Omit it and an unsent argument ' +
+            'is a gap.', 'when-omitted-shape');
+    }
+}
+function checkArgumentSaid(arg, at, refuse) {
+    if (arg.said === undefined)
+        return;
+    if (!WORDED_ROLES.includes(arg.role)) {
+        refuse(`${at}.said`, `is declared on a '${String(arg.role)}' argument — value words belong to 'filter' and ` +
+            "'source' arguments only (a population value's words come from the result's `resolved`).");
+    }
+    if (!isPlain(arg.said) || Object.keys(arg.said).length === 0) {
+        refuse(`${at}.said`, "must map each value to its words — { critical: ['critical', 'sev1'] }.");
+    }
+    for (const [value, words] of Object.entries(arg.said)) {
+        checkSaid(words, `${at}.said.${value}`, refuse);
+    }
+}
+function checkArguments(args, properties, context, refuse) {
+    if (!Array.isArray(args)) {
+        return refuse('search.arguments', 'must classify EVERY input property — a list of { name, role } ([] for a tool with none).', 'unclassified-argument');
+    }
+    const roles = new Map();
+    args.forEach((raw, i) => {
+        const at = `search.arguments[${i}]`;
+        if (!isPlain(raw))
+            refuse(at, 'must be { name, role, whenOmitted?, said? }.');
+        const arg = raw;
+        refuseUnknown(arg, ARGUMENT_KEYS, at, refuse);
+        const name = checkLine(arg.name, `${at}.name`, refuse);
+        if (!properties.includes(name)) {
+            refuse(`${at}.name`, `'${name}' is not a property of inputSchema — a search declares only arguments a call ` +
+                'can send.', 'unknown-argument');
+        }
+        if (roles.has(name))
+            refuse(`${at}.name`, `'${name}' is classified twice.`);
+        if (!SEARCH_ROLES.includes(arg.role)) {
+            refuse(`${at}.role`, `must be one of ${SEARCH_ROLES.join(', ')}.`);
+        }
+        roles.set(name, arg.role);
+        checkWhenOmitted(arg, at, refuse);
+        checkArgumentSaid(arg, at, refuse);
+        if (arg.role === 'period' && context.periodArguments !== undefined) {
+            if (!context.periodArguments.includes(name)) {
+                refuse(`${at}.role`, `is 'period' for '${name}', which the tool's \`period\` does not name ` +
+                    `(${context.periodArguments.join(', ') || 'none'}). The period argument is the one ` +
+                    '`period` declares.');
+            }
+        }
+    });
+    const unclassified = properties.find((p) => !roles.has(p));
+    if (unclassified !== undefined) {
+        refuse('search.arguments', `does not classify the input property '${unclassified}' — every property needs a role ` +
+            `(${SEARCH_ROLES.join(', ')}). Ground nobody classified is ground nobody accounts for; ` +
+            "a property that changes no ground is 'inert'.", 'unclassified-argument');
+    }
+    if ([...roles.values()].filter((r) => r === 'source').length > 1) {
+        refuse('search.arguments', 'classifies more than one `source` argument — a call picks one store.');
+    }
+    return roles;
+}
+function checkBears(bears, at, roles, fixedNames, refuse) {
+    if (typeof bears === 'string' && PLAIN_FACETS.includes(bears))
+        return bears;
+    if (isPlain(bears)) {
+        refuseUnknown(bears, ['filter', 'values'], at, refuse);
+        const filter = checkLine(bears.filter, `${at}.filter`, refuse);
+        if (roles.get(filter) !== 'filter' && !fixedNames.has(filter)) {
+            refuse(`${at}.filter`, `'${filter}' is neither a 'filter' argument nor a fixed qualifier of this search.`);
+        }
+        const values = bears.values;
+        if (values !== undefined &&
+            (!Array.isArray(values) || values.length === 0 || !values.every(isSearchScalar))) {
+            refuse(`${at}.values`, 'must list the values the gap concerns — omit it for every value.');
+        }
+        return bears;
+    }
+    return refuse(at, `is ${JSON.stringify(bears)} — a gap bears on 'source', 'population', 'period', ` +
+        "'completeness' or { filter: '<name>', values?: [...] }.", 'gaps-without-bears');
+}
+function checkGaps(gaps, roles, fixedNames, refuse) {
+    if (gaps === undefined)
+        return;
+    if (!Array.isArray(gaps)) {
+        refuse('search.gaps', 'must be a list of { what, why, bears } — or omit it.');
+    }
+    gaps.forEach((raw, i) => {
+        const at = `search.gaps[${i}]`;
+        if (!isPlain(raw))
+            refuse(at, 'must be { what, why, bears }.');
+        const gap = raw;
+        refuseUnknown(gap, GAP_KEYS, at, refuse);
+        checkPresent(gap.what, `${at}.what`, refuse);
+        if (!isName(gap.why) || gap.bears === undefined) {
+            refuse(at, 'needs both `why` and `bears` — a blind spot with no reason cannot be acted on, and one ' +
+                'with no facet cannot be weighed against a claim.', 'gaps-without-bears');
+        }
+        checkBears(gap.bears, `${at}.bears`, roles, fixedNames, refuse);
+    });
+}
+function checkLimits(limits, refuse) {
+    if (limits === undefined)
+        return;
+    const shape = "must be { cap?: <n> | 'unknown', byCredential?: true } — at least one.";
+    if (!isPlain(limits))
+        refuse('search.limits', shape);
+    refuseUnknown(limits, ['cap', 'byCredential'], 'search.limits', refuse);
+    const { cap, byCredential } = limits;
+    if (cap === undefined && byCredential === undefined)
+        refuse('search.limits', shape);
+    if (byCredential !== undefined && byCredential !== true) {
+        refuse('search.limits.byCredential', `is ${JSON.stringify(byCredential)} — say true when the read sees only what the ` +
+            "caller's credential may see, or omit it.");
+    }
+    if (cap === undefined)
+        return;
+    const ok = cap === 'unknown' || (typeof cap === 'number' && Number.isInteger(cap) && cap > 0);
+    if (!ok) {
+        refuse('search.limits.cap', `is ${JSON.stringify(cap)} — a server cap is a positive whole number of rows, or ` +
+            "'unknown' when the tool cannot say (an unknown cap bears on completeness every call).");
+    }
+}
+//# sourceMappingURL=declaration.js.map

package/dist/esm/semantics/coverage/search/declaration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration.js","sourceRoot":"","sources":["../../../../../src/semantics/coverage/search/declaration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAE7D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAW1D,0EAA0E;AAC1E,MAAM,CAAC,MAAM,YAAY,GAA0B,MAAM,CAAC,IAAI,CAAC;IAC7D,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,GAAG,EAAE,IAAI;IACT,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,IAAI;CACuB,CAAiB,CAAC;AAEtD,0DAA0D;AAC1D,MAAM,WAAW,GAAsB,MAAM,CAAC,IAAI,CAAC;IACjD,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,IAAI;IACX,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,IAAI;IACd,IAAI,EAAE,IAAI;IACV,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;CAC2B,CAAC,CAAC;AAE5C,MAAM,aAAa,GAAsB,MAAM,CAAC,IAAI,CAAC;IACnD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;IACV,WAAW,EAAE,IAAI;IACjB,IAAI,EAAE,IAAI;CACkC,CAAC,CAAC;AAEhD,MAAM,UAAU,GAAsB,MAAM,CAAC,IAAI,CAAC;IAChD,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,IAAI;IACX,IAAI,EAAE,IAAI;CAC+B,CAAC,CAAC;AAE7C,MAAM,QAAQ,GAAsB,MAAM,CAAC,IAAI,CAAC;IAC9C,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,IAAI;IACT,KAAK,EAAE,IAAI;CAC4B,CAAC,CAAC;AAE3C,MAAM,UAAU,GAAsB,MAAM,CAAC,IAAI,CAAC;IAChD,IAAI,EAAE,IAAI;IACV,IAAI,EAAE,IAAI;CAC+B,CAAC,CAAC;AAE7C,mFAAmF;AACnF,MAAM,YAAY,GAAsB,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;AAE3F,kDAAkD;AAClD,MAAM,YAAY,GAA0B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAcjE,MAAM,OAAO,GAAG,CAAC,CAAU,EAAc,EAAE,CACzC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAC3D,MAAM,MAAM,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AAErF,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAAC,CAAU;IACvC,OAAO,CACL,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CACjG,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,UAAU,CAAC,CAAU;IACnC,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC;AACrE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,KAAK,GAAG,CAAC,IAAuB,EAAqB,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IACvF,MAAM,IAAI,GAAG,CAAC,GAAgD,EAAE,EAAE;QAChE,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAsC,CAAC;QACrE,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1E,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,CAAW,EAAY,EAAE,CACtC,OAAO,CAAC,KAAK,QAAQ;QACnB,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;YACZ,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;SACxE,CAAC,CAAC;IACT,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACpF,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACvF,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI;YAChC,KAAK,EAAE,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACrB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CACrE,CACF;SACF,CAAC;QACF,SAAS,EAAE,MAAM,CAAC,MAAM,CACtB,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACzB,MAAM,CAAC,MAAM,CAAC;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI;gBACjC,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC;oBACvC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;oBACnC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;wBAC3B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,IAAa,EAAE,CAAC;wBACvC,CAAC,CAAC,CAAC,CAAC,WAAW;aAClB,CAAC;YACF,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;SACpD,CAAC,CACH,CACF;QACD,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QACnE,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;QAChE,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI;YAC/B,IAAI,EAAE,MAAM,CAAC,MAAM,CACjB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAC3F;SACF,CAAC;QACF,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI;YACjC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;gBACpB,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;gBAClE,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,KAAK,IAAI,IAAI,EAAE,YAAY,EAAE,IAAa,EAAE,CAAC;aAC5E,CAAC;SACH,CAAC;KACH,CAAe,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAgC;IAChE,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC9D,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS;QAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAgB,EAChB,MAA8B,EAC9B,OAAiC;IAEjC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IACjC,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,OAAe,EAAE,IAAa,EAAS,EAAE;QACtE,MAAM,IAAI,KAAK,CACb,eAAe,QAAQ,SAAS,KAAK,MAAM,OAAO,EAAE;YAClD,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG,CAAC,CAC3C,CAAC;IACJ,CAAC,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACrB,MAAM,CACJ,QAAQ,EACR,uFAAuF;YACrF,iEAAiE,CACpE,CAAC;IACJ,CAAC;IACD,aAAa,CAAC,MAA0B,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;IACzE,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACnD,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,YAAY,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,IAAI,MAAM,CAAC,QAAQ,KAAK,kBAAkB,EAAE,CAAC;QAC5E,MAAM,CACJ,iBAAiB,EACjB,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,6CAA6C;YAChF,sFAAsF;YACtF,gBAAgB,CACnB,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,EAAE,CAAC;QACrE,MAAM,CACJ,gBAAgB,EAChB,MAAM,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,+CAA+C;YACjF,iFAAiF,CACpF,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,aAAa,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACtE,MAAM,CACJ,iBAAiB,EACjB,wFAAwF;YACtF,sEAAsE,EACxE,6BAA6B,CAC9B,CAAC;IACJ,CAAC;IACD,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAClD,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,yEAAyE;IACzE,8EAA8E;IAC9E,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,gBAAgB,CAAC,MAAM,CAAC;QAAE,kBAAkB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAChG,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAkB;IACjD,MAAM,GAAG,GAAuB;QAC9B,CAAC,oBAAoB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;QAC1C,CAAC,qBAAqB,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;KAC7C,CAAC;IACF,CAAC,MAAM,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACpC,GAAG,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAC/B,MAAM,EAAE,GAAG,oBAAoB,CAAC,GAAG,CAAC;QACpC,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC;QAC9B,IAAI,OAAO,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACjD,GAAG,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAChE,OAAO;QACT,CAAC;QACD,MAAM,MAAM,GAA4B,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;YAC5D,CAAC,CAAC,OAAO;YACT,CAAC,CAAC,CAAC,OAAuB,CAAC,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IACH,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACnC,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,GAAG,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAID,SAAS,aAAa,CAAC,KAAY,EAAE,KAAwB,EAAE,KAAa,EAAE,MAAc;IAC1F,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IACvE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,CAAC,KAAK,EAAE,uBAAuB,OAAO,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvF,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,YAAY,CAAC,KAAc,EAAE,KAAa,EAAE,MAAc;IACjE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,6BAA6B,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iCAAiC;AACjC,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa,EAAE,MAAc;IAC9D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,6BAA6B,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,gBAAgB,CAAC,KAAK,KAAK,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,EAAE,0BAA0B,OAAO,EAAE,CAAC,CAAC;IAC9E,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CAAC,KAAc,EAAE,KAAa,EAAE,MAAc;IACvE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,KAAK,EAAE,6BAA6B,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,CAAC,KAAK,EAAE,eAAe,OAAO,EAAE,EAAE,wBAAwB,CAAC,CAAC;IAC7F,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gDAAgD;AAChD,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa,EAAE,MAAc,EAAE,IAAa;IAC7E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,CACJ,KAAK,EACL,uFAAuF;YACrF,0DAA0D,EAC5D,IAAI,CACL,CAAC;IACJ,CAAC;IACA,KAAmB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,GAAG,KAAK,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;AACvF,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAa,EAAE,MAAc;IAC/D,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACjB,MAAM,CACJ,KAAK,EACL,6FAA6F,CAC9F,CAAC;IACJ,aAAa,CAAC,KAAc,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACzD,YAAY,CAAE,KAAe,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,SAAS,CAAE,KAAe,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,EAAE,MAAM,CAAC,CAAC;AAC5D,CAAC;AAED,SAAS,YAAY,CAAC,MAAyC;IAC7D,MAAM,UAAU,GAAI,MAAgB,CAAC,UAAU,CAAC;IAChD,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,UAA6B,EAAE,MAAc;IAC/E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACtC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,MAAM,CAAC,cAAc,EAAE,qDAAqD,CAAC,CAAC;IACvF,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC;QAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,EAAE,EAAE,gCAAgC,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,GAAY,CAAC;QACvB,aAAa,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACrD,IAAI,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,CACJ,GAAG,EAAE,OAAO,EACZ,IAAI,IAAI,6EAA6E;gBACnF,oEAAoE,CACvE,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,IAAI,sBAAsB,CAAC,CAAC;QAC1E,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChB,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,iDAAiD,CAAC,CAAC;QAC3E,CAAC;QACD,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,oBAAoB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAU,EAAE,EAAU,EAAE,MAAc;IAC9D,IAAI,CAAC,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO;IACrE,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,MAAM,CACJ,GAAG,EAAE,cAAc,EACnB,kFAAkF;YAChF,oDAAoD,CACvD,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC;IAC1B,MAAM,EAAE,GACN,cAAc,CAAC,CAAC,CAAC;QACjB,UAAU,CAAC,CAAC,CAAC;QACb,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,CAAC;IAChE,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,CACJ,GAAG,EAAE,cAAc,EACnB,MAAM,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,8DAA8D;YACnF,mFAAmF;YACnF,mFAAmF;YACnF,WAAW,EACb,oBAAoB,CACrB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAU,EAAE,EAAU,EAAE,MAAc;IAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO;IACnC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAkB,CAAC,EAAE,CAAC;QACnD,MAAM,CACJ,GAAG,EAAE,OAAO,EACZ,qBAAqB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,kDAAkD;YACrF,yFAAyF,CAC5F,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,wEAAwE,CAAC,CAAC;IACjG,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAa,CAAC,EAAE,CAAC;QAC/D,SAAS,CAAC,KAAK,EAAE,GAAG,EAAE,SAAS,KAAK,EAAE,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,IAAa,EACb,UAA6B,EAC7B,OAAiC,EACjC,MAAc;IAEd,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,MAAM,CACX,kBAAkB,EAClB,0FAA0F,EAC1F,uBAAuB,CACxB,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,MAAM,EAAE,GAAG,oBAAoB,CAAC,GAAG,CAAC;QACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,EAAE,EAAE,8CAA8C,CAAC,CAAC;QAC9E,MAAM,GAAG,GAAG,GAAY,CAAC;QACzB,aAAa,CAAC,GAAG,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,CACJ,GAAG,EAAE,OAAO,EACZ,IAAI,IAAI,+EAA+E;gBACrF,WAAW,EACb,kBAAkB,CACnB,CAAC;QACJ,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,IAAI,wBAAwB,CAAC,CAAC;QAC5E,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAkB,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,kBAAkB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrE,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAkB,CAAC,CAAC;QACxC,gBAAgB,CAAC,GAAG,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QAClC,iBAAiB,CAAC,GAAG,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QACnC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACnE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,MAAM,CACJ,GAAG,EAAE,OAAO,EACZ,oBAAoB,IAAI,+CAA+C;oBACrE,IAAI,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,oCAAoC;oBACpF,oBAAoB,CACvB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,CACJ,kBAAkB,EAClB,yCAAyC,YAAY,kCAAkC;YACrF,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,6DAA6D;YACxF,+CAA+C,EACjD,uBAAuB,CACxB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjE,MAAM,CACJ,kBAAkB,EAClB,sEAAsE,CACvE,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CACjB,KAAc,EACd,EAAU,EACV,KAAsC,EACtC,UAA+B,EAC/B,MAAc;IAEd,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAiB,CAAC;IACxF,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,aAAa,CAAC,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QAC/D,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,MAAM,CACJ,GAAG,EAAE,SAAS,EACd,IAAI,MAAM,wEAAwE,CACnF,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC5B,IACE,MAAM,KAAK,SAAS;YACpB,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,EAChF,CAAC;YACD,MAAM,CAAC,GAAG,EAAE,SAAS,EAAE,kEAAkE,CAAC,CAAC;QAC7F,CAAC;QACD,OAAO,KAA4B,CAAC;IACtC,CAAC;IACD,OAAO,MAAM,CACX,EAAE,EACF,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,sDAAsD;QAC/E,yDAAyD,EAC3D,oBAAoB,CACrB,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAChB,IAAa,EACb,KAAsC,EACtC,UAA+B,EAC/B,MAAc;IAEd,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO;IAC/B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,aAAa,EAAE,sDAAsD,CAAC,CAAC;IAChF,CAAC;IACA,IAAkB,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,EAAE,GAAG,eAAe,CAAC,GAAG,CAAC;QAC/B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,MAAM,CAAC,EAAE,EAAE,+BAA+B,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAG,GAAY,CAAC;QACzB,aAAa,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;QACzC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,CACJ,EAAE,EACF,yFAAyF;gBACvF,kDAAkD,EACpD,oBAAoB,CACrB,CAAC;QACJ,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,MAAe,EAAE,MAAc;IAClD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO;IACjC,MAAM,KAAK,GAAG,wEAAwE,CAAC;IACvF,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;IACrD,aAAa,CAAC,MAAe,EAAE,CAAC,KAAK,EAAE,cAAc,CAAC,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACjF,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,MAAe,CAAC;IAC9C,IAAI,GAAG,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,eAAe,EAAE,KAAK,CAAC,CAAC;IACpF,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QACxD,MAAM,CACJ,4BAA4B,EAC5B,MAAM,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,+CAA+C;YAC/E,0CAA0C,CAC7C,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO;IAC9B,MAAM,EAAE,GAAG,GAAG,KAAK,SAAS,IAAI,CAAC,OAAO,GAAG,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC;IAC9F,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,MAAM,CACJ,mBAAmB,EACnB,MAAM,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,yDAAyD;YAChF,uFAAuF,CAC1F,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/esm/semantics/coverage/search/door.d.ts

@@ -0,0 +1,46 @@
+/**
+ * search/door — which result door a search tool's value came through, and the
+ * facts composition reads off it.
+ *
+ * Pattern: one pure reader over the three doors a tool returns through —
+ *          `absent()`, `coverage()`, `describedResult()` — by their own
+ *          recognizers. No fourth door.
+ * Role:    semantics/ layer, pure.
+ * Emits:   N/A.
+ *
+ * A search tool's coverage comes from its declaration, so a result that ALSO
+ * hand-writes a `checked` list is declined (`checked-beside-declared`): the
+ * library reads it as written, files today's row, and composes nothing — a
+ * row it did not compose establishes nothing. A `coverage()` wrapped around
+ * `absent({ checked: 'declared' })` is refused: the declaration is the
+ * boundary, so the absence is returned on its own.
+ */
+import { type DeclaredPeriod } from '../period.js';
+import type { CoverageItem, DeclaredCoveredResult, DeclaredToolAbsence } from '../types.js';
+import { type PagingDeclaration, type ResolvedDeclaration } from './resultFacts.js';
+/** The facts one door carries, as composition reads them. */
+export interface DoorFacts {
+    readonly door: 'declared-absence' | 'declared-coverage' | 'described' | 'coverage';
+    /** How many rows came back; `undefined` when they cannot be counted. */
+    readonly rows: number | undefined;
+    readonly resolved?: readonly ResolvedDeclaration[];
+    readonly paging?: PagingDeclaration;
+    readonly period?: DeclaredPeriod;
+    readonly handNotChecked: readonly CoverageItem[];
+    readonly handCannotCover: readonly CoverageItem[];
+    /** The envelope to compose in place of — present for the two `'declared'` doors. */
+    readonly absence?: DeclaredToolAbsence;
+    readonly ledger?: DeclaredCoveredResult;
+}
+/** What a value is, to a search tool's composition. */
+export type DoorReading = {
+    readonly outcome: 'door';
+    readonly facts: DoorFacts;
+} | {
+    readonly outcome: 'checked-beside-declared';
+};
+/**
+ * Read `value` as one of the three doors, or `undefined` when it is none of
+ * them (plain data: nothing is composed).
+ */
+export declare function readSearchDoor(value: unknown, toolName: string): DoorReading | undefined;