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

gHashTag · 2026-10-06T21:27:17Z

Written by a bee on queen-5647 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, 272 insertions(+)

🤖 Generated with Claude Code

- Add module trinity_top with 25-bit counter and active-low LED output - Implement counter increment logic matching original Verilog always @(posedge clk) - Add LED output function that inverts counter[24] for active-low behavior - Include comprehensive tests for counter behavior, LED output, and overflow handling - Add validation functions and invariants for correctness - Include benchmarks for performance verification Closes #5647

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

github-actions · 2026-10-06T21:51:11Z

PR Dashboard

Generated at: 2026-10-06 21:51:05 UTC

feat(verified): t27c run-record reads the receipts and judges one run (R2-4 tool half) #7130 feat(verified): t27c run-record reads the receipts and judges one run (R2-4 tool half) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 3 total
Port gHashTag/trinity:src/tri/gen_ring_buffer.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_ring_buffer.t27 #7126 Port gHashTag/trinity:src/tri/gen_ring_buffer.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_ring_buffer.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 28 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/openrouter-fetch.ts (TypeScript, 1 function) to specs/por #7125 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/openrouter-fetch.ts (TypeScript, 1 function) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 21 failing / 28 total
Port gHashTag/trinity:src/tri/gen_canvas.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_canvas.t27 #7124 Port gHashTag/trinity:src/tri/gen_canvas.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_canvas.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 21 failing / 28 total
Port gHashTag/trinity:fpga/openxc7-synth/trinity_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/trin #7123 Port gHashTag/trinity:fpga/openxc7-synth/trinity_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/trin | Created: 2026-10-06 | Updated: 2026-10-06 | 16 failing / 28 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits.rs (Rust, 1 function) to specs/port/trios/crates/trios-mcp/r #7122 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits.rs (Rust, 1 function) to specs/port/trios/crates/trios-mcp/r | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 29 total
Port tools/queen/watchdog.py (Python, 8 functions) to specs/port/tools/queen/watchdog.t27 #7121 Port tools/queen/watchdog.py (Python, 8 functions) to specs/port/tools/queen/watchdog.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/envelope.ts (TypeScript, 1 function) to specs/port #7120 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/envelope.ts (TypeScript, 1 function) to specs/port | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 29 total
Port scripts/gen_w363.py (Python, 1 function) to specs/port/scripts/gen_w363.t27 #7119 Port scripts/gen_w363.py (Python, 1 function) to specs/port/scripts/gen_w363.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/vm/lima-config.ts (TypeScript, 1 function) to specs/port/ #7118 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/vm/lima-config.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 29 total
Wave Loop 549 — CLARA coverage regenerated over 496 specs; 730 seals verify 0 #7117 Wave Loop 549 — CLARA coverage regenerated over 496 specs; 730 seals verify 0 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 24 total
t27b: _ = p; for a parameter lowers to nothing where the reference compiles it (Closes #7057) #7111 t27b: _ = p; for a parameter lowers to nothing where the reference compiles it (Closes #7057) | Created: 2026-10-06 | Updated: 2026-10-06 | 27 failing / 30 total
Port gHashTag/trios:crates/trios-server/src/mcp_endpoints/tasks.rs (Rust, 3 functions) to specs/port/trios/crates/trios- #7102 Port gHashTag/trios:crates/trios-server/src/mcp_endpoints/tasks.rs (Rust, 3 functions) to specs/port/trios/crates/trios- | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port scripts/check_first_party_doc_language.py (Python, 2 functions) to specs/port/scripts/check_first_party_doc_languag #7101 Port scripts/check_first_party_doc_language.py (Python, 2 functions) to specs/port/scripts/check_first_party_doc_languag | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_slow.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink #7100 Port gHashTag/trinity:fpga/openxc7-synth/blink_slow.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/BR-XTASK/src/main.rs (Rust, 3 functions) to specs/port/trios/crates/trios-mcp #7099 Port gHashTag/trios:crates/trios-mcp/rings/BR-XTASK/src/main.rs (Rust, 3 functions) to specs/port/trios/crates/trios-mcp | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_blink_high.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_b #7098 Port gHashTag/trinity:fpga/openxc7-synth/d_blink_high.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_b | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/client.ts (TypeScript, 2 functions) to specs/port/brow #7097 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/client.ts (TypeScript, 2 functions) to specs/port/brow | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/stall-watch-worker.ts (TypeScript, 1 function) to specs/p #7096 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/stall-watch-worker.ts (TypeScript, 1 function) to specs/p | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trinity:fpga/uart_loopback_core.v (Verilog, 1 module) to specs/port/trinity/fpga/uart_loopback_core.t27 #7095 Port gHashTag/trinity:fpga/uart_loopback_core.v (Verilog, 1 module) to specs/port/trinity/fpga/uart_loopback_core.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-tri-earnings.ts (TypeScript, 7 functions) #7094 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-tri-earnings.ts (TypeScript, 7 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/lock.rs (Rust, 5 functions) to specs/port/trios/crates/trios-cli/src/lock.t27 #7093 Port gHashTag/trios:crates/trios-cli/src/lock.rs (Rust, 5 functions) to specs/port/trios/crates/trios-cli/src/lock.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
test(census): the skipped-count control is a fixture, not a hope #7089 test(census): the skipped-count control is a fixture, not a hope | Created: 2026-10-06 | Updated: 2026-10-06 | 26 failing / 27 total
Port gHashTag/trinity:src/vibeec/tnc.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/tnc.t27 #7087 Port gHashTag/trinity:src/vibeec/tnc.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/tnc.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port scripts/gen_w391.py (Python, 2 functions) to specs/port/scripts/gen_w391.t27 #7086 Port scripts/gen_w391.py (Python, 2 functions) to specs/port/scripts/gen_w391.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-ext/rings/SILVER-RING-EXT-00/src/lib.rs (Rust, 2 functions) to specs/port/trios/crates/ #7085 Port gHashTag/trios:crates/trios-ext/rings/SILVER-RING-EXT-00/src/lib.rs (Rust, 2 functions) to specs/port/trios/crates/ | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Test the 1 untested function in specs/base/ternary_encoding.t27 #7084 Test the 1 untested function in specs/base/ternary_encoding.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_hazard_pointers.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_hazard_pointe #7083 Port gHashTag/trinity:src/tri/gen_hazard_pointers.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_hazard_pointe | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_r23.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink_ #7082 Port gHashTag/trinity:fpga/openxc7-synth/blink_r23.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink_ | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/codex-fetch.ts (TypeScript, 1 function) to #7081 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/codex-fetch.ts (TypeScript, 1 function) to | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_multi_led.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_mu #7080 Port gHashTag/trinity:fpga/openxc7-synth/d_multi_led.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_mu | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trinity:src/tri/gen_perceptron.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_perceptron.t27 #7079 Port gHashTag/trinity:src/tri/gen_perceptron.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_perceptron.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d6_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d6_blin #7078 Port gHashTag/trinity:fpga/openxc7-synth/d6_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d6_blin | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/trios:validate_bpb.rs (Rust, 4 functions) to specs/port/trios/validate_bpb.t27 #7073 Port gHashTag/trios:validate_bpb.rs (Rust, 4 functions) to specs/port/trios/validate_bpb.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-train-cpu/src/bin/train_state.rs (Rust, 4 functions) to specs/port/trios/crates/trios-t #7071 Port gHashTag/trios:crates/trios-train-cpu/src/bin/train_state.rs (Rust, 4 functions) to specs/port/trios/crates/trios-t | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/sweep.rs (Rust, 4 functions) to specs/port/trios/crates/trios-cli/src/cmd/s #7070 Port gHashTag/trios:crates/trios-cli/src/cmd/sweep.rs (Rust, 4 functions) to specs/port/trios/crates/trios-cli/src/cmd/s | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/gen_hash_table.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_hash_table.t27 #7069 Port gHashTag/trinity:src/tri/gen_hash_table.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_hash_table.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/token-store.ts (TypeScript, 5 functions) to #7068 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/token-store.ts (TypeScript, 5 functions) to | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-earnings.ts (TypeScript, 1 function) #7067 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-earnings.ts (TypeScript, 1 function) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-credits.ts (TypeScript, 1 function) t #7066 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-credits.ts (TypeScript, 1 function) t | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Implement the 4 empty function bodies in specs/tri/graph/graph_bfs.t27 #7065 Implement the 4 empty function bodies in specs/tri/graph/graph_bfs.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_fast.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink #7064 Port gHashTag/trinity:fpga/openxc7-synth/blink_fast.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/clade-improve-tool.ts (TypeScript, 1 function) to specs #7063 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/clade-improve-tool.ts (TypeScript, 1 function) to specs | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-02/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #7056 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-02/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trinity:src/tri/gen_radix_tree.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_radix_tree.t27 #7055 Port gHashTag/trinity:src/tri/gen_radix_tree.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_radix_tree.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-regress/regress-fabric-bufg/fabric_bufg.v (Verilog, 1 module) to specs/port/trinity/f #7054 Port gHashTag/trinity:fpga/openxc7-regress/regress-fabric-bufg/fabric_bufg.v (Verilog, 1 module) to specs/port/trinity/f | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 29 total
Port scripts/gen_w388.py (Python, 2 functions) to specs/port/scripts/gen_w388.t27 #7053 Port scripts/gen_w388.py (Python, 2 functions) to specs/port/scripts/gen_w388.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 29 total
Port gHashTag/trinity:src/storm/experience_engine.zig (Zig, 3 functions) to specs/port/trinity/src/storm/experience_engi #7052 Port gHashTag/trinity:src/storm/experience_engine.zig (Zig, 3 functions) to specs/port/trinity/src/storm/experience_engi | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/status.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/status.t2 #7051 Port gHashTag/trios:crates/trios-git/src/status.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/status.t2 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_record_store.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_record_store.t27 #7049 Port gHashTag/trinity:src/tri/gen_record_store.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_record_store.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 29 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=b23641f01baa != 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 3, 2026 01:24

gHashTag enabled auto-merge (squash) October 7, 2026 07:23

gHashTag merged commit ae91591 into master Oct 7, 2026
27 of 29 checks passed

Navigation Menu

Repository navigation

Port gHashTag/trinity:fpga/openxc7-synth/trinity_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/trin - #7123

Port gHashTag/trinity:fpga/openxc7-synth/trinity_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/trin#7123
gHashTag merged 2 commits into
masterfrom
queen-5647

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

Uh oh!

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!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants