diff --git a/docs/now/2026-09-20-published-implement-the-1-empty-function-body-in-specs-fpga-testbench-.md b/docs/now/2026-09-20-published-implement-the-1-empty-function-body-in-specs-fpga-testbench-.md
new file mode 100644
index 0000000000..a6bb97a439
--- /dev/null
+++ b/docs/now/2026-09-20-published-implement-the-1-empty-function-body-in-specs-fpga-testbench-.md
@@ -0,0 +1,11 @@
+# NOW -- Implement the 1 empty function body in specs/fpga/testbench/timing_tb.t27 (published 2026-09-20)
+
+## A bee's work on #4434, published from `queen-4434` (Closes #4434)
+
+- The branch changes 1 file(s): `specs/fpga/testbench/timing_tb.t27`.
+- `git diff --stat origin/master...queen-4434` reads: 1 file changed, 12 insertions(+), 2 deletions(-)
+- 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/docs/now/2026-09-22-published-implement-the-1-empty-function-body-in-specs-fpga-testbench-.md b/docs/now/2026-09-22-published-implement-the-1-empty-function-body-in-specs-fpga-testbench-.md
new file mode 100644
index 0000000000..cd5b9bd59f
--- /dev/null
+++ b/docs/now/2026-09-22-published-implement-the-1-empty-function-body-in-specs-fpga-testbench-.md
@@ -0,0 +1,11 @@
+# NOW -- Implement the 1 empty function body in specs/fpga/testbench/timing_tb.t27 (published 2026-09-22)
+
+## A bee's work on #4434, published from `queen-4434` (Closes #4434)
+
+- The branch changes 2 file(s): `docs/now/2026-09-20-published-implement-the-1-empty-function-body-in-specs-fpga-testbench-.md`, `specs/fpga/testbench/timing_tb.t27`.
+- `git diff --stat origin/master...queen-4434` reads: 2 files changed, 23 insertions(+), 2 deletions(-)
+- 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/fpga/testbench/timing_tb.t27 b/specs/fpga/testbench/timing_tb.t27
index 47864bbb33..62b26f22d7 100644
--- a/specs/fpga/testbench/timing_tb.t27
+++ b/specs/fpga/testbench/timing_tb.t27
@@ -23,7 +23,7 @@ module Timing_Testbench {
     var test_failed : u32 = 0;
 
     fn tick() {
-        // Implementation goes here
+        clk = !clk;
     }
 
     fn reset() {
@@ -90,7 +90,17 @@ module Timing_Testbench {
 
     test test_tick_empty_implementation {
         tick();
-        // Add assertions here to verify tick() behavior
+        invariant clk == true;
+        tick();
+        invariant clk == false;
+    }
+
+    test test_tick_toggles_clock {
+        var initial : bool = clk;
+        tick();
+        invariant clk != initial;
+        tick();
+        invariant clk == initial;
     }
 
     bench bench_timing_analysis {