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

gHashTag · 2026-10-01T23:32:14Z

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

🤖 Generated with Claude Code

Create specs/port/trinity/fpga/openxc7-synth/d6_test.t27 as a module trinity_top that replicates the original Verilog behavior. The original module has a simple clock input and LED output, with the LED always driven to 0 (active-low = ON). The port includes: - Module interface with clk input and led output - led_state() function that always returns false (ON for active-low) - compute_output() function that creates the module interface - is_led_on() helper for LED state interpretation - Tests verifying LED behavior and consistency - Invariants for LED consistency and output matching - Benchmarks for latency measurement Closes #5480

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

github-actions · 2026-10-01T23:43:38Z

PR Dashboard

Generated at: 2026-10-01 23:43:29 UTC

ci(fpga-build): run the gate-precondition control when a gate it guards changes, and after a red ratchet (Refs #5453) #5489 ci(fpga-build): run the gate-precondition control when a gate it guards changes, and after a red ratchet (Refs #5453) | Created: 2026-10-01 | Updated: 2026-10-01 | 28 failing / 32 total
fix(ci): the NOW sync gate writes nothing to the clone it runs in (Refs #5482) #5488 fix(ci): the NOW sync gate writes nothing to the clone it runs in (Refs #5482) | Created: 2026-10-01 | Updated: 2026-10-01 | 22 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/led_off_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led #5487 Port gHashTag/trinity:fpga/openxc7-synth/led_off_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led | Created: 2026-10-01 | Updated: 2026-10-01 | 23 failing / 30 total
Port gHashTag/trinity:src/tri/gen_work_stealing.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_work_stealing.t #5486 Port gHashTag/trinity:src/tri/gen_work_stealing.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_work_stealing.t | Created: 2026-10-01 | Updated: 2026-10-01 | 21 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/d6_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d6_test. #5485 Port gHashTag/trinity:fpga/openxc7-synth/d6_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d6_test. | Created: 2026-10-01 | Updated: 2026-10-01 | 16 failing / 31 total
Port gHashTag/trinity:src/tri/gen_ray.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_ray.t27 #5484 Port gHashTag/trinity:src/tri/gen_ray.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_ray.t27 | Created: 2026-10-01 | Updated: 2026-10-01 | 17 failing / 30 total
Port gHashTag/trinity:src/tri/gen_linear_regression.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_linear_regr #5483 Port gHashTag/trinity:src/tri/gen_linear_regression.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_linear_regr | Created: 2026-10-01 | Updated: 2026-10-01 | 14 failing / 31 total
fix(trinity): the S01 manifest skips build.zig comments and counts the vendored t27 copies apart (Refs #3563) #5474 fix(trinity): the S01 manifest skips build.zig comments and counts the vendored t27 copies apart (Refs #3563) | Created: 2026-10-01 | Updated: 2026-10-01 | 5 failing / 36 total
Specify contributor key management and attribution boundaries #5473 Specify contributor key management and attribution boundaries | Created: 2026-10-01 | Updated: 2026-10-01 | 5 failing / 36 total
fix(bootstrap): make cargo test compile again -- honest server gates, E0716 (#5448) #5455 fix(bootstrap): make cargo test compile again -- honest server gates, E0716 (#5448) | Created: 2026-10-01 | Updated: 2026-10-01 | 8 failing / 45 total
The seal gate is back: a merge her verdict refused had made it one comment line #5454 The seal gate is back: a merge her verdict refused had made it one comment line | Created: 2026-10-01 | Updated: 2026-10-01 | 5 failing / 34 total
The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-01 | 6 failing / 32 total
docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-01 | 6 failing / 32 total
feat(automation): ball-grants -- the mail cards, to others only by the owner's grant (Closes #5387) #5411 feat(automation): ball-grants -- the mail cards, to others only by the owner's grant (Closes #5387) | Created: 2026-10-01 | Updated: 2026-10-01 | 5 failing / 32 total
spec(automation): kanban-card-chat -- a card opens its agent conversation #5389 spec(automation): kanban-card-chat -- a card opens its agent conversation | Created: 2026-10-01 | Updated: 2026-10-01 | 5 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-09-30 | 8 failing / 31 total
A "using" in prose became an import; and the per-spec delta check compared strings #5215 A "using" in prose became an import; and the per-spec delta check compared strings | Created: 2026-09-29 | Updated: 2026-09-29 | 12 failing / 41 total
Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure #5084 Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure | Created: 2026-09-28 | Updated: 2026-09-29 | 10 failing / 45 total
Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus #5081 Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus | Created: 2026-09-28 | Updated: 2026-09-28 | 10 failing / 36 total
chore: drop build artifacts tracked since ea15cd54c (#1399), ignore *.rlib #5078 chore: drop build artifacts tracked since ea15cd54c (#1399), ignore *.rlib | Created: 2026-09-28 | Updated: 2026-09-28 | 7 failing / 40 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-09-27 | 11 failing / 31 total
spec: agent-conversations — several chats per agent, as a compiler-checked contract #4892 spec: agent-conversations — several chats per agent, as a compiler-checked contract | Created: 2026-09-27 | Updated: 2026-09-27 | 10 failing / 31 total
Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it #4887 Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it | Created: 2026-09-27 | Updated: 2026-09-27 | 12 failing / 40 total
spec(automation): agent-conversations — several chats per agent #4840 spec(automation): agent-conversations — several chats per agent | Created: 2026-09-26 | Updated: 2026-09-26 | 9 failing / 32 total
Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep #4801 Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep | Created: 2026-09-24 | Updated: 2026-09-24 | 11 failing / 31 total
Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope #4777 Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope | Created: 2026-09-24 | Updated: 2026-09-24 | 10 failing / 31 total
Generic type parameters dropped from the declaration and kept in the body: -23 errors #4745 Generic type parameters dropped from the declaration and kept in the body: -23 errors | Created: 2026-09-24 | Updated: 2026-09-24 | 12 failing / 31 total
Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-09-24 | 12 failing / 31 total
Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-09-23 | 10 failing / 31 total
Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-09-23 | 10 failing / 31 total
Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-09-23 | 10 failing / 31 total
feat(specs/skills): trinity/connect-accounts #4600 feat(specs/skills): trinity/connect-accounts | Created: 2026-09-22 | Updated: 2026-09-22 | 7 failing / 32 total
Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-09-22 | 9 failing / 31 total
Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) #4578 Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-09-22 | 8 failing / 31 total
Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 #4565 Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 | Created: 2026-09-21 | Updated: 2026-09-21 | 0 failing / 2 total
Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-09-21 | 8 failing / 31 total
The C tests handed cc a clang-only flag: 23 red on gcc, and the silent half compiled nothing #4551 The C tests handed cc a clang-only flag: 23 red on gcc, and the silent half compiled nothing | Created: 2026-09-21 | Updated: 2026-09-22 | 5 failing / 44 total
classify: the browser could not tell a Markdown file from a broken spec (refs #2133) #4541 classify: the browser could not tell a Markdown file from a broken spec (refs #2133) | Created: 2026-09-21 | Updated: 2026-09-22 | 7 failing / 41 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #4536 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-09-21 | Updated: 2026-09-21 | 8 failing / 31 total
Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place #4498 Nothing builds bindings/wasm-explorer, which is how the artifact it replaces drifted in the first place | Created: 2026-09-21 | Updated: 2026-09-21 | 6 failing / 30 total
specs/functions: render-job-run, morph-images-generate -- a failed delivery is not delivered #4123 specs/functions: render-job-run, morph-images-generate -- a failed delivery is not delivered | Created: 2026-09-17 | Updated: 2026-09-17 | 4 failing / 30 total
specs/functions: payment-ai-server-process -- claim-invoice before crediting #4116 specs/functions: payment-ai-server-process -- claim-invoice before crediting | Created: 2026-09-17 | Updated: 2026-09-17 | 4 failing / 30 total
specs/functions: crm-proactive-sweep -- one step per seller after the 502 runs #4113 specs/functions: crm-proactive-sweep -- one step per seller after the 502 runs | Created: 2026-09-17 | Updated: 2026-09-17 | 4 failing / 30 total
specs/functions: withdraw five functions from the registry (code-only/unregistered) #4038 specs/functions: withdraw five functions from the registry (code-only/unregistered) | Created: 2026-09-17 | Updated: 2026-09-17 | 4 failing / 30 total
Feed the swarm from CI, with fuel that does not run out #3978 Feed the swarm from CI, with fuel that does not run out | Created: 2026-09-17 | Updated: 2026-09-17 | 6 failing / 28 total
specs: bind every tool and skill to the Queen, and name a domain lead #3833 specs: bind every tool and skill to the Queen, and name a domain lead | Created: 2026-09-15 | Updated: 2026-09-15 | 4 failing / 30 total
agent-provider-chain: probe 4 of the reserve, 402 with max_tokens bounded #3683 agent-provider-chain: probe 4 of the reserve, 402 with max_tokens bounded | Created: 2026-09-15 | Updated: 2026-09-15 | 0 failing / 30 total
specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 #3593 specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 | Created: 2026-09-13 | Updated: 2026-09-13 | 5 failing / 30 total
fix(ci): make the JSON gate strict, and make the one file it refuses legal #3395 fix(ci): make the JSON gate strict, and make the one file it refuses legal | Created: 2026-09-07 | Updated: 2026-09-07 | 0 failing / 30 total
coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-09-06 | 5 failing / 32 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=b7d5cc5c4cf1 != 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).

github-actions · 2026-10-01T23:45:01Z

📓 NotebookLM Notebook linked to this PR

Notebook ID: b83263109fb055dc
URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

Trinity Bee and others added 2 commits October 1, 2026 23:27

gHashTag enabled auto-merge (squash) October 1, 2026 23:32

This was referenced Oct 1, 2026

Port gHashTag/trinity:src/tri/gen_work_stealing.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_work_stealing.t #5486

Merged

ci(fpga-build): run the gate-precondition control when a gate it guards changes, and after a red ratchet (Refs #5453) #5489

Merged

gHashTag merged commit cd80de5 into master Oct 1, 2026
25 of 31 checks passed

Navigation Menu

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

Port gHashTag/trinity:fpga/openxc7-synth/d6_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d6_test.#5485
gHashTag merged 2 commits into
masterfrom
queen-5480

gHashTag commented Oct 1, 2026

Uh oh!

github-actions Bot commented Oct 1, 2026

Uh oh!

github-actions Bot commented Oct 1, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 1, 2026

Uh oh!

github-actions Bot commented Oct 1, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 1, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants