Test the 1 untested function in specs/fpga/testbench.t27

docs/now/2026-09-20-published-test-the-1-untested-function-in-specs-fpga-testbench-t27.md

@@ -0,0 +1,11 @@
+# NOW -- Test the 1 untested function in specs/fpga/testbench.t27 (published 2026-09-20)
+
+## A bee's work on #4451, published from `queen-4451` (Closes #4451)
+
+- The branch changes 1 file(s): `specs/fpga/testbench.t27`.
+- `git diff --stat origin/master...queen-4451` reads: 1 file changed, 20 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.

docs/now/2026-09-22-published-test-the-1-untested-function-in-specs-fpga-testbench-t27.md

@@ -0,0 +1,11 @@
+# NOW -- Test the 1 untested function in specs/fpga/testbench.t27 (published 2026-09-22)
+
+## A bee's work on #4451, published from `queen-4451` (Closes #4451)
+
+- The branch changes 2 file(s): `docs/now/2026-09-20-published-test-the-1-untested-function-in-specs-fpga-testbench-t27.md`, `specs/fpga/testbench.t27`.
+- `git diff --stat origin/master...queen-4451` reads: 2 files changed, 31 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/fpga/testbench.t27

@@ -246,6 +246,26 @@ module Testbench {
         given cfg = clock_cfg(10)
         then total_sim_ns(cfg, 100) == 1000
 
+    test stim_count_before_empty
+        given stimuli = [TbStimulus]{}
+        then stim_count_before(stimuli, 0, 10) == 0
+
+    test stim_count_before_all_before
+        given stimuli = [TbStimulus]{stimulus(1, "a", 1), stimulus(2, "b", 2), stimulus(3, "c", 3)}
+        then stim_count_before(stimuli, 3, 10) == 3
+
+    test stim_count_before_none_before
+        given stimuli = [TbStimulus]{stimulus(15, "a", 1), stimulus(20, "b", 2)}
+        then stim_count_before(stimuli, 2, 10) == 0
+
+    test stim_count_before_some_before
+        given stimuli = [TbStimulus]{stimulus(5, "a", 1), stimulus(10, "b", 2), stimulus(15, "c", 3)}
+        then stim_count_before(stimuli, 3, 10) == 2
+
+    test stim_count_before_partial_array
+        given stimuli = [TbStimulus]{stimulus(1, "a", 1), stimulus(5, "b", 2), stimulus(10, "c", 3), stimulus(15, "d", 4), stimulus(20, "e", 5)}
+        then stim_count_before(stimuli, 3, 10) == 3
+
     // === Invariants ===
 
     invariant half_period_not_zero