diff --git a/docs/object_matching_logs/action_flee_obj_opus5_150k_w2_20260914.md b/docs/object_matching_logs/action_flee_obj_opus5_150k_w2_20260914.md
index e2872ee9..c3a86ffd 100644
--- a/docs/object_matching_logs/action_flee_obj_opus5_150k_w2_20260914.md
+++ b/docs/object_matching_logs/action_flee_obj_opus5_150k_w2_20260914.md
@@ -102,7 +102,7 @@ Shapes: v6 (polarity, field, cause, arm order, swarm guard) gave 848. v6p (+ dia
 
    ```c
    boolean unit_is_speaking(
-   	long unit_index);
+    long unit_index);
    ```
 
    Evidence:
diff --git a/docs/object_matching_logs/files_windows_obj_opus5_150k_w2_20260914.md b/docs/object_matching_logs/files_windows_obj_opus5_150k_w2_20260914.md
index 4b629bf9..edb020a8 100644
--- a/docs/object_matching_logs/files_windows_obj_opus5_150k_w2_20260914.md
+++ b/docs/object_matching_logs/files_windows_obj_opus5_150k_w2_20260914.md
@@ -49,7 +49,7 @@ Candidate: `scratch/workers/player_profile_files_windows_etc/fw_reopen.c`, SHA-2
 - *Measured levers:* two ordinary rules are needed together:
   - declaring `info` with its `file_reference_get_const_info` initializer, as the exact siblings `file_create`/`file_exists` do (house rule 17);
   - a single-exit boolean result.
-  
+
   Either lever alone stays residual (scratch `fw_v7.c` has only the single exit; `fw_v8.c` has only the initializer). The same family law closed `_file_open`, and behaviour is unchanged.
 
 ## `_file_get_size`: not landed
diff --git a/docs/object_matching_logs/lrar_cache_obj_opus5_150k_w2_20260914.md b/docs/object_matching_logs/lrar_cache_obj_opus5_150k_w2_20260914.md
index 2e5cc291..918a7a42 100644
--- a/docs/object_matching_logs/lrar_cache_obj_opus5_150k_w2_20260914.md
+++ b/docs/object_matching_logs/lrar_cache_obj_opus5_150k_w2_20260914.md
@@ -18,7 +18,7 @@ The park is classed `tu-context-optimization`. The evidence below shows it is an
 - **What January does with the helper:** it calls `lrar_get_block` out of line at +0x83 and +0xCF, which are:
   - the last-block end, in the else arm;
   - the first eviction lookup.
-  
+
   At the post-increment lookup inside the eviction `while` it fully inlines the helper (verify_cache + index assert + verify_block).
 - **Why that means cold blocks:** January also inlines `lrar_get_block` partially at its non-loop sites (`lrar_block_address`, `lrar_deallocate`) and fully in `lrar_flush`'s loop. So January's two call sites are colder than an ordinary statement.
 - **Mechanism probe** (scratch only; NOT admissible): wrapping the retry `for (;;)` in a condition that VC7 folds late gives **12/12 strict exact**, with alndiff reporting no normalized instruction differences. The probe condition is `if (size >= 0)`, redundant with the dominating size check. File: `scratch/workers/player_profile_files_windows_etc/lr_p8.c`.
diff --git a/docs/object_matching_logs/path_obstacles_obj_opus5_150k_w2_20260914.md b/docs/object_matching_logs/path_obstacles_obj_opus5_150k_w2_20260914.md
index 61016b53..d5321186 100644
--- a/docs/object_matching_logs/path_obstacles_obj_opus5_150k_w2_20260914.md
+++ b/docs/object_matching_logs/path_obstacles_obj_opus5_150k_w2_20260914.md
@@ -48,12 +48,12 @@ Diff against the real file (whitespace-exact in the candidate):
  ...
 -		disc_stack[0] = seed_disc_index;
 -		stack_top = 1;
- 		BIT_VECTOR_SET_FLAG(disc_flag_words, seed_disc_index, TRUE);
+        BIT_VECTOR_SET_FLAG(disc_flag_words, seed_disc_index, TRUE);
 +		disc_stack[stack_top++] = seed_disc_index;
  ...
- 					if (point_in_circle_inline(
+                    if (point_in_circle_inline(
 -						&disc->center,
- 						&current_disc->center,
+                        &current_disc->center,
 +						&disc->center,
 ```