Repository navigation
spec(t27f): spec_graph_view -- carry #10049 onto master (Closes #10034) - #10059
Merged
Merged
Conversation
gHashTag
enabled auto-merge (squash)
October 17, 2026 17:46
Contributor
dmitrii-f-t27
added a commit
to dmitrii-f-t27/t27
that referenced
this pull request
Oct 17, 2026
Conflicts were in derived files only: the seals of verilog_emit/verilog_plan and gen/rust/tri/t27b/verilog_emit.rs. The specs merged cleanly (master's gHashTag#10057 rst_n/en tie-off fold and this branch's pin declarations). The derived files are recomputed from them with this tree's t27c: gen-rust for both, and both seals re-saved. Checks with this tree: seals of verilog_emit, verilog_plan, eth_top_ax7203 and xc7_primitives verify; t27c test-report and t27b test 8/8, 15/15, 2/2, 2/2. t27b verilog writes eth_top_ax7203 with all 22 pin attributes, and its synthesizable part equals the top of the bitstream tested on the board (only the test bench differs).
5 tasks done
gHashTag
added a commit
to gHashTag/t27-mcp
that referenced
this pull request
Oct 17, 2026
New tool t27f_graph: every box and edge position, size and style comes from specs/t27f/spec_graph_view.t27 (gHashTag/t27#10059) running in t27f.wasm. Generated: spec_graph_view.zig/.mjs, t27f.wasm. Hand glue: server.mjs +27, export.zig +8/-2 (third module, dedupe over all earlier modules, quota). Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #10034
Why this PR exists
#10049 (
spec_graph_view.t27) was opened on top of the #10029 branch (claude/affectionate-mahavira-86b04d). #10029 was squash-merged to master first, and then #10049 merged into that old branch, not into master. So none of its three files reached master, and #10034 stayed open.This PR carries the #10049 squash commit (3456f62) unchanged onto current master. The cherry-pick applied cleanly.
Files (identical to #10049)
specs/t27f/spec_graph_view.t27: new, 774 lines. The first T27F graph view, a deterministic layout of aspec_graphgraph..claude/skills/t27f/SKILL.md: one pointer line.specs/OWNERS.md: one line.Verification (Railway lab, never the Mac)
The whole
specs/t27f/directory from this branch went over as one tarball, with sha256fd1378dd...4883a7equal on both ends.spec_graph.t27andui_plan.t27on master are byte-identical to the base #10049 was tested on.test-report specs/t27f/spec_graph_view.t27: 8 tests, 0 vacuous passes.test --check: 8 passed, 0 failed, 4 invariants held, 152 runtime asserts.🤖 Generated with Claude Code