bonescript-compiler 0.2.0

package/dist/solver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"solver.js","sourceRoot":"","sources":["../src/solver.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;AAmBH,MAAM,eAAe,GAAmC;IACtD,gBAAgB,EAAE;QAChB,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,WAAW;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,mBAAmB,EAAE,UAAU;QAC/B,cAAc,EAAE,OAAS;QACzB,eAAe,EAAE,KAAK;QACtB,UAAU,EAAE,IAAI;KACjB;IACD,aAAa,EAAE;QACb,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,KAAK;QACxB,gBAAgB,EAAE,MAAM;QACxB,mBAAmB,EAAE,MAAM;QAC3B,cAAc,EAAE,QAAU;QAC1B,eAAe,EAAE,IAAI;QACrB,UAAU,EAAE,GAAG;KAChB;IACD,UAAU,EAAE;QACV,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,UAAU;QAClB,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,aAAa;QAChC,gBAAgB,EAAE,MAAM;QACxB,mBAAmB,EAAE,WAAW;QAChC,cAAc,EAAE,OAAS;QACzB,eAAe,EAAE,MAAM;QACvB,UAAU,EAAE,KAAK;KAClB;IACD,cAAc,EAAE;QACd,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,WAAW;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,mBAAmB,EAAE,UAAU;QAC/B,cAAc,EAAE,QAAU;QAC1B,eAAe,EAAE,KAAK;QACtB,UAAU,EAAE,IAAI;KACjB;IACD,WAAW,EAAE;QACX,IAAI,EAAE,QAAQ;QACd,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,eAAe;QACrB,iBAAiB,EAAE,KAAK;QACxB,gBAAgB,EAAE,MAAM;QACxB,mBAAmB,EAAE,MAAM;QAC3B,cAAc,EAAE,OAAS;QACzB,eAAe,EAAE,KAAK;QACtB,UAAU,EAAE,IAAI;KACjB;IACD,sBAAsB,EAAE;QACtB,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,YAAY;QACpB,cAAc,EAAE,OAAO;QACvB,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,WAAW;QAC9B,gBAAgB,EAAE,QAAQ;QAC1B,mBAAmB,EAAE,MAAM;QAC3B,cAAc,EAAE,OAAS;QACzB,eAAe,EAAE,KAAK;QACtB,UAAU,EAAE,IAAI;KACjB;CACF,CAAC;AAEF,MAAM,iBAAiB,GAAmB;IACxC,IAAI,EAAE,KAAK;IACX,MAAM,EAAE,YAAY;IACpB,cAAc,EAAE,OAAO;IACvB,IAAI,EAAE,UAAU;IAChB,iBAAiB,EAAE,WAAW;IAC9B,gBAAgB,EAAE,MAAM;IACxB,mBAAmB,EAAE,MAAM;IAC3B,cAAc,EAAE,OAAS;IACzB,eAAe,EAAE,KAAK;IACtB,UAAU,EAAE,IAAI;CACjB,CAAC;AAWF,0NAA0N;AAE1N,MAAa,gBAAgB;IAC3B,KAAK,CAAC,MAAmB;QACvB,MAAM,UAAU,GAA2B,EAAE,CAAC;QAC9C,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,iBAAiB,CAAC;QAE3E,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACnB,WAAW,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,IAAI,CAAC,WAAW,MAAM,CAAC,MAAM,uCAAuC,CAAC,CAAC;QACpF,CAAC;QAED,0LAA0L;QAE1L,gDAAgD;QAChD,MAAM,cAAc,GAA+B,IAAI,GAAG,EAAE,CAAC;QAE7D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;YAE7B,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAuB,CAAC;gBAC1D,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,SAAS,EAAE,IAAI,CAAC,CAAC;gBAC/C,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,GAAG,MAAM,SAAS,CAAC,GAAG,MAAM,CAAC;gBAC1C,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;oBACzC,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,WAAW,EAAE,IAAI,CAAC,CAAC;gBACjD,CAAC;YACH,CAAC;YAED,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC/B,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAuB,CAAC;gBACnE,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,MAAM,EAAE,CAAC;oBACzC,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,cAAc,EAAE,IAAI,CAAC,CAAC;gBACpD,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,GAAG,MAAM,cAAc,CAAC,GAAG,UAAU,CAAC;gBACnD,CAAC;YACH,CAAC;YAED,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,WAAW,CAAuB,CAAC;gBAChE,IAAI,CAAC,SAAS;oBAAE,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,YAAY,EAAE,IAAI,CAAC,CAAC;;oBAC3D,UAAU,CAAC,GAAG,MAAM,YAAY,CAAC,GAAG,SAAS,CAAC;gBAEnD,MAAM,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAuB,CAAC;gBAC9D,IAAI,CAAC,QAAQ;oBAAE,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,WAAW,EAAE,IAAI,CAAC,CAAC;;oBACzD,UAAU,CAAC,GAAG,MAAM,WAAW,CAAC,GAAG,QAAQ,CAAC;gBAEjD,MAAM,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAuB,CAAC;gBACpE,IAAI,CAAC,WAAW,IAAI,WAAW,KAAK,MAAM,EAAE,CAAC;oBAC3C,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,cAAc,EAAE,IAAI,CAAC,CAAC;gBACpD,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,GAAG,MAAM,cAAc,CAAC,GAAG,WAAW,CAAC;gBACpD,CAAC;YACH,CAAC;YAED,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;oBAC9B,cAAc,CAAC,GAAG,CAAC,GAAG,MAAM,aAAa,EAAE,IAAI,CAAC,CAAC;gBACnD,CAAC;YACH,CAAC;QACH,CAAC;QAED,sLAAsL;QACtL,0DAA0D;QAE1D,sLAAsL;QAEtL,gDAAgD;QAChD,KAAK,MAAM,CAAC,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAErC,QAAQ,IAAI,EAAE,CAAC;gBACb,KAAK,QAAQ;oBACX,UAAU,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;oBACtC,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,QAAQ,CAAC,MAAM,mBAAmB,CAAC,CAAC;oBACrE,MAAM;gBACR,KAAK,aAAa;oBAChB,UAAU,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC;oBACpC,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,QAAQ,CAAC,IAAI,mBAAmB,CAAC,CAAC;oBACnE,MAAM;gBACR,KAAK,WAAW;oBACd,UAAU,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,iBAAiB,CAAC;oBACjD,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,QAAQ,CAAC,iBAAiB,mBAAmB,CAAC,CAAC;oBAChF,MAAM;gBACR,KAAK,UAAU;oBACb,UAAU,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,gBAAgB,CAAC;oBAChD,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,QAAQ,CAAC,gBAAgB,mBAAmB,CAAC,CAAC;oBAC/E,MAAM;gBACR,KAAK,aAAa;oBAChB,UAAU,CAAC,OAAO,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC;oBACnD,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,QAAQ,CAAC,mBAAmB,mBAAmB,CAAC,CAAC;oBAClF,MAAM;gBACR,KAAK,YAAY;oBACf,UAAU,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;oBAClD,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,MAAM,QAAQ,CAAC,UAAU,mBAAmB,CAAC,CAAC;oBACzE,MAAM;gBACR,KAAK,UAAU;oBACb,UAAU,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,wBAAwB,CAAC,CAAC;oBACrD,MAAM;gBACR;oBACE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,OAAO,mBAAmB,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QAED,wLAAwL;QAExL,qEAAqE;QACrE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,MAAM,CAAC,CACtG,CAAC;QACF,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAC9C,CAAC,CAAC,IAAI,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,CACxG,CAAC;YACF,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrB,UAAU,CAAC,uBAAuB,CAAC,GAAG,UAAU,CAAC;gBACjD,UAAU,CAAC,8BAA8B,CAAC,GAAG,QAAQ,CAAC,cAAc,CAAC;gBACrE,UAAU,CAAC,8BAA8B,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;gBAC7E,WAAW,CAAC,IAAI,CAAC,6CAA6C,QAAQ,CAAC,cAAc,SAAS,QAAQ,CAAC,cAAc,KAAK,CAAC,CAAC;YAC9H,CAAC;QACH,CAAC;QAED,6DAA6D;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;QAC5E,IAAI,WAAW,EAAE,CAAC;YAChB,UAAU,CAAC,mBAAmB,CAAC,GAAG,UAAU,CAAC;YAC7C,UAAU,CAAC,0BAA0B,CAAC,GAAG,cAAc,CAAC;YACxD,WAAW,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;QACtF,CAAC;QAED,oFAAoF;QACpF,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,cAAc,CAAC,CAAC;QAC9E,IAAI,cAAc,EAAE,CAAC;YACnB,UAAU,CAAC,gBAAgB,CAAC,GAAG,UAAU,CAAC;YAC1C,UAAU,CAAC,uBAAuB,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;YACtD,WAAW,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;QACvF,CAAC;QAED,oDAAoD;QACpD,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,UAAU,CAAC,0BAA0B,CAAC,GAAG,UAAU,CAAC;YACpD,WAAW,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAC;QAC/E,CAAC;QAED,sKAAsK;QAEtK,6CAA6C;QAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;gBACjF,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,GAAG,CAAC,IAAI,WAAW,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;gBAC9E,IAAI,QAAQ,KAAK,OAAO,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBACpD,MAAM,CAAC,IAAI,CAAC,4BAA4B,GAAG,CAAC,IAAI,2DAA2D,CAAC,CAAC;gBAC/G,CAAC;YACH,CAAC;QACH,CAAC;QAED,uDAAuD;QACvD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,QAAQ,KAAK,cAAc,EAAE,CAAC;gBACnC,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC;gBAClE,IAAI,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;oBAC7D,QAAQ,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,6EAA6E,CAAC,CAAC;gBAChH,CAAC;YACH,CAAC;QACH,CAAC;QAED,wLAAwL;QAExL,4BAA4B;QAC5B,UAAU,CAAC,aAAa,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC;QACxC,UAAU,CAAC,gBAAgB,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;QAC9C,UAAU,CAAC,eAAe,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,SAAS,CAAC;QACzD,UAAU,CAAC,2BAA2B,CAAC,GAAG,OAAO,CAAC;QAClD,UAAU,CAAC,0BAA0B,CAAC,GAAG,IAAI,CAAC;QAC9C,UAAU,CAAC,wBAAwB,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAExE,4LAA4L;QAE5L,uCAAuC;QACvC,KAAK,MAAM,CAAC,OAAO,CAAC,IAAI,cAAc,EAAE,CAAC;YACvC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,gCAAgC,OAAO,sDAAsD,CAAC,CAAC;YAC7G,CAAC;QACH,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;IACvD,CAAC;CACF;AApMD,4CAoMC"}

package/dist/typechecker.d.ts

@@ -0,0 +1,52 @@
+/**
+ * BoneScript Type Checker — Stage 3 of the compilation pipeline.
+ * Implements spec/04_TYPE_SYSTEM.md.
+ *
+ * Responsibilities:
+ * 1. Build symbol table from entity declarations
+ * 2. Verify all field types resolve to valid types
+ * 3. Verify all constraint expressions type to bool
+ * 4. Verify capability preconditions type to bool
+ * 5. Verify effects are well-typed (target and value match)
+ * 6. Verify emitted events exist
+ * 7. Verify state machine transitions reference valid states
+ * 8. Verify flow steps reference valid capabilities
+ *
+ * Deterministic: same AST always produces same errors in same order.
+ */
+import * as AST from "./ast";
+export interface TypeError {
+    code: string;
+    message: string;
+    loc: AST.ASTNode["loc"];
+}
+export declare class TypeChecker {
+    private errors;
+    private symbols;
+    check(program: AST.ProgramNode): TypeError[];
+    private addError;
+    private checkSystem;
+    private registerDeclaration;
+    private registerEntity;
+    private registerCapability;
+    private registerEvent;
+    private checkDeclaration;
+    private checkEntity;
+    private checkCapability;
+    private checkEffect;
+    private checkChannel;
+    private checkFlow;
+    private checkConstraint;
+    private inferExprType;
+    private inferLiteralType;
+    private inferFieldRefType;
+    private resolveFieldPath;
+    private inferBinaryType;
+    private inferUnaryType;
+    private inferCallType;
+    private inferTernaryType;
+    private resolveTypeExpr;
+    private isBoolish;
+    private isAssignable;
+    private checkExtensionPoint;
+}

package/dist/typechecker.js

@@ -0,0 +1,534 @@
+"use strict";
+/**
+ * BoneScript Type Checker — Stage 3 of the compilation pipeline.
+ * Implements spec/04_TYPE_SYSTEM.md.
+ *
+ * Responsibilities:
+ * 1. Build symbol table from entity declarations
+ * 2. Verify all field types resolve to valid types
+ * 3. Verify all constraint expressions type to bool
+ * 4. Verify capability preconditions type to bool
+ * 5. Verify effects are well-typed (target and value match)
+ * 6. Verify emitted events exist
+ * 7. Verify state machine transitions reference valid states
+ * 8. Verify flow steps reference valid capabilities
+ *
+ * Deterministic: same AST always produces same errors in same order.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeChecker = void 0;
+const types_1 = require("./types");
+// ─── Type Checker ────────────────────────────────────────────────────────────
+class TypeChecker {
+    constructor() {
+        this.errors = [];
+        this.symbols = {
+            entities: new Map(),
+            capabilities: new Map(),
+            events: new Map(),
+            stores: new Set(),
+            channels: new Set(),
+            flows: new Set(),
+        };
+    }
+    check(program) {
+        this.errors = [];
+        for (const system of program.systems) {
+            this.checkSystem(system);
+        }
+        return this.errors;
+    }
+    addError(code, message, loc) {
+        this.errors.push({ code, message, loc });
+    }
+    // ─── Phase 1: Build Symbol Table ──────────────────────────────────────────
+    checkSystem(system) {
+        // First pass: register all declarations
+        for (const decl of system.declarations) {
+            this.registerDeclaration(decl);
+        }
+        // Second pass: type check all declarations
+        for (const decl of system.declarations) {
+            this.checkDeclaration(decl);
+        }
+    }
+    registerDeclaration(decl) {
+        switch (decl.kind) {
+            case "EntityDecl":
+                this.registerEntity(decl);
+                break;
+            case "CapabilityDecl":
+                this.registerCapability(decl);
+                break;
+            case "EventDecl":
+                this.registerEvent(decl);
+                break;
+            case "StoreDecl":
+                this.symbols.stores.add(decl.name);
+                break;
+            case "ChannelDecl":
+                this.symbols.channels.add(decl.name);
+                break;
+            case "FlowDecl":
+                this.symbols.flows.add(decl.name);
+                break;
+        }
+    }
+    registerEntity(decl) {
+        const fields = new Map();
+        // Ontology-entailed fields (always present)
+        fields.set("id", (0, types_1.prim)("uuid"));
+        fields.set("created_at", (0, types_1.prim)("timestamp"));
+        fields.set("updated_at", (0, types_1.prim)("timestamp"));
+        // Declared fields
+        for (const field of decl.owns) {
+            const resolved = this.resolveTypeExpr(field.type);
+            if (resolved) {
+                fields.set(field.name, resolved);
+            }
+        }
+        const states = decl.states
+            ? decl.states.nodes.map(n => n.name)
+            : [];
+        this.symbols.entities.set(decl.name, {
+            name: decl.name,
+            type: (0, types_1.record)(decl.name, fields),
+            states,
+            capabilities: [],
+        });
+    }
+    registerCapability(decl) {
+        const params = new Map();
+        for (const p of decl.params) {
+            const resolved = this.resolveTypeExpr(p.type);
+            if (resolved)
+                params.set(p.name, resolved);
+        }
+        this.symbols.capabilities.set(decl.name, { name: decl.name, params });
+    }
+    registerEvent(decl) {
+        const fields = new Map();
+        for (const f of decl.payload) {
+            const resolved = this.resolveTypeExpr(f.type);
+            if (resolved)
+                fields.set(f.name, resolved);
+        }
+        this.symbols.events.set(decl.name, { name: decl.name, payloadFields: fields });
+    }
+    // ─── Phase 2: Type Check Declarations ─────────────────────────────────────
+    checkDeclaration(decl) {
+        switch (decl.kind) {
+            case "EntityDecl":
+                this.checkEntity(decl);
+                break;
+            case "CapabilityDecl":
+                this.checkCapability(decl);
+                break;
+            case "ChannelDecl":
+                this.checkChannel(decl);
+                break;
+            case "FlowDecl":
+                this.checkFlow(decl);
+                break;
+            case "ConstraintDecl":
+                this.checkConstraint(decl);
+                break;
+            case "ExtensionPointDecl":
+                this.checkExtensionPoint(decl);
+                break;
+        }
+    }
+    // ─── Entity Checking ──────────────────────────────────────────────────────
+    checkEntity(decl) {
+        // Check for duplicate field names
+        const seen = new Set();
+        for (const field of decl.owns) {
+            if (seen.has(field.name)) {
+                this.addError("T009", `Duplicate field name '${field.name}' in entity '${decl.name}'`, field.loc);
+            }
+            seen.add(field.name);
+        }
+        // Check field types resolve
+        for (const field of decl.owns) {
+            const resolved = this.resolveTypeExpr(field.type);
+            if (!resolved) {
+                this.addError("T001", `Undefined type in field '${field.name}'`, field.loc);
+            }
+        }
+        // Check constraints type to bool
+        const entitySym = this.symbols.entities.get(decl.name);
+        if (entitySym) {
+            const ctx = new TypeContext(entitySym.type.fields, this.symbols);
+            for (const constraint of decl.constraints) {
+                const ctype = this.inferExprType(constraint, ctx);
+                if (ctype && ctype.tag !== "primitive") {
+                    this.addError("T005", `Constraint expression must type to bool, got ${(0, types_1.typeToString)(ctype)}`, constraint.loc);
+                }
+                else if (ctype && ctype.tag === "primitive" && ctype.name !== "bool") {
+                    // Allow — many constraints are comparison exprs that return bool
+                    // The expression inferrer returns bool for comparisons
+                }
+            }
+        }
+        // Check state machine
+        if (decl.states) {
+            const stateNames = new Set(decl.states.nodes.map(n => n.name));
+            for (const node of decl.states.nodes) {
+                for (const target of node.transitions) {
+                    if (!stateNames.has(target)) {
+                        this.addError("T010", `Undefined state '${target}' in transition from '${node.name}'`, decl.states.loc);
+                    }
+                }
+                for (const target of node.branches) {
+                    if (!stateNames.has(target)) {
+                        this.addError("T010", `Undefined state '${target}' in branch from '${node.name}'`, decl.states.loc);
+                    }
+                }
+            }
+        }
+    }
+    // ─── Capability Checking ───────────────────────────────────────────────────
+    checkCapability(decl) {
+        // Build typing context from parameters
+        const fields = new Map();
+        for (const p of decl.params) {
+            const resolved = this.resolveTypeExpr(p.type);
+            if (resolved) {
+                fields.set(p.name, resolved);
+            }
+            else {
+                this.addError("T006", `Parameter '${p.name}' references undeclared type`, p.loc);
+            }
+        }
+        const ctx = new TypeContext(fields, this.symbols);
+        // Check requires clauses type to bool
+        for (const req of decl.requires) {
+            const rtype = this.inferExprType(req, ctx);
+            if (rtype && !this.isBoolish(rtype)) {
+                this.addError("T005", `Requires expression must type to bool, got ${(0, types_1.typeToString)(rtype)}`, req.loc);
+            }
+        }
+        // Check effects are well-typed
+        for (const effect of decl.effects) {
+            this.checkEffect(effect, ctx);
+        }
+        // Check emitted events exist
+        for (const emit of decl.emits) {
+            if (!this.symbols.events.has(emit.eventName)) {
+                this.addError("T011", `Emitted event '${emit.eventName}' is not declared`, emit.loc);
+            }
+        }
+    }
+    checkEffect(effect, ctx) {
+        const targetType = this.inferExprType(effect.target, ctx);
+        const valueType = this.inferExprType(effect.value, ctx);
+        if (!targetType || !valueType)
+            return; // already errored
+        switch (effect.op) {
+            case "=":
+                if (!(0, types_1.typeEquals)(targetType, valueType) && !this.isAssignable(valueType, targetType)) {
+                    this.addError("T003", `Type mismatch in assignment: target is ${(0, types_1.typeToString)(targetType)}, value is ${(0, types_1.typeToString)(valueType)}`, effect.loc);
+                }
+                break;
+            case "+=":
+                // target must be set<T> or numeric, value must be T or numeric
+                if (targetType.tag === "generic" && targetType.name === "set") {
+                    if (!(0, types_1.typeEquals)(targetType.args[0], valueType)) {
+                        this.addError("T008", `Set += requires element type ${(0, types_1.typeToString)(targetType.args[0])}, got ${(0, types_1.typeToString)(valueType)}`, effect.loc);
+                    }
+                }
+                else if ((0, types_1.isNumeric)(targetType)) {
+                    if (!(0, types_1.isNumeric)(valueType)) {
+                        this.addError("T003", `Numeric += requires numeric value, got ${(0, types_1.typeToString)(valueType)}`, effect.loc);
+                    }
+                }
+                else {
+                    this.addError("T008", `+= requires set or numeric target, got ${(0, types_1.typeToString)(targetType)}`, effect.loc);
+                }
+                break;
+            case "-=":
+                if (targetType.tag === "generic" && targetType.name === "set") {
+                    if (!(0, types_1.typeEquals)(targetType.args[0], valueType)) {
+                        this.addError("T008", `Set -= requires element type ${(0, types_1.typeToString)(targetType.args[0])}, got ${(0, types_1.typeToString)(valueType)}`, effect.loc);
+                    }
+                }
+                else if ((0, types_1.isNumeric)(targetType)) {
+                    if (!(0, types_1.isNumeric)(valueType)) {
+                        this.addError("T003", `Numeric -= requires numeric value, got ${(0, types_1.typeToString)(valueType)}`, effect.loc);
+                    }
+                }
+                else {
+                    this.addError("T008", `-= requires set or numeric target, got ${(0, types_1.typeToString)(targetType)}`, effect.loc);
+                }
+                break;
+        }
+    }
+    // ─── Channel Checking ──────────────────────────────────────────────────────
+    checkChannel(decl) {
+        // Verify participants type is set<Entity>
+        if (decl.participants) {
+            const ptype = this.resolveTypeExpr(decl.participants);
+            if (ptype && ptype.tag === "generic" && ptype.name === "set") {
+                const inner = ptype.args[0];
+                if (inner.tag === "record" && !this.symbols.entities.has(inner.name)) {
+                    this.addError("T001", `Channel participants reference undeclared entity '${inner.name}'`, decl.loc);
+                }
+            }
+        }
+    }
+    // ─── Flow Checking ─────────────────────────────────────────────────────────
+    checkFlow(decl) {
+        for (const step of decl.steps) {
+            // Check step action references a valid capability or function
+            if (!this.symbols.capabilities.has(step.action.name) &&
+                !this.symbols.entities.has(step.action.name)) {
+                // Allow — could be a helper function not yet declared
+                // In strict mode this would be T012
+            }
+            // Check compensation exists if step has one
+            if (step.compensate) {
+                // Same check — compensation should reference a valid capability
+            }
+        }
+        // Check at least 2 steps (ontology requirement)
+        if (decl.steps.length < 2) {
+            this.addError("T012", `Flow '${decl.name}' must have at least 2 steps`, decl.loc);
+        }
+    }
+    // ─── Constraint Checking ───────────────────────────────────────────────────
+    checkConstraint(decl) {
+        // Top-level constraints are checked in a global context
+        const globalCtx = new TypeContext(new Map(), this.symbols);
+        const ctype = this.inferExprType(decl.expr, globalCtx);
+        if (ctype && !this.isBoolish(ctype)) {
+            this.addError("T005", `Top-level constraint '${decl.name}' must type to bool`, decl.loc);
+        }
+    }
+    // ─── Expression Type Inference ─────────────────────────────────────────────
+    inferExprType(expr, ctx) {
+        switch (expr.kind) {
+            case "Literal":
+                return this.inferLiteralType(expr);
+            case "FieldRef":
+                return this.inferFieldRefType(expr, ctx);
+            case "BinaryExpr":
+                return this.inferBinaryType(expr, ctx);
+            case "UnaryExpr":
+                return this.inferUnaryType(expr, ctx);
+            case "CallExpr":
+                return this.inferCallType(expr, ctx);
+            case "TernaryExpr":
+                return this.inferTernaryType(expr, ctx);
+            default:
+                return null;
+        }
+    }
+    inferLiteralType(expr) {
+        switch (expr.type) {
+            case "string": return (0, types_1.prim)("string");
+            case "int": return (0, types_1.prim)("uint"); // default to uint per spec
+            case "float": return (0, types_1.prim)("float");
+            case "bool": return (0, types_1.prim)("bool");
+            case "none": return types_1.BOTTOM;
+            case "list": return (0, types_1.generic)("list", (0, types_1.prim)("json")); // infer element type later
+            case "map": return (0, types_1.prim)("json");
+        }
+    }
+    inferFieldRefType(expr, ctx) {
+        const path = expr.path;
+        if (path.length === 0)
+            return null;
+        // First segment: look up in context
+        let currentType = ctx.lookup(path[0]);
+        if (!currentType) {
+            // Try as entity name (for top-level constraints like Player.active_trades)
+            const entity = this.symbols.entities.get(path[0]);
+            if (entity) {
+                currentType = entity.type;
+                return this.resolveFieldPath(currentType, path.slice(1), expr);
+            }
+            // Unknown — don't error here, could be a forward reference
+            return (0, types_1.prim)("json"); // permissive fallback
+        }
+        return this.resolveFieldPath(currentType, path.slice(1), expr);
+    }
+    resolveFieldPath(baseType, remaining, expr) {
+        let current = baseType;
+        for (const segment of remaining) {
+            // Handle .unique, .length, .size as derived properties
+            if (segment === "unique")
+                return (0, types_1.prim)("bool");
+            if (segment === "length")
+                return (0, types_1.prim)("uint");
+            if (segment === "size")
+                return (0, types_1.prim)("uint");
+            if (current.tag === "record") {
+                const field = current.fields.get(segment);
+                if (field) {
+                    current = field;
+                }
+                else {
+                    // Field not found — could be a derived property
+                    return (0, types_1.prim)("json"); // permissive
+                }
+            }
+            else if (current.tag === "generic") {
+                // Accessing property on generic type (e.g., list.size)
+                if (segment === "size" || segment === "length")
+                    return (0, types_1.prim)("uint");
+                return (0, types_1.prim)("json");
+            }
+            else {
+                return (0, types_1.prim)("json"); // permissive fallback
+            }
+        }
+        return current;
+    }
+    inferBinaryType(expr, ctx) {
+        const left = this.inferExprType(expr.left, ctx);
+        const right = this.inferExprType(expr.right, ctx);
+        switch (expr.op) {
+            // Comparison operators → bool
+            case "==":
+            case "!=":
+            case "<":
+            case ">":
+            case "<=":
+            case ">=":
+            case "in":
+            case "contains":
+            case "and":
+            case "or":
+                return (0, types_1.prim)("bool");
+            // Range operator
+            case "..":
+                return (0, types_1.generic)("list", (0, types_1.prim)("uint")); // range produces a range object
+            // Arithmetic → numeric
+            case "+":
+            case "*":
+            case "/":
+            case "%":
+                if (left && right && (0, types_1.isNumeric)(left) && (0, types_1.isNumeric)(right)) {
+                    // Promote to widest type
+                    if (left.name === "float" || right.name === "float")
+                        return (0, types_1.prim)("float");
+                    if (left.name === "int" || right.name === "int")
+                        return (0, types_1.prim)("int");
+                    return (0, types_1.prim)("uint");
+                }
+                if (expr.op === "+" && left?.tag === "primitive" && left.name === "string") {
+                    return (0, types_1.prim)("string"); // string concatenation
+                }
+                return (0, types_1.prim)("uint");
+            case "-":
+                return (0, types_1.prim)("int"); // subtraction may produce negative
+            default:
+                return (0, types_1.prim)("bool");
+        }
+    }
+    inferUnaryType(expr, ctx) {
+        if (expr.op === "not")
+            return (0, types_1.prim)("bool");
+        if (expr.op === "-")
+            return (0, types_1.prim)("int");
+        return (0, types_1.prim)("json");
+    }
+    inferCallType(expr, ctx) {
+        // Built-in functions
+        if (expr.name === "now")
+            return (0, types_1.prim)("timestamp");
+        if (expr.name === "count")
+            return (0, types_1.prim)("uint");
+        if (expr.name === "sum")
+            return (0, types_1.prim)("uint");
+        // User-defined — return json as permissive fallback
+        return (0, types_1.prim)("json");
+    }
+    inferTernaryType(expr, ctx) {
+        // condition must be bool
+        const condType = this.inferExprType(expr.condition, ctx);
+        if (condType && !this.isBoolish(condType)) {
+            this.addError("T005", "Ternary condition must be bool", expr.loc);
+        }
+        // result type is type of consequent (assume both branches same type)
+        return this.inferExprType(expr.consequent, ctx);
+    }
+    // ─── Helpers ───────────────────────────────────────────────────────────────
+    resolveTypeExpr(typeExpr) {
+        switch (typeExpr.kind) {
+            case "PrimitiveType":
+                return (0, types_1.prim)(typeExpr.name);
+            case "GenericType": {
+                const args = typeExpr.typeArgs.map(a => this.resolveTypeExpr(a)).filter(Boolean);
+                return (0, types_1.generic)(typeExpr.name, ...args);
+            }
+            case "EntityRefType": {
+                const entity = this.symbols.entities.get(typeExpr.name);
+                if (entity)
+                    return entity.type;
+                // Could be a forward reference — register as unknown record
+                return (0, types_1.record)(typeExpr.name, new Map());
+            }
+            case "TupleType": {
+                const elements = typeExpr.elements.map(e => this.resolveTypeExpr(e)).filter(Boolean);
+                return { tag: "tuple", elements };
+            }
+            case "UnionType": {
+                const members = typeExpr.members.map(m => this.resolveTypeExpr(m)).filter(Boolean);
+                return { tag: "union", members };
+            }
+        }
+    }
+    isBoolish(t) {
+        return (t.tag === "primitive" && t.name === "bool") || t.tag === "bottom";
+    }
+    isAssignable(source, target) {
+        if ((0, types_1.typeEquals)(source, target))
+            return true;
+        // Numeric widening: uint → int → float
+        if (source.tag === "primitive" && target.tag === "primitive") {
+            if (source.name === "uint" && (target.name === "int" || target.name === "float"))
+                return true;
+            if (source.name === "int" && target.name === "float")
+                return true;
+        }
+        // json accepts anything and anything accepts json (permissive for unresolved)
+        if (target.tag === "primitive" && target.name === "json")
+            return true;
+        if (source.tag === "primitive" && source.name === "json")
+            return true;
+        return false;
+    }
+    checkExtensionPoint(decl) {
+        for (const p of decl.params) {
+            const resolved = this.resolveTypeExpr(p.type);
+            if (!resolved) {
+                this.addError("T001", "Extension point '" + decl.name + "' param '" + p.name + "' references undefined type", p.loc);
+            }
+        }
+        if (decl.returns) {
+            const resolved = this.resolveTypeExpr(decl.returns);
+            if (!resolved) {
+                this.addError("T001", "Extension point '" + decl.name + "' return type is undefined", decl.loc);
+            }
+        }
+    }
+}
+exports.TypeChecker = TypeChecker;
+// ─── Type Context ────────────────────────────────────────────────────────────
+class TypeContext {
+    constructor(locals, symbols) {
+        this.locals = locals;
+        this.symbols = symbols;
+    }
+    lookup(name) {
+        const local = this.locals.get(name);
+        if (local)
+            return local;
+        const entity = this.symbols.entities.get(name);
+        if (entity)
+            return entity.type;
+        return null;
+    }
+}
+//# sourceMappingURL=typechecker.js.map

package/dist/typechecker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"typechecker.js","sourceRoot":"","sources":["../src/typechecker.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;GAeG;;;AAGH,mCAIiB;AAsCjB,8MAA8M;AAE9M,MAAa,WAAW;IAAxB;QACU,WAAM,GAAgB,EAAE,CAAC;QACzB,YAAO,GAAgB;YAC7B,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,YAAY,EAAE,IAAI,GAAG,EAAE;YACvB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,KAAK,EAAE,IAAI,GAAG,EAAE;SACjB,CAAC;IAqfJ,CAAC;IAnfC,KAAK,CAAC,OAAwB;QAC5B,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC;QAEjB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAC3B,CAAC;QAED,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAEO,QAAQ,CAAC,IAAY,EAAE,OAAe,EAAE,GAAuB;QACrE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,uKAAuK;IAE/J,WAAW,CAAC,MAA0B;QAC5C,wCAAwC;QACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACvC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC;QAED,2CAA2C;QAC3C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;YACvC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,IAAyB;QACnD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBACf,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,gBAAgB;gBACnB,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBAC9B,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBACzB,MAAM;YACR,KAAK,WAAW;gBACd,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnC,MAAM;YACR,KAAK,aAAa;gBAChB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,MAAM;QACV,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,IAAwB;QAC7C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QAEzC,4CAA4C;QAC5C,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,IAAA,YAAI,EAAC,WAAW,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,IAAA,YAAI,EAAC,WAAW,CAAC,CAAC,CAAC;QAE5C,kBAAkB;QAClB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACnC,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM;YACxB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;YACpC,CAAC,CAAC,EAAE,CAAC;QAEP,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;YACnC,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAA,cAAM,EAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC;YAC/B,MAAM;YACN,YAAY,EAAE,EAAE;SACjB,CAAC,CAAC;IACL,CAAC;IAEO,kBAAkB,CAAC,IAA4B;QACrD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACxE,CAAC;IAEO,aAAa,CAAC,IAAuB;QAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,QAAQ;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;IACjF,CAAC;IAED,6JAA6J;IAErJ,gBAAgB,CAAC,IAAyB;QAChD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,YAAY;gBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YACjD,KAAK,gBAAgB;gBAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YACzD,KAAK,aAAa;gBAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YACnD,KAAK,UAAU;gBAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YAC7C,KAAK,gBAAgB;gBAAE,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;YACzD,KAAK,oBAAoB;gBAAE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;gBAAC,MAAM;QACnE,CAAC;IACH,CAAC;IAED,+LAA+L;IAEvL,WAAW,CAAC,IAAwB;QAC1C,kCAAkC;QAClC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,KAAK,CAAC,IAAI,gBAAgB,IAAI,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YACpG,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;QAED,4BAA4B;QAC5B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,4BAA4B,KAAK,CAAC,IAAI,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;QAED,iCAAiC;QACjC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,IAAI,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;YACjE,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;gBAClD,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW,EAAE,CAAC;oBACvC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,gDAAgD,IAAA,oBAAY,EAAC,KAAK,CAAC,EAAE,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;gBAC/G,CAAC;qBAAM,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBACvE,mEAAmE;oBACnE,uDAAuD;gBACzD,CAAC;YACH,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC/D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;gBACrC,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACtC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5B,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,MAAM,yBAAyB,IAAI,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAC1G,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACnC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC5B,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,MAAM,qBAAqB,IAAI,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBACtG,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,0LAA0L;IAElL,eAAe,CAAC,IAA4B;QAClD,uCAAuC;QACvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,QAAQ,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,IAAI,8BAA8B,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAElD,sCAAsC;QACtC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAC3C,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,8CAA8C,IAAA,oBAAY,EAAC,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;YACtG,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAChC,CAAC;QAED,6BAA6B;QAC7B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,kBAAkB,IAAI,CAAC,SAAS,mBAAmB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,MAAsB,EAAE,GAAgB;QAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QAC1D,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAExD,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS;YAAE,OAAO,CAAC,kBAAkB;QAEzD,QAAQ,MAAM,CAAC,EAAE,EAAE,CAAC;YAClB,KAAK,GAAG;gBACN,IAAI,CAAC,IAAA,kBAAU,EAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;oBACpF,IAAI,CAAC,QAAQ,CAAC,MAAM,EAClB,0CAA0C,IAAA,oBAAY,EAAC,UAAU,CAAC,cAAc,IAAA,oBAAY,EAAC,SAAS,CAAC,EAAE,EACzG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAChB,CAAC;gBACD,MAAM;YACR,KAAK,IAAI;gBACP,+DAA+D;gBAC/D,IAAI,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBAC9D,IAAI,CAAC,IAAA,kBAAU,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;wBAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAClB,gCAAgC,IAAA,oBAAY,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,IAAA,oBAAY,EAAC,SAAS,CAAC,EAAE,EAClG,MAAM,CAAC,GAAG,CAAC,CAAC;oBAChB,CAAC;gBACH,CAAC;qBAAM,IAAI,IAAA,iBAAS,EAAC,UAAU,CAAC,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAA,iBAAS,EAAC,SAAS,CAAC,EAAE,CAAC;wBAC1B,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,0CAA0C,IAAA,oBAAY,EAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;oBACzG,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,0CAA0C,IAAA,oBAAY,EAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC1G,CAAC;gBACD,MAAM;YACR,KAAK,IAAI;gBACP,IAAI,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;oBAC9D,IAAI,CAAC,IAAA,kBAAU,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;wBAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAClB,gCAAgC,IAAA,oBAAY,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,IAAA,oBAAY,EAAC,SAAS,CAAC,EAAE,EAClG,MAAM,CAAC,GAAG,CAAC,CAAC;oBAChB,CAAC;gBACH,CAAC;qBAAM,IAAI,IAAA,iBAAS,EAAC,UAAU,CAAC,EAAE,CAAC;oBACjC,IAAI,CAAC,IAAA,iBAAS,EAAC,SAAS,CAAC,EAAE,CAAC;wBAC1B,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,0CAA0C,IAAA,oBAAY,EAAC,SAAS,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;oBACzG,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,0CAA0C,IAAA,oBAAY,EAAC,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC1G,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IAED,gMAAgM;IAExL,YAAY,CAAC,IAAyB;QAC5C,0CAA0C;QAC1C,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YACtD,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5B,IAAI,KAAK,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrE,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,qDAAqD,KAAK,CAAC,IAAI,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,sMAAsM;IAE9L,SAAS,CAAC,IAAsB;QACtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,8DAA8D;YAC9D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBAChD,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjD,wDAAwD;gBACxD,oCAAoC;YACtC,CAAC;YAED,4CAA4C;YAC5C,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpB,kEAAkE;YACpE,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,IAAI,8BAA8B,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IAED,0LAA0L;IAElL,eAAe,CAAC,IAA4B;QAClD,wDAAwD;QACxD,MAAM,SAAS,GAAG,IAAI,WAAW,CAAC,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACvD,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,IAAI,CAAC,IAAI,qBAAqB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3F,CAAC;IACH,CAAC;IAED,8KAA8K;IAEtK,aAAa,CAAC,IAAkB,EAAE,GAAgB;QACxD,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,SAAS;gBACZ,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YACrC,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC3C,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACzC,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACxC,KAAK,UAAU;gBACb,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvC,KAAK,aAAa;gBAChB,OAAO,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC1C;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAEO,gBAAgB,CAAC,IAAqB;QAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAA,YAAI,EAAC,QAAQ,CAAC,CAAC;YACrC,KAAK,KAAK,CAAC,CAAC,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC,CAAC,2BAA2B;YAC5D,KAAK,OAAO,CAAC,CAAC,OAAO,IAAA,YAAI,EAAC,OAAO,CAAC,CAAC;YACnC,KAAK,MAAM,CAAC,CAAC,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;YACjC,KAAK,MAAM,CAAC,CAAC,OAAO,cAAM,CAAC;YAC3B,KAAK,MAAM,CAAC,CAAC,OAAO,IAAA,eAAO,EAAC,MAAM,EAAE,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,2BAA2B;YAC9E,KAAK,KAAK,CAAC,CAAC,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAEO,iBAAiB,CAAC,IAAsB,EAAE,GAAgB;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEnC,oCAAoC;QACpC,IAAI,WAAW,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAEtC,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,2EAA2E;YAC3E,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,IAAI,MAAM,EAAE,CAAC;gBACX,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC;gBAC1B,OAAO,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACjE,CAAC;YACD,6DAA6D;YAC7D,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC,CAAC,sBAAsB;QAC7C,CAAC;QAED,OAAO,IAAI,CAAC,gBAAgB,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjE,CAAC;IAEO,gBAAgB,CAAC,QAAgB,EAAE,SAAmB,EAAE,IAAkB;QAChF,IAAI,OAAO,GAAG,QAAQ,CAAC;QAEvB,KAAK,MAAM,OAAO,IAAI,SAAS,EAAE,CAAC;YAChC,uDAAuD;YACvD,IAAI,OAAO,KAAK,QAAQ;gBAAE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,QAAQ;gBAAE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,MAAM;gBAAE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;YAE5C,IAAI,OAAO,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC1C,IAAI,KAAK,EAAE,CAAC;oBACV,OAAO,GAAG,KAAK,CAAC;gBAClB,CAAC;qBAAM,CAAC;oBACN,kDAAkD;oBAClD,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC,CAAC,aAAa;gBACpC,CAAC;YACH,CAAC;iBAAM,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBACrC,uDAAuD;gBACvD,IAAI,OAAO,KAAK,MAAM,IAAI,OAAO,KAAK,QAAQ;oBAAE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;gBACpE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;YACtB,CAAC;iBAAM,CAAC;gBACN,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC,CAAC,sBAAsB;YAC7C,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,eAAe,CAAC,IAAwB,EAAE,GAAgB;QAChE,MAAM,IAAI,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAChD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAElD,QAAQ,IAAI,CAAC,EAAE,EAAE,CAAC;YAChB,gCAAgC;YAChC,KAAK,IAAI,CAAC;YAAC,KAAK,IAAI,CAAC;YAAC,KAAK,GAAG,CAAC;YAAC,KAAK,GAAG,CAAC;YAAC,KAAK,IAAI,CAAC;YAAC,KAAK,IAAI,CAAC;YAC/D,KAAK,IAAI,CAAC;YAAC,KAAK,UAAU,CAAC;YAAC,KAAK,KAAK,CAAC;YAAC,KAAK,IAAI;gBAC/C,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;YAEtB,iBAAiB;YACjB,KAAK,IAAI;gBACP,OAAO,IAAA,eAAO,EAAC,MAAM,EAAE,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,gCAAgC;YAExE,yBAAyB;YACzB,KAAK,GAAG,CAAC;YAAC,KAAK,GAAG,CAAC;YAAC,KAAK,GAAG,CAAC;YAAC,KAAK,GAAG;gBACpC,IAAI,IAAI,IAAI,KAAK,IAAI,IAAA,iBAAS,EAAC,IAAI,CAAC,IAAI,IAAA,iBAAS,EAAC,KAAK,CAAC,EAAE,CAAC;oBACzD,yBAAyB;oBACzB,IAAK,IAAsB,CAAC,IAAI,KAAK,OAAO,IAAK,KAAuB,CAAC,IAAI,KAAK,OAAO;wBAAE,OAAO,IAAA,YAAI,EAAC,OAAO,CAAC,CAAC;oBAChH,IAAK,IAAsB,CAAC,IAAI,KAAK,KAAK,IAAK,KAAuB,CAAC,IAAI,KAAK,KAAK;wBAAE,OAAO,IAAA,YAAI,EAAC,KAAK,CAAC,CAAC;oBAC1G,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;gBACtB,CAAC;gBACD,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,IAAI,EAAE,GAAG,KAAK,WAAW,IAAK,IAAsB,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAC9F,OAAO,IAAA,YAAI,EAAC,QAAQ,CAAC,CAAC,CAAC,uBAAuB;gBAChD,CAAC;gBACD,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;YAEtB,KAAK,GAAG;gBACN,OAAO,IAAA,YAAI,EAAC,KAAK,CAAC,CAAC,CAAC,mCAAmC;YAEzD;gBACE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAEO,cAAc,CAAC,IAAuB,EAAE,GAAgB;QAC9D,IAAI,IAAI,CAAC,EAAE,KAAK,KAAK;YAAE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,EAAE,KAAK,GAAG;YAAE,OAAO,IAAA,YAAI,EAAC,KAAK,CAAC,CAAC;QACxC,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAEO,aAAa,CAAC,IAAsB,EAAE,GAAgB;QAC5D,qBAAqB;QACrB,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAA,YAAI,EAAC,WAAW,CAAC,CAAC;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;QAE7C,sDAAsD;QACtD,OAAO,IAAA,YAAI,EAAC,MAAM,CAAC,CAAC;IACtB,CAAC;IAEO,gBAAgB,CAAC,IAAyB,EAAE,GAAgB;QAClE,yBAAyB;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACzD,IAAI,QAAQ,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,gCAAgC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QACpE,CAAC;QACD,qEAAqE;QACrE,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IAClD,CAAC;IAED,kNAAkN;IAE1M,eAAe,CAAC,QAA0B;QAChD,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;YACtB,KAAK,eAAe;gBAClB,OAAO,IAAA,YAAI,EAAC,QAAQ,CAAC,IAA6B,CAAC,CAAC;YACtD,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;gBAC7F,OAAO,IAAA,eAAO,EAAC,QAAQ,CAAC,IAA2B,EAAE,GAAG,IAAI,CAAC,CAAC;YAChE,CAAC;YACD,KAAK,eAAe,CAAC,CAAC,CAAC;gBACrB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACxD,IAAI,MAAM;oBAAE,OAAO,MAAM,CAAC,IAAI,CAAC;gBAC/B,8DAA8D;gBAC9D,OAAO,IAAA,cAAM,EAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAC1C,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;gBACjG,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;YACpC,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAa,CAAC;gBAC/F,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;YACnC,CAAC;QACH,CAAC;IACH,CAAC;IAEO,SAAS,CAAC,CAAS;QACzB,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC;IAC5E,CAAC;IAEO,YAAY,CAAC,MAAc,EAAE,MAAc;QACjD,IAAI,IAAA,kBAAU,EAAC,MAAM,EAAE,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAC5C,2CAA2C;QAC3C,IAAI,MAAM,CAAC,GAAG,KAAK,WAAW,IAAI,MAAM,CAAC,GAAG,KAAK,WAAW,EAAE,CAAC;YAC7D,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC9F,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,IAAI,CAAC;QACpE,CAAC;QACD,8EAA8E;QAC9E,IAAI,MAAM,CAAC,GAAG,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACtE,IAAI,MAAM,CAAC,GAAG,KAAK,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC;QACtE,OAAO,KAAK,CAAC;IACf,CAAC;IACO,mBAAmB,CAAC,IAAgC;QAC1D,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC,IAAI,GAAG,WAAW,GAAG,CAAC,CAAC,IAAI,GAAG,6BAA6B,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;YACvH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,mBAAmB,GAAG,IAAI,CAAC,IAAI,GAAG,4BAA4B,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;IACH,CAAC;CAGF;AA9fD,kCA8fC;AACD,8MAA8M;AAE9M,MAAM,WAAW;IAIf,YAAY,MAA2B,EAAE,OAAoB;QAC3D,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;IACD,MAAM,CAAC,IAAY;QACjB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC,IAAI,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;CACF"}