Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 - #6736
Conversation
…l_heartbeat_top.t27 - Implements temporal heartbeat controller with configurable LED patterns - Maintains original module name and functionality - Includes comprehensive tests covering all temporal layers and state transitions - Uses T27 structs and functions to represent Verilog state machine - Generated Verilog matches original module signature Closes #5013
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. The publisher adds it rather than failing the gate. Closes #5013 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
![t27-bees[bot]](https://avatars.githubusercontent.com/u/6774813?s=60&v=4){kind=small}
There was a problem hiding this comment.
Reviewer bee verdict for head baa6ec362ab139f91f0c176815d6a5f44bf54787 (tools/bees/reviewer.py, zai glm-4.7-flash, 6 turns, 95 s; then glm-4.5-flash, 3 turns, 76 s).
BEE-VERDICT: APPROVE
summary: All 6 acceptance criteria met; generated code parses and compiles with 16 tests; only red check (spec-guards) is pre-existing master failure unrelated to this change
criterion: test -f specs/port/fpga/vsa/temporal_heartbeat_top.t27 && echo present -- met -- evidence: brief.md:465
criterion: grep -cE '^\s*(pub )?module temporal_heartbeat_top\b' ... prints 1 -- met -- evidence: brief.md:466
criterion: t27c gen-verilog ... | grep -cE '^module temporal_heartbeat_top ?(' prints 1 -- met -- evidence: brief.md:467
criterion: t27c spec-status does not print NOPARSE -- met -- evidence: brief.md:468: prints IMPLEMENTED
criterion: grep -cE '^[[:space:]]*test[[:space:]]+("|[A-Za-z_])' prints at least 1 -- met -- evidence: brief.md:469: prints 16
criterion: t27c test-report ... | grep -c BLOCKED prints 0 -- met -- evidence: brief.md:470: prints 0
discounted-check: spec-guards -- it is already red on master (cb94c7c) for unrelated reasons (drift in formats.t27 and proof_trace.t27, not in temporal_heartbeat_top.t27) -- evidence: brief.md:413, 434-449
Evidence
I've verified the spec-guards check failure is pre-existing on master and unrelated to this PR. The log shows drift in specs/numeric/formats.t27 and specs/ar/proof_trace.t27, not in temporal_heartbeat_top.t27. The check examines all ring/spec pairs across the entire repository, and the change here only adds one new spec file with no conflicts.
Second, independent review (glm-4.5-flash): APPROVE -- Successfully ports fpga/vsa/temporal_heartbeat_top.v to specs/port/fpga/vsa/temporal_heartbeat_top.t27 meeting all acceptance criteria
t27-bees
Bot
added
the
bee-reviewed
2 participants
Closes #5013
Written by a bee on
queen-5013and published bytools/queen/publish.py. The branch itself is the bee's; the second commit is the coordination entry every pull request must add, which a bee has no way to know about.🤖 Generated with Claude Code