draft-ole 0.9.0

package/dist/transformer/each-scope-branch.js

@@ -0,0 +1,95 @@
+"use strict";
+/**
+ * each-scope-branch — Phase 4b per-call delegate
+ *
+ * (transformer-index-pipeline-split task 3.2)
+ *
+ * validation エラーなしの場合の each-scope 分岐を集約する delegate と
+ * その内部 sub-helper 群。旧 index.ts 主ループ L630-L700 相当のロジックを
+ * 3 個の named sub-helper に分割し、`runEachScopeBranch` から順次呼ぶ構造に
+ * 再構成する。cognitive concentration を dispersed する目的で sub-helper
+ * 単位での独立 unit test 可能性を保つ (Req 6.1, 6.2)。
+ *
+ * 本モジュールは each-state-rewriter.ts の Phase 4b orchestration 専用に
+ * 分離されている (Req 7.3: 受け側モジュールが 500 行を超えるため別ファイルへ分散)。
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.runEachScopeBranch = runEachScopeBranch;
+const diagnostic_reporter_1 = require("./diagnostic-reporter");
+const each_state_rewriter_1 = require("./each-state-rewriter");
+const state_id_resolver_1 = require("./state-id-resolver");
+// ---- sub-helpers (module-private) -------------------------------------------
+/**
+ * sub-helper 1: helper-aware path を考慮した EachScopeContext / paramSymbols を解決する。
+ *
+ * `preCheck.helperPathUsed === true` の場合は inherited 値を再利用する。
+ * それ以外は直接 walk-up で `detectEachScopeContext` を呼び、'ambiguous' は null に正規化する
+ * (直接 walk-up 経路は helperCallSites 未指定のため理論上 'ambiguous' を返さないが、
+ * 型 narrowing のため明示的にハンドリングする)。
+ */
+function resolveEachScopeForCall(base, callInfo, preCheck) {
+    if (preCheck.helperPathUsed) {
+        return {
+            eachContext: preCheck.inheritedEachContext,
+            eachParamSymbols: preCheck.inheritedEachParamSymbols,
+        };
+    }
+    const directCtx = (0, each_state_rewriter_1.detectEachScopeContext)(callInfo.callExpr, base.checker);
+    const eachContext = directCtx === null || directCtx === 'ambiguous' ? null : directCtx;
+    const eachParamSymbols = eachContext === null
+        ? undefined
+        : (0, each_state_rewriter_1.collectEachScopeParamSymbols)(callInfo.callExpr, base.checker);
+    return { eachContext, eachParamSymbols };
+}
+/**
+ * sub-helper 2: EachScopeContext が確定している場合のみ DT003 使用検証を実施。
+ * 既存 `validateEachScopeUsage` を呼ぶ薄いラッパ。
+ */
+function validateEachUsage(arrowFn, eachContext, sourceFile) {
+    if (eachContext === null)
+        return [];
+    return (0, each_state_rewriter_1.validateEachScopeUsage)(arrowFn, eachContext, sourceFile);
+}
+/**
+ * sub-helper 3: stateIdMap を構築し、unresolved Symbol を DT011 診断に変換する。
+ * `eachParamSymbols` は `buildStateIdMap` の `eachScopeParamSymbols` オプションへ渡され、
+ * each scope param と一致する Symbol は unresolved に積まれない (既存挙動)。
+ */
+function composeStateIdMapForEachScope(arrowFn, base, eachParamSymbols) {
+    // buildStateIdMap は Set<ts.Symbol> を期待する。ReadonlySet を Set に widen する。
+    const resolution = (0, state_id_resolver_1.buildStateIdMap)(arrowFn, base.checker, {
+        fallback: base.fallback,
+        eachScopeParamSymbols: eachParamSymbols,
+    });
+    const diagnostics = [];
+    for (const [, identNode] of resolution.unresolved) {
+        const identifierName = identNode.text;
+        diagnostics.push((0, diagnostic_reporter_1.createDiagnostic)('DT011', identNode, base.sourceFile, {
+            identifierName,
+            fixExample: `root.state<"${identifierName}-id">(...)`,
+        }));
+    }
+    return { stateIdMap: resolution.stateIdMap, diagnostics };
+}
+// ---- Phase 4b delegate ------------------------------------------------------
+/**
+ * Phase 4b per-call delegate: validation エラーなしの場合の each-scope 分岐を実行する。
+ *
+ * 3 個の private sub-helper を順次呼んで `EachScopeOutcome` を組み立てる薄い
+ * オーケストレーター (本体 ≤ 15 行)。
+ *
+ * @param base - per-invocation base context (checker / sourceFile / fallback など)
+ * @param callInfo - 対象 .on() 呼出情報
+ * @param preCheck - Phase 1 outcome (helperPathUsed / inherited each-scope を含む)
+ */
+function runEachScopeBranch(base, callInfo, preCheck) {
+    const { eachContext, eachParamSymbols } = resolveEachScopeForCall(base, callInfo, preCheck);
+    const eachUsageDiags = validateEachUsage(callInfo.handlerArg, eachContext, base.sourceFile);
+    const { stateIdMap, diagnostics: dt011Diags } = composeStateIdMapForEachScope(callInfo.handlerArg, base, eachParamSymbols);
+    return {
+        stateIdMap,
+        eachScopeParams: eachContext === null ? undefined : (0, each_state_rewriter_1.buildEachParamNameMap)(eachContext),
+        diagnostics: [...eachUsageDiags, ...dt011Diags],
+    };
+}
+//# sourceMappingURL=each-scope-branch.js.map

package/dist/transformer/each-scope-branch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"each-scope-branch.js","sourceRoot":"","sources":["../../src/transformer/each-scope-branch.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;AA6GH,gDAiBC;AA1HD,+DAAyD;AACzD,+DAM+B;AAM/B,2DAAsD;AAEtD,gFAAgF;AAEhF;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAC9B,IAA4B,EAC5B,QAAoB,EACpB,QAAyB;IAKzB,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC5B,OAAO;YACL,WAAW,EAAE,QAAQ,CAAC,oBAAoB;YAC1C,gBAAgB,EAAE,QAAQ,CAAC,yBAAyB;SACrD,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAA,4CAAsB,EAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,WAAW,GACf,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,MAAM,gBAAgB,GACpB,WAAW,KAAK,IAAI;QAClB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,IAAA,kDAA4B,EAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,CAAC;AAC3C,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,OAAyB,EACzB,WAAoC,EACpC,UAAyB;IAEzB,IAAI,WAAW,KAAK,IAAI;QAAE,OAAO,EAAE,CAAC;IACpC,OAAO,IAAA,4CAAsB,EAAC,OAAO,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,SAAS,6BAA6B,CACpC,OAAyB,EACzB,IAA4B,EAC5B,gBAAoD;IAKpD,uEAAuE;IACvE,MAAM,UAAU,GAAG,IAAA,mCAAe,EAAC,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;QACxD,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,qBAAqB,EAAE,gBAA8C;KACtE,CAAC,CAAC;IACH,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,KAAK,MAAM,CAAC,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAClD,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC;QACtC,WAAW,CAAC,IAAI,CACd,IAAA,sCAAgB,EAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE;YACpD,cAAc;YACd,UAAU,EAAE,eAAe,cAAc,YAAY;SACtD,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,WAAW,EAAE,CAAC;AAC5D,CAAC;AAED,gFAAgF;AAEhF;;;;;;;;;GASG;AACH,SAAgB,kBAAkB,CAChC,IAA4B,EAC5B,QAAoB,EACpB,QAAyB;IAEzB,MAAM,EAAE,WAAW,EAAE,gBAAgB,EAAE,GAAG,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC5F,MAAM,cAAc,GAAG,iBAAiB,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5F,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,6BAA6B,CAC3E,QAAQ,CAAC,UAAU,EACnB,IAAI,EACJ,gBAAgB,CACjB,CAAC;IACF,OAAO;QACL,UAAU;QACV,eAAe,EAAE,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAA,2CAAqB,EAAC,WAAW,CAAC;QACtF,WAAW,EAAE,CAAC,GAAG,cAAc,EAAE,GAAG,UAAU,CAAC;KAChD,CAAC;AACJ,CAAC"}

package/dist/transformer/each-state-rewriter.d.ts

@@ -0,0 +1,117 @@
+/**
+ * each-state-rewriter — `.each()` コールバック内のステート識別子検出・マップ構築・診断
+ *
+ * Task 1.1:
+ * - `.on()` CallExpression の AST 祖先を辿り、直近の ArrowFunction 親が
+ *   `.each(fn)` の引数かどうかを判定する
+ * - `EachScopeContext { itemParamName, factoryParamName }` 型を定義して export
+ * - each スコープ外では `null` を返す
+ * - `factoryParamName` は常に `"itemId"` で固定（`buildFactoryCode` シグネチャと整合）
+ *
+ * 対応 requirements: 1.1, 1.2, 5
+ */
+import * as ts from 'typescript';
+/**
+ * `.each()` コールバック内でのスコープ検出結果。
+ * `detectEachScopeContext` が each スコープを検出した場合に返す。
+ */
+export interface EachScopeContext {
+    /** `.each()` コールバックの item パラメータ名（例: "item"） */
+    readonly itemParamName: string;
+    /** `buildFactoryCode` が生成する factory 関数の第1パラメータ名（常に "itemId"） */
+    readonly factoryParamName: string;
+}
+/**
+ * `detectEachScopeContext` の戻り値型 (3-state, TXDX-DX Task 2.1).
+ *
+ * - `EachScopeContext`: each スコープを (直接 or helper 経由で) 一意に特定できた。
+ * - `null`: each スコープ外であることが確定した。
+ * - `'ambiguous'`: helper-aware 経路で call-site が `.each` 内外混在、または
+ *    異なる `itemParamName` を持つため一意に判定できない。
+ *    `'ambiguous'` は helper-aware 経路 (`options.helperCallSites` 指定時) でのみ
+ *    発生し、直接 AST walk-up 経路では決して返されない。
+ */
+export type EachScopeDetectionResult = EachScopeContext | null | 'ambiguous';
+/**
+ * `.on()` CallExpression が `.each()` コールバック内にあるかを検出する。
+ *
+ * AST を `node.parent` を使って上位に辿り、最初に見つかった ArrowFunction 祖先が
+ * `.each(fn)` の引数であるかを判定する。ネスト each は Non-Goals のため、
+ * 最初の ArrowFunction 祖先のみを対象とする。
+ *
+ * Helper-aware walk-up (TXDX-2 / TXDX-DX Task 2.1):
+ *   `options.helperCallSites` が指定された場合、通常 walk-up が `null` を返す
+ *   ケース（helper の body 内に `.on` があり helper 自身の直近 ArrowFunction 祖先が
+ *   `.each` でない場合）に、各 call-site から再帰的に detectEachScopeContext を
+ *   実行する。判定結果は 3-state:
+ *     - すべての call-site が同一 `EachScopeContext` → その context を継承
+ *     - すべての call-site が `null` (each 外) → `null`
+ *     - context と null の混在 / 異 itemParamName → `'ambiguous'`
+ *   `'ambiguous'` は helper-aware 経路でのみ発生し、直接 AST walk-up 経路は
+ *   従来通り `EachScopeContext | null` のみを返す。
+ *
+ * @param onCallExpr `.on(event, arrow)` の CallExpression ノード
+ * @param checker TypeChecker（将来の型ベース拡張用、現在は AST 走査のみ使用）
+ * @param options 任意オプション。`helperCallSites` を指定すると helper 経由の
+ *                walk-up を 1 段だけ継続する。再帰呼び出し時は省略する。
+ * @returns EachScopeDetectionResult (3-state: context | null | 'ambiguous')
+ */
+export declare function detectEachScopeContext(onCallExpr: ts.CallExpression, checker: ts.TypeChecker, options?: {
+    readonly helperCallSites?: readonly ts.CallExpression[];
+}): EachScopeDetectionResult;
+/**
+ * EachScopeContext から「識別子名 → factory パラメータ名」マップを構築する。
+ *
+ * 例: EachScopeContext { itemParamName: "item", factoryParamName: "itemId" }
+ *   → Map { "item" -> "itemId" }
+ *
+ * @param context `detectEachScopeContext` が返した EachScopeContext
+ * @returns 識別子名 → factory パラメータ名のマップ
+ */
+export declare function buildEachParamNameMap(context: EachScopeContext): Map<string, string>;
+/**
+ * each スコープハンドラ内の識別子使用パターンを検査し、
+ * サポート外パターンに対して DT003 診断を返す。
+ *
+ * サポート対象: each スコープ識別子が PropertyAccessExpression の左辺（object）として使用
+ *   例: `item.get()`, `item.set(v)`, `item.done`
+ *
+ * サポート外: PropertyAccessExpression の左辺以外で使用
+ *   例: `doSomething(item)`, `const x = item`, `return item`
+ *
+ * @param arrowFn ハンドラの ArrowFunction ノード（`.on()` の第 2 引数）
+ * @param context `detectEachScopeContext` が返した EachScopeContext
+ * @param sourceFile ソースファイル（診断生成に使用）
+ * @returns DT003 診断の配列（サポート対象のみの場合は空配列）
+ */
+export declare function validateEachScopeUsage(arrowFn: ts.ArrowFunction, context: EachScopeContext, sourceFile: ts.SourceFile): ts.Diagnostic[];
+/**
+ * `.on()` CallExpression を起点に祖先方向に走査し、最も内側の `.each(fn)`
+ * コールバックアロー関数を検出して、そのパラメータ Identifier の Symbol 集合を返す。
+ *
+ * `detectEachScopeContext` と同じ祖先走査ロジックを用いるが、こちらはパラメータの
+ * Symbol を `buildStateIdMap` の `eachScopeParamSymbols` に注入するために必要となる
+ * Symbol 集合を返す。
+ *
+ * Helper-aware (TXDX-DX Task 3.1):
+ *   `options.helperCallSites` が指定された場合、直接 enclosing `.each` が見つからない
+ *   ときに各 call-site で `detectEachScopeContext` を評価し、全 call-site が一意の
+ *   `EachScopeContext` を共有する場合のみ、call-site の `.each(itemParam => ...)` の
+ *   itemParam Symbol および helper body 内の同名 Identifier の Symbol を集合に加える。
+ *   混在 (`'ambiguous'`) や全 call-site が each 外の場合は helper-aware 経路では
+ *   何も追加せず `undefined` を返す (これらは呼び出し側 `tryEnclosingHelperRecovery`
+ *   で既に handle されている前提)。
+ *
+ * @returns each スコープ外、もしくは Symbol 取得不可の場合は `undefined`
+ */
+export declare function collectEachScopeParamSymbols(onCallExpr: ts.CallExpression, checker: ts.TypeChecker, options?: {
+    readonly helperCallSites?: readonly ts.CallExpression[];
+}): Set<ts.Symbol> | undefined;
+/**
+ * テスト専用エクスポート (TXDX-DX Task 3.1).
+ *
+ * `collectEachScopeParamSymbols` の単体テスト用に `__test__` プレフィックス付きで
+ * 参照可能にする。relocated from index.ts (transformer-index-pipeline-split task 2.1).
+ */
+export declare const __test__collectEachScopeParamSymbols: typeof collectEachScopeParamSymbols;
+//# sourceMappingURL=each-state-rewriter.d.ts.map

package/dist/transformer/each-state-rewriter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"each-state-rewriter.d.ts","sourceRoot":"","sources":["../../src/transformer/each-state-rewriter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAuBjC;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,+CAA+C;IAC/C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gEAAgE;IAChE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED;;;;;;;;;GASG;AACH,MAAM,MAAM,wBAAwB,GAAG,gBAAgB,GAAG,IAAI,GAAG,WAAW,CAAC;AAqD7E;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,EAAE,CAAC,cAAc,EAC7B,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAA;CAAE,GACpE,wBAAwB,CAoE1B;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,gBAAgB,GACxB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAErB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,EAAE,CAAC,aAAa,EACzB,OAAO,EAAE,gBAAgB,EACzB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,EAAE,CAAC,UAAU,EAAE,CAsCjB;AAID;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,4BAA4B,CAC1C,UAAU,EAAE,EAAE,CAAC,cAAc,EAC7B,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAA;CAAE,GACpE,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,SAAS,CAyH5B;AAED;;;;;GAKG;AACH,eAAO,MAAM,oCAAoC,qCAA+B,CAAC"}

package/dist/transformer/each-state-rewriter.js

@@ -0,0 +1,393 @@
+"use strict";
+/**
+ * each-state-rewriter — `.each()` コールバック内のステート識別子検出・マップ構築・診断
+ *
+ * Task 1.1:
+ * - `.on()` CallExpression の AST 祖先を辿り、直近の ArrowFunction 親が
+ *   `.each(fn)` の引数かどうかを判定する
+ * - `EachScopeContext { itemParamName, factoryParamName }` 型を定義して export
+ * - each スコープ外では `null` を返す
+ * - `factoryParamName` は常に `"itemId"` で固定（`buildFactoryCode` シグネチャと整合）
+ *
+ * 対応 requirements: 1.1, 1.2, 5
+ */
+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.__test__collectEachScopeParamSymbols = void 0;
+exports.detectEachScopeContext = detectEachScopeContext;
+exports.buildEachParamNameMap = buildEachParamNameMap;
+exports.validateEachScopeUsage = validateEachScopeUsage;
+exports.collectEachScopeParamSymbols = collectEachScopeParamSymbols;
+const ts = __importStar(require("typescript"));
+// ---- 定数 -------------------------------------------------------------------
+/**
+ * `.each()` を判定するメソッド名。
+ * whitelist-validator.ts の NESTED_CALLBACK_METHODS と整合させる。
+ */
+const EACH_METHOD_NAME = 'each';
+/**
+ * `buildFactoryCode` が生成する factory 関数の第 1 パラメータ名。
+ * `function(itemId, idx, draftole)` シグネチャと整合する固定値。
+ */
+const FACTORY_PARAM_NAME = 'itemId';
+/**
+ * DT003 診断コード: each スコープ識別子のサポート外使用パターン
+ */
+const DT003_CODE = 9003;
+// ---- ヘルパー ----------------------------------------------------------------
+/**
+ * ノードが `.each(fn)` CallExpression の直接引数である ArrowFunction かを判定する。
+ *
+ * 判定条件:
+ * 1. `node` が ArrowFunction
+ * 2. `node.parent` が CallExpression
+ * 3. その CallExpression の expression が PropertyAccessExpression
+ * 4. プロパティ名が "each"
+ * 5. `node` がその CallExpression の第 1 引数
+ */
+function isEachCallbackArrow(node) {
+    if (!ts.isArrowFunction(node))
+        return false;
+    const parent = node.parent;
+    if (!ts.isCallExpression(parent))
+        return false;
+    const expr = parent.expression;
+    if (!ts.isPropertyAccessExpression(expr))
+        return false;
+    if (expr.name.text !== EACH_METHOD_NAME)
+        return false;
+    // `node` が第 1 引数（インデックス 0）であること
+    return parent.arguments.length >= 1 && parent.arguments[0] === node;
+}
+/**
+ * ソースファイルの診断情報を作成するヘルパー
+ */
+function createDiagnostic(node, messageText, code) {
+    const sourceFile = node.getSourceFile();
+    const start = node.getStart(sourceFile, false);
+    const length = node.getWidth(sourceFile);
+    return {
+        file: sourceFile,
+        start,
+        length,
+        messageText,
+        category: ts.DiagnosticCategory.Error,
+        code,
+        source: 'draftole-transformer',
+    };
+}
+// ---- 公開 API ----------------------------------------------------------------
+/**
+ * `.on()` CallExpression が `.each()` コールバック内にあるかを検出する。
+ *
+ * AST を `node.parent` を使って上位に辿り、最初に見つかった ArrowFunction 祖先が
+ * `.each(fn)` の引数であるかを判定する。ネスト each は Non-Goals のため、
+ * 最初の ArrowFunction 祖先のみを対象とする。
+ *
+ * Helper-aware walk-up (TXDX-2 / TXDX-DX Task 2.1):
+ *   `options.helperCallSites` が指定された場合、通常 walk-up が `null` を返す
+ *   ケース（helper の body 内に `.on` があり helper 自身の直近 ArrowFunction 祖先が
+ *   `.each` でない場合）に、各 call-site から再帰的に detectEachScopeContext を
+ *   実行する。判定結果は 3-state:
+ *     - すべての call-site が同一 `EachScopeContext` → その context を継承
+ *     - すべての call-site が `null` (each 外) → `null`
+ *     - context と null の混在 / 異 itemParamName → `'ambiguous'`
+ *   `'ambiguous'` は helper-aware 経路でのみ発生し、直接 AST walk-up 経路は
+ *   従来通り `EachScopeContext | null` のみを返す。
+ *
+ * @param onCallExpr `.on(event, arrow)` の CallExpression ノード
+ * @param checker TypeChecker（将来の型ベース拡張用、現在は AST 走査のみ使用）
+ * @param options 任意オプション。`helperCallSites` を指定すると helper 経由の
+ *                walk-up を 1 段だけ継続する。再帰呼び出し時は省略する。
+ * @returns EachScopeDetectionResult (3-state: context | null | 'ambiguous')
+ */
+function detectEachScopeContext(onCallExpr, checker, options) {
+    // `checker` パラメータは将来の型ベース拡張用（現時点では AST 走査のみ）
+    void checker;
+    // 1. 通常の AST 親方向 walk-up
+    let current = onCallExpr;
+    while (current.parent !== undefined) {
+        current = current.parent;
+        if (ts.isArrowFunction(current)) {
+            // 直近の ArrowFunction 祖先に到達
+            if (isEachCallbackArrow(current)) {
+                // `.each((item) => ...)` の ArrowFunction: item パラメータ名を取得
+                const firstParam = current.parameters[0];
+                const itemParamName = firstParam !== undefined && ts.isParameter(firstParam) && ts.isIdentifier(firstParam.name)
+                    ? firstParam.name.text
+                    : 'item';
+                return {
+                    itemParamName,
+                    factoryParamName: FACTORY_PARAM_NAME,
+                };
+            }
+            else {
+                // each 以外の ArrowFunction が先に見つかった → 通常 walk-up は each スコープ外
+                // helper-aware ルートに委ねるため break
+                break;
+            }
+        }
+    }
+    // 2. helper-aware walk-up (1 段限定; 再帰時は helperCallSites を渡さない)
+    const helperCallSites = options === null || options === void 0 ? void 0 : options.helperCallSites;
+    if (helperCallSites === undefined || helperCallSites.length === 0) {
+        return null;
+    }
+    let inheritedContext = null;
+    let sawNull = false;
+    let sawContext = false;
+    for (const callSite of helperCallSites) {
+        // 再帰時は options を渡さない（multi-level helper は Non-Goal）。
+        // 再帰側は helper-aware 経路を使わないため、戻り値は EachScopeContext | null に
+        // 限定される（'ambiguous' は発生し得ない）。
+        const ctx = detectEachScopeContext(callSite, checker);
+        if (ctx === null) {
+            sawNull = true;
+            continue;
+        }
+        // ctx === 'ambiguous' は再帰側では発生しないが、union narrowing のため明示。
+        if (ctx === 'ambiguous') {
+            return 'ambiguous';
+        }
+        sawContext = true;
+        if (inheritedContext === null) {
+            inheritedContext = ctx;
+        }
+        else if (inheritedContext.itemParamName !== ctx.itemParamName) {
+            // 異なる itemParamName → ambiguous
+            return 'ambiguous';
+        }
+    }
+    // 混在 (一部 each 内 + 一部 each 外) → ambiguous
+    if (sawNull && sawContext)
+        return 'ambiguous';
+    // すべて null → each 外 (継承なし)
+    // すべて同一 context → inheritedContext を継承
+    return inheritedContext;
+}
+/**
+ * EachScopeContext から「識別子名 → factory パラメータ名」マップを構築する。
+ *
+ * 例: EachScopeContext { itemParamName: "item", factoryParamName: "itemId" }
+ *   → Map { "item" -> "itemId" }
+ *
+ * @param context `detectEachScopeContext` が返した EachScopeContext
+ * @returns 識別子名 → factory パラメータ名のマップ
+ */
+function buildEachParamNameMap(context) {
+    return new Map([[context.itemParamName, context.factoryParamName]]);
+}
+/**
+ * each スコープハンドラ内の識別子使用パターンを検査し、
+ * サポート外パターンに対して DT003 診断を返す。
+ *
+ * サポート対象: each スコープ識別子が PropertyAccessExpression の左辺（object）として使用
+ *   例: `item.get()`, `item.set(v)`, `item.done`
+ *
+ * サポート外: PropertyAccessExpression の左辺以外で使用
+ *   例: `doSomething(item)`, `const x = item`, `return item`
+ *
+ * @param arrowFn ハンドラの ArrowFunction ノード（`.on()` の第 2 引数）
+ * @param context `detectEachScopeContext` が返した EachScopeContext
+ * @param sourceFile ソースファイル（診断生成に使用）
+ * @returns DT003 診断の配列（サポート対象のみの場合は空配列）
+ */
+function validateEachScopeUsage(arrowFn, context, sourceFile) {
+    void sourceFile; // ソースファイルは node.getSourceFile() から取得
+    const diagnostics = [];
+    const { itemParamName } = context;
+    function visit(node) {
+        if (ts.isIdentifier(node) && node.text === itemParamName) {
+            // PropertyAccessExpression の左辺（object）として使用されているか確認
+            const parent = node.parent;
+            if (ts.isPropertyAccessExpression(parent) &&
+                parent.expression === node) {
+                // サポート対象: `item.something` の形式
+                // このノード自体は OK、子ノードへの再帰はスキップ（自身が識別子のため子なし）
+                return;
+            }
+            else {
+                // サポート外パターン: PropertyAccess の左辺以外
+                diagnostics.push(createDiagnostic(node, `DraftOle DT003: each-scope identifier '${itemParamName}' is used in an unsupported pattern. ` +
+                    `Only property access (e.g. '${itemParamName}.get()', '${itemParamName}.set(v)') is supported. ` +
+                    `See docs/each-scope-handler.md`, DT003_CODE));
+                return;
+            }
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(arrowFn.body);
+    return diagnostics;
+}
+// ---- each スコープ Symbol 集合 (relocated from index.ts) --------------------
+/**
+ * `.on()` CallExpression を起点に祖先方向に走査し、最も内側の `.each(fn)`
+ * コールバックアロー関数を検出して、そのパラメータ Identifier の Symbol 集合を返す。
+ *
+ * `detectEachScopeContext` と同じ祖先走査ロジックを用いるが、こちらはパラメータの
+ * Symbol を `buildStateIdMap` の `eachScopeParamSymbols` に注入するために必要となる
+ * Symbol 集合を返す。
+ *
+ * Helper-aware (TXDX-DX Task 3.1):
+ *   `options.helperCallSites` が指定された場合、直接 enclosing `.each` が見つからない
+ *   ときに各 call-site で `detectEachScopeContext` を評価し、全 call-site が一意の
+ *   `EachScopeContext` を共有する場合のみ、call-site の `.each(itemParam => ...)` の
+ *   itemParam Symbol および helper body 内の同名 Identifier の Symbol を集合に加える。
+ *   混在 (`'ambiguous'`) や全 call-site が each 外の場合は helper-aware 経路では
+ *   何も追加せず `undefined` を返す (これらは呼び出し側 `tryEnclosingHelperRecovery`
+ *   で既に handle されている前提)。
+ *
+ * @returns each スコープ外、もしくは Symbol 取得不可の場合は `undefined`
+ */
+function collectEachScopeParamSymbols(onCallExpr, checker, options) {
+    // 1. 直接 enclosing `.each` を AST walk-up で探す (従来挙動)
+    let current = onCallExpr;
+    while (current.parent !== undefined) {
+        current = current.parent;
+        if (ts.isArrowFunction(current)) {
+            const parent = current.parent;
+            if (ts.isCallExpression(parent) &&
+                ts.isPropertyAccessExpression(parent.expression) &&
+                parent.expression.name.text === 'each' &&
+                parent.arguments.length >= 1 &&
+                parent.arguments[0] === current) {
+                const symbols = new Set();
+                for (const param of current.parameters) {
+                    if (ts.isIdentifier(param.name)) {
+                        const sym = checker.getSymbolAtLocation(param.name);
+                        if (sym !== undefined) {
+                            symbols.add(sym);
+                        }
+                    }
+                }
+                return symbols;
+            }
+            // each 以外の ArrowFunction が先に見つかった → 直接経路では each スコープ外
+            // helper-aware 経路に委ねるため break
+            break;
+        }
+    }
+    // 2. helper-aware 経路
+    const helperCallSites = options === null || options === void 0 ? void 0 : options.helperCallSites;
+    if (helperCallSites === undefined || helperCallSites.length === 0) {
+        return undefined;
+    }
+    // 全 call-site で一意な EachScopeContext を共有することを確認する。
+    // 混在 / each 外 / ambiguous の場合は何も返さない。
+    let sharedItemParamName;
+    const callSiteEachArrows = [];
+    for (const callSite of helperCallSites) {
+        const ctx = detectEachScopeContext(callSite, checker);
+        if (ctx === null || ctx === 'ambiguous') {
+            return undefined;
+        }
+        if (sharedItemParamName === undefined) {
+            sharedItemParamName = ctx.itemParamName;
+        }
+        else if (sharedItemParamName !== ctx.itemParamName) {
+            return undefined;
+        }
+        // call-site の祖先方向に `.each(arrow)` の arrow を探す
+        let cur = callSite;
+        while (cur.parent !== undefined) {
+            cur = cur.parent;
+            if (ts.isArrowFunction(cur)) {
+                const par = cur.parent;
+                if (ts.isCallExpression(par) &&
+                    ts.isPropertyAccessExpression(par.expression) &&
+                    par.expression.name.text === 'each' &&
+                    par.arguments.length >= 1 &&
+                    par.arguments[0] === cur) {
+                    callSiteEachArrows.push(cur);
+                }
+                break;
+            }
+        }
+    }
+    if (sharedItemParamName === undefined || callSiteEachArrows.length === 0) {
+        return undefined;
+    }
+    const symbols = new Set();
+    // (a) 各 call-site の `.each` arrow の itemParam Symbol を追加
+    for (const arrow of callSiteEachArrows) {
+        for (const param of arrow.parameters) {
+            if (ts.isIdentifier(param.name)) {
+                const sym = checker.getSymbolAtLocation(param.name);
+                if (sym !== undefined) {
+                    symbols.add(sym);
+                }
+            }
+        }
+    }
+    // (b) helper body 内の同名 Identifier の Symbol を追加
+    //     onCallExpr を内包する helper の本体 (= 最上位の ArrowFunction 祖先) を探し、
+    //     その body 配下で `ts.isIdentifier && text === sharedItemParamName` の
+    //     Symbol を集める。
+    let helperBodyRoot;
+    let cur2 = onCallExpr;
+    while (cur2.parent !== undefined) {
+        cur2 = cur2.parent;
+        if (ts.isArrowFunction(cur2)) {
+            helperBodyRoot = cur2.body;
+            // 最も外側 (= module-level helper の arrow body) まで遡らず、最も内側で十分:
+            // helper body 全域を walk するため、まず最初に見つけた ArrowFunction の親方向に
+            // 更に ArrowFunction があれば、そちらを優先する。
+        }
+    }
+    if (helperBodyRoot !== undefined) {
+        const visit = (n) => {
+            if (ts.isIdentifier(n) && n.text === sharedItemParamName) {
+                const sym = checker.getSymbolAtLocation(n);
+                if (sym !== undefined) {
+                    symbols.add(sym);
+                }
+            }
+            ts.forEachChild(n, visit);
+        };
+        visit(helperBodyRoot);
+    }
+    if (symbols.size === 0) {
+        return undefined;
+    }
+    return symbols;
+}
+/**
+ * テスト専用エクスポート (TXDX-DX Task 3.1).
+ *
+ * `collectEachScopeParamSymbols` の単体テスト用に `__test__` プレフィックス付きで
+ * 参照可能にする。relocated from index.ts (transformer-index-pipeline-split task 2.1).
+ */
+exports.__test__collectEachScopeParamSymbols = collectEachScopeParamSymbols;
+//# sourceMappingURL=each-state-rewriter.js.map

package/dist/transformer/each-state-rewriter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"each-state-rewriter.js","sourceRoot":"","sources":["../../src/transformer/each-state-rewriter.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;GAWG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA2HH,wDAwEC;AAWD,sDAIC;AAiBD,wDA0CC;AAuBD,oEA6HC;AA/ZD,+CAAiC;AAEjC,8EAA8E;AAE9E;;;GAGG;AACH,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAEhC;;;GAGG;AACH,MAAM,kBAAkB,GAAG,QAAQ,CAAC;AAEpC;;GAEG;AACH,MAAM,UAAU,GAAG,IAAqC,CAAC;AA2BzD,6EAA6E;AAE7E;;;;;;;;;GASG;AACH,SAAS,mBAAmB,CAAC,IAAa;IACxC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAE5C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAE/C,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC;IAC/B,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,KAAK,CAAC;IAEtD,gCAAgC;IAChC,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;AACtE,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CACvB,IAAa,EACb,WAAmB,EACnB,IAAY;IAEZ,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC;IACxC,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;QACJ,MAAM,EAAE,sBAAsB;KAC/B,CAAC;AACJ,CAAC;AAED,+EAA+E;AAE/E;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAgB,sBAAsB,CACpC,UAA6B,EAC7B,OAAuB,EACvB,OAAqE;IAErE,6CAA6C;IAC7C,KAAK,OAAO,CAAC;IAEb,yBAAyB;IACzB,IAAI,OAAO,GAAY,UAAU,CAAC;IAElC,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QAEzB,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,0BAA0B;YAC1B,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjC,yDAAyD;gBACzD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;gBACzC,MAAM,aAAa,GACjB,UAAU,KAAK,SAAS,IAAI,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC;oBACxF,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI;oBACtB,CAAC,CAAC,MAAM,CAAC;gBAEb,OAAO;oBACL,aAAa;oBACb,gBAAgB,EAAE,kBAAkB;iBACrC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,4DAA4D;gBAC5D,+BAA+B;gBAC/B,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,8DAA8D;IAC9D,MAAM,eAAe,GAAG,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,gBAAgB,GAA4B,IAAI,CAAC;IACrD,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,qDAAqD;QACrD,6DAA6D;QAC7D,8BAA8B;QAC9B,MAAM,GAAG,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,OAAO,GAAG,IAAI,CAAC;YACf,SAAS;QACX,CAAC;QACD,0DAA0D;QAC1D,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACxB,OAAO,WAAW,CAAC;QACrB,CAAC;QACD,UAAU,GAAG,IAAI,CAAC;QAClB,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC9B,gBAAgB,GAAG,GAAG,CAAC;QACzB,CAAC;aAAM,IAAI,gBAAgB,CAAC,aAAa,KAAK,GAAG,CAAC,aAAa,EAAE,CAAC;YAChE,gCAAgC;YAChC,OAAO,WAAW,CAAC;QACrB,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,IAAI,OAAO,IAAI,UAAU;QAAE,OAAO,WAAW,CAAC;IAC9C,2BAA2B;IAC3B,uCAAuC;IACvC,OAAO,gBAAgB,CAAC;AAC1B,CAAC;AAED;;;;;;;;GAQG;AACH,SAAgB,qBAAqB,CACnC,OAAyB;IAEzB,OAAO,IAAI,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAgB,sBAAsB,CACpC,OAAyB,EACzB,OAAyB,EACzB,UAAyB;IAEzB,KAAK,UAAU,CAAC,CAAC,qCAAqC;IAEtD,MAAM,WAAW,GAAoB,EAAE,CAAC;IACxC,MAAM,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IAElC,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACzD,oDAAoD;YACpD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IACE,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;gBACrC,MAAM,CAAC,UAAU,KAAK,IAAI,EAC1B,CAAC;gBACD,+BAA+B;gBAC/B,0CAA0C;gBAC1C,OAAO;YACT,CAAC;iBAAM,CAAC;gBACN,kCAAkC;gBAClC,WAAW,CAAC,IAAI,CACd,gBAAgB,CACd,IAAI,EACJ,0CAA0C,aAAa,uCAAuC;oBAC5F,+BAA+B,aAAa,aAAa,aAAa,0BAA0B;oBAChG,gCAAgC,EAClC,UAAU,CACX,CACF,CAAC;gBACF,OAAO;YACT,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpB,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,0EAA0E;AAE1E;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAgB,4BAA4B,CAC1C,UAA6B,EAC7B,OAAuB,EACvB,OAAqE;IAErE,mDAAmD;IACnD,IAAI,OAAO,GAAY,UAAU,CAAC;IAClC,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;QACzB,IAAI,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;YAC9B,IACE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;gBAC3B,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;gBAChD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;gBACtC,MAAM,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC;gBAC5B,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,OAAO,EAC/B,CAAC;gBACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;gBACrC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;oBACvC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;wBAChC,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;wBACpD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;4BACtB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBACnB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,OAAO,CAAC;YACjB,CAAC;YACD,sDAAsD;YACtD,8BAA8B;YAC9B,MAAM;QACR,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,MAAM,eAAe,GAAG,OAAO,aAAP,OAAO,uBAAP,OAAO,CAAE,eAAe,CAAC;IACjD,IAAI,eAAe,KAAK,SAAS,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,kDAAkD;IAClD,sCAAsC;IACtC,IAAI,mBAAuC,CAAC;IAC5C,MAAM,kBAAkB,GAAuB,EAAE,CAAC;IAClD,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,sBAAsB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACtD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YACxC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,mBAAmB,KAAK,SAAS,EAAE,CAAC;YACtC,mBAAmB,GAAG,GAAG,CAAC,aAAa,CAAC;QAC1C,CAAC;aAAM,IAAI,mBAAmB,KAAK,GAAG,CAAC,aAAa,EAAE,CAAC;YACrD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,8CAA8C;QAC9C,IAAI,GAAG,GAAY,QAAQ,CAAC;QAC5B,OAAO,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAChC,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;YACjB,IAAI,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5B,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC;gBACvB,IACE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;oBACxB,EAAE,CAAC,0BAA0B,CAAC,GAAG,CAAC,UAAU,CAAC;oBAC7C,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;oBACnC,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC;oBACzB,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,GAAG,EACxB,CAAC;oBACD,kBAAkB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC/B,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,mBAAmB,KAAK,SAAS,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;IAErC,yDAAyD;IACzD,KAAK,MAAM,KAAK,IAAI,kBAAkB,EAAE,CAAC;QACvC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACrC,IAAI,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACpD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,iEAAiE;IACjE,sEAAsE;IACtE,mBAAmB;IACnB,IAAI,cAAmC,CAAC;IACxC,IAAI,IAAI,GAAY,UAAU,CAAC;IAC/B,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,cAAc,GAAG,IAAI,CAAC,IAAI,CAAC;YAC3B,2DAA2D;YAC3D,0DAA0D;YAC1D,kCAAkC;QACpC,CAAC;IACH,CAAC;IACD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;YACjC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;gBACzD,MAAM,GAAG,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBAC3C,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC;QACF,KAAK,CAAC,cAAc,CAAC,CAAC;IACxB,CAAC;IAED,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACU,QAAA,oCAAoC,GAAG,4BAA4B,CAAC"}

package/dist/transformer/format-diagnostics.d.ts

@@ -0,0 +1,27 @@
+/**
+ * draftole-transformer 由来の TypeScript Diagnostic を 1 件 1 行のフラット形式に整形する。
+ *
+ * 形式:
+ *   - file + start 有り: `[draftole-transformer <Category>] <fileName>:<line>:<col> <message>\n`
+ *   - それ以外         : `[draftole-transformer <Category>] <message>\n`
+ *
+ * 行・列は 1-origin、message は `DiagnosticMessageChain` の場合 top-level のみ採用する。
+ *
+ * 本モジュールは副作用を持たず、文字列の整形のみを行う純関数群。
+ * 書き出し先（stderr / 集約配列等）の選択は呼び出し側の責務。
+ *
+ * Requirements: TXDX-1（transformer 診断の silent drop 解消）
+ *
+ * @module transformer/format-diagnostics
+ */
+import ts from 'typescript';
+/**
+ * 単一の Diagnostic を 1 行のテキストに整形する（改行を含む）。
+ */
+export declare function formatTransformerDiagnostic(diag: ts.Diagnostic): string;
+/**
+ * Diagnostic 配列を整形して与えられた `WritableStream` に書き出す。
+ * 空配列の場合は何もしない。
+ */
+export declare function writeTransformerDiagnostics(diags: readonly ts.Diagnostic[], stream: NodeJS.WritableStream): void;
+//# sourceMappingURL=format-diagnostics.d.ts.map

package/dist/transformer/format-diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"format-diagnostics.d.ts","sourceRoot":"","sources":["../../src/transformer/format-diagnostics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,CAWvE;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,EAC/B,MAAM,EAAE,MAAM,CAAC,cAAc,GAC5B,IAAI,CAKN"}