draft-ole 0.9.0

package/dist/transformer/helper-context-resolver.js

@@ -0,0 +1,376 @@
+"use strict";
+/**
+ * helper-context-resolver — `.on(arrow)` を内包する helper の発見・eligibility 判定・call-site 列挙
+ *
+ * 仕様: `.kiro/specs/helper-inline-recovery/`
+ *   - design.md §Components and Interfaces / helper-context-resolver.ts
+ *   - requirements.md 1.1, 1.4, 2.3, 3.1, 3.2, 3.3
+ *
+ * 単一責任:
+ *   1. `.on` CallExpression の AST 上方向 walk-up で直近 helper 宣言を発見
+ *   2. helper の eligibility（module-level / const / zero-param / arrow initializer）を判定
+ *   3. accepted helper の call-site を同一 SourceFile から列挙
+ *   4. rejected helper から DT014 診断を生成
+ *
+ * 副作用なしの純粋関数のみ。`fileDiagnostics` への push は呼び出し側（index.ts）の責務。
+ *
+ * Task 1.1: 型定義と内部 helper（symbol 解決・宣言形状判定）のみを実装する。
+ *           findEnclosingHelper / findHelperCallSites / buildEnclosingHelperDiagnostic は
+ *           それぞれ task 1.2 / 1.3 / 1.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.DT014_CODE = void 0;
+exports.buildEnclosingHelperDiagnostic = buildEnclosingHelperDiagnostic;
+exports.findHelperCallSites = findHelperCallSites;
+exports.findEnclosingHelper = findEnclosingHelper;
+exports.tryEnclosingHelperRecovery = tryEnclosingHelperRecovery;
+exports.runHelperAwarePreCheck = runHelperAwarePreCheck;
+const ts = __importStar(require("typescript"));
+const each_state_rewriter_1 = require("./each-state-rewriter");
+const helper_decl_utils_1 = require("./helper-decl-utils");
+// ---- 内部 helper: symbol 解決 ------------------------------------------------
+// resolveValueDeclaration / isModuleLevelVariableDeclaration / isConstDeclaration は
+// `./helper-decl-utils` に移管。本ファイルでは import して使用する。
+// ---- 公開 API: buildEnclosingHelperDiagnostic -------------------------------
+/** DT014 診断コード: enclosing-helper recovery 不可能な helper 形状。`hasFileError` 集計除外用に index.ts へも export する。 */
+exports.DT014_CODE = 9014;
+/** reason.code を人読み形に整形する。 */
+function describeRejectionReason(reason) {
+    switch (reason.code) {
+        case 'not-module-level':
+            return 'not-module-level: helper is not declared at module top-level';
+        case 'mutable-binding':
+            return 'mutable-binding: helper is declared with let (mutable binding)';
+        case 'function-declaration':
+            return 'function-declaration: helper is a function declaration, not a const arrow';
+        case 'non-arrow-initializer':
+            return 'non-arrow-initializer: helper initializer is not an arrow function';
+        case 'has-parameters':
+            return `has-parameters: helper takes ${reason.paramCount} parameter(s)`;
+        case 'no-call-sites':
+            return 'no-call-sites: helper is never called in this file';
+        case 'ambiguous-call-sites':
+            return `ambiguous-call-sites: helper has ${reason.callSiteCount} call site(s) with inconsistent each-scope context`;
+    }
+}
+/**
+ * `RejectedEnclosingHelper` から DT014 診断を生成する。
+ *
+ * - `code`: 9014（`__brand: 'DT014'`）
+ * - `source`: `'draftole-transformer'`
+ * - `relatedInformation`: reason code + helper 宣言位置 1 件
+ *
+ * 診断アンカーはトリガとなった `.on` CallExpression。helper 宣言位置は
+ * `relatedInformation` 経由でユーザに提示する。
+ *
+ * @param rejection findEnclosingHelper の rejection
+ * @param sourceFile  該当 SourceFile
+ * @param category    `ts.DiagnosticCategory.Error | Warning | Suggestion`
+ * @returns DT014 診断
+ */
+function buildEnclosingHelperDiagnostic(rejection, sourceFile, category) {
+    const reasonText = describeRejectionReason(rejection.reason);
+    const anchor = rejection.onCallExpr;
+    const start = anchor.getStart(sourceFile);
+    const length = anchor.getWidth(sourceFile);
+    const messageText = `DraftOle DT014: enclosing helper '${rejection.name}' is not eligible for inline-recovery ` +
+        `(${reasonText}). ` +
+        `Supported shape: zero-parameter module-level const arrow function with a consistent each-scope context across all call sites. ` +
+        'Suggested fix: inline the `.on(...)` at its call site, or refactor the helper to a zero-param module-level const arrow.';
+    const declNode = rejection.declaration;
+    const declStart = declNode.getStart(sourceFile);
+    const declLength = declNode.getWidth(sourceFile);
+    return {
+        file: sourceFile,
+        start,
+        length,
+        messageText,
+        category,
+        code: exports.DT014_CODE,
+        source: 'draftole-transformer',
+        relatedInformation: [
+            {
+                file: sourceFile,
+                start: declStart,
+                length: declLength,
+                messageText: `helper declaration (reason: ${rejection.reason.code})`,
+                category: ts.DiagnosticCategory.Message,
+                code: exports.DT014_CODE,
+            },
+        ],
+    };
+}
+// ---- 公開 API: findHelperCallSites ------------------------------------------
+/**
+ * 同一 SourceFile 内で `helperDecl` を呼び出している CallExpression を列挙する。
+ *
+ * マッチ条件:
+ *   - CallExpression の `expression` が Identifier
+ *   - その Identifier から `resolveValueDeclaration` を辿った結果が `helperDecl` と同一
+ *
+ * helper 自身の body 内からの自己再帰呼び出しも CallExpression として列挙される
+ * （実用上は再帰 helper はそもそも task 1.2 で reject されるため問題にならない）。
+ *
+ * @param helperDecl  helper の宣言（VariableDeclaration）
+ * @param sourceFile  探索対象 SourceFile
+ * @param checker     TypeChecker（symbol 解決に使用）
+ * @returns           call-site CallExpression の配列（出現順）
+ */
+function findHelperCallSites(helperDecl, sourceFile, checker) {
+    const sites = [];
+    function visit(node) {
+        if (ts.isCallExpression(node) && ts.isIdentifier(node.expression)) {
+            const resolvedDecl = (0, helper_decl_utils_1.resolveValueDeclaration)(node.expression, checker);
+            if (resolvedDecl === helperDecl) {
+                sites.push(node);
+            }
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(sourceFile);
+    return sites;
+}
+// ---- 公開 API: findEnclosingHelper ------------------------------------------
+/**
+ * `.on(arrow)` CallExpression を内包する直近 helper を探索する。
+ *
+ * アルゴリズム:
+ *   1. `onCallExpr.parent` から SourceFile に達するまで AST 親方向に walk-up
+ *   2. 最初に出会う関数式（ArrowFunction / FunctionExpression）または FunctionDeclaration を
+ *      enclosing function 候補とする
+ *   3. 候補が ArrowFunction かつ親が VariableDeclaration の場合のみ eligibility を判定
+ *   4. それ以外（callback として使われた arrow、function expression、function declaration 等）は
+ *      reject または `none` を返す
+ *
+ * 注意:
+ *   - `.on` の **handler 引数**（`.on("click", () => ...)` の第 2 引数）は走査しない
+ *     （node.parent チェインは `.on` 自身を経由するため、handler 内へ降りない）
+ *   - callSites の列挙は本関数では行わない（task 1.3 で `findHelperCallSites` 統合）
+ *   - accepted の callSites は本実装段階では常に空配列。完全な統合は task 1.3 完了後。
+ *
+ * @param onCallExpr `.on(event, arrow)` の CallExpression
+ * @param sourceFile 解析対象 SourceFile
+ * @param checker TypeChecker（将来の型ベース拡張用、現時点では未使用）
+ * @returns 採否判定結果
+ */
+function findEnclosingHelper(onCallExpr, sourceFile, checker) {
+    var _a, _b;
+    void checker; // 将来の型解決用フック
+    let current = onCallExpr;
+    while (current.parent !== undefined && !ts.isSourceFile(current.parent)) {
+        current = current.parent;
+        // FunctionDeclaration: `function name() { ... }` 形式の helper
+        if (ts.isFunctionDeclaration(current)) {
+            const name = (_b = (_a = current.name) === null || _a === void 0 ? void 0 : _a.text) !== null && _b !== void 0 ? _b : '<anonymous>';
+            return {
+                kind: 'rejected',
+                rejection: {
+                    name,
+                    declaration: current,
+                    onCallExpr,
+                    reason: { code: 'function-declaration' },
+                },
+            };
+        }
+        // ArrowFunction / FunctionExpression: 関数式形式
+        if (ts.isArrowFunction(current) || ts.isFunctionExpression(current)) {
+            const parent = current.parent;
+            if (parent === undefined || !ts.isVariableDeclaration(parent)) {
+                // callback として渡された関数式（`.each(item => ...)` 等）→ 既存挙動に委ねる
+                return { kind: 'none' };
+            }
+            // VariableDeclaration の name から helper 名を取得
+            const name = ts.isIdentifier(parent.name) ? parent.name.text : '<anonymous>';
+            // 1. module-level 判定
+            if (!(0, helper_decl_utils_1.isModuleLevelVariableDeclaration)(parent, sourceFile)) {
+                return {
+                    kind: 'rejected',
+                    rejection: {
+                        name,
+                        declaration: parent,
+                        onCallExpr,
+                        reason: { code: 'not-module-level' },
+                    },
+                };
+            }
+            // 2. const 判定
+            if (!(0, helper_decl_utils_1.isConstDeclaration)(parent)) {
+                return {
+                    kind: 'rejected',
+                    rejection: {
+                        name,
+                        declaration: parent,
+                        onCallExpr,
+                        reason: { code: 'mutable-binding' },
+                    },
+                };
+            }
+            // 3. 関数式形式が ArrowFunction でなければ non-arrow-initializer
+            if (!ts.isArrowFunction(current)) {
+                return {
+                    kind: 'rejected',
+                    rejection: {
+                        name,
+                        declaration: parent,
+                        onCallExpr,
+                        reason: { code: 'non-arrow-initializer' },
+                    },
+                };
+            }
+            // 4. zero-param 判定
+            if (current.parameters.length > 0) {
+                return {
+                    kind: 'rejected',
+                    rejection: {
+                        name,
+                        declaration: parent,
+                        onCallExpr,
+                        reason: { code: 'has-parameters', paramCount: current.parameters.length },
+                    },
+                };
+            }
+            // すべての eligibility 判定をクリア → call-site 列挙
+            const callSites = findHelperCallSites(parent, sourceFile, checker);
+            if (callSites.length === 0) {
+                return {
+                    kind: 'rejected',
+                    rejection: {
+                        name,
+                        declaration: parent,
+                        onCallExpr,
+                        reason: { code: 'no-call-sites' },
+                    },
+                };
+            }
+            return {
+                kind: 'accepted',
+                helper: {
+                    name,
+                    declaration: parent,
+                    arrow: current,
+                    callSites,
+                },
+            };
+        }
+    }
+    // SourceFile に到達 → enclosing helper なし
+    return { kind: 'none' };
+}
+/**
+ * `.on(arrow)` を内包する helper を発見し、each scope 継承または DT014 発行を決定する。
+ *
+ * 分岐:
+ *   - helper 不在 (`kind: 'none'`): `pass-through`（既存ロジックに委ねる）
+ *   - helper 採用 (`kind: 'accepted'`): `detectEachScopeContext` を helperCallSites 付きで
+ *     呼び出し、結果を `inherited` で返す。null（全 call-site が each 外 / ambiguous）の
+ *     場合も `inherited { context: null }` として返し、呼び出し側が ambiguous を判定する。
+ *   - helper 不採用 (`kind: 'rejected'`): DT014 を生成して返す
+ */
+function tryEnclosingHelperRecovery(onCallExpr, sourceFile, checker) {
+    const result = findEnclosingHelper(onCallExpr, sourceFile, checker);
+    if (result.kind === 'none') {
+        return { kind: 'pass-through' };
+    }
+    if (result.kind === 'rejected') {
+        return {
+            kind: 'rejected',
+            diagnostic: buildEnclosingHelperDiagnostic(result.rejection, sourceFile, ts.DiagnosticCategory.Error),
+        };
+    }
+    // accepted: helper 経由の each scope を判定
+    // Task 2.2: detectEachScopeContext の 3-state を明示的に分岐する。
+    //   - EachScopeContext: helper 全 call-site が単一 each scope を共有
+    //   - null: helper 全 call-site が each 外で確定
+    //   - 'ambiguous': call-site が each 内外混在 / 異 itemParamName
+    //     → DT014 を `ambiguous-call-sites` reason 付きで発行して当該 handler をスキップ
+    const ctx = (0, each_state_rewriter_1.detectEachScopeContext)(onCallExpr, checker, {
+        helperCallSites: result.helper.callSites,
+    });
+    if (ctx === 'ambiguous') {
+        const rejection = {
+            name: result.helper.name,
+            declaration: result.helper.declaration,
+            onCallExpr,
+            reason: {
+                code: 'ambiguous-call-sites',
+                callSiteCount: result.helper.callSites.length,
+            },
+        };
+        return {
+            kind: 'rejected',
+            diagnostic: buildEnclosingHelperDiagnostic(rejection, sourceFile, ts.DiagnosticCategory.Error),
+        };
+    }
+    // ctx は EachScopeContext | null のいずれか（each 外確定 or 単一 context）
+    // Task 3.2: helper-aware 経路の paramSymbols をここで一括計算して返す。
+    //   - context が単一 EachScopeContext のときのみ helperCallSites を伝播して
+    //     `collectEachScopeParamSymbols` を呼ぶ
+    //   - each 外確定 (context === null) の場合は paramSymbols も undefined
+    //   - design Decision「helper-aware 経路の中央集約」に従い、helper 検出は
+    //     本関数内で 1 度だけ実施 (caller 側は再走査しない)
+    const paramSymbols = ctx === null
+        ? undefined
+        : (0, each_state_rewriter_1.collectEachScopeParamSymbols)(onCallExpr, checker, {
+            helperCallSites: result.helper.callSites,
+        });
+    return { kind: 'inherited', context: ctx, paramSymbols };
+}
+// ---- Phase 1 delegate: runHelperAwarePreCheck -------------------------------
+/**
+ * Phase 1 per-call delegate: helper-aware pre-check の outcome を構築する。
+ *
+ * 内部で `tryEnclosingHelperRecovery` を呼び、3 経路の discriminated union を
+ * `PreCheckOutcome` (flat shape) に変換する薄いラッパ。factory main loop は本関数を
+ * 呼んで `PreCheckOutcome` を受け取り、`diagnostics` に Error カテゴリが含まれる場合に
+ * 当該 .on() 呼出をスキップする。
+ *
+ * Mapping:
+ *   - pass-through → { helperPathUsed: false, inheritedEachContext: null, ..., diagnostics: [] }
+ *   - inherited    → { helperPathUsed: true, inheritedEachContext: ctx, inheritedEachParamSymbols, diagnostics: [] }
+ *   - rejected     → { helperPathUsed: false, inheritedEachContext: null, ..., diagnostics: [diag] }
+ *
+ * relocated/added in transformer-index-pipeline-split task 3.1.
+ */
+function runHelperAwarePreCheck(base, callInfo) {
+    const r = tryEnclosingHelperRecovery(callInfo.callExpr, base.sourceFile, base.checker);
+    return {
+        helperPathUsed: r.kind === 'inherited',
+        inheritedEachContext: r.kind === 'inherited' ? r.context : null,
+        inheritedEachParamSymbols: r.kind === 'inherited' ? r.paramSymbols : undefined,
+        diagnostics: r.kind === 'rejected' ? [r.diagnostic] : [],
+    };
+}
+//# sourceMappingURL=helper-context-resolver.js.map

package/dist/transformer/helper-context-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-context-resolver.js","sourceRoot":"","sources":["../../src/transformer/helper-context-resolver.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmGH,wEAuCC;AAmBD,kDAmBC;AA0BD,kDAmHC;AAiCD,gEA6DC;AAmBD,wDAWC;AAvbD,+CAAiC;AAEjC,+DAI+B;AAC/B,2DAI6B;AA0C7B,6EAA6E;AAC7E,oFAAoF;AACpF,mDAAmD;AAEnD,8EAA8E;AAE9E,yGAAyG;AAC5F,QAAA,UAAU,GAAG,IAAqC,CAAC;AAEhE,8BAA8B;AAC9B,SAAS,uBAAuB,CAAC,MAAsC;IACrE,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,8DAA8D,CAAC;QACxE,KAAK,iBAAiB;YACpB,OAAO,gEAAgE,CAAC;QAC1E,KAAK,sBAAsB;YACzB,OAAO,2EAA2E,CAAC;QACrF,KAAK,uBAAuB;YAC1B,OAAO,oEAAoE,CAAC;QAC9E,KAAK,gBAAgB;YACnB,OAAO,gCAAgC,MAAM,CAAC,UAAU,eAAe,CAAC;QAC1E,KAAK,eAAe;YAClB,OAAO,oDAAoD,CAAC;QAC9D,KAAK,sBAAsB;YACzB,OAAO,oCAAoC,MAAM,CAAC,aAAa,oDAAoD,CAAC;IACxH,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAgB,8BAA8B,CAC5C,SAAkC,EAClC,UAAyB,EACzB,QAA+B;IAE/B,MAAM,UAAU,GAAG,uBAAuB,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,SAAS,CAAC,UAAU,CAAC;IACpC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAE3C,MAAM,WAAW,GACf,qCAAqC,SAAS,CAAC,IAAI,wCAAwC;QAC3F,IAAI,UAAU,KAAK;QACnB,gIAAgI;QAChI,yHAAyH,CAAC;IAE5H,MAAM,QAAQ,GAAG,SAAS,CAAC,WAAW,CAAC;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAEjD,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,MAAM;QACN,WAAW;QACX,QAAQ;QACR,IAAI,EAAE,kBAAU;QAChB,MAAM,EAAE,sBAAsB;QAC9B,kBAAkB,EAAE;YAClB;gBACE,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,UAAU;gBAClB,WAAW,EAAE,+BAA+B,SAAS,CAAC,MAAM,CAAC,IAAI,GAAG;gBACpE,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO;gBACvC,IAAI,EAAE,kBAAU;aACjB;SACF;KACF,CAAC;AACJ,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,SAAgB,mBAAmB,CACjC,UAAkC,EAClC,UAAyB,EACzB,OAAuB;IAEvB,MAAM,KAAK,GAAwB,EAAE,CAAC;IAEtC,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAClE,MAAM,YAAY,GAAG,IAAA,2CAAuB,EAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;YACvE,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,SAAgB,mBAAmB,CACjC,UAA6B,EAC7B,UAAyB,EACzB,OAAuB;;IAEvB,KAAK,OAAO,CAAC,CAAC,aAAa;IAE3B,IAAI,OAAO,GAAY,UAAU,CAAC;IAClC,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QAEzB,4DAA4D;QAC5D,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,MAAA,MAAA,OAAO,CAAC,IAAI,0CAAE,IAAI,mCAAI,aAAa,CAAC;YACjD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,SAAS,EAAE;oBACT,IAAI;oBACJ,WAAW,EAAE,OAAO;oBACpB,UAAU;oBACV,MAAM,EAAE,EAAE,IAAI,EAAE,sBAAsB,EAAE;iBACzC;aACF,CAAC;QACJ,CAAC;QAED,4CAA4C;QAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;YACpE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9D,wDAAwD;gBACxD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;YAC1B,CAAC;YAED,4CAA4C;YAC5C,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC;YAE7E,qBAAqB;YACrB,IAAI,CAAC,IAAA,oDAAgC,EAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC1D,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE;wBACT,IAAI;wBACJ,WAAW,EAAE,MAAM;wBACnB,UAAU;wBACV,MAAM,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE;qBACrC;iBACF,CAAC;YACJ,CAAC;YAED,cAAc;YACd,IAAI,CAAC,IAAA,sCAAkB,EAAC,MAAM,CAAC,EAAE,CAAC;gBAChC,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE;wBACT,IAAI;wBACJ,WAAW,EAAE,MAAM;wBACnB,UAAU;wBACV,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE;qBACpC;iBACF,CAAC;YACJ,CAAC;YAED,sDAAsD;YACtD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjC,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE;wBACT,IAAI;wBACJ,WAAW,EAAE,MAAM;wBACnB,UAAU;wBACV,MAAM,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE;qBAC1C;iBACF,CAAC;YACJ,CAAC;YAED,mBAAmB;YACnB,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE;wBACT,IAAI;wBACJ,WAAW,EAAE,MAAM;wBACnB,UAAU;wBACV,MAAM,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE;qBAC1E;iBACF,CAAC;YACJ,CAAC;YAED,yCAAyC;YACzC,MAAM,SAAS,GAAG,mBAAmB,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;YACnE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,SAAS,EAAE;wBACT,IAAI;wBACJ,WAAW,EAAE,MAAM;wBACnB,UAAU;wBACV,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;qBAClC;iBACF,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE;oBACN,IAAI;oBACJ,WAAW,EAAE,MAAM;oBACnB,KAAK,EAAE,OAAO;oBACd,SAAS;iBACV;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AAuBD;;;;;;;;;GASG;AACH,SAAgB,0BAA0B,CACxC,UAA6B,EAC7B,UAAyB,EACzB,OAAuB;IAEvB,MAAM,MAAM,GAAG,mBAAmB,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;IAClC,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,8BAA8B,CACxC,MAAM,CAAC,SAAS,EAChB,UAAU,EACV,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAC5B;SACF,CAAC;IACJ,CAAC;IACD,sCAAsC;IACtC,wDAAwD;IACxD,8DAA8D;IAC9D,2CAA2C;IAC3C,2DAA2D;IAC3D,sEAAsE;IACtE,MAAM,GAAG,GAAG,IAAA,4CAAsB,EAAC,UAAU,EAAE,OAAO,EAAE;QACtD,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;KACzC,CAAC,CAAC;IACH,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,MAAM,SAAS,GAA4B;YACzC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;YACxB,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW;YACtC,UAAU;YACV,MAAM,EAAE;gBACN,IAAI,EAAE,sBAAsB;gBAC5B,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM;aAC9C;SACF,CAAC;QACF,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,UAAU,EAAE,8BAA8B,CACxC,SAAS,EACT,UAAU,EACV,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAC5B;SACF,CAAC;IACJ,CAAC;IACD,8DAA8D;IAC9D,wDAAwD;IACxD,+DAA+D;IAC/D,yCAAyC;IACzC,gEAAgE;IAChE,0DAA0D;IAC1D,sCAAsC;IACtC,MAAM,YAAY,GAChB,GAAG,KAAK,IAAI;QACV,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAA,kDAA4B,EAAC,UAAU,EAAE,OAAO,EAAE;YAChD,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS;SACzC,CAAC,CAAC;IACT,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,CAAC;AAC3D,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;;;;;;GAcG;AACH,SAAgB,sBAAsB,CACpC,IAA4B,EAC5B,QAAoB;IAEpB,MAAM,CAAC,GAAG,0BAA0B,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACvF,OAAO;QACL,cAAc,EAAE,CAAC,CAAC,IAAI,KAAK,WAAW;QACtC,oBAAoB,EAAE,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI;QAC/D,yBAAyB,EAAE,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;QAC9E,WAAW,EAAE,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;KACzD,CAAC;AACJ,CAAC"}

package/dist/transformer/helper-decl-utils.d.ts

@@ -0,0 +1,28 @@
+/**
+ * helper-decl-utils — helper 宣言判定の共有ユーティリティ
+ *
+ * 仕様: `.kiro/specs/helper-inline-recovery-followups/design.md`
+ *   - Components / `helper-decl-utils.ts`
+ *   - Requirements 3.1, 3.2
+ *
+ * 単一責任:
+ *   1. Identifier の Symbol/alias 解決を `valueDeclaration` まで辿る
+ *   2. VariableDeclaration がモジュールトップレベル直下か判定する
+ *   3. VariableDeclarationList が `const` か判定する
+ *
+ * 副作用なしの純関数のみ。`ts.*` API のみ依存。
+ *
+ * 元実装は `helper-context-resolver.ts` の 3 関数（TXDX-2 時点でリファイン済）
+ * を採用し、`inline-recovery.ts` の旧コピーは本ファイルに置き換える。
+ */
+import * as ts from 'typescript';
+/**
+ * Identifier から最終的な valueDeclaration を返す。
+ * import alias は `getAliasedSymbol` で再帰解決する。
+ */
+export declare function resolveValueDeclaration(ident: ts.Identifier, checker: ts.TypeChecker): ts.Declaration | undefined;
+/** VariableDeclaration がモジュールトップレベル直下か判定する。 */
+export declare function isModuleLevelVariableDeclaration(decl: ts.VariableDeclaration, sourceFile: ts.SourceFile): boolean;
+/** VariableDeclarationList が `const` 宣言か判定する。 */
+export declare function isConstDeclaration(decl: ts.VariableDeclaration): boolean;
+//# sourceMappingURL=helper-decl-utils.d.ts.map

package/dist/transformer/helper-decl-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-decl-utils.d.ts","sourceRoot":"","sources":["../../src/transformer/helper-decl-utils.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,EAAE,CAAC,UAAU,EACpB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,EAAE,CAAC,WAAW,GAAG,SAAS,CAW5B;AAED,+CAA+C;AAC/C,wBAAgB,gCAAgC,CAC9C,IAAI,EAAE,EAAE,CAAC,mBAAmB,EAC5B,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,OAAO,CAMT;AAED,iDAAiD;AACjD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,GAAG,OAAO,CAIxE"}

package/dist/transformer/helper-decl-utils.js

@@ -0,0 +1,92 @@
+"use strict";
+/**
+ * helper-decl-utils — helper 宣言判定の共有ユーティリティ
+ *
+ * 仕様: `.kiro/specs/helper-inline-recovery-followups/design.md`
+ *   - Components / `helper-decl-utils.ts`
+ *   - Requirements 3.1, 3.2
+ *
+ * 単一責任:
+ *   1. Identifier の Symbol/alias 解決を `valueDeclaration` まで辿る
+ *   2. VariableDeclaration がモジュールトップレベル直下か判定する
+ *   3. VariableDeclarationList が `const` か判定する
+ *
+ * 副作用なしの純関数のみ。`ts.*` API のみ依存。
+ *
+ * 元実装は `helper-context-resolver.ts` の 3 関数（TXDX-2 時点でリファイン済）
+ * を採用し、`inline-recovery.ts` の旧コピーは本ファイルに置き換える。
+ */
+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.resolveValueDeclaration = resolveValueDeclaration;
+exports.isModuleLevelVariableDeclaration = isModuleLevelVariableDeclaration;
+exports.isConstDeclaration = isConstDeclaration;
+const ts = __importStar(require("typescript"));
+/**
+ * Identifier から最終的な valueDeclaration を返す。
+ * import alias は `getAliasedSymbol` で再帰解決する。
+ */
+function resolveValueDeclaration(ident, checker) {
+    let sym = checker.getSymbolAtLocation(ident);
+    if (sym === undefined)
+        return undefined;
+    if ((sym.flags & ts.SymbolFlags.Alias) !== 0) {
+        try {
+            sym = checker.getAliasedSymbol(sym);
+        }
+        catch {
+            return undefined;
+        }
+    }
+    return sym.valueDeclaration;
+}
+/** VariableDeclaration がモジュールトップレベル直下か判定する。 */
+function isModuleLevelVariableDeclaration(decl, sourceFile) {
+    const list = decl.parent;
+    if (list === undefined || !ts.isVariableDeclarationList(list))
+        return false;
+    const stmt = list.parent;
+    if (stmt === undefined || !ts.isVariableStatement(stmt))
+        return false;
+    return stmt.parent === sourceFile;
+}
+/** VariableDeclarationList が `const` 宣言か判定する。 */
+function isConstDeclaration(decl) {
+    const list = decl.parent;
+    if (list === undefined || !ts.isVariableDeclarationList(list))
+        return false;
+    return (list.flags & ts.NodeFlags.Const) !== 0;
+}
+//# sourceMappingURL=helper-decl-utils.js.map

package/dist/transformer/helper-decl-utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-decl-utils.js","sourceRoot":"","sources":["../../src/transformer/helper-decl-utils.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAQH,0DAcC;AAGD,4EASC;AAGD,gDAIC;AAvCD,+CAAiC;AAEjC;;;GAGG;AACH,SAAgB,uBAAuB,CACrC,KAAoB,EACpB,OAAuB;IAEvB,IAAI,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7C,IAAI,CAAC;YACH,GAAG,GAAG,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QACtC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,gBAAgB,CAAC;AAC9B,CAAC;AAED,+CAA+C;AAC/C,SAAgB,gCAAgC,CAC9C,IAA4B,EAC5B,UAAyB;IAEzB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,OAAO,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC;AACpC,CAAC;AAED,iDAAiD;AACjD,SAAgB,kBAAkB,CAAC,IAA4B;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;IACzB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5E,OAAO,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;AACjD,CAAC"}

package/dist/transformer/identifier-collector.d.ts

@@ -0,0 +1,28 @@
+/**
+ * identifier-collector: `HandlerIR` → ルート識別子の `IdentifierRef[]`
+ *
+ * Task 4.3:
+ * - HandlerIR を入力にハンドラ本体内のルート識別子一覧を返す
+ * - プロパティアクセスはルートのみ拾い、チェーン先は収集しない
+ * - paramName に一致する識別子は `event-param`
+ * - localDecls に含まれる識別子は `local`
+ * - それ以外は `unknown`
+ * - 同名識別子は最初の出現のみ（dedupe）
+ *
+ * 対応 requirements: 2.3, 3.4
+ */
+import type { HandlerIR, IdentifierRef } from './handler-ir-extractor.ts';
+/**
+ * `HandlerIR` からハンドラ本体内のルート識別子一覧を収集して返す。
+ *
+ * - プロパティアクセス（`a.b.c`）ではルート（`a`）のみ収集し、`b`・`c` は除外する
+ * - 同名識別子は最初の出現のみを返す（名前ベースで dedupe）
+ * - `HandlerIR.paramName` に一致するものは `event-param`
+ * - `HandlerIR.localDecls` に含まれるものは `local`
+ * - それ以外は `unknown`（`whitelist-validator` が後続で分類する）
+ *
+ * @param ir  `extractHandlerIR` が返した `HandlerIR`
+ * @returns   ルート識別子の `IdentifierRef[]`
+ */
+export declare function collectIdentifiers(ir: HandlerIR): IdentifierRef[];
+//# sourceMappingURL=identifier-collector.d.ts.map

package/dist/transformer/identifier-collector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identifier-collector.d.ts","sourceRoot":"","sources":["../../src/transformer/identifier-collector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAuF1E;;;;;;;;;;;GAWG;AACH,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,SAAS,GAAG,aAAa,EAAE,CAkDjE"}