draft-ole 0.9.0

package/dist/transformer/varname-resolver.d.ts

@@ -0,0 +1,53 @@
+import * as ts from 'typescript';
+/**
+ * varname-resolver
+ * =================
+ *
+ * `theme.class(...)` の CallExpression に対して、ビルド時に AST 文脈から
+ * 「この呼び出しがどのような名前を持つ場所に書かれているか」を読み取り、
+ * scoped CSS class name に埋め込むためのラベル文字列（varName）を返す。
+ *
+ * 戦略は 3 階層で、上から順に評価し、最初に該当した tier の結果を採用する。
+ *
+ * Tier 1 — declaration (requirements §1, §2)
+ *   親が `ts.VariableDeclaration` でその initializer が当該 callExpr の場合、
+ *   宣言名 (Identifier) を採用する。const / let / var は区別しない。
+ *   親チェーンを辿る必要はない（AST 上「直接の親」が最内の宣言である）。
+ *
+ * Tier 2 — class carrier prop (requirements §3.1, §3.3)
+ *   親が `ts.PropertyAssignment` でその value が当該 callExpr、かつ prop 名が
+ *   `CLASS_CARRIER_PROP_NAMES` に含まれる場合のみ発動。
+ *   prop 名自体は varName に採用せず、以下の優先順位で fallback ラベルを合成する:
+ *     (a) 同じ ObjectLiteralExpression 内の `id` / `name` / `data-testid` 文字列リテラル
+ *     (b) 親 factory 呼び出しのタグ名と役割属性（`button` / `input` の `type`）
+ *     (c) いずれも該当しない場合は undefined を返し、Tier 3 へフォールスルー
+ *
+ * Tier 3 — function argument (requirements §3.4, §3.5)
+ *   親が `ts.CallExpression` で当該 callExpr がその引数の 1 つの場合、
+ *   親呼び出しの関数名（Identifier / PropertyAccessExpression の末尾 name）を採用。
+ *
+ * すべての出力は `sanitizeVarName` で正規化・24 文字制限を経由する。
+ * 正規化結果が空文字列になる場合は undefined を返す。
+ */
+/**
+ * Tier 2 で「class carrier」と認識する prop 名集合。
+ * 将来 `style` や `cssClass` などが追加された場合はここ 1 箇所を変更する。
+ * design ↔ requirements §3.1 の同期を保つために export 公開する。
+ */
+export declare const CLASS_CARRIER_PROP_NAMES: readonly ["css"];
+/**
+ * CSS class name フラグメント用に varName を正規化する。
+ * - lower-case 化
+ * - [a-z0-9-] 以外を `-` に置換
+ * - 連続する `-` を 1 つに畳む
+ * - 端の `-` を除去
+ * - 24 文字で切り詰め（末尾 `-` は再除去）
+ * - 結果が空なら空文字列を返す
+ */
+export declare function sanitizeVarName(raw: string): string;
+/**
+ * theme.class(...) CallExpression に対して 3-tier 戦略で varName を解決する。
+ * 抽出不能時、または sanitize 後に空文字列になる場合は undefined を返す。
+ */
+export declare function resolveVarName(callExpr: ts.CallExpression, sourceFile: ts.SourceFile, _checker: ts.TypeChecker): string | undefined;
+//# sourceMappingURL=varname-resolver.d.ts.map

package/dist/transformer/varname-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"varname-resolver.d.ts","sourceRoot":"","sources":["../../src/transformer/varname-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,kBAAmB,CAAC;AAIzD;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAWnD;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,EAAE,CAAC,cAAc,EAC3B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,QAAQ,EAAE,EAAE,CAAC,WAAW,GACvB,MAAM,GAAG,SAAS,CAQpB"}

package/dist/transformer/varname-resolver.js

@@ -0,0 +1,231 @@
+"use strict";
+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.CLASS_CARRIER_PROP_NAMES = void 0;
+exports.sanitizeVarName = sanitizeVarName;
+exports.resolveVarName = resolveVarName;
+const ts = __importStar(require("typescript"));
+/**
+ * varname-resolver
+ * =================
+ *
+ * `theme.class(...)` の CallExpression に対して、ビルド時に AST 文脈から
+ * 「この呼び出しがどのような名前を持つ場所に書かれているか」を読み取り、
+ * scoped CSS class name に埋め込むためのラベル文字列（varName）を返す。
+ *
+ * 戦略は 3 階層で、上から順に評価し、最初に該当した tier の結果を採用する。
+ *
+ * Tier 1 — declaration (requirements §1, §2)
+ *   親が `ts.VariableDeclaration` でその initializer が当該 callExpr の場合、
+ *   宣言名 (Identifier) を採用する。const / let / var は区別しない。
+ *   親チェーンを辿る必要はない（AST 上「直接の親」が最内の宣言である）。
+ *
+ * Tier 2 — class carrier prop (requirements §3.1, §3.3)
+ *   親が `ts.PropertyAssignment` でその value が当該 callExpr、かつ prop 名が
+ *   `CLASS_CARRIER_PROP_NAMES` に含まれる場合のみ発動。
+ *   prop 名自体は varName に採用せず、以下の優先順位で fallback ラベルを合成する:
+ *     (a) 同じ ObjectLiteralExpression 内の `id` / `name` / `data-testid` 文字列リテラル
+ *     (b) 親 factory 呼び出しのタグ名と役割属性（`button` / `input` の `type`）
+ *     (c) いずれも該当しない場合は undefined を返し、Tier 3 へフォールスルー
+ *
+ * Tier 3 — function argument (requirements §3.4, §3.5)
+ *   親が `ts.CallExpression` で当該 callExpr がその引数の 1 つの場合、
+ *   親呼び出しの関数名（Identifier / PropertyAccessExpression の末尾 name）を採用。
+ *
+ * すべての出力は `sanitizeVarName` で正規化・24 文字制限を経由する。
+ * 正規化結果が空文字列になる場合は undefined を返す。
+ */
+/**
+ * Tier 2 で「class carrier」と認識する prop 名集合。
+ * 将来 `style` や `cssClass` などが追加された場合はここ 1 箇所を変更する。
+ * design ↔ requirements §3.1 の同期を保つために export 公開する。
+ */
+exports.CLASS_CARRIER_PROP_NAMES = ['css'];
+const SIBLING_LABEL_PROP_PRIORITY = ['id', 'name', 'data-testid'];
+/**
+ * CSS class name フラグメント用に varName を正規化する。
+ * - lower-case 化
+ * - [a-z0-9-] 以外を `-` に置換
+ * - 連続する `-` を 1 つに畳む
+ * - 端の `-` を除去
+ * - 24 文字で切り詰め（末尾 `-` は再除去）
+ * - 結果が空なら空文字列を返す
+ */
+function sanitizeVarName(raw) {
+    if (!raw)
+        return '';
+    let s = raw.toLowerCase();
+    s = s.replace(/[^a-z0-9-]/g, '-');
+    s = s.replace(/-+/g, '-');
+    s = s.replace(/^-+|-+$/g, '');
+    if (s.length > 24) {
+        s = s.slice(0, 24);
+        s = s.replace(/-+$/g, '');
+    }
+    return s;
+}
+/**
+ * theme.class(...) CallExpression に対して 3-tier 戦略で varName を解決する。
+ * 抽出不能時、または sanitize 後に空文字列になる場合は undefined を返す。
+ */
+function resolveVarName(callExpr, sourceFile, _checker) {
+    var _a, _b;
+    const raw = (_b = (_a = tryTier1(callExpr, sourceFile)) !== null && _a !== void 0 ? _a : tryTier2(callExpr, sourceFile)) !== null && _b !== void 0 ? _b : tryTier3(callExpr, sourceFile);
+    if (raw === undefined)
+        return undefined;
+    const sanitized = sanitizeVarName(raw);
+    return sanitized.length > 0 ? sanitized : undefined;
+}
+// ----- Tier 1 ---------------------------------------------------------------
+function tryTier1(callExpr, sourceFile) {
+    const parent = callExpr.parent;
+    if (!parent || !ts.isVariableDeclaration(parent))
+        return undefined;
+    if (parent.initializer !== callExpr)
+        return undefined;
+    if (!ts.isIdentifier(parent.name))
+        return undefined;
+    return parent.name.getText(sourceFile);
+}
+// ----- Tier 2 ---------------------------------------------------------------
+function tryTier2(callExpr, sourceFile) {
+    const propAssign = callExpr.parent;
+    if (!propAssign || !ts.isPropertyAssignment(propAssign))
+        return undefined;
+    if (propAssign.initializer !== callExpr)
+        return undefined;
+    const propName = getPropertyName(propAssign);
+    if (propName === undefined)
+        return undefined;
+    if (!exports.CLASS_CARRIER_PROP_NAMES.includes(propName)) {
+        return undefined;
+    }
+    const objLit = propAssign.parent;
+    if (!objLit || !ts.isObjectLiteralExpression(objLit))
+        return undefined;
+    // (a) Sibling label props
+    const sibling = scanSiblingLabelProps(objLit, sourceFile);
+    if (sibling !== undefined)
+        return sibling;
+    // (b) Parent factory tag + role attribute
+    const factoryLabel = tryFactoryRoleLabel(objLit, sourceFile);
+    if (factoryLabel !== undefined)
+        return factoryLabel;
+    // (c) Fall through to Tier 3
+    return undefined;
+}
+function getPropertyName(prop) {
+    const name = prop.name;
+    if (ts.isIdentifier(name))
+        return name.text;
+    if (ts.isStringLiteral(name))
+        return name.text;
+    if (ts.isNoSubstitutionTemplateLiteral(name))
+        return name.text;
+    return undefined;
+}
+function getStringLiteralValue(node) {
+    if (ts.isStringLiteral(node))
+        return node.text;
+    if (ts.isNoSubstitutionTemplateLiteral(node))
+        return node.text;
+    return undefined;
+}
+function scanSiblingLabelProps(objLit, _sourceFile) {
+    for (const target of SIBLING_LABEL_PROP_PRIORITY) {
+        for (const member of objLit.properties) {
+            if (!ts.isPropertyAssignment(member))
+                continue;
+            const name = getPropertyName(member);
+            if (name !== target)
+                continue;
+            const value = getStringLiteralValue(member.initializer);
+            if (value !== undefined && value.length > 0) {
+                return value;
+            }
+        }
+    }
+    return undefined;
+}
+function tryFactoryRoleLabel(objLit, _sourceFile) {
+    const parent = objLit.parent;
+    if (!parent || !ts.isCallExpression(parent))
+        return undefined;
+    if (parent.arguments.length === 0 || parent.arguments[0] !== objLit) {
+        return undefined;
+    }
+    const tag = extractTagName(parent.expression);
+    if (tag === undefined)
+        return undefined;
+    if (tag === 'button' || tag === 'input') {
+        for (const member of objLit.properties) {
+            if (!ts.isPropertyAssignment(member))
+                continue;
+            if (getPropertyName(member) !== 'type')
+                continue;
+            const value = getStringLiteralValue(member.initializer);
+            if (value !== undefined && value.length > 0)
+                return value;
+        }
+    }
+    return undefined;
+}
+function extractTagName(expr) {
+    if (ts.isIdentifier(expr))
+        return expr.text;
+    if (ts.isPropertyAccessExpression(expr))
+        return expr.name.text;
+    return undefined;
+}
+// ----- Tier 3 ---------------------------------------------------------------
+function tryTier3(callExpr, _sourceFile) {
+    const parent = callExpr.parent;
+    if (!parent || !ts.isCallExpression(parent))
+        return undefined;
+    // callExpr must be an argument (not the callee itself).
+    if (parent.expression === callExpr)
+        return undefined;
+    let isArg = false;
+    for (const arg of parent.arguments) {
+        if (arg === callExpr) {
+            isArg = true;
+            break;
+        }
+    }
+    if (!isArg)
+        return undefined;
+    return extractTagName(parent.expression);
+}
+//# sourceMappingURL=varname-resolver.js.map

package/dist/transformer/varname-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"varname-resolver.js","sourceRoot":"","sources":["../../src/transformer/varname-resolver.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAmDA,0CAWC;AAMD,wCAYC;AAhFD,+CAAiC;AAEjC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH;;;;GAIG;AACU,QAAA,wBAAwB,GAAG,CAAC,KAAK,CAAU,CAAC;AAEzD,MAAM,2BAA2B,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,CAAU,CAAC;AAE3E;;;;;;;;GAQG;AACH,SAAgB,eAAe,CAAC,GAAW;IACzC,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,CAAC;IACpB,IAAI,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAC1B,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC;IAClC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC9B,IAAI,CAAC,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QAClB,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnB,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAC5B,QAA2B,EAC3B,UAAyB,EACzB,QAAwB;;IAExB,MAAM,GAAG,GACP,MAAA,MAAA,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,mCAC9B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,mCAC9B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;IACvC,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AACtD,CAAC;AAED,+EAA+E;AAE/E,SAAS,QAAQ,CACf,QAA2B,EAC3B,UAAyB;IAEzB,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IACnE,IAAI,MAAM,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACtD,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACpD,OAAO,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,+EAA+E;AAE/E,SAAS,QAAQ,CACf,QAA2B,EAC3B,UAAyB;IAEzB,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC;IACnC,IAAI,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IAC1E,IAAI,UAAU,CAAC,WAAW,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7C,IAAI,CAAE,gCAA8C,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC;IACjC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAEvE,0BAA0B;IAC1B,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC1D,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAE1C,0CAA0C;IAC1C,MAAM,YAAY,GAAG,mBAAmB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAC7D,IAAI,YAAY,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IAEpD,6BAA6B;IAC7B,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,eAAe,CAAC,IAA2B;IAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;IACvB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAa;IAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/C,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC/D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAkC,EAClC,WAA0B;IAE1B,KAAK,MAAM,MAAM,IAAI,2BAA2B,EAAE,CAAC;QACjD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC/C,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,IAAI,KAAK,MAAM;gBAAE,SAAS;YAC9B,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACxD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5C,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,mBAAmB,CAC1B,MAAkC,EAClC,WAA0B;IAE1B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9D,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;QACpE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAExC,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACxC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACvC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;gBAAE,SAAS;YAC/C,IAAI,eAAe,CAAC,MAAM,CAAC,KAAK,MAAM;gBAAE,SAAS;YACjD,MAAM,KAAK,GAAG,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACxD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB;IACzC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IAC5C,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC/D,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,+EAA+E;AAE/E,SAAS,QAAQ,CACf,QAA2B,EAC3B,WAA0B;IAE1B,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9D,wDAAwD;IACxD,IAAI,MAAM,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACnC,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,KAAK,GAAG,IAAI,CAAC;YACb,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,OAAO,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAC3C,CAAC"}

package/dist/transformer/whitelist-registry.d.ts

@@ -0,0 +1,68 @@
+/**
+ * whitelist-registry — ホワイトリストのデータ駆動定義
+ *
+ * Task 5.1: BUILTIN_GLOBALS 表と FORBIDDEN_SYNTAX 表を export const で定義する。
+ * テスト・validator・ドキュメントはこのモジュールの定数を直接参照することで、
+ * ホワイトリスト定義の「真実の源泉は 1 つ」原則（Design D-6）を実現する。
+ *
+ * - BUILTIN_GLOBALS: ハンドラ本体から参照可能な組み込みグローバル識別子の表
+ * - FORBIDDEN_SYNTAX: ハンドラ本体で禁止される TypeScript AST SyntaxKind の表
+ *
+ * 対応 requirements: 3.1, 3.7
+ * 対応 design: WhitelistRegistry, D-6
+ */
+import * as ts from 'typescript';
+/**
+ * ホワイトリストエントリ。
+ * tag に基づいて validator が参照する種別を識別する。
+ */
+export interface WhitelistEntry {
+    readonly tag: 'builtin-global' | 'builtin-method';
+    /** 識別子名（ルート識別子の名前） */
+    readonly name: string;
+    /** 許可する静的メソッド名（省略時はオブジェクト自体の参照のみ許可） */
+    readonly children?: readonly string[];
+}
+/**
+ * ハンドラ本体で参照可能な組み込みグローバル識別子の表。
+ *
+ * ホワイトリスト検査は「ルート識別子」のみを対象とする（Design D-1, Req 3.4）。
+ * children はドキュメント・IDE ヒント用であり、検査の対象外（チェーン先は検査しない）。
+ *
+ * 許可根拠（Req 3.1「純粋ビルトイン」):
+ *   String, Number, Boolean — プリミティブラッパー型変換
+ *   Array / Array.isArray / Array.from / Array.of — 配列操作
+ *   Math — 数値演算（Math.floor, Math.max 等）
+ *   JSON — シリアライズ（JSON.stringify, JSON.parse）
+ *   Object — オブジェクト操作（Object.keys, Object.values 等）
+ */
+export declare const BUILTIN_GLOBALS: readonly WhitelistEntry[];
+/**
+ * ハンドラ本体で禁止される TypeScript AST の SyntaxKind 表。
+ *
+ * whitelist-validator はハンドラ AST を走査し、この表に含まれる SyntaxKind を
+ * 発見した場合に ts.Diagnostic error を生成してビルドを停止する（Req 4.8）。
+ *
+ * 禁止根拠:
+ *   AwaitExpression  — async/await はシリアライズ対象外（Req 4.8, Boundary §対象外）
+ *   YieldExpression  — generator はシリアライズ対象外（同上）
+ *   PostfixUnaryExpression — ++ / -- の後置演算子（副作用あり、Req 4.8）
+ *   PrefixUnaryExpression  — ++ / -- の前置演算子（副作用あり、Req 4.8）
+ *   Decorator              — デコレータはシリアライズ対象外（Req 4.8）
+ *
+ * 注意: PrefixUnaryExpression は ! (論理否定) や - (単項マイナス) も含むが、
+ * whitelist-validator 側で演算子種別（SyntaxKind.PlusPlusToken など）を
+ * 確認してから違反判定する。ここでは種別登録のみ行う。
+ */
+export declare const FORBIDDEN_SYNTAX: readonly ts.SyntaxKind[];
+/**
+ * 識別子名が BUILTIN_GLOBALS に含まれるかを返す。
+ * whitelist-validator から呼び出す。
+ */
+export declare function isBuiltinGlobal(name: string): boolean;
+/**
+ * SyntaxKind が FORBIDDEN_SYNTAX に含まれるかを返す。
+ * whitelist-validator から呼び出す。
+ */
+export declare function isForbiddenSyntaxKind(kind: ts.SyntaxKind): boolean;
+//# sourceMappingURL=whitelist-registry.d.ts.map

package/dist/transformer/whitelist-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"whitelist-registry.d.ts","sourceRoot":"","sources":["../../src/transformer/whitelist-registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAIjC;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,gBAAgB,GAAG,gBAAgB,CAAC;IAClD,sBAAsB;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAID;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,eAAe,EAAE,SAAS,cAAc,EAcpD,CAAC;AAIF;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAAS,EAAE,CAAC,UAAU,EAMpD,CAAC;AAIF;;;GAGG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAErD;AAED;;;GAGG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAElE"}

package/dist/transformer/whitelist-registry.js

@@ -0,0 +1,122 @@
+"use strict";
+/**
+ * whitelist-registry — ホワイトリストのデータ駆動定義
+ *
+ * Task 5.1: BUILTIN_GLOBALS 表と FORBIDDEN_SYNTAX 表を export const で定義する。
+ * テスト・validator・ドキュメントはこのモジュールの定数を直接参照することで、
+ * ホワイトリスト定義の「真実の源泉は 1 つ」原則（Design D-6）を実現する。
+ *
+ * - BUILTIN_GLOBALS: ハンドラ本体から参照可能な組み込みグローバル識別子の表
+ * - FORBIDDEN_SYNTAX: ハンドラ本体で禁止される TypeScript AST SyntaxKind の表
+ *
+ * 対応 requirements: 3.1, 3.7
+ * 対応 design: WhitelistRegistry, D-6
+ */
+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.FORBIDDEN_SYNTAX = exports.BUILTIN_GLOBALS = void 0;
+exports.isBuiltinGlobal = isBuiltinGlobal;
+exports.isForbiddenSyntaxKind = isForbiddenSyntaxKind;
+const ts = __importStar(require("typescript"));
+// ---- BUILTIN_GLOBALS --------------------------------------------------------
+/**
+ * ハンドラ本体で参照可能な組み込みグローバル識別子の表。
+ *
+ * ホワイトリスト検査は「ルート識別子」のみを対象とする（Design D-1, Req 3.4）。
+ * children はドキュメント・IDE ヒント用であり、検査の対象外（チェーン先は検査しない）。
+ *
+ * 許可根拠（Req 3.1「純粋ビルトイン」):
+ *   String, Number, Boolean — プリミティブラッパー型変換
+ *   Array / Array.isArray / Array.from / Array.of — 配列操作
+ *   Math — 数値演算（Math.floor, Math.max 等）
+ *   JSON — シリアライズ（JSON.stringify, JSON.parse）
+ *   Object — オブジェクト操作（Object.keys, Object.values 等）
+ */
+exports.BUILTIN_GLOBALS = [
+    { tag: 'builtin-global', name: 'String' },
+    { tag: 'builtin-global', name: 'Number' },
+    { tag: 'builtin-global', name: 'Boolean' },
+    { tag: 'builtin-global', name: 'Array', children: ['isArray', 'from', 'of'] },
+    { tag: 'builtin-global', name: 'Math' },
+    { tag: 'builtin-global', name: 'JSON', children: ['stringify', 'parse'] },
+    { tag: 'builtin-global', name: 'Object', children: ['keys', 'values', 'entries', 'assign'] },
+    // console はデバッグ用として許可（Req 3.1「純粋ビルトイン」の補足）
+    { tag: 'builtin-global', name: 'console' },
+    // ブラウザ組み込みダイアログ（confirm / alert / prompt）はハンドラ内で常用される
+    { tag: 'builtin-global', name: 'confirm' },
+    { tag: 'builtin-global', name: 'alert' },
+    { tag: 'builtin-global', name: 'prompt' },
+];
+// ---- FORBIDDEN_SYNTAX -------------------------------------------------------
+/**
+ * ハンドラ本体で禁止される TypeScript AST の SyntaxKind 表。
+ *
+ * whitelist-validator はハンドラ AST を走査し、この表に含まれる SyntaxKind を
+ * 発見した場合に ts.Diagnostic error を生成してビルドを停止する（Req 4.8）。
+ *
+ * 禁止根拠:
+ *   AwaitExpression  — async/await はシリアライズ対象外（Req 4.8, Boundary §対象外）
+ *   YieldExpression  — generator はシリアライズ対象外（同上）
+ *   PostfixUnaryExpression — ++ / -- の後置演算子（副作用あり、Req 4.8）
+ *   PrefixUnaryExpression  — ++ / -- の前置演算子（副作用あり、Req 4.8）
+ *   Decorator              — デコレータはシリアライズ対象外（Req 4.8）
+ *
+ * 注意: PrefixUnaryExpression は ! (論理否定) や - (単項マイナス) も含むが、
+ * whitelist-validator 側で演算子種別（SyntaxKind.PlusPlusToken など）を
+ * 確認してから違反判定する。ここでは種別登録のみ行う。
+ */
+exports.FORBIDDEN_SYNTAX = [
+    ts.SyntaxKind.AwaitExpression,
+    ts.SyntaxKind.YieldExpression,
+    ts.SyntaxKind.PostfixUnaryExpression, // ++ / -- (後置)
+    ts.SyntaxKind.PrefixUnaryExpression, // ++ / -- (前置)
+    ts.SyntaxKind.Decorator, // デコレータ（Req 4.8）
+];
+// ---- ヘルパー関数 ------------------------------------------------------------
+/**
+ * 識別子名が BUILTIN_GLOBALS に含まれるかを返す。
+ * whitelist-validator から呼び出す。
+ */
+function isBuiltinGlobal(name) {
+    return exports.BUILTIN_GLOBALS.some((entry) => entry.name === name);
+}
+/**
+ * SyntaxKind が FORBIDDEN_SYNTAX に含まれるかを返す。
+ * whitelist-validator から呼び出す。
+ */
+function isForbiddenSyntaxKind(kind) {
+    return exports.FORBIDDEN_SYNTAX.includes(kind);
+}
+//# sourceMappingURL=whitelist-registry.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"whitelist-registry.js","sourceRoot":"","sources":["../../src/transformer/whitelist-registry.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;GAYG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAkFH,0CAEC;AAMD,sDAEC;AA1FD,+CAAiC;AAgBjC,gFAAgF;AAEhF;;;;;;;;;;;;GAYG;AACU,QAAA,eAAe,GAA8B;IACxD,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE;IACzC,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE;IACzC,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE;IAC1C,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;IAC7E,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE;IACvC,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE;IACzE,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,EAAE;IAC5F,2CAA2C;IAC3C,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE;IAC1C,sDAAsD;IACtD,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE;IAC1C,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE;IACxC,EAAE,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE;CAC1C,CAAC;AAEF,gFAAgF;AAEhF;;;;;;;;;;;;;;;;GAgBG;AACU,QAAA,gBAAgB,GAA6B;IACxD,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,eAAe;IAC7B,EAAE,CAAC,UAAU,CAAC,sBAAsB,EAAE,eAAe;IACrD,EAAE,CAAC,UAAU,CAAC,qBAAqB,EAAG,eAAe;IACrD,EAAE,CAAC,UAAU,CAAC,SAAS,EAAe,iBAAiB;CACxD,CAAC;AAEF,2EAA2E;AAE3E;;;GAGG;AACH,SAAgB,eAAe,CAAC,IAAY;IAC1C,OAAO,uBAAe,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,SAAgB,qBAAqB,CAAC,IAAmB;IACvD,OAAQ,wBAAsC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC"}

package/dist/transformer/whitelist-validator.d.ts

@@ -0,0 +1,59 @@
+/**
+ * whitelist-validator — ルート識別子・構文の検査
+ *
+ * Task 5.2:
+ * - `validateHandler(ir, refs, program, sourceFile, extraWhitelist?)` を export
+ * - 各 IdentifierRef を TypeChecker で型判定し `IdentifierKind` に分類
+ *   1. state/state-handle: DraftoleStateMarker プロパティの有無で判定
+ *   2. event-param: HandlerIR.paramName との一致
+ *   3. local: HandlerIR.localDecls との一致
+ *   4. builtin: BUILTIN_GLOBALS 照合（console を含む）
+ *   5. extraWhitelist: 追加ホワイトリスト識別子
+ * - unknown 検出時は ts.Diagnostic error を蓄積（全件走査）
+ *
+ * Task 5.3:
+ * - 二次コールバック再帰検査
+ * - .map(inner => ...) / .update(inner => ...) / .each(inner => ...) の
+ *   内部 ArrowFunction も同規則で検査
+ * - 内部アロー引数は event-param ではなく local として扱う
+ *
+ * 対応 requirements: 3.1, 3.2, 3.4, 3.5, 3.6
+ * 対応 design: whitelist-validator, D-1, D-7
+ */
+import * as ts from 'typescript';
+import type { HandlerIR, IdentifierRef } from './handler-ir-extractor.ts';
+/**
+ * `validateHandler` の任意オプション。
+ *
+ * Task 3.3 (TXDX-DX):
+ *   - `paramSymbols` を helper-aware な each-scope param Symbol 集合として受け取り、
+ *     `checker.getSymbolAtLocation(node)` が当該集合に含まれる識別子は
+ *     each-scope 内参照として許可する。
+ *   - helper 経由で `.each(item => helper())` の helper body 内 `item.set(...)` を
+ *     unknown 識別子として誤拒否しないために使用する。
+ *   - 直接 enclosing `.each` 経路でも同じ集合 (call-site の itemParam Symbol) を渡す
+ *     ことで分岐ロジックを統一する。
+ *   - 集合は inner-callback 再帰 (`.map/.update/.each` の内側 ArrowFunction) にも
+ *     継承される (helper-aware case (b) を inner-callback 内で誤拒否させない)。
+ */
+export interface ValidateHandlerOptions {
+    /** helper-aware で構築された each-scope param Symbol 集合 (Task 3.3) */
+    readonly paramSymbols?: ReadonlySet<ts.Symbol>;
+}
+/**
+ * ハンドラ内の識別子参照リストを検証し、unknown な識別子に対して
+ * `ts.Diagnostic` エラーを返す。
+ *
+ * - IdentifierRef の各要素を順番に判定する（全件走査）
+ * - unknown 検出時は即終了せず蓄積して全件返す（Req 2.7）
+ *
+ * @param ir            HandlerIR（paramName / localDecls を使用）
+ * @param refs          collectIdentifiers が返した IdentifierRef[]
+ * @param program       ts.Program（TypeChecker 取得に使用）
+ * @param sourceFile    対象ソースファイル（診断情報の位置用）
+ * @param extraWhitelist 追加ホワイトリスト識別子（DraftoleTransformerOptions.extraWhitelist）
+ * @param options       任意オプション (Task 3.3: helper-aware paramSymbols 等)
+ * @returns             unknown 識別子に対する ts.Diagnostic[]（PASS なら空配列）
+ */
+export declare function validateHandler(ir: HandlerIR, refs: IdentifierRef[], program: ts.Program, sourceFile: ts.SourceFile, extraWhitelist?: readonly string[], options?: ValidateHandlerOptions): ts.Diagnostic[];
+//# sourceMappingURL=whitelist-validator.d.ts.map

package/dist/transformer/whitelist-validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"whitelist-validator.d.ts","sourceRoot":"","sources":["../../src/transformer/whitelist-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAyW1E;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,sBAAsB;IACrC,gEAAgE;IAChE,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;CAChD;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,eAAe,CAC7B,EAAE,EAAE,SAAS,EACb,IAAI,EAAE,aAAa,EAAE,EACrB,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,EAClC,OAAO,CAAC,EAAE,sBAAsB,GAC/B,EAAE,CAAC,UAAU,EAAE,CAiGjB"}