All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named by gHashTag · Pull Request #6854 · gHashTag/t27

gHashTag · 2026-10-06T13:46:39Z

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

🤖 Generated with Claude Code

The turn ended with these files edited and never committed. Uncommitted work is invisible to the review - it reads the branch - so the attempt would have been released as empty and the next bee would have started beside this work rather than from it. This commit is not a claim that the work is correct. It is the bee's work, committed on its behalf, and it is judged exactly like any other: the adversarial reviewer reads it, the compiler runs on it, and the issue's own criteria are measured against it. Issue: #5403 Turn: e74ac349-c336-4dc7-84d6-69fc07131255 Ending: finished (the turn closed) Committed: 1 path(s) Left uncommitted: 1 path(s) outside the declared boundary

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

github-actions · 2026-10-06T13:51:20Z

PR Dashboard

Generated at: 2026-10-06 13:51:12 UTC

fix: repo-relative t27a seals + parseable orbitofrontal_value port (master red gates) #6861 fix: repo-relative t27a seals + parseable orbitofrontal_value port (master red gates) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Oracle cluster: the following test command terminated with signal ABRT: (24 specs) #6860 Oracle cluster: the following test command terminated with signal ABRT: (24 specs) | Created: 2026-10-06 | Updated: 2026-10-06 | 25 failing / 26 total
The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times #6859 The Rust backend emits no tests at all: 532 specs declare them, #[test] appears zero times | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/crons (3 of 8) #6858 t27b checked: test blocks for 7 specs in specs/crons (3 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b checked: test blocks for 7 specs in specs/skills (1 of 4) #6857 t27b checked: test blocks for 7 specs in specs/skills (1 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 #6856 Port scripts/install-git-hooks.sh (Shell, 1 function) to specs/port/scripts/install-git-hooks.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Epic: every check is a .t27 card; workflows and hooks are generated from it #6855 Epic: every check is a .t27 card; workflows and hooks are generated from it | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named #6854 All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port fpga/verilog/mvp_ternary_classifier_check.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_c #6853 Port fpga/verilog/mvp_ternary_classifier_check.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_c | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) #6852 fix(seals): repository-relative spec_path for the three #6789 isa seals (Closes #6849) | Created: 2026-10-06 | Updated: 2026-10-06 | 23 failing / 24 total
Review jam: reviewer bee as a service, merger that reads the bee's discounted checks, publisher heading that passes chec #6851 Review jam: reviewer bee as a service, merger that reads the bee's discounted checks, publisher heading that passes chec | Created: 2026-10-06 | Updated: 2026-10-06 | 22 failing / 25 total
Two merges took "ours" and discarded 1103 lines of real work, invisible to git show --numstat #6850 Two merges took "ours" and discarded 1103 lines of real work, invisible to git show --numstat | Created: 2026-10-06 | Updated: 2026-10-06 | 19 failing / 25 total
feat(t27b): tri t27b fuzz -- differential fuzzer, generator and judge in t27, lab step publishes fuzz (Refs #6442) #6848 feat(t27b): tri t27b fuzz -- differential fuzzer, generator and judge in t27, lab step publishes fuzz (Refs #6442) | Created: 2026-10-06 | Updated: 2026-10-06 | 21 failing / 29 total
fix(queen): export-push pushes what it can, accepted heads first; accepted newer attempt replaces an older unpublished tip (Refs #6657) #6847 fix(queen): export-push pushes what it can, accepted heads first; accepted newer attempt replaces an older unpublished tip (Refs #6657) | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 28 total
ci(t27b): native arm64 t27b tests and corpus ratchet per PR; tri t27b ready reads them (#6444) #6846 ci(t27b): native arm64 t27b tests and corpus ratchet per PR; tri t27b ready reads them (#6444) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 30 total
theory(sieve): T732 -- DDC of t27core now runs (Refs #6508) #6845 theory(sieve): T732 -- DDC of t27core now runs (Refs #6508) | Created: 2026-10-06 | Updated: 2026-10-06 | 26 failing / 27 total
fix(gates): bless the three t27a round-trip fixture groups (Closes #6831) #6843 fix(gates): bless the three t27a round-trip fixture groups (Closes #6831) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 24 total
Port scripts/tri_loop/claims.py (Python, 1 function) to specs/port/scripts/tri_loop/claims.t27 #6842 Port scripts/tri_loop/claims.py (Python, 1 function) to specs/port/scripts/tri_loop/claims.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
xilinx7-l3-bench: run test-report on packets, frames and far, not on flow.t27 alone #6841 xilinx7-l3-bench: run test-report on packets, frames and far, not on flow.t27 alone | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 27 total
fpga/timing_history.json holds placeholder commits #6840 fpga/timing_history.json holds placeholder commits | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 24 total
t27b checked: test blocks for 7 specs in specs/docs/chapters (1 of 1) #6839 t27b checked: test blocks for 7 specs in specs/docs/chapters (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/tools/trinity/tri (2 of 5) #6838 t27b checked: test blocks for 7 specs in specs/tools/trinity/tri (2 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/skills (2 of 4) #6837 t27b checked: test blocks for 7 specs in specs/skills (2 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 1 specs in specs/functions (5 of 5) #6836 t27b checked: test blocks for 1 specs in specs/functions (5 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 2 specs in specs/i18n (1 of 1) #6835 t27b checked: test blocks for 2 specs in specs/i18n (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 4 specs in specs/tools/mcp (2 of 2) #6834 t27b checked: test blocks for 4 specs in specs/tools/mcp (2 of 2) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile #6833 A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile | Created: 2026-10-06 | Updated: 2026-10-06 | 12 failing / 37 total
feat(fpga): PoC slots a/b on silicon -- one JTAG boundary, two implementations (Closes #6829) #6832 feat(fpga): PoC slots a/b on silicon -- one JTAG boundary, two implementations (Closes #6829) | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 25 total
feat(numeric): ocp_mx.t27 -- OCP MX v1.0 and OFP8 elements, E8M0 scale, the block conversion #6828 feat(numeric): ocp_mx.t27 -- OCP MX v1.0 and OFP8 elements, E8M0 scale, the block conversion | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 29 total
fix(merger): judge red checks the bee answered for, run on the bee's label, read every bee-reviewed PR #6826 fix(merger): judge red checks the bee answered for, run on the bee's label, read every bee-reviewed PR | Created: 2026-10-06 | Updated: 2026-10-06 | 14 failing / 25 total
t27b checked: test blocks for 7 specs in specs/tools/tri (7 of 8) #6824 t27b checked: test blocks for 7 specs in specs/tools/tri (7 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-app-identity.ts (TypeScript, 5 functions) #6823 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-app-identity.ts (TypeScript, 5 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-server/xtask/src/verify_trios_server.rs (Rust, 4 functions) to specs/port/trios/crates/ #6822 Port gHashTag/trios:crates/trios-server/xtask/src/verify_trios_server.rs (Rust, 4 functions) to specs/port/trios/crates/ | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
gen-c: a function returning a fixed array returns the address of a stack local #6821 gen-c: a function returning a fixed array returns the address of a stack local | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
28 modules are imported by 30 specs and do not exist (found by the oracle) #6820 28 modules are imported by 30 specs and do not exist (found by the oracle) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
openXC7: a DSP48E1 fed from the fabric produces a wrong bitstream (40-line reproducer) #6819 openXC7: a DSP48E1 fed from the fabric produces a wrong bitstream (40-line reproducer) | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 34 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/process-lock.ts (TypeScript, 6 functions) to specs/port/b #6818 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/process-lock.ts (TypeScript, 6 functions) to specs/port/b | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
A 'no competitor has' claim, a four-row table, and a survey that stopped in June #6817 A 'no competitor has' claim, a four-row table, and a survey that stopped in June | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 24 total
t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) #6816 t27b checked: test blocks for 7 specs in specs/tools/mcp (1 of 2) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port part 1 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (8 functions) #6815 Port part 1 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (8 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (4 of 5) #6814 t27b checked: test blocks for 7 specs in specs/functions (4 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/read-core.ts (TypeScript, 1 function) to specs/p #6813 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/read-core.ts (TypeScript, 1 function) to specs/p | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
union(enum) lands the last of the 31; and the converter is not losing files silently #6812 union(enum) lands the last of the 31; and the converter is not losing files silently | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port tools/toolbelt.py (Python, 5 functions) to specs/port/tools/toolbelt.t27 #6811 Port tools/toolbelt.py (Python, 5 functions) to specs/port/tools/toolbelt.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port bootstrap/src/compiler.rs lines 10634-10836 (Rust, 2 functions) to specs/port/bootstrap/src/compiler/LoopGuard_loop #6810 Port bootstrap/src/compiler.rs lines 10634-10836 (Rust, 2 functions) to specs/port/bootstrap/src/compiler/LoopGuard_loop | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-server/src/rainbow_routes.rs (Rust, 6 functions) to specs/port/trios/crates/trios-serve #6809 Port gHashTag/trios:crates/trios-server/src/rainbow_routes.rs (Rust, 6 functions) to specs/port/trios/crates/trios-serve | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
_magsub: the sticky tie arm is the addition rule, kept harmless only by never firing #6808 _magsub: the sticky tie arm is the addition rule, kept harmless only by never firing | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trinity:src/tri/gen_assertion.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_assertion.t27 #6807 Port gHashTag/trinity:src/tri/gen_assertion.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_assertion.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-hdc/rings/HD-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-hdc/rin #6806 Port gHashTag/trios:crates/trios-hdc/rings/HD-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-hdc/rin | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-cli/src/gh.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/gh.t27 #6805 Port gHashTag/trios:crates/trios-cli/src/gh.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/gh.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total

Summary

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

These columns do not partition: 0 + 39 + 0 + 0 = 39, 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 5, 2026 22:24

Navigation Menu

Repository navigation

All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named - #6854

All 410 iverilog rejections classified by construct: 36 classes, three cover 339, and three new emitter defects named#6854
gHashTag wants to merge 2 commits into
masterfrom
queen-5403

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