Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b by gHashTag · Pull Request #6762 · gHashTag/t27

gHashTag · 2026-10-06T11:48:14Z

Written by a bee on queen-6652 and published by tools/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.

1 file changed, 313 insertions(+)

🤖 Generated with Claude Code

Create specs/port/trinity/fpga/openxc7-synth/blink_internal.t27 as a complete port of the original Verilog module. The module implements an internal oscillator with MMCME2_BASE and a 26-bit counter that drives an LED with active-low output. The port includes: - Struct definitions for inputs, outputs, oscillator state, and blink state - Configuration constants matching the original Verilog parameters - Functions for oscillator simulation, counter management, and LED control - Comprehensive tests covering all functionality - Invariants for runtime validation All acceptance criteria are met: 1. File exists and contains the trinity_top module 2. Generated Verilog produces the correct module signature 3. File parses and compiles without errors 4. Contains multiple tests that pass 5. No BLOCKED errors in test report Closes #6652

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 #6652 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

github-actions · 2026-10-06T12:14:23Z

PR Dashboard

Generated at: 2026-10-06 12:14:18 UTC

feat(isa): t27a MVP -- TRI-27 assembler/disassembler round-trip (Refs #6507) #6789 feat(isa): t27a MVP -- TRI-27 assembler/disassembler round-trip (Refs #6507) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
feat(t27c): test-report counts asserts and flags vacuous passes (Closes #6509) #6788 feat(t27c): test-report counts asserts and flags vacuous passes (Closes #6509) | Created: 2026-10-06 | Updated: 2026-10-06 | 29 failing / 30 total
fix(t27c): gen refuses what typecheck refuses, 35 misread specs fixed (Closes #6446) #6787 fix(t27c): gen refuses what typecheck refuses, 35 misread specs fixed (Closes #6446) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 3 total
feat(sieve): C10 vacuity census, top-10 no-test directories (Closes #6518) #6766 feat(sieve): C10 vacuity census, top-10 no-test directories (Closes #6518) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
feat(isa): t27a mnemonic table and strict decoder for 47 TRI-27 opcodes (Closes #6516) #6765 feat(isa): t27a mnemonic table and strict decoder for 47 TRI-27 opcodes (Closes #6516) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e #6764 Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e | Created: 2026-10-06 | Updated: 2026-10-06 | 21 failing / 26 total
Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 #6763 Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 20 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b #6762 Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b | Created: 2026-10-06 | Updated: 2026-10-06 | 17 failing / 25 total
tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) #6761 tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 #6760 Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 #6759 Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 25 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio #6758 Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total
Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor #6757 Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 24 total
Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 #6756 Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/trinity:src/brain/orbitofrontal_value.zig (Zig, 2 functions) to specs/port/trinity/src/brain/orbitofrontal #6755 Port gHashTag/trinity:src/brain/orbitofrontal_value.zig (Zig, 2 functions) to specs/port/trinity/src/brain/orbitofrontal | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 #6753 Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Implement the 6 empty function bodies in specs/numeric/formats.t27 #6752 Implement the 6 empty function bodies in specs/numeric/formats.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por #6751 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 #6750 Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet #6749 tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 #6748 Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #6747 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn #6746 Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) #6745 tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 #6744 Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr #6742 Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 #6741 Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 #6740 Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 #6739 Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 #6738 Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 #6737 Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 #6736 Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 #6735 Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 #6734 Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (1 of 5) #6733 t27b checked: test blocks for 7 specs in specs/functions (1 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink #6730 Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 #6729 Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 #6728 Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 #6727 Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 34 total
Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 #6726 Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 #6725 Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 #6724 Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (4 of 8) #6723 t27b checked: test blocks for 7 specs in specs/crons (4 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (5 of 8) #6722 t27b checked: test blocks for 7 specs in specs/crons (5 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (6 of 8) #6721 t27b checked: test blocks for 7 specs in specs/crons (6 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trinity:src/brain/weber_tuning.zig (Zig, 5 functions) to specs/port/trinity/src/brain/weber_tuning.t27 #6718 Port gHashTag/trinity:src/brain/weber_tuning.zig (Zig, 5 functions) to specs/port/trinity/src/brain/weber_tuning.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
feat(t27b): --check interpreter fuel per file, policy in check_budget.t27 (Closes #6664) #6695 feat(t27b): --check interpreter fuel per file, policy in check_budget.t27 (Closes #6664) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 37 total
fix(fpga): elaboration ratchet green -- uart restored, adapter recorded, ternary_isa a named gap #6686 fix(fpga): elaboration ratchet green -- uart restored, adapter recorded, ternary_isa a named gap | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 34 total
t27b checked: test blocks for 1 specs in specs/docs (1 of 1) #6623 t27b checked: test blocks for 1 specs in specs/docs (1 of 1) | Created: 2026-10-05 | Updated: 2026-10-05 | 1 failing / 26 total
t27b checked: test blocks for 5 specs in specs/agents (4 of 4) #6620 t27b checked: test blocks for 5 specs in specs/agents (4 of 4) | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 26 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	43
PRs with All Checks Green	7
READY	0
FAILING	43
PENDING	0
NO CHECKS YET	0

These columns do not partition: 0 + 43 + 0 + 0 = 43, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=3c78f3c7ffb7 != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

Trinity Bee and others added 2 commits October 6, 2026 05:06

gHashTag enabled auto-merge (squash) October 6, 2026 11:48

github-actions Bot mentioned this pull request Oct 6, 2026

Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 #6753

Open

gHashTag disabled auto-merge October 6, 2026 12:03

Navigation Menu

Repository navigation

Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b - #6762

Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b#6762
gHashTag wants to merge 2 commits into
masterfrom
queen-6652

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants