agentfootprint 10.9.0 → 11.0.0

package/dist/esm/semantics/coverage/types.d.ts

@@ -16,6 +16,7 @@
  */
 import type { DescribedResultDeclaration, SemanticProvenance } from '../types.js';
 import type { DeclaredPeriod, PeriodOnWire } from './period.js';
+import type { PagingDeclaration, ResolvedDeclaration } from './search/resultFacts.js';
 /**
  * One piece of ground, and (optionally) why it is where it is.
  *
@@ -206,6 +207,135 @@ export interface AbsenceDeclaration {
      * not held · unknown), and `.limitsTravelWithTheAnswer()` prints it.
      */
     readonly period?: DeclaredPeriod;
+    /**
+     * The entity each population value RESOLVED to — `[{ argument, id, name?,
+     * aliases? }]` — the tool's own claim, said out loud. Read by a tool that
+     * declares its `search`: it binds the value the call was SENT for and no
+     * other entity. Refused here when malformed.
+     */
+    readonly resolved?: readonly ResolvedDeclaration[];
+    /**
+     * Whether there is a next page — `{ next: null }` says there is none. A tool
+     * with a `page` argument whose result declares no `paging` is never complete.
+     */
+    readonly paging?: PagingDeclaration;
+}
+/**
+ * An absence whose coverage the tool's `search` DECLARES —
+ * `absent({ what, checked: 'declared' })`. The author writes the search once;
+ * the dispatch funnel composes `checked` (and the gaps) from the declaration
+ * and the arguments the call ran with. A tool with no `search` that returns
+ * one has its call refused, naming the field to add.
+ */
+export type DeclaredAbsenceDeclaration = Omit<AbsenceDeclaration, 'checked'> & {
+    readonly checked: 'declared';
+};
+/**
+ * The list a missed name was looked up in — `absent({ what, among })`.
+ *
+ * A lookup that checks a name against a known list IS a search, and its miss
+ * says only that the name is not on THAT list. `among` declares the list, and
+ * the mint composes the rest: the names facet the tool searched, the gap the
+ * author cannot remove ("names outside <source>" — and, for a `partial` read,
+ * "not every name in <source> was read"), and the absence's `provenance` from
+ * `source` and `measuredAt`. The gap holds where `among` is declared; a plain
+ * `absent({ what })` or a thrown refusal never passes through it.
+ *
+ * @example a name lookup that found nothing in the inventory export
+ *   if (!array) return absent({
+ *     what: array_id,
+ *     among: { argument: 'array_id', source: inventory.source, measuredAt: inventory.readAt,
+ *              count: inventory.names.length, names: inventory.names },
+ *   });
+ */
+export interface AmongDeclaration {
+    /** The input argument whose value was looked up ('array_id'). */
+    readonly argument: string;
+    /** The list the names were read from, in the author's words ('the PowerStore inventory export'). One line. */
+    readonly source: string;
+    /**
+     * When that list was read — the tool's own words (the `provenance` rule).
+     * When it is an ISO 8601 instant this library can read, the names facet
+     * also carries a dated note, "names as of <measuredAt>" — no judgement of
+     * whether that is old.
+     */
+    readonly measuredAt: string;
+    /** How many names the list holds — a whole number. The tool's claim; served on the facet. */
+    readonly count: number;
+    /**
+     * The names the list holds, read ONLY to check `count`: when given,
+     * `names.length` must equal it (`names-count-mismatch`). No name is served
+     * to the model or written to an event or a record.
+     */
+    readonly names?: readonly string[];
+    /**
+     * `true` when the read did not see every name in the source — a truncated
+     * or paged inventory. The mint then composes a completeness gap, "not every
+     * name in <source> was read" (`bears: 'completeness'`), beside "names
+     * outside <source>", and `authoritative` never removes it.
+     */
+    readonly partial?: boolean;
+    /**
+     * The ONE opt-out of the "names outside <source>" gap: the author says the
+     * source is every name there is, and why — the tool's claim, not verified.
+     * Every use is listed for review by `check:semantics` (`authoritative-names`).
+     */
+    readonly authoritative?: {
+        readonly why: string;
+    };
+}
+/**
+ * `absent()` given an {@link AmongDeclaration}: `checked` becomes optional (the
+ * mint composes the names facet first) and `provenance` is refused — `among`
+ * composes it from its own `source` and `measuredAt`.
+ */
+export interface AbsenceAmongDeclaration extends Omit<AbsenceDeclaration, 'checked' | 'provenance'> {
+    /** The list the missed name was looked up in. */
+    readonly among: AmongDeclaration;
+    /** Further ground the search covered, after the composed names facet. */
+    readonly checked?: readonly CoverageInput[];
+}
+/**
+ * The names facet an `among` miss composes — the first `checked` item. A
+ * {@link CoverageItem} whose `what` the library writes from the declaration
+ * (never from the looked-for value).
+ */
+export interface NamesFacetItem extends CoverageItem {
+    readonly facet: 'names';
+    /** The input argument whose value was looked up. */
+    readonly argument: string;
+    /** How many names the list holds. */
+    readonly count: number;
+    /** The list, as declared. */
+    readonly source: string;
+    /** The names came from the tool's own read. */
+    readonly from: 'result';
+    /** Present only when the author declared the list authoritative. */
+    readonly authoritative?: {
+        readonly why: string;
+    };
+}
+/**
+ * The gap an `among` miss adds and its author cannot remove except by
+ * `authoritative` — the first `not_checked` item: names outside the source
+ * the tool read. It bears on the source facet: a claim that leaves the source
+ * open (a flat "X does not exist") rests on ground this search never covered.
+ * `kind` is record-only, like every item's.
+ */
+export interface SourceGapItem extends CoverageItem {
+    readonly kind: 'scope';
+    readonly relevance: 'bears';
+    readonly bears: 'source';
+}
+/**
+ * The gap a `partial` among read adds, which nothing removes: the names in
+ * the source the read did not see. It bears on completeness — a claim that
+ * the name is not in the source rests on a read that did not see all of it.
+ */
+export interface CompletenessGapItem extends CoverageItem {
+    readonly kind: 'scope';
+    readonly relevance: 'bears';
+    readonly bears: 'completeness';
 }
 /**
  * What a tool author passes to {@link import('./ledger.js').coverage}: the
@@ -268,9 +398,42 @@ export interface ToolAbsence {
     /** What the search's read covered in time — `queried`, `held` (or
      *  `'unknown'`), `read_at` — honesty step 7b. */
     readonly period?: PeriodOnWire;
+    /** The entity each population value resolved to, as declared. */
+    readonly resolved?: readonly ResolvedDeclaration[];
+    /** Whether there is a next page, as declared. */
+    readonly paging?: PagingDeclaration;
     /** The static sentence. Never interpolated — see `absent.ts`. */
     readonly note: string;
 }
+/**
+ * The envelope `absent({ checked: 'declared' })` mints, before the dispatch
+ * funnel composes its coverage. `readAbsence` does not read it (its `checked`
+ * is not a list), so every reader that predates it sees data;
+ * `recognize.ts` · `readDeclaredAbsence` is its one recognizer.
+ */
+export type DeclaredToolAbsence = Omit<ToolAbsence, 'checked'> & {
+    readonly checked: 'declared';
+};
+/**
+ * A ledger whose `checked` the tool's `search` DECLARES —
+ * `coverage(rows, { checked: 'declared', … })`, the twin of
+ * {@link DeclaredAbsenceDeclaration} for a value that came back with rows.
+ */
+export type DeclaredLedgerDeclaration = Omit<CoverageLedgerDeclaration, 'checked'> & {
+    readonly checked: 'declared';
+};
+/**
+ * The envelope `coverage(rows, { checked: 'declared' })` mints, before the
+ * dispatch funnel composes it. `readCoverageLedger` does not read it, so a
+ * reader that predates it sees data; `recognize.ts` · `readDeclaredLedger` is
+ * its one recognizer.
+ */
+export interface DeclaredCoveredResult<T = unknown> {
+    readonly af_coverage: Omit<CoveredResult['af_coverage'], 'checked'> & {
+        readonly checked: 'declared';
+    };
+    readonly result: T;
+}
 /** The rendered coverage ledger, wrapped around the result it bounds. */
 export interface CoveredResult<T = unknown> {
     readonly af_coverage: {

package/dist/esm/semantics/described.js

@@ -72,7 +72,7 @@ const CAMEL_SPELLING = {
     chart_hint: 'chartHint',
 };
 /**
- * The nine top-level fields, tied to the type in both directions.
+ * The eleven top-level fields, tied to the type in both directions.
  */
 const DECLARATION_KEYS = Object.keys({
     series: true,
@@ -81,6 +81,8 @@ const DECLARATION_KEYS = Object.keys({
     grain: true,
     provenance: true,
     period: true,
+    resolved: true,
+    paging: true,
     coverage: true,
     clarify: true,
     render: true,

package/dist/esm/semantics/described.js.map

@@ -1 +1 @@
-{"version":3,"file":"described.js","sourceRoot":"","sources":["../../../src/semantics/described.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EACL,wBAAwB,EACxB,aAAa,EACb,gBAAgB,EAChB,aAAa,GAKd,MAAM,eAAe,CAAC;AAYvB;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB,QAAQ,EAAE,UAAU;IACpB,WAAW,EAAE,aAAa;IAC1B,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,WAAW;CACiD,CAAC;AAE1E,MAAM,gBAAgB,GAAG;IACvB,UAAU,EAAE,aAAa;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,QAAQ;IAChB,gBAAgB,EAAE,oBAAoB;CAC2C,CAAC;AAEpF,MAAM,YAAY,GAAG;IACnB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,aAAa;IACzB,SAAS,EAAE,YAAY;CACkD,CAAC;AAE5E,MAAM,UAAU,GAAwE;IACtF,KAAK,EAAE,WAAW;IAClB,UAAU,EAAE,gBAAgB;IAC5B,MAAM,EAAE,YAAY;CACrB,CAAC;AAUF;;;;GAIG;AACH,MAAM,cAAc,GAAG;IACrB,UAAU,EAAE,WAAW;IACvB,WAAW,EAAE,YAAY;IACzB,WAAW,EAAE,YAAY;IACzB,kBAAkB,EAAE,kBAAkB;IACtC,WAAW,EAAE,YAAY;IACzB,UAAU,EAAE,WAAW;CAC+C,CAAC;AAEzE;;GAEG;AACH,MAAM,gBAAgB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACtD,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;CAC4C,CAAC,CAAC;AAE5D;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,KAAsB,EAAE,KAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAgC,CAAC;IAClD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,4EAA4E;IAC5E,mEAAmE;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,cAAc,GAAoB;IACtC,IAAI,EAAE,iBAAiB;IACvB,eAAe,EAAE,gBAAgB;IACjC,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IAC1C,UAAU,EAAE;QACV,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7C,CAAC,UAAU,EAAE,yBAAyB,CAAC;QACvC,CAAC,SAAS,EAAE,wBAAwB,CAAC;QACrC,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;KACtC;IACD,MAAM;IACN,QAAQ,EAAE,cAAc;CACzB,CAAC;AAOF;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,QAAiB;IAC9C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClF,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,YAAY,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IACnF,OAAO,IAA0B,CAAC;AACpC,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,CAAC,GAAG,IAA0B,CAAC;IACrC,OAAO;QACL,UAAU,EAAE;YACV,UAAU,EAAE,CAAC,CAAC,WAAW;YACzB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACjE,GAAG,CAAC,CAAC,CAAC,kBAAkB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC;SACtF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AACH,MAAM,UAAU,eAAe,CAAC,IAAgC;IAC9D,OAAO,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;AAC7C,CAAC"}
+{"version":3,"file":"described.js","sourceRoot":"","sources":["../../../src/semantics/described.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,EACL,wBAAwB,EACxB,aAAa,EACb,gBAAgB,EAChB,aAAa,GAKd,MAAM,eAAe,CAAC;AAYvB;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB,QAAQ,EAAE,UAAU;IACpB,WAAW,EAAE,aAAa;IAC1B,SAAS,EAAE,YAAY;IACvB,SAAS,EAAE,WAAW;CACiD,CAAC;AAE1E,MAAM,gBAAgB,GAAG;IACvB,UAAU,EAAE,aAAa;IACzB,UAAU,EAAE,aAAa;IACzB,MAAM,EAAE,QAAQ;IAChB,gBAAgB,EAAE,oBAAoB;CAC2C,CAAC;AAEpF,MAAM,YAAY,GAAG;IACnB,OAAO,EAAE,SAAS;IAClB,OAAO,EAAE,SAAS;IAClB,IAAI,EAAE,MAAM;IACZ,UAAU,EAAE,aAAa;IACzB,SAAS,EAAE,YAAY;CACkD,CAAC;AAE5E,MAAM,UAAU,GAAwE;IACtF,KAAK,EAAE,WAAW;IAClB,UAAU,EAAE,gBAAgB;IAC5B,MAAM,EAAE,YAAY;CACrB,CAAC;AAUF;;;;GAIG;AACH,MAAM,cAAc,GAAG;IACrB,UAAU,EAAE,WAAW;IACvB,WAAW,EAAE,YAAY;IACzB,WAAW,EAAE,YAAY;IACzB,kBAAkB,EAAE,kBAAkB;IACtC,WAAW,EAAE,YAAY;IACzB,UAAU,EAAE,WAAW;CAC+C,CAAC;AAEzE;;GAEG;AACH,MAAM,gBAAgB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACtD,MAAM,EAAE,IAAI;IACZ,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,IAAI;IACX,UAAU,EAAE,IAAI;IAChB,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,MAAM,EAAE,IAAI;IACZ,QAAQ,EAAE,IAAI;IACd,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;CAC4C,CAAC,CAAC;AAE5D;;;;;;;GAOG;AACH,SAAS,MAAM,CAAC,KAAsB,EAAE,KAAc;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAgC,CAAC;IAClD,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,4EAA4E;IAC5E,mEAAmE;IACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,cAAc,GAAoB;IACtC,IAAI,EAAE,iBAAiB;IACvB,eAAe,EAAE,gBAAgB;IACjC,WAAW,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC;IAC1C,UAAU,EAAE;QACV,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnC,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7C,CAAC,UAAU,EAAE,yBAAyB,CAAC;QACvC,CAAC,SAAS,EAAE,wBAAwB,CAAC;QACrC,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;KACtC;IACD,MAAM;IACN,QAAQ,EAAE,cAAc;CACzB,CAAC;AAOF;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,QAAiB;IAC9C,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClF,iBAAiB,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,YAAY,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;IACvD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,YAAY,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IACnF,OAAO,IAA0B,CAAC;AACpC,CAAC;AAUD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACnD,MAAM,CAAC,OAAO,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACxD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IAC9C,MAAM,CAAC,GAAG,IAA0B,CAAC;IACrC,OAAO;QACL,UAAU,EAAE;YACV,UAAU,EAAE,CAAC,CAAC,WAAW;YACzB,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,CAAC,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACjE,GAAG,CAAC,CAAC,CAAC,kBAAkB,KAAK,SAAS,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,kBAAkB,EAAE,CAAC;SACtF;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AACH,MAAM,UAAU,eAAe,CAAC,IAAgC;IAC9D,OAAO,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC,CAAC;AAC7C,CAAC"}

package/dist/esm/semantics/envelope.js

@@ -53,6 +53,7 @@
  */
 import { normalizeCoverageList } from './coverage/items.js';
 import { copyPeriod, mintPeriod, noteWithClause, periodProblem, readPeriod, servedPeriod, } from './coverage/period.js';
+import { mintPaging, mintResolved, pagingProblem, readPaging, readResolved, resolvedProblem, } from './coverage/search/resultFacts.js';
 import { refusal, refuseUnknownKeys } from './coverage/refusal.js';
 import { COUNTER_AGGREGATION_WORDS, SEMANTICS_MARKER, SEMANTICS_NOTE, } from './types.js';
 const isNonEmptyString = (v) => typeof v === 'string' && v.trim().length > 0;
@@ -76,6 +77,10 @@ const ENVELOPE_KEYS = new Set([
     // reader refuses a whole envelope that carries it (this set is its law), so
     // the changelog names the floor.
     'period',
+    // A search tool's two result facts (`coverage/search/resultFacts.ts`). An
+    // OLDER reader refuses a whole envelope that carries either, as for `period`.
+    'resolved',
+    'paging',
     'coverage',
     'not_covered',
     'clarify',
@@ -268,8 +273,8 @@ function issuesIn(value, s) {
     for (const key of Object.keys(value)) {
         if (!ENVELOPE_KEYS.has(key)) {
             issues.push(malformed(key, `this result carries '${key}', which is not a field this vocabulary has. The ` +
-                `fields are: series, facts, edges, grain, provenance, period, coverage, clarify, ` +
-                `render (not_covered and note are derived).`));
+                `fields are: series, facts, edges, grain, provenance, period, resolved, paging, ` +
+                `coverage, clarify, render (not_covered and note are derived).`));
         }
     }
     // ── series ──
@@ -409,6 +414,17 @@ function issuesIn(value, s) {
         if (problem !== undefined)
             issues.push(malformed(problem.field, problem.message));
     }
+    // ── resolved / paging ── (the ONE rule set `absent()` mints by).
+    if (value.resolved !== undefined) {
+        const problem = resolvedProblem(value.resolved);
+        if (problem !== undefined)
+            issues.push(malformed('resolved', problem));
+    }
+    if (value.paging !== undefined) {
+        const problem = pagingProblem(value.paging);
+        if (problem !== undefined)
+            issues.push(malformed('paging', problem));
+    }
     // ── series ⇒ grain ──
     if (series !== undefined && grain === undefined) {
         issues.push({
@@ -592,6 +608,9 @@ export function mintSemantics(decl, door) {
     // Honesty step 7b: a top-level `period`, minted by the ONE period rule set
     // (refused in the author's own camelCase words).
     const period = 'period' in decl ? mintPeriod(decl.period) : undefined;
+    // A search tool's result facts, by the rule set `absent()` mints with.
+    const resolved = mintResolved(decl.resolved);
+    const paging = mintPaging(decl.paging);
     const candidate = {
         [SEMANTICS_MARKER]: true,
         ...(decl.series !== undefined && { series: copyDataList(decl.series) }),
@@ -602,6 +621,8 @@ export function mintSemantics(decl, door) {
             provenance: door.toWire('provenance', decl.provenance),
         }),
         ...(period !== undefined && { period }),
+        ...(resolved !== undefined && { resolved }),
+        ...(paging !== undefined && { paging }),
         ...(coverage !== undefined && { coverage }),
         ...(notCovered.length > 0 && { not_covered: notCovered }),
         ...('clarify' in decl &&
@@ -684,6 +705,9 @@ export function semanticsForModel(sem) {
         ...(sem.period !== undefined && {
             period: served?.period ?? periodOnWireCopy(sem.period),
         }),
+        // A search tool's result facts — its own claims, served as declared.
+        ...(sem.resolved !== undefined && { resolved: readResolved(sem.resolved) }),
+        ...(sem.paging !== undefined && { paging: readPaging(sem.paging) }),
         ...(sem.not_covered !== undefined &&
             sem.not_covered.length > 0 && { not_covered: [...sem.not_covered] }),
         ...(sem.clarify !== undefined &&

package/dist/esm/semantics/envelope.js.map

@@ -1 +1 @@
-{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../../src/semantics/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,UAAU,EACV,UAAU,EACV,cAAc,EACd,aAAa,EACb,UAAU,EACV,YAAY,GAEb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAEnE,OAAO,EACL,yBAAyB,EACzB,gBAAgB,EAChB,cAAc,GAKf,MAAM,YAAY,CAAC;AAmBpB,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AACnG,MAAM,aAAa,GAAG,CAAC,CAAU,EAAgC,EAAE,CACjE,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3D;;0BAE0B;AAC1B,MAAM,UAAU,2BAA2B,CAAC,WAAmB;IAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,IAAI,CAChB,CAAC,CAAC,EAAE,EAAE,CACJ,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,gBAAgB;IAChB,QAAQ;IACR,OAAO;IACP,OAAO;IACP,OAAO;IACP,YAAY;IACZ,2EAA2E;IAC3E,4EAA4E;IAC5E,iCAAiC;IACjC,QAAQ;IACR,UAAU;IACV,aAAa;IACb,SAAS;IACT,QAAQ;IACR,MAAM;CACP,CAAC,CAAC;AACH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;AACnF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAChG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;AAC1E;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACrE,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;CAC6B,CAAC,CAAC;AACjD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,CAAC;AACvD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;AAmBzF;aACa;AACb,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,aAAa;IAC1B,WAAW,EAAE,aAAa;IAC1B,kBAAkB,EAAE,oBAAoB;IACxC,WAAW,EAAE,aAAa;IAC1B,UAAU,EAAE,YAAY;CACzB,CAAC;AA+BF;8EAC8E;AAC9E,MAAM,UAAU,iBAAiB,CAAC,QAA0B;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,OAAe;IAC/C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,aAAa,CAAC,KAAmC;IACxD,OAAO,SAAS,CACd,KAAK,EACL,KAAK,KAAK,6EAA6E,CACxF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3F,MAAM,OAAO,GAAI,KAAkD,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrF,OAAO,OAAO,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAAI,KAA2B,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACnF,CAAC;AAED;6DAC6D;AAC7D,SAAS,WAAW,CAAC,OAAgB;IACnC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC5C,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC;YAC3C,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC;YACzB,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAuB,EACvB,KAAa,EACb,IAAa,EACb,UAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,KAAK,8CAA8C,CAAC,CAAC,CAAC;QACxF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,GAAG,KAAK,IAAI,CAAC,GAAG,EAChB,KAAK,KAAK,IAAI,CAAC,oDAAoD,CACpE,CACF,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,IAAI,CAAC,sCAAsC,CAAC,CACvF,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,UAAU,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,GAAG,KAAK,IAAI,CAAC,OAAO,EACpB,KAAK,KAAK,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,kDAAkD;gBACvF,qFAAqF,CACxF,CACF,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAa,EAAE,CAAC;SACzD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAmB,EAAE,CAAW;IAC/D,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;IACjC,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;IACjC,MAAM,gBAAgB,GAAG,CAAC,CAAC,kBAAkB,CAAC;IAC9C,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,SAAS,CACP,YAAY,EACZ,uCAAuC,UAAU,aAAa,UAAU,MAAM,gBAAgB,OAAO,CACtG;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;YAC3B,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,cAAc,GAAG,EAAE,EAAE,gBAAgB,GAAG,+BAA+B,CAAC,CACnF,CAAC;IACN,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,cAAc,UAAU,EAAE;YACjC,OAAO,EACL,gBAAgB,UAAU,6DAA6D;gBACvF,wFAAwF;SAC3F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,mBAAmB;YAC1B,OAAO,EAAE,+EAA+E;SACzF,CAAC,CAAC;IACL,CAAC;IACD,IACE,UAAU,CAAC,WAAW,KAAK,SAAS;QACpC,CAAC,OAAO,UAAU,CAAC,WAAW,KAAK,QAAQ;YACzC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC;YACxC,UAAU,CAAC,WAAW,GAAG,CAAC,CAAC,EAC7B,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,cAAc,UAAU,EAAE,EAC1B,gBAAgB,UAAU,4CAA4C,CACvE,CACF,CAAC;IACJ,CAAC;IACD,IACE,UAAU,CAAC,kBAAkB,KAAK,SAAS;QAC3C,CAAC,gBAAgB,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAChD,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,cAAc,gBAAgB,EAAE,EAChC,gBAAgB,gBAAgB,2CAA2C,CAC5E,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,OAAO,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,KAAc,EAAE,CAAW;IAC3C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,SAAS,CAAC,gBAAgB,EAAE,wCAAwC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,EAAE,CAAC;QACrC,OAAO;YACL,SAAS,CACP,gBAAgB,EAChB,KAAK,gBAAgB,6DAA6D,CACnF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,GAAG,EACH,wBAAwB,GAAG,mDAAmD;gBAC5E,kFAAkF;gBAClF,4CAA4C,CAC/C,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,eAAe;IACf,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,QAAQ,EACR,4GAA4G,CAC7G,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACtB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,YAAY,CAAC,4BAA4B,CAAC,CAAC,CAAC;oBAClF,OAAO;gBACT,CAAC;gBACD,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACvD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,CAAC,KAAK,EAChB,YAAY,CAAC,wEAAwE,CACtF,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,CAAC,UAAU,EACrB,YAAY,CAAC,yCAAyC,CACvD,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChC,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,uCAAuC,CAAC,CACvF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,CAAC,SAAS,EACpB,YAAY,CAAC,gEAAgE,CAC9E,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,4EAA4E,CAC7E,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,CAAC,UAAU,EACpB,WAAW,CAAC,yEAAyE,CACtF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,0FAA0F,CAC3F,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrB,IACE,CAAC,aAAa,CAAC,CAAC,CAAC;oBACjB,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;oBACzB,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvB,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,EACzB,CAAC;oBACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,CAAC,GAAG,EACb,WAAW,CAAC,yDAAyD,CACtE,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,2DAA2D,SAAS,mBAAmB,CACxF,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;oBACtB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,EAAE,WAAW,GAAG,0BAA0B,CAAC,CAAC,CAAC;YACrF,CAAC;YACD,IAAI,IAAI,GAAG,KAAK,CAAC;YACjB,KAAK,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,WAAW,CAAU,EAAE,CAAC;gBACpE,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC7B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;wBAClC,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,SAAS,GAAG,EAAE,EAAE,WAAW,GAAG,2CAA2C,CAAC,CACrF,CAAC;oBACJ,CAAC;;wBAAM,IAAI,GAAG,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC1C,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,SAAS,EAAE,EACpB,WAAW,SAAS,mEAAmE,CACxF,CACF,CAAC;gBACJ,CAAC;;oBAAM,IAAI,GAAG,IAAI,CAAC;YACrB,CAAC;YACD,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBAC/D,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,yEAAyE,SAAS,iCAAiC,CACpH,CACF,CAAC;YACJ,CAAC;YACD,IACE,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;gBACnC,2BAA2B,CAAC,KAAK,CAAC,WAAW,CAAC;gBAC9C,OAAO,KAAK,CAAC,UAAU,KAAK,SAAS,EACrC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,8BAA8B;oBACpC,KAAK,EAAE,SAAS,SAAS,EAAE;oBAC3B,OAAO,EACL,yBAAyB,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,mCAAmC;wBACpF,KAAK,SAAS,wEAAwE;wBACtF,gEAAgE,SAAS,cAAc;wBACvF,KAAK,SAAS,YAAY;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,CAAC;IAC5D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;SAAM,IAAI,OAAO,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,YAAY;YACnB,OAAO,EACL,0EAA0E,CAAC,CAAC,WAAW,SAAS;gBAChG,qFAAqF;gBACrF,oDAAoD;SACvD,CAAC,CAAC;IACL,CAAC;IAED,yFAAyF;IACzF,+EAA+E;IAC/E,4EAA4E;IAC5E,kEAAkE;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACpF,CAAC;IAED,uBAAuB;IACvB,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,sBAAsB;YAC5B,KAAK,EAAE,OAAO;YACd,OAAO,EACL,8EAA8E;gBAC9E,uFAAuF;gBACvF,6DAA6D;SAChE,CAAC,CAAC;IACL,CAAC;IAED,qDAAqD;IACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,gBAA8C,CAAC;IACnD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,EACV,uFAAuF,CACxF,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,YAAY,GAAG,EAAE,EACjB,cAAc,GAAG,+EAA+E,CACjG,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACnF,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,sBAAsB,EAAE,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAC9F,MAAM,WAAW,GAAG,aAAa,CAC/B,MAAM,EACN,uBAAuB,EACvB,QAAQ,CAAC,YAAY,EACrB,IAAI,CACL,CAAC;YACF,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,EACV,mFAAmF,CACpF,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,gBAAgB,GAAG;oBACjB,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;oBACtC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;oBACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;iBAC7D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC;IACrC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,aAAa,EACb,8JAA8J,CAC/J,CACF,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,sDAAsD,CAAC,CAAC,CAAC;QAChG,CAAC;aAAM,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;YACpD,MAAM,IAAI,GACR,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,CAAC,IAAI,CACT,SAAS,CACP,aAAa,EACb,yIAAyI,CAC1I,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,EACT,6GAA6G,CAC9G,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;oBACxB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,GAAG,EAAE,EAAE,aAAa,GAAG,4BAA4B,CAAC,CAAC,CAAC;YAC3F,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,kBAAkB,EAAE,wCAAwC,CAAC,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,oBAAoB,EACpB,+FAA+F,CAChG,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,eAAe;IACf,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,QAAQ,EACR,6DAA6D,CAAC,CAAC,WAAW,MAAM,CAAC,CAAC,UAAU,OAAO,CACpG,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;oBACvB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,GAAG,EAAE,EAAE,YAAY,GAAG,0BAA0B,CAAC,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,gBAAgB,EAChB,qFAAqF,CACtF,CACF,CAAC;YACJ,CAAC;YACD,IACE,MAAM,CAAC,OAAO,KAAK,SAAS;gBAC5B,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;oBAC7B,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;oBAC3B,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,EAC1C,CAAC;gBACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,gBAAgB,EAChB,wEAAwE,CACzE,CACF,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI;gBAC3B,CAAC,MAAM,EAAE,MAAM,CAAC;gBAChB,CAAC,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC;gBAC9B,CAAC,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC;aACpB,EAAE,CAAC;gBACX,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAChE,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,OAAO,EAAE,EACnB,YAAY,OAAO,2CAA2C,CAC/D,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,aAAa;IACb,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/D,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,MAAM,EAAE,iEAAiE,CAAC,CACrF,CAAC;IACJ,CAAC;IAED,4CAA4C;IAC5C,IACE,MAAM,KAAK,SAAS;QACpB,KAAK,KAAK,SAAS;QACnB,KAAK,KAAK,SAAS;QACnB,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAC,EAC3C,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,gBAAgB,EAChB,sFAAsF;YACpF,sEAAsE,CACzE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,QAAiB;IACvC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,CAAC,6EAA6E,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,GAAG,GAAG,QAA+B,CAAC;IAC5C,MAAM,OAAO,GAAG,qBAAqB,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,OAAO,CACX,yEAAyE;YACvE,kFAAkF;YAClF,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;QACtC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAgC,EAChC,IAAqB;IAErB,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,iEAAiE;QACjE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,OAAO,CACX,GAAG,IAAI,CAAC,IAAI,8BAA8B,MAAM,0BAA0B;YACxE,6BAA6B,CAChC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAChG,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,OAAO,CACX,KAAK,OAAO,uDAAuD;YACjE,mFAAmF;YACnF,qBAAqB,CACxB,CAAC;IACJ,CAAC;IACD,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,aAAa,CAAC,MAAM,CAAC;YAAE,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,MAAM,GAAG,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAE,IAA6B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,MAAM,SAAS,GAA4B;QACzC,CAAC,gBAAgB,CAAC,EAAE,IAAI;QACxB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI;YACnC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC;SACvD,CAAC;QACF,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC3C,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,SAAS,IAAI,IAAI;YACnB,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI;YAC5B,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;SAClE,CAAC;QACJ,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,IAAI,EAAE,cAAc;KACrB,CAAC;IAEF,2EAA2E;IAC3E,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,YAAY,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,SAAqC,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChF,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,OAAO,KAAiC,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC;AAED,0CAA0C;AAC1C,yGAAyG;AACzG,mFAAmF;AACnF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAkB;IAClD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;IACtE,OAAO;QACL,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;QAC3D,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC;QAC1E,0EAA0E;QAC1E,yCAAyC;QACzC,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI;YAC9B,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;SACvD,CAAC;QACF,GAAG,CAAC,GAAG,CAAC,WAAW,KAAK,SAAS;YAC/B,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACtE,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS;YAC3B,GAAG,CAAC,OAAO,KAAK,IAAI,IAAI;YACtB,OAAO,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;SACrF,CAAC;QACJ,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,SAAS,gBAAgB,CAAC,MAA4C;IACpE,OAAO;QACL,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE;QAC7D,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE;QAC5F,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAkB;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACzE,CAAC;AAED;;8CAE8C;AAC9C,MAAM,UAAU,mBAAmB,CAAC,GAAkB;IACpD,OAAO;QACL,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;QACpC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,WAAW,IAAI,EAAE;QAC3C,WAAW,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE;KAC9C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"envelope.js","sourceRoot":"","sources":["../../../src/semantics/envelope.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAEH,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EACL,UAAU,EACV,UAAU,EACV,cAAc,EACd,aAAa,EACb,UAAU,EACV,YAAY,GAEb,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,UAAU,EACV,YAAY,EACZ,aAAa,EACb,UAAU,EACV,YAAY,EACZ,eAAe,GAChB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAEnE,OAAO,EACL,yBAAyB,EACzB,gBAAgB,EAChB,cAAc,GAKf,MAAM,YAAY,CAAC;AAmBpB,MAAM,gBAAgB,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AACnG,MAAM,aAAa,GAAG,CAAC,CAAU,EAAgC,EAAE,CACjE,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE3D;;0BAE0B;AAC1B,MAAM,UAAU,2BAA2B,CAAC,WAAmB;IAC7D,MAAM,MAAM,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAC1D,OAAO,MAAM,CAAC,IAAI,CAChB,CAAC,CAAC,EAAE,EAAE,CACJ,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,yBAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,gBAAgB;IAChB,QAAQ;IACR,OAAO;IACP,OAAO;IACP,OAAO;IACP,YAAY;IACZ,2EAA2E;IAC3E,4EAA4E;IAC5E,iCAAiC;IACjC,QAAQ;IACR,0EAA0E;IAC1E,8EAA8E;IAC9E,UAAU;IACV,QAAQ;IACR,UAAU;IACV,aAAa;IACb,SAAS;IACT,QAAQ;IACR,MAAM;CACP,CAAC,CAAC;AACH,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC;AACnF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,CAAC,aAAa,EAAE,aAAa,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAChG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC;AAC1E;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAsB,MAAM,CAAC,IAAI,CAAC;IACrE,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;CAC6B,CAAC,CAAC;AACjD,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,wBAAwB,CAAC,CAAC;AACvD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAC;AAmBzF;aACa;AACb,MAAM,CAAC,MAAM,aAAa,GAAa;IACrC,UAAU,EAAE,YAAY;IACxB,WAAW,EAAE,aAAa;IAC1B,WAAW,EAAE,aAAa;IAC1B,kBAAkB,EAAE,oBAAoB;IACxC,WAAW,EAAE,aAAa;IAC1B,UAAU,EAAE,YAAY;CACzB,CAAC;AA+BF;8EAC8E;AAC9E,MAAM,UAAU,iBAAiB,CAAC,QAA0B;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,YAAY,IAAI,EAAE,CAAC,CAAC,CAAC;IAClF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,OAAe;IAC/C,OAAO,EAAE,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,aAAa,CAAC,KAAmC;IACxD,OAAO,SAAS,CACd,KAAK,EACL,KAAK,KAAK,6EAA6E,CACxF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC3F,MAAM,OAAO,GAAI,KAAkD,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACrF,OAAO,OAAO,OAAO,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,GAAI,KAA2B,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACnF,CAAC;AAED;6DAC6D;AAC7D,SAAS,WAAW,CAAC,OAAgB;IACnC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAC5C,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC;YAC3C,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC;YACzB,CAAC,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE;KAC7B,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,MAAuB,EACvB,KAAa,EACb,IAAa,EACb,UAAmB;IAEnB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,KAAK,8CAA8C,CAAC,CAAC,CAAC;QACxF,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACvD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,GAAG,KAAK,IAAI,CAAC,GAAG,EAChB,KAAK,KAAK,IAAI,CAAC,oDAAoD,CACpE,CACF,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,GAAG,KAAK,IAAI,CAAC,OAAO,EAAE,KAAK,KAAK,IAAI,CAAC,sCAAsC,CAAC,CACvF,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,UAAU,IAAI,GAAG,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,GAAG,KAAK,IAAI,CAAC,OAAO,EACpB,KAAK,KAAK,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,kDAAkD;gBACvF,qFAAqF,CACxF,CACF,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,GAAa,EAAE,CAAC;SACzD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAmB,EAAE,CAAW;IAC/D,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;IACjC,MAAM,UAAU,GAAG,CAAC,CAAC,WAAW,CAAC;IACjC,MAAM,gBAAgB,GAAG,CAAC,CAAC,kBAAkB,CAAC;IAC9C,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,SAAS,CACP,YAAY,EACZ,uCAAuC,UAAU,aAAa,UAAU,MAAM,gBAAgB,OAAO,CACtG;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC;YAC3B,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,cAAc,GAAG,EAAE,EAAE,gBAAgB,GAAG,+BAA+B,CAAC,CACnF,CAAC;IACN,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,cAAc,UAAU,EAAE;YACjC,OAAO,EACL,gBAAgB,UAAU,6DAA6D;gBACvF,wFAAwF;SAC3F,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,mBAAmB;YAC1B,OAAO,EAAE,+EAA+E;SACzF,CAAC,CAAC;IACL,CAAC;IACD,IACE,UAAU,CAAC,WAAW,KAAK,SAAS;QACpC,CAAC,OAAO,UAAU,CAAC,WAAW,KAAK,QAAQ;YACzC,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC;YACxC,UAAU,CAAC,WAAW,GAAG,CAAC,CAAC,EAC7B,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,cAAc,UAAU,EAAE,EAC1B,gBAAgB,UAAU,4CAA4C,CACvE,CACF,CAAC;IACJ,CAAC;IACD,IACE,UAAU,CAAC,kBAAkB,KAAK,SAAS;QAC3C,CAAC,gBAAgB,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAChD,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,cAAc,gBAAgB,EAAE,EAChC,gBAAgB,gBAAgB,2CAA2C,CAC5E,CACF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc;IAC3C,OAAO,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;GAMG;AACH,SAAS,QAAQ,CAAC,KAAc,EAAE,CAAW;IAC3C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,CAAC,SAAS,CAAC,gBAAgB,EAAE,wCAAwC,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,EAAE,CAAC;QACrC,OAAO;YACL,SAAS,CACP,gBAAgB,EAChB,KAAK,gBAAgB,6DAA6D,CACnF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,GAAG,EACH,wBAAwB,GAAG,mDAAmD;gBAC5E,iFAAiF;gBACjF,+DAA+D,CAClE,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,eAAe;IACf,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvC,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,QAAQ,EACR,4GAA4G,CAC7G,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACtB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;oBACtB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,EAAE,YAAY,CAAC,4BAA4B,CAAC,CAAC,CAAC;oBAClF,OAAO;gBACT,CAAC;gBACD,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;oBACvD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,CAAC,KAAK,EAChB,YAAY,CAAC,wEAAwE,CACtF,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,CAAC,UAAU,EACrB,YAAY,CAAC,yCAAyC,CACvD,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChC,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,UAAU,CAAC,UAAU,EAAE,YAAY,CAAC,uCAAuC,CAAC,CACvF,CAAC;gBACJ,CAAC;gBACD,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC;oBACpB,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,CAAC,SAAS,EACpB,YAAY,CAAC,gEAAgE,CAC9E,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,4EAA4E,CAC7E,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrB,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;oBACrD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,CAAC,UAAU,EACpB,WAAW,CAAC,yEAAyE,CACtF,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC;QACtC,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,0FAA0F,CAC3F,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACrB,IACE,CAAC,aAAa,CAAC,CAAC,CAAC;oBACjB,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;oBACzB,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvB,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,EACzB,CAAC;oBACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,CAAC,GAAG,EACb,WAAW,CAAC,yDAAyD,CACtE,CACF,CAAC;gBACJ,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,cAAc;IACd,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,UAAU,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,2DAA2D,SAAS,mBAAmB,CACxF,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC;oBACtB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,EAAE,WAAW,GAAG,0BAA0B,CAAC,CAAC,CAAC;YACrF,CAAC;YACD,IAAI,IAAI,GAAG,KAAK,CAAC;YACjB,KAAK,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,aAAa,EAAE,WAAW,CAAU,EAAE,CAAC;gBACpE,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC7B,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;wBAClC,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,SAAS,GAAG,EAAE,EAAE,WAAW,GAAG,2CAA2C,CAAC,CACrF,CAAC;oBACJ,CAAC;;wBAAM,IAAI,GAAG,IAAI,CAAC;gBACrB,CAAC;YACH,CAAC;YACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;oBAC1C,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,SAAS,EAAE,EACpB,WAAW,SAAS,mEAAmE,CACxF,CACF,CAAC;gBACJ,CAAC;;oBAAM,IAAI,GAAG,IAAI,CAAC;YACrB,CAAC;YACD,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;gBAC/D,MAAM,CAAC,IAAI,CACT,SAAS,CACP,OAAO,EACP,yEAAyE,SAAS,iCAAiC,CACpH,CACF,CAAC;YACJ,CAAC;YACD,IACE,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC;gBACnC,2BAA2B,CAAC,KAAK,CAAC,WAAW,CAAC;gBAC9C,OAAO,KAAK,CAAC,UAAU,KAAK,SAAS,EACrC,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,8BAA8B;oBACpC,KAAK,EAAE,SAAS,SAAS,EAAE;oBAC3B,OAAO,EACL,yBAAyB,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE,mCAAmC;wBACpF,KAAK,SAAS,wEAAwE;wBACtF,gEAAgE,SAAS,cAAc;wBACvF,KAAK,SAAS,YAAY;iBAC7B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,iFAAiF;IACjF,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,CAAC;IAC5D,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC;SAAM,IAAI,OAAO,EAAE,CAAC;QACnB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,YAAY;YACnB,OAAO,EACL,0EAA0E,CAAC,CAAC,WAAW,SAAS;gBAChG,qFAAqF;gBACrF,oDAAoD;SACvD,CAAC,CAAC;IACL,CAAC;IAED,yFAAyF;IACzF,+EAA+E;IAC/E,4EAA4E;IAC5E,kEAAkE;IAClE,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACpF,CAAC;IAED,kEAAkE;IAClE,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC5C,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,uBAAuB;IACvB,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAChD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,sBAAsB;YAC5B,KAAK,EAAE,OAAO;YACd,OAAO,EACL,8EAA8E;gBAC9E,uFAAuF;gBACvF,6DAA6D;SAChE,CAAC,CAAC;IACL,CAAC;IAED,qDAAqD;IACrD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,IAAI,gBAA8C,CAAC;IACnD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,EACV,uFAAuF,CACxF,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,YAAY,GAAG,EAAE,EACjB,cAAc,GAAG,+EAA+E,CACjG,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,EAAE,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;YACnF,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,sBAAsB,EAAE,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;YAC9F,MAAM,WAAW,GAAG,aAAa,CAC/B,MAAM,EACN,uBAAuB,EACvB,QAAQ,CAAC,YAAY,EACrB,IAAI,CACL,CAAC;YACF,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAClE,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,EACV,mFAAmF,CACpF,CACF,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,gBAAgB,GAAG;oBACjB,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;oBACtC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;oBACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;iBAC7D,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC;IACrC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,aAAa,EACb,8JAA8J,CAC/J,CACF,CAAC;QACJ,CAAC;aAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,aAAa,EAAE,sDAAsD,CAAC,CAAC,CAAC;QAChG,CAAC;aAAM,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;YACpD,MAAM,IAAI,GACR,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;YACvF,IAAI,CAAC,IAAI,EAAE,CAAC;gBACV,MAAM,CAAC,IAAI,CACT,SAAS,CACP,aAAa,EACb,yIAAyI,CAC1I,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC9B,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QAC9C,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,SAAS,EACT,6GAA6G,CAC9G,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;oBACxB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,GAAG,EAAE,EAAE,aAAa,GAAG,4BAA4B,CAAC,CAAC,CAAC;YAC3F,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,kBAAkB,EAAE,wCAAwC,CAAC,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACvC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,oBAAoB,EACpB,+FAA+F,CAChG,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,eAAe;IACf,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CACT,SAAS,CACP,QAAQ,EACR,6DAA6D,CAAC,CAAC,WAAW,MAAM,CAAC,CAAC,UAAU,OAAO,CACpG,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACtC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC;oBACvB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,GAAG,EAAE,EAAE,YAAY,GAAG,0BAA0B,CAAC,CAAC,CAAC;YACvF,CAAC;YACD,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtC,MAAM,CAAC,IAAI,CACT,SAAS,CACP,gBAAgB,EAChB,qFAAqF,CACtF,CACF,CAAC;YACJ,CAAC;YACD,IACE,MAAM,CAAC,OAAO,KAAK,SAAS;gBAC5B,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC;oBAC7B,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;oBAC3B,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,EAC1C,CAAC;gBACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,gBAAgB,EAChB,wEAAwE,CACzE,CACF,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI;gBAC3B,CAAC,MAAM,EAAE,MAAM,CAAC;gBAChB,CAAC,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC;gBAC9B,CAAC,YAAY,EAAE,CAAC,CAAC,UAAU,CAAC;aACpB,EAAE,CAAC;gBACX,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAChE,MAAM,CAAC,IAAI,CACT,SAAS,CACP,UAAU,OAAO,EAAE,EACnB,YAAY,OAAO,2CAA2C,CAC/D,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,aAAa;IACb,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC/D,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,MAAM,EAAE,iEAAiE,CAAC,CACrF,CAAC;IACJ,CAAC;IAED,4CAA4C;IAC5C,IACE,MAAM,KAAK,SAAS;QACpB,KAAK,KAAK,SAAS;QACnB,KAAK,KAAK,SAAS;QACnB,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI,CAAC,EAC3C,CAAC;QACD,MAAM,CAAC,IAAI,CACT,SAAS,CACP,gBAAgB,EAChB,sFAAsF;YACpF,sEAAsE,CACzE,CACF,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,QAAiB;IACvC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,MAAM,OAAO,CAAC,6EAA6E,CAAC,CAAC;IAC/F,CAAC;IACD,MAAM,GAAG,GAAG,QAA+B,CAAC;IAC5C,MAAM,OAAO,GAAG,qBAAqB,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACrE,MAAM,UAAU,GAAG,qBAAqB,CAAC,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,qBAAqB,CAAC,aAAa,EAAE,GAAG,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAChF,IAAI,OAAO,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,MAAM,OAAO,CACX,yEAAyE;YACvE,kFAAkF;YAClF,yBAAyB,CAC5B,CAAC;IACJ,CAAC;IACD,OAAO;QACL,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC;QACtC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAgC,EAChC,IAAqB;IAErB,wEAAwE;IACxE,uEAAuE;IACvE,uEAAuE;IACvE,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrE,iEAAiE;QACjE,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,MAAM,OAAO,CACX,GAAG,IAAI,CAAC,IAAI,8BAA8B,MAAM,0BAA0B;YACxE,6BAA6B,CAChC,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAChG,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,OAAO,CACX,KAAK,OAAO,uDAAuD;YACjE,mFAAmF;YACnF,qBAAqB,CACxB,CAAC;IACJ,CAAC;IACD,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;IAC9C,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,aAAa,CAAC,MAAM,CAAC;YAAE,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,2EAA2E;IAC3E,iDAAiD;IACjD,MAAM,MAAM,GAAG,QAAQ,IAAI,IAAI,CAAC,CAAC,CAAC,UAAU,CAAE,IAA6B,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,uEAAuE;IACvE,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,SAAS,GAA4B;QACzC,CAAC,gBAAgB,CAAC,EAAE,IAAI;QACxB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC5E,GAAG,CAAC,IAAI,CAAC,UAAU,KAAK,SAAS,IAAI;YACnC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC;SACvD,CAAC;QACF,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC3C,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC3C,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;QACzD,GAAG,CAAC,SAAS,IAAI,IAAI;YACnB,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI;YAC5B,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC;SAClE,CAAC;QACJ,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChF,IAAI,EAAE,cAAc;KACrB,CAAC;IAEF,2EAA2E;IAC3E,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,OAAO,CAAC,GAAG,KAAK,CAAC,OAAO,YAAY,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,SAAqC,CAAC;AAC/C,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChF,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACvD,OAAO,KAAiC,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAc;IAC7C,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAChF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAChD,CAAC;AAED,0CAA0C;AAC1C,yGAAyG;AACzG,mFAAmF;AACnF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAkB;IAClD,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;IACtE,OAAO;QACL,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,GAAG,CAAC,KAAK,EAAE,EAAE,CAAC;QAC3D,GAAG,CAAC,GAAG,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,EAAE,GAAG,GAAG,CAAC,UAAU,EAAE,EAAE,CAAC;QAC1E,0EAA0E;QAC1E,yCAAyC;QACzC,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI;YAC9B,MAAM,EAAE,MAAM,EAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC;SACvD,CAAC;QACF,qEAAqE;QACrE,GAAG,CAAC,GAAG,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACnE,GAAG,CAAC,GAAG,CAAC,WAAW,KAAK,SAAS;YAC/B,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACtE,GAAG,CAAC,GAAG,CAAC,OAAO,KAAK,SAAS;YAC3B,GAAG,CAAC,OAAO,KAAK,IAAI,IAAI;YACtB,OAAO,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE;SACrF,CAAC;QACJ,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC;KACxE,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,SAAS,gBAAgB,CAAC,MAA4C;IACpE,OAAO;QACL,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE;QAC7D,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE;QAC5F,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;KACjE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,GAAkB;IAClD,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACzE,CAAC;AAED;;8CAE8C;AAC9C,MAAM,UAAU,mBAAmB,CAAC,GAAkB;IACpD,OAAO;QACL,OAAO,EAAE,GAAG,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;QACpC,UAAU,EAAE,GAAG,CAAC,QAAQ,EAAE,WAAW,IAAI,EAAE;QAC3C,WAAW,EAAE,GAAG,CAAC,QAAQ,EAAE,YAAY,IAAI,EAAE;KAC9C,CAAC;AACJ,CAAC"}

package/dist/esm/semantics/index.d.ts

@@ -9,7 +9,8 @@
  */
 export { composeNotCovered, coverageOfSemantics, explainSemantics, isCounterLookingAggregation, readSemantics, semanticIssues, semanticsForModel, type SemanticIssue, type SemanticIssueCode, } from './envelope.js';
 export { describedResult } from './described.js';
-export { checkSemantics, type SemanticsCatalogEntry, type SemanticsFinding, type SemanticsFindingCode, type SemanticsReport, } from './check.js';
+export { checkSemantics, type CheckSemanticsOptions, type SemanticsCatalogEntry, type SemanticsFinding, type SemanticsFindingCode, type SemanticsReport, } from './check.js';
 export { formatSemanticsReport } from './format.js';
+export { type OverclaimCode, type SemanticsRuleSet } from './overclaim.js';
 export { coerceSemanticsCatalog, runCheckSemanticsCli, type SemanticsCliIO } from './cli.js';
 export { COUNTER_AGGREGATION_WORDS, RESULT_CLASSES, SEMANTICS_MARKER, SEMANTICS_NOTE, type DescribedResultDeclaration, type SemanticClarify, type SemanticCoverage, type SemanticEdge, type SemanticFact, type SemanticGrain, type SemanticProvenance, type SemanticRender, type SemanticSeriesPoint, type ToolResultClass, type ToolSemantics, } from './types.js';

package/dist/esm/semantics/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/semantics/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACb,cAAc,EACd,iBAAiB,GAGlB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EACL,cAAc,GAKf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAEpD,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAuB,MAAM,UAAU,CAAC;AAE7F,OAAO,EACL,yBAAyB,EACzB,cAAc,EACd,gBAAgB,EAChB,cAAc,GAYf,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/semantics/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,2BAA2B,EAC3B,aAAa,EACb,cAAc,EACd,iBAAiB,GAGlB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEjD,OAAO,EACL,cAAc,GAMf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAIpD,OAAO,EAAE,sBAAsB,EAAE,oBAAoB,EAAuB,MAAM,UAAU,CAAC;AAE7F,OAAO,EACL,yBAAyB,EACzB,cAAc,EACd,gBAAgB,EAChB,cAAc,GAYf,MAAM,YAAY,CAAC"}

package/dist/esm/semantics/overclaim.d.ts

@@ -0,0 +1,105 @@
+/**
+ * overclaim — the rule pack that checks a declaration like a claim: a refusal
+ * or an absence never asserts more than was read.
+ *
+ * Pattern: a pure rule pack (the `tool-lint/rules.ts` shape), asked by the
+ *          `check:semantics` gate (`check.ts`). No IO, no model.
+ * Role:    lib/ layer (L1), pure. Reads the recognizers this folder owns.
+ * Emits:   N/A.
+ *
+ * ## The finding it answers
+ *
+ * A registered study (two models) found that a tool's refusal text that said
+ * more than its check — "No array matches 'X'. Known arrays: … a wrong
+ * identifier, not missing data" — made replies WORSE: models told users "X is
+ * not in your estate" when the tool had only failed to find X in one
+ * inventory export. A refused call read nothing; an absence read what its
+ * `checked` names. Neither may say what does not exist, or that the input is
+ * wrong.
+ *
+ * ## The rules
+ *
+ *   • `refusal-asserts-absence` — a not-read result (a refusal a tool throws
+ *     or returns; an effects envelope whose status is `invalid`, `denied` or
+ *     `failure`) carries an absence (`af_absent`), or a sentence about what
+ *     was looked up from {@link NON_EXISTENCE} or {@link WRONGNESS}.
+ *   • `absence-asserts-wrongness` — an item's `what`/`why`, `try_instead`,
+ *     the typed tool's `why`, or an extra key's text has a sentence about
+ *     what was looked up that calls it wrong ({@link WRONGNESS}).
+ *   • `authoritative-names` — every `among.authoritative` use, listed for
+ *     review: it removes the gap "names outside <source>".
+ *
+ * A sentence is ABOUT what was looked up when it names the looked-up argument
+ * or its value (`LookupSubject` — a described refusal sample's, or an
+ * absence's `looked_for` and facet argument; with neither, a quoted span
+ * stands for the value). A format, range, permission or transport message
+ * exempts a WRONGNESS phrase only; a NON-EXISTENCE phrase about the lookup
+ * always fires.
+ *
+ * ## The phrase packs — closed, versioned, small
+ *
+ * Two fixed lists of English phrases, matched after NFC, case folding and
+ * curly-apostrophe folding. They are a gate's net, not a grammar: a phrasing
+ * they miss is a missed finding, never a pass. The fuller detection grammar
+ * (clauses, negation scope, languages) belongs to the delivery check, a later
+ * piece; it may reuse these lists. {@link OVERCLAIM_PHRASES_VERSION} changes
+ * whenever a list does.
+ */
+import type { ToolAbsence } from './coverage/types.js';
+/** Bumped whenever {@link NON_EXISTENCE} or {@link WRONGNESS} changes. */
+export declare const OVERCLAIM_PHRASES_VERSION = 1;
+/** The opt-in rule sets `check:semantics` takes (`rules: ['overclaim']`). */
+export type SemanticsRuleSet = 'overclaim';
+/** The closed list of rule sets, as data. */
+export declare const SEMANTICS_RULE_SETS: readonly SemanticsRuleSet[];
+/** The codes this pack files. */
+export type OverclaimCode = 'refusal-asserts-absence' | 'absence-asserts-wrongness' | 'authoritative-names';
+/** One finding of this pack, before the gate stamps tool, severity and index. */
+export interface OverclaimIssue {
+    readonly code: OverclaimCode;
+    /** The field, dot-pathed from the value judged (`try_instead`, `checked[0].authoritative`). */
+    readonly field: string;
+    /** What is wrong and the fix — without the tool name; the gate adds it. */
+    readonly message: string;
+}
+/** The first non-existence phrase in `text`, or `undefined`. */
+export declare function nonExistencePhrase(text: string): string | undefined;
+/** The first phrase in `text` that calls the input wrong, or `undefined`. */
+export declare function wrongnessPhrase(text: string): string | undefined;
+/**
+ * What a refusal or an absence is ABOUT: the looked-up argument's name and
+ * the value asked for. A rule fires only on a sentence that names one of them
+ * — "PS-ARRAY-99 is the wrong identifier" is a claim about the thing looked
+ * up; "start_date is not a valid ISO-8601 date" is about another argument.
+ */
+export interface LookupSubject {
+    readonly argument?: string;
+    readonly value?: string;
+}
+/** True when a sentence is a format, range, permission or transport message. */
+export declare function isExemptMessage(sentence: string): boolean;
+/**
+ * True when `value` is a result that READ NOTHING by its own declaration — an
+ * effects envelope whose `status` is `invalid`, `denied` or `failure`.
+ */
+export declare function isNotReadResult(value: unknown): boolean;
+/**
+ * `refusal-asserts-absence` over one refusal — the text a tool throws, the
+ * value it returns when it refuses, or a described sample
+ * `{ text, argument?, value? }`. A refused call read nothing, so it may carry
+ * no absence, and no sentence ABOUT what was looked up that says it does not
+ * exist or that the input is wrong. A sentence about another argument, or a
+ * format, range, permission or transport message, is not that claim.
+ */
+export declare function refusalIssues(value: unknown, field: string): OverclaimIssue[];
+/**
+ * `absence-asserts-wrongness` and `authoritative-names` over one absence. An
+ * absence says what was searched; it never calls the input wrong — a name
+ * missing from one list may exist elsewhere.
+ */
+export declare function absenceIssues(absence: ToolAbsence): OverclaimIssue[];
+/**
+ * The absences a sample result carries — a bare one, or one a `coverage()`
+ * ledger bounds, to any depth: the shapes the dispatch door recognizes.
+ */
+export declare function absencesIn(value: unknown): ToolAbsence[];