@fictjs/compiler 0.0.4 → 0.0.5

package/dist/index.cjs

@@ -14140,6 +14140,7 @@ var RUNTIME_HELPERS = {
   propsRest: "__fictPropsRest",
   mergeProps: "mergeProps",
   useProp: "useProp",
+  runInScope: "runInScope",
   createElement: "createElement",
   conditional: "createConditional",
   list: "createList",
@@ -14180,6 +14181,7 @@ var RUNTIME_ALIASES = {
   propsRest: "__fictPropsRest",
   useProp: "useProp",
   mergeProps: "mergeProps",
+  runInScope: "runInScope",
   createElement: "createElement",
   conditional: "createConditional",
   list: "createList",
@@ -15218,7 +15220,8 @@ function processStatement(stmt, bb, jumpTarget, ctx) {
     push({
       kind: "Assign",
       target: { kind: "Identifier", name: stmt.id.name },
-      value: convertExpression(fnExpr)
+      value: convertExpression(fnExpr),
+      declarationKind: "function"
     });
     return bb;
   }
@@ -17707,6 +17710,110 @@ function structurizeTry(ctx, block, term) {
 }
 
 // src/ir/regions.ts
+var REACTIVE_CREATORS = /* @__PURE__ */ new Set(["createEffect", "createMemo", "createSelector"]);
+function expressionCreatesReactive(expr) {
+  if (expr.kind === "CallExpression" && expr.callee.kind === "Identifier") {
+    const base = getSSABaseName(expr.callee.name);
+    return REACTIVE_CREATORS.has(base);
+  }
+  return false;
+}
+function expressionContainsReactiveCreation(expr) {
+  if (expressionCreatesReactive(expr)) return true;
+  switch (expr.kind) {
+    case "CallExpression":
+      return expressionContainsReactiveCreation(expr.callee) || expr.arguments.some((arg) => expressionContainsReactiveCreation(arg));
+    case "MemberExpression":
+      return expressionContainsReactiveCreation(expr.object) || expressionContainsReactiveCreation(expr.property);
+    case "BinaryExpression":
+    case "LogicalExpression":
+      return expressionContainsReactiveCreation(expr.left) || expressionContainsReactiveCreation(expr.right);
+    case "UnaryExpression":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "ConditionalExpression":
+      return expressionContainsReactiveCreation(expr.test) || expressionContainsReactiveCreation(expr.consequent) || expressionContainsReactiveCreation(expr.alternate);
+    case "ArrayExpression":
+      return expr.elements.some((el) => el && expressionContainsReactiveCreation(el));
+    case "ObjectExpression":
+      return expr.properties.some(
+        (prop) => prop.kind === "SpreadElement" ? expressionContainsReactiveCreation(prop.argument) : expressionContainsReactiveCreation(prop.value)
+      );
+    case "ArrowFunction":
+      if (expr.isExpression) {
+        return expressionContainsReactiveCreation(expr.body);
+      }
+      return Array.isArray(expr.body) ? expr.body.some(
+        (block) => block.instructions.some((i) => instructionContainsReactiveCreation(i))
+      ) : false;
+    case "FunctionExpression":
+      return expr.body.some(
+        (block) => block.instructions.some((i) => instructionContainsReactiveCreation(i))
+      );
+    case "AssignmentExpression":
+      return expressionContainsReactiveCreation(expr.left) || expressionContainsReactiveCreation(expr.right);
+    case "UpdateExpression":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "TemplateLiteral":
+      return expr.expressions.some((e) => expressionContainsReactiveCreation(e));
+    case "SpreadElement":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "AwaitExpression":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "YieldExpression":
+      return expr.argument ? expressionContainsReactiveCreation(expr.argument) : false;
+    case "NewExpression":
+      return expressionContainsReactiveCreation(expr.callee) || expr.arguments.some((arg) => expressionContainsReactiveCreation(arg));
+    case "OptionalCallExpression":
+      return expressionContainsReactiveCreation(expr.callee) || expr.arguments.some((arg) => expressionContainsReactiveCreation(arg));
+    case "JSXElement":
+      return typeof expr.tagName !== "string" && expressionContainsReactiveCreation(expr.tagName) || expr.attributes.some(
+        (attr) => attr.isSpread ? !!attr.spreadExpr && expressionContainsReactiveCreation(attr.spreadExpr) : attr.value ? expressionContainsReactiveCreation(attr.value) : false
+      ) || expr.children.some(
+        (child) => child.kind === "expression" ? expressionContainsReactiveCreation(child.value) : false
+      );
+    default:
+      return false;
+  }
+}
+function instructionContainsReactiveCreation(instr) {
+  if (instr.kind === "Assign") {
+    return expressionContainsReactiveCreation(instr.value);
+  }
+  if (instr.kind === "Expression") {
+    return expressionContainsReactiveCreation(instr.value);
+  }
+  return false;
+}
+function instructionIsReactiveSetup(instr) {
+  if (instr.kind === "Assign") {
+    return expressionCreatesReactive(instr.value);
+  }
+  if (instr.kind === "Expression") {
+    return expressionCreatesReactive(instr.value);
+  }
+  return false;
+}
+function nodeIsPureReactiveScope(node) {
+  let found = false;
+  const visit = (n) => {
+    switch (n.kind) {
+      case "instruction": {
+        const ok = instructionIsReactiveSetup(n.instruction);
+        if (ok && instructionContainsReactiveCreation(n.instruction)) found = true;
+        return ok;
+      }
+      case "sequence":
+        if (n.nodes.length === 0) return false;
+        return n.nodes.every((child) => visit(child));
+      case "block":
+        if (n.statements.length === 0) return false;
+        return n.statements.every((child) => visit(child));
+      default:
+        return false;
+    }
+  };
+  return visit(node) && found;
+}
 function generateRegions(fn, scopeResult, shapeResult = analyzeObjectShapes(fn)) {
   const regions = [];
   const regionsByBlock = /* @__PURE__ */ new Map();
@@ -18047,14 +18154,67 @@ function lowerNodeWithRegionContext(node, t2, ctx, declaredVars, regionCtx) {
     case "if": {
       const prevConditional = ctx.inConditional ?? 0;
       ctx.inConditional = prevConditional + 1;
-      const conseq = t2.blockStatement(
-        lowerNodeWithRegionContext(node.consequent, t2, ctx, declaredVars, regionCtx)
+      const conseqStmts = lowerNodeWithRegionContext(
+        node.consequent,
+        t2,
+        ctx,
+        declaredVars,
+        regionCtx
       );
-      const alt = node.alternate ? t2.blockStatement(
-        lowerNodeWithRegionContext(node.alternate, t2, ctx, declaredVars, regionCtx)
-      ) : null;
+      const altStmts = node.alternate ? lowerNodeWithRegionContext(node.alternate, t2, ctx, declaredVars, regionCtx) : null;
       ctx.inConditional = prevConditional;
-      const ifStmt = t2.ifStatement(lowerExpressionWithDeSSA(node.test, ctx), conseq, alt);
+      const conseqReactiveOnly = nodeIsPureReactiveScope(node.consequent);
+      const altReactiveOnly = node.alternate ? nodeIsPureReactiveScope(node.alternate) : false;
+      const testExpr = lowerExpressionWithDeSSA(node.test, ctx);
+      const unwrapTestExpr = () => {
+        if (t2.isArrowFunctionExpression(testExpr) && testExpr.params.length === 0 && !t2.isBlockStatement(testExpr.body)) {
+          return t2.cloneNode(testExpr.body);
+        }
+        return t2.cloneNode(testExpr);
+      };
+      const createFlagExpr = (negate = false) => {
+        const body = unwrapTestExpr();
+        const bodyExpr = negate ? t2.unaryExpression("!", body) : body;
+        return t2.arrowFunctionExpression([], bodyExpr);
+      };
+      if (conseqReactiveOnly || altReactiveOnly) {
+        const stmts = [];
+        const runInScopeId = t2.identifier(RUNTIME_ALIASES.runInScope);
+        const addScoped = (flagExpr, body) => {
+          ctx.helpersUsed.add("runInScope");
+          stmts.push(
+            t2.expressionStatement(
+              t2.callExpression(runInScopeId, [
+                flagExpr,
+                t2.arrowFunctionExpression([], t2.blockStatement(body))
+              ])
+            )
+          );
+        };
+        if (conseqReactiveOnly) {
+          addScoped(createFlagExpr(false), conseqStmts);
+        }
+        if (altReactiveOnly && altStmts) {
+          addScoped(createFlagExpr(true), altStmts);
+        }
+        const needsFallbackConseq = !conseqReactiveOnly && conseqStmts.length > 0;
+        const needsFallbackAlt = !altReactiveOnly && altStmts && altStmts.length > 0;
+        if (needsFallbackConseq || needsFallbackAlt) {
+          stmts.push(
+            t2.ifStatement(
+              unwrapTestExpr(),
+              needsFallbackConseq ? t2.blockStatement(conseqStmts) : t2.blockStatement([]),
+              needsFallbackAlt && altStmts ? t2.blockStatement(altStmts) : null
+            )
+          );
+        }
+        return stmts;
+      }
+      const ifStmt = t2.ifStatement(
+        testExpr,
+        t2.blockStatement(conseqStmts),
+        altStmts ? t2.blockStatement(altStmts) : null
+      );
       const shouldWrapEffect = ctx.wrapTrackedExpressions !== false && !ctx.inRegionMemo && expressionUsesTracked(node.test, ctx) && !statementHasEarlyExit(ifStmt, t2);
       if (shouldWrapEffect) {
         ctx.helpersUsed.add("useEffect");
@@ -19048,6 +19208,7 @@ function instructionToStatement(instr, t2, declaredVars, ctx, _buildMemoCall) {
   if (instr.kind === "Assign") {
     const ssaName = instr.target.name;
     const baseName2 = deSSAVarName(ssaName);
+    const declKindRaw = instr.declarationKind;
     propagateHookResultAlias(baseName2, instr.value, ctx);
     const hookMember = resolveHookMemberValue(instr.value, ctx);
     if (hookMember) {
@@ -19057,9 +19218,10 @@ function instructionToStatement(instr, t2, declaredVars, ctx, _buildMemoCall) {
       } else if (hookMember.kind === "memo") {
         ctx.memoVars?.add(baseName2);
       }
-      if (instr.declarationKind) {
+      const declKind2 = declKindRaw && declKindRaw !== "function" ? declKindRaw : null;
+      if (declKind2) {
         declaredVars.add(baseName2);
-        return t2.variableDeclaration(instr.declarationKind, [
+        return t2.variableDeclaration(declKind2, [
           t2.variableDeclarator(t2.identifier(baseName2), hookMember.member)
         ]);
       }
@@ -19072,7 +19234,21 @@ function instructionToStatement(instr, t2, declaredVars, ctx, _buildMemoCall) {
         t2.assignmentExpression("=", t2.identifier(baseName2), hookMember.member)
       );
     }
-    const declKind = instr.declarationKind;
+    const declKind = declKindRaw && declKindRaw !== "function" ? declKindRaw : void 0;
+    const isFunctionDecl = instr.value.kind === "FunctionExpression" && (declKindRaw === "function" || !declKindRaw && instr.value.name === baseName2);
+    if (isFunctionDecl) {
+      const loweredFn = lowerExpressionWithDeSSA(instr.value, ctx);
+      if (t2.isFunctionExpression(loweredFn)) {
+        declaredVars.add(baseName2);
+        return t2.functionDeclaration(
+          t2.identifier(baseName2),
+          loweredFn.params,
+          loweredFn.body,
+          loweredFn.generator ?? false,
+          loweredFn.async ?? false
+        );
+      }
+    }
     const isTracked = ctx.trackedVars.has(baseName2);
     const isSignal = ctx.signalVars?.has(baseName2) ?? false;
     const aliasVars = ctx.aliasVars ?? (ctx.aliasVars = /* @__PURE__ */ new Set());
@@ -20821,6 +20997,20 @@ function lowerInstruction(instr, ctx) {
   const { t: t2 } = ctx;
   if (instr.kind === "Assign") {
     const baseName2 = deSSAVarName(instr.target.name);
+    const isFunctionDecl = instr.value.kind === "FunctionExpression" && (instr.declarationKind === "function" || !instr.declarationKind && instr.value.name === baseName2);
+    if (isFunctionDecl) {
+      const loweredFn = lowerExpression(instr.value, ctx);
+      if (t2.isFunctionExpression(loweredFn)) {
+        return t2.functionDeclaration(
+          t2.identifier(baseName2),
+          loweredFn.params,
+          loweredFn.body,
+          loweredFn.generator ?? false,
+          loweredFn.async ?? false
+        );
+      }
+    }
+    const declKind = instr.declarationKind === "function" ? void 0 : instr.declarationKind;
     propagateHookResultAlias(baseName2, instr.value, ctx);
     const hookMember = resolveHookMemberValue(instr.value, ctx);
     if (hookMember) {
@@ -20830,8 +21020,8 @@ function lowerInstruction(instr, ctx) {
       } else if (hookMember.kind === "memo") {
         ctx.memoVars?.add(baseName2);
       }
-      if (instr.declarationKind) {
-        return t2.variableDeclaration(instr.declarationKind, [
+      if (declKind) {
+        return t2.variableDeclaration(declKind, [
           t2.variableDeclarator(t2.identifier(baseName2), hookMember.member)
         ]);
       }
@@ -24134,6 +24324,9 @@ function isInsideNestedFunction(path) {
   }
   return false;
 }
+function isInsideJSX(path) {
+  return !!path.findParent((p) => p.isJSXElement?.() || p.isJSXFragment?.());
+}
 function emitWarning(node, code, message, options, fileName) {
   if (!options.onWarn) return;
   const loc = node.loc?.start;
@@ -24231,6 +24424,7 @@ function runWarningPass(programPath, stateVars, derivedVars, options, t2) {
     const root = getRootIdentifier(expr, t2);
     return !!(root && stateVars.has(root.name));
   };
+  const reactiveNames = /* @__PURE__ */ new Set([...stateVars, ...derivedVars]);
   programPath.traverse({
     AssignmentExpression(path) {
       const { left } = path.node;
@@ -24293,6 +24487,35 @@ function runWarningPass(programPath, stateVars, derivedVars, options, t2) {
         );
       }
     },
+    Function(path) {
+      const captured = /* @__PURE__ */ new Set();
+      path.traverse(
+        {
+          Function(inner) {
+            if (inner === path) return;
+            inner.skip();
+          },
+          Identifier(idPath) {
+            const name = idPath.node.name;
+            if (!reactiveNames.has(name)) return;
+            const binding = idPath.scope.getBinding(name);
+            if (!binding) return;
+            if (binding.scope === idPath.scope || binding.scope === path.scope) return;
+            captured.add(name);
+          }
+        },
+        {}
+      );
+      if (captured.size > 0) {
+        emitWarning(
+          path.node,
+          "FICT-R005",
+          `Function captures reactive variable(s): ${Array.from(captured).join(", ")}. Pass them as parameters or memoize explicitly to avoid hidden dependencies.`,
+          options,
+          fileName
+        );
+      }
+    },
     CallExpression(path) {
       if (t2.isIdentifier(path.node.callee, { name: "$effect" })) {
         const argPath = path.get("arguments.0");
@@ -24614,6 +24837,15 @@ function createHIREntrypointVisitor(t2, options) {
             }
             const callee = callPath.node.callee;
             const calleeId = t2.isIdentifier(callee) ? callee.name : null;
+            if (calleeId && (calleeId === "createEffect" || calleeId === "createMemo" || calleeId === "createSelector") && fictImports.has(calleeId) && (isInsideLoop(callPath) || isInsideConditional(callPath)) && !isInsideJSX(callPath)) {
+              emitWarning(
+                callPath.node,
+                "FICT-R004",
+                "Reactive creation inside non-JSX control flow will not auto-dispose; wrap it in createScope/runInScope or move it into JSX-managed regions.",
+                options,
+                fileName
+              );
+            }
             const allowedStateCallees = /* @__PURE__ */ new Set([
               "$effect",
               "$memo",

package/dist/index.js

@@ -14128,6 +14128,7 @@ var RUNTIME_HELPERS = {
   propsRest: "__fictPropsRest",
   mergeProps: "mergeProps",
   useProp: "useProp",
+  runInScope: "runInScope",
   createElement: "createElement",
   conditional: "createConditional",
   list: "createList",
@@ -14168,6 +14169,7 @@ var RUNTIME_ALIASES = {
   propsRest: "__fictPropsRest",
   useProp: "useProp",
   mergeProps: "mergeProps",
+  runInScope: "runInScope",
   createElement: "createElement",
   conditional: "createConditional",
   list: "createList",
@@ -15206,7 +15208,8 @@ function processStatement(stmt, bb, jumpTarget, ctx) {
     push({
       kind: "Assign",
       target: { kind: "Identifier", name: stmt.id.name },
-      value: convertExpression(fnExpr)
+      value: convertExpression(fnExpr),
+      declarationKind: "function"
     });
     return bb;
   }
@@ -17695,6 +17698,110 @@ function structurizeTry(ctx, block, term) {
 }
 
 // src/ir/regions.ts
+var REACTIVE_CREATORS = /* @__PURE__ */ new Set(["createEffect", "createMemo", "createSelector"]);
+function expressionCreatesReactive(expr) {
+  if (expr.kind === "CallExpression" && expr.callee.kind === "Identifier") {
+    const base = getSSABaseName(expr.callee.name);
+    return REACTIVE_CREATORS.has(base);
+  }
+  return false;
+}
+function expressionContainsReactiveCreation(expr) {
+  if (expressionCreatesReactive(expr)) return true;
+  switch (expr.kind) {
+    case "CallExpression":
+      return expressionContainsReactiveCreation(expr.callee) || expr.arguments.some((arg) => expressionContainsReactiveCreation(arg));
+    case "MemberExpression":
+      return expressionContainsReactiveCreation(expr.object) || expressionContainsReactiveCreation(expr.property);
+    case "BinaryExpression":
+    case "LogicalExpression":
+      return expressionContainsReactiveCreation(expr.left) || expressionContainsReactiveCreation(expr.right);
+    case "UnaryExpression":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "ConditionalExpression":
+      return expressionContainsReactiveCreation(expr.test) || expressionContainsReactiveCreation(expr.consequent) || expressionContainsReactiveCreation(expr.alternate);
+    case "ArrayExpression":
+      return expr.elements.some((el) => el && expressionContainsReactiveCreation(el));
+    case "ObjectExpression":
+      return expr.properties.some(
+        (prop) => prop.kind === "SpreadElement" ? expressionContainsReactiveCreation(prop.argument) : expressionContainsReactiveCreation(prop.value)
+      );
+    case "ArrowFunction":
+      if (expr.isExpression) {
+        return expressionContainsReactiveCreation(expr.body);
+      }
+      return Array.isArray(expr.body) ? expr.body.some(
+        (block) => block.instructions.some((i) => instructionContainsReactiveCreation(i))
+      ) : false;
+    case "FunctionExpression":
+      return expr.body.some(
+        (block) => block.instructions.some((i) => instructionContainsReactiveCreation(i))
+      );
+    case "AssignmentExpression":
+      return expressionContainsReactiveCreation(expr.left) || expressionContainsReactiveCreation(expr.right);
+    case "UpdateExpression":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "TemplateLiteral":
+      return expr.expressions.some((e) => expressionContainsReactiveCreation(e));
+    case "SpreadElement":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "AwaitExpression":
+      return expressionContainsReactiveCreation(expr.argument);
+    case "YieldExpression":
+      return expr.argument ? expressionContainsReactiveCreation(expr.argument) : false;
+    case "NewExpression":
+      return expressionContainsReactiveCreation(expr.callee) || expr.arguments.some((arg) => expressionContainsReactiveCreation(arg));
+    case "OptionalCallExpression":
+      return expressionContainsReactiveCreation(expr.callee) || expr.arguments.some((arg) => expressionContainsReactiveCreation(arg));
+    case "JSXElement":
+      return typeof expr.tagName !== "string" && expressionContainsReactiveCreation(expr.tagName) || expr.attributes.some(
+        (attr) => attr.isSpread ? !!attr.spreadExpr && expressionContainsReactiveCreation(attr.spreadExpr) : attr.value ? expressionContainsReactiveCreation(attr.value) : false
+      ) || expr.children.some(
+        (child) => child.kind === "expression" ? expressionContainsReactiveCreation(child.value) : false
+      );
+    default:
+      return false;
+  }
+}
+function instructionContainsReactiveCreation(instr) {
+  if (instr.kind === "Assign") {
+    return expressionContainsReactiveCreation(instr.value);
+  }
+  if (instr.kind === "Expression") {
+    return expressionContainsReactiveCreation(instr.value);
+  }
+  return false;
+}
+function instructionIsReactiveSetup(instr) {
+  if (instr.kind === "Assign") {
+    return expressionCreatesReactive(instr.value);
+  }
+  if (instr.kind === "Expression") {
+    return expressionCreatesReactive(instr.value);
+  }
+  return false;
+}
+function nodeIsPureReactiveScope(node) {
+  let found = false;
+  const visit = (n) => {
+    switch (n.kind) {
+      case "instruction": {
+        const ok = instructionIsReactiveSetup(n.instruction);
+        if (ok && instructionContainsReactiveCreation(n.instruction)) found = true;
+        return ok;
+      }
+      case "sequence":
+        if (n.nodes.length === 0) return false;
+        return n.nodes.every((child) => visit(child));
+      case "block":
+        if (n.statements.length === 0) return false;
+        return n.statements.every((child) => visit(child));
+      default:
+        return false;
+    }
+  };
+  return visit(node) && found;
+}
 function generateRegions(fn, scopeResult, shapeResult = analyzeObjectShapes(fn)) {
   const regions = [];
   const regionsByBlock = /* @__PURE__ */ new Map();
@@ -18035,14 +18142,67 @@ function lowerNodeWithRegionContext(node, t2, ctx, declaredVars, regionCtx) {
     case "if": {
       const prevConditional = ctx.inConditional ?? 0;
       ctx.inConditional = prevConditional + 1;
-      const conseq = t2.blockStatement(
-        lowerNodeWithRegionContext(node.consequent, t2, ctx, declaredVars, regionCtx)
+      const conseqStmts = lowerNodeWithRegionContext(
+        node.consequent,
+        t2,
+        ctx,
+        declaredVars,
+        regionCtx
       );
-      const alt = node.alternate ? t2.blockStatement(
-        lowerNodeWithRegionContext(node.alternate, t2, ctx, declaredVars, regionCtx)
-      ) : null;
+      const altStmts = node.alternate ? lowerNodeWithRegionContext(node.alternate, t2, ctx, declaredVars, regionCtx) : null;
       ctx.inConditional = prevConditional;
-      const ifStmt = t2.ifStatement(lowerExpressionWithDeSSA(node.test, ctx), conseq, alt);
+      const conseqReactiveOnly = nodeIsPureReactiveScope(node.consequent);
+      const altReactiveOnly = node.alternate ? nodeIsPureReactiveScope(node.alternate) : false;
+      const testExpr = lowerExpressionWithDeSSA(node.test, ctx);
+      const unwrapTestExpr = () => {
+        if (t2.isArrowFunctionExpression(testExpr) && testExpr.params.length === 0 && !t2.isBlockStatement(testExpr.body)) {
+          return t2.cloneNode(testExpr.body);
+        }
+        return t2.cloneNode(testExpr);
+      };
+      const createFlagExpr = (negate = false) => {
+        const body = unwrapTestExpr();
+        const bodyExpr = negate ? t2.unaryExpression("!", body) : body;
+        return t2.arrowFunctionExpression([], bodyExpr);
+      };
+      if (conseqReactiveOnly || altReactiveOnly) {
+        const stmts = [];
+        const runInScopeId = t2.identifier(RUNTIME_ALIASES.runInScope);
+        const addScoped = (flagExpr, body) => {
+          ctx.helpersUsed.add("runInScope");
+          stmts.push(
+            t2.expressionStatement(
+              t2.callExpression(runInScopeId, [
+                flagExpr,
+                t2.arrowFunctionExpression([], t2.blockStatement(body))
+              ])
+            )
+          );
+        };
+        if (conseqReactiveOnly) {
+          addScoped(createFlagExpr(false), conseqStmts);
+        }
+        if (altReactiveOnly && altStmts) {
+          addScoped(createFlagExpr(true), altStmts);
+        }
+        const needsFallbackConseq = !conseqReactiveOnly && conseqStmts.length > 0;
+        const needsFallbackAlt = !altReactiveOnly && altStmts && altStmts.length > 0;
+        if (needsFallbackConseq || needsFallbackAlt) {
+          stmts.push(
+            t2.ifStatement(
+              unwrapTestExpr(),
+              needsFallbackConseq ? t2.blockStatement(conseqStmts) : t2.blockStatement([]),
+              needsFallbackAlt && altStmts ? t2.blockStatement(altStmts) : null
+            )
+          );
+        }
+        return stmts;
+      }
+      const ifStmt = t2.ifStatement(
+        testExpr,
+        t2.blockStatement(conseqStmts),
+        altStmts ? t2.blockStatement(altStmts) : null
+      );
       const shouldWrapEffect = ctx.wrapTrackedExpressions !== false && !ctx.inRegionMemo && expressionUsesTracked(node.test, ctx) && !statementHasEarlyExit(ifStmt, t2);
       if (shouldWrapEffect) {
         ctx.helpersUsed.add("useEffect");
@@ -19036,6 +19196,7 @@ function instructionToStatement(instr, t2, declaredVars, ctx, _buildMemoCall) {
   if (instr.kind === "Assign") {
     const ssaName = instr.target.name;
     const baseName2 = deSSAVarName(ssaName);
+    const declKindRaw = instr.declarationKind;
     propagateHookResultAlias(baseName2, instr.value, ctx);
     const hookMember = resolveHookMemberValue(instr.value, ctx);
     if (hookMember) {
@@ -19045,9 +19206,10 @@ function instructionToStatement(instr, t2, declaredVars, ctx, _buildMemoCall) {
       } else if (hookMember.kind === "memo") {
         ctx.memoVars?.add(baseName2);
       }
-      if (instr.declarationKind) {
+      const declKind2 = declKindRaw && declKindRaw !== "function" ? declKindRaw : null;
+      if (declKind2) {
         declaredVars.add(baseName2);
-        return t2.variableDeclaration(instr.declarationKind, [
+        return t2.variableDeclaration(declKind2, [
           t2.variableDeclarator(t2.identifier(baseName2), hookMember.member)
         ]);
       }
@@ -19060,7 +19222,21 @@ function instructionToStatement(instr, t2, declaredVars, ctx, _buildMemoCall) {
         t2.assignmentExpression("=", t2.identifier(baseName2), hookMember.member)
       );
     }
-    const declKind = instr.declarationKind;
+    const declKind = declKindRaw && declKindRaw !== "function" ? declKindRaw : void 0;
+    const isFunctionDecl = instr.value.kind === "FunctionExpression" && (declKindRaw === "function" || !declKindRaw && instr.value.name === baseName2);
+    if (isFunctionDecl) {
+      const loweredFn = lowerExpressionWithDeSSA(instr.value, ctx);
+      if (t2.isFunctionExpression(loweredFn)) {
+        declaredVars.add(baseName2);
+        return t2.functionDeclaration(
+          t2.identifier(baseName2),
+          loweredFn.params,
+          loweredFn.body,
+          loweredFn.generator ?? false,
+          loweredFn.async ?? false
+        );
+      }
+    }
     const isTracked = ctx.trackedVars.has(baseName2);
     const isSignal = ctx.signalVars?.has(baseName2) ?? false;
     const aliasVars = ctx.aliasVars ?? (ctx.aliasVars = /* @__PURE__ */ new Set());
@@ -20809,6 +20985,20 @@ function lowerInstruction(instr, ctx) {
   const { t: t2 } = ctx;
   if (instr.kind === "Assign") {
     const baseName2 = deSSAVarName(instr.target.name);
+    const isFunctionDecl = instr.value.kind === "FunctionExpression" && (instr.declarationKind === "function" || !instr.declarationKind && instr.value.name === baseName2);
+    if (isFunctionDecl) {
+      const loweredFn = lowerExpression(instr.value, ctx);
+      if (t2.isFunctionExpression(loweredFn)) {
+        return t2.functionDeclaration(
+          t2.identifier(baseName2),
+          loweredFn.params,
+          loweredFn.body,
+          loweredFn.generator ?? false,
+          loweredFn.async ?? false
+        );
+      }
+    }
+    const declKind = instr.declarationKind === "function" ? void 0 : instr.declarationKind;
     propagateHookResultAlias(baseName2, instr.value, ctx);
     const hookMember = resolveHookMemberValue(instr.value, ctx);
     if (hookMember) {
@@ -20818,8 +21008,8 @@ function lowerInstruction(instr, ctx) {
       } else if (hookMember.kind === "memo") {
         ctx.memoVars?.add(baseName2);
       }
-      if (instr.declarationKind) {
-        return t2.variableDeclaration(instr.declarationKind, [
+      if (declKind) {
+        return t2.variableDeclaration(declKind, [
           t2.variableDeclarator(t2.identifier(baseName2), hookMember.member)
         ]);
       }
@@ -24122,6 +24312,9 @@ function isInsideNestedFunction(path) {
   }
   return false;
 }
+function isInsideJSX(path) {
+  return !!path.findParent((p) => p.isJSXElement?.() || p.isJSXFragment?.());
+}
 function emitWarning(node, code, message, options, fileName) {
   if (!options.onWarn) return;
   const loc = node.loc?.start;
@@ -24219,6 +24412,7 @@ function runWarningPass(programPath, stateVars, derivedVars, options, t2) {
     const root = getRootIdentifier(expr, t2);
     return !!(root && stateVars.has(root.name));
   };
+  const reactiveNames = /* @__PURE__ */ new Set([...stateVars, ...derivedVars]);
   programPath.traverse({
     AssignmentExpression(path) {
       const { left } = path.node;
@@ -24281,6 +24475,35 @@ function runWarningPass(programPath, stateVars, derivedVars, options, t2) {
         );
       }
     },
+    Function(path) {
+      const captured = /* @__PURE__ */ new Set();
+      path.traverse(
+        {
+          Function(inner) {
+            if (inner === path) return;
+            inner.skip();
+          },
+          Identifier(idPath) {
+            const name = idPath.node.name;
+            if (!reactiveNames.has(name)) return;
+            const binding = idPath.scope.getBinding(name);
+            if (!binding) return;
+            if (binding.scope === idPath.scope || binding.scope === path.scope) return;
+            captured.add(name);
+          }
+        },
+        {}
+      );
+      if (captured.size > 0) {
+        emitWarning(
+          path.node,
+          "FICT-R005",
+          `Function captures reactive variable(s): ${Array.from(captured).join(", ")}. Pass them as parameters or memoize explicitly to avoid hidden dependencies.`,
+          options,
+          fileName
+        );
+      }
+    },
     CallExpression(path) {
       if (t2.isIdentifier(path.node.callee, { name: "$effect" })) {
         const argPath = path.get("arguments.0");
@@ -24602,6 +24825,15 @@ function createHIREntrypointVisitor(t2, options) {
             }
             const callee = callPath.node.callee;
             const calleeId = t2.isIdentifier(callee) ? callee.name : null;
+            if (calleeId && (calleeId === "createEffect" || calleeId === "createMemo" || calleeId === "createSelector") && fictImports.has(calleeId) && (isInsideLoop(callPath) || isInsideConditional(callPath)) && !isInsideJSX(callPath)) {
+              emitWarning(
+                callPath.node,
+                "FICT-R004",
+                "Reactive creation inside non-JSX control flow will not auto-dispose; wrap it in createScope/runInScope or move it into JSX-managed regions.",
+                options,
+                fileName
+              );
+            }
             const allowedStateCallees = /* @__PURE__ */ new Set([
               "$effect",
               "$memo",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fictjs/compiler",
-  "version": "0.0.4",
+  "version": "0.0.5",
   "description": "Babel plugin for Fict Compiler",
   "publishConfig": {
     "access": "public"
@@ -38,7 +38,7 @@
     "@types/babel__helper-plugin-utils": "^7.10.3",
     "@types/babel__traverse": "^7.28.0",
     "tsup": "^8.5.1",
-    "@fictjs/runtime": "0.0.4"
+    "@fictjs/runtime": "0.0.5"
   },
   "scripts": {
     "build": "tsup src/index.ts --format cjs,esm --dts",