Skip to content

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

Merged
gHashTag merged 2 commits into
masterfrom
queen-5461
Oct 1, 2026
Merged

gHashTag merged 2 commits into
masterfrom
queen-5461

Conversation

@gHashTag

@gHashTag gHashTag commented Oct 1, 2026

Copy link
Copy Markdown
Owner

Closes #5461

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

🤖 Generated with Claude Code

Trinity Bee and others added 2 commits October 1, 2026 19:11
Create specs/port/trinity/fpga/openxc7-synth/d_static_on.t27 that reproduces
the original Verilog module trinity_top with static ON LED output.

The original module provides:
- input wire clk
- output wire led
- assign led = 1'b0;  // Active-low = ON

The T27 module includes:
- LedConfig struct for configuration
- led_output() function that returns true (static ON)
- led_value() function that returns 0 (1'b0 in Verilog)
- Tests verifying the behavior matches the original
- Validation and invariants for robustness

Generated Verilog will have the same module name trinity_top and the
LED output behavior is preserved through the combinational functions.

Closes #5461
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 #5461

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@gHashTag
gHashTag enabled auto-merge (squash) October 1, 2026 19:13
@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

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

@github-actions

github-actions Bot commented Oct 1, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-10-01 19:13:54 UTC

Summary

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

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).

@gHashTag
gHashTag merged commit d4c4f2f into master Oct 1, 2026
25 of 31 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

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

2 participants