draft-ole 0.9.0

package/dist/transformer/label-injector.js

@@ -0,0 +1,221 @@
+"use strict";
+/**
+ * label-injector: 抽出済み varName を用いて、対象 CallExpression を
+ * `__draftole_label__(<origCall>, "<varName>")` の形にラップする AST プリミティブを提供する。
+ *
+ * # 役割
+ * - 本モジュールは **AST ノードを構築するだけ** で、SourceFile への変異は一切行わない。
+ *   呼び出し側（task 4.7 の transformer pipeline）が printer / replace で適用する。
+ *
+ * # `__draftole_label__` の import 戦略（reuse-existing-import）
+ * design §label-injector の方針:
+ *   1. 既に DraftOle が export している識別子（`KNOWN_DRAFTOLE_IDENTIFIERS`）のいずれかを
+ *      named import で取り込んでいる ImportDeclaration をファイル先頭から探索する。
+ *   2. 見つかった ImportDeclaration の `moduleSpecifier` をそのまま再利用し、
+ *      その named imports に `__draftole_label__` を **追加** する。
+ *   3. 見つからない場合は新規 import を生成せず、対象ファイルの書き換えをスキップし、
+ *      pipeline 側で diagnostic コード `DT013`（Suggestion カテゴリ）を発行する。
+ *
+ * # DT013 フォールバック方針
+ * `findDraftOleImport` が `undefined` を返した場合、呼び出し側 pipeline は:
+ *   - 新規 import を作らない
+ *   - 当該ファイルの label 注入をスキップする
+ *   - `fileDiagnostics` に Suggestion カテゴリ・コード `DT013` の `ts.Diagnostic` を push する
+ * 本モジュールはあくまでプリミティブを提供するのみで、上記オーケストレーションは行わない。
+ *
+ * 対応 requirements: 4.1, 4.2, 4.5
+ * 対応 design: §label-injector
+ */
+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.findDraftOleImport = findDraftOleImport;
+exports.hasLabelImport = hasLabelImport;
+exports.buildLabeledCall = buildLabeledCall;
+exports.createLabelImportDeclaration = createLabelImportDeclaration;
+exports.createLabelRequireStatement = createLabelRequireStatement;
+const ts = __importStar(require("typescript"));
+// ---- 既知 DraftOle 識別子セット（import site 検出用） -----------------------
+/**
+ * DraftOle が公開している代表的な named export 群。
+ * このうちいずれか1つでも named import に含まれている ImportDeclaration を
+ * 「DraftOle import site」とみなす。
+ */
+const KNOWN_DRAFTOLE_IDENTIFIERS = new Set([
+    'el',
+    'theme',
+    'css',
+    'Root',
+    'FileExporter',
+    'button',
+    'div',
+    'html',
+    'body',
+    'view',
+    'Page',
+    'App',
+    'bindEach',
+]);
+const LABEL_IDENTIFIER = '__draftole_label__';
+/**
+ * SourceFile を走査し、再利用可能な DraftOle named import を探す。
+ *
+ * 仕様:
+ * - `ts.ImportDeclaration` を順に検査する。
+ * - `importClause.namedBindings` が `ts.NamedImports` の場合のみ対象。
+ *   （`NamespaceImport` の場合は本モジュールでは扱わない。）
+ * - いずれかの `ImportSpecifier.name.text` が `KNOWN_DRAFTOLE_IDENTIFIERS` に含まれていれば
+ *   その import を採用する（**ファイル中で最初に一致したもの**）。
+ * - 該当が無ければ `undefined` を返す。
+ *
+ * # 呼び出し側への期待
+ * `undefined` が返った場合、pipeline は label 注入をスキップし、
+ * Suggestion カテゴリの diagnostic（コード `DT013`）を発行すること。
+ */
+function findDraftOleImport(sourceFile) {
+    for (const stmt of sourceFile.statements) {
+        if (!ts.isImportDeclaration(stmt))
+            continue;
+        const importClause = stmt.importClause;
+        if (!importClause)
+            continue;
+        const namedBindings = importClause.namedBindings;
+        if (!namedBindings || !ts.isNamedImports(namedBindings))
+            continue;
+        const hasKnown = namedBindings.elements.some((spec) => KNOWN_DRAFTOLE_IDENTIFIERS.has(spec.name.text));
+        if (!hasKnown)
+            continue;
+        // ImportDeclaration の moduleSpecifier は必ず StringLiteral。
+        const moduleSpecifier = stmt.moduleSpecifier.text;
+        return {
+            importDecl: stmt,
+            moduleSpecifier,
+        };
+    }
+    return undefined;
+}
+/**
+ * `__draftole_label__` が既に SourceFile の named imports に存在するかを判定する。
+ * 存在する場合は pipeline 側で import 追加処理をスキップできる。
+ */
+function hasLabelImport(sourceFile) {
+    for (const stmt of sourceFile.statements) {
+        if (!ts.isImportDeclaration(stmt))
+            continue;
+        const importClause = stmt.importClause;
+        if (!importClause)
+            continue;
+        const namedBindings = importClause.namedBindings;
+        if (!namedBindings || !ts.isNamedImports(namedBindings))
+            continue;
+        if (namedBindings.elements.some((spec) => spec.name.text === LABEL_IDENTIFIER)) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * `__draftole_label__(<callExpr>, "<varName>")` の CallExpression を構築する。
+ *
+ * - 純粋な AST 構築のみ。SourceFile への変異は行わない。
+ * - 返り値の型は元の式と同じ（runtime helper の signature が identity 型透過のため）。
+ */
+function buildLabeledCall(callExpr, varName) {
+    return ts.factory.createCallExpression(ts.factory.createIdentifier(LABEL_IDENTIFIER), 
+    /* typeArguments */ undefined, [callExpr, ts.factory.createStringLiteral(varName)]);
+}
+/**
+ * `__draftole_label__` を単独で named import する新規 ImportDeclaration を生成する。
+ *
+ * # 用途: emit-safe な import 注入
+ * 呼び出し側 pipeline は、本関数で生成した ImportDeclaration を
+ * SourceFile の statements 先頭に prepend することで `__draftole_label__` を
+ * 取り込む。`updateImportDeclaration` で既存 import を mutate する方式は
+ * TS→TS printing では問題なく動作するが、`program.emit()` 経由の TS→JS では
+ * binder が pre-transform 時点のシンボル表で識別子解決を行うため、後付けで
+ * 加えた named specifier が「bare identifier」として未解決化される。
+ *
+ * # 重要: emit substitution の限界
+ * TypeScript の ES→CJS modules transformer は、シンボル束縛済みの識別子のみ
+ * `draft_ole_N.__draftole_label__` 形に書き換える。transformer が新規追加した
+ * 識別子はシンボル束縛を持たないため、`import` 構文を新規追加するだけでは
+ * call site が bare identifier のまま emit され ReferenceError になる。
+ *
+ * このため、CommonJS ターゲット時は本関数ではなく
+ * {@link createLabelRequireStatement} を使い、`const { __draftole_label__ } = require(...)`
+ * を直接生成すること。本関数は ESM ターゲット / TS→TS printing 用途に残す。
+ *
+ * @param moduleSpecifier `findDraftOleImport` で取得した既存 draft-ole import の
+ *   module path をそのまま渡す。新規 import は同一 module を参照する必要がある。
+ */
+function createLabelImportDeclaration(moduleSpecifier) {
+    const factory = ts.factory;
+    return factory.createImportDeclaration(
+    /* modifiers */ undefined, factory.createImportClause(
+    /* isTypeOnly */ false, 
+    /* name */ undefined, factory.createNamedImports([
+        factory.createImportSpecifier(
+        /* isTypeOnly */ false, 
+        /* propertyName */ undefined, factory.createIdentifier(LABEL_IDENTIFIER)),
+    ])), factory.createStringLiteral(moduleSpecifier));
+}
+/**
+ * CommonJS 出力向けの `__draftole_label__` 取り込み文を生成する。
+ *
+ * 生成形:
+ *   `const { __draftole_label__ } = require('<moduleSpecifier>');`
+ *
+ * TS の ES→CJS modules transformer による識別子置換に依存しないため、
+ * transformer が新規追加した識別子でも安全に解決される。
+ *
+ * 呼び出し側 pipeline は、`compilerOptions.module` が CommonJS 系の場合に
+ * 本関数の戻り値を SourceFile.statements の先頭に prepend する。
+ */
+function createLabelRequireStatement(moduleSpecifier) {
+    const factory = ts.factory;
+    const labelIdent = factory.createIdentifier(LABEL_IDENTIFIER);
+    return factory.createVariableStatement(
+    /* modifiers */ undefined, factory.createVariableDeclarationList([
+        factory.createVariableDeclaration(factory.createObjectBindingPattern([
+            factory.createBindingElement(
+            /* dotDotDotToken */ undefined, 
+            /* propertyName */ undefined, labelIdent, 
+            /* initializer */ undefined),
+        ]), 
+        /* exclamationToken */ undefined, 
+        /* type */ undefined, factory.createCallExpression(factory.createIdentifier('require'), 
+        /* typeArguments */ undefined, [factory.createStringLiteral(moduleSpecifier)])),
+    ], ts.NodeFlags.Const));
+}
+//# sourceMappingURL=label-injector.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"label-injector.js","sourceRoot":"","sources":["../../src/transformer/label-injector.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyDH,gDAqBC;AAMD,wCAaC;AAQD,4CASC;AA0BD,oEAmBC;AAcD,kEA8BC;AAzMD,+CAAiC;AAEjC,mEAAmE;AAEnE;;;;GAIG;AACH,MAAM,0BAA0B,GAAwB,IAAI,GAAG,CAAS;IACtE,IAAI;IACJ,OAAO;IACP,KAAK;IACL,MAAM;IACN,cAAc;IACd,QAAQ;IACR,KAAK;IACL,MAAM;IACN,MAAM;IACN,MAAM;IACN,MAAM;IACN,KAAK;IACL,UAAU;CACX,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAe9C;;;;;;;;;;;;;;GAcG;AACH,SAAgB,kBAAkB,CAAC,UAAyB;IAC1D,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACvC,IAAI,CAAC,YAAY;YAAE,SAAS;QAC5B,MAAM,aAAa,GAAG,YAAY,CAAC,aAAa,CAAC;QACjD,IAAI,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC;YAAE,SAAS;QAElE,MAAM,QAAQ,GAAG,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACpD,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAC/C,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,SAAS;QAExB,yDAAyD;QACzD,MAAM,eAAe,GAAI,IAAI,CAAC,eAAoC,CAAC,IAAI,CAAC;QACxE,OAAO;YACL,UAAU,EAAE,IAAI;YAChB,eAAe;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,SAAgB,cAAc,CAAC,UAAyB;IACtD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACzC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACvC,IAAI,CAAC,YAAY;YAAE,SAAS;QAC5B,MAAM,aAAa,GAAG,YAAY,CAAC,aAAa,CAAC;QACjD,IAAI,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC;YAAE,SAAS;QAElE,IAAI,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;YAC/E,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,SAAgB,gBAAgB,CAC9B,QAA2B,EAC3B,OAAe;IAEf,OAAO,EAAE,CAAC,OAAO,CAAC,oBAAoB,CACpC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC;IAC7C,mBAAmB,CAAC,SAAS,EAC7B,CAAC,QAAQ,EAAE,EAAE,CAAC,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CACpD,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,SAAgB,4BAA4B,CAC1C,eAAuB;IAEvB,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;IAC3B,OAAO,OAAO,CAAC,uBAAuB;IACpC,eAAe,CAAC,SAAS,EACzB,OAAO,CAAC,kBAAkB;IACxB,gBAAgB,CAAC,KAAK;IACtB,UAAU,CAAC,SAAS,EACpB,OAAO,CAAC,kBAAkB,CAAC;QACzB,OAAO,CAAC,qBAAqB;QAC3B,gBAAgB,CAAC,KAAK;QACtB,kBAAkB,CAAC,SAAS,EAC5B,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAC3C;KACF,CAAC,CACH,EACD,OAAO,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,2BAA2B,CACzC,eAAuB;IAEvB,MAAM,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;IAC3B,MAAM,UAAU,GAAG,OAAO,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,CAAC;IAC9D,OAAO,OAAO,CAAC,uBAAuB;IACpC,eAAe,CAAC,SAAS,EACzB,OAAO,CAAC,6BAA6B,CACnC;QACE,OAAO,CAAC,yBAAyB,CAC/B,OAAO,CAAC,0BAA0B,CAAC;YACjC,OAAO,CAAC,oBAAoB;YAC1B,oBAAoB,CAAC,SAAS;YAC9B,kBAAkB,CAAC,SAAS,EAC5B,UAAU;YACV,iBAAiB,CAAC,SAAS,CAC5B;SACF,CAAC;QACF,sBAAsB,CAAC,SAAS;QAChC,UAAU,CAAC,SAAS,EACpB,OAAO,CAAC,oBAAoB,CAC1B,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;QACnC,mBAAmB,CAAC,SAAS,EAC7B,CAAC,OAAO,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAC/C,CACF;KACF,EACD,EAAE,CAAC,SAAS,CAAC,KAAK,CACnB,CACF,CAAC;AACJ,CAAC"}

package/dist/transformer/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "commonjs"
+}

package/dist/transformer/per-call-context.d.ts

@@ -0,0 +1,95 @@
+import type * as ts from 'typescript';
+import type { OnCallInfo } from './call-detector';
+import type { EachScopeContext } from './each-state-rewriter';
+import type { HandlerIR, IdentifierRef } from './handler-ir-extractor';
+import type { StateIdFallback } from './state-id-fallback';
+/**
+ * factory invocation 全体で共有される base context。
+ * 1 つの SourceFile 変換中、すべての per-call step に同一の base が渡される。
+ */
+export interface TransformerBaseContext {
+    readonly program: ts.Program;
+    readonly checker: ts.TypeChecker;
+    readonly sourceFile: ts.SourceFile;
+    readonly extraWhitelist: readonly string[];
+    readonly strictHelpers: boolean;
+    readonly helperCallSites: readonly ts.CallExpression[];
+    /** state-id-fallback: SourceFile 全体スキャンで構築した stateIdMap フォールバック契約。 */
+    readonly fallback: StateIdFallback;
+    /** デバッグログ出力フラグ (options.debug 由来)。inline-recovery 等で console 出力に使用。 */
+    readonly debug: boolean;
+}
+/**
+ * 1 件の .on(event, arrow) 呼出に対する pipeline 完了時点の不変記録 (assembled-at-end pattern)。
+ * 各 step は本 context 全体ではなく必要 field のみを個別 parameter で受け取る (Req 6.2)。
+ * factory main loop が末尾で literal として組み立てる。詳細は design.md / research.md 参照。
+ */
+export interface PerCallContext {
+    readonly base: TransformerBaseContext;
+    readonly callInfo: OnCallInfo;
+    readonly preCheck: PreCheckOutcome;
+    readonly extraction: IRExtractionOutcome;
+    readonly identifiers: IdentifierCollectionOutcome;
+    readonly validation: ValidationOutcome;
+    readonly resolution: StateResolutionOutcome;
+}
+/** Phase 1: helper-aware pre-check の outcome */
+export interface PreCheckOutcome {
+    readonly helperPathUsed: boolean;
+    readonly inheritedEachContext: EachScopeContext | null;
+    readonly inheritedEachParamSymbols: ReadonlySet<ts.Symbol> | undefined;
+    readonly diagnostics: readonly ts.Diagnostic[];
+}
+/** Phase 2a: handler IR 抽出の outcome */
+export interface IRExtractionOutcome {
+    readonly ir: HandlerIR;
+    readonly diagnostics: readonly ts.Diagnostic[];
+}
+/** Phase 2b: identifier collection の outcome */
+export interface IdentifierCollectionOutcome {
+    readonly refs: readonly IdentifierRef[];
+}
+/** Phase 3: whitelist validation の outcome */
+export interface ValidationOutcome {
+    readonly hasErrors: boolean;
+    readonly diagnostics: readonly ts.Diagnostic[];
+}
+/**
+ * Phase 4: state resolution の outcome。
+ * discriminated union で recovery / each-scope / skipped 分岐を型レベルに表現する (Req 4.5)。
+ */
+export type StateResolutionOutcome = {
+    readonly kind: 'recovery';
+    readonly outcome: RecoveryOutcome;
+} | {
+    readonly kind: 'each-scope';
+    readonly outcome: EachScopeOutcome;
+} | {
+    readonly kind: 'skipped';
+    readonly diagnostics: readonly ts.Diagnostic[];
+};
+/** Phase 4a: inline recovery branch の outcome */
+export interface RecoveryOutcome {
+    readonly success: boolean;
+    readonly stateIdMap: ReadonlyMap<ts.Symbol, string>;
+    readonly inlineMap: ReadonlyMap<string, ts.ArrowFunction> | undefined;
+    readonly diagnostics: readonly ts.Diagnostic[];
+}
+/** Phase 4b: each-scope branch の outcome */
+export interface EachScopeOutcome {
+    readonly stateIdMap: ReadonlyMap<ts.Symbol, string>;
+    readonly eachScopeParams: ReadonlyMap<string, string> | undefined;
+    readonly diagnostics: readonly ts.Diagnostic[];
+}
+/** Phase 5: handler serialization の outcome (既存 serializeHandler 戻り値の wrapper) */
+export interface SerializationOutcome {
+    readonly serialized: {
+        readonly code: string;
+        readonly params: readonly string[];
+    };
+}
+/** Phase 6: command injection の outcome (既存 injectCommand 戻り値の wrapper) */
+export interface InjectionOutcome {
+    readonly rewritten: ts.CallExpression;
+}
+//# sourceMappingURL=per-call-context.d.ts.map

package/dist/transformer/per-call-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"per-call-context.d.ts","sourceRoot":"","sources":["../../src/transformer/per-call-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE3D;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,eAAe,EAAE,SAAS,EAAE,CAAC,cAAc,EAAE,CAAC;IACvD,sEAAsE;IACtE,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,uEAAuE;IACvE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,WAAW,EAAE,2BAA2B,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC;CAC7C;AAED,gDAAgD;AAChD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,oBAAoB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,yBAAyB,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC;IACvE,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAC;CAChD;AAED,uCAAuC;AACvC,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAC;CAChD;AAED,gDAAgD;AAChD,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;CACzC;AAED,8CAA8C;AAC9C,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAC;CAChD;AAED;;;GAGG;AACH,MAAM,MAAM,sBAAsB,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAA;CAAE,CAAC;AAEjF,iDAAiD;AACjD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,SAAS,CAAC;IACtE,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAC;CAChD;AAED,4CAA4C;AAC5C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAC;CAChD;AAED,kFAAkF;AAClF,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;KACpC,CAAC;CACH;AAED,2EAA2E;AAC3E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,EAAE,CAAC,cAAc,CAAC;CACvC"}

package/dist/transformer/per-call-context.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=per-call-context.js.map

package/dist/transformer/per-call-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"per-call-context.js","sourceRoot":"","sources":["../../src/transformer/per-call-context.ts"],"names":[],"mappings":""}

package/dist/transformer/state-id-fallback.d.ts

@@ -0,0 +1,85 @@
+/**
+ * state-id-fallback.ts
+ *
+ * State ランタイム ID 解決の補助経路（フォールバック）を局所化するモジュール。
+ *
+ * canonical 経路（型リテラル `_runtimeId` の抽出）が値を返せない場合に限り、
+ * AST 後順走査で構築した「変数名 → ランタイム ID」マップを参照する。
+ *
+ * Task 2.1: フォールバック責務を `state-id-resolver.ts` から分離する。
+ *
+ * 公開 API:
+ *   - StateIdFallback           : フォールバック契約のインタフェース
+ *   - createSourceStateNameFallback(sourceFile, checker)
+ *                                : 単一ソースファイル走査ベースの StateIdFallback を生成するファクトリ
+ *   - buildSourceStateNameMap(sourceFile, checker)
+ *                                : 旧 API（後方互換のため公開）
+ *
+ * 受容パターン（resolve が値を返せる構造）:
+ *   - 単一 Root インスタンスを持つソースファイル
+ *   - `const x = state(...)` のように VariableDeclaration の initializer に
+ *     直接 State/Computed 生成式が代入されているケース
+ *
+ * 非受容パターン（フォールバックでは解決不可）:
+ *   - 複数 Root インスタンス（カウンタが共有されないため）
+ *   - ヘルパー関数で State 生成をラップしたケース
+ *   - 分割代入で受け取るケース
+ *   - オブジェクトリテラルのプロパティに代入するケース
+ *   - 関数からの直接 return（変数名が存在しない）
+ */
+import * as ts from 'typescript';
+/**
+ * State ランタイム ID 解決のフォールバック契約。
+ *
+ * canonical 経路（`resolveStateIdByType`）が null を返した識別子に対して、
+ * このインタフェースの `resolve` が補助的に値を返せる場合に使用される。
+ */
+export interface StateIdFallback {
+    /**
+     * 識別子ノードからランタイム ID を解決する。
+     *
+     * @param identNode  解決対象の識別子ノード
+     * @returns          ランタイム ID（"s0" など）または null（解決不可）
+     */
+    resolve(identNode: ts.Identifier): string | null;
+    /**
+     * 当該識別子がフォールバック適用対象かを判定する。
+     *
+     * 真値条件: `_runtimeId` の文字列リテラル型が取得不能（canonical 経路で null）
+     * かつ `isStateTypeNode` が true（State/Computed 型である）。
+     *
+     * @param identNode  検査対象の識別子ノード
+     * @returns          フォールバック適用対象であれば true
+     */
+    supportsPattern(identNode: ts.Identifier): boolean;
+}
+/**
+ * ソースファイル全体を後順走査し、`StateIdFallback` を生成するファクトリ。
+ *
+ * 構築時に一度だけ `buildSourceStateNameMap` を実行し、以降の `resolve` は
+ * 構築済みマップへのルックアップに委譲する（O(1)）。
+ *
+ * @param sourceFile  走査対象のソースファイル
+ * @param checker     TypeChecker
+ * @returns           StateIdFallback 実装
+ */
+export declare function createSourceStateNameFallback(sourceFile: ts.SourceFile, checker: ts.TypeChecker): StateIdFallback;
+/**
+ * ソースファイル内の State/Computed 生成呼び出しを後順走査でカウントし、
+ * 変数名 → ランタイム ID（"s0", "s1", …）のマップを構築する。
+ *
+ * StateRegistry.allocateId() の実行順を静的に再現する。
+ * 後順走査はチェーン `x.state().map()` の内側呼び出しを先にカウントするため
+ * ランタイムの左辺優先評価と一致する。
+ *
+ * @param sourceFile  走査対象のソースファイル
+ * @param checker     TypeChecker
+ * @returns           変数名 → ランタイム ID の ReadonlyMap
+ *
+ * @remarks
+ * **制約**:
+ * - 単一 Root インスタンスを持つファイルでのみ信頼できる
+ * - ネストされたスコープ・ヘルパー抽象化内の State 生成はサポート外
+ */
+export declare function buildSourceStateNameMap(sourceFile: ts.SourceFile, checker: ts.TypeChecker): ReadonlyMap<string, string>;
+//# sourceMappingURL=state-id-fallback.d.ts.map

package/dist/transformer/state-id-fallback.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-id-fallback.d.ts","sourceRoot":"","sources":["../../src/transformer/state-id-fallback.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC;;;;;GAKG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;OAKG;IACH,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,GAAG,MAAM,GAAG,IAAI,CAAC;IAEjD;;;;;;;;OAQG;IACH,eAAe,CAAC,SAAS,EAAE,EAAE,CAAC,UAAU,GAAG,OAAO,CAAC;CACpD;AAED;;;;;;;;;GASG;AACH,wBAAgB,6BAA6B,CAC3C,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,eAAe,CAcjB;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CA4B7B"}

package/dist/transformer/state-id-fallback.js

@@ -0,0 +1,132 @@
+"use strict";
+/**
+ * state-id-fallback.ts
+ *
+ * State ランタイム ID 解決の補助経路（フォールバック）を局所化するモジュール。
+ *
+ * canonical 経路（型リテラル `_runtimeId` の抽出）が値を返せない場合に限り、
+ * AST 後順走査で構築した「変数名 → ランタイム ID」マップを参照する。
+ *
+ * Task 2.1: フォールバック責務を `state-id-resolver.ts` から分離する。
+ *
+ * 公開 API:
+ *   - StateIdFallback           : フォールバック契約のインタフェース
+ *   - createSourceStateNameFallback(sourceFile, checker)
+ *                                : 単一ソースファイル走査ベースの StateIdFallback を生成するファクトリ
+ *   - buildSourceStateNameMap(sourceFile, checker)
+ *                                : 旧 API（後方互換のため公開）
+ *
+ * 受容パターン（resolve が値を返せる構造）:
+ *   - 単一 Root インスタンスを持つソースファイル
+ *   - `const x = state(...)` のように VariableDeclaration の initializer に
+ *     直接 State/Computed 生成式が代入されているケース
+ *
+ * 非受容パターン（フォールバックでは解決不可）:
+ *   - 複数 Root インスタンス（カウンタが共有されないため）
+ *   - ヘルパー関数で State 生成をラップしたケース
+ *   - 分割代入で受け取るケース
+ *   - オブジェクトリテラルのプロパティに代入するケース
+ *   - 関数からの直接 return（変数名が存在しない）
+ */
+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.createSourceStateNameFallback = createSourceStateNameFallback;
+exports.buildSourceStateNameMap = buildSourceStateNameMap;
+const ts = __importStar(require("typescript"));
+const state_id_resolver_1 = require("./state-id-resolver");
+/**
+ * ソースファイル全体を後順走査し、`StateIdFallback` を生成するファクトリ。
+ *
+ * 構築時に一度だけ `buildSourceStateNameMap` を実行し、以降の `resolve` は
+ * 構築済みマップへのルックアップに委譲する（O(1)）。
+ *
+ * @param sourceFile  走査対象のソースファイル
+ * @param checker     TypeChecker
+ * @returns           StateIdFallback 実装
+ */
+function createSourceStateNameFallback(sourceFile, checker) {
+    const nameToId = buildSourceStateNameMap(sourceFile, checker);
+    return {
+        resolve(identNode) {
+            var _a;
+            return (_a = nameToId.get(identNode.text)) !== null && _a !== void 0 ? _a : null;
+        },
+        supportsPattern(identNode) {
+            return ((0, state_id_resolver_1.resolveStateIdByType)(identNode, checker) === null &&
+                (0, state_id_resolver_1.isStateTypeNode)(identNode, checker));
+        },
+    };
+}
+/**
+ * ソースファイル内の State/Computed 生成呼び出しを後順走査でカウントし、
+ * 変数名 → ランタイム ID（"s0", "s1", …）のマップを構築する。
+ *
+ * StateRegistry.allocateId() の実行順を静的に再現する。
+ * 後順走査はチェーン `x.state().map()` の内側呼び出しを先にカウントするため
+ * ランタイムの左辺優先評価と一致する。
+ *
+ * @param sourceFile  走査対象のソースファイル
+ * @param checker     TypeChecker
+ * @returns           変数名 → ランタイム ID の ReadonlyMap
+ *
+ * @remarks
+ * **制約**:
+ * - 単一 Root インスタンスを持つファイルでのみ信頼できる
+ * - ネストされたスコープ・ヘルパー抽象化内の State 生成はサポート外
+ */
+function buildSourceStateNameMap(sourceFile, checker) {
+    const nameToId = new Map();
+    let counter = 0;
+    function visit(node) {
+        // 後順: 子を先に走査
+        ts.forEachChild(node, visit);
+        if (!ts.isCallExpression(node))
+            return;
+        // 返り値が State/Computed 型である CallExpression のみカウント
+        if (!(0, state_id_resolver_1.isStateTypeNode)(node, checker))
+            return;
+        const id = `s${counter++}`;
+        // このノードが VariableDeclaration の initializer に直接代入されているか確認
+        const parent = node.parent;
+        if (parent !== undefined &&
+            ts.isVariableDeclaration(parent) &&
+            ts.isIdentifier(parent.name)) {
+            nameToId.set(parent.name.text, id);
+        }
+    }
+    visit(sourceFile);
+    return nameToId;
+}
+//# sourceMappingURL=state-id-fallback.js.map

package/dist/transformer/state-id-fallback.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-id-fallback.js","sourceRoot":"","sources":["../../src/transformer/state-id-fallback.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CH,sEAiBC;AAmBD,0DA+BC;AA3GD,+CAAiC;AACjC,2DAA4E;AA6B5E;;;;;;;;;GASG;AACH,SAAgB,6BAA6B,CAC3C,UAAyB,EACzB,OAAuB;IAEvB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;IAE9D,OAAO;QACL,OAAO,CAAC,SAAwB;;YAC9B,OAAO,MAAA,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,mCAAI,IAAI,CAAC;QAC9C,CAAC;QACD,eAAe,CAAC,SAAwB;YACtC,OAAO,CACL,IAAA,wCAAoB,EAAC,SAAS,EAAE,OAAO,CAAC,KAAK,IAAI;gBACjD,IAAA,mCAAe,EAAC,SAAS,EAAE,OAAO,CAAC,CACpC,CAAC;QACJ,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,SAAgB,uBAAuB,CACrC,UAAyB,EACzB,OAAuB;IAEvB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC3C,IAAI,OAAO,GAAG,CAAC,CAAC;IAEhB,SAAS,KAAK,CAAC,IAAa;QAC1B,aAAa;QACb,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE7B,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,OAAO;QAEvC,iDAAiD;QACjD,IAAI,CAAC,IAAA,mCAAe,EAAC,IAAI,EAAE,OAAO,CAAC;YAAE,OAAO;QAE5C,MAAM,EAAE,GAAG,IAAI,OAAO,EAAE,EAAE,CAAC;QAE3B,yDAAyD;QACzD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IACE,MAAM,KAAK,SAAS;YACpB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;YAChC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAC5B,CAAC;YACD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,QAAQ,CAAC;AAClB,CAAC"}