@justscale/typescript 0.1.1

package/dist/compiler/rewriter.js

@@ -0,0 +1,418 @@
+/**
+ * @justscale/core/process - AST Rewriter
+ *
+ * Rewrites variable references in block bodies to use state.vars and services.
+ *
+ * Transforms:
+ * - Handler params (orderId) -> state.vars.orderId
+ * - Injected services (payments) -> services.payments
+ * - Local variables (payment) -> state.vars.payment
+ * - Using variables (order) -> state.vars.order (rehydrated before block)
+ */
+import ts from 'typescript';
+/**
+ * Rewrite a statement to use state.vars and services.
+ * Preserves source positions for accurate source maps.
+ */
+export function rewriteStatement(factory, stmt, ctx) {
+    const visitor = createRewriteVisitor(factory, ctx);
+    const result = ts.visitNode(stmt, visitor);
+    // Preserve source position from original statement for source maps
+    return ts.setTextRange(result, stmt);
+}
+/**
+ * Rewrite an expression to use state.vars and services.
+ * Preserves source positions for accurate source maps.
+ */
+export function rewriteExpression(factory, expr, ctx) {
+    const visitor = createRewriteVisitor(factory, ctx);
+    const result = ts.visitNode(expr, visitor);
+    // Preserve source position from original expression for source maps
+    return ts.setTextRange(result, expr);
+}
+/**
+ * Build a derived RewriterContext that removes the given names from all
+ * rewrite sets. Used when descending into a nested scope (function
+ * parameters, catch clause variable, for-of/in loop variable) where those
+ * names shadow the outer rewrite targets.
+ */
+function withShadowed(ctx, shadowed) {
+    if (shadowed.size === 0)
+        return ctx;
+    const subtract = (s) => {
+        const out = new Set();
+        for (const v of s)
+            if (!shadowed.has(v))
+                out.add(v);
+        return out;
+    };
+    const subtractMap = (m) => {
+        const out = new Map();
+        for (const [k, v] of m)
+            if (!shadowed.has(k))
+                out.set(k, v);
+        return out;
+    };
+    return {
+        paramVars: subtract(ctx.paramVars),
+        paramAliases: subtractMap(ctx.paramAliases),
+        serviceVars: subtract(ctx.serviceVars),
+        localVars: subtract(ctx.localVars),
+        usingVars: subtract(ctx.usingVars),
+        raceVars: subtract(ctx.raceVars),
+        blockLocalVars: ctx.blockLocalVars ? subtract(ctx.blockLocalVars) : undefined,
+        breakTarget: ctx.breakTarget,
+        continueTarget: ctx.continueTarget,
+    };
+}
+/**
+ * Collect parameter binding names from a function-like node.
+ */
+function collectParameterNames(params) {
+    const names = new Set();
+    for (const p of params) {
+        extractBindingNames(p.name, names);
+    }
+    return names;
+}
+/**
+ * Create a visitor that rewrites variable references.
+ */
+function createRewriteVisitor(factory, ctx) {
+    const visitor = (node) => {
+        // Preserve literals unchanged - they don't need rewriting and visitEachChild
+        // can corrupt them when no proper transformation context is provided
+        // Note: We create new literals to ensure they have proper node structure for printing
+        if (ts.isStringLiteral(node)) {
+            return factory.createStringLiteral(node.text);
+        }
+        if (ts.isNumericLiteral(node)) {
+            return factory.createNumericLiteral(node.text);
+        }
+        if (ts.isNoSubstitutionTemplateLiteral(node)) {
+            return factory.createNoSubstitutionTemplateLiteral(node.text, node.rawText);
+        }
+        if (node.kind === ts.SyntaxKind.TrueKeyword) {
+            return factory.createTrue();
+        }
+        if (node.kind === ts.SyntaxKind.FalseKeyword) {
+            return factory.createFalse();
+        }
+        if (node.kind === ts.SyntaxKind.NullKeyword) {
+            return factory.createNull();
+        }
+        // Nested function-like scopes: parameter bindings shadow outer locals.
+        // Build a sub-context with those names removed and recurse with a fresh
+        // visitor so neither the parameter declaration sites NOR body references
+        // to the shadowed names get rewritten to state.vars.* / services.*.
+        if (ts.isFunctionDeclaration(node) ||
+            ts.isFunctionExpression(node) ||
+            ts.isArrowFunction(node) ||
+            ts.isMethodDeclaration(node) ||
+            ts.isConstructorDeclaration(node) ||
+            ts.isGetAccessorDeclaration(node) ||
+            ts.isSetAccessorDeclaration(node)) {
+            const shadowed = collectParameterNames(node.parameters);
+            if (shadowed.size > 0) {
+                const subVisitor = createRewriteVisitor(factory, withShadowed(ctx, shadowed));
+                return ts.visitEachChild(node, subVisitor, undefined);
+            }
+        }
+        // for-of / for-in: the loop variable shadows outer names inside the
+        // body. The iterable expression evaluates in OUTER scope so it must
+        // not see the shadowing.
+        if (ts.isForOfStatement(node) || ts.isForInStatement(node)) {
+            const init = node.initializer;
+            if (init && ts.isVariableDeclarationList(init)) {
+                const shadowed = new Set();
+                for (const decl of init.declarations) {
+                    extractBindingNames(decl.name, shadowed);
+                }
+                if (shadowed.size > 0) {
+                    const subVisitor = createRewriteVisitor(factory, withShadowed(ctx, shadowed));
+                    const newExpr = ts.visitNode(node.expression, visitor);
+                    const newInit = ts.visitNode(node.initializer, subVisitor);
+                    const newStmt = ts.visitNode(node.statement, subVisitor);
+                    return ts.isForOfStatement(node)
+                        ? factory.updateForOfStatement(node, node.awaitModifier, newInit, newExpr, newStmt)
+                        : factory.updateForInStatement(node, newInit, newExpr, newStmt);
+                }
+            }
+        }
+        // Catch clause: the bound variable shadows outer names inside the block.
+        if (ts.isCatchClause(node) && node.variableDeclaration) {
+            const shadowed = new Set();
+            extractBindingNames(node.variableDeclaration.name, shadowed);
+            if (shadowed.size > 0) {
+                const subVisitor = createRewriteVisitor(factory, withShadowed(ctx, shadowed));
+                return ts.visitEachChild(node, subVisitor, undefined);
+            }
+        }
+        // Rewrite identifiers
+        if (ts.isIdentifier(node)) {
+            const name = node.text;
+            // Don't rewrite if it's a property name (handled by parent)
+            if (isPropertyName(node)) {
+                return node;
+            }
+            // Block-local variables - declared in this block, don't rewrite
+            if (ctx.blockLocalVars?.has(name)) {
+                return node;
+            }
+            // Service variable -> services.xxx
+            if (ctx.serviceVars.has(name)) {
+                return factory.createPropertyAccessExpression(factory.createIdentifier('services'), name);
+            }
+            // Param variable -> state.vars.xxx (using alias if renamed via destructuring)
+            if (ctx.paramVars.has(name)) {
+                const varName = ctx.paramAliases.get(name) ?? name;
+                return factory.createPropertyAccessExpression(factory.createPropertyAccessExpression(factory.createIdentifier('state'), 'vars'), varName);
+            }
+            // Race variable -> __raceResult (must check before localVars since r might be in both)
+            // Race variables (from const r = race()) hold the race result after resumption
+            if (ctx.raceVars?.has(name)) {
+                return factory.createIdentifier('__raceResult');
+            }
+            // Local variable -> state.vars.xxx
+            if (ctx.localVars.has(name)) {
+                return factory.createPropertyAccessExpression(factory.createPropertyAccessExpression(factory.createIdentifier('state'), 'vars'), name);
+            }
+            // Using variable -> keep as local variable (declared with let at function scope)
+            // These are rehydrated at resume points and accessed directly, not via state.vars
+            if (ctx.usingVars.has(name)) {
+                return node; // Keep as-is, it's a local variable
+            }
+        }
+        // Handle destructuring in variable declarations
+        if (ts.isVariableDeclaration(node)) {
+            // Skip rewriting the binding pattern itself
+            // Only rewrite the initializer
+            if (node.initializer) {
+                const newInitializer = ts.visitNode(node.initializer, visitor);
+                return factory.updateVariableDeclaration(node, node.name, node.exclamationToken, node.type, newInitializer);
+            }
+            return node;
+        }
+        // Handle shorthand property assignments: { orderId } -> { orderId: state.vars.orderId }
+        if (ts.isShorthandPropertyAssignment(node)) {
+            const name = node.name.text;
+            // Using vars are local, keep shorthand as-is (will reference local var)
+            if (ctx.usingVars.has(name)) {
+                return node;
+            }
+            if (ctx.paramVars.has(name) || ctx.localVars.has(name)) {
+                const varName = ctx.paramVars.has(name) ? (ctx.paramAliases.get(name) ?? name) : name;
+                return factory.createPropertyAssignment(node.name, factory.createPropertyAccessExpression(factory.createPropertyAccessExpression(factory.createIdentifier('state'), 'vars'), varName));
+            }
+            if (ctx.serviceVars.has(name)) {
+                return factory.createPropertyAssignment(node.name, factory.createPropertyAccessExpression(factory.createIdentifier('services'), name));
+            }
+        }
+        return ts.visitEachChild(node, visitor, undefined);
+    };
+    return visitor;
+}
+/**
+ * Check if an identifier is being used as a property name.
+ */
+function isPropertyName(node) {
+    const parent = node.parent;
+    // Cloned/synthesized nodes may not have parents
+    if (!parent) {
+        return false;
+    }
+    // Property access: obj.prop - don't rewrite 'prop'
+    if (ts.isPropertyAccessExpression(parent) && parent.name === node) {
+        return true;
+    }
+    // Property assignment: { prop: value } - don't rewrite 'prop'
+    if (ts.isPropertyAssignment(parent) && parent.name === node) {
+        return true;
+    }
+    // Method declaration: method() {} - don't rewrite 'method'
+    if (ts.isMethodDeclaration(parent) && parent.name === node) {
+        return true;
+    }
+    return false;
+}
+/**
+ * Extract param variable names from handler parameters.
+ *
+ * Handles both tuple and object destructuring:
+ *   handler(deps, [orderId])       -> paramVars: {orderId}, aliases: {}
+ *   handler(deps, { order: orderId }) -> paramVars: {orderId}, aliases: {orderId -> order}
+ *
+ * The aliases map local names to the param names from the path.
+ * The rewriter uses aliases to access state.vars[paramName] instead of state.vars[localName].
+ */
+export function extractParamVars(handler) {
+    const params = new Set();
+    const paramsParam = handler.parameters[1];
+    if (paramsParam) {
+        extractBindingNames(paramsParam.name, params);
+    }
+    return params;
+}
+/**
+ * Extract param aliases from object destructuring rename patterns.
+ *
+ * For `{ user: userId }`, returns Map { "userId" -> "user" }.
+ * The rewriter uses this to access `state.vars.user` when it sees `userId`.
+ */
+export function extractParamAliases(handler) {
+    const aliases = new Map();
+    const paramsParam = handler.parameters[1];
+    if (!paramsParam)
+        return aliases;
+    const binding = paramsParam.name;
+    if (!ts.isObjectBindingPattern(binding))
+        return aliases;
+    for (const element of binding.elements) {
+        if (!ts.isBindingElement(element))
+            continue;
+        // { user: userId } - propertyName is "user", name is "userId"
+        if (element.propertyName && ts.isIdentifier(element.propertyName) && ts.isIdentifier(element.name)) {
+            aliases.set(element.name.text, element.propertyName.text);
+        }
+    }
+    return aliases;
+}
+/**
+ * Extract service variable names from handler parameters.
+ *
+ * Handles: async handler({ payments, shipping }, [...])
+ */
+export function extractServiceVars(handler) {
+    const services = new Set();
+    // First parameter is the deps object: { payments, shipping }
+    const depsParam = handler.parameters[0];
+    if (depsParam) {
+        extractBindingNames(depsParam.name, services);
+    }
+    return services;
+}
+/**
+ * Extract variable names from a binding pattern.
+ */
+function extractBindingNames(name, result) {
+    if (ts.isIdentifier(name)) {
+        result.add(name.text);
+    }
+    else if (ts.isObjectBindingPattern(name)) {
+        for (const element of name.elements) {
+            if (ts.isBindingElement(element)) {
+                extractBindingNames(element.name, result);
+            }
+        }
+    }
+    else if (ts.isArrayBindingPattern(name)) {
+        for (const element of name.elements) {
+            if (ts.isBindingElement(element)) {
+                extractBindingNames(element.name, result);
+            }
+        }
+    }
+}
+/**
+ * Extract all variable names declared in a list of statements.
+ * Used to identify block-local variables that shouldn't be rewritten.
+ */
+export function extractDeclaredVars(statements) {
+    const vars = new Set();
+    for (const stmt of statements) {
+        if (ts.isVariableStatement(stmt)) {
+            for (const decl of stmt.declarationList.declarations) {
+                extractBindingNames(decl.name, vars);
+            }
+        }
+    }
+    return vars;
+}
+/**
+ * Clone an expression, creating synthesized nodes that can be printed.
+ * This is necessary when the original expression comes from a different source file.
+ */
+export function cloneExpression(factory, expr) {
+    // NumericLiteral
+    if (ts.isNumericLiteral(expr)) {
+        return factory.createNumericLiteral(expr.text);
+    }
+    // StringLiteral
+    if (ts.isStringLiteral(expr)) {
+        return factory.createStringLiteral(expr.text);
+    }
+    // Identifier
+    if (ts.isIdentifier(expr)) {
+        return factory.createIdentifier(expr.text);
+    }
+    // PropertyAccessExpression: obj.prop
+    if (ts.isPropertyAccessExpression(expr)) {
+        return factory.createPropertyAccessExpression(cloneExpression(factory, expr.expression), expr.name.text);
+    }
+    // ElementAccessExpression: obj[key]
+    if (ts.isElementAccessExpression(expr)) {
+        return factory.createElementAccessExpression(cloneExpression(factory, expr.expression), cloneExpression(factory, expr.argumentExpression));
+    }
+    // BinaryExpression: a + b, a * b, etc.
+    if (ts.isBinaryExpression(expr)) {
+        return factory.createBinaryExpression(cloneExpression(factory, expr.left), expr.operatorToken.kind, cloneExpression(factory, expr.right));
+    }
+    // ParenthesizedExpression: (expr)
+    if (ts.isParenthesizedExpression(expr)) {
+        return factory.createParenthesizedExpression(cloneExpression(factory, expr.expression));
+    }
+    // ConditionalExpression: cond ? a : b
+    if (ts.isConditionalExpression(expr)) {
+        return factory.createConditionalExpression(cloneExpression(factory, expr.condition), factory.createToken(ts.SyntaxKind.QuestionToken), cloneExpression(factory, expr.whenTrue), factory.createToken(ts.SyntaxKind.ColonToken), cloneExpression(factory, expr.whenFalse));
+    }
+    // CallExpression: fn(args)
+    if (ts.isCallExpression(expr)) {
+        return factory.createCallExpression(cloneExpression(factory, expr.expression), undefined, // type arguments
+        expr.arguments.map(arg => cloneExpression(factory, arg)));
+    }
+    // PrefixUnaryExpression: !x, -x, ++x
+    if (ts.isPrefixUnaryExpression(expr)) {
+        return factory.createPrefixUnaryExpression(expr.operator, cloneExpression(factory, expr.operand));
+    }
+    // PostfixUnaryExpression: x++, x--
+    if (ts.isPostfixUnaryExpression(expr)) {
+        return factory.createPostfixUnaryExpression(cloneExpression(factory, expr.operand), expr.operator);
+    }
+    // ObjectLiteralExpression: { a: 1, b: 2 }
+    if (ts.isObjectLiteralExpression(expr)) {
+        return factory.createObjectLiteralExpression(expr.properties.map(prop => {
+            if (ts.isPropertyAssignment(prop)) {
+                const name = ts.isIdentifier(prop.name)
+                    ? factory.createIdentifier(prop.name.text)
+                    : ts.isStringLiteral(prop.name)
+                        ? factory.createStringLiteral(prop.name.text)
+                        : ts.isNumericLiteral(prop.name)
+                            ? factory.createNumericLiteral(prop.name.text)
+                            : prop.name;
+                return factory.createPropertyAssignment(name, cloneExpression(factory, prop.initializer));
+            }
+            if (ts.isShorthandPropertyAssignment(prop)) {
+                return factory.createShorthandPropertyAssignment(prop.name.text);
+            }
+            return prop;
+        }), true);
+    }
+    // ArrayLiteralExpression: [a, b, c]
+    if (ts.isArrayLiteralExpression(expr)) {
+        return factory.createArrayLiteralExpression(expr.elements.map(el => cloneExpression(factory, el)));
+    }
+    // true/false literals
+    if (expr.kind === ts.SyntaxKind.TrueKeyword) {
+        return factory.createTrue();
+    }
+    if (expr.kind === ts.SyntaxKind.FalseKeyword) {
+        return factory.createFalse();
+    }
+    // null
+    if (expr.kind === ts.SyntaxKind.NullKeyword) {
+        return factory.createNull();
+    }
+    // Fallback: return original (may not print correctly)
+    return expr;
+}
+//# sourceMappingURL=rewriter.js.map

package/dist/compiler/rewriter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewriter.js","sourceRoot":"","sources":["../../src/compiler/rewriter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AA0C5B;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAuB,EACvB,IAAkB,EAClB,GAAoB;IAEpB,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAiB,CAAC;IAC3D,mEAAmE;IACnE,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAuB,EACvB,IAAmB,EACnB,GAAoB;IAEpB,MAAM,OAAO,GAAG,oBAAoB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAkB,CAAC;IAC5D,oEAAoE;IACpE,OAAO,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACvC,CAAC;AAED;;;;;GAKG;AACH,SAAS,YAAY,CAAC,GAAoB,EAAE,QAAqB;IAC/D,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACpC,MAAM,QAAQ,GAAG,CAAC,CAAc,EAAE,EAAE;QAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,CAAsB,EAAE,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,OAAO;QACL,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;QAClC,YAAY,EAAE,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC;QAC3C,WAAW,EAAE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC;QACtC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;QAClC,SAAS,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;QAClC,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC;QAChC,cAAc,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS;QAC7E,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,cAAc,EAAE,GAAG,CAAC,cAAc;KACnC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,MAA0C;IAE1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,mBAAmB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAC3B,OAAuB,EACvB,GAAoB;IAEpB,MAAM,OAAO,GAAe,CAAC,IAAa,EAAW,EAAE;QACrD,6EAA6E;QAC7E,qEAAqE;QACrE,sFAAsF;QACtF,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,EAAE,CAAC,+BAA+B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC,mCAAmC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QAC9E,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC;QAC9B,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;YAC7C,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC;QAC/B,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;YAC5C,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC;QAC9B,CAAC;QAED,uEAAuE;QACvE,wEAAwE;QACxE,yEAAyE;QACzE,oEAAoE;QACpE,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;YACxB,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;YACjC,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EACjC,CAAC;YACD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACxD,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC9E,OAAO,EAAE,CAAC,cAAc,CACtB,IAAI,EACJ,UAAU,EACV,SAAgD,CACjD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,oEAAoE;QACpE,oEAAoE;QACpE,yBAAyB;QACzB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;YAC9B,IAAI,IAAI,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;gBACnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBACrC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;gBAC3C,CAAC;gBACD,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;oBACtB,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;oBAC9E,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAkB,CAAC;oBACxE,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,CAAsB,CAAC;oBAChF,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAiB,CAAC;oBACzE,OAAO,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;wBAC9B,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC;wBACnF,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACvD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;YACnC,mBAAmB,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7D,IAAI,QAAQ,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;gBACtB,MAAM,UAAU,GAAG,oBAAoB,CAAC,OAAO,EAAE,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;gBAC9E,OAAO,EAAE,CAAC,cAAc,CACtB,IAAI,EACJ,UAAU,EACV,SAAgD,CACjD,CAAC;YACJ,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;YAEvB,4DAA4D;YAC5D,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC;YACd,CAAC;YAED,gEAAgE;YAChE,IAAI,GAAG,CAAC,cAAc,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,mCAAmC;YACnC,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO,OAAO,CAAC,8BAA8B,CAC3C,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,EACpC,IAAI,CACL,CAAC;YACJ,CAAC;YAED,8EAA8E;YAC9E,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;gBACnD,OAAO,OAAO,CAAC,8BAA8B,CAC3C,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACjC,MAAM,CACP,EACD,OAAO,CACR,CAAC;YACJ,CAAC;YAED,uFAAuF;YACvF,+EAA+E;YAC/E,IAAI,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,CAAC;YAClD,CAAC;YAED,mCAAmC;YACnC,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,OAAO,CAAC,8BAA8B,CAC3C,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACjC,MAAM,CACP,EACD,IAAI,CACL,CAAC;YACJ,CAAC;YAED,iFAAiF;YACjF,kFAAkF;YAClF,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC,CAAE,oCAAoC;YACpD,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,4CAA4C;YAC5C,+BAA+B;YAC/B,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,MAAM,cAAc,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAkB,CAAC;gBAChF,OAAO,OAAO,CAAC,yBAAyB,CACtC,IAAI,EACJ,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,gBAAgB,EACrB,IAAI,CAAC,IAAI,EACT,cAAc,CACf,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,wFAAwF;QACxF,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAE5B,wEAAwE;YACxE,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5B,OAAO,IAAI,CAAC;YACd,CAAC;YAED,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBACtF,OAAO,OAAO,CAAC,wBAAwB,CACrC,IAAI,CAAC,IAAI,EACT,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,EACjC,MAAM,CACP,EACD,OAAO,CACR,CACF,CAAC;YACJ,CAAC;YAED,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,OAAO,OAAO,CAAC,wBAAwB,CACrC,IAAI,CAAC,IAAI,EACT,OAAO,CAAC,8BAA8B,CACpC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC,EACpC,IAAI,CACL,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,SAAgD,CAAC,CAAC;IAC5F,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,gDAAgD;IAChD,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mDAAmD;IACnD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,8DAA8D;IAC9D,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC5D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,2DAA2D;IAC3D,IAAI,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAwE;IAExE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjC,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,WAAW,EAAE,CAAC;QAChB,mBAAmB,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAwE;IAExE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1C,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,CAAC,WAAW;QAAE,OAAO,OAAO,CAAC;IAEjC,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC;IACjC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;QAAE,OAAO,OAAO,CAAC;IAExD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAAE,SAAS;QAC5C,8DAA8D;QAC9D,IAAI,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YACnG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAwE;IAExE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,6DAA6D;IAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,SAAS,EAAE,CAAC;QACd,mBAAmB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAChD,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,IAAoB,EAAE,MAAmB;IACpE,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;SAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAA0B;IAC5D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACrD,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,OAAuB,EAAE,IAAmB;IAC1E,iBAAiB;IACjB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,gBAAgB;IAChB,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC;IAED,aAAa;IACb,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC;IAED,qCAAqC;IACrC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,OAAO,OAAO,CAAC,8BAA8B,CAC3C,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,EACzC,IAAI,CAAC,IAAI,CAAC,IAAI,CACf,CAAC;IACJ,CAAC;IAED,oCAAoC;IACpC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,OAAO,CAAC,6BAA6B,CAC1C,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,EACzC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,kBAAkB,CAAC,CAClD,CAAC;IACJ,CAAC;IAED,uCAAuC;IACvC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,OAAO,CAAC,sBAAsB,CACnC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,EACnC,IAAI,CAAC,aAAa,CAAC,IAAyB,EAC5C,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CACrC,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,OAAO,CAAC,6BAA6B,CAC1C,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,CAC1C,CAAC;IACJ,CAAC;IAED,sCAAsC;IACtC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,OAAO,CAAC,2BAA2B,CACxC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,EACxC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAChD,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,EACvC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAC7C,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CACzC,CAAC;IACJ,CAAC;IAED,2BAA2B;IAC3B,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,oBAAoB,CACjC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,EACzC,SAAS,EAAE,iBAAiB;QAC5B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CACzD,CAAC;IACJ,CAAC;IAED,qCAAqC;IACrC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;QACrC,OAAO,OAAO,CAAC,2BAA2B,CACxC,IAAI,CAAC,QAAQ,EACb,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CACvC,CAAC;IACJ,CAAC;IAED,mCAAmC;IACnC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,4BAA4B,CACzC,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EACtC,IAAI,CAAC,QAAQ,CACd,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,OAAO,OAAO,CAAC,6BAA6B,CAC1C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YACzB,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;oBACrC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC1C,CAAC,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC7B,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC7C,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;4BAC9B,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;4BAC9C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClB,OAAO,OAAO,CAAC,wBAAwB,CACrC,IAAI,EACJ,eAAe,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,CAAC,CAC3C,CAAC;YACJ,CAAC;YACD,IAAI,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,OAAO,OAAO,CAAC,iCAAiC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,EACF,IAAI,CACL,CAAC;IACJ,CAAC;IAED,oCAAoC;IACpC,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,OAAO,OAAO,CAAC,4BAA4B,CACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,eAAe,CAAC,OAAO,EAAE,EAAmB,CAAC,CAAC,CACvE,CAAC;IACJ,CAAC;IAED,sBAAsB;IACtB,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,YAAY,EAAE,CAAC;QAC7C,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC;IAC/B,CAAC;IAED,OAAO;IACP,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;QAC5C,OAAO,OAAO,CAAC,UAAU,EAAE,CAAC;IAC9B,CAAC;IAED,sDAAsD;IACtD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/compiler/step-hash.d.ts

@@ -0,0 +1,43 @@
+/**
+ * @justscale/core/process - Step Hash Computation
+ *
+ * Computes stable hashes for process steps to enable:
+ * 1. Persistence stability (code changes don't break suspended processes)
+ * 2. Version migration detection
+ * 3. Debugging/tracing
+ *
+ * Hash inputs:
+ * - Step type (entry, resume, branch)
+ * - Signal/timer being waited on (for resume steps)
+ * - Suspension index within the function
+ * - Control flow context
+ */
+import type { AnalysisResult } from './analyzer.js';
+export interface StepHashInput {
+    type: 'entry' | 'block' | 'resume' | 'branch';
+    opcodeRange: {
+        start: number;
+        end: number;
+    };
+    index: number;
+}
+/**
+ * Compute a stable hash for a step.
+ *
+ * The hash is based on:
+ * 1. Step type
+ * 2. Signal/timer identity (for suspension points)
+ * 3. Step index as tiebreaker
+ *
+ * This means:
+ * - Adding console.log doesn't change the hash (no new suspension)
+ * - Renaming variables doesn't change the hash (not part of identity)
+ * - Adding a new suspension point DOES change subsequent hashes
+ */
+export declare function computeStepHash(input: StepHashInput, analysis: AnalysisResult, opcodeStart: number): string;
+/**
+ * Compute a version hash for the entire process.
+ * Used to detect if the process structure has changed.
+ */
+export declare function computeVersionHash(analysis: AnalysisResult): string;
+//# sourceMappingURL=step-hash.d.ts.map

package/dist/compiler/step-hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-hash.d.ts","sourceRoot":"","sources":["../../src/compiler/step-hash.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAEpD,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAA;IAC7C,WAAW,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IAC3C,KAAK,EAAE,MAAM,CAAA;CACd;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,aAAa,EACpB,QAAQ,EAAE,cAAc,EACxB,WAAW,EAAE,MAAM,GAClB,MAAM,CA6CR;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,cAAc,GAAG,MAAM,CASnE"}

package/dist/compiler/step-hash.js

@@ -0,0 +1,83 @@
+/**
+ * @justscale/core/process - Step Hash Computation
+ *
+ * Computes stable hashes for process steps to enable:
+ * 1. Persistence stability (code changes don't break suspended processes)
+ * 2. Version migration detection
+ * 3. Debugging/tracing
+ *
+ * Hash inputs:
+ * - Step type (entry, resume, branch)
+ * - Signal/timer being waited on (for resume steps)
+ * - Suspension index within the function
+ * - Control flow context
+ */
+import { createHash } from 'crypto';
+/**
+ * Compute a stable hash for a step.
+ *
+ * The hash is based on:
+ * 1. Step type
+ * 2. Signal/timer identity (for suspension points)
+ * 3. Step index as tiebreaker
+ *
+ * This means:
+ * - Adding console.log doesn't change the hash (no new suspension)
+ * - Renaming variables doesn't change the hash (not part of identity)
+ * - Adding a new suspension point DOES change subsequent hashes
+ */
+export function computeStepHash(input, analysis, opcodeStart) {
+    const { type, index } = input;
+    const { opcodes } = analysis;
+    // Build hash input string
+    const parts = [type];
+    // For resume/branch steps, include the signal/timer being waited on
+    if (type === 'resume' && opcodeStart > 0) {
+        const waitOp = opcodes[opcodeStart - 1];
+        if (waitOp.op === 'WAIT') {
+            parts.push(`signal:${waitOp.signal}`);
+        }
+    }
+    if (type === 'branch') {
+        // Find the race branch this step handles
+        for (let i = 0; i < opcodeStart; i++) {
+            const op = opcodes[i];
+            if (op.op === 'RACE_START') {
+                for (const branch of op.branches) {
+                    if (branch.jumpTarget === opcodeStart) {
+                        if (branch.signal) {
+                            parts.push(`race-signal:${branch.signal}`);
+                        }
+                        else if (branch.timer) {
+                            // Serialize timer without the AST node - just unit and expression text
+                            const timerInfo = `${branch.timer.unit}:${branch.timer.valueExpr.getText()}`;
+                            parts.push(`race-timer:${timerInfo}`);
+                        }
+                        break;
+                    }
+                }
+            }
+        }
+    }
+    // Include index as tiebreaker for uniqueness
+    parts.push(`idx:${index}`);
+    // Compute hash
+    const hashInput = parts.join('|');
+    const hash = createHash('sha256').update(hashInput).digest('hex').slice(0, 8);
+    // Return formatted hash with type prefix
+    return `${type}_${hash}`;
+}
+/**
+ * Compute a version hash for the entire process.
+ * Used to detect if the process structure has changed.
+ */
+export function computeVersionHash(analysis) {
+    const structure = JSON.stringify({
+        opcodes: analysis.opcodes.map(op => op.op),
+        signals: Object.keys(analysis.signals).sort(),
+        rehydration: Object.keys(analysis.rehydrationBlocks).sort(),
+    });
+    const hash = createHash('sha256').update(structure).digest('hex').slice(0, 8);
+    return `v_${hash}`;
+}
+//# sourceMappingURL=step-hash.js.map

package/dist/compiler/step-hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"step-hash.js","sourceRoot":"","sources":["../../src/compiler/step-hash.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AASpC;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAoB,EACpB,QAAwB,EACxB,WAAmB;IAEnB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAC9B,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IAE7B,0BAA0B;IAC1B,MAAM,KAAK,GAAa,CAAC,IAAI,CAAC,CAAC;IAE/B,oEAAoE;IACpE,IAAI,IAAI,KAAK,QAAQ,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IAED,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;QACtB,yCAAyC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;YACtB,IAAI,EAAE,CAAC,EAAE,KAAK,YAAY,EAAE,CAAC;gBAC3B,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;oBACjC,IAAI,MAAM,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;wBACtC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;4BAClB,KAAK,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;wBAC7C,CAAC;6BAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;4BACxB,uEAAuE;4BACvE,MAAM,SAAS,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;4BAC7E,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,EAAE,CAAC,CAAC;wBACxC,CAAC;wBACD,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,6CAA6C;IAC7C,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,EAAE,CAAC,CAAC;IAE3B,eAAe;IACf,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAE9E,yCAAyC;IACzC,OAAO,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAwB;IACzD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;QAC/B,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1C,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE;QAC7C,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,IAAI,EAAE;KAC5D,CAAC,CAAC;IAEH,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9E,OAAO,KAAK,IAAI,EAAE,CAAC;AACrB,CAAC"}

package/dist/compiler/switch-codegen.d.ts

@@ -0,0 +1,84 @@
+/**
+ * @justscale/core/process - Switch-Based Code Generator
+ *
+ * Generates VM-style switch-based execution code from process analysis.
+ *
+ * The generated code follows this pattern:
+ * ```
+ * async execute(ctx) {
+ *   const { state, services } = ctx
+ *   let step = state.step | 0
+ *   const __r = [0, undefined]  // [DONE/SUSPEND, payload]
+ *
+ *   main_loop: while (true) {
+ *     switch (step) {
+ *       case 0: { ... }
+ *       case 1: { ... }
+ *     }
+ *   }
+ *   return __r
+ * }
+ * ```
+ */
+import ts from 'typescript';
+import type { AnalysisResult } from './analyzer.js';
+export interface SwitchCodeGenInput {
+    id: string;
+    path: string;
+    version: string;
+    injectNode: ts.ObjectLiteralExpression | undefined;
+    typesNode?: ts.Expression;
+    handler: ts.FunctionExpression | ts.ArrowFunction | ts.MethodDeclaration;
+    analysis: AnalysisResult;
+    originalNode?: ts.Node;
+    typeChecker?: ts.TypeChecker;
+}
+/**
+ * Represents a step (case) in the generated switch statement.
+ */
+export interface Step {
+    /** Unique step index (0-based) */
+    index: number;
+    /** Hash for persistence stability */
+    hash: string;
+    /** Step type for semantic meaning */
+    type: 'entry' | 'block' | 'resume' | 'branch';
+    /** Source line range [start, end] for debugging */
+    sourceRange?: [number, number];
+    /** Opcodes to execute in this step */
+    opcodeRange: {
+        start: number;
+        end: number;
+    };
+    /** Next step after execution (if not suspended/returned) */
+    nextStep?: number;
+    /** For resume steps: the rehydration deps */
+    rehydrateDeps?: string[];
+    /** For race branches: branch info */
+    branchInfo?: {
+        raceOpcodeIndex: number;
+        branchId: string;
+    };
+}
+/**
+ * Result of building steps from opcodes.
+ */
+export interface StepBuildResult {
+    steps: Step[];
+    stepMap: Record<string, number>;
+    sourceMap: Record<number, [number, number]>;
+}
+/**
+ * Build steps from opcodes.
+ * Steps are created for:
+ * 1. Entry point (step 0)
+ * 2. After each suspension point (WAIT, RACE_SUSPEND)
+ * 3. Jump targets (after JUMP_IF, LABEL targets)
+ * 4. Race branch handlers
+ */
+export declare function buildSteps(analysis: AnalysisResult): StepBuildResult;
+/**
+ * Generate the compiled switch-based process.
+ */
+export declare function generateSwitchProcess(factory: ts.NodeFactory, input: SwitchCodeGenInput): ts.Expression;
+//# sourceMappingURL=switch-codegen.d.ts.map

package/dist/compiler/switch-codegen.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"switch-codegen.d.ts","sourceRoot":"","sources":["../../src/compiler/switch-codegen.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,cAAc,EAA+B,MAAM,eAAe,CAAC;AAajF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,EAAE,CAAC,uBAAuB,GAAG,SAAS,CAAA;IAClD,SAAS,CAAC,EAAE,EAAE,CAAC,UAAU,CAAA;IACzB,OAAO,EAAE,EAAE,CAAC,kBAAkB,GAAG,EAAE,CAAC,aAAa,GAAG,EAAE,CAAC,iBAAiB,CAAA;IACxE,QAAQ,EAAE,cAAc,CAAA;IACxB,YAAY,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA;IACtB,WAAW,CAAC,EAAE,EAAE,CAAC,WAAW,CAAA;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB,kCAAkC;IAClC,KAAK,EAAE,MAAM,CAAA;IACb,qCAAqC;IACrC,IAAI,EAAE,MAAM,CAAA;IACZ,qCAAqC;IACrC,IAAI,EAAE,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAA;IAC7C,mDAAmD;IACnD,WAAW,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,sCAAsC;IACtC,WAAW,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAA;IAC3C,4DAA4D;IAC5D,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,6CAA6C;IAC7C,aAAa,CAAC,EAAE,MAAM,EAAE,CAAA;IACxB,qCAAqC;IACrC,UAAU,CAAC,EAAE;QAAE,eAAe,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAA;CAC3D;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,IAAI,EAAE,CAAA;IACb,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAC5C;AAuFD;;;;;;;GAOG;AACH,wBAAgB,UAAU,CAAC,QAAQ,EAAE,cAAc,GAAG,eAAe,CA2TpE;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,KAAK,EAAE,kBAAkB,GACxB,EAAE,CAAC,UAAU,CAqHf"}