Keep the test's changes clear of the lines around it

The two tests now come before the fixture, so the existing test's header
and the comments around the block stay as they are on main. That lets this
branch merge cleanly with a branch that edits those comments.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: alireza-shirzad

crates/tt-core/src/irs/nodes/utils/sweep_factors/tests.rs

@@ -45,6 +45,22 @@ fn pattern(bytes: &[u8]) -> Vec<F> {
 // t = 1: single-factor prefix
 // -----------------------------------------------------------------------------
 
+#[test]
+fn honest_t1_prefix_verifies() {
+    run_gadget_pipeline(t1_prefix_harness(b"abab")).expect("SweepFactors t=1 prefix should verify");
+}
+
+/// The input strings are `"xy"`, but the committed `char^(0)` and everything
+/// derived from it are those of `"ab"`.
+#[test]
+#[ignore = "soundness gap: char^(0) is not bound to the char column of the input"]
+fn rotated_chars_of_other_strings_rejected() {
+    assert!(
+        run_gadget_pipeline(t1_prefix_harness(b"xyxy")).is_err(),
+        "`ab%` must not match strings that do not start with `ab`"
+    );
+}
+
 /// The harness of `ab%` with the witness of two strings `"ab"`, over an input
 /// whose char column is `input_chars`.
 fn t1_prefix_harness(input_chars: &[u8; 4]) -> GadgetHarness<B> {
@@ -223,22 +239,6 @@ fn t1_prefix_harness(input_chars: &[u8; 4]) -> GadgetHarness<B> {
         .build()
 }
 
-#[test]
-fn honest_t1_prefix_verifies() {
-    run_gadget_pipeline(t1_prefix_harness(b"abab")).expect("SweepFactors t=1 prefix should verify");
-}
-
-/// The input strings are `"xy"`, but the committed `char^(0)` and everything
-/// derived from it are those of `"ab"`.
-#[test]
-#[ignore = "soundness gap: char^(0) is not bound to the char column of the input"]
-fn rotated_chars_of_other_strings_rejected() {
-    assert!(
-        run_gadget_pipeline(t1_prefix_harness(b"xyxy")).is_err(),
-        "`ab%` must not match strings that do not start with `ab`"
-    );
-}
-
 // -----------------------------------------------------------------------------
 // t = 2: two infix factors — `%ab%cd%` against "abcd" | "abcd"
 // -----------------------------------------------------------------------------