wingfoil 0.2.1 → 0.3.0

package/dist/workflow/deduce.d.ts

@@ -0,0 +1,400 @@
+/**
+ * Workflow state deduction (task-198, task-203, task-202; `spec-017` §1, §3.1–§3.5, §4.1–§4.11, §5.2
+ * re-entry; `adr-007` stateless state derivation, `adr-008` per-type state machines; P4.13, P4.16,
+ * P4.11).
+ *
+ * One **pure** function, {@link deduceWorkflowState}, answers every consumer — `workflow next`,
+ * `status`, `list`, the MCP Resources and `agent execute --next` — from one {@link DeductionSnapshot}:
+ * the repository as committed at `HEAD`, read once by `src/core`'s snapshot reader
+ * (`src/core/workflow-deduction.ts`). Nothing here touches the filesystem, git or the clock, and every
+ * collection is iterated in a declared order (`spec-017` §1.3, REQ-SYS-07, REQ-STATE-09), so two runs
+ * on one snapshot give the same value, byte for byte once serialized. No `.wingfoil/state/` exists or
+ * is read (REQ-SYS-03): state is the frontmatter of the Memory documents, the files `HEAD` holds and
+ * the commit history reachable from `HEAD` (each instance's walk, §4.8).
+ *
+ * What is deduced here:
+ * - **Instances** (§3.1–§3.3): an open main is a `plan` element (`draft`/`active`, no `parent`) whose
+ *   `workflow` is startable; most recently started first, the first one active. A plan naming a
+ *   workflow the registry does not load is listed with an empty frontier (`W_INSTANCE_WORKFLOW_UNKNOWN`).
+ * - **The bound element** (§3.4; §3.5 the context). A self-creating workflow's element is the element
+ *   of its creating phase's type that its creating step created (step linkage, §4.8) with the oldest add
+ *   commit; until then it is `null` and its `{id}` tokens are pending, never unresolved. Further linked
+ *   elements are listed in `Instance.created` and do not rebind. An archived bound element
+ *   (`deprecated`, or `superseded`) abandons the instance (§4.11).
+ * - **Evidence** (§4.3): `state`, `produces`, `selection`, `include` and `record` decide a phase;
+ *   `awaits` and a checkpoint complete by a record; an implicit-owner `produces` is shown and is not
+ *   evidence. `created` (a `memory.add`) is satisfied when, for each type the phase adds, the step
+ *   created an element at or after the state the phase leaves it in, with each `{ type, path }` entry
+ *   committed for it; a step that created nothing leaves the kind to its other evidence, or to a record.
+ * - **Re-entries** (§4.8, §5.2): after a `reject`/`park` that moved the pass's element back, the
+ *   `record` and `state` evidence of the phases from the `fallback.step` of the phase whose gate state
+ *   was `<from>` onward counts only if newer than the re-entry; those steps report `reentered: true`.
+ *   An `iterate_over` does not hand its own cutoff to its iterations: each iterated element has its own
+ *   re-entries.
+ * - **`iterate_over`** (§4.6): over a Memory type, the `where` splits into the entry filter (`status`)
+ *   and the scope filter, and each candidate is eligible, entered, complete or ignored; over a
+ *   collection (`dna:<path>`, `bindings:<name>`, `dl-104` D2 (b)) every matching entry is a candidate,
+ *   keyed per `spec-003` § "Collections" and interpolated as `{item}` / `{item.<field>}`. Zero counted
+ *   candidates make the phase **vacuously** complete, with the note
+ *   {@link NO_ITERATION_NOTE}.
+ * - **Live queries and optional phases** (§4.7, §4.10): a selection or `iterate_over` phase is also
+ *   complete once a later phase of the same pass is complete other than vacuously, its open candidates
+ *   reported `late`; an optional phase is then skipped instead. A vacuous completion closes nothing.
+ * - **The frontier** (§4.9): phases are sequential; a plain `include` descends into its sub, an
+ *   `iterate_over` into the sub once per eligible or entered candidate, in iteration order. An optional
+ *   current phase is reported together with the phases up to the next non-optional one.
+ *
+ * Not here: approvals and routing (§5, task-225), action/check views and directives (§6, the
+ * `next`/`status` tasks).
+ */
+import type { MemoryYaml } from '../memory/schema';
+import { type MemoryDocumentSummary } from '../memory/query';
+import { type Diagnostic } from '../validation';
+import type { DnaYaml } from '../dna/schema';
+import { type BindingsYaml, type CollectionEntry } from './bindings';
+import { type Phase, type Workflow } from './schema';
+/** `W_UNCOMMITTED_INPUTS` (`spec-017` §1.2): a deduction input differs from `HEAD`; the answer is `HEAD`'s. */
+export declare const W_UNCOMMITTED_INPUTS = "W_UNCOMMITTED_INPUTS";
+/**
+ * The `W_UNCOMMITTED_INPUTS` diagnostic of one dirty input path (`spec-017` §1.2; one per path, task-198).
+ * The deduction builds its own through here, and so does `agent list --past`, which runs no deduction and
+ * emits the code itself under the same rule (`spec-016` §5, task-240), so the two cannot word it apart.
+ */
+export declare function uncommittedInputDiagnostic(path: string): Diagnostic;
+/** `W_MEMORY_INVALID_STATE` (`spec-017` §1.4, P4.13 sc. 3): a status its type's machine does not declare. */
+export declare const W_MEMORY_INVALID_STATE = "W_MEMORY_INVALID_STATE";
+/** `W_UNRESOLVED_TOKEN` (`spec-017` §4.1): a token with no value on the element it resolves against. */
+export declare const W_UNRESOLVED_TOKEN = "W_UNRESOLVED_TOKEN";
+/** `W_INSTANCE_WORKFLOW_UNKNOWN` (`spec-017` §2): an open plan names a workflow the registry does not load. */
+export declare const W_INSTANCE_WORKFLOW_UNKNOWN = "W_INSTANCE_WORKFLOW_UNKNOWN";
+/** The note of an `iterate_over` phase no candidate was counted for (`spec-017` §4.6, P4.16 sc. 3). */
+export declare const NO_ITERATION_NOTE = "no elements matched the iterate_over filter";
+/** The plan statuses of an open instance (`spec-017` §3.2). */
+export declare const OPEN_PLAN_STATUSES: readonly string[];
+/** The Memory type that records a workflow instance (`spec-017` §3.1, `dl-019`). */
+export declare const PLAN_TYPE = "plan";
+/** Where an instance started: the commit that added its plan file, and its index in `git rev-list --topo-order HEAD`. */
+export interface StartCommit {
+    readonly commit: string;
+    /** `0` is `HEAD`; a larger number is an older start. */
+    readonly position: number;
+}
+/**
+ * A commit's place in the history walk (`spec-017` §4.8): its index in the `git log --topo-order` of
+ * the union of the open instances' walks, `0` the commit at `HEAD`. A smaller position is listed first;
+ * whether evidence is **newer than a re-entry** is decided by ancestry, not by position (review F1).
+ */
+export interface WalkPosition {
+    readonly commit: string;
+    readonly position: number;
+}
+/** One phase record (`spec-003` § "Evidence"): a commit carrying the `WingFoil-Phase: <w>.<p> completed` trailers. */
+export interface PhaseRecord extends WalkPosition {
+    /** `<workflow>.<phase>`, without the trailing ` completed`. */
+    readonly phase: string;
+    readonly instance: string;
+    /** `WingFoil-Element`, `<type>:<id>`, or `null`. */
+    readonly element: string | null;
+    /** `WingFoil-Item`, `<collection>#<key>`, or `null`. */
+    readonly item: string | null;
+}
+/**
+ * One step linkage (`spec-017` §4.8): an add commit, `wf(<type>): add <id>`, whose trailers carry
+ * `WingFoil-Instance` and `WingFoil-Step` — the element it adds was **created by** that step. One entry
+ * per id the subject names.
+ */
+export interface StepLink extends WalkPosition {
+    readonly instance: string;
+    /** The step key, `<workflow>.<phase>[@<scope>]`, as `WingFoil-Step` gives it. */
+    readonly step: string;
+    readonly type: string;
+    readonly id: string;
+}
+/**
+ * One re-entry (`spec-017` §4.8): a `reject` or `park` commit, `wf(<type>): reject|park <ids> [<from> → <to>]`,
+ * that moved the element to an earlier position of its type's `sequence`. One entry per id the subject names.
+ */
+export interface Reentry extends WalkPosition {
+    readonly verb: 'reject' | 'park';
+    readonly type: string;
+    readonly id: string;
+    /** The bracket's first state. */
+    readonly from: string;
+    /** The bracket's last state. */
+    readonly to: string;
+}
+/**
+ * A Memory-operation commit naming a re-entered element — a `wf(<type>): <verb> <ids> [… → <to>]` subject, or
+ * a bracketless `wf(<type>): add|submit <ids>` (task-281, `bug-300`): the candidates for the commit that put
+ * the element in its current status (§4.8, `state` evidence after a re-entry).
+ */
+export interface TransitionCommit extends WalkPosition {
+    readonly type: string;
+    readonly id: string;
+    /**
+     * The status the commit left: its bracket's last state, or — for a bracketless `add` / `submit` — the
+     * status the element's file holds at that commit (task-281, `bug-300`).
+     */
+    readonly to: string;
+}
+/** What one instance's walk holds (§4.8): the commits reachable from `HEAD` and not from its start commit's parents. */
+export interface InstanceHistory {
+    /** Its phase records, newest first. */
+    readonly records: readonly PhaseRecord[];
+    /** Its step linkages, newest first. */
+    readonly links: readonly StepLink[];
+    /** Its re-entries, newest first. */
+    readonly reentries: readonly Reentry[];
+}
+/**
+ * Everything the deduction reads, as `HEAD` holds it (`spec-017` §1.1), gathered by the snapshot reader
+ * in `src/core`. Pure data: the deduction is a function of this value alone.
+ */
+export interface DeductionSnapshot {
+    /** The full sha `HEAD` resolved to. */
+    readonly commit: string;
+    /** The registry's workflows, in manifest `include` order. */
+    readonly workflows: readonly Workflow[];
+    /** Each workflow's file, repository-relative (`.wingfoil/workflows/custom/x.yaml`), parallel to `workflows`. */
+    readonly workflowFiles: readonly string[];
+    /** The registry's load-time diagnostics (warnings only: an error refuses the load), in `spec-003`'s order. */
+    readonly registryDiagnostics: readonly Diagnostic[];
+    /** `memory.yaml` at `HEAD`, or `null` when the commit holds none. */
+    readonly memoryYaml: MemoryYaml | null;
+    /** Every Memory document at `HEAD`, in sorted path order, the unparsable ones already left out. */
+    readonly documents: readonly MemoryDocumentSummary[];
+    /** The scan's `W_MEMORY_UNREADABLE` reports for the documents it left out, in path order. */
+    readonly scanDiagnostics: readonly Diagnostic[];
+    /** Every file path `HEAD` holds, sorted (`produces` evidence). */
+    readonly tree: readonly string[];
+    /** The start commit of each candidate plan, by its path. */
+    readonly starts: ReadonlyMap<string, StartCommit>;
+    /** What each instance's walk holds (§4.8) — records, linkages, re-entries — by the instance's start commit. */
+    readonly history: ReadonlyMap<string, InstanceHistory>;
+    /** The transition commits in the walk that name a re-entered element, newest first. */
+    readonly transitions: readonly TransitionCommit[];
+    /** The latest commit in the walk that changed each re-entered element's file, by `<type>:<id>` (one lookup each). */
+    readonly lastChanges: ReadonlyMap<string, WalkPosition>;
+    /**
+     * The parent links of every commit of the walk, by sha (parents outside the walk included). "Newer than a
+     * re-entry" means "descends from the re-entry commit", decided through them (§4.8, review F1 ruling (a)).
+     */
+    readonly parents: ReadonlyMap<string, readonly string[]>;
+    /** The deduction inputs that differ from `HEAD` in the working tree, sorted (§1.2). */
+    readonly dirty: readonly string[];
+    /**
+     * The entries of each collection a loaded workflow iterates over (`dna:<path>`, `bindings:<name>`,
+     * `spec-003` § "Collections"), in declared order, by reference. A reference with no entry here has
+     * no candidates. Absent: no collection is iterated.
+     */
+    readonly collections?: ReadonlyMap<string, readonly CollectionEntry[]>;
+    /**
+     * `workflows/bindings.yaml` at the snapshot's commit, as the registry loaded it, or `null` (none). Carried so
+     * `workflow next` and `show` resolve bindings from the one registry load (task-216; W3 B3 handover). Absent:
+     * not read.
+     */
+    readonly bindings?: BindingsYaml | null;
+    /** `dna.yaml` at the snapshot's commit, or `null` (none): `next`'s role holders and agent roles (task-216). Absent: not read. */
+    readonly dnaYaml?: DnaYaml | null;
+}
+/** The baseline an answer comes from (`spec-017` §8, `dl-084` (A)). */
+export interface Baseline {
+    readonly rev: 'HEAD';
+    readonly commit: string;
+}
+/** A Memory element as deduction reports it (`spec-017` §8). */
+export interface ElementRef {
+    readonly type: string;
+    readonly id: string;
+    readonly status: string;
+}
+/** What a step runs on: an element or a collection entry (`spec-017` §8). */
+export type ScopeRef = {
+    readonly element: ElementRef;
+} | {
+    readonly item: {
+        readonly collection: string;
+        readonly key: string;
+    };
+};
+/** A workflow instance (`spec-017` §3, §8). */
+export interface Instance {
+    readonly id: string;
+    readonly workflow: string;
+    /** The bound element (§3.4), or `null`: none declared, not found, or not yet created. */
+    readonly element: ElementRef | null;
+    /** The context element (§3.5) of a workflow that declares no element, or `null`. */
+    readonly context: ElementRef | null;
+    /** Every element a step of the instance created (§4.8 linkage), ascending `(type, id)`; the bound one included. */
+    readonly created: readonly ElementRef[];
+    readonly planStatus: 'draft' | 'active';
+    readonly startCommit: string;
+    readonly active: boolean;
+    /** `true` when the bound element is archived (`deprecated`, `superseded`): the frontier is empty (§4.11). */
+    readonly abandoned: boolean;
+}
+/** One link of a step's trail, from the instance down to the step itself (`spec-017` §4.9). */
+export interface TrailEntry {
+    readonly workflow: string;
+    readonly phase: string;
+    readonly scope: ScopeRef | null;
+}
+/** The evidence kinds of `spec-017` §4.3. */
+export type EvidenceKind = 'state' | 'created' | 'produces' | 'selection' | 'include' | 'awaits' | 'record';
+/** One `produces` entry of a step, resolved (`spec-017` §8). */
+export interface ProducesView {
+    readonly pattern: string;
+    /** The type that owns it: the workflow's element type, `T` of `{ type: T, path }`, or `null` (no element, or an implicit owner). */
+    readonly owner: string | null;
+    readonly resolved: readonly string[];
+    readonly exists: boolean;
+    /** `false` for an implicit-owner entry, which is shown but is not evidence (§4.3), and for a created-owned one. */
+    readonly evidence: boolean;
+}
+/** What an action acts on (`spec-017` §4.2, §8 `ActionView.target`). */
+export type ActionTarget = 'bound' | 'selection' | 'created' | 'run' | 'none';
+/**
+ * One action of a step, as deduction resolves it (`spec-017` §4.1, §4.2): its text with the tokens
+ * substituted, the tokens with no value, and the elements it acts on at `HEAD`. Its binding is `next`'s
+ * (§6.1, `src/core/workflow-next.ts`).
+ */
+export interface DeducedAction {
+    readonly token: string;
+    /** The token with each `{…}` that has a value substituted; a pending or unresolved one is kept as written. */
+    readonly text: string;
+    /** The `{…}` tokens with no value (each reported `W_UNRESOLVED_TOKEN`), in order. */
+    readonly unresolved: readonly string[];
+    readonly target: ActionTarget;
+    /** The Memory type the action acts on when deduction knows it (`null`: a selection of several types, or none). */
+    readonly targetType: string | null;
+    /**
+     * The elements the action acts on, known at `HEAD`, ascending `(type, id)`: the bound element, the
+     * selected ones, the ones the step (or, for a `run` target, an earlier step of the pass) created, or those a
+     * `<T>.sync_state(for_each: <type>.<field>)` names. Empty when none is known yet.
+     */
+    readonly targets: readonly ElementRef[];
+    /** The bound element's state just before this action, computed statically (§4.4), or `null`. */
+    readonly boundFrom: string | null;
+    /**
+     * For a `<T>.sync_state(for_each: <S>.<field>)`: the type and the state of the source element `S` at this action,
+     * and, per target id, the other elements of `S` (not archived) whose field names it, ascending `(type, id)` — the
+     * input of the aggregate rule `workflow next` / `status` apply (a bug moves on once every task naming it has, task-225).
+     */
+    readonly source?: {
+        readonly type: string;
+        readonly state: string | null;
+        readonly peers: readonly {
+            readonly id: string;
+            readonly sources: readonly ElementRef[];
+        }[];
+    };
+}
+/** A leaf step on an instance's frontier (`spec-017` §4.9; the part of §8's `Step` deduction decides). */
+export interface DeducedStep {
+    /** `<workflow>.<phase>`, then `@<type>:<id>` or `@<collection>#<key>` when the step runs on a scope. */
+    readonly key: string;
+    readonly instance: string;
+    readonly trail: readonly TrailEntry[];
+    readonly workflow: string;
+    readonly phase: string;
+    readonly scope: ScopeRef | null;
+    readonly role: string | null;
+    readonly optional: boolean;
+    readonly produces: readonly ProducesView[];
+    /** The elements this step created (§4.8 linkage), ascending `(type, id)`. */
+    readonly created: readonly ElementRef[];
+    readonly evidence: {
+        readonly kinds: readonly EvidenceKind[];
+        readonly missing: readonly EvidenceKind[];
+        /** `true` when the only evidence missing is a `record` (`workflow finalize`, §7.9). */
+        readonly finalizable: boolean;
+    };
+    /**
+     * `true` when a re-entry of the element the pass runs on (§4.8) reaches this phase — it lies at or
+     * after the `fallback.step` of the phase whose gate the re-entry left — so its `record` and `state`
+     * evidence count only if newer than the re-entry (§5.2).
+     */
+    readonly reentered: boolean;
+    /** The first listed such re-entry commit (the newest in a linear history), or `null`. */
+    readonly reentryCommit: string | null;
+    /**
+     * The `fallback` that re-entered the step — the step it names and the `set_state` the phase whose gate the
+     * re-entry left declares (§5.2) — or `null` when the step is not re-entered.
+     */
+    readonly reentryFallback: {
+        readonly step: string;
+        readonly setState: string | null;
+    } | null;
+    /**
+     * The phase's approval (§5.1), or `null` when it declares none: the carried elements that **await** it — the
+     * targets of its actions sitting in a gate state the phase holds, ascending `(type, id)` — and whether it holds no
+     * gate at all, so that `workflow finalize` records it (`recordNeeded`; the step then has `record` evidence).
+     */
+    readonly approval: {
+        readonly elements: readonly ElementRef[];
+        readonly recordNeeded: boolean;
+    } | null;
+    /** The phase's actions, resolved (§4.1, §4.2), in declared order (task-216). */
+    readonly actions: readonly DeducedAction[];
+}
+/** How an `iterate_over` phase's candidates stand (`spec-017` §4.6, §4.7, §8). */
+export interface IterationCounts {
+    readonly eligible: number;
+    readonly entered: number;
+    readonly complete: number;
+    /** The candidates still open when a later phase closed the live query (§4.7). */
+    readonly late: number;
+    /** {@link NO_ITERATION_NOTE} when no candidate was counted (P4.16 sc. 3). */
+    readonly note?: string;
+}
+/** One top-level phase of an instance (`spec-017` §7.4, §8). */
+export interface PhaseProgress {
+    readonly phase: string;
+    /** `skipped`: an optional phase a later non-vacuous completion passed over (§4.10). */
+    readonly state: 'complete' | 'current' | 'pending' | 'skipped';
+    /** `true` on a phase complete only vacuously (§4.7): a live query that found nothing. */
+    readonly vacuous?: boolean;
+    /** The candidates of an `iterate_over` phase, once it is complete or current. */
+    readonly iterations?: IterationCounts;
+}
+/** One open instance, deduced. */
+export interface InstanceDeduction {
+    readonly instance: Instance;
+    /** `true` when every phase is complete (an empty frontier of a known workflow). */
+    readonly complete: boolean;
+    readonly phases: readonly PhaseProgress[];
+    readonly frontier: readonly DeducedStep[];
+    /** The elements a live query matches after a later phase closed it (§4.7), ascending `(type, id)`. */
+    readonly late: readonly ElementRef[];
+}
+/** The whole answer at one commit. */
+export interface Deduction {
+    readonly baseline: Baseline;
+    /** The active instance's id, or `null` when none is open. */
+    readonly active: string | null;
+    /** The open instances, most recently started first (§3.3). */
+    readonly instances: readonly InstanceDeduction[];
+    /** The registry's diagnostics, then this deduction's, in `spec-017` §1.3's order. */
+    readonly diagnostics: readonly Diagnostic[];
+    /**
+     * Every Memory element at `HEAD` sitting in a `gates` state of its type that is not also a `waiting` state (an approver
+     * acts on it), ascending `(type, id)` (§5.1, ungated elements).
+     */
+    readonly gated: readonly ElementRef[];
+}
+/** Whether `phase` declares `state` evidence on an element of `boundType` (`spec-003` § "Evidence", `spec-017` §4.2). */
+export declare function declaresState(phase: Phase, boundType: string | null): boolean;
+/**
+ * Deduce every open workflow instance at the snapshot's commit (`spec-017` §3–§4): its bound element,
+ * its top-level phase progress and its frontier, plus the ordered diagnostics of §1.3 — the registry's,
+ * then `W_UNCOMMITTED_INPUTS`, then `W_MEMORY_*` by path, then `W_INSTANCE_WORKFLOW_UNKNOWN` in
+ * instance order, then the step-attached `W_UNRESOLVED_TOKEN` in frontier order. Never throws on a
+ * Memory document it cannot use: it leaves the document out and reports it (§1.4).
+ */
+export declare function deduceWorkflowState(snapshot: DeductionSnapshot): Deduction;
+/**
+ * The open instance `ref` names (`spec-017` §3.3): a workflow name selects its most recently started
+ * open instance, an instance id that instance; no `ref` selects the active instance. `null` when none.
+ */
+export declare function resolveInstanceRef(deduction: Deduction, ref?: string): InstanceDeduction | null;
+//# sourceMappingURL=deduce.d.ts.map

package/dist/workflow/deduce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deduce.d.ts","sourceRoot":"","sources":["../../src/workflow/deduce.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AACH,OAAO,KAAK,EAAE,UAAU,EAAgB,MAAM,kBAAkB,CAAC;AACjE,OAAO,EAA8B,KAAK,qBAAqB,EAAE,MAAM,iBAAiB,CAAC;AAEzF,OAAO,EAAmC,KAAK,UAAU,EAAwB,MAAM,eAAe,CAAC;AAKvG,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,OAAO,EAAqF,KAAK,YAAY,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AACxJ,OAAO,EAAiB,KAAK,KAAK,EAAE,KAAK,QAAQ,EAAE,MAAM,UAAU,CAAC;AAEpE,+GAA+G;AAC/G,eAAO,MAAM,oBAAoB,yBAAyB,CAAC;AAE3D;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAQnE;AACD,6GAA6G;AAC7G,eAAO,MAAM,sBAAsB,2BAA2B,CAAC;AAC/D,wGAAwG;AACxG,eAAO,MAAM,kBAAkB,uBAAuB,CAAC;AACvD,+GAA+G;AAC/G,eAAO,MAAM,2BAA2B,gCAAgC,CAAC;AAEzE,uGAAuG;AACvG,eAAO,MAAM,iBAAiB,gDAAgD,CAAC;AAE/E,+DAA+D;AAC/D,eAAO,MAAM,kBAAkB,EAAE,SAAS,MAAM,EAAwB,CAAC;AAEzE,oFAAoF;AACpF,eAAO,MAAM,SAAS,SAAS,CAAC;AAEhC,yHAAyH;AACzH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,wDAAwD;IACxD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,sHAAsH;AACtH,MAAM,WAAW,WAAY,SAAQ,YAAY;IAC/C,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAED;;;;GAIG;AACH,MAAM,WAAW,QAAS,SAAQ,YAAY;IAC5C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,OAAQ,SAAQ,YAAY;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,gCAAgC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAiB,SAAQ,YAAY;IACpD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED,wHAAwH;AACxH,MAAM,WAAW,eAAe;IAC9B,uCAAuC;IACvC,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,oCAAoC;IACpC,QAAQ,CAAC,SAAS,EAAE,SAAS,OAAO,EAAE,CAAC;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAiB;IAChC,uCAAuC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,6DAA6D;IAC7D,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,gHAAgH;IAChH,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,8GAA8G;IAC9G,QAAQ,CAAC,mBAAmB,EAAE,SAAS,UAAU,EAAE,CAAC;IACpD,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IACvC,mGAAmG;IACnG,QAAQ,CAAC,SAAS,EAAE,SAAS,qBAAqB,EAAE,CAAC;IACrD,6FAA6F;IAC7F,QAAQ,CAAC,eAAe,EAAE,SAAS,UAAU,EAAE,CAAC;IAChD,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IAClD,+GAA+G;IAC/G,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACvD,uFAAuF;IACvF,QAAQ,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAClD,qHAAqH;IACrH,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACxD;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACzD,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC,CAAC;IACvE;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;IACxC,iIAAiI;IACjI,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC;CACnC;AAED,uEAAuE;AACvE,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,gEAAgE;AAChE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,6EAA6E;AAC7E,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,CAAC;AAEnI,+CAA+C;AAC/C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,yFAAyF;IACzF,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;IACpC,oFAAoF;IACpF,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;IACpC,mHAAmH;IACnH,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,OAAO,GAAG,QAAQ,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,6GAA6G;IAC7G,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,+FAA+F;AAC/F,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC;CACjC;AAED,6CAA6C;AAC7C,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE5G,gEAAgE;AAChE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oIAAoI;IACpI,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,mHAAmH;IACnH,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,wEAAwE;AACxE,MAAM,MAAM,YAAY,GAAG,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,KAAK,GAAG,MAAM,CAAC;AAE9E;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,8GAA8G;IAC9G,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qFAAqF;IACrF,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,kHAAkH;IAClH,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,gGAAgG;IAChG,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS;YAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAA;SAAE,EAAE,CAAC;KAC7F,CAAC;CACH;AAED,0GAA0G;AAC1G,MAAM,WAAW,WAAW;IAC1B,wGAAwG;IACxG,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,6EAA6E;IAC7E,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;QACxC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;QAC1C,uFAAuF;QACvF,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;KAC/B,CAAC;IACF;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,yFAAyF;IACzF,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC;;;OAGG;IACH,QAAQ,CAAC,eAAe,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC;IAC7F;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;QAAC,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI,CAAC;IACvG,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,SAAS,aAAa,EAAE,CAAC;CAC5C;AAED,kFAAkF;AAClF,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6EAA6E;IAC7E,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,CAAC;IAC/D,yFAAyF;IACzF,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,iFAAiF;IACjF,QAAQ,CAAC,UAAU,CAAC,EAAE,eAAe,CAAC;CACvC;AAED,kCAAkC;AAClC,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,mFAAmF;IACnF,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,sGAAsG;IACtG,QAAQ,CAAC,IAAI,EAAE,SAAS,UAAU,EAAE,CAAC;CACtC;AAED,sCAAsC;AACtC,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,6DAA6D;IAC7D,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,SAAS,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACjD,qFAAqF;IACrF,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;CACvC;AA4QD,yHAAyH;AACzH,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAc7E;AAy2BD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,iBAAiB,GAAG,SAAS,CAgF1E;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,SAAS,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CAG/F"}