Port fpga/verilog/mvp_ternary_classifier_check.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_c by gHashTag · Pull Request #6853 · gHashTag/t27

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

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

🤖 Generated with Claude Code

…erilog/mvp_ternary_classifier_check.t27 - Port the decision logic from the original Verilog module - Include reference values for 10 test cases from the spec header - Implement range checking (output must be 0, 1, or 2) - Add comprehensive tests for all decision logic - Maintain the same module name and parameter Closes #5074

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

github-actions · 2026-10-06T13:55:13Z

PR Dashboard

Generated at: 2026-10-06 13:55:04 UTC

Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) #6863 Spec: the card-chat night watch (specs/automation/card-chat-night-watch.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 25 failing / 26 total
feat(t27c): t27c asm / t27c disasm run specs/isa/t27a.t27 through gen-rust (Closes #6507) #6862 feat(t27c): t27c asm / t27c disasm run specs/isa/t27a.t27 through gen-rust (Closes #6507) | Created: 2026-10-06 | Updated: 2026-10-06 | 30 failing / 31 total
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 | 22 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 | 20 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 | 18 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 | 15 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 | 18 failing / 26 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 | 10 failing / 26 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 | 12 failing / 30 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 | 6 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 | 6 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 | 9 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

Summary

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

These columns do not partition: 0 + 40 + 0 + 0 = 40, 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:25

Navigation Menu

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#6853
gHashTag wants to merge 2 commits into
masterfrom
queen-5074

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