Test the 1 untested function in specs/igla/race/gemm.t27

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.

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;
+}