diff --git a/.claude/settings.local.json b/.claude/settings.local.json
new file mode 100644
index 0000000000000..68ddc312106d5
--- /dev/null
+++ b/.claude/settings.local.json
@@ -0,0 +1,11 @@
+{
+  "permissions": {
+    "allow": [
+      "Bash(find:*)",
+      "Bash(cargo check:*)",
+      "Bash(cargo clippy:*)"
+    ],
+    "deny": [],
+    "ask": []
+  }
+}
diff --git a/Cargo.toml b/Cargo.toml
index d43f95bd0948a..250bbca2d6690 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -96,13 +96,10 @@ unused_peekable = "warn"
 too_long_first_doc_paragraph = "warn"
 suspicious_operation_groupings = "warn"
 redundant_clone = "warn"
-zero_sized_map_values = "allow" # FIXME https://github.com/rust-lang/rust-clippy/issues/15429
+zero_sized_map_values = "allow" # FIXME https://github.com/rust-lang/rust-clippy/issues/15429 - False positive with serde skip_serializing
 # cargo
 cargo = { level = "warn", priority = -1 }
 multiple_crate_versions = "allow"
-cargo_common_metadata = "allow" # FIXME
-doc_lazy_continuation = "allow" # FIXME
-ignore_without_reason = "allow" # FIXME
 
 [workspace.dependencies]
 # publish = true
diff --git a/crates/oxc_codegen/tests/integration/esbuild.rs b/crates/oxc_codegen/tests/integration/esbuild.rs
index 343ec57609d46..68442b099ee32 100644
--- a/crates/oxc_codegen/tests/integration/esbuild.rs
+++ b/crates/oxc_codegen/tests/integration/esbuild.rs
@@ -522,7 +522,7 @@ fn test_function() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Comments and parentheses handling not yet implemented"]
 fn test_comments_and_parentheses() {
     test("(/* foo */ { x() { foo() } }.x());", "/* foo */\n({ x() {\n  foo();\n} }).x();\n");
     test(
@@ -829,7 +829,7 @@ fn test_whitespace() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Minification functionality not yet implemented"]
 fn minify() {
     test_minify("0.1", ".1;");
     test_minify("1.2", "1.2;");
diff --git a/crates/oxc_data_structures/src/code_buffer.rs b/crates/oxc_data_structures/src/code_buffer.rs
index 41b9d7667d4c0..d57691574aff6 100644
--- a/crates/oxc_data_structures/src/code_buffer.rs
+++ b/crates/oxc_data_structures/src/code_buffer.rs
@@ -490,8 +490,9 @@ impl CodeBuffer {
     /// but only advance `len` by the actual number of bytes. This avoids a `memset` function call.
     ///
     /// Take alternative slow path if either:
-    /// 1. Total characters to print > 32.
-    /// 2. Less than 32 bytes spare capacity in buffer (needs to grow).
+    ///   1. Total characters to print > 32.
+    ///   2. Less than 32 bytes spare capacity in buffer (needs to grow).
+    ///
     /// Both of these cases should be rare.
     ///
     /// We write 32 bytes because both tabs and spaces are supported.
diff --git a/crates/oxc_linter/src/loader/partial_loader/svelte.rs b/crates/oxc_linter/src/loader/partial_loader/svelte.rs
index a821a46099ea6..ea5cc53851327 100644
--- a/crates/oxc_linter/src/loader/partial_loader/svelte.rs
+++ b/crates/oxc_linter/src/loader/partial_loader/svelte.rs
@@ -22,7 +22,7 @@ impl<'a> SveltePartialLoader<'a> {
     /// Each *.svelte file can contain at most
     ///  * one `<script>` block
     ///  * one `<script context="module">` or `<script module>` block
-    /// <https://github.com/sveltejs/svelte.dev/blob/ba7ad256f786aa5bc67eac3a58608f3f50b59e91/apps/svelte.dev/content/tutorial/02-advanced-svelte/08-script-module/02-module-exports/index.md>
+    ///    <https://github.com/sveltejs/svelte.dev/blob/ba7ad256f786aa5bc67eac3a58608f3f50b59e91/apps/svelte.dev/content/tutorial/02-advanced-svelte/08-script-module/02-module-exports/index.md>
     fn parse_scripts(&self) -> Vec<JavaScriptSource<'a>> {
         let mut pointer = 0;
         let Some(result1) = self.parse_script(&mut pointer) else {
diff --git a/crates/oxc_linter/src/loader/partial_loader/vue.rs b/crates/oxc_linter/src/loader/partial_loader/vue.rs
index 0d430609fd3d1..ed8ed691f19fa 100644
--- a/crates/oxc_linter/src/loader/partial_loader/vue.rs
+++ b/crates/oxc_linter/src/loader/partial_loader/vue.rs
@@ -22,7 +22,7 @@ impl<'a> VuePartialLoader<'a> {
     /// Each *.vue file can contain at most
     ///  * one `<script>` block (excluding `<script setup>`).
     ///  * one `<script setup>` block (excluding normal `<script>`).
-    /// <https://vuejs.org/api/sfc-spec.html#script>
+    ///    <https://vuejs.org/api/sfc-spec.html#script>
     fn parse_scripts(&self) -> Vec<JavaScriptSource<'a>> {
         let mut pointer = 0;
         let Some(result1) = self.parse_script(&mut pointer) else {
diff --git a/crates/oxc_linter/src/rules/eslint/no_unused_vars/usage.rs b/crates/oxc_linter/src/rules/eslint/no_unused_vars/usage.rs
index 828910d7fe22b..cf9f93aba272d 100644
--- a/crates/oxc_linter/src/rules/eslint/no_unused_vars/usage.rs
+++ b/crates/oxc_linter/src/rules/eslint/no_unused_vars/usage.rs
@@ -371,11 +371,11 @@ impl<'a> Symbol<'_, 'a> {
     /// for code like `let a = 0; a`, but bans code like `let a = 0; a++`;
     ///
     /// - We encounter a node proving that the reference is absolutely used by
-    /// another variable, we return `false` immediately.
+    ///   another variable, we return `false` immediately.
     /// - When we encounter an AST node that updates the value of the symbol this
-    /// reference is for, such as an [`AssignmentExpression`] with the symbol on
-    /// the LHS or a mutating [`UnaryExpression`], we mark the reference as not
-    /// being used by others.
+    ///   reference is for, such as an [`AssignmentExpression`] with the symbol on
+    ///   the LHS or a mutating [`UnaryExpression`], we mark the reference as not
+    ///   being used by others.
     /// - When we encounter a node where we are sure the value produced by an
     ///   expression will no longer be used, such as an [`ExpressionStatement`],
     ///   we end our search. This is because expression statements produce a
diff --git a/crates/oxc_minifier/src/peephole/minimize_conditions.rs b/crates/oxc_minifier/src/peephole/minimize_conditions.rs
index b1624bfaa5ba3..a0e3f32db50f3 100644
--- a/crates/oxc_minifier/src/peephole/minimize_conditions.rs
+++ b/crates/oxc_minifier/src/peephole/minimize_conditions.rs
@@ -414,7 +414,7 @@ mod test {
 
     /** Try to minimize assignments */
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Assignment folding optimization not yet implemented"]
     fn test_fold_assignments() {
         test("function f(){if(x)y=3;else y=4;}", "function f(){y=x?3:4}");
         test("function f(){if(x)y=1+a;else y=2+a;}", "function f(){y=x?1+a:2+a}");
@@ -436,7 +436,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Duplicate statement removal not yet implemented"]
     fn test_remove_duplicate_statements() {
         test("if (a) { x = 1; x++ } else { x = 2; x++ }", "x=(a) ? 1 : 2; x++");
         test(
@@ -505,7 +505,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Parentheses counting optimization not yet implemented"]
     fn test_and_parentheses_count() {
         test("function f(){if(x||y)a.foo()}", "function f(){(x||y)&&a.foo()}");
         test("function f(){if(x.a)x.a=0}", "function f(){x.a&&(x.a=0)}");
@@ -567,7 +567,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan_remove_leading_not() {
         test("if(!(!a||!b)&&c) foo()", "((a&&b)&&c)&&foo()");
         test("if(!(x&&y)) foo()", "x&&y||foo()");
@@ -575,39 +575,39 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan1() {
         test("if(!a&&!b)foo()", "(a||b)||foo()");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan2() {
         // Make sure trees with cloned functions are marked as changed
         test("(!(a&&!((function(){})())))||foo()", "!a||(function(){})()||foo()");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan2b() {
         // Make sure unchanged trees with functions are not marked as changed
         test_same("!a||(function(){})()||foo()");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan3() {
         test("if((!a||!b)&&(c||d)) foo()", "(a&&b||!c&&!d)||foo()");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan5() {
         test("if((!a||!b)&&c) foo()", "(a&&b||!c)||foo()");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan11() {
         test(
             "if (x && (y===2 || !f()) && (y===3 || !h())) foo()",
@@ -616,7 +616,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan20a() {
         test(
             "if (0===c && (2===a || 1===a)) f(); else g()",
@@ -625,7 +625,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan20b() {
         test("if (0!==c || 2!==a && 1!==a) g(); else f()", "(0!==c || 2!==a && 1!==a) ? g() : f()");
     }
@@ -676,7 +676,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Expression result minimization not yet implemented"]
     fn test_minimize_expr_result() {
         test("!x||!y", "x&&y");
         test("if(!(x&&!y)) foo()", "(!x||y)&&foo()");
@@ -685,13 +685,13 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: De Morgan's law optimization not yet implemented"]
     fn test_minimize_demorgan21() {
         test("if (0===c && (2===a || 1===a)) f()", "(0!==c || 2!==a && 1!==a) || f()");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: AND/OR minimization not yet implemented"]
     fn test_minimize_and_or1() {
         test("if ((!a || !b) && (d || e)) f()", "(a&&b || !d&&!e) || f()");
     }
@@ -741,7 +741,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Conditional variable declaration folding not yet implemented"]
     fn test_fold_conditional_var_declaration() {
         test("if(x) var y=1;else y=2", "var y=x?1:2");
         test("if(x) y=1;else var y=2", "var y=x?1:2");
@@ -764,7 +764,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Return statement substitution not yet implemented"]
     fn test_substitute_return() {
         test("function f() { while(x) { return }}", "function f() { while(x) { break }}");
 
@@ -861,7 +861,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Break/throw substitution not yet implemented"]
     fn test_substitute_break_for_throw() {
         test_same("function f() { while(x) { throw Error }}");
 
diff --git a/crates/oxc_minifier/src/peephole/replace_known_methods.rs b/crates/oxc_minifier/src/peephole/replace_known_methods.rs
index 410b7323cb641..dae2fd26acbc6 100644
--- a/crates/oxc_minifier/src/peephole/replace_known_methods.rs
+++ b/crates/oxc_minifier/src/peephole/replace_known_methods.rs
@@ -666,20 +666,20 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Array.join optimization with sparse arrays not yet implemented"]
     fn test_string_join_add_sparse() {
         test("x = [,,'a'].join(',')", "x = ',,a'");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Array.join optimization edge cases not yet implemented"]
     fn test_no_string_join() {
         test_same("x = [].join(',',2)");
         test_same("x = [].join(f)");
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Array.join to string concatenation optimization not yet implemented"]
     fn test_string_join_add() {
         test("x = ['a', 'b', 'c'].join('')", "x = \"abc\"");
         test("x = [].join(',')", "x = \"\"");
@@ -739,7 +739,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Array.join single element optimization not yet implemented"]
     fn test_string_join_add_b1992789() {
         test("x = ['a'].join('')", "x = \"a\"");
         test_same("x = [foo()].join('')");
@@ -890,7 +890,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: String.split optimization not yet implemented"]
     fn test_fold_string_split() {
         // late = false;
         test("x = 'abcde'.split('foo')", "x = ['abcde']");
@@ -928,7 +928,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Array.join edge case optimization not yet implemented"]
     fn test_join_bug() {
         test("var x = [].join();", "var x = '';");
         test_same("var x = [x].join();");
@@ -948,7 +948,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Array.join with spread syntax optimization not yet implemented"]
     fn test_join_spread1() {
         test_same("var x = [...foo].join('');");
         test_same("var x = [...someMap.keys()].join('');");
@@ -960,7 +960,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Array.join with spread syntax optimization not yet implemented"]
     fn test_join_spread2() {
         test("var x = [...foo].join(',');", "var x = [...foo].join();");
         test("var x = [...someMap.keys()].join(',');", "var x = [...someMap.keys()].join();");
@@ -1219,7 +1219,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Math.pow optimization not yet implemented"]
     fn test_fold_math_functions_pow() {
         test("Math.pow(1, 2)", "1");
         test("Math.pow(2, 0)", "1");
@@ -1346,7 +1346,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: String charAt replacement optimization not yet implemented"]
     fn test_replace_with_char_at() {
         // enableTypeCheck();
         // replaceTypesWithColors();
diff --git a/crates/oxc_minifier/src/peephole/substitute_alternate_syntax.rs b/crates/oxc_minifier/src/peephole/substitute_alternate_syntax.rs
index 9e0b925590fc0..371975e84e7cd 100644
--- a/crates/oxc_minifier/src/peephole/substitute_alternate_syntax.rs
+++ b/crates/oxc_minifier/src/peephole/substitute_alternate_syntax.rs
@@ -1824,7 +1824,7 @@ mod test {
     }
 
     #[test]
-    #[ignore]
+    #[ignore = "TODO: Function.bind to Function.call optimization not yet implemented"]
     fn test_bind_to_call() {
         test("((function(){}).bind())()", "((function(){}))()");
         test("((function(){}).bind(a))()", "((function(){})).call(a)");
diff --git a/crates/oxc_minifier/tests/peephole/minimize_exit_points.rs b/crates/oxc_minifier/tests/peephole/minimize_exit_points.rs
index 4c538b6b06512..1d3678555562f 100644
--- a/crates/oxc_minifier/tests/peephole/minimize_exit_points.rs
+++ b/crates/oxc_minifier/tests/peephole/minimize_exit_points.rs
@@ -1,7 +1,7 @@
 use crate::{test, test_same};
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Break statement optimization not yet implemented"]
 fn test_break_optimization() {
     test("f:{if(true){a();break f;}else;b();}", "f:{if(true){a()}else{b()}}");
     test("f:{if(false){a();break f;}else;b();break f;}", "f:{if(false){a()}else{b()}}");
@@ -34,7 +34,7 @@ fn test_function_return_optimization1() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Function return optimization not yet implemented"]
 fn test_function_return_optimization2() {
     test("function f(){if(a()){b();if(c())return;}}", "function f(){if(a()){b();if(c());}}");
     test("function f(){if(x)return; x=3; return; }", "function f(){if(x); else x=3}");
@@ -110,7 +110,7 @@ fn test_function_return_scoped() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: While continue optimization not yet implemented"]
 fn test_while_continue_optimization() {
     test("while(true){if(x)continue; x=3; continue; }", "while(true)if(x);else x=3");
     test_same("while(true){a();continue;b();}");
@@ -152,7 +152,7 @@ fn test_while_continue_optimization() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Do-while continue optimization not yet implemented"]
 fn test_do_continue_optimization() {
     test("do{if(x)continue; x=3; continue; }while(true)", "do if(x); else x=3; while(true)");
     test_same("do{a();continue;b()}while(true)");
@@ -207,7 +207,7 @@ fn test_do_continue_optimization() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: For loop continue optimization not yet implemented"]
 fn test_for_continue_optimization() {
     test("for(x in y){if(x)continue; x=3; continue; }", "for(x in y)if(x);else x=3");
     test_same("for(x in y){a();continue;b()}");
@@ -284,7 +284,7 @@ fn test_for_continue_optimization() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Code motion with function hoisting not yet implemented"]
 fn test_code_motion_doesnt_break_function_hoisting() {
     test(
         "function f() { if (x) return; foo(); function foo() {} }",
@@ -309,7 +309,7 @@ fn test_dont_test_break_in_do_while_if_condition_has_side_effects() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Switch exit point optimization not yet implemented"]
 fn test_switch_exit_points1() {
     test("switch (x) { case 1: f(); break; }", "switch (x) { case 1: f();        }");
     test(
@@ -323,7 +323,7 @@ fn test_switch_exit_points1() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Block scoped variable optimization not yet implemented"]
 fn test_test_block_scoped_variables() {
     // When moving block-scoped variable declarations into inner blocks, first convert them to
     // "var" declarations to avoid breaking any references in inner functions.
@@ -354,7 +354,7 @@ fn test_test_block_scoped_variables() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Block scoped variables in loops optimization not yet implemented"]
 fn test_dont_test_block_scoped_variables_in_loops() {
     // Don't move block-scoped declarations into inner blocks inside a loop, since converting
     // let/const declarations to vars in a loop can cause incorrect semantics.
diff --git a/crates/oxc_minifier/tests/peephole/statement_fusion.rs b/crates/oxc_minifier/tests/peephole/statement_fusion.rs
index d0be0cff329ef..93b6973fd945c 100644
--- a/crates/oxc_minifier/tests/peephole/statement_fusion.rs
+++ b/crates/oxc_minifier/tests/peephole/statement_fusion.rs
@@ -73,7 +73,7 @@ fn fuse_into_vanilla_for2() {
 }
 
 #[test]
-#[ignore]
+#[ignore = "TODO: Label statement fusion optimization not yet implemented"]
 fn fuse_into_label() {
     test("a;b;c;label:for(x in y){}", "label:for(x in a,b,c,y);");
     test("a;b;c;label:for(;g;){}", "label:for(a,b,c;g;);");
diff --git a/crates/oxc_parser/src/js/function.rs b/crates/oxc_parser/src/js/function.rs
index d13e3b9b60d73..21fe0335490b3 100644
--- a/crates/oxc_parser/src/js/function.rs
+++ b/crates/oxc_parser/src/js/function.rs
@@ -274,11 +274,11 @@ impl<'a> ParserImpl<'a> {
 
     /// Section 15.4 Method Definitions
     /// `ClassElementName` ( `UniqueFormalParameters` ) { `FunctionBody` }
-    /// `GeneratorMethod`
+    /// * `GeneratorMethod`
     ///   * `ClassElementName`
-    /// `AsyncMethod`
+    /// * `AsyncMethod`
     ///   async `ClassElementName`
-    /// `AsyncGeneratorMethod`
+    /// * `AsyncGeneratorMethod`
     ///   async * `ClassElementName`
     pub(crate) fn parse_method(
         &mut self,
diff --git a/crates/oxc_parser/src/lexer/search.rs b/crates/oxc_parser/src/lexer/search.rs
index 60da9c723cf6c..1430e4c83c98d 100644
--- a/crates/oxc_parser/src/lexer/search.rs
+++ b/crates/oxc_parser/src/lexer/search.rs
@@ -124,18 +124,18 @@ pub(crate) use byte_match_table;
 /// To make this guarantee, one of the following must be true:
 ///
 /// 1. Table contains `true` for all byte values 192 - 247
-///   i.e. first byte of any multi-byte Unicode character matches.
-///   (NB: 248 - 255 cannot occur in UTF-8 strings)
-///   e.g.
-///   `safe_byte_match_table!(|b| b >= 192)`
-///   `safe_byte_match_table!(|b| !b.is_ascii())`
+///    i.e. first byte of any multi-byte Unicode character matches.
+///    (NB: 248 - 255 cannot occur in UTF-8 strings)
+///    e.g.
+///    * `safe_byte_match_table!(|b| b >= 192)`
+///    * `safe_byte_match_table!(|b| !b.is_ascii())`
 ///
 /// 2. Table contains `false` for all byte values 128 - 191
-///   i.e. the continuation bytes of any multi-byte Unicode chars will be consumed in full.
-///   e.g.
-///   `safe_byte_match_table!(|b| b < 128 || b >= 192)`
-///   `safe_byte_match_table!(|b| b.is_ascii())`
-///   `safe_byte_match_table!(|b| b == ' ' || b == '\t')`
+///    i.e. the continuation bytes of any multi-byte Unicode chars will be consumed in full.
+///    e.g.
+///    * `safe_byte_match_table!(|b| b < 128 || b >= 192)`
+///    * `safe_byte_match_table!(|b| b.is_ascii())`
+///    * `safe_byte_match_table!(|b| b == ' ' || b == '\t')`
 ///
 /// This is statically checked by `SafeByteMatchTable::new`, and will fail to compile if match
 /// pattern does not satisfy one of the above.
diff --git a/crates/oxc_transformer/src/es2017/async_to_generator.rs b/crates/oxc_transformer/src/es2017/async_to_generator.rs
index 7c93fddb94804..41d7c7f3dd695 100644
--- a/crates/oxc_transformer/src/es2017/async_to_generator.rs
+++ b/crates/oxc_transformer/src/es2017/async_to_generator.rs
@@ -564,9 +564,9 @@ impl<'a, 'ctx> AsyncGeneratorExecutor<'a, 'ctx> {
     ///
     /// // Valid
     /// * `foo` -> `foo`
-    /// // Contains space
+    ///   // Contains space
     /// * `foo bar` -> `foo_bar`
-    /// // Reserved keyword
+    ///   // Reserved keyword
     /// * `this` -> `_this`
     /// * `arguments` -> `_arguments`
     fn normalize_function_name(input: &Cow<'a, str>, ctx: &TraverseCtx<'a>) -> Atom<'a> {
diff --git a/crates/oxc_transformer/src/es2018/async_generator_functions/mod.rs b/crates/oxc_transformer/src/es2018/async_generator_functions/mod.rs
index eead6ba4c4fe1..12667da8b07f4 100644
--- a/crates/oxc_transformer/src/es2018/async_generator_functions/mod.rs
+++ b/crates/oxc_transformer/src/es2018/async_generator_functions/mod.rs
@@ -3,7 +3,7 @@
 //! This plugin mainly does the following transformations:
 //!
 //! 1. transforms async generator functions (async function *name() {}) to generator functions
-//! and wraps them with `awaitAsyncGenerator` helper function.
+//!    and wraps them with `awaitAsyncGenerator` helper function.
 //! 2. transforms `await expr` expression to `yield awaitAsyncGenerator(expr)`.
 //! 3. transforms `yield * argument` expression to `yield asyncGeneratorDelegate(asyncIterator(argument))`.
 //! 4. transforms `for await` statement to `for` statement, and inserts many code to handle async iteration.
diff --git a/crates/oxc_transformer/src/es2020/optional_chaining.rs b/crates/oxc_transformer/src/es2020/optional_chaining.rs
index 7642f325e42e6..5da8009e0860b 100644
--- a/crates/oxc_transformer/src/es2020/optional_chaining.rs
+++ b/crates/oxc_transformer/src/es2020/optional_chaining.rs
@@ -413,15 +413,15 @@ impl<'a> OptionalChaining<'a, '_> {
     /// 2. Recurse and go into the deepest optional expression `foo?.bar`
     ///
     /// 3. The `foo?.bar` is an optional [`StaticMemberExpression`], so transform `foo` to
-    /// `foo === null || foo === void 0` and return the transformed expression back to the parent
+    ///    `foo === null || foo === void 0` and return the transformed expression back to the parent
     ///
     /// 4. Got to here, we now have a left expression as the above transformed expression, and the current expression
-    /// is `foo.bar?.baz`, and it's also an optional [`StaticMemberExpression`], so transform `foo.bar` to
-    /// `(_foo$bar = foo.bar) === null || _foo$bar === void 0` and join it with the left expression, and return
-    /// the joined expression back to the parent.
+    ///    is `foo.bar?.baz`, and it's also an optional [`StaticMemberExpression`], so transform `foo.bar` to
+    ///    `(_foo$bar = foo.bar) === null || _foo$bar === void 0` and join it with the left expression, and return
+    ///    the joined expression back to the parent.
     ///
     /// > NOTE: The callee(`foo.bar`) is assigned to a temp binding(`_foo$bar`), so the original callee is also replaced with
-    /// the temp binding(`_foo$bar`)
+    /// > the temp binding(`_foo$bar`)
     ///
     /// 5. Repeat the above steps until back to the root expression, and the final expression will be
     ///
diff --git a/crates/oxc_transformer/src/es2022/class_properties/private_field.rs b/crates/oxc_transformer/src/es2022/class_properties/private_field.rs
index 7ff93650e8140..2c5352319c3a8 100644
--- a/crates/oxc_transformer/src/es2022/class_properties/private_field.rs
+++ b/crates/oxc_transformer/src/es2022/class_properties/private_field.rs
@@ -1537,13 +1537,13 @@ impl<'a> ClassProperties<'a, '_> {
     /// Transform call expression to bind a proper context.
     ///
     /// * Callee without a private field:
-    ///  `Foo?.bar()?.zoo?.().#x;`
-    ///  ->
-    ///  `(_Foo$bar$zoo = (_Foo$bar = Foo?.bar())?.zoo) === null || _Foo$bar$zoo === void 0 ? void 0
-    ///  : babelHelpers.assertClassBrand(Foo, _Foo$bar$zoo.call(_Foo$bar), _x)._;`
+    ///   `Foo?.bar()?.zoo?.().#x;`
+    ///   ->
+    ///   `(_Foo$bar$zoo = (_Foo$bar = Foo?.bar())?.zoo) === null || _Foo$bar$zoo === void 0 ? void 0
+    ///   : babelHelpers.assertClassBrand(Foo, _Foo$bar$zoo.call(_Foo$bar), _x)._;`
     ///
     /// * Callee has a private field:
-    ///  `o?.Foo.#self.getSelf?.().#m?.();`
+    ///   `o?.Foo.#self.getSelf?.().#m?.();`
     ///   ->
     ///   `(_ref = o === null || o === void 0 ? void 0 : (_babelHelpers$assertC =
     ///   babelHelpers.assertClassBrand(Foo, o.Foo, _self)._).getSelf) === null ||
@@ -1827,13 +1827,13 @@ impl<'a> ClassProperties<'a, '_> {
     /// Transform private field in expression.
     ///
     /// * Static
-    ///  `#prop in object` -> `_checkInRHS(object) === Class`
+    ///   `#prop in object` -> `_checkInRHS(object) === Class`
     ///
     /// * Instance prop
-    ///  `#prop in object` -> `_prop.has(_checkInRHS(object))`
+    ///   `#prop in object` -> `_prop.has(_checkInRHS(object))`
     ///
     /// * Instance method
-    ///  `#method in object` -> `_Class_brand.has(_checkInRHS(object))`
+    ///   `#method in object` -> `_Class_brand.has(_checkInRHS(object))`
     ///
     // `#[inline]` so that compiler sees that `expr` is an `Expression::PrivateFieldExpression`
     #[inline]
diff --git a/crates/oxc_transformer/src/es2022/class_properties/super_converter.rs b/crates/oxc_transformer/src/es2022/class_properties/super_converter.rs
index 858a7af6ad431..179069915a30f 100644
--- a/crates/oxc_transformer/src/es2022/class_properties/super_converter.rs
+++ b/crates/oxc_transformer/src/es2022/class_properties/super_converter.rs
@@ -299,10 +299,10 @@ impl<'a> ClassPropertiesSuperConverter<'a, '_, '_> {
     /// Transform update expression where the argument is a member expression with `super`.
     ///
     /// * `++super.prop` or `super.prop--`
-    /// See [`Self::transform_update_expression_for_super_static_member_expr`]
+    ///   See [`Self::transform_update_expression_for_super_static_member_expr`]
     ///
     /// * `++super[prop]` or `super[prop]--`
-    /// See [`Self::transform_update_expression_for_super_computed_member_expr`]
+    ///   See [`Self::transform_update_expression_for_super_computed_member_expr`]
     //
     // `#[inline]` so can bail out fast without a function call if `argument` is not a member expression
     // with `super` as member expression object (fairly rare).
@@ -598,13 +598,13 @@ impl<'a> ClassPropertiesSuperConverter<'a, '_, '_> {
     }
 
     /// * [`ClassPropertiesSuperConverterMode::Static`]
-    /// (_Class, _Class)
+    ///   (_Class, _Class)
     ///
     /// * [`ClassPropertiesSuperConverterMode::PrivateMethod`]
-    /// (_Class.prototype, this)
+    ///   (_Class.prototype, this)
     ///
     /// * [`ClassPropertiesSuperConverterMode::StaticPrivateMethod`]
-    /// (_Class, this)
+    ///   (_Class, this)
     fn get_class_binding_arguments(
         &mut self,
         ctx: &mut TraverseCtx<'a>,
diff --git a/crates/oxc_transformer/src/jsx/jsx_impl.rs b/crates/oxc_transformer/src/jsx/jsx_impl.rs
index 96493727c5dbc..9ab77efcb81cc 100644
--- a/crates/oxc_transformer/src/jsx/jsx_impl.rs
+++ b/crates/oxc_transformer/src/jsx/jsx_impl.rs
@@ -1097,7 +1097,7 @@ impl<'a> JsxImpl<'a, '_> {
 
     /// Replace entities like "&nbsp;", "&#123;", and "&#xDEADBEEF;" with the characters they encode.
     /// * See <https://en.wikipedia.org/wiki/List_of_XML_and_HTML_character_entity_references>
-    /// Code adapted from <https://github.com/microsoft/TypeScript/blob/514f7e639a2a8466c075c766ee9857a30ed4e196/src/compiler/transformers/jsx.ts#L617C1-L635>
+    ///   Code adapted from <https://github.com/microsoft/TypeScript/blob/514f7e639a2a8466c075c766ee9857a30ed4e196/src/compiler/transformers/jsx.ts#L617C1-L635>
     ///
     /// If either:
     /// (a) Text contains any HTML entities that need to be decoded, or
diff --git a/crates/oxc_transformer/src/plugins/styled_components.rs b/crates/oxc_transformer/src/plugins/styled_components.rs
index 3812f621c6c32..6ff46b8b143f4 100644
--- a/crates/oxc_transformer/src/plugins/styled_components.rs
+++ b/crates/oxc_transformer/src/plugins/styled_components.rs
@@ -8,8 +8,8 @@
 //! ## Implementation Status
 //!
 //! > Note: Currently, this plugin only supports styled-components imported via import statements.
-//! The transformation will not be applied if you import it using `require("styled-components")`,
-//! in other words, it only supports `ESM` not `CJS`.
+//! > The transformation will not be applied if you import it using `require("styled-components")`,
+//! > in other words, it only supports `ESM` not `CJS`.
 //!
 //! ### Options:
 //! **✅ Fully Supported:**
@@ -834,7 +834,7 @@ fn is_valid_styled_component_source(source: &str) -> bool {
 ///    - Currently inside a string.
 ///    - Current string quote character.
 ///    - Depth of parentheses.
-///    This state is carried over across different quasis.
+///      This state is carried over across different quasis.
 /// 2. Iterate through each quasi, and each byte of each quasi:
 ///    - If encounter a string quote (`"` or `'`), toggle the `string_quote` state.
 ///    - Skip comments (both block and line comments) and whitespace, compressing them as needed.
diff --git a/crates/oxc_transformer/src/typescript/class.rs b/crates/oxc_transformer/src/typescript/class.rs
index 366dd16b5eb2e..ab423607b5a7d 100644
--- a/crates/oxc_transformer/src/typescript/class.rs
+++ b/crates/oxc_transformer/src/typescript/class.rs
@@ -29,8 +29,8 @@ impl<'a> TypeScript<'a, '_> {
     /// 2. Convert class fields to `this` assignments in the constructor body.
     ///
     /// > This transformation only works when `set_public_class_fields` is `true`,
-    ///   and the fields have initializers, which is to align with the behavior of TypeScript's
-    ///   `useDefineForClassFields: false` option.
+    /// > and the fields have initializers, which is to align with the behavior of TypeScript's
+    /// > `useDefineForClassFields: false` option.
     ///
     /// Input:
     /// ```ts
diff --git a/crates/oxc_transformer_plugins/src/module_runner_transform.rs b/crates/oxc_transformer_plugins/src/module_runner_transform.rs
index 36718f6883d72..57e7bbf0caf1b 100644
--- a/crates/oxc_transformer_plugins/src/module_runner_transform.rs
+++ b/crates/oxc_transformer_plugins/src/module_runner_transform.rs
@@ -38,12 +38,12 @@
 //! There are few problems to integrate this transform into the main transformer:
 //!
 //! 1. In Vite, it will collect import deps and dynamic import deps during the transform process, and return them
-//! at the end of function. We can do this, but how to pass them into the js side?
+//!    at the end of function. We can do this, but how to pass them into the js side?
 //!
 //! 2. In case other plugins will insert imports/exports, we must transform them in `exit_program`, but it will pose
-//! another problem: how to transform identifiers which refer to imports? We must collect some information from imports,
-//! but it is already at the end of the visitor. To solve this, we may introduce a new visitor to transform identifiers,
-//! dynamic imports, and import meta.
+//!    another problem: how to transform identifiers which refer to imports? We must collect some information from imports,
+//!    but it is already at the end of the visitor. To solve this, we may introduce a new visitor to transform identifiers,
+//!    dynamic imports, and import meta.
 
 use std::iter;
 
diff --git a/crates/oxc_traverse/src/context/ancestry.rs b/crates/oxc_traverse/src/context/ancestry.rs
index b6419be1d6192..5177ab0646449 100644
--- a/crates/oxc_traverse/src/context/ancestry.rs
+++ b/crates/oxc_traverse/src/context/ancestry.rs
@@ -37,7 +37,7 @@ const INITIAL_STACK_CAPACITY: usize = 64; // 64 entries = 1 KiB
 /// 3. Visitors receive a `&mut TraverseCtx`, but cannot overwrite its `ancestry` field because they:
 ///    a. cannot create a new `TraverseAncestry`
 ///       - `TraverseAncestry::new` and `TraverseCtx::new` are private.
-///    b. cannot obtain an owned `TraverseAncestry` from a `&TraverseAncestry`
+///         b. cannot obtain an owned `TraverseAncestry` from a `&TraverseAncestry`
 ///       - `TraverseAncestry` is not `Clone`.
 ///
 /// ## Soundness hole
diff --git a/tasks/ast_tools/src/schema/extensions/estree.rs b/tasks/ast_tools/src/schema/extensions/estree.rs
index 20f76f86454d3..c0d2bb257dbb5 100644
--- a/tasks/ast_tools/src/schema/extensions/estree.rs
+++ b/tasks/ast_tools/src/schema/extensions/estree.rs
@@ -20,7 +20,7 @@ pub struct ESTreeStruct {
     /// Contains field indices. Entries are:
     /// * Actual struct field: index of the field.
     /// * Added field: `struct_def.fields.len() + added_field_index`.
-    /// Does not include `type` field, if it's automatically added.
+    ///   Does not include `type` field, if it's automatically added.
     pub field_indices: Vec<u8>,
     /// TS alias.
     /// e.g. `#[estree(ts_alias = "null")]` means this type won't have a type def generated,