From 51f8c615d8f7611a18fdc06d23d76ca2d0b7a096 Mon Sep 17 00:00:00 2001
From: Hojun-Cho <ghwns6743@gmail.com>
Date: Sat, 8 Aug 2026 13:48:18 +0900
Subject: [PATCH] lib: canonicalize regex whitebox test name

---
 lib/regex/regex_test.ww                           |  4 ++--
 lib/regex/{regex_whitebox.ww => whitebox_test.ww} | 13 ++++++-------
 2 files changed, 8 insertions(+), 9 deletions(-)
 rename lib/regex/{regex_whitebox.ww => whitebox_test.ww} (98%)

diff --git a/lib/regex/regex_test.ww b/lib/regex/regex_test.ww
index b16509a0..47a19fa7 100644
--- a/lib/regex/regex_test.ww
+++ b/lib/regex/regex_test.ww
@@ -7,7 +7,7 @@
 // unexported internals (thread/newmatch, run_thread / add_thread /
 // delete_thread / search, find_last_groupstart / shift /
 // parse_repetition, is_consuming_inst) — lives in
-// lib/regex/regex_whitebox.ww (`package regex`, unified with regex.ww) and
+// lib/regex/whitebox_test.ww (`package regex`, unified with regex.ww) and
 // runs as a separate root-package binary.
 //
 // Fold 2a ports compile()'s lit/any/match arms only; exec lives in
@@ -26,7 +26,7 @@
 // name in struct-literal position (#29), and the imported EXPORTED type
 // is in scope unqualified. These reach only exported types — the #29
 // axis, distinct from the white-box privacy boundary handled by the
-// regex_whitebox.ww split above.
+// whitebox_test.ww split above.
 package regex_test;
 
 import regex;
diff --git a/lib/regex/regex_whitebox.ww b/lib/regex/whitebox_test.ww
similarity index 98%
rename from lib/regex/regex_whitebox.ww
rename to lib/regex/whitebox_test.ww
index ca4893e4..2a815a6c 100644
--- a/lib/regex/regex_whitebox.ww
+++ b/lib/regex/whitebox_test.ww
@@ -1,4 +1,4 @@
-// regex_whitebox — in-package white-box @test probes for lib/regex
+// whitebox_test — in-package white-box @test probes for lib/regex
 // internals NOT reachable from the black-box package regex_test: the
 // thread/NFA-stepping engine (thread/newmatch, run_thread / add_thread /
 // delete_thread / search), the program-shape leaves (find_last_groupstart
@@ -10,12 +10,11 @@
 // the non-T @test drop, #6). Load-bearing ww-compiler coverage (drove
 // #34/#38/#44/#45/#48), not black-box-reachable.
 //
-// This noncanonical `_whitebox.ww` name is retained during migration. The
-// package planner's explicit compatibility rule recognizes its line-leading
-// @test declarations and assembles it with the production `regex` sources;
-// ordinary production files merely ending in `test.ww` stay production.
-// Importing regex as a dependency still strips these tests. Public-API tests
-// remain a separate `package regex_test` binary in lib/regex/regex_test.ww
+// Canonical in-package white-box shape: `package regex;` in a *_test.ww
+// file, assembled with the production `regex` sources by the package
+// planner. Importing regex as a dependency still strips these tests.
+// Public-API tests remain a separate `package regex_test` binary in
+// lib/regex/regex_test.ww
 // (CLAUDE.md rule 9).
 package regex;