diff --git a/src/transformation/visitors/loops/for.ts b/src/transformation/visitors/loops/for.ts
index 5ae3bf0ea..f3a476050 100644
--- a/src/transformation/visitors/loops/for.ts
+++ b/src/transformation/visitors/loops/for.ts
@@ -1,12 +1,103 @@
 import * as ts from "typescript";
 import * as lua from "../../../LuaAST";
-import { FunctionVisitor } from "../../context";
+import { FunctionVisitor, TransformationContext } from "../../context";
 import { transformInPrecedingStatementScope } from "../../utils/preceding-statements";
+import { ScopeType } from "../../utils/scope";
 import { checkVariableDeclarationList, transformVariableDeclaration } from "../variable-declaration";
 import { invertCondition, transformLoopBody } from "./utils";
-import { ScopeType } from "../../utils/scope";
+
+// Collect identifiers bound by a for-loop `let`/`const` initializer that are captured
+// by any closure in the body/condition/incrementor. These need per-iteration binding
+// so captured closures see a fresh binding each iteration (ES2015 spec).
+function getCapturedLetNamesInFor(context: TransformationContext, statement: ts.ForStatement): ts.Identifier[] {
+    const init = statement.initializer;
+    if (!init || !ts.isVariableDeclarationList(init)) return [];
+    const isLetOrConst = (init.flags & ts.NodeFlags.Let) !== 0 || (init.flags & ts.NodeFlags.Const) !== 0;
+    if (!isLetOrConst) return [];
+
+    const letNames: ts.Identifier[] = [];
+    for (const decl of init.declarations) {
+        collectBoundIdentifiers(decl.name, letNames);
+    }
+    if (letNames.length === 0) return [];
+
+    const checker = context.checker;
+    const nameTexts = new Set(letNames.map(n => n.text));
+    const targetSymbols = new Set<ts.Symbol>();
+    for (const n of letNames) {
+        const s = checker.getSymbolAtLocation(n);
+        if (s) targetSymbols.add(s);
+    }
+    if (targetSymbols.size === 0) return [];
+
+    const captured = new Set<ts.Symbol>();
+
+    function visit(node: ts.Node, insideFunction: boolean): void {
+        // A function literal that's the direct callee of a call expression is an IIFE —
+        // its closure doesn't outlive the iteration, so it doesn't need per-iter binding.
+        // Body references still hit the shared outer binding, which matches JS semantics
+        // since the IIFE runs synchronously within the current iteration.
+        const isEscapingFn =
+            (ts.isFunctionExpression(node) ||
+                ts.isArrowFunction(node) ||
+                ts.isFunctionDeclaration(node) ||
+                ts.isMethodDeclaration(node) ||
+                ts.isGetAccessorDeclaration(node) ||
+                ts.isSetAccessorDeclaration(node) ||
+                ts.isConstructorDeclaration(node)) &&
+            !isIIFECallee(node);
+
+        // Fast path: skip the checker query for identifiers whose text can't match any
+        // bound name — avoids a symbol lookup on every identifier in the loop body.
+        if (insideFunction && ts.isIdentifier(node) && nameTexts.has(node.text)) {
+            const sym = checker.getSymbolAtLocation(node);
+            if (sym && targetSymbols.has(sym)) captured.add(sym);
+        }
+        ts.forEachChild(node, c => visit(c, insideFunction || isEscapingFn));
+    }
+
+    // `(fn)()` and `((fn))()` wrap the function in ParenthesizedExpression nodes,
+    // so walk up the paren chain before checking for the enclosing CallExpression.
+    function isIIFECallee(fn: ts.Node): boolean {
+        let outer: ts.Node = fn;
+        while (outer.parent && ts.isParenthesizedExpression(outer.parent)) outer = outer.parent;
+        const parent = outer.parent;
+        return parent !== undefined && ts.isCallExpression(parent) && parent.expression === outer;
+    }
+
+    visit(statement.statement, false);
+    if (statement.condition) visit(statement.condition, false);
+    if (statement.incrementor) visit(statement.incrementor, false);
+
+    if (captured.size === 0) return [];
+    return letNames.filter(n => {
+        const s = checker.getSymbolAtLocation(n);
+        return s !== undefined && captured.has(s);
+    });
+}
+
+function collectBoundIdentifiers(name: ts.BindingName, out: ts.Identifier[]): void {
+    if (ts.isIdentifier(name)) {
+        out.push(name);
+        return;
+    }
+    // Destructuring: recurse into array/object binding patterns.
+    for (const element of name.elements) {
+        if (ts.isBindingElement(element)) {
+            collectBoundIdentifiers(element.name, out);
+        }
+    }
+}
 
 export const transformForStatement: FunctionVisitor<ts.ForStatement> = (statement, context) => {
+    const capturedLetNames = getCapturedLetNamesInFor(context, statement);
+    if (capturedLetNames.length === 0) {
+        return transformForStatementSimple(statement, context);
+    }
+    return transformForStatementWithPerIterationBinding(statement, context, capturedLetNames);
+};
+
+function transformForStatementSimple(statement: ts.ForStatement, context: TransformationContext): lua.Statement {
     const result: lua.Statement[] = [];
 
     context.pushScope(ScopeType.Loop, statement);
@@ -67,4 +158,95 @@ export const transformForStatement: FunctionVisitor<ts.ForStatement> = (statemen
     context.popScope();
 
     return lua.createDoStatement(result, statement);
-};
+}
+
+// Per-iteration-binding transform (ES2015 for-let semantics).
+//
+// Shape of the emitted Lua (for captured name `i`, single variable):
+//
+//     local i = 0                    -- outer binding (for the incrementor)
+//     while cond do
+//         local ____sync_i           -- slot carries body mutations out
+//         do
+//             local i = i            -- fresh per-iteration binding (closures capture this)
+//             ... body ...           -- sync `____sync_i = i` injected before any continue-exit
+//             ____sync_i = i         -- sync at natural end of body
+//         end
+//         i = ____sync_i             -- propagate mutations back to outer i
+//         incrementor                -- operates on outer i
+//     end
+function transformForStatementWithPerIterationBinding(
+    statement: ts.ForStatement,
+    context: TransformationContext,
+    capturedNames: ts.Identifier[]
+): lua.Statement {
+    const result: lua.Statement[] = [];
+    const initializer = statement.initializer as ts.VariableDeclarationList;
+
+    context.pushScope(ScopeType.Loop, statement);
+
+    // Outer: normal variable declarations (user's names).
+    checkVariableDeclarationList(context, initializer);
+    result.push(...initializer.declarations.flatMap(d => transformVariableDeclaration(context, d)));
+
+    // Prologue (inside per-iter scope): `local <name> = <name>` for each captured name — fresh binding.
+    const prologue = capturedNames.map(n =>
+        lua.createVariableDeclarationStatement(lua.createIdentifier(n.text), lua.createIdentifier(n.text))
+    );
+
+    // Epilogue (inside per-iter scope, natural end + before every continue-exit): `____sync_<name> = <name>`.
+    // The outer do-statement returned at the end scopes the sync slots, so the plain-text name is collision-free
+    // across sibling/nested per-iter-bound for loops.
+    const syncIdentifiers = capturedNames.map(n => lua.createIdentifier(`____sync_${n.text}`));
+    const epilogue = capturedNames.map((n, i) =>
+        lua.createAssignmentStatement(syncIdentifiers[i], lua.createIdentifier(n.text))
+    );
+
+    const innerBody = transformLoopBody(context, statement, { innerPrologue: prologue, innerEpilogue: epilogue });
+
+    // While body: [sync slot decls, innerBody from transformLoopBody, sync-back, incrementor].
+    const syncBack: lua.Statement[] = capturedNames.map((n, i) =>
+        lua.createAssignmentStatement(lua.createIdentifier(n.text), lua.createIdentifier(syncIdentifiers[i].text))
+    );
+    const whileBody: lua.Statement[] = [
+        lua.createVariableDeclarationStatement(syncIdentifiers.map(id => lua.createIdentifier(id.text))),
+        ...innerBody,
+        ...syncBack,
+    ];
+
+    if (statement.incrementor) {
+        whileBody.push(...context.transformStatements(ts.factory.createExpressionStatement(statement.incrementor)));
+    }
+
+    // Condition (evaluated against the outer variables).
+    let condition: lua.Expression;
+    if (statement.condition) {
+        const tsCondition = statement.condition;
+        const { precedingStatements: conditionPrecedingStatements, result: condResult } =
+            transformInPrecedingStatementScope(context, () => context.transformExpression(tsCondition));
+        condition = condResult;
+
+        if (conditionPrecedingStatements.length > 0) {
+            conditionPrecedingStatements.push(
+                lua.createIfStatement(
+                    invertCondition(condition),
+                    lua.createBlock([lua.createBreakStatement()]),
+                    undefined,
+                    statement.condition
+                )
+            );
+            whileBody.unshift(...conditionPrecedingStatements);
+            condition = lua.createBooleanLiteral(true);
+        }
+    } else {
+        condition = lua.createBooleanLiteral(true);
+    }
+
+    result.push(lua.createWhileStatement(lua.createBlock(whileBody), condition, statement));
+
+    context.popScope();
+
+    // Wrap the outer in a do so the sync slots (and the outer `local i`) live in their own scope,
+    // giving each per-iter-bound for loop an independent sync-slot namespace.
+    return lua.createDoStatement(result, statement);
+}
diff --git a/src/transformation/visitors/loops/utils.ts b/src/transformation/visitors/loops/utils.ts
index d7e4a3093..f9ae01dc4 100644
--- a/src/transformation/visitors/loops/utils.ts
+++ b/src/transformation/visitors/loops/utils.ts
@@ -10,31 +10,54 @@ import { transformBlockOrStatement } from "../block";
 import { transformIdentifier } from "../identifier";
 import { checkVariableDeclarationList, transformBindingPattern } from "../variable-declaration";
 
+export interface LoopBodyOptions {
+    // Statements prepended inside the per-iteration scope, before the user body.
+    innerPrologue?: lua.Statement[];
+    // Statements appended inside the per-iteration scope at the natural end of the body,
+    // and also injected immediately before every continue-exit that targets this loop.
+    innerEpilogue?: lua.Statement[];
+}
+
 export function transformLoopBody(
     context: TransformationContext,
-    loop: ts.WhileStatement | ts.DoStatement | ts.ForStatement | ts.ForOfStatement | ts.ForInOrOfStatement
+    loop: ts.WhileStatement | ts.DoStatement | ts.ForStatement | ts.ForOfStatement | ts.ForInOrOfStatement,
+    options?: LoopBodyOptions
 ): lua.Statement[] {
     context.pushScope(ScopeType.Loop, loop);
     const body = performHoisting(context, transformBlockOrStatement(context, loop.statement));
     const scope = context.popScope();
     const scopeId = scope.id;
+    const continueLabel = `__continue${scopeId}`;
+
+    const prologue = options?.innerPrologue ?? [];
+    const epilogue = options?.innerEpilogue ?? [];
+    const needsScope = prologue.length > 0 || epilogue.length > 0;
+
+    // Propagate body mutations on every continue-exit that targets this loop.
+    if (epilogue.length > 0 && scope.loopContinued !== undefined) {
+        injectBeforeContinueExits(body, scope.loopContinued, continueLabel, epilogue);
+    }
+
+    const iterationBody: lua.Statement[] = needsScope
+        ? [...prologue, ...body, ...epilogue.map(cloneSyncStatement)]
+        : body;
 
     switch (scope.loopContinued) {
         case undefined:
         case LoopContinued.WithContinue:
-            return body;
+            return needsScope ? [lua.createDoStatement(iterationBody)] : iterationBody;
 
         case LoopContinued.WithGoto:
-            return [lua.createDoStatement(body), lua.createLabelStatement(`__continue${scopeId}`)];
+            return [lua.createDoStatement(iterationBody), lua.createLabelStatement(continueLabel)];
 
-        case LoopContinued.WithRepeatBreak:
-            const identifier = lua.createIdentifier(`__continue${scopeId}`);
+        case LoopContinued.WithRepeatBreak: {
+            const identifier = lua.createIdentifier(continueLabel);
             const literalTrue = lua.createBooleanLiteral(true);
 
             // If there is a break in the body statements, do not include any code afterwards
-            const transformedBodyStatements = [];
+            const transformedBodyStatements: lua.Statement[] = [];
             let bodyBroken = false;
-            for (const statement of body) {
+            for (const statement of iterationBody) {
                 transformedBodyStatements.push(statement);
                 if (lua.isBreakStatement(statement)) {
                     bodyBroken = true;
@@ -56,7 +79,85 @@ export function transformLoopBody(
                     ),
                 ]),
             ];
+        }
+    }
+}
+
+// Walks transformed Lua statements and prepends syncStmts before every continue-exit
+// that targets this loop scope. Handles WithGoto, WithContinue, and WithRepeatBreak modes.
+function injectBeforeContinueExits(
+    statements: lua.Statement[],
+    continueMode: LoopContinued,
+    continueLabel: string,
+    syncStmts: lua.Statement[]
+): void {
+    for (let i = 0; i < statements.length; i++) {
+        const stmt = statements[i];
+
+        // WithGoto: `goto __continueN`
+        if (continueMode === LoopContinued.WithGoto && lua.isGotoStatement(stmt) && stmt.label === continueLabel) {
+            statements.splice(i, 0, ...syncStmts.map(cloneSyncStatement));
+            i += syncStmts.length;
+            continue;
+        }
+
+        // WithContinue: `continue`
+        if (continueMode === LoopContinued.WithContinue && lua.isContinueStatement(stmt)) {
+            statements.splice(i, 0, ...syncStmts.map(cloneSyncStatement));
+            i += syncStmts.length;
+            continue;
+        }
+
+        // WithRepeatBreak: `__continueN = true; break`
+        if (
+            continueMode === LoopContinued.WithRepeatBreak &&
+            lua.isAssignmentStatement(stmt) &&
+            stmt.left.length === 1 &&
+            lua.isIdentifier(stmt.left[0]) &&
+            stmt.left[0].text === continueLabel &&
+            i + 1 < statements.length &&
+            lua.isBreakStatement(statements[i + 1])
+        ) {
+            statements.splice(i, 0, ...syncStmts.map(cloneSyncStatement));
+            i += syncStmts.length + 1; // skip past both the assignment and the break
+            continue;
+        }
+
+        // Recurse into nested blocks that can contain continue-exits for this loop.
+        // Skip nested loops — their continues target themselves, not us.
+        if (lua.isDoStatement(stmt)) {
+            injectBeforeContinueExits(stmt.statements, continueMode, continueLabel, syncStmts);
+        } else if (lua.isIfStatement(stmt)) {
+            injectIntoIf(stmt, continueMode, continueLabel, syncStmts);
+        }
+    }
+}
+
+function injectIntoIf(
+    stmt: lua.IfStatement,
+    continueMode: LoopContinued,
+    continueLabel: string,
+    syncStmts: lua.Statement[]
+): void {
+    injectBeforeContinueExits(stmt.ifBlock.statements, continueMode, continueLabel, syncStmts);
+    if (stmt.elseBlock) {
+        if (lua.isBlock(stmt.elseBlock)) {
+            injectBeforeContinueExits(stmt.elseBlock.statements, continueMode, continueLabel, syncStmts);
+        } else {
+            injectIntoIf(stmt.elseBlock, continueMode, continueLabel, syncStmts);
+        }
+    }
+}
+
+// Epilogue/prologue statements are always `X = Y` assignments between identifiers; recreate to avoid sharing nodes.
+function cloneSyncStatement(stmt: lua.Statement): lua.Statement {
+    if (lua.isAssignmentStatement(stmt)) {
+        return lua.createAssignmentStatement(
+            stmt.left.map(l => (lua.isIdentifier(l) ? lua.createIdentifier(l.text) : l)),
+            stmt.right.map(r => (lua.isIdentifier(r) ? lua.createIdentifier(r.text) : r))
+        );
     }
+    return stmt;
 }
 
 export function getVariableDeclarationBinding(
diff --git a/test/unit/loops.spec.ts b/test/unit/loops.spec.ts
index e6ceab5db..faa180609 100644
--- a/test/unit/loops.spec.ts
+++ b/test/unit/loops.spec.ts
@@ -194,6 +194,181 @@ test.each([
     `.expectToMatchJsResult();
 });
 
+// Per-iteration binding for for-let (ES2015 semantics): each iteration's body runs
+// against a fresh binding that closures can capture independently, while mutations
+// made in the body still flow through to the incrementor.
+test("for let per-iteration binding in closures", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 4; i++) {
+            fns.push(() => i);
+        }
+        return fns.map(fn => fn());
+    `.expectToMatchJsResult();
+});
+
+test("for let mutation in body flows through incrementor", () => {
+    util.testFunction`
+        const results: number[] = [];
+        for (let i = 0; i < 10; i++) {
+            results.push(i);
+            if (i === 2) i = 8;
+        }
+        return results;
+    `.expectToMatchJsResult();
+});
+
+test("for let closure captures pre-incrementor mutation", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 10; i++) {
+            fns.push(() => i);
+            if (i === 2) i = 8;
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+test("for let closure captures sibling const per iteration", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 3; i++) {
+            const x = i * 10;
+            fns.push(() => x + i);
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+util.testEachVersion(
+    "for let mutation before continue flows through incrementor",
+    () => util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 10; i++) {
+            fns.push(() => i);
+            if (i === 2) { i = 8; continue; }
+        }
+        return fns.map(f => f());
+    `,
+    util.expectEachVersionExceptJit(builder => builder.expectToMatchJsResult())
+);
+
+test("for let mutation via synchronous IIFE", () => {
+    util.testFunction`
+        const results: number[] = [];
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 10; i++) {
+            fns.push(() => i);
+            results.push(i);
+            if (i === 2) (() => { i = 8; })();
+        }
+        return { results, captured: fns.map(f => f()) };
+    `.expectToMatchJsResult();
+});
+
+test("for let mutation via destructuring assignment", () => {
+    util.testFunction`
+        const results: number[] = [];
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 10; i++) {
+            fns.push(() => i);
+            results.push(i);
+            if (i === 2) [i] = [8];
+        }
+        return { results, captured: fns.map(f => f()) };
+    `.expectToMatchJsResult();
+});
+
+test("for let multiple captured vars per iteration", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0, j = 10; i < 3; i++, j--) {
+            fns.push(() => i + j);
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+util.testEachVersion(
+    "for let compound assignment before continue",
+    () => util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 10; i++) {
+            fns.push(() => i);
+            if (i === 2) { i += 5; continue; }
+        }
+        return fns.map(f => f());
+    `,
+    util.expectEachVersionExceptJit(builder => builder.expectToMatchJsResult())
+);
+
+test("for let with break captures pre-break value", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 10; i++) {
+            fns.push(() => i);
+            if (i === 3) break;
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+test("for let nested capturing outer var", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 3; i++) {
+            for (let j = 0; j < 2; j++) {
+                fns.push(() => i * 10 + j);
+            }
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+test("for let array destructuring initializer", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let [a, b] = [0, 10]; a < 3; a++, b--) {
+            fns.push(() => a + b);
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+test("for let object destructuring initializer", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let { a, b } = { a: 0, b: 10 }; a < 3; a++, b--) {
+            fns.push(() => a + b);
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+test("for let closure capture through try/catch with mutation", () => {
+    util.testFunction`
+        const fns: (() => number)[] = [];
+        for (let i = 0; i < 4; i++) {
+            try {
+                fns.push(() => i);
+            } catch (e) {}
+        }
+        return fns.map(f => f());
+    `.expectToMatchJsResult();
+});
+
+test("for let IIFE mutation is visible to rest of iteration", () => {
+    util.testFunction`
+        const results: number[] = [];
+        for (let i = 0; i < 4; i++) {
+            results.push(i);
+            (() => { i = i + 10; })();
+            results.push(i);
+        }
+        return results;
+    `.expectToMatchJsResult();
+});
+
 test("for scope", () => {
     util.testFunction`
         let i = 42;