@ldclabs/kip-lang 0.4.0 → 2.0.0

package/dist/semantics.js

@@ -1,11 +1,15 @@
 /**
- * Best-effort static checks layered on top of the syntax parser. These encode
- * the spec's SHOULD/MUST rules that are decidable without a live schema:
- *   - reserved `_` metadata writes (KIP_2002),
- *   - unbounded associative-recall patterns lacking a LIMIT (KIP_4002),
- *   - concept-type / predicate naming conventions (KIP_2001, §2.8).
- * Everything requiring the graph's schema (undefined types, missing required
- * attributes, protected targets) is left to the engine.
+ * Best-effort static checks layered on top of the syntax parser.
+ *
+ * These encode the KIP 2.0 rules that are decidable without a live Schema:
+ *   - Core registry values written as literals (stance, mode, search mode);
+ *   - the `[0,1]` ranges Core and the Cognitive Memory Profile fix;
+ *   - unbounded recall lacking a LIMIT;
+ *   - local handles referenced inside a mutation plan that nothing binds.
+ *
+ * Everything requiring the graph's Schema — whether a symbol resolves, whether
+ * a field exists, whether a Projection is sufficiently bounded — is left to
+ * the engine, which is the only party that knows the active Schema Environment.
  */
 export function analyzeSemantics(program) {
     const diags = [];
@@ -14,215 +18,326 @@ export function analyzeSemantics(program) {
     }
     return diags;
 }
+/** Core registries (Spec §20.13). A Schema Package may not shadow these. */
+const STANCES = new Set(['support', 'reject', 'uncertain']);
+const MODES = new Set([
+    'observed',
+    'stated',
+    'inferred',
+    'predicted',
+    'hypothetical',
+    'imported'
+]);
+const SEARCH_MODES = new Set(['keyword', 'semantic', 'hybrid']);
+const ASSERTION_STATES = new Set([
+    'active',
+    'retracted',
+    'superseded',
+    'expired'
+]);
+const ACTIVITY_TERMINAL = new Set(['completed', 'failed', 'cancelled']);
+/** Signals the Profile fixes to `[0,1]`; none of them is truth. */
+const UNIT_INTERVAL_FIELDS = new Set([
+    'confidence',
+    'memory_strength',
+    'salience',
+    'utility',
+    'threshold'
+]);
 function analyzeStatement(stmt, diags) {
     switch (stmt.kind) {
         case 'FindStatement':
-            if (stmt.where)
-                checkWhere(stmt.where, !!stmt.limit, diags);
+            checkWhere(stmt.where, !!stmt.limit, diags);
             break;
-        case 'UpsertStatement':
-            checkMetadata(stmt.metadata, diags);
-            for (const block of stmt.blocks) {
-                if (block.kind === 'ConceptBlock') {
-                    checkMatcherNaming(block.matcher, diags);
-                    checkMetadata(block.metadata, diags);
-                    for (const item of block.setPropositions?.items ?? []) {
-                        checkPredicateName(item.predicate, item.range, diags);
-                        checkEndpointNaming(item.target, diags);
-                        checkMetadata(item.metadata, diags);
-                    }
-                }
-                else {
-                    checkPropositionNaming(block, diags);
-                    checkEndpointNaming(block.subject, diags);
-                    checkEndpointNaming(block.object, diags);
-                    checkMetadata(block.metadata, diags);
-                }
+        case 'MutateStatement':
+            checkMutate(stmt, diags);
+            for (const clause of stmt.clauses)
+                analyzeMutationClause(clause, diags);
+            break;
+        case 'SearchStatement':
+            if (stmt.mode) {
+                checkEnum(stmt.mode, SEARCH_MODES, 'SEARCH MODE', diags);
+            }
+            if (stmt.threshold && stmt.threshold.kind === 'NumberLiteral') {
+                checkUnitInterval('THRESHOLD', stmt.threshold.value, stmt.threshold.range, diags);
             }
             break;
-        case 'UpdateStatement':
-            checkMetadata(stmt.setMetadata, diags);
-            checkWhere(stmt.where, !!stmt.limit, diags);
+        default:
+            analyzeMutationClause(stmt, diags);
+    }
+}
+function analyzeMutationClause(stmt, diags) {
+    switch (stmt.kind) {
+        case 'AssertStatement':
+            checkAssert(stmt, diags);
+            break;
+        case 'CreateConceptStatement':
+            for (const facet of stmt.setFacets)
+                checkFacet(facet, diags);
+            break;
+        case 'UpsertConceptStatement':
+            for (const facet of stmt.setFacets)
+                checkFacet(facet, diags);
+            break;
+        case 'CreateAssertionStatement':
+            if (stmt.setFields) {
+                checkAssignmentValues(stmt.setFields.assignments, diags);
+            }
+            for (const facet of stmt.setFacets)
+                checkFacet(facet, diags);
             break;
-        case 'MergeStatement':
-            checkWhere(stmt.where, true, diags);
+        case 'CreateEvidenceStatement':
+        case 'CreateActivityStatement':
+            for (const facet of stmt.setFacets)
+                checkFacet(facet, diags);
             break;
-        case 'DeleteStatement':
+        case 'UpdateStatement':
+            for (const action of stmt.actions) {
+                if (action.kind === 'SetFacetClause')
+                    checkFacet(action, diags);
+            }
             if (stmt.where)
-                checkWhere(stmt.where, true, diags);
+                checkWhere(stmt.where, !!stmt.limit, diags);
             break;
-        case 'ExportStatement':
-            checkWhere(stmt.where, !!stmt.limit, diags);
+        case 'RetractAssertionStatement':
+        case 'ArchiveStatement':
+        case 'TombstoneStatement':
+            if (stmt.expectState) {
+                checkEnum(stmt.expectState.value, ASSERTION_STATES, 'EXPECT STATE', diags);
+            }
+            break;
+        case 'TransitionActivityStatement':
+            checkEnum(stmt.to, ACTIVITY_TERMINAL, 'TRANSITION ACTIVITY TO', diags);
             break;
     }
 }
-// ─── Reserved `_` metadata namespace (KIP_2002) ──────────────────────
-function checkMetadata(meta, diags) {
-    if (!meta)
-        return;
-    for (const entry of meta.entries) {
-        if (entry.key.startsWith('_')) {
-            diags.push({
-                range: entry.range,
-                severity: 'error',
-                message: `Metadata key '${entry.key}' is in the engine-reserved '_' namespace and is read-only to KML (KIP_2002).`,
-                code: 'KIP_2002'
-            });
+/**
+ * `by` and `mode` carry the whole epistemic commitment, so a literal that is
+ * not in the Core registry is a mistake the toolkit can name now rather than
+ * letting the engine reject the whole transaction later.
+ */
+function checkAssert(stmt, diags) {
+    for (const entry of stmt.assignments.entries) {
+        if (entry.key === 'mode') {
+            checkEnum(entry.value, MODES, 'ASSERT mode', diags);
         }
-    }
-}
-// ─── Naming conventions (§2.8, KIP_2001) ─────────────────────────────
-function checkMatcherNaming(matcher, diags) {
-    for (const entry of matcher.entries) {
-        if (entry.key !== 'type')
-            continue;
-        const name = literalString(entry);
-        // Skip parameters, meta-types ($-prefixed), and error placeholders.
-        if (name == null || name === '' || name.startsWith('$'))
-            continue;
-        if (!/^[A-Z][A-Za-z0-9]*$/.test(name)) {
-            diags.push({
-                range: entry.range,
-                severity: 'warning',
-                message: `Concept type '${name}' should be UpperCamelCase (§2.8); mismatched casing resolves to a different, likely undefined type (KIP_2001).`,
-                code: 'KIP_2001'
-            });
+        else if (entry.key === 'stance') {
+            checkEnum(entry.value, STANCES, 'ASSERT stance', diags);
+        }
+        else if (entry.key === 'confidence' && entry.value.kind === 'NumberLiteral') {
+            checkUnitInterval('confidence', entry.value.value, entry.value.range, diags);
         }
     }
-}
-/** Recurse into a proposition endpoint, checking concept types and nested predicates. */
-function checkEndpointNaming(endpoint, diags) {
-    if (!endpoint)
-        return;
-    if (endpoint.kind === 'ConceptPattern') {
-        checkMatcherNaming(endpoint.matcher, diags);
-    }
-    else if (endpoint.kind === 'PropositionPattern') {
-        checkPropositionNaming(endpoint, diags);
-        checkEndpointNaming(endpoint.subject, diags);
-        checkEndpointNaming(endpoint.object, diags);
-    }
-}
-function checkPredicateName(predicate, range, diags) {
-    if (predicate === '')
-        return;
-    if (!/^[a-z_][a-z0-9_]*$/.test(predicate)) {
+    // An observation with no cited artifact is still a valid Assertion, but it
+    // is the shape that most often should have carried Evidence.
+    const mode = stmt.assignments.entries.find((e) => e.key === 'mode');
+    const hasEvidence = stmt.assignments.entries.some((e) => e.key === 'evidence');
+    if (mode &&
+        mode.value.kind === 'StringLiteral' &&
+        mode.value.parsed === 'observed' &&
+        !hasEvidence) {
         diags.push({
-            range,
-            severity: 'warning',
-            message: `Predicate '${predicate}' should be snake_case (§2.8); mismatched casing resolves to a different, likely undefined predicate (KIP_2001).`,
-            code: 'KIP_2001'
+            range: stmt.assignments.range,
+            severity: 'info',
+            message: 'mode: "observed" without evidence: an observation normally cites the artifact it was observed from',
+            code: 'KIP_2101'
         });
     }
 }
-// ─── Unbounded associative recall (KIP_4002) ─────────────────────────
-function checkWhere(where, hasLimit, diags) {
-    const constrained = new Set();
-    collectConstrainedVars(where.patterns, constrained);
-    checkPatternNaming(where.patterns, diags);
-    walkPropositions(where.patterns, (p) => {
-        if (hasLimit)
-            return;
-        if (p.predicate?.kind !== 'PredicateVariable')
-            return;
-        if (isUnconstrained(p.subject, constrained) &&
-            isUnconstrained(p.object, constrained)) {
-            diags.push({
-                range: p.range,
-                severity: 'warning',
-                message: `Unbounded exploration '(?s, ?p, ?o)' with no constrained endpoint should be paired with a LIMIT (KIP_4002).`,
-                code: 'KIP_4002'
-            });
-        }
-    });
+function checkFacet(clause, diags) {
+    checkAssignmentValues(clause.assignments, diags);
 }
-/** Walk every concept matcher and predicate in a pattern tree for naming checks. */
-function checkPatternNaming(patterns, diags) {
-    for (const p of patterns) {
-        switch (p.kind) {
-            case 'ConceptPattern':
-                checkMatcherNaming(p.matcher, diags);
-                break;
-            case 'PropositionPattern':
-                checkPropositionNaming(p, diags);
-                checkEndpointNaming(p.subject, diags);
-                checkEndpointNaming(p.object, diags);
-                break;
-            case 'NotClause':
-            case 'OptionalClause':
-            case 'UnionClause':
-                checkPatternNaming(p.patterns, diags);
-                break;
+function checkAssignmentValues(object, diags) {
+    for (const entry of object.entries) {
+        if (UNIT_INTERVAL_FIELDS.has(entry.key) &&
+            entry.value.kind === 'NumberLiteral') {
+            checkUnitInterval(entry.key, entry.value.value, entry.value.range, diags);
         }
+        if (entry.key === 'stance')
+            checkEnum(entry.value, STANCES, 'stance', diags);
+        if (entry.key === 'mode')
+            checkEnum(entry.value, MODES, 'mode', diags);
     }
 }
-function checkPropositionNaming(p, diags) {
-    const pred = p.predicate;
-    if (!pred)
+function checkEnum(value, allowed, label, diags) {
+    // A parameter is bound at execution time; only a written literal is checkable.
+    if (value.kind !== 'StringLiteral')
+        return;
+    if (allowed.has(value.parsed))
+        return;
+    diags.push({
+        range: value.range,
+        severity: 'error',
+        message: `${label} must be one of ${[...allowed].join(', ')}, got "${value.parsed}"`,
+        code: 'KIP_2001'
+    });
+}
+function checkUnitInterval(field, value, range, diags) {
+    if (value >= 0 && value <= 1)
         return;
-    if (pred.kind === 'PredicateLiteral') {
-        checkPredicateName(pred.value, pred.range, diags);
+    diags.push({
+        range,
+        severity: 'error',
+        message: `${field} must be within [0, 1], got ${value}`,
+        code: 'KIP_2001'
+    });
+}
+// ---------------------------------------------------------------------------
+// Handles
+// ---------------------------------------------------------------------------
+/**
+ * Handles are block-local and forward references are allowed, so binding is
+ * checked against the whole plan rather than in source order. A reference
+ * nothing binds is a typo the engine would only find at validation time.
+ */
+function checkMutate(stmt, diags) {
+    const bound = new Set();
+    for (const clause of stmt.clauses) {
+        const handle = handleNameOf(clause);
+        if (handle)
+            bound.add(handle);
     }
-    else if (pred.kind === 'PredicateAlternation') {
-        for (const alt of pred.predicates) {
-            checkPredicateName(alt.value, alt.range, diags);
+    const referenced = [];
+    for (const clause of stmt.clauses)
+        collectHandleRefs(clause, referenced);
+    for (const ref of referenced) {
+        if (!bound.has(ref.name)) {
+            diags.push({
+                range: ref.range,
+                severity: 'error',
+                message: `?${ref.name} is not bound by any clause in this MUTATE block`,
+                code: 'KIP_2102'
+            });
         }
     }
 }
-/** A variable endpoint is "constrained" if bound elsewhere by type/name/id or a literal-predicate link. */
-function isUnconstrained(endpoint, constrained) {
-    if (!endpoint)
-        return false;
-    if (endpoint.kind !== 'VariableRef')
-        return false; // concept/proposition pattern is itself a constraint
-    return !constrained.has(endpoint.name);
+function handleNameOf(clause) {
+    switch (clause.kind) {
+        case 'CreateConceptStatement':
+        case 'UpsertConceptStatement':
+        case 'CreateEvidenceStatement':
+        case 'CreateAssertionStatement':
+        case 'CreateActivityStatement':
+            return clause.handle.name.slice(1);
+        case 'EnsurePropositionStatement':
+        case 'AssertStatement':
+            return clause.handle ? clause.handle.name.slice(1) : null;
+        default:
+            return null;
+    }
 }
-function collectConstrainedVars(patterns, out) {
-    for (const p of patterns) {
-        switch (p.kind) {
-            case 'ConceptPattern':
-                if (p.variable && p.matcher.entries.length > 0)
-                    out.add(p.variable);
-                break;
-            case 'PropositionPattern':
-                if (p.predicate?.kind !== 'PredicateVariable') {
-                    addEndpointVar(p.subject, out);
-                    addEndpointVar(p.object, out);
-                }
-                break;
-            case 'NotClause':
-            case 'OptionalClause':
-            case 'UnionClause':
-                collectConstrainedVars(p.patterns, out);
-                break;
+/** Collects `?handle` uses in value positions, where they must resolve. */
+function collectHandleRefs(clause, out) {
+    const fromObject = (object) => {
+        if (!object)
+            return;
+        for (const entry of object.entries)
+            fromExpression(entry.value);
+    };
+    const fromExpression = (expr) => {
+        if (expr.kind === 'VariableRef') {
+            out.push({ name: expr.name.slice(1), range: expr.range });
         }
+        else if (expr.kind === 'ArrayLiteral') {
+            for (const element of expr.elements)
+                fromExpression(element);
+        }
+        else if (expr.kind === 'ObjectLiteral') {
+            for (const entry of expr.entries)
+                fromExpression(entry.value);
+        }
+        else if (expr.kind === 'FunctionCallExpr') {
+            for (const arg of expr.args)
+                fromExpression(arg);
+        }
+    };
+    switch (clause.kind) {
+        case 'CreateConceptStatement':
+        case 'UpsertConceptStatement':
+            fromObject(clause.setFields?.assignments);
+            fromObject(clause.setAttributes?.assignments);
+            for (const facet of clause.setFacets)
+                fromObject(facet.assignments);
+            for (const edge of clause.setStructural?.assignments ?? []) {
+                fromExpression(edge.value);
+            }
+            break;
+        case 'CreateEvidenceStatement':
+        case 'CreateAssertionStatement':
+        case 'CreateActivityStatement':
+            fromObject(clause.setFields?.assignments);
+            for (const facet of clause.setFacets)
+                fromObject(facet.assignments);
+            for (const edge of clause.setStructural?.assignments ?? []) {
+                fromExpression(edge.value);
+            }
+            break;
+        case 'AssertStatement':
+            fromObject(clause.assignments);
+            if (clause.superseding?.kind === 'VariableRef') {
+                out.push({
+                    name: clause.superseding.name.slice(1),
+                    range: clause.superseding.range
+                });
+            }
+            break;
+        case 'SupersedeAssertionStatement':
+        case 'CorrectEvidenceStatement':
+            for (const ref of [clause.target, clause.by]) {
+                if (ref.kind === 'VariableRef') {
+                    out.push({ name: ref.name.slice(1), range: ref.range });
+                }
+            }
+            break;
     }
 }
-function addEndpointVar(endpoint, out) {
-    if (endpoint?.kind === 'VariableRef')
-        out.add(endpoint.name);
-    else if (endpoint?.kind === 'ConceptPattern' && endpoint.variable) {
-        out.add(endpoint.variable);
+// ---------------------------------------------------------------------------
+// Unbounded recall
+// ---------------------------------------------------------------------------
+function checkWhere(where, hasLimit, diags) {
+    if (hasLimit)
+        return;
+    if (where.patterns.length === 0)
+        return;
+    // A pattern that constrains nothing enumerates the Space. That is a real
+    // query, but at scale it is almost always an omitted LIMIT.
+    if (where.patterns.every(isUnconstrained)) {
+        diags.push({
+            range: where.range,
+            severity: 'warning',
+            message: 'this pattern constrains nothing and will scan the whole MemorySpace; add a LIMIT or a more specific match',
+            code: 'KIP_4002'
+        });
     }
 }
-function walkPropositions(patterns, visit) {
-    for (const p of patterns) {
-        switch (p.kind) {
-            case 'PropositionPattern':
-                visit(p);
-                break;
-            case 'NotClause':
-            case 'OptionalClause':
-            case 'UnionClause':
-                walkPropositions(p.patterns, visit);
-                break;
-        }
+function isUnconstrained(pattern) {
+    switch (pattern.kind) {
+        case 'ConceptPattern':
+            return isEmptyMatcher(pattern.matcher);
+        case 'AssertionPattern':
+        case 'EvidencePattern':
+        case 'ActivityPattern':
+            return isEmptyMatcher(pattern.matcher);
+        case 'PropositionPattern':
+            // `(id: ...)` names one Proposition, so it never scans.
+            if (pattern.tuple.id)
+                return false;
+            return (!!pattern.tuple.subject &&
+                !!pattern.tuple.object &&
+                isOpenTerm(pattern.tuple.subject) &&
+                isOpenTerm(pattern.tuple.object));
+        default:
+            return false;
     }
 }
-// ─── Helpers ─────────────────────────────────────────────────────────
-function literalString(entry) {
-    return entry.value.kind === 'StringLiteral'
-        ? entry.value.parsed
-        : null;
+function isEmptyMatcher(matcher) {
+    return matcher.members.length === 0;
+}
+function isOpenTerm(term) {
+    if (term.kind === 'VariableRef')
+        return true;
+    if (term.kind === 'ObjectPattern')
+        return term.members.length === 0;
+    return false;
 }
 //# sourceMappingURL=semantics.js.map

package/dist/semantics.js.map

@@ -1 +1 @@
-{"version":3,"file":"semantics.js","sourceRoot":"","sources":["../src/semantics.ts"],"names":[],"mappings":"AAgBA;;;;;;;;GAQG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgB;IAC/C,MAAM,KAAK,GAAiB,EAAE,CAAA;IAC9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACtC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAe,EAAE,KAAmB;IAC5D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,IAAI,IAAI,CAAC,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC3D,MAAK;QACP,KAAK,iBAAiB;YACpB,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;YACnC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;oBAClC,kBAAkB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;oBACxC,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;oBACpC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;wBACtD,kBAAkB,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;wBACrD,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;wBACvC,aAAa,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;oBACrC,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,sBAAsB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;oBACpC,mBAAmB,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;oBACzC,mBAAmB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;oBACxC,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;gBACtC,CAAC;YACH,CAAC;YACD,MAAK;QACP,KAAK,iBAAiB;YACpB,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;YACtC,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC3C,MAAK;QACP,KAAK,gBAAgB;YACnB,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;YACnC,MAAK;QACP,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;YACnD,MAAK;QACP,KAAK,iBAAiB;YACpB,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC3C,MAAK;IACT,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE,SAAS,aAAa,CACpB,IAA4C,EAC5C,KAAmB;IAEnB,IAAI,CAAC,IAAI;QAAE,OAAM;IACjB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,iBAAiB,KAAK,CAAC,GAAG,+EAA+E;gBAClH,IAAI,EAAE,UAAU;aACjB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE,SAAS,kBAAkB,CACzB,OAAuB,EACvB,KAAmB;IAEnB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM;YAAE,SAAQ;QAClC,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;QACjC,oEAAoE;QACpE,IAAI,IAAI,IAAI,IAAI,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAQ;QACjE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,iBAAiB,IAAI,iHAAiH;gBAC/I,IAAI,EAAE,UAAU;aACjB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,SAAS,mBAAmB,CAC1B,QAAyC,EACzC,KAAmB;IAEnB,IAAI,CAAC,QAAQ;QAAE,OAAM;IACrB,IAAI,QAAQ,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACvC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC7C,CAAC;SAAM,IAAI,QAAQ,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QAClD,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvC,mBAAmB,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;QAC5C,mBAAmB,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC7C,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,SAAiB,EACjB,KAAY,EACZ,KAAmB;IAEnB,IAAI,SAAS,KAAK,EAAE;QAAE,OAAM;IAC5B,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC;YACT,KAAK;YACL,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,cAAc,SAAS,kHAAkH;YAClJ,IAAI,EAAE,UAAU;SACjB,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE,SAAS,UAAU,CACjB,KAAkB,EAClB,QAAiB,EACjB,KAAmB;IAEnB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAA;IACnD,kBAAkB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;IACzC,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACrC,IAAI,QAAQ;YAAE,OAAM;QACpB,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,KAAK,mBAAmB;YAAE,OAAM;QACrD,IACE,eAAe,CAAC,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC;YACvC,eAAe,CAAC,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,EACtC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,6GAA6G;gBACtH,IAAI,EAAE,UAAU;aACjB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,oFAAoF;AACpF,SAAS,kBAAkB,CACzB,QAAwB,EACxB,KAAmB;IAEnB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,gBAAgB;gBACnB,kBAAkB,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;gBACpC,MAAK;YACP,KAAK,oBAAoB;gBACvB,sBAAsB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;gBAChC,mBAAmB,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;gBACrC,mBAAmB,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;gBACpC,MAAK;YACP,KAAK,WAAW,CAAC;YACjB,KAAK,gBAAgB,CAAC;YACtB,KAAK,aAAa;gBAChB,kBAAkB,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;gBACrC,MAAK;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAC7B,CAAkD,EAClD,KAAmB;IAEnB,MAAM,IAAI,GAAG,CAAC,CAAC,SAAS,CAAA;IACxB,IAAI,CAAC,IAAI;QAAE,OAAM;IACjB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,kBAAkB,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IACnD,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,sBAAsB,EAAE,CAAC;QAChD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAClC,kBAAkB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,2GAA2G;AAC3G,SAAS,eAAe,CACtB,QAAyC,EACzC,WAAwB;IAExB,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3B,IAAI,QAAQ,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,KAAK,CAAA,CAAC,qDAAqD;IACvG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAAwB,EACxB,GAAgB;IAEhB,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,gBAAgB;gBACnB,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC;oBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;gBACnE,MAAK;YACP,KAAK,oBAAoB;gBACvB,IAAI,CAAC,CAAC,SAAS,EAAE,IAAI,KAAK,mBAAmB,EAAE,CAAC;oBAC9C,cAAc,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;oBAC9B,cAAc,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;gBAC/B,CAAC;gBACD,MAAK;YACP,KAAK,WAAW,CAAC;YACjB,KAAK,gBAAgB,CAAC;YACtB,KAAK,aAAa;gBAChB,sBAAsB,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;gBACvC,MAAK;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,QAAyC,EACzC,GAAgB;IAEhB,IAAI,QAAQ,EAAE,IAAI,KAAK,aAAa;QAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;SACvD,IAAI,QAAQ,EAAE,IAAI,KAAK,gBAAgB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAClE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,QAAwB,EACxB,KAAsC;IAEtC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,oBAAoB;gBACvB,KAAK,CAAC,CAAC,CAAC,CAAA;gBACR,MAAK;YACP,KAAK,WAAW,CAAC;YACjB,KAAK,gBAAgB,CAAC;YACtB,KAAK,aAAa;gBAChB,gBAAgB,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;gBACnC,MAAK;QACT,CAAC;IACH,CAAC;AACH,CAAC;AAED,wEAAwE;AAExE,SAAS,aAAa,CAAC,KAAkB;IACvC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;QACzC,CAAC,CAAE,KAAK,CAAC,KAAuB,CAAC,MAAM;QACvC,CAAC,CAAC,IAAI,CAAA;AACV,CAAC"}
+{"version":3,"file":"semantics.js","sourceRoot":"","sources":["../src/semantics.ts"],"names":[],"mappings":"AAiBA;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgB;IAC/C,MAAM,KAAK,GAAiB,EAAE,CAAA;IAC9B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACtC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,4EAA4E;AAC5E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAA;AAC3D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC;IACpB,UAAU;IACV,QAAQ;IACR,UAAU;IACV,WAAW;IACX,cAAc;IACd,UAAU;CACX,CAAC,CAAA;AACF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAA;AAC/D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;IAC/B,QAAQ;IACR,WAAW;IACX,YAAY;IACZ,SAAS;CACV,CAAC,CAAA;AACF,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAA;AAEvE,mEAAmE;AACnE,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,YAAY;IACZ,iBAAiB;IACjB,UAAU;IACV,SAAS;IACT,WAAW;CACZ,CAAC,CAAA;AAEF,SAAS,gBAAgB,CAAC,IAAe,EAAE,KAAmB;IAC5D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC3C,MAAK;QAEP,KAAK,iBAAiB;YACpB,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACxB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;gBAAE,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YACvE,MAAK;QAEP,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,YAAY,EAAE,aAAa,EAAE,KAAK,CAAC,CAAA;YAC1D,CAAC;YACD,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBAC9D,iBAAiB,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACnF,CAAC;YACD,MAAK;QAEP;YACE,qBAAqB,CAAC,IAAsB,EAAE,KAAK,CAAC,CAAA;IACxD,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAe,EAAE,KAAmB;IACjE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,iBAAiB;YACpB,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACxB,MAAK;QAEP,KAAK,wBAAwB;YAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS;gBAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC5D,MAAK;QAEP,KAAK,wBAAwB;YAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS;gBAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC5D,MAAK;QAEP,KAAK,0BAA0B;YAC7B,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;gBACnB,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;YAC1D,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS;gBAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC5D,MAAK;QAEP,KAAK,yBAAyB,CAAC;QAC/B,KAAK,yBAAyB;YAC5B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS;gBAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC5D,MAAK;QAEP,KAAK,iBAAiB;YACpB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB;oBAAE,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;YACjE,CAAC;YACD,IAAI,IAAI,CAAC,KAAK;gBAAE,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YAC3D,MAAK;QAEP,KAAK,2BAA2B,CAAC;QACjC,KAAK,kBAAkB,CAAC;QACxB,KAAK,oBAAoB;YACvB,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,KAAK,CAAC,CAAA;YAC5E,CAAC;YACD,MAAK;QAEP,KAAK,6BAA6B;YAChC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAA;YACtE,MAAK;IACT,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,IAAqB,EAAE,KAAmB;IAC7D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,EAAE,CAAC;YACzB,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,CAAC,CAAA;QACrD,CAAC;aAAM,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;YAClC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,KAAK,CAAC,CAAA;QACzD,CAAC;aAAM,IAAI,KAAK,CAAC,GAAG,KAAK,YAAY,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAC9E,iBAAiB,CAAC,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,6DAA6D;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAA;IACnE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,UAAU,CAAC,CAAA;IAC9E,IACE,IAAI;QACJ,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe;QACnC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU;QAChC,CAAC,WAAW,EACZ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,IAAI,CAAC,WAAW,CAAC,KAAK;YAC7B,QAAQ,EAAE,MAAM;YAChB,OAAO,EACL,oGAAoG;YACtG,IAAI,EAAE,UAAU;SACjB,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAsB,EAAE,KAAmB;IAC7D,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAA;AAClD,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAqB,EACrB,KAAmB;IAEnB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnC,IACE,oBAAoB,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;YACnC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,eAAe,EACpC,CAAC;YACD,iBAAiB,CAAC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC3E,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ;YAAE,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;QAC5E,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM;YAAE,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;IACxE,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAChB,KAA+B,EAC/B,OAAoB,EACpB,KAAa,EACb,KAAmB;IAEnB,+EAA+E;IAC/E,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe;QAAE,OAAM;IAC1C,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAM;IACrC,KAAK,CAAC,IAAI,CAAC;QACT,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,GAAG,KAAK,mBAAmB,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,MAAM,GAAG;QACpF,IAAI,EAAE,UAAU;KACjB,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAa,EACb,KAAa,EACb,KAAY,EACZ,KAAmB;IAEnB,IAAI,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAM;IACpC,KAAK,CAAC,IAAI,CAAC;QACT,KAAK;QACL,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,GAAG,KAAK,+BAA+B,KAAK,EAAE;QACvD,IAAI,EAAE,UAAU;KACjB,CAAC,CAAA;AACJ,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,WAAW,CAAC,IAAqB,EAAE,KAAmB;IAC7D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;IAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;QACnC,IAAI,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC/B,CAAC;IAED,MAAM,UAAU,GAAqC,EAAE,CAAA;IACvD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;QAAE,iBAAiB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAExE,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,QAAQ,EAAE,OAAO;gBACjB,OAAO,EAAE,IAAI,GAAG,CAAC,IAAI,kDAAkD;gBACvE,IAAI,EAAE,UAAU;aACjB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAsB;IAC1C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,wBAAwB,CAAC;QAC9B,KAAK,wBAAwB,CAAC;QAC9B,KAAK,yBAAyB,CAAC;QAC/B,KAAK,0BAA0B,CAAC;QAChC,KAAK,yBAAyB;YAC5B,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QACpC,KAAK,4BAA4B,CAAC;QAClC,KAAK,iBAAiB;YACpB,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QAC3D;YACE,OAAO,IAAI,CAAA;IACf,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,iBAAiB,CACxB,MAAsB,EACtB,GAAqC;IAErC,MAAM,UAAU,GAAG,CAAC,MAAiC,EAAE,EAAE;QACvD,IAAI,CAAC,MAAM;YAAE,OAAM;QACnB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO;YAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACjE,CAAC,CAAA;IACD,MAAM,cAAc,GAAG,CAAC,IAAgB,EAAE,EAAE;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;QAC3D,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACxC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ;gBAAE,cAAc,CAAC,OAAO,CAAC,CAAA;QAC9D,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACzC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO;gBAAE,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC/D,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YAC5C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI;gBAAE,cAAc,CAAC,GAAG,CAAC,CAAA;QAClD,CAAC;IACH,CAAC,CAAA;IAED,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,wBAAwB,CAAC;QAC9B,KAAK,wBAAwB;YAC3B,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;YACzC,UAAU,CAAC,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;YAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,SAAS;gBAAE,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;YACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,EAAE,WAAW,IAAI,EAAE,EAAE,CAAC;gBAC3D,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5B,CAAC;YACD,MAAK;QAEP,KAAK,yBAAyB,CAAC;QAC/B,KAAK,0BAA0B,CAAC;QAChC,KAAK,yBAAyB;YAC5B,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;YACzC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,SAAS;gBAAE,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC,CAAA;YACnE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,aAAa,EAAE,WAAW,IAAI,EAAE,EAAE,CAAC;gBAC3D,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5B,CAAC;YACD,MAAK;QAEP,KAAK,iBAAiB;YACpB,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;YAC9B,IAAI,MAAM,CAAC,WAAW,EAAE,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC/C,GAAG,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBACtC,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK;iBAChC,CAAC,CAAA;YACJ,CAAC;YACD,MAAK;QAEP,KAAK,6BAA6B,CAAC;QACnC,KAAK,0BAA0B;YAC7B,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC/B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAA;gBACzD,CAAC;YACH,CAAC;YACD,MAAK;IACT,CAAC;AACH,CAAC;AAED,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,SAAS,UAAU,CACjB,KAAkB,EAClB,QAAiB,EACjB,KAAmB;IAEnB,IAAI,QAAQ;QAAE,OAAM;IACpB,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAM;IAEvC,yEAAyE;IACzE,4DAA4D;IAC5D,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QAC1C,KAAK,CAAC,IAAI,CAAC;YACT,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,QAAQ,EAAE,SAAS;YACnB,OAAO,EACL,2GAA2G;YAC7G,IAAI,EAAE,UAAU;SACjB,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,OAAqB;IAC5C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,gBAAgB;YACnB,OAAO,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACxC,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB,CAAC;QACvB,KAAK,iBAAiB;YACpB,OAAO,cAAc,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACxC,KAAK,oBAAoB;YACvB,wDAAwD;YACxD,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE;gBAAE,OAAO,KAAK,CAAA;YAClC,OAAO,CACL,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO;gBACvB,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM;gBACtB,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;gBACjC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CACjC,CAAA;QACH;YACE,OAAO,KAAK,CAAA;IAChB,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,OAAsB;IAC5C,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,UAAU,CAAC,IAAgC;IAClD,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,IAAI,CAAA;IAC5C,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAA;IACnE,OAAO,KAAK,CAAA;AACd,CAAC"}