diff --git a/docs/now/2026-09-21-published-test-the-1-untested-function-in-specs-igla-race-gemm-t27.md b/docs/now/2026-09-21-published-test-the-1-untested-function-in-specs-igla-race-gemm-t27.md
new file mode 100644
index 0000000000..6f7964d09f
--- /dev/null
+++ b/docs/now/2026-09-21-published-test-the-1-untested-function-in-specs-igla-race-gemm-t27.md
@@ -0,0 +1,11 @@
+# NOW -- Test the 1 untested function in specs/igla/race/gemm.t27 (published 2026-09-21)
+
+## A bee's work on #4486, published from `queen-4486` (Closes #4486)
+
+- The branch changes 1 file(s): `specs/igla/race/gemm.t27`.
+- `git diff --stat origin/master...queen-4486` reads: 1 file changed, 23 insertions(+)
+- This entry is written by the publisher, not by the bee. A pull request must
+  add exactly one `docs/now/` entry and a bee has no way to know that: its brief
+  names a boundary file and acceptance criteria, and `docs/now/` is neither.
+- What this entry does NOT establish: that the work is correct. The gates on the
+  pull request judge that, and they are the same gates every other change meets.
diff --git a/specs/igla/race/gemm.t27 b/specs/igla/race/gemm.t27
index 1785fc81b3..d7669c1be8 100644
--- a/specs/igla/race/gemm.t27
+++ b/specs/igla/race/gemm.t27
@@ -2269,3 +2269,26 @@ test igla_race_gemm_w392_batch_depth_invariant_2 {
 }
 
 invariant igla_race_gemm_w392_depth: true
+test booth_mul_u32_inner_test1 {
+    let a: u32 = 5;
+    let b: u32 = 7;
+    let acc: u32 = 0;
+    let result = booth_mul_u32_inner(a, b, acc);
+    assert result == 35;
+}
+
+test booth_mul_u32_inner_test2 {
+    let a: u32 = 0;
+    let b: u32 = 12345;
+    let acc: u32 = 0;
+    let result = booth_mul_u32_inner(a, b, acc);
+    assert result == 0;
+}
+
+test booth_mul_u32_inner_test3 {
+    let a: u32 = 123;
+    let b: u32 = 456;
+    let acc: u32 = 0;
+    let result = booth_mul_u32_inner(a, b, acc);
+    assert result == 56088;
+}