draft-ole 0.9.0

package/dist/transformer/identifier-collector.js

@@ -0,0 +1,184 @@
+"use strict";
+/**
+ * identifier-collector: `HandlerIR` → ルート識別子の `IdentifierRef[]`
+ *
+ * Task 4.3:
+ * - HandlerIR を入力にハンドラ本体内のルート識別子一覧を返す
+ * - プロパティアクセスはルートのみ拾い、チェーン先は収集しない
+ * - paramName に一致する識別子は `event-param`
+ * - localDecls に含まれる識別子は `local`
+ * - それ以外は `unknown`
+ * - 同名識別子は最初の出現のみ（dedupe）
+ *
+ * 対応 requirements: 2.3, 3.4
+ */
+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.collectIdentifiers = collectIdentifiers;
+const ts = __importStar(require("typescript"));
+// ---- ヘルパー ----------------------------------------------------------------
+/**
+ * 識別子ノードが PropertyAccessExpression のプロパティ名側（右辺）かどうか判定する。
+ * `a.b` の `b` は右辺、`a` は左辺（ルート候補）。
+ */
+function isPropertyAccessRhs(node) {
+    const parent = node.parent;
+    if (ts.isPropertyAccessExpression(parent)) {
+        // parent.name === node ならプロパティ名側（右辺）
+        return parent.name === node;
+    }
+    return false;
+}
+/**
+ * 識別子ノードがオブジェクトリテラルのプロパティキー側かどうか判定する。
+ * `{ text: txt, done: false }` の `text` や `done` はプロパティキーなのでスキップする。
+ * ただし短縮プロパティ記法 `{ txt }` の場合は値側として収集する。
+ */
+function isObjectLiteralPropertyKey(node) {
+    const parent = node.parent;
+    if (ts.isPropertyAssignment(parent)) {
+        // parent.name === node かつ ShorthandPropertyAssignment でない場合はキー
+        return parent.name === node;
+    }
+    return false;
+}
+/**
+ * 識別子ノードが型位置（型注釈・型アサーション・型パラメータ等）にあるかを判定する。
+ * `(e as KeyboardEvent)` の `KeyboardEvent` や `: HTMLInputElement` の `HTMLInputElement`
+ * はランタイムには存在しないため、ホワイトリスト検査の対象外とする（Req 3.1）。
+ */
+function isInTypePosition(node) {
+    let current = node;
+    while (current.parent !== undefined) {
+        const parent = current.parent;
+        // AsExpression の type 側
+        if (ts.isAsExpression(parent) && parent.type === current)
+            return true;
+        // TypeAssertion の type 側 (<Type>expr)
+        if (ts.isTypeAssertionExpression(parent) && parent.type === current)
+            return true;
+        // TypeReference の typeName
+        if (ts.isTypeReferenceNode(parent))
+            return true;
+        // Parameter の type 注釈
+        if (ts.isParameter(parent) && parent.type === current)
+            return true;
+        // VariableDeclaration の type 注釈
+        if (ts.isVariableDeclaration(parent) && parent.type === current)
+            return true;
+        // 純粋型ノード（TypeNode 系）の中
+        if (ts.isFunctionTypeNode(parent) ||
+            ts.isConstructorTypeNode(parent) ||
+            ts.isArrayTypeNode(parent) ||
+            ts.isUnionTypeNode(parent) ||
+            ts.isIntersectionTypeNode(parent) ||
+            ts.isParenthesizedTypeNode(parent) ||
+            ts.isTypeLiteralNode(parent) ||
+            ts.isMappedTypeNode(parent)) {
+            return true;
+        }
+        current = parent;
+    }
+    return false;
+}
+/**
+ * IdentifierRef の kind を決定する。
+ */
+function resolveKind(name, paramName, localDecls) {
+    if (paramName !== null && name === paramName) {
+        return { tag: 'event-param' };
+    }
+    if (localDecls.has(name)) {
+        return { tag: 'local' };
+    }
+    return { tag: 'unknown' };
+}
+// ---- メイン実装 --------------------------------------------------------------
+/**
+ * `HandlerIR` からハンドラ本体内のルート識別子一覧を収集して返す。
+ *
+ * - プロパティアクセス（`a.b.c`）ではルート（`a`）のみ収集し、`b`・`c` は除外する
+ * - 同名識別子は最初の出現のみを返す（名前ベースで dedupe）
+ * - `HandlerIR.paramName` に一致するものは `event-param`
+ * - `HandlerIR.localDecls` に含まれるものは `local`
+ * - それ以外は `unknown`（`whitelist-validator` が後続で分類する）
+ *
+ * @param ir  `extractHandlerIR` が返した `HandlerIR`
+ * @returns   ルート識別子の `IdentifierRef[]`
+ */
+function collectIdentifiers(ir) {
+    const { node: arrowFn, paramName, localDecls } = ir;
+    const body = arrowFn.body;
+    const seen = new Set();
+    const result = [];
+    function visit(node) {
+        if (ts.isIdentifier(node)) {
+            // プロパティアクセスの右辺（チェーン先）はスキップ
+            if (isPropertyAccessRhs(node)) {
+                return;
+            }
+            // オブジェクトリテラルのプロパティキー（{ text: ..., done: ... } の text/done）はスキップ
+            if (isObjectLiteralPropertyKey(node)) {
+                return;
+            }
+            // 型位置（型アサーション・型注釈・TypeReference 等）の識別子はスキップ
+            if (isInTypePosition(node)) {
+                return;
+            }
+            const name = node.text;
+            // 重複をスキップ（名前ベース dedupe）
+            if (seen.has(name)) {
+                return;
+            }
+            seen.add(name);
+            const kind = resolveKind(name, paramName, localDecls);
+            result.push({
+                name,
+                node,
+                symbol: undefined,
+                kind,
+            });
+            return;
+        }
+        ts.forEachChild(node, visit);
+    }
+    // パラメータ宣言も走査することで paramName 識別子を収集する
+    for (const param of arrowFn.parameters) {
+        visit(param.name);
+    }
+    visit(body);
+    return result;
+}
+//# sourceMappingURL=identifier-collector.js.map

package/dist/transformer/identifier-collector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identifier-collector.js","sourceRoot":"","sources":["../../src/transformer/identifier-collector.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsGH,gDAkDC;AAtJD,+CAAiC;AAGjC,6EAA6E;AAE7E;;;GAGG;AACH,SAAS,mBAAmB,CAAC,IAAmB;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,qCAAqC;QACrC,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,0BAA0B,CAAC,IAAmB;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;QACpC,+DAA+D;QAC/D,OAAO,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB,CAAC,IAAmB;IAC3C,IAAI,OAAO,GAAY,IAAI,CAAC;IAC5B,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC9B,wBAAwB;QACxB,IAAI,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACtE,sCAAsC;QACtC,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACjF,2BAA2B;QAC3B,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,sBAAsB;QACtB,IAAI,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QACnE,gCAAgC;QAChC,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QAC7E,uBAAuB;QACvB,IACE,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC;YAC7B,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAC1B,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;YAC1B,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;YACjC,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC;YAClC,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC;YAC5B,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAC3B,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAClB,IAAY,EACZ,SAAwB,EACxB,UAAuB;IAEvB,IAAI,SAAS,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO,EAAE,GAAG,EAAE,aAAa,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;AAC5B,CAAC;AAED,4EAA4E;AAE5E;;;;;;;;;;;GAWG;AACH,SAAgB,kBAAkB,CAAC,EAAa;IAC9C,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;IACpD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;IAE1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAAoB,EAAE,CAAC;IAEnC,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,2BAA2B;YAC3B,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO;YACT,CAAC;YACD,gEAAgE;YAChE,IAAI,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;gBACrC,OAAO;YACT,CAAC;YACD,4CAA4C;YAC5C,IAAI,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,OAAO;YACT,CAAC;YAED,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YAEvB,wBAAwB;YACxB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,OAAO;YACT,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAEf,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI;gBACJ,MAAM,EAAE,SAAS;gBACjB,IAAI;aACL,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,qCAAqC;IACrC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACvC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC;IAEZ,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/transformer/index.d.ts

@@ -0,0 +1,56 @@
+/**
+ * draftole-transformer エントリポイント
+ *
+ * Task 6.3: transformer 本体への結線
+ *
+ * パイプライン:
+ *   call-detector → ir-extractor → identifier-collector
+ *   → whitelist-validator → handler-serializer → command-injector
+ *
+ * ファイル単位で ts.Diagnostic[] を集約し、1 件でも error があれば
+ * 当該ファイルの AST 書き換えを抑制する。
+ *
+ * 対応 requirements: 2.7, 4.1, 4.2, 5.1, 5.3, 5.4
+ */
+import * as ts from 'typescript';
+export interface DraftoleTransformerOptions {
+    /** 追加のホワイトリスト識別子（利用者側拡張、通常不要）*/
+    extraWhitelist?: readonly string[];
+    /** デバッグ出力 */
+    debug?: boolean;
+    /**
+     * true の場合、ヘルパー採否診断 (DT012) を Warning カテゴリで発行する。
+     * 既定 false（Suggestion）。Error ではないため、いずれもファイル全体の
+     * rewrite 抑制 (`hasFileError`) には寄与しない。
+     * 仕様: transformer-inline-recovery-spec design §6.1
+     */
+    strictHelpers?: boolean;
+    /**
+     * 集約された `ts.Diagnostic` を受け取るコールバック。テスト用途。
+     * ファイル単位で全診断を蓄積した時点で 1 度だけ呼ばれる。
+     */
+    onDiagnostics?: (diagnostics: readonly ts.Diagnostic[], sourceFile: ts.SourceFile) => void;
+}
+/**
+ * draftole TypeScript transformer.
+ *
+ * パイプライン:
+ *   createCallDetector(program) → detectResult
+ *   for each OnCallInfo:
+ *     extractHandlerIR(arrowFn, sourceFile) → HandlerIRResult
+ *     collectIdentifiers(ir) → IdentifierRef[]
+ *     validateHandler(ir, refs, program, sourceFile, extraWhitelist) → ts.Diagnostic[]
+ *     if no errors:
+ *       buildStateIdMap(arrowFn, checker) → stateIdMap
+ *       serializeHandler({ ir, stateIdMap }) → SerializedHandler
+ *       injectCommand(callExpr, serialized) → new CallExpression
+ *
+ * ファイル単位で ts.Diagnostic[] を集約。
+ * 1 件でも error があれば、ファイル全体の AST 書き換えを抑制する。
+ *
+ * @param program  ts.Program インスタンス（TypeChecker 取得に使用）
+ * @param options  任意オプション
+ * @returns        ts.TransformerFactory<ts.SourceFile>
+ */
+export default function draftoleTransformer(program: ts.Program, options?: DraftoleTransformerOptions): ts.TransformerFactory<ts.SourceFile>;
+//# sourceMappingURL=index.d.ts.map

package/dist/transformer/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/transformer/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAiCjC,MAAM,WAAW,0BAA0B;IACzC,gCAAgC;IAChC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,aAAa;IACb,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB;;;;;OAKG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB;;;OAGG;IACH,aAAa,CAAC,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC;CAC5F;AAgID;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,OAAO,UAAU,mBAAmB,CACzC,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,OAAO,CAAC,EAAE,0BAA0B,GACnC,EAAE,CAAC,kBAAkB,CAAC,EAAE,CAAC,UAAU,CAAC,CA6JtC"}

package/dist/transformer/index.js

@@ -0,0 +1,333 @@
+"use strict";
+/**
+ * draftole-transformer エントリポイント
+ *
+ * Task 6.3: transformer 本体への結線
+ *
+ * パイプライン:
+ *   call-detector → ir-extractor → identifier-collector
+ *   → whitelist-validator → handler-serializer → command-injector
+ *
+ * ファイル単位で ts.Diagnostic[] を集約し、1 件でも error があれば
+ * 当該ファイルの AST 書き換えを抑制する。
+ *
+ * 対応 requirements: 2.7, 4.1, 4.2, 5.1, 5.3, 5.4
+ */
+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.default = draftoleTransformer;
+const ts = __importStar(require("typescript"));
+const call_detector_1 = require("./call-detector");
+const command_injector_1 = require("./command-injector");
+const diagnostic_reporter_1 = require("./diagnostic-reporter");
+const each_scope_branch_1 = require("./each-scope-branch");
+const format_diagnostics_js_1 = require("./format-diagnostics.js");
+const handler_ir_extractor_1 = require("./handler-ir-extractor");
+const handler_serializer_1 = require("./handler-serializer");
+const helper_context_resolver_1 = require("./helper-context-resolver");
+const identifier_collector_1 = require("./identifier-collector");
+const inline_recovery_1 = require("./inline-recovery");
+const label_injector_1 = require("./label-injector");
+const state_id_fallback_1 = require("./state-id-fallback");
+const theme_class_detector_1 = require("./theme-class-detector");
+const varname_resolver_1 = require("./varname-resolver");
+const whitelist_validator_1 = require("./whitelist-validator");
+// ---- フィーチャーフラグ ------------------------------------------------------
+/**
+ * Task 6.3: パイプライン結線フィーチャーフラグ。
+ *
+ * Feature Flag Protocol に従い:
+ * - false: 素通し（従来動作）
+ * - true: call-detector → ... → command-injector パイプラインを有効化
+ *
+ * GREEN フェーズで true に設定し、テスト通過後にフラグを削除して直書きにする。
+ */
+const PIPELINE_ENABLED = true;
+// ---- module-private helpers (transformer-index-pipeline-split task 4.1) -----
+/**
+ * `serializeHandler` 入力を `PerCallContext` から構築する。
+ * recovery / each-scope 分岐の outcome から stateIdMap / inlineMap / eachScopeParams を抽出する。
+ */
+function serializeInputFromContext(ctx) {
+    const ir = ctx.extraction.ir;
+    if (ctx.resolution.kind === 'recovery') {
+        return {
+            ir,
+            stateIdMap: ctx.resolution.outcome.stateIdMap,
+            inlineMap: ctx.resolution.outcome.inlineMap,
+        };
+    }
+    if (ctx.resolution.kind === 'each-scope') {
+        return {
+            ir,
+            stateIdMap: ctx.resolution.outcome.stateIdMap,
+            eachScopeParams: ctx.resolution.outcome.eachScopeParams,
+        };
+    }
+    return { ir, stateIdMap: new Map() };
+}
+/**
+ * 全 phase outcome の diagnostics を結合する。
+ * - recovery 分岐: composeRecoveryDiagnostics が既に元の validation と DT012 を mix 済みのため
+ *   ctx.validation.diagnostics は二重発行しない
+ * - each-scope 分岐: validation diagnostics (warnings) + each-scope diagnostics の両方を発行
+ * - skipped: preCheck + extraction + resolution の独自 diagnostics のみ
+ */
+function collectAllDiagnostics(ctx) {
+    const base = [...ctx.preCheck.diagnostics, ...ctx.extraction.diagnostics];
+    if (ctx.resolution.kind === 'each-scope') {
+        return [...base, ...ctx.validation.diagnostics, ...ctx.resolution.outcome.diagnostics];
+    }
+    if (ctx.resolution.kind === 'recovery') {
+        return [...base, ...ctx.resolution.outcome.diagnostics];
+    }
+    return [...base, ...ctx.resolution.diagnostics];
+}
+/** serialize + inject を実行すべきかを判定する。失敗・skip 経路では false。 */
+function shouldSerialize(ctx) {
+    if (ctx.resolution.kind === 'skipped')
+        return false;
+    if (ctx.resolution.kind === 'recovery')
+        return ctx.resolution.outcome.success;
+    return true;
+}
+/**
+ * 匿名 theme.class(...) 呼び出しを検出して varName ラベルを付与し、rewriteMap に
+ * 書き換えを追加する。__draftole_label__ import 注入が必要なら moduleSpecifier を返す。
+ * (旧実装で行っていた既存 ImportDeclaration の 1:1 更新は emit 経路で binder に拾われず
+ *  ReferenceError を引き起こすため、新規 import 文を別途追加する。)
+ */
+function processThemeClassLabeling(sourceFile, checker, rewriteMap, fileDiagnostics) {
+    const themeClassCalls = (0, theme_class_detector_1.detectThemeClassCalls)(sourceFile, checker);
+    const alreadyHasLabelImport = (0, label_injector_1.hasLabelImport)(sourceFile);
+    const labelImportSite = (0, label_injector_1.findDraftOleImport)(sourceFile);
+    let needsLabelImport = false;
+    let labelImportModuleSpecifier;
+    for (const { callExpr } of themeClassCalls) {
+        const varName = (0, varname_resolver_1.resolveVarName)(callExpr, sourceFile, checker);
+        if (varName === undefined)
+            continue;
+        if (!alreadyHasLabelImport && labelImportSite === undefined) {
+            fileDiagnostics.push((0, diagnostic_reporter_1.createDiagnostic)('DT013', callExpr, sourceFile, {
+                identifierName: varName,
+                fixExample: `import { Root } from 'draft-ole';`,
+            }));
+            continue;
+        }
+        rewriteMap.set(callExpr, (0, label_injector_1.buildLabeledCall)(callExpr, varName));
+        if (!alreadyHasLabelImport) {
+            needsLabelImport = true;
+            if (labelImportSite !== undefined) {
+                labelImportModuleSpecifier = labelImportSite.moduleSpecifier;
+            }
+        }
+    }
+    return { needsLabelImport, labelImportModuleSpecifier };
+}
+/**
+ * SourceFile 先頭に __draftole_label__ の取り込み文を prepend する。
+ * CommonJS 出力では require 形式 (TS の ES→CJS modules transformer による
+ * 識別子置換が transformer 由来の新規シンボルを認識しないため)、
+ * ESM 出力では ImportDeclaration を生成する。
+ */
+function prependLabelImport(visited, moduleSpecifier, moduleKind) {
+    const isCjs = moduleKind === ts.ModuleKind.CommonJS ||
+        moduleKind === ts.ModuleKind.Node16 ||
+        moduleKind === ts.ModuleKind.NodeNext;
+    const newStmt = isCjs
+        ? (0, label_injector_1.createLabelRequireStatement)(moduleSpecifier)
+        : (0, label_injector_1.createLabelImportDeclaration)(moduleSpecifier);
+    return ts.factory.updateSourceFile(visited, [newStmt, ...visited.statements]);
+}
+// ---- ファクトリ関数 ---------------------------------------------------------
+/**
+ * draftole TypeScript transformer.
+ *
+ * パイプライン:
+ *   createCallDetector(program) → detectResult
+ *   for each OnCallInfo:
+ *     extractHandlerIR(arrowFn, sourceFile) → HandlerIRResult
+ *     collectIdentifiers(ir) → IdentifierRef[]
+ *     validateHandler(ir, refs, program, sourceFile, extraWhitelist) → ts.Diagnostic[]
+ *     if no errors:
+ *       buildStateIdMap(arrowFn, checker) → stateIdMap
+ *       serializeHandler({ ir, stateIdMap }) → SerializedHandler
+ *       injectCommand(callExpr, serialized) → new CallExpression
+ *
+ * ファイル単位で ts.Diagnostic[] を集約。
+ * 1 件でも error があれば、ファイル全体の AST 書き換えを抑制する。
+ *
+ * @param program  ts.Program インスタンス（TypeChecker 取得に使用）
+ * @param options  任意オプション
+ * @returns        ts.TransformerFactory<ts.SourceFile>
+ */
+function draftoleTransformer(program, options) {
+    var _a;
+    // program が undefined（pass-through テスト等）または PIPELINE_ENABLED === false: 素通し
+    if (!PIPELINE_ENABLED || program == null) {
+        return (_context) => (sourceFile) => sourceFile;
+    }
+    const checker = program.getTypeChecker();
+    const detect = (0, call_detector_1.createCallDetector)(program);
+    const extraWhitelist = options === null || options === void 0 ? void 0 : options.extraWhitelist;
+    const debugMode = (_a = options === null || options === void 0 ? void 0 : options.debug) !== null && _a !== void 0 ? _a : false;
+    const onDiagnostics = options === null || options === void 0 ? void 0 : options.onDiagnostics;
+    return (context) => (sourceFile) => {
+        var _a, _b;
+        // ---- Step 1: call-detector で .on(event, arrow) を検出 -----------------
+        const detectResult = detect(sourceFile);
+        // call-detector のエラー診断を収集
+        const fileDiagnostics = [...detectResult.diagnostics];
+        if (debugMode) {
+            console.log(`[draftole-transformer] ${sourceFile.fileName}: detected=${detectResult.detected.length}`);
+        }
+        // ---- Step 1.5: ソースファイルスキャンで StateIdFallback を構築 ------------
+        // StateRegistry.allocateId() の実行順を静的に再現し、型システムに
+        // 文字列リテラル型がない場合のフォールバックとして使用する。
+        // Task 2.2: フォールバック責務を `state-id-fallback.ts` へ局所化。
+        // 本ファイルは pass-through adapter のみを担う（フォールバック注入経路の差し替え）。
+        const fallback = (0, state_id_fallback_1.createSourceStateNameFallback)(sourceFile, checker);
+        // ---- Step 2: 各 OnCallInfo に対して IR 抽出 → 検証 → シリアライズ --------
+        // エラーなしの場合のみ書き換え用マップを構築する
+        const rewriteMap = new Map();
+        const base = {
+            program,
+            checker,
+            sourceFile,
+            extraWhitelist: extraWhitelist !== null && extraWhitelist !== void 0 ? extraWhitelist : [],
+            strictHelpers: (_a = options === null || options === void 0 ? void 0 : options.strictHelpers) !== null && _a !== void 0 ? _a : false,
+            helperCallSites: [],
+            fallback,
+            debug: debugMode,
+        };
+        for (const callInfo of detectResult.detected) {
+            // Phase 1: helper-aware pre-check
+            const preCheck = (0, helper_context_resolver_1.runHelperAwarePreCheck)(base, callInfo);
+            if (preCheck.diagnostics.some((d) => d.category === ts.DiagnosticCategory.Error)) {
+                fileDiagnostics.push(...preCheck.diagnostics);
+                continue;
+            }
+            // Phase 2a: IR extraction (ir-undefined は早期 skip)
+            const extractResult = (0, handler_ir_extractor_1.extractHandlerIR)(callInfo.handlerArg, sourceFile);
+            if (extractResult.ir === undefined) {
+                if (extractResult.warning !== undefined)
+                    fileDiagnostics.push(extractResult.warning);
+                continue;
+            }
+            const extraction = {
+                ir: extractResult.ir,
+                diagnostics: extractResult.warning !== undefined ? [extractResult.warning] : [],
+            };
+            // Phase 2b: identifier collection
+            const refs = (0, identifier_collector_1.collectIdentifiers)(extraction.ir);
+            const identifiers = { refs };
+            // Phase 3: whitelist validation (helper-aware 経路では paramSymbols を伝播)
+            const validationDiags = (0, whitelist_validator_1.validateHandler)(extraction.ir, refs, program, sourceFile, extraWhitelist, preCheck.helperPathUsed
+                ? { paramSymbols: preCheck.inheritedEachParamSymbols }
+                : undefined);
+            const validation = {
+                hasErrors: validationDiags.some((d) => d.category === ts.DiagnosticCategory.Error),
+                diagnostics: validationDiags,
+            };
+            // Phase 4: state resolution branch (recovery vs each-scope)
+            const resolution = validation.hasErrors
+                ? { kind: 'recovery', outcome: (0, inline_recovery_1.runInlineRecoveryBranch)(base, callInfo, extraction.ir, validation) }
+                : { kind: 'each-scope', outcome: (0, each_scope_branch_1.runEachScopeBranch)(base, callInfo, preCheck) };
+            // PerCallContext を assembled-at-end pattern で組み立て
+            const ctx = {
+                base, callInfo, preCheck, extraction, identifiers, validation, resolution,
+            };
+            // 全 phase の diagnostics を集約 (closure capture 廃止)
+            fileDiagnostics.push(...collectAllDiagnostics(ctx));
+            if (!shouldSerialize(ctx))
+                continue;
+            // Phase 5: serialize + inject
+            let serialized;
+            try {
+                serialized = (0, handler_serializer_1.serializeHandler)(serializeInputFromContext(ctx));
+            }
+            catch (e) {
+                if (debugMode)
+                    console.error('[draftole-transformer] serializeHandler failed:', e);
+                continue;
+            }
+            if (debugMode) {
+                console.log(`[draftole-transformer] serialized: code="${serialized.code}", params=${JSON.stringify(serialized.params)}`);
+            }
+            rewriteMap.set(callInfo.callExpr, (0, command_injector_1.injectCommand)(callInfo.callExpr, serialized));
+        }
+        // ---- Step 2.5: theme.class() varName ラベリング ------------------------
+        const { needsLabelImport, labelImportModuleSpecifier } = processThemeClassLabeling(sourceFile, checker, rewriteMap, fileDiagnostics);
+        // ---- Step 2.9: 観測用コールバック（テスト等）---------------------------
+        if (onDiagnostics !== undefined) {
+            onDiagnostics(fileDiagnostics, sourceFile);
+        }
+        else if (fileDiagnostics.length > 0) {
+            (0, format_diagnostics_js_1.writeTransformerDiagnostics)(fileDiagnostics, process.stderr);
+        }
+        // ---- Step 3: error があればファイル全体の書き換えを抑制 -----------------
+        // DT014 (enclosing-helper rejection) は当該 handler のみスキップ済みなので除外する。
+        const hasFileError = fileDiagnostics.some((d) => d.category === ts.DiagnosticCategory.Error && d.code !== helper_context_resolver_1.DT014_CODE);
+        if (hasFileError) {
+            if (debugMode) {
+                console.log(`[draftole-transformer] ${sourceFile.fileName}: has errors, suppressing all rewrites`);
+            }
+            return sourceFile;
+        }
+        // ---- Step 4: rewriteMap に従って AST 書き換えを適用 ---------------------
+        if (rewriteMap.size === 0 && !needsLabelImport)
+            return sourceFile;
+        // チェーン内の内側 .on() 呼び出しを到達可能にするため replacement の children も
+        // 再帰的に visit する。theme.class ラベル注入では replacement に元の node 自身が
+        // 子として含まれるため、再帰前にキーを削除して無限再帰を防ぐ。
+        function visitor(node) {
+            if (ts.isCallExpression(node)) {
+                const replacement = rewriteMap.get(node);
+                if (replacement !== undefined) {
+                    rewriteMap.delete(node);
+                    return ts.visitEachChild(replacement, visitor, context);
+                }
+            }
+            return ts.visitEachChild(node, visitor, context);
+        }
+        const visited = ts.visitEachChild(sourceFile, visitor, context);
+        if (needsLabelImport && labelImportModuleSpecifier !== undefined) {
+            const moduleKind = (_b = program.getCompilerOptions().module) !== null && _b !== void 0 ? _b : ts.ModuleKind.ESNext;
+            return prependLabelImport(visited, labelImportModuleSpecifier, moduleKind);
+        }
+        return visited;
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/transformer/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/transformer/index.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyMH,sCAgKC;AAvWD,+CAAiC;AACjC,mDAAqD;AACrD,yDAAmD;AACnD,+DAAyD;AACzD,2DAAyD;AACzD,mEAAsE;AACtE,iEAA0D;AAC1D,6DAAwD;AACxD,uEAGmC;AACnC,iEAA4D;AAC5D,uDAA4D;AAC5D,qDAM0B;AAM1B,2DAAoE;AACpE,iEAA+D;AAC/D,yDAAoD;AACpD,+DAAwD;AAuBxD,wEAAwE;AAExE;;;;;;;;GAQG;AACH,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAE9B,gFAAgF;AAEhF;;;GAGG;AACH,SAAS,yBAAyB,CAAC,GAAmB;IACpD,MAAM,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;IAC7B,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvC,OAAO;YACL,EAAE;YACF,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,UAAoC;YACvE,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,SAAsD;SACzF,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACzC,OAAO;YACL,EAAE;YACF,UAAU,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,UAAoC;YACvE,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,eAAkD;SAC3F,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,GAAG,EAAqB,EAAE,CAAC;AAC1D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,qBAAqB,CAAC,GAAmB;IAChD,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;IAC1E,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACzC,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACzF,CAAC;IACD,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACvC,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;AAClD,CAAC;AAED,0DAA0D;AAC1D,SAAS,eAAe,CAAC,GAAmB;IAC1C,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC;IAC9E,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,yBAAyB,CAChC,UAAyB,EACzB,OAAuB,EACvB,UAAqD,EACrD,eAAgC;IAEhC,MAAM,eAAe,GAAG,IAAA,4CAAqB,EAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,qBAAqB,GAAG,IAAA,+BAAc,EAAC,UAAU,CAAC,CAAC;IACzD,MAAM,eAAe,GAAG,IAAA,mCAAkB,EAAC,UAAU,CAAC,CAAC;IACvD,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAC7B,IAAI,0BAA8C,CAAC;IACnD,KAAK,MAAM,EAAE,QAAQ,EAAE,IAAI,eAAe,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAA,iCAAc,EAAC,QAAQ,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;QAC9D,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,IAAI,CAAC,qBAAqB,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAC5D,eAAe,CAAC,IAAI,CAClB,IAAA,sCAAgB,EAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE;gBAC9C,cAAc,EAAE,OAAO;gBACvB,UAAU,EAAE,mCAAmC;aAChD,CAAC,CACH,CAAC;YACF,SAAS;QACX,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAA,iCAAgB,EAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;QAC9D,IAAI,CAAC,qBAAqB,EAAE,CAAC;YAC3B,gBAAgB,GAAG,IAAI,CAAC;YACxB,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;gBAClC,0BAA0B,GAAG,eAAe,CAAC,eAAe,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,CAAC;AAC1D,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CACzB,OAAsB,EACtB,eAAuB,EACvB,UAAyB;IAEzB,MAAM,KAAK,GACT,UAAU,KAAK,EAAE,CAAC,UAAU,CAAC,QAAQ;QACrC,UAAU,KAAK,EAAE,CAAC,UAAU,CAAC,MAAM;QACnC,UAAU,KAAK,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;IACxC,MAAM,OAAO,GAAG,KAAK;QACnB,CAAC,CAAC,IAAA,4CAA2B,EAAC,eAAe,CAAC;QAC9C,CAAC,CAAC,IAAA,6CAA4B,EAAC,eAAe,CAAC,CAAC;IAClD,OAAO,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,OAAO,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,yEAAyE;AAEzE;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,SAAwB,mBAAmB,CACzC,OAAmB,EACnB,OAAoC;;IAEpC,4EAA4E;IAC5E,IAAI,CAAC,gBAAgB,IAAI,OAAO,IAAI,IAAI,EAAE,CAAC;QACzC,OAAO,CAAC,QAAkC,EAAE,EAAE,CAC5C,CAAC,UAAyB,EAAiB,EAAE,CAAC,UAAU,CAAC;IAC7D,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,MAAM,GAAG,IAAA,kCAAkB,EAAC,OAAO,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,cAAc,CAAC;IAC/C,MAAM,SAAS,GAAG,MAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,KAAK,mCAAI,KAAK,CAAC;IAC1C,MAAM,aAAa,GAAG,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa,CAAC;IAE7C,OAAO,CAAC,OAAiC,EAAE,EAAE,CAC3C,CAAC,UAAyB,EAAiB,EAAE;;QAC3C,uEAAuE;QACvE,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;QAExC,0BAA0B;QAC1B,MAAM,eAAe,GAAoB,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;QAEvE,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CACT,0BAA0B,UAAU,CAAC,QAAQ,cAAc,YAAY,CAAC,QAAQ,CAAC,MAAM,EAAE,CAC1F,CAAC;QACJ,CAAC;QAED,+DAA+D;QAC/D,gDAAgD;QAChD,gCAAgC;QAChC,oDAAoD;QACpD,uDAAuD;QACvD,MAAM,QAAQ,GAAG,IAAA,iDAA6B,EAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QAEpE,8DAA8D;QAC9D,0BAA0B;QAC1B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAwC,CAAC;QAEnE,MAAM,IAAI,GAA2B;YACnC,OAAO;YACP,OAAO;YACP,UAAU;YACV,cAAc,EAAE,cAAc,aAAd,cAAc,cAAd,cAAc,GAAI,EAAE;YACpC,aAAa,EAAE,MAAA,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,aAAa,mCAAI,KAAK;YAC9C,eAAe,EAAE,EAAE;YACnB,QAAQ;YACR,KAAK,EAAE,SAAS;SACjB,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,QAAQ,EAAE,CAAC;YAC7C,kCAAkC;YAClC,MAAM,QAAQ,GAAG,IAAA,gDAAsB,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACxD,IAAI,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjF,eAAe,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,kDAAkD;YAClD,MAAM,aAAa,GAAG,IAAA,uCAAgB,EAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;YACxE,IAAI,aAAa,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;gBACnC,IAAI,aAAa,CAAC,OAAO,KAAK,SAAS;oBAAE,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;gBACrF,SAAS;YACX,CAAC;YACD,MAAM,UAAU,GAAG;gBACjB,EAAE,EAAE,aAAa,CAAC,EAAE;gBACpB,WAAW,EAAE,aAAa,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;aAChF,CAAC;YACF,kCAAkC;YAClC,MAAM,IAAI,GAAG,IAAA,yCAAkB,EAAC,UAAU,CAAC,EAAE,CAAC,CAAC;YAC/C,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,CAAC;YAC7B,qEAAqE;YACrE,MAAM,eAAe,GAAG,IAAA,qCAAe,EACrC,UAAU,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EACxD,QAAQ,CAAC,cAAc;gBACrB,CAAC,CAAC,EAAE,YAAY,EAAE,QAAQ,CAAC,yBAAyB,EAAE;gBACtD,CAAC,CAAC,SAAS,CACd,CAAC;YACF,MAAM,UAAU,GAAG;gBACjB,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;gBAClF,WAAW,EAAE,eAAe;aAC7B,CAAC;YACF,4DAA4D;YAC5D,MAAM,UAAU,GAA2B,UAAU,CAAC,SAAS;gBAC7D,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAA,yCAAuB,EAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE;gBACnG,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,IAAA,sCAAkB,EAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;YAClF,kDAAkD;YAClD,MAAM,GAAG,GAAmB;gBAC1B,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU;aAC1E,CAAC;YACF,iDAAiD;YACjD,eAAe,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC;YACpD,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpC,8BAA8B;YAC9B,IAAI,UAA+C,CAAC;YACpD,IAAI,CAAC;gBACH,UAAU,GAAG,IAAA,qCAAgB,EAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC,CAAC;YAChE,CAAC;YAAC,OAAO,CAAU,EAAE,CAAC;gBACpB,IAAI,SAAS;oBAAE,OAAO,CAAC,KAAK,CAAC,iDAAiD,EAAE,CAAC,CAAC,CAAC;gBACnF,SAAS;YACX,CAAC;YACD,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CAAC,GAAG,CACT,4CAA4C,UAAU,CAAC,IAAI,aAAa,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAC5G,CAAC;YACJ,CAAC;YACD,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAA,gCAAa,EAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;QAClF,CAAC;QAED,sEAAsE;QACtE,MAAM,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,GAAG,yBAAyB,CAChF,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,CACjD,CAAC;QAEF,4DAA4D;QAC5D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,aAAa,CAAC,eAAe,EAAE,UAAU,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtC,IAAA,mDAA2B,EAAC,eAAe,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC;QAED,0DAA0D;QAC1D,kEAAkE;QAClE,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,oCAAU,CAC3E,CAAC;QACF,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,SAAS,EAAE,CAAC;gBACd,OAAO,CAAC,GAAG,CACT,0BAA0B,UAAU,CAAC,QAAQ,wCAAwC,CACtF,CAAC;YACJ,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,iEAAiE;QACjE,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,gBAAgB;YAAE,OAAO,UAAU,CAAC;QAElE,yDAAyD;QACzD,6DAA6D;QAC7D,iCAAiC;QACjC,SAAS,OAAO,CAAC,IAAa;YAC5B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,WAAW,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACzC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;oBACxB,OAAO,EAAE,CAAC,cAAc,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;YACD,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,OAAO,GAAG,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,CAAkB,CAAC;QACjF,IAAI,gBAAgB,IAAI,0BAA0B,KAAK,SAAS,EAAE,CAAC;YACjE,MAAM,UAAU,GAAG,MAAA,OAAO,CAAC,kBAAkB,EAAE,CAAC,MAAM,mCAAI,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC;YAC/E,OAAO,kBAAkB,CAAC,OAAO,EAAE,0BAA0B,EAAE,UAAU,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACN,CAAC"}