draft-ole 0.9.0

package/dist/transformer/whitelist-validator.js

@@ -0,0 +1,493 @@
+"use strict";
+/**
+ * whitelist-validator — ルート識別子・構文の検査
+ *
+ * Task 5.2:
+ * - `validateHandler(ir, refs, program, sourceFile, extraWhitelist?)` を export
+ * - 各 IdentifierRef を TypeChecker で型判定し `IdentifierKind` に分類
+ *   1. state/state-handle: DraftoleStateMarker プロパティの有無で判定
+ *   2. event-param: HandlerIR.paramName との一致
+ *   3. local: HandlerIR.localDecls との一致
+ *   4. builtin: BUILTIN_GLOBALS 照合（console を含む）
+ *   5. extraWhitelist: 追加ホワイトリスト識別子
+ * - unknown 検出時は ts.Diagnostic error を蓄積（全件走査）
+ *
+ * Task 5.3:
+ * - 二次コールバック再帰検査
+ * - .map(inner => ...) / .update(inner => ...) / .each(inner => ...) の
+ *   内部 ArrowFunction も同規則で検査
+ * - 内部アロー引数は event-param ではなく local として扱う
+ *
+ * 対応 requirements: 3.1, 3.2, 3.4, 3.5, 3.6
+ * 対応 design: whitelist-validator, D-1, D-7
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.validateHandler = validateHandler;
+const ts = __importStar(require("typescript"));
+const whitelist_registry_1 = require("./whitelist-registry");
+// ---- 定数 -------------------------------------------------------------------
+/**
+ * 二次コールバックとして再帰検査するメソッド名。
+ * state.map(fn) / state.update(fn) / state.each(fn) の fn を対象とする。
+ * また、Array.prototype.filter / find / reduce / forEach / flatMap 等の
+ * 一般配列メソッドのコールバックも同規則で扱う（Req 3.1）。
+ */
+const NESTED_CALLBACK_METHODS = new Set([
+    'map', 'update', 'each',
+    'filter', 'find', 'findIndex', 'reduce', 'reduceRight',
+    'forEach', 'some', 'every', 'flatMap', 'sort',
+]);
+/**
+ * DraftoleStateMarker プロパティ名。
+ * state.ts で `declare const DraftoleStateMarker: unique symbol` として定義されており、
+ * TypeChecker から getProperty() で存在確認する（Design D-7）。
+ *
+ * unique symbol は通常プロパティ名で直接検索できないため、
+ * 型のプロパティシンボル一覧を走査して `__draftoleStateMarker__` または
+ * description に "DraftoleStateMarker" / "draftoleState" を含むシンボルを探す。
+ */
+const STATE_MARKER_CANDIDATES = [
+    '__draftoleStateMarker__',
+    'DraftoleStateMarker',
+    '_draftoleState',
+];
+/**
+ * 明示的に禁止するグローバル識別子。
+ *
+ * - `window` / `globalThis` / `global` / `self`: 直接 DOM/Node global へ触らせない
+ * - `undefined`: identifier として参照不可（再代入可能で安全な保証ができないため）。
+ *   利用側は `=== undefined` の比較ではなく `length === 0` 等の構造的判定に置換する。
+ *   値として必要な場合は `void 0` を使う（builtin として許可）。
+ */
+const FORBIDDEN_GLOBALS = new Set(['window', 'globalThis', 'global', 'self', 'undefined']);
+/**
+ * Diagnostic エラーコード（DT001）
+ */
+const DT001_CODE = 9001;
+// ---- 禁止構文ラベルマップ -----------------------------------------------------
+/**
+ * 禁止 SyntaxKind → エラーメッセージ用の人間可読ラベル。
+ * PostfixUnaryExpression は ++ / -- のどちらか演算子種別で絞り込む。
+ */
+const FORBIDDEN_SYNTAX_LABELS = new Map([
+    [ts.SyntaxKind.AwaitExpression, 'await'],
+    [ts.SyntaxKind.YieldExpression, 'yield'],
+    [ts.SyntaxKind.PostfixUnaryExpression, 'postfix ++ / --'],
+    [ts.SyntaxKind.PrefixUnaryExpression, 'prefix ++ / --'],
+    [ts.SyntaxKind.Decorator, 'decorator'],
+]);
+// ---- ヘルパー ----------------------------------------------------------------
+/**
+ * TypeChecker の型が DraftoleStateMarker プロパティを持つかを確認する。
+ *
+ * State<T> / Computed<T> / ScriptStateHandle<T> はすべて
+ * `readonly [DraftoleStateMarker]: 'state'` を持つ（Design D-7）。
+ *
+ * unique symbol プロパティは以下の方法で検出する:
+ * 1. 型の全プロパティシンボルを取得
+ * 2. 各シンボルの name に STATE_MARKER_CANDIDATES のいずれかを含むか確認
+ * 3. または `_runtimeId: string` プロパティを持つかも確認（補助判定）
+ */
+function hasStateMarker(type, checker) {
+    var _a, _b, _c;
+    // アプローチ1: 型のプロパティシンボルを全走査
+    const props = type.getProperties();
+    for (const prop of props) {
+        const name = prop.getName();
+        // STATE_MARKER_CANDIDATES との照合
+        for (const candidate of STATE_MARKER_CANDIDATES) {
+            if (name === candidate || name.includes('DraftoleState') || name.includes('draftoleState')) {
+                return true;
+            }
+        }
+        // unique symbol プロパティ: シンボル名に "__draftole" を含む
+        if (name.toLowerCase().includes('draftole')) {
+            return true;
+        }
+    }
+    // アプローチ2: `_runtimeId` と `get()` を持つ型を State と判定（構造的マーカー補助）
+    const runtimeIdProp = type.getProperty('_runtimeId');
+    const getProp = type.getProperty('get');
+    if (runtimeIdProp !== undefined && getProp !== undefined) {
+        // _runtimeId: string かつ get が関数である場合は State とみなす
+        const runtimeIdType = checker.getTypeOfSymbolAtLocation(runtimeIdProp, (_c = (_a = runtimeIdProp.valueDeclaration) !== null && _a !== void 0 ? _a : (_b = runtimeIdProp.declarations) === null || _b === void 0 ? void 0 : _b[0]) !== null && _c !== void 0 ? _c : {});
+        if ((runtimeIdType.flags & ts.TypeFlags.String) !== 0 ||
+            (runtimeIdType.flags & ts.TypeFlags.StringLiteral) !== 0) {
+            return true;
+        }
+    }
+    // アプローチ3: 型名に State / Computed / StateHandle を含む
+    const typeName = checker.typeToString(type);
+    if (typeName.includes('State<') ||
+        typeName.includes('Computed<') ||
+        typeName.includes('StateHandle<') ||
+        typeName.includes('ReadableState<')) {
+        return true;
+    }
+    return false;
+}
+/**
+ * ts.Diagnostic error を生成するヘルパー。
+ */
+function createErrorDiagnostic(node, messageText, sourceFile) {
+    const start = node.getStart(sourceFile, false);
+    const length = node.getWidth(sourceFile);
+    return {
+        file: sourceFile,
+        start,
+        length,
+        messageText,
+        category: ts.DiagnosticCategory.Error,
+        code: DT001_CODE,
+        source: 'draftole-transformer',
+    };
+}
+/**
+ * 識別子が event-param かどうかを判定する。
+ */
+function isEventParam(name, ir) {
+    return ir.paramName !== null && name === ir.paramName;
+}
+/**
+ * 識別子が local かどうかを判定する。
+ */
+function isLocal(name, ir) {
+    return ir.localDecls.has(name);
+}
+/**
+ * ノードが二次コールバック呼び出し（state.map/update/each の ArrowFunction 引数）
+ * かどうかを確認し、該当する ArrowFunction を返す。
+ *
+ * 例: `myState.map(inner => inner + 1)` → `inner => inner + 1` を返す
+ */
+function findNestedCallbackArrow(node) {
+    // CallExpression かどうか確認
+    if (!ts.isCallExpression(node))
+        return undefined;
+    const callExpr = node;
+    // メソッドアクセス（obj.method(...)）か確認
+    const expr = callExpr.expression;
+    if (!ts.isPropertyAccessExpression(expr))
+        return undefined;
+    // メソッド名が map/update/each か確認
+    const methodName = expr.name.text;
+    if (!NESTED_CALLBACK_METHODS.has(methodName))
+        return undefined;
+    // 引数リストに ArrowFunction が含まれるか確認（最初の引数を対象）
+    for (const arg of callExpr.arguments) {
+        if (ts.isArrowFunction(arg)) {
+            return arg;
+        }
+    }
+    return undefined;
+}
+/**
+ * 指定ノードが outerArrow 内の .map/.update/.each コールバック ArrowFunction の
+ * 内部（その body または parameters の子孫）に属するかを確認する。
+ * 属する場合、ネストされた ArrowFunction を返す（外側の検査でスキップするため）。
+ */
+function findEnclosingNestedArrow(node, outerArrow) {
+    // outerArrow 本体全体を走査して .map/.update/.each(Arrow) パターンを収集
+    const nestedArrows = [];
+    function collectNested(n) {
+        const found = findNestedCallbackArrow(n);
+        if (found !== undefined) {
+            nestedArrows.push(found);
+            // found の内部はさらに深いネストとして別途収集しない（ここでは1段のみ）
+            return;
+        }
+        ts.forEachChild(n, collectNested);
+    }
+    collectNested(outerArrow.body);
+    // node がいずれかの nestedArrow の子孫かを確認
+    for (const nestedArrow of nestedArrows) {
+        if (isDescendantOf(node, nestedArrow)) {
+            return nestedArrow;
+        }
+    }
+    return undefined;
+}
+/**
+ * target が ancestor の子孫ノードかを確認する。
+ */
+function isDescendantOf(target, ancestor) {
+    let current = target;
+    while (current !== undefined) {
+        if (current === ancestor)
+            return true;
+        current = current.parent;
+    }
+    return false;
+}
+/**
+ * ArrowFunction の仮引数名リストを返す。
+ */
+function getArrowParamNames(arrowFn) {
+    return arrowFn.parameters.map((p) => {
+        if (ts.isIdentifier(p.name)) {
+            return p.name.text;
+        }
+        return '';
+    }).filter((n) => n.length > 0);
+}
+/**
+ * 内部アロー関数の識別子を収集する（内部アロー自身のネストは含めない）。
+ * collectRefs と同様のロジックだが、inner arrow の body のみを対象にする。
+ */
+function collectNestedRefs(arrowFn, checker, outerSeen) {
+    const refs = [];
+    const seen = new Set(outerSeen);
+    function collect(node) {
+        // 内部にさらに ArrowFunction がある場合は再帰しない（別途処理）
+        if (ts.isArrowFunction(node) && node !== arrowFn)
+            return;
+        if (ts.isIdentifier(node)) {
+            const parent = node.parent;
+            if (ts.isPropertyAccessExpression(parent) && parent.name === node)
+                return;
+            if (ts.isPropertyAssignment(parent) && parent.name === node)
+                return;
+            const name = node.text;
+            if (seen.has(name))
+                return;
+            seen.add(name);
+            const symbol = checker.getSymbolAtLocation(node);
+            refs.push({ name, node, symbol, kind: { tag: 'unknown' } });
+            return;
+        }
+        ts.forEachChild(node, collect);
+    }
+    // 仮引数を収集
+    for (const param of arrowFn.parameters) {
+        collect(param.name);
+    }
+    // 本体を収集
+    collect(arrowFn.body);
+    return refs;
+}
+// ---- 禁止構文ウォーカー -------------------------------------------------------
+/**
+ * ハンドラ本体 AST を走査し、FORBIDDEN_SYNTAX に該当するノードに対して
+ * ts.Diagnostic error を生成する（Req 4.8）。
+ *
+ * - AwaitExpression / YieldExpression: 無条件禁止
+ * - PostfixUnaryExpression: 演算子が ++ / -- のときのみ禁止
+ * - PrefixUnaryExpression:  演算子が ++ / -- のときのみ禁止（! や - は許可）
+ *
+ * @param handlerBody   ハンドラの ArrowFunction の body ノード
+ * @param sourceFile    対象ソースファイル（診断情報の位置用）
+ * @param diagnostics   結果を蓄積する配列（破壊的追加）
+ */
+function validateForbiddenSyntax(handlerBody, sourceFile, diagnostics) {
+    function visit(node) {
+        var _a;
+        if (!(0, whitelist_registry_1.isForbiddenSyntaxKind)(node.kind)) {
+            ts.forEachChild(node, visit);
+            return;
+        }
+        // PostfixUnaryExpression / PrefixUnaryExpression は ++ / -- のみ禁止
+        if (node.kind === ts.SyntaxKind.PostfixUnaryExpression ||
+            node.kind === ts.SyntaxKind.PrefixUnaryExpression) {
+            const unary = node;
+            const op = unary.operator;
+            if (op !== ts.SyntaxKind.PlusPlusToken &&
+                op !== ts.SyntaxKind.MinusMinusToken) {
+                // ! や - は許可 → 子ノードを継続走査
+                ts.forEachChild(node, visit);
+                return;
+            }
+            const opText = op === ts.SyntaxKind.PlusPlusToken ? '++' : '--';
+            const isPostfix = node.kind === ts.SyntaxKind.PostfixUnaryExpression;
+            const label = isPostfix ? `postfix ${opText}` : `prefix ${opText}`;
+            diagnostics.push(createErrorDiagnostic(node, `DraftOle DT001: Forbidden syntax '${label}' is not allowed in DraftOle handlers. ` +
+                `Use state.update(fn) or state.set(state.get() ${opText === '++' ? '+ 1' : '- 1'}) instead. See docs/api/handler-serialization.md`, sourceFile));
+            ts.forEachChild(node, visit);
+            return;
+        }
+        // AwaitExpression / YieldExpression / Decorator: 無条件禁止
+        const label = (_a = FORBIDDEN_SYNTAX_LABELS.get(node.kind)) !== null && _a !== void 0 ? _a : ts.SyntaxKind[node.kind];
+        const detail = node.kind === ts.SyntaxKind.Decorator
+            ? 'Decorators are not serializable.'
+            : 'async/await and yield are not serializable.';
+        diagnostics.push(createErrorDiagnostic(node, `DraftOle DT001: Forbidden syntax '${label}' is not allowed in DraftOle handlers. ` +
+            `${detail} See docs/api/handler-serialization.md`, sourceFile));
+        ts.forEachChild(node, visit);
+    }
+    visit(handlerBody);
+}
+/**
+ * ハンドラ内の識別子参照リストを検証し、unknown な識別子に対して
+ * `ts.Diagnostic` エラーを返す。
+ *
+ * - IdentifierRef の各要素を順番に判定する（全件走査）
+ * - unknown 検出時は即終了せず蓄積して全件返す（Req 2.7）
+ *
+ * @param ir            HandlerIR（paramName / localDecls を使用）
+ * @param refs          collectIdentifiers が返した IdentifierRef[]
+ * @param program       ts.Program（TypeChecker 取得に使用）
+ * @param sourceFile    対象ソースファイル（診断情報の位置用）
+ * @param extraWhitelist 追加ホワイトリスト識別子（DraftoleTransformerOptions.extraWhitelist）
+ * @param options       任意オプション (Task 3.3: helper-aware paramSymbols 等)
+ * @returns             unknown 識別子に対する ts.Diagnostic[]（PASS なら空配列）
+ */
+function validateHandler(ir, refs, program, sourceFile, extraWhitelist, options) {
+    const checker = program.getTypeChecker();
+    const diagnostics = [];
+    const extra = new Set(extraWhitelist !== null && extraWhitelist !== void 0 ? extraWhitelist : []);
+    const paramSymbols = options === null || options === void 0 ? void 0 : options.paramSymbols;
+    // ---- 禁止構文チェック (Req 4.8) -------------------------------------------
+    validateForbiddenSyntax(ir.node.body, sourceFile, diagnostics);
+    for (const ref of refs) {
+        const { name, node } = ref;
+        // ---- 0. nested callback scope ----------------------------------------
+        // refs が外部から収集されていて nested arrow 内の識別子を含む場合、
+        // その識別子は nested validator が処理するためここでスキップする。
+        if (findEnclosingNestedArrow(node, ir.node) !== undefined) {
+            continue;
+        }
+        // ---- 1. event-param --------------------------------------------------
+        if (isEventParam(name, ir)) {
+            continue;
+        }
+        // ---- 1b. helper-aware each-scope param Symbol (Task 3.3) -------------
+        // helper 経由で `.each(item => helper())` の helper body 内に現れる `item` 等は
+        // 通常 `event-param` / `local` / `builtin` のいずれにも該当せず、また
+        // `getTypeAtLocation` も State<T> 系として解決されないため、従来は
+        // unknown 識別子として誤拒否されていた。
+        // `tryEnclosingHelperRecovery` が helper-aware に構築した paramSymbols 集合
+        // (call-site `.each(itemParam)` の Symbol + helper body 内同名 Identifier の
+        // Symbol) と一致する場合は each-scope 内参照として許可する。
+        if (paramSymbols !== undefined && paramSymbols.size > 0) {
+            const sym = checker.getSymbolAtLocation(node);
+            if (sym !== undefined && paramSymbols.has(sym)) {
+                continue;
+            }
+        }
+        // ---- 2. local --------------------------------------------------------
+        if (isLocal(name, ir)) {
+            continue;
+        }
+        // ---- 3. builtin (BUILTIN_GLOBALS + console) --------------------------
+        if ((0, whitelist_registry_1.isBuiltinGlobal)(name)) {
+            continue;
+        }
+        // ---- 4. extraWhitelist -----------------------------------------------
+        if (extra.has(name)) {
+            continue;
+        }
+        // ---- 5. FORBIDDEN_GLOBALS (window / globalThis / undefined / ...) -----
+        if (FORBIDDEN_GLOBALS.has(name)) {
+            const hint = name === 'undefined'
+                ? `Use structural checks (e.g., 'arr.length === 0', '.includes(x)') or 'void 0' literal instead of '=== undefined' comparisons.`
+                : `Use state API or event parameters instead.`;
+            diagnostics.push(createErrorDiagnostic(node, `DraftOle DT001: Identifier '${name}' is forbidden in DraftOle handlers. ` +
+                `${hint} See docs/api/handler-serialization.md`, sourceFile));
+            continue;
+        }
+        // ---- 6. State/Computed/ScriptStateHandle 型判定 (TypeChecker) --------
+        const type = checker.getTypeAtLocation(node);
+        if (hasStateMarker(type, checker)) {
+            // State 系型と判定: 許可
+            continue;
+        }
+        // ---- 7. unknown → エラー蓄積 -----------------------------------------
+        diagnostics.push(createErrorDiagnostic(node, `DraftOle DT001: Identifier '${name}' is not allowed in DraftOle handlers. ` +
+            `Only state API references, event parameters, local declarations, and built-ins are permitted. ` +
+            `If '${name}' is a state, declare it via 'root.state(...)'. See docs/api/handler-serialization.md`, sourceFile));
+    }
+    // ---- 二次コールバック再帰検査 (Req 3.5) ------------------------------------
+    // outer ハンドラの AST ノードを走査して .map/.update/.each(ArrowFunction) を探し、
+    // 内部アローを同じホワイトリスト規則で再帰検査する。
+    // 内部アロー引数は event-param ではなく local として扱う。
+    // Task 3.3: helper-aware paramSymbols は inner-callback 再帰にも伝播する。
+    validateNestedCallbacks(ir, program, sourceFile, extra, diagnostics, checker, paramSymbols);
+    return diagnostics;
+}
+/**
+ * outer ハンドラの AST 全体を走査し、
+ * .map/.update/.each(ArrowFunction) パターンを見つけて再帰検査する。
+ *
+ * @param ir            outer HandlerIR（paramName / localDecls を含む）
+ * @param program       ts.Program
+ * @param sourceFile    対象ソースファイル
+ * @param extra         extraWhitelist の Set
+ * @param diagnostics   結果を蓄積する配列（破壊的追加）
+ * @param checker       TypeChecker
+ */
+function validateNestedCallbacks(ir, program, sourceFile, extra, diagnostics, checker, paramSymbols) {
+    function visitNode(node) {
+        // .map/.update/.each(ArrowFunction) パターンを検出
+        const nestedArrow = findNestedCallbackArrow(node);
+        if (nestedArrow !== undefined) {
+            // 内部アローのパラメータ名を収集して local として追加
+            const innerParamNames = getArrowParamNames(nestedArrow);
+            // outer の localDecls + event-param + inner params を合わせた localDecls を作成
+            const innerLocalDecls = new Set(ir.localDecls);
+            if (ir.paramName !== null) {
+                innerLocalDecls.add(ir.paramName);
+            }
+            for (const paramName of innerParamNames) {
+                innerLocalDecls.add(paramName);
+            }
+            // 内部アロー用の HandlerIR（paramName は null、inner params は全て local 扱い）
+            const innerIR = {
+                node: nestedArrow,
+                paramName: null,
+                paramTypeText: null,
+                localDecls: innerLocalDecls,
+                referencedIdentifiers: [],
+                isExpressionBody: !ts.isBlock(nestedArrow.body),
+            };
+            // 内部アローの識別子を収集（既に outer で見た識別子も再チェックする）
+            const innerRefs = collectNestedRefs(nestedArrow, checker, new Set());
+            // 内部アローを同規則で検査（diagnostics に直接追加）
+            // Task 3.3: helper-aware paramSymbols を inner-callback にも伝播する。
+            //   helper 経由 each-scope の `item` Symbol が、inner `.map(inner => item...)`
+            //   等の中で参照されても誤拒否されないようにするため。
+            const innerDiags = validateHandler(innerIR, innerRefs, program, sourceFile, [...extra], { paramSymbols });
+            for (const d of innerDiags) {
+                diagnostics.push(d);
+            }
+            // 内部アロー自体のさらなるネストは validateHandler 内の再帰呼び出しが処理するため、
+            // ここでは内部アローの子ノードを再帰的に visitNode しない
+            return;
+        }
+        ts.forEachChild(node, visitNode);
+    }
+    // outer ハンドラ本体を走査
+    visitNode(ir.node.body);
+}
+//# sourceMappingURL=whitelist-validator.js.map

package/dist/transformer/whitelist-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"whitelist-validator.js","sourceRoot":"","sources":["../../src/transformer/whitelist-validator.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA8YH,0CAwGC;AApfD,+CAAiC;AAEjC,6DAA8E;AAE9E,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,KAAK,EAAE,QAAQ,EAAE,MAAM;IACvB,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,aAAa;IACtD,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM;CAC9C,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,uBAAuB,GAAG;IAC9B,yBAAyB;IACzB,qBAAqB;IACrB,gBAAgB;CACjB,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;AAE3F;;GAEG;AACH,MAAM,UAAU,GAAG,IAAqC,CAAC;AAEzD,wEAAwE;AAExE;;;GAGG;AACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAwB;IAC7D,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,EAAE,OAAO,CAAC;IACxC,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,EAAE,OAAO,CAAC;IACxC,CAAC,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAAE,iBAAiB,CAAC;IACzD,CAAC,EAAE,CAAC,UAAU,CAAC,qBAAqB,EAAE,gBAAgB,CAAC;IACvD,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,WAAW,CAAC;CACvC,CAAC,CAAC;AAEH,6EAA6E;AAE7E;;;;;;;;;;GAUG;AACH,SAAS,cAAc,CAAC,IAAa,EAAE,OAAuB;;IAC5D,0BAA0B;IAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC5B,+BAA+B;QAC/B,KAAK,MAAM,SAAS,IAAI,uBAAuB,EAAE,CAAC;YAChD,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC3F,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,+CAA+C;QAC/C,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5C,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,MAAM,aAAa,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,aAAa,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACzD,iDAAiD;QACjD,MAAM,aAAa,GAAG,OAAO,CAAC,yBAAyB,CACrD,aAAa,EACb,MAAA,MAAA,aAAa,CAAC,gBAAgB,mCAAI,MAAA,aAAa,CAAC,YAAY,0CAAG,CAAC,CAAC,mCAAK,EAAc,CACrF,CAAC;QACF,IAAI,CAAC,aAAa,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;YACjD,CAAC,aAAa,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7D,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,iDAAiD;IACjD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC5C,IACE,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC3B,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC;QAC9B,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC;QACjC,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC,EACnC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,IAAa,EACb,WAAmB,EACnB,UAAyB;IAEzB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IACzC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,MAAM;QACN,WAAW;QACX,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;QACrC,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,sBAAsB;KAC/B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,IAAY,EAAE,EAAa;IAC/C,OAAO,EAAE,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC,SAAS,CAAC;AACxD,CAAC;AAED;;GAEG;AACH,SAAS,OAAO,CAAC,IAAY,EAAE,EAAa;IAC1C,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,SAAS,uBAAuB,CAC9B,IAAa;IAEb,wBAAwB;IACxB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC;IAEtB,+BAA+B;IAC/B,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC;IACjC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAE3D,6BAA6B;IAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAClC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAE/D,0CAA0C;IAC1C,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;QACrC,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,wBAAwB,CAC/B,IAAa,EACb,UAA4B;IAE5B,yDAAyD;IACzD,MAAM,YAAY,GAAuB,EAAE,CAAC;IAE5C,SAAS,aAAa,CAAC,CAAU;QAC/B,MAAM,KAAK,GAAG,uBAAuB,CAAC,CAAC,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACzB,yCAAyC;YACzC,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC;IACpC,CAAC;IACD,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAE/B,kCAAkC;IAClC,KAAK,MAAM,WAAW,IAAI,YAAY,EAAE,CAAC;QACvC,IAAI,cAAc,CAAC,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;YACtC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,MAAe,EAAE,QAAiB;IACxD,IAAI,OAAO,GAAwB,MAAM,CAAC;IAC1C,OAAO,OAAO,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,OAAO,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACtC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,OAAyB;IACnD,OAAO,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAClC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QACrB,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,OAAyB,EACzB,OAAuB,EACvB,SAAsB;IAEtB,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,SAAS,CAAC,CAAC;IAExC,SAAS,OAAO,CAAC,IAAa;QAC5B,yCAAyC;QACzC,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,OAAO;YAAE,OAAO;QAEzD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO;YAC1E,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO;YAEpE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO;YAC3B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAEf,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;YAC5D,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC;IAED,SAAS;IACT,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,QAAQ;IACR,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,yEAAyE;AAEzE;;;;;;;;;;;GAWG;AACH,SAAS,uBAAuB,CAC9B,WAAoB,EACpB,UAAyB,EACzB,WAA4B;IAE5B,SAAS,KAAK,CAAC,IAAa;;QAC1B,IAAI,CAAC,IAAA,0CAAqB,EAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,gEAAgE;QAChE,IACE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB;YAClD,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB,EACjD,CAAC;YACD,MAAM,KAAK,GAAG,IAA4D,CAAC;YAC3E,MAAM,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC;YAC1B,IACE,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;gBAClC,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,EACpC,CAAC;gBACD,wBAAwB;gBACxB,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAChE,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC;YACrE,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,MAAM,EAAE,CAAC;YACnE,WAAW,CAAC,IAAI,CACd,qBAAqB,CACnB,IAAI,EACJ,qCAAqC,KAAK,yCAAyC;gBACjF,iDAAiD,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,kDAAkD,EACpI,UAAU,CACX,CACF,CAAC;YACF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,uDAAuD;QACvD,MAAM,KAAK,GAAG,MAAA,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,mCAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,MAAM,MAAM,GACV,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,SAAS;YACnC,CAAC,CAAC,kCAAkC;YACpC,CAAC,CAAC,6CAA6C,CAAC;QACpD,WAAW,CAAC,IAAI,CACd,qBAAqB,CACnB,IAAI,EACJ,qCAAqC,KAAK,yCAAyC;YACjF,GAAG,MAAM,wCAAwC,EACnD,UAAU,CACX,CACF,CAAC;QACF,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,CAAC;AACrB,CAAC;AAuBD;;;;;;;;;;;;;;GAcG;AACH,SAAgB,eAAe,CAC7B,EAAa,EACb,IAAqB,EACrB,OAAmB,EACnB,UAAyB,EACzB,cAAkC,EAClC,OAAgC;IAEhC,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,cAAc,aAAd,cAAc,cAAd,cAAc,GAAI,EAAE,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,YAAY,CAAC;IAE3C,sEAAsE;IACtE,uBAAuB,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,WAAW,CAAC,CAAC;IAE/D,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;QAE3B,yEAAyE;QACzE,6CAA6C;QAC7C,4CAA4C;QAC5C,IAAI,wBAAwB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAC1D,SAAS;QACX,CAAC;QAED,yEAAyE;QACzE,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QAED,yEAAyE;QACzE,qEAAqE;QACrE,uDAAuD;QACvD,kDAAkD;QAClD,0BAA0B;QAC1B,oEAAoE;QACpE,wEAAwE;QACxE,0CAA0C;QAC1C,IAAI,YAAY,KAAK,SAAS,IAAI,YAAY,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACxD,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,GAAG,KAAK,SAAS,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/C,SAAS;YACX,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,IAAI,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC;YACtB,SAAS;QACX,CAAC;QAED,yEAAyE;QACzE,IAAI,IAAA,oCAAe,EAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,SAAS;QACX,CAAC;QAED,yEAAyE;QACzE,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,SAAS;QACX,CAAC;QAED,0EAA0E;QAC1E,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,KAAK,WAAW;gBAC/B,CAAC,CAAC,8HAA8H;gBAChI,CAAC,CAAC,4CAA4C,CAAC;YACjD,WAAW,CAAC,IAAI,CACd,qBAAqB,CACnB,IAAI,EACJ,+BAA+B,IAAI,uCAAuC;gBACxE,GAAG,IAAI,wCAAwC,EACjD,UAAU,CACX,CACF,CAAC;YACF,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;YAClC,kBAAkB;YAClB,SAAS;QACX,CAAC;QAED,oEAAoE;QACpE,WAAW,CAAC,IAAI,CACd,qBAAqB,CACnB,IAAI,EACJ,+BAA+B,IAAI,yCAAyC;YAC1E,gGAAgG;YAChG,OAAO,IAAI,uFAAuF,EACpG,UAAU,CACX,CACF,CAAC;IACJ,CAAC;IAED,mEAAmE;IACnE,kEAAkE;IAClE,4BAA4B;IAC5B,yCAAyC;IACzC,iEAAiE;IACjE,uBAAuB,CAAC,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IAE5F,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,uBAAuB,CAC9B,EAAa,EACb,OAAmB,EACnB,UAAyB,EACzB,KAAkB,EAClB,WAA4B,EAC5B,OAAuB,EACvB,YAAgD;IAEhD,SAAS,SAAS,CAAC,IAAa;QAC9B,4CAA4C;QAC5C,MAAM,WAAW,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,gCAAgC;YAChC,MAAM,eAAe,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;YAExD,uEAAuE;YACvE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAS,EAAE,CAAC,UAAU,CAAC,CAAC;YACvD,IAAI,EAAE,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;gBAC1B,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACpC,CAAC;YACD,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;gBACxC,eAAe,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACjC,CAAC;YAED,gEAAgE;YAChE,MAAM,OAAO,GAAc;gBACzB,IAAI,EAAE,WAAW;gBACjB,SAAS,EAAE,IAAI;gBACf,aAAa,EAAE,IAAI;gBACnB,UAAU,EAAE,eAAe;gBAC3B,qBAAqB,EAAE,EAAE;gBACzB,gBAAgB,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;aAChD,CAAC;YAEF,wCAAwC;YACxC,MAAM,SAAS,GAAG,iBAAiB,CAAC,WAAW,EAAE,OAAO,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;YAE7E,kCAAkC;YAClC,+DAA+D;YAC/D,0EAA0E;YAC1E,8BAA8B;YAC9B,MAAM,UAAU,GAAG,eAAe,CAChC,OAAO,EACP,SAAS,EACT,OAAO,EACP,UAAU,EACV,CAAC,GAAG,KAAK,CAAC,EACV,EAAE,YAAY,EAAE,CACjB,CAAC;YACF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;YAED,oDAAoD;YACpD,oCAAoC;YACpC,OAAO;QACT,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnC,CAAC;IAED,kBAAkB;IAClB,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}