diff --git a/docs/now/2026-09-24-published-test-the-1-untested-function-in-specs-fpga-timing-t27.md b/docs/now/2026-09-24-published-test-the-1-untested-function-in-specs-fpga-timing-t27.md new file mode 100644 index 0000000000..ca27e10e35 --- /dev/null +++ b/docs/now/2026-09-24-published-test-the-1-untested-function-in-specs-fpga-timing-t27.md @@ -0,0 +1,11 @@ +# NOW -- Test the 1 untested function in specs/fpga/timing.t27 (published 2026-09-24) + +## A bee's work on #4699, published from `queen-4699` (Closes #4699) + +- The branch changes 1 file(s): `specs/fpga/timing.t27`. +- `git diff --stat origin/master...queen-4699` reads: 1 file changed, 3 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/fpga/timing.t27 b/specs/fpga/timing.t27 index a37735c8bb..9df9b19c2d 100644 --- a/specs/fpga/timing.t27 +++ b/specs/fpga/timing.t27 @@ -353,6 +353,9 @@ module Timing { and routing_delay_ps() == 300 and setup_time_ps() == 200 + test hold_time_ps + then hold_time_ps() == 50 + // === Invariants === invariant slack_consistent_with_fmax