t27b: source-level differential fuzzer against t27c gen-zig (tri t27b fuzz) by gHashTag · Pull Request #6926 · gHashTag/t27

gHashTag · 2026-10-06T15:29:50Z

Written by a bee on queen-6442 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, 497 insertions(+), 2661 deletions(-)

🤖 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: #6442 Turn: 37ca3d0c-5fdd-4989-a1b0-c803e883dd6c Ending: finished (the turn closed) Committed: 1 path(s) Left uncommitted: 3 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 #6442 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

github-actions · 2026-10-06T15:54:07Z

PR Dashboard

Generated at: 2026-10-06 15:53:59 UTC

fix(gen-c): seven self-host blockers #6046-#6052 (Part of #5980) #6939 fix(gen-c): seven self-host blockers #6046-#6052 (Part of #5980) | Created: 2026-10-06 | Updated: 2026-10-06 | 30 failing / 32 total
feat(t27b): array literals returned as constant slices and literal locals passed by address (Closes #6866) #6938 feat(t27b): array literals returned as constant slices and literal locals passed by address (Closes #6866) | Created: 2026-10-06 | Updated: 2026-10-06 | 30 failing / 31 total
policy: record the pre-rule foreign files modified by label-gated #6826/#6847 (Closes #6936) #6937 policy: record the pre-rule foreign files modified by label-gated #6826/#6847 (Closes #6936) | Created: 2026-10-06 | Updated: 2026-10-06 | 23 failing / 25 total
Implement part 1 of 2 of the empty bodies in specs/tools/tri_to_t27_converter.t27 (8 functions) #6935 Implement part 1 of 2 of the empty bodies in specs/tools/tri_to_t27_converter.t27 (8 functions) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Queen: log why a bee run ended with no diff (56% of queen-* branches in 7 days, cause not recorded) #6934 Queen: log why a bee run ended with no diff (56% of queen-* branches in 7 days, cause not recorded) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/monitoring.ts (TypeScript, 1 function) to specs/po #6933 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/monitoring.ts (TypeScript, 1 function) to specs/po | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-embeddings.ts (TypeScript, 7 functions) to spec #6932 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-embeddings.ts (TypeScript, 7 functions) to spec | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trinity:src/tri/gen_bplus_tree.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_bplus_tree.t27 #6931 Port gHashTag/trinity:src/tri/gen_bplus_tree.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_bplus_tree.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
The catalog has two generation paths; one feeds nothing, its only consumer is broken, and a permanent warning carries no #6930 The catalog has two generation paths; one feeds nothing, its only consumer is broken, and a permanent warning carries no | Created: 2026-10-06 | Updated: 2026-10-06 | 26 failing / 27 total
Port fpga/vivado/gf16_mul.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_mul.t27 #6929 Port fpga/vivado/gf16_mul.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_mul.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
heap_sort.t27: unsigned loop underflow and a wrong expected output #6928 heap_sort.t27: unsigned loop underflow and a wrong expected output | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27c test-report exits 0 when tests fail #6927 t27c test-report exits 0 when tests fail | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
t27b: source-level differential fuzzer against t27c gen-zig (tri t27b fuzz) #6926 t27b: source-level differential fuzzer against t27c gen-zig (tri t27b fuzz) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
fix(t27c): seal records spec_path relative to the store, refuses a spec outside it (Closes #6913) #6925 fix(t27c): seal records spec_path relative to the store, refuses a spec outside it (Closes #6913) | Created: 2026-10-06 | Updated: 2026-10-06 | 28 failing / 35 total
fix(ci): bless the quiet census after #6847; seal t27a_mnemonics #6924 fix(ci): bless the quiet census after #6847; seal t27a_mnemonics | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 25 total
Port gHashTag/trios:crates/trios-vsa/rings/VS-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-vsa/rin #6923 Port gHashTag/trios:crates/trios-vsa/rings/VS-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-vsa/rin | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-runners.ts (TypeScript, 4 functions) to spec #6922 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-runners.ts (TypeScript, 4 functions) to spec | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port bootstrap/src/weight_bram.rs (Rust, 4 functions) to specs/port/bootstrap/src/weight_bram.t27 #6921 Port bootstrap/src/weight_bram.rs (Rust, 4 functions) to specs/port/bootstrap/src/weight_bram.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-trainer/src/train_loop.rs (Rust, 3 functions) to specs/port/trios/crates/trios-trainer/ #6920 Port gHashTag/trios:crates/trios-trainer/src/train_loop.rs (Rust, 3 functions) to specs/port/trios/crates/trios-trainer/ | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port bootstrap/src/source_kind.rs (Rust, 4 functions) to specs/port/bootstrap/src/source_kind.t27 #6919 Port bootstrap/src/source_kind.rs (Rust, 4 functions) to specs/port/bootstrap/src/source_kind.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 9 failing / 26 total
Port fpga/vivado/gf16_matmul4x4_top.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4_top.t27 #6918 Port fpga/vivado/gf16_matmul4x4_top.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/trios:crates/trios-mesh/src/identity.rs (Rust, 2 functions) to specs/port/trios/crates/trios-mesh/src/iden #6917 Port gHashTag/trios:crates/trios-mesh/src/identity.rs (Rust, 2 functions) to specs/port/trios/crates/trios-mesh/src/iden | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/trios:crates/trios-server/src/tools/git.rs (Rust, 7 functions) to specs/port/trios/crates/trios-server/src #6916 Port gHashTag/trios:crates/trios-server/src/tools/git.rs (Rust, 7 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-06 | Updated: 2026-10-06 | 6 failing / 26 total
Port gHashTag/trios:crates/trios-crypto/build.rs (Rust, 1 function) to specs/port/trios/crates/trios-crypto/build.t27 #6915 Port gHashTag/trios:crates/trios-crypto/build.rs (Rust, 1 function) to specs/port/trios/crates/trios-crypto/build.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port bootstrap/src/bridge.rs (Rust, 4 functions) to specs/port/bootstrap/src/bridge.t27 #6914 Port bootstrap/src/bridge.rs (Rust, 4 functions) to specs/port/bootstrap/src/bridge.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port scripts/gen_w381_lean.py (Python, 8 functions) to specs/port/scripts/gen_w381_lean.t27 #6910 Port scripts/gen_w381_lean.py (Python, 8 functions) to specs/port/scripts/gen_w381_lean.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/trinity:src/tri/gen_path_utils.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_path_utils.t27 #6909 Port gHashTag/trinity:src/tri/gen_path_utils.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_path_utils.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port scripts/tri_loop/loop_rules.py (Python, 4 functions) to specs/port/scripts/tri_loop/loop_rules.t27 #6908 Port scripts/tri_loop/loop_rules.py (Python, 4 functions) to specs/port/scripts/tri_loop/loop_rules.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port bootstrap/src/compiler.rs lines 23769-23969 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/collect_type_d #6907 Port bootstrap/src/compiler.rs lines 23769-23969 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/collect_type_d | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-guard.ts (TypeScript, 2 functions) to specs/por #6906 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-guard.ts (TypeScript, 2 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Implement the 1 empty function body in specs/tri/graph/dijkstra.t27 #6905 Implement the 1 empty function body in specs/tri/graph/dijkstra.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/skills/loader.ts (TypeScript, 6 functions) to specs/port/brow #6904 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/skills/loader.ts (TypeScript, 6 functions) to specs/port/brow | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/llm/test-provider.ts (TypeScript, 2 functions) to #6903 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/llm/test-provider.ts (TypeScript, 2 functions) to | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
Port gHashTag/trinity:src/cli/railway_create_full.zig (Zig, 1 function) to specs/port/trinity/src/cli/railway_create_ful #6902 Port gHashTag/trinity:src/cli/railway_create_full.zig (Zig, 1 function) to specs/port/trinity/src/cli/railway_create_ful | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/crons (1 of 8) #6901 t27b checked: test blocks for 7 specs in specs/crons (1 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
feat(automation): crm-duet v4 -- a dry run is free (Closes #6896) #6897 feat(automation): crm-duet v4 -- a dry run is free (Closes #6896) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
fix(spec-guards): ring-096 and specs/numeric/formats.t27 agree on f32, as the gf16 SSOT says #6894 fix(spec-guards): ring-096 and specs/numeric/formats.t27 agree on f32, as the gf16 SSOT says | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 47 total
t27b checked: test blocks for 7 specs in specs/functions (2 of 5) #6891 t27b checked: test blocks for 7 specs in specs/functions (2 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (3 of 5) #6890 t27b checked: test blocks for 7 specs in specs/functions (3 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
spec fix: 1 specs in specs/tri/agent the reference blocks -- rewrite them in t27 (1 of 1) #6889 spec fix: 1 specs in specs/tri/agent the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/agents (3 of 4) #6888 t27b checked: test blocks for 7 specs in specs/agents (3 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
spec fix: 3 specs in specs/tri/graph the reference blocks -- rewrite them in t27 (1 of 1) #6886 spec fix: 3 specs in specs/tri/graph the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/trinity:src/brain/fusiform_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/fusiform_gyrus.t27 #6885 Port gHashTag/trinity:src/brain/fusiform_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/fusiform_gyrus.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/agents (1 of 4) #6884 t27b checked: test blocks for 7 specs in specs/agents (1 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
t27b checked: test blocks for 7 specs in specs/agents (2 of 4) #6883 t27b checked: test blocks for 7 specs in specs/agents (2 of 4) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port fpga/verilog/mvp_ternary_classifier_top.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_top #6882 Port fpga/verilog/mvp_ternary_classifier_top.v (Verilog, 1 module) to specs/port/fpga/verilog/mvp_ternary_classifier_top | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
t27b checked: test blocks for 3 specs in specs/tools/tri (8 of 8) #6881 t27b checked: test blocks for 3 specs in specs/tools/tri (8 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/terminal.ts (TypeScript, 6 functions) to specs/por #6877 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/terminal.ts (TypeScript, 6 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Implement the 1 empty function body in specs/tri/graph/prims_mst.t27 #6876 Implement the 1 empty function body in specs/tri/graph/prims_mst.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port tools/check_catalog_integrity.py (Python, 4 functions) to specs/port/tools/check_catalog_integrity.t27 #6875 Port tools/check_catalog_integrity.py (Python, 4 functions) to specs/port/tools/check_catalog_integrity.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 8 failing / 26 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=0ec05a8c1a46 != 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 · 2026-10-06T20:57:23Z

Closing: #6442 is closed; the fuzzer landed as #6848/#6879/#6892 (tri t27b fuzz, generator and judge in .t27). This Queen PR adds a hand-written Rust differential test instead, which the only-t27 rule does not allow without owner approval, and it duplicates the landed work.

Trinity Bee and others added 2 commits October 6, 2026 12:57

gHashTag enabled auto-merge (squash) October 6, 2026 15:29

gHashTag disabled auto-merge October 6, 2026 16:10

gHashTag closed this Oct 6, 2026

Navigation Menu

Repository navigation

t27b: source-level differential fuzzer against t27c gen-zig (tri t27b fuzz) - #6926

t27b: source-level differential fuzzer against t27c gen-zig (tri t27b fuzz)#6926
gHashTag wants to merge 2 commits into
masterfrom
queen-6442

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

gHashTag commented Oct 6, 2026

Uh oh!

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!

gHashTag commented Oct 6, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants