spec fix: 2 specs in specs/tri/pipeline the reference blocks -- rewrite them in t27 (1 of 1) by gHashTag · Pull Request #6800 · gHashTag/t27

gHashTag · 2026-10-06T12:27:29Z

Written by a bee on queen-6541 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.

6 files changed, 181 insertions(+), 41 deletions(-)

🤖 Generated with Claude Code

- Replace undefined 'String' type with 'str' in both specs - Replace generic types with concrete types (StackI64 instead of Stack(T)) - Replace string-typed fields with real field types - Replace two-capture for loops with one-capture - Replace external functions (Type::new(), std, math, append) with spec-defined functions - Add concrete value tests that check behavior, not just result != undefined - All tests now pass with FAIL 0 - Seal files updated and verified Closes #6541

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

github-actions · 2026-10-06T12:35:06Z

PR Dashboard

Generated at: 2026-10-06 12:34:57 UTC

Update S05 TRI-27 conformance to the emulator fixed in gHashTag/trinity#1250 #6801 Update S05 TRI-27 conformance to the emulator fixed in gHashTag/trinity#1250 | Created: 2026-10-06 | Updated: 2026-10-06 | 19 failing / 25 total
spec fix: 2 specs in specs/tri/pipeline the reference blocks -- rewrite them in t27 (1 of 1) #6800 spec fix: 2 specs in specs/tri/pipeline the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
Port gHashTag/trinity:fpga/gft/tb32.v (Verilog, 1 module) to specs/port/trinity/fpga/gft/tb32.t27 #6799 Port gHashTag/trinity:fpga/gft/tb32.v (Verilog, 1 module) to specs/port/trinity/fpga/gft/tb32.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 17 failing / 25 total
The gate I added could never have run, and enum was not the only key the converter drops #6798 The gate I added could never have run, and enum was not the only key the converter drops | Created: 2026-10-06 | Updated: 2026-10-06 | 24 failing / 25 total
check_catalog_count: the paper-divergence WARN fires on every run, so it carries no information #6797 check_catalog_count: the paper-divergence WARN fires on every run, so it carries no information | Created: 2026-10-06 | Updated: 2026-10-06 | 17 failing / 27 total
Port gHashTag/trios:crates/trios-server/src/tools/gitbutler.rs (Rust, 4 functions) to specs/port/trios/crates/trios-serv #6796 Port gHashTag/trios:crates/trios-server/src/tools/gitbutler.rs (Rust, 4 functions) to specs/port/trios/crates/trios-serv | Created: 2026-10-06 | Updated: 2026-10-06 | 11 failing / 25 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/gateway.ts (TypeScript, 3 functions) to specs/por #6795 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/gateway.ts (TypeScript, 3 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 10 failing / 26 total
Port scripts/tri_loop/corpus_parse.py (Python, 3 functions) to specs/port/scripts/tri_loop/corpus_parse.t27 #6794 Port scripts/tri_loop/corpus_parse.py (Python, 3 functions) to specs/port/scripts/tri_loop/corpus_parse.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/session-registry.ts (TypeScript, 3 functions) to s #6793 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/session-registry.ts (TypeScript, 3 functions) to s | Created: 2026-10-06 | Updated: 2026-10-06 | 7 failing / 26 total
t27b checked: test blocks for 7 specs in specs/tools/tri (1 of 8) #6792 t27b checked: test blocks for 7 specs in specs/tools/tri (1 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 5 failing / 26 total
feat(automation): blog-share v4 -- a fresh article goes before the owner's queue #6791 feat(automation): blog-share v4 -- a fresh article goes before the owner's queue | Created: 2026-10-06 | Updated: 2026-10-06 | 4 failing / 26 total
fix(t27c): gen refuses what typecheck refuses, 35 misread specs fixed (Closes #6446) #6787 fix(t27c): gen refuses what typecheck refuses, 35 misread specs fixed (Closes #6446) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 3 total
Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e #6764 Port gHashTag/trinity:src/tri/zenodo_v17_environmental.zig (Zig, 4 functions) to specs/port/trinity/src/tri/zenodo_v17_e | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 #6763 Port scripts/tri_loop/now_numbers.py (Python, 4 functions) to specs/port/scripts/tri_loop/now_numbers.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b #6762 Port gHashTag/trinity:fpga/openxc7-synth/blink_internal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/b | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) #6761 tri epic-ci: which checks of an epic's pull requests turned red since the last snapshot (scripts/tri_loop/epic_ci.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 #6760 Port bootstrap/src/impl_status.rs (Rust, 6 functions) to specs/port/bootstrap/src/impl_status.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 #6759 Port fpga/verilog/phi_weights_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/phi_weights_jtag.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio #6758 Port gHashTag/trios:apps/trios-macos/rings/RUST-04/clade-improve/src/oversight.rs (Rust, 4 functions) to specs/port/trio | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor #6757 Wave reports name deliverables that exist in no source file: ExprAddressOf and has_cycle_dfs each live only in the repor | Created: 2026-10-06 | Updated: 2026-10-06 | 0 failing / 24 total
Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 #6756 Port scripts/wrapup/extract-context.py (Python, 1 function) to specs/port/scripts/wrapup/extract-context.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 #6753 Port gHashTag/trinity:src/tri/gen_index.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_index.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Implement the 6 empty function bodies in specs/numeric/formats.t27 #6752 Implement the 6 empty function bodies in specs/numeric/formats.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por #6751 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/browseros-fetch.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 #6750 Port gHashTag/trinity:src/tri/gen_rtree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_rtree.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet #6749 tri gates preview asks four contexts; the ruleset requires validate, check-linked-issue and parse-ratchet | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 #6748 Port scripts/ultra_engine_v70_ultimate.py (Python, 2 functions) to specs/port/scripts/ultra_engine_v70_ultimate.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #6747 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn #6746 Port gHashTag/trinity:fpga/openxc7-synth/ternary_activation.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-syn | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) #6745 tri review-log: a health card from a window of the reviewer bee's own log (scripts/tri_loop/review_log.py) | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 #6744 Port scripts/repair/unscar_4639b38cd.py (Python, 3 functions) to specs/port/scripts/repair/unscar_4639b38cd.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr #6742 Port bootstrap/src/compiler.rs lines 29935-30005 (Rust, 9 functions) to specs/port/bootstrap/src/compiler/AssembledInstr | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 #6741 Port bootstrap/src/jwt.rs (Rust, 4 functions) to specs/port/bootstrap/src/jwt.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 #6740 Port bootstrap/src/phi_selfcheck.rs (Rust, 2 functions) to specs/port/bootstrap/src/phi_selfcheck.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 #6739 Port tools/verify_emit_bitexact.py (Python, 4 functions) to specs/port/tools/verify_emit_bitexact.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 #6738 Port scripts/pysr_trinity_blind_test_v2.py (Python, 1 function) to specs/port/scripts/pysr_trinity_blind_test_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 #6737 Port scripts/unified_search_all.py (Python, 2 functions) to specs/port/scripts/unified_search_all.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 #6736 Port fpga/vsa/temporal_heartbeat_top.v (Verilog, 1 module) to specs/port/fpga/vsa/temporal_heartbeat_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 #6735 Port fpga/verilog/ternary_mac_demo_top_v2.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_mac_demo_top_v2.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 #6734 Port fpga/vivado/matmul_serial_top.v (Verilog, 1 module) to specs/port/fpga/vivado/matmul_serial_top.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
t27b checked: test blocks for 7 specs in specs/functions (1 of 5) #6733 t27b checked: test blocks for 7 specs in specs/functions (1 of 5) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 26 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink #6730 Port gHashTag/trinity:fpga/openxc7-synth/blink_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/blink | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 26 total
Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 #6729 Port scripts/ci/loop-tools-tracked.sh (Shell, 1 function) to specs/port/scripts/ci/loop-tools-tracked.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 #6728 Port gHashTag/trinity:src/vibeec/p2p_module.zig (Zig, 4 functions) to specs/port/trinity/src/vibeec/p2p_module.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 27 total
Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 #6727 Test the 1 untested function in specs/fpga/testbench/simulator_tb.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 3 failing / 34 total
Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 #6726 Implement the 1 empty function body in specs/tri/graph/graph_dfs.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 #6725 Port bootstrap/src/bitnet_irq.rs (Rust, 3 functions) to specs/port/bootstrap/src/bitnet_irq.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 26 total
Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 #6724 Port scripts/fpga/flash.sh (Shell, 8 functions) to specs/port/scripts/fpga/flash.t27 | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (4 of 8) #6723 t27b checked: test blocks for 7 specs in specs/crons (4 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total
t27b checked: test blocks for 7 specs in specs/crons (5 of 8) #6722 t27b checked: test blocks for 7 specs in specs/crons (5 of 8) | Created: 2026-10-06 | Updated: 2026-10-06 | 1 failing / 27 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	46
PRs with All Checks Green	4
READY	1
FAILING	46
PENDING	0
NO CHECKS YET	0

These columns do not partition: 1 + 46 + 0 + 0 = 47, 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 6, 2026 02:47

gHashTag enabled auto-merge (squash) October 7, 2026 07:26

gHashTag merged commit 9989614 into master Oct 7, 2026
23 of 26 checks passed

This was referenced Oct 7, 2026

specs: reseal depin/prove and sandbox/session_timeout after #6954 and #6820 (Closes #7356) #7360

Merged

spec-guards: stale seals for depin/prove and sandbox/session_timeout after #6954 and #6820 #7356

Closed

Navigation Menu

Repository navigation

spec fix: 2 specs in specs/tri/pipeline the reference blocks -- rewrite them in t27 (1 of 1) - #6800

spec fix: 2 specs in specs/tri/pipeline the reference blocks -- rewrite them in t27 (1 of 1)#6800
gHashTag merged 2 commits into
masterfrom
queen-6541

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

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!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants