draft-ole 0.9.0

package/dist/transformer/command-injector.js

@@ -0,0 +1,111 @@
+"use strict";
+/**
+ * command-injector: 検査 PASS した `.on` 呼び出しの第2引数を
+ * `(s) => s._emitHandlerBody("<serialized>", [<params>])` に書き換え、
+ * 生成アロー関数に `_draftoleEmitted = true` マーカーを付与するラッパを挿入する。
+ *
+ * Task 6.2:
+ * - `SerializedHandler { code, params }` を受け取り、`.on` の CallExpression を変換
+ * - 書き換え後の第2引数:
+ *   `Object.assign((s) => s._emitHandlerBody("<code>", [<params>]), { _draftoleEmitted: true })`
+ * - `Object.assign` により runtime で `_draftoleEmitted === true` が判定可能になる
+ *
+ * 対応 requirements: 1.5, 4.1
+ * 対応 design: §command-injector, §`.on` 実装側 dispatcher 擬似コード
+ */
+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.injectCommand = injectCommand;
+const ts = __importStar(require("typescript"));
+// ---- 公開 API ---------------------------------------------------------------
+/**
+ * `.on(event, originalArrow)` の CallExpression を受け取り、
+ * 第2引数を `Object.assign((s) => s._emitHandlerBody(...), { _draftoleEmitted: true })`
+ * に書き換えた新しい CallExpression を返す。
+ *
+ * @param callExpr - 元の `.on(event, arrow)` CallExpression
+ * @param serialized - `handler-serializer` の出力 `SerializedHandler`
+ * @returns 書き換え後の CallExpression
+ */
+function injectCommand(callExpr, serialized) {
+    const factory = ts.factory;
+    // ---- (s) => s._emitHandlerBody("<code>", [<params>]) を生成 ---------------
+    // `s` 仮引数
+    const sParam = factory.createParameterDeclaration(
+    /* modifiers */ undefined, 
+    /* dotDotDotToken */ undefined, factory.createIdentifier('s'), 
+    /* questionToken */ undefined, 
+    /* type */ undefined, 
+    /* initializer */ undefined);
+    // `s._emitHandlerBody` プロパティアクセス
+    const emitHandlerBodyAccess = factory.createPropertyAccessExpression(factory.createIdentifier('s'), factory.createIdentifier('_emitHandlerBody'));
+    // params 配列リテラル: ["e"] or []
+    const paramsArrayLiteral = factory.createArrayLiteralExpression(serialized.params.map((p) => factory.createStringLiteral(p)), 
+    /* multiLine */ false);
+    // `s._emitHandlerBody("<code>", [<params>])` 呼び出し
+    const emitHandlerBodyCall = factory.createCallExpression(emitHandlerBodyAccess, 
+    /* typeArgs */ undefined, [
+        factory.createStringLiteral(serialized.code),
+        paramsArrayLiteral,
+    ]);
+    // `(s) => s._emitHandlerBody(...)` アロー関数
+    const innerArrow = factory.createArrowFunction(
+    /* modifiers */ undefined, 
+    /* typeParams */ undefined, [sParam], 
+    /* returnType */ undefined, factory.createToken(ts.SyntaxKind.EqualsGreaterThanToken), emitHandlerBodyCall);
+    // ---- Object.assign(innerArrow, { _draftoleEmitted: true }) を生成 ----------
+    // `{ _draftoleEmitted: true }` オブジェクトリテラル
+    const markerObject = factory.createObjectLiteralExpression([
+        factory.createPropertyAssignment(factory.createIdentifier('_draftoleEmitted'), factory.createTrue()),
+    ], 
+    /* multiLine */ false);
+    // `Object.assign(...)` 呼び出し
+    const objectAssignCall = factory.createCallExpression(factory.createPropertyAccessExpression(factory.createIdentifier('Object'), factory.createIdentifier('assign')), 
+    /* typeArgs */ undefined, [innerArrow, markerObject]);
+    // ---- 元の CallExpression の第2引数を差し替えた新 CallExpression を生成 ------
+    // 元の引数リストから第2引数（インデックス1）を objectAssignCall に差し替える。
+    // 注意: 第1引数（イベント名）は元の StringLiteral ノードをそのまま渡す。
+    // printer は元の SourceFile でのみ正しく出力できるため、テスト側では
+    // 呼び出し元の SourceFile を使って printNode すること。
+    const originalArgs = callExpr.arguments;
+    const newArgs = [
+        originalArgs[0], // 第1引数（イベント名）はそのまま保持
+        objectAssignCall, // 第2引数を書き換え
+        // 追加引数がある場合（通常ない）も保持
+        ...Array.from(originalArgs).slice(2),
+    ];
+    return factory.updateCallExpression(callExpr, callExpr.expression, callExpr.typeArguments, newArgs);
+}
+//# sourceMappingURL=command-injector.js.map

package/dist/transformer/command-injector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"command-injector.js","sourceRoot":"","sources":["../../src/transformer/command-injector.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAgBH,sCA6FC;AA3GD,+CAAiC;AAGjC,8EAA8E;AAE9E;;;;;;;;GAQG;AACH,SAAgB,aAAa,CAC3B,QAA2B,EAC3B,UAA6B;IAE7B,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;IAE3B,2EAA2E;IAE3E,UAAU;IACV,MAAM,MAAM,GAAG,OAAO,CAAC,0BAA0B;IAC/C,eAAe,CAAC,SAAS;IACzB,oBAAoB,CAAC,SAAS,EAC9B,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC;IAC7B,mBAAmB,CAAC,SAAS;IAC7B,UAAU,CAAC,SAAS;IACpB,iBAAiB,CAAC,SAAS,CAC5B,CAAC;IAEF,iCAAiC;IACjC,MAAM,qBAAqB,GAAG,OAAO,CAAC,8BAA8B,CAClE,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAC7B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAC7C,CAAC;IAEF,6BAA6B;IAC7B,MAAM,kBAAkB,GAAG,OAAO,CAAC,4BAA4B,CAC7D,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC5D,eAAe,CAAC,KAAK,CACtB,CAAC;IAEF,kDAAkD;IAClD,MAAM,mBAAmB,GAAG,OAAO,CAAC,oBAAoB,CACtD,qBAAqB;IACrB,cAAc,CAAC,SAAS,EACxB;QACE,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,IAAI,CAAC;QAC5C,kBAAkB;KACnB,CACF,CAAC;IAEF,yCAAyC;IACzC,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB;IAC5C,eAAe,CAAC,SAAS;IACzB,gBAAgB,CAAC,SAAS,EAC1B,CAAC,MAAM,CAAC;IACR,gBAAgB,CAAC,SAAS,EAC1B,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EACzD,mBAAmB,CACpB,CAAC;IAEF,4EAA4E;IAE5E,0CAA0C;IAC1C,MAAM,YAAY,GAAG,OAAO,CAAC,6BAA6B,CACxD;QACE,OAAO,CAAC,wBAAwB,CAC9B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,EAC5C,OAAO,CAAC,UAAU,EAAE,CACrB;KACF;IACD,eAAe,CAAC,KAAK,CACtB,CAAC;IAEF,4BAA4B;IAC5B,MAAM,gBAAgB,GAAG,OAAO,CAAC,oBAAoB,CACnD,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAClC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CACnC;IACD,cAAc,CAAC,SAAS,EACxB,CAAC,UAAU,EAAE,YAAY,CAAC,CAC3B,CAAC;IAEF,gEAAgE;IAEhE,mDAAmD;IACnD,+CAA+C;IAC/C,8CAA8C;IAC9C,yCAAyC;IACzC,MAAM,YAAY,GAAG,QAAQ,CAAC,SAAS,CAAC;IACxC,MAAM,OAAO,GAAoB;QAC/B,YAAY,CAAC,CAAC,CAAC,EAAE,qBAAqB;QACtC,gBAAgB,EAAE,YAAY;QAC9B,qBAAqB;QACrB,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;KACrC,CAAC;IAEF,OAAO,OAAO,CAAC,oBAAoB,CACjC,QAAQ,EACR,QAAQ,CAAC,UAAU,EACnB,QAAQ,CAAC,aAAa,EACtB,OAAO,CACR,CAAC;AACJ,CAAC"}

package/dist/transformer/diagnostic-reporter.d.ts

@@ -0,0 +1,81 @@
+/**
+ * diagnostic-reporter — `ts.Diagnostic` 組立・集約
+ *
+ * Task 5.5:
+ * - 源位置・識別子名・カテゴリ・修正例テンプレートから `ts.Diagnostic` を組立
+ * - エラーコード DT001〜DT010 を割り当てるテーブルを定義
+ *
+ * 観測可能な完了:
+ *   `tests/transformer/diagnostic.test.ts` で各カテゴリのメッセージに
+ *   「源位置」「識別子名」「修正例」文字列が含まれる
+ *
+ * 対応 requirements: 2.5, 2.7, 3.3
+ * 対応 design: diagnostic-reporter, Error Message Template (DT001〜DT010)
+ */
+import * as ts from 'typescript';
+/**
+ * DraftOle transformer のエラーコード識別子。
+ * DT001〜DT012 の範囲で割り当てる。
+ */
+export type DiagnosticCode = 'DT001' | 'DT002' | 'DT003' | 'DT004' | 'DT005' | 'DT006' | 'DT007' | 'DT008' | 'DT009' | 'DT010' | 'DT011' | 'DT012' | 'DT013' | 'DT014';
+/**
+ * createDiagnostic に渡すデータ。
+ * - identifierName: エラーメッセージに埋め込む識別子名
+ * - fixExample:     修正例テキスト（"root.state(...) で宣言" 等）
+ */
+export interface DiagnosticData {
+    /** エラーの原因となった識別子名 */
+    readonly identifierName: string;
+    /** 修正例テンプレートテキスト */
+    readonly fixExample: string;
+}
+/**
+ * エラーコードテーブルの1エントリ。
+ */
+export interface DiagnosticTableEntry {
+    /** TypeScript の diagnostic コード番号（9001〜9010） */
+    readonly code: number;
+    /**
+     * メッセージテンプレート。
+     * `{identifierName}` プレースホルダーが identifierName に置換される。
+     * `{fixExample}` プレースホルダーが fixExample に置換される。
+     */
+    readonly messageTemplate: string;
+    /** 汎用的な修正ヒントテキスト（テーブル定義時の既定値） */
+    readonly suggestion: string;
+    /** ts.DiagnosticCategory */
+    readonly category: ts.DiagnosticCategory;
+}
+/**
+ * DT001〜DT010 のエラーコードテーブル。
+ *
+ * 設計 §Error Message Template を参照（design.md）:
+ *   error DT001: Closure capture outside whitelist ...
+ *     identifier 'outsideVar' is captured from module scope
+ *     note: allowed: state API ...
+ *     help: if 'outsideVar' is a state, declare it via root.state(...)
+ *
+ * 真実の源泉は 1 つ（Design D-6）: 全エラーはここで一元定義する。
+ */
+export declare const DIAGNOSTIC_TABLE: Readonly<Record<DiagnosticCode, DiagnosticTableEntry>>;
+/**
+ * エラーコード・ノード・sourceFile・データから `ts.Diagnostic` を組み立てる。
+ *
+ * 組み立てルール（Req 2.5, 3.3）:
+ * 1. `node.getStart()` で源位置（start）を計算する
+ * 2. `node.getWidth()` で長さ（length）を計算する
+ * 3. messageTemplate 内の `{identifierName}` を data.identifierName で置換する
+ * 4. messageTemplate 内の `{fixExample}` を data.fixExample で置換する
+ * 5. `file` を sourceFile に設定する
+ * 6. `category` をテーブルから取得する
+ * 7. `code` をテーブルから取得する
+ * 8. `source` を 'draftole-transformer' に設定する
+ *
+ * @param diagnosticCode  DiagnosticCode (DT001〜DT010)
+ * @param node            エラー対象の ts.Node（位置計算に使用）
+ * @param sourceFile      対象ソースファイル
+ * @param data            識別子名と修正例
+ * @returns               組み立てた ts.Diagnostic
+ */
+export declare function createDiagnostic(diagnosticCode: DiagnosticCode, node: ts.Node, sourceFile: ts.SourceFile, data: DiagnosticData): ts.Diagnostic;
+//# sourceMappingURL=diagnostic-reporter.d.ts.map

package/dist/transformer/diagnostic-reporter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic-reporter.d.ts","sourceRoot":"","sources":["../../src/transformer/diagnostic-reporter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,CAAC;AAEZ;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,qBAAqB;IACrB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,oBAAoB;IACpB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,iCAAiC;IACjC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,4BAA4B;IAC5B,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC;CAC1C;AAID;;;;;;;;;;GAUG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,cAAc,EAAE,oBAAoB,CAAC,CA0QnF,CAAC;AAIF;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAC9B,cAAc,EAAE,cAAc,EAC9B,IAAI,EAAE,EAAE,CAAC,IAAI,EACb,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,IAAI,EAAE,cAAc,GACnB,EAAE,CAAC,UAAU,CAqBf"}

package/dist/transformer/diagnostic-reporter.js

@@ -0,0 +1,330 @@
+"use strict";
+/**
+ * diagnostic-reporter — `ts.Diagnostic` 組立・集約
+ *
+ * Task 5.5:
+ * - 源位置・識別子名・カテゴリ・修正例テンプレートから `ts.Diagnostic` を組立
+ * - エラーコード DT001〜DT010 を割り当てるテーブルを定義
+ *
+ * 観測可能な完了:
+ *   `tests/transformer/diagnostic.test.ts` で各カテゴリのメッセージに
+ *   「源位置」「識別子名」「修正例」文字列が含まれる
+ *
+ * 対応 requirements: 2.5, 2.7, 3.3
+ * 対応 design: diagnostic-reporter, Error Message Template (DT001〜DT010)
+ */
+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.DIAGNOSTIC_TABLE = void 0;
+exports.createDiagnostic = createDiagnostic;
+const ts = __importStar(require("typescript"));
+// ---- DIAGNOSTIC_TABLE -------------------------------------------------------
+/**
+ * DT001〜DT010 のエラーコードテーブル。
+ *
+ * 設計 §Error Message Template を参照（design.md）:
+ *   error DT001: Closure capture outside whitelist ...
+ *     identifier 'outsideVar' is captured from module scope
+ *     note: allowed: state API ...
+ *     help: if 'outsideVar' is a state, declare it via root.state(...)
+ *
+ * 真実の源泉は 1 つ（Design D-6）: 全エラーはここで一元定義する。
+ */
+exports.DIAGNOSTIC_TABLE = {
+    /**
+     * DT001: ホワイトリスト外のクロージャ捕捉（Req 3.2, 3.3）
+     *
+     * 発生条件: ハンドラ本体内で、state API / event-param / local / builtin 以外の
+     * 識別子を参照した場合
+     */
+    DT001: {
+        code: 9001,
+        messageTemplate: "DT001: Closure capture outside whitelist is not allowed in DraftOle handlers. " +
+            "Identifier '{identifierName}' is captured from outer scope. " +
+            "Allowed: state API (root.state / .get / .set / .update / .map / .field / .each), " +
+            "event argument (first parameter), built-ins (Math, JSON, String, Number, ...). " +
+            "Fix: {fixExample}",
+        suggestion: "If the identifier is a state, declare it via 'root.state(...)' and call through that handle. " +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT002: 空本体の警告（Req 2.6）
+     *
+     * 発生条件: `() => {}` のように本体が空のアロー関数が渡された場合。
+     * ビルドは継続するが警告を出す。
+     */
+    DT002: {
+        code: 9002,
+        messageTemplate: "DT002: Arrow function handler '{identifierName}' has empty body '() => {}'. " +
+            "This handler will be registered but will have no effect. " +
+            "Fix: {fixExample}",
+        suggestion: "ハンドラ本体に処理を追加してください。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Warning,
+    },
+    /**
+     * DT003: 非アロー関数エラー（Req 2.4）
+     *
+     * 発生条件: `.on` の第2引数として、アロー関数ではなく関数宣言・メソッド参照・
+     * 変数経由ハンドラ等が渡された場合
+     */
+    DT003: {
+        code: 9003,
+        messageTemplate: "DT003: '.on' second argument must be an arrow function, but got '{identifierName}'. " +
+            "Only arrow functions are supported by the DraftOle transformer. " +
+            "Fix: {fixExample}",
+        suggestion: "アロー関数 (e) => { ... } を使用してください。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT004: async/await 禁止（Req 4.8）
+     *
+     * 発生条件: ハンドラ内に `await` 式が含まれる場合
+     */
+    DT004: {
+        code: 9004,
+        messageTemplate: "DT004: Forbidden syntax 'async/await' is not allowed in DraftOle handlers. " +
+            "Identifier '{identifierName}' is used in an async context. " +
+            "async/await is not serializable. " +
+            "Fix: {fixExample}",
+        suggestion: "async/await はシリアライズできません。同期コードに書き換えてください。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT005: yield/generator 禁止（Req 4.8）
+     *
+     * 発生条件: ハンドラ内に `yield` 式が含まれる場合
+     */
+    DT005: {
+        code: 9005,
+        messageTemplate: "DT005: Forbidden syntax 'yield' is not allowed in DraftOle handlers. " +
+            "Identifier '{identifierName}' uses yield/generator syntax. " +
+            "Generator functions are not serializable. " +
+            "Fix: {fixExample}",
+        suggestion: "generator/yield はシリアライズできません。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT006: ++ / -- 禁止（Req 4.8）
+     *
+     * 発生条件: ハンドラ内に後置/前置インクリメント・デクリメント演算子が含まれる場合
+     */
+    DT006: {
+        code: 9006,
+        messageTemplate: "DT006: Forbidden syntax '++/--' is not allowed in DraftOle handlers. " +
+            "Identifier '{identifierName}' uses postfix/prefix increment or decrement. " +
+            "Use state.update(fn) or state.set(state.get() +/- 1) instead. " +
+            "Fix: {fixExample}",
+        suggestion: "state.set(state.get() + 1) を使用してください。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT007: デコレータ禁止（Req 4.8）
+     *
+     * 発生条件: ハンドラ内にデコレータ構文が含まれる場合
+     */
+    DT007: {
+        code: 9007,
+        messageTemplate: "DT007: Forbidden syntax 'decorator' is not allowed in DraftOle handlers. " +
+            "Identifier '{identifierName}' uses a decorator. " +
+            "デコレータはシリアライズできません。" +
+            "Fix: {fixExample}",
+        suggestion: "デコレータをハンドラ内から取り除いてください。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT008: 禁止グローバル（window/globalThis 等）（Req 3.2）
+     *
+     * 発生条件: ハンドラ内で window / globalThis / global / self を参照した場合
+     */
+    DT008: {
+        code: 9008,
+        messageTemplate: "DT008: Forbidden global '{identifierName}' is not allowed in DraftOle handlers. " +
+            "window/globalThis are not available in the serialized handler context. " +
+            "Use state API or event parameters instead. " +
+            "Fix: {fixExample}",
+        suggestion: "window/globalThis はハンドラ内では使用できません。state API を使用してください。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT009: transformer 内部エラー
+     *
+     * 発生条件: transformer 自体の内部例外（TypeScript API 仕様変更等）
+     */
+    DT009: {
+        code: 9009,
+        messageTemplate: "DT009: DraftOle transformer internal error while processing '{identifierName}'. " +
+            "This may be caused by a TypeScript version incompatibility. " +
+            "バージョンを確認してください。" +
+            "Fix: {fixExample}",
+        suggestion: "draftole-transformer のバージョンを確認してください。" +
+            "See docs/api/handler-serialization.md",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT010: 追加情報・汎用メッセージ
+     *
+     * 発生条件: 上記以外の追加情報提供が必要な場合
+     */
+    DT010: {
+        code: 9010,
+        messageTemplate: "DT010: DraftOle handler validation note for '{identifierName}'. " +
+            "{fixExample}",
+        suggestion: "docs/api/handler-serialization.md を参照してください。",
+        category: ts.DiagnosticCategory.Message,
+    },
+    /**
+     * DT011: 解決不能 State 識別子（Req 4.1, 4.2）
+     *
+     * 発生条件: 型リテラル経路でも fallback でも解決できない State 識別子参照
+     * （例: 複数 Root、関数ヘルパー経由の State 生成、構造化代入など）。
+     * 設計 §`diagnostic-reporter.ts 変更点` を参照。
+     */
+    DT011: {
+        code: 9011,
+        messageTemplate: "DT011: State identifier '{identifierName}' cannot be resolved without fallback assumptions. " +
+            "Annotate the State with a string literal type, e.g. {fixExample}.",
+        suggestion: "State 宣言に文字列リテラル型注釈を付与してください（例: root.state<\"my-state-id\">(initial)）。",
+        category: ts.DiagnosticCategory.Error,
+    },
+    /**
+     * DT012: ヘルパー関数インライン展開対象外（transformer-inline-recovery-spec）
+     *
+     * 発生条件: ハンドラ直下の ExpressionStatement の中で、ヘルパー関数候補が
+     * inline recovery のサポート形状（ゼロ引数・モジュールレベル・const アロー・1段）
+     * を満たさない場合に発行される。
+     *
+     * 既定カテゴリは Suggestion（`DraftoleTransformerOptions.strictHelpers: true`
+     * で Warning に切替）。Error ではないため、ファイル全体の rewrite 抑制には寄与しない。
+     *
+     * `inline-recovery.ts` の `buildRejectionDiagnostics` で実際の messageText を
+     * 構築するため、ここで定義する `messageTemplate` は createDiagnostic 経由の
+     * 簡易呼び出し用（テスト等）にのみ用いられる。
+     */
+    DT012: {
+        code: 9012,
+        messageTemplate: "DT012: Helper '{identifierName}' is not eligible for inline recovery ({fixExample}). " +
+            "Supported shape: zero-argument module-level const arrow function, single level.",
+        suggestion: "ヘルパーをゼロ引数のモジュールレベル const アロー関数に書き換えるか、ハンドラ本体に展開してください。",
+        category: ts.DiagnosticCategory.Suggestion,
+    },
+    /**
+     * DT013: __draftole_label__ 注入不能（class-name-varname-extraction spec）
+     *
+     * 発生条件: `theme.class(...)` の varName ラベリング対象を検出したが、
+     * 当該ファイルに DraftOle からの import が存在せず、`__draftole_label__`
+     * を注入できない場合に発行される。
+     *
+     * Suggestion カテゴリ。Error ではないため、ファイル全体の rewrite 抑制には寄与しない。
+     * 該当呼び出しの wrap はスキップされ、クラス名は匿名フォールバック形式となる。
+     */
+    DT013: {
+        code: 9013,
+        messageTemplate: "DT013: Cannot inject __draftole_label__ for theme.class() varName extraction on '{identifierName}': " +
+            "no existing DraftOle import found in this file. " +
+            "The class name will fall back to the anonymous format. " +
+            "Fix: {fixExample}",
+        suggestion: "DraftOle からの named import（例: import { Root } from 'draft-ole'）を当該ファイルに追加してください。",
+        category: ts.DiagnosticCategory.Suggestion,
+    },
+    /**
+     * DT014: enclosing-helper recovery 不可能な helper 形状（helper-inline-recovery spec / TXDX-2）
+     *
+     * 発生条件: `.on(arrow)` を内包するモジュールレベル helper を発見したが、
+     * 採用形状（zero-parameter module-level const arrow function、一貫した
+     * each-scope context を持つ call-site 群）を満たさない場合に発行される。
+     *
+     * 既定カテゴリは Error。`helper-context-resolver.ts` の
+     * `buildEnclosingHelperDiagnostic` で実際の messageText を構築するため、
+     * ここで定義する `messageTemplate` は createDiagnostic 経由の簡易呼び出し用
+     * （テスト等）にのみ用いられる。
+     *
+     * 注: 本診断は `hasFileError` 集計から除外され、同一ファイル内の他の `.on`
+     * 書き換えは継続される（helper 経由箇所のみスキップ）。
+     */
+    DT014: {
+        code: 9014,
+        messageTemplate: "DT014: Enclosing helper '{identifierName}' is not eligible for inline-recovery. Fix: {fixExample}",
+        suggestion: "ヘルパーをゼロ引数のモジュールレベル const アロー関数に書き換えるか、呼び出し位置で .on(...) を直接記述してください。",
+        category: ts.DiagnosticCategory.Error,
+    },
+};
+// ---- createDiagnostic -------------------------------------------------------
+/**
+ * エラーコード・ノード・sourceFile・データから `ts.Diagnostic` を組み立てる。
+ *
+ * 組み立てルール（Req 2.5, 3.3）:
+ * 1. `node.getStart()` で源位置（start）を計算する
+ * 2. `node.getWidth()` で長さ（length）を計算する
+ * 3. messageTemplate 内の `{identifierName}` を data.identifierName で置換する
+ * 4. messageTemplate 内の `{fixExample}` を data.fixExample で置換する
+ * 5. `file` を sourceFile に設定する
+ * 6. `category` をテーブルから取得する
+ * 7. `code` をテーブルから取得する
+ * 8. `source` を 'draftole-transformer' に設定する
+ *
+ * @param diagnosticCode  DiagnosticCode (DT001〜DT010)
+ * @param node            エラー対象の ts.Node（位置計算に使用）
+ * @param sourceFile      対象ソースファイル
+ * @param data            識別子名と修正例
+ * @returns               組み立てた ts.Diagnostic
+ */
+function createDiagnostic(diagnosticCode, node, sourceFile, data) {
+    const entry = exports.DIAGNOSTIC_TABLE[diagnosticCode];
+    // 源位置の計算（Req 2.5）
+    const start = node.getStart(sourceFile, false);
+    const length = node.getWidth(sourceFile);
+    // messageTemplate のプレースホルダー置換
+    const messageText = entry.messageTemplate
+        .replace(/{identifierName}/g, data.identifierName)
+        .replace(/{fixExample}/g, data.fixExample);
+    return {
+        file: sourceFile,
+        start,
+        length,
+        messageText,
+        category: entry.category,
+        code: entry.code,
+        source: 'draftole-transformer',
+    };
+}
+//# sourceMappingURL=diagnostic-reporter.js.map

package/dist/transformer/diagnostic-reporter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostic-reporter.js","sourceRoot":"","sources":["../../src/transformer/diagnostic-reporter.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;GAaG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsWH,4CA0BC;AA9XD,+CAAiC;AAsDjC,gFAAgF;AAEhF;;;;;;;;;;GAUG;AACU,QAAA,gBAAgB,GAA2D;IACtF;;;;;OAKG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,gFAAgF;YAChF,8DAA8D;YAC9D,mFAAmF;YACnF,iFAAiF;YACjF,mBAAmB;QACrB,UAAU,EACR,+FAA+F;YAC/F,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;;OAKG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,8EAA8E;YAC9E,2DAA2D;YAC3D,mBAAmB;QACrB,UAAU,EACR,qBAAqB;YACrB,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO;KACxC;IAED;;;;;OAKG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,sFAAsF;YACtF,kEAAkE;YAClE,mBAAmB;QACrB,UAAU,EACR,iCAAiC;YACjC,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;OAIG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,6EAA6E;YAC7E,6DAA6D;YAC7D,mCAAmC;YACnC,mBAAmB;QACrB,UAAU,EACR,2CAA2C;YAC3C,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;OAIG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,uEAAuE;YACvE,6DAA6D;YAC7D,4CAA4C;YAC5C,mBAAmB;QACrB,UAAU,EACR,+BAA+B;YAC/B,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;OAIG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,uEAAuE;YACvE,4EAA4E;YAC5E,gEAAgE;YAChE,mBAAmB;QACrB,UAAU,EACR,uCAAuC;YACvC,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;OAIG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,2EAA2E;YAC3E,kDAAkD;YAClD,oBAAoB;YACpB,mBAAmB;QACrB,UAAU,EACR,yBAAyB;YACzB,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;OAIG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,kFAAkF;YAClF,yEAAyE;YACzE,6CAA6C;YAC7C,mBAAmB;QACrB,UAAU,EACR,wDAAwD;YACxD,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;OAIG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,kFAAkF;YAClF,8DAA8D;YAC9D,iBAAiB;YACjB,mBAAmB;QACrB,UAAU,EACR,uCAAuC;YACvC,uCAAuC;QACzC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;OAIG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,kEAAkE;YAClE,cAAc;QAChB,UAAU,EACR,8CAA8C;QAChD,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,OAAO;KACxC;IAED;;;;;;OAMG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,8FAA8F;YAC9F,mEAAmE;QACrE,UAAU,EACR,wEAAwE;QAC1E,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,uFAAuF;YACvF,iFAAiF;QACnF,UAAU,EACR,wDAAwD;QAC1D,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU;KAC3C;IAED;;;;;;;;;OASG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,sGAAsG;YACtG,kDAAkD;YAClD,yDAAyD;YACzD,mBAAmB;QACrB,UAAU,EACR,iFAAiF;QACnF,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU;KAC3C;IAED;;;;;;;;;;;;;;OAcG;IACH,KAAK,EAAE;QACL,IAAI,EAAE,IAAI;QACV,eAAe,EACb,mGAAmG;QACrG,UAAU,EACR,qEAAqE;QACvE,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;KACtC;CACF,CAAC;AAEF,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;GAkBG;AACH,SAAgB,gBAAgB,CAC9B,cAA8B,EAC9B,IAAa,EACb,UAAyB,EACzB,IAAoB;IAEpB,MAAM,KAAK,GAAG,wBAAgB,CAAC,cAAc,CAAC,CAAC;IAE/C,kBAAkB;IAClB,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAEzC,8BAA8B;IAC9B,MAAM,WAAW,GAAG,KAAK,CAAC,eAAe;SACtC,OAAO,CAAC,mBAAmB,EAAE,IAAI,CAAC,cAAc,CAAC;SACjD,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IAE7C,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK;QACL,MAAM;QACN,WAAW;QACX,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,MAAM,EAAE,sBAAsB;KAC/B,CAAC;AACJ,CAAC"}

package/dist/transformer/each-scope-branch.d.ts

@@ -0,0 +1,28 @@
+/**
+ * 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 行を超えるため別ファイルへ分散)。
+ */
+import type { OnCallInfo } from './call-detector';
+import type { EachScopeOutcome, PreCheckOutcome, TransformerBaseContext } from './per-call-context';
+/**
+ * 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 を含む)
+ */
+export declare function runEachScopeBranch(base: TransformerBaseContext, callInfo: OnCallInfo, preCheck: PreCheckOutcome): EachScopeOutcome;
+//# sourceMappingURL=each-scope-branch.d.ts.map

package/dist/transformer/each-scope-branch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"each-scope-branch.d.ts","sourceRoot":"","sources":["../../src/transformer/each-scope-branch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AASlD,OAAO,KAAK,EACV,gBAAgB,EAChB,eAAe,EACf,sBAAsB,EACvB,MAAM,oBAAoB,CAAC;AAmF5B;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,sBAAsB,EAC5B,QAAQ,EAAE,UAAU,EACpB,QAAQ,EAAE,eAAe,GACxB,gBAAgB,CAalB"}