Update S05 TRI-27 conformance to the emulator fixed in gHashTag/trinity#1250 by gHashTag · Pull Request #6801 · Trinity-S-AI-DNA/t27

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

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

4 files changed, 21 insertions(+), 4 deletions(-)

🤖 Generated with Claude Code

…5 specs Add FIXED_UPSTREAM section to both tri27_machine.t27 and tri27_bytecode.t27 documenting the six findings fixed in e7919fdc (2026-10-02): - CALL return address (#1165) - loader packing and pc (#1166) - header agreement (#1167) - CONSTANTS layout (#1168) - modulus labels (#1169) - SACR immediate (#1170) PINNED_REVISION, FINDINGS, and FINDING_COUNT remain unchanged as required. Run t27c parse and t27c typecheck on both specs, then seal both. Closes #5614

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

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

PR Dashboard

Generated at: 2026-10-06 12:40:03 UTC

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 | 24 failing / 25 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 | 24 failing / 25 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 | 24 failing / 25 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 | 24 failing / 25 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 | 24 failing / 25 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 | 24 failing / 25 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 | 24 failing / 25 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 | 24 failing / 25 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 | 24 failing / 25 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 | 21 failing / 25 total
feat(tri): tri night -- the whole overnight operation in one command #6804 feat(tri): tri night -- the whole overnight operation in one command | Created: 2026-10-06 | Updated: 2026-10-06 | 19 failing / 25 total
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 | 13 failing / 26 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 | 9 failing / 26 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 | 8 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 | 11 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 | 6 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 | 4 failing / 26 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 | 5 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 | 3 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 | 4 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 | 1 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 | 2 failing / 27 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

Summary

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

These columns do not partition: 1 + 41 + 0 + 0 = 42, 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).

gHashTag · 2026-10-07T16:10:13Z

This branch conflicts with master on .trinity/seals/isa_Tri27Machine.json, a real content conflict that GitHub's update-branch cannot resolve (checked with git merge-tree against master at 2026-10-07 ~16:10Z). It is left open for conflict_step (#7571), which redoes it from fresh master once the wiring (#7573) lands.

dmitrii-f-t27 · 2026-10-11T00:38:14Z

Thanks for the start on #5614. This branch has been inactive since 2026-10-07 and conflicts with master on .trinity/seals/isa_Tri27Machine.json, so I redid the change from current master in #8876, with tests (vectors measured on the fixed emulator at gHashTag/trinity e7919fdc) and fresh seals. #8876 closes #5614 and supersedes this PR. I am leaving this PR open for its owner to decide.

Dmitrii Fedorov (@dmitrii-f-t27)

tri-claw · 2026-10-22T17:21:48Z

Summary by t27-bees

Checked by the t27 compiler

_{t27c parse, parse-complete and typecheck on each changed .t27 file at 5487311. Nothing was generated, built or run. A pass means the file is well formed, not that it is right.}

specs/isa/tri27_bytecode.t27: parses and typechecks.
specs/isa/tri27_machine.t27: parses and typechecks.

Read by the model

This PR adds documentation comments to two TRI-27 specification files recording fixes that were made upstream in Trinity-S-AI-DNA/trinity#1250. The changes are purely informational—no code logic is modified.

Worth a look

specs/isa/tri27_bytecode.t27:97-103 and specs/isa/tri27_machine.t27:124-133 — The comments state that certain findings "remain pin-scoped to 976df517" while also saying they were "fixed in fix(tri27-emu): repair the six pinned TRI-27 emulator defects (#1164) trinity#1250 (e7919fdc)". If the spec is meant to reflect the fixed emulator behavior, the pin-scoping note could be misleading about which commit the current spec actually matches.

_{Read: 3 files, +28 -0, the whole diff. Head 5487311. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.}

# Conflicts: # .trinity/seals/isa_Tri27Bytecode.json # .trinity/seals/isa_Tri27Machine.json

github-actions · 2026-10-22T19:33:56Z

PR Dashboard

Generated at: 2026-10-22 19:33:50 UTC

t27f/t27mcp: the 2026-10-19 /mcp measurement + expected_mounted (Closes #10554) #11677 t27f/t27mcp: the 2026-10-19 /mcp measurement + expected_mounted (Closes #10554) | Created: 2026-10-22 | Updated: 2026-10-22 | 27 failing / 28 total
t27b ledger: 68 rows from CI run b902f7db0, drop 2 stale, cap 131 -> 143 (Closes #10935) #11676 t27b ledger: 68 rows from CI run b902f7db0, drop 2 stale, cap 131 -> 143 (Closes #10935) | Created: 2026-10-22 | Updated: 2026-10-22 | 25 failing / 27 total
t27f: face -- the Queen Trinity as a parametric vector face (Closes #10264) #11675 t27f: face -- the Queen Trinity as a parametric vector face (Closes #10264) | Created: 2026-10-22 | Updated: 2026-10-22 | 26 failing / 28 total
dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-22 | 3 failing / 23 total
tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) #11420 tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) | Created: 2026-10-20 | Updated: 2026-10-22 | 47 failing / 66 total
spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) #11244 spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) | Created: 2026-10-20 | Updated: 2026-10-22 | 21 failing / 21 total
gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-22 | 18 failing / 40 total
fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table #11015 fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table | Created: 2026-10-19 | Updated: 2026-10-22 | 2 failing / 2 total
igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) #10836 igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) | Created: 2026-10-19 | Updated: 2026-10-22 | 38 failing / 40 total
spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) #10802 spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) | Created: 2026-10-19 | Updated: 2026-10-22 | 27 failing / 29 total
fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename #10464 fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename | Created: 2026-10-18 | Updated: 2026-10-22 | 34 failing / 34 total
check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-22 | 25 failing / 51 total
t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-22 | 27 failing / 29 total
spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-22 | 22 failing / 22 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-22 | 34 failing / 34 total
spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-22 | 38 failing / 40 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p #8873 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p | Created: 2026-10-11 | Updated: 2026-10-22 | 38 failing / 40 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp #8822 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-22 | 38 failing / 40 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio #8806 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio | Created: 2026-10-10 | Updated: 2026-10-22 | 38 failing / 40 total
spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) #8773 spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) | Created: 2026-10-10 | Updated: 2026-10-22 | 38 failing / 40 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp #8674 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-22 | 29 failing / 40 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.rs (Rust, 2 functions) to specs #8455 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_class_downgrade_guard.rs (Rust, 2 functions) to specs | Created: 2026-10-10 | Updated: 2026-10-22 | 35 failing / 35 total
Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 #7333 Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-22 | 38 failing / 40 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-report-lines.ts (TypeScript, 6 functions) #7263 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-report-lines.ts (TypeScript, 6 functions) | Created: 2026-10-07 | Updated: 2026-10-22 | 1 failing / 12 total
Port scripts/gen_w374.py (Python, 1 function) to specs/port/scripts/gen_w374.t27 #7229 Port scripts/gen_w374.py (Python, 1 function) to specs/port/scripts/gen_w374.t27 | Created: 2026-10-07 | Updated: 2026-10-22 | 34 failing / 34 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-research.ts (TypeScript, 7 functions) #7213 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-research.ts (TypeScript, 7 functions) | Created: 2026-10-07 | Updated: 2026-10-22 | 1 failing / 12 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/soul.ts (TypeScript, 4 functions) to specs/port/browseros #7212 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/soul.ts (TypeScript, 4 functions) to specs/port/browseros | Created: 2026-10-07 | Updated: 2026-10-22 | 1 failing / 12 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/refine-prompt.ts (TypeScript, 1 function) to specs #7207 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/refine-prompt.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-22 | 8 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-roadmap.ts (TypeScript, 4 functions) to spec #7205 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-roadmap.ts (TypeScript, 4 functions) to spec | Created: 2026-10-07 | Updated: 2026-10-22 | 0 failing / 0 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/utils/resolve-browser-context-page-ids.ts (TypeScript, 1 #7201 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/utils/resolve-browser-context-page-ids.ts (TypeScript, 1 | Created: 2026-10-07 | Updated: 2026-10-22 | 1 failing / 12 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/terminal/terminal-protocol.ts (TypeScript, 3 fun #7199 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/terminal/terminal-protocol.ts (TypeScript, 3 fun | Created: 2026-10-07 | Updated: 2026-10-22 | 0 failing / 0 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-modules.ts (TypeScript, 8 functions) #7197 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-modules.ts (TypeScript, 8 functions) | Created: 2026-10-07 | Updated: 2026-10-22 | 0 failing / 0 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/openclaw/openclaw-cli-providers/claude-cli.ts (T #7194 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/openclaw/openclaw-cli-providers/claude-cli.ts (T | Created: 2026-10-07 | Updated: 2026-10-22 | 1 failing / 12 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/update-soul.ts (TypeScript, 1 function) to specs #7170 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/memory/update-soul.ts (TypeScript, 1 function) to specs | Created: 2026-10-06 | Updated: 2026-10-22 | 0 failing / 0 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/codex-fetch.ts (TypeScript, 1 function) to #7081 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/codex-fetch.ts (TypeScript, 1 function) to | Created: 2026-10-06 | Updated: 2026-10-07 | 3 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/token-store.ts (TypeScript, 5 functions) to #7068 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/oauth/token-store.ts (TypeScript, 5 functions) to | Created: 2026-10-06 | Updated: 2026-10-07 | 5 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/clade-improve-tool.ts (TypeScript, 1 function) to specs #7063 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/clade-improve-tool.ts (TypeScript, 1 function) to specs | Created: 2026-10-06 | Updated: 2026-10-22 | 0 failing / 0 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/terminal/terminal-session.ts (TypeScript, 3 func #7038 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/terminal/terminal-session.ts (TypeScript, 3 func | Created: 2026-10-06 | Updated: 2026-10-22 | 1 failing / 13 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/llm/refine-prompt.ts (TypeScript, 2 functions) to #7034 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/clients/llm/refine-prompt.ts (TypeScript, 2 functions) to | Created: 2026-10-06 | Updated: 2026-10-22 | 1 failing / 13 total
gen-verilog and gen-verilog-hir: hello_world.t27 output is refused by iverilog, verilator and yosys #6987 gen-verilog and gen-verilog-hir: hello_world.t27 output is refused by iverilog, verilator and yosys | Created: 2026-10-06 | Updated: 2026-10-22 | 38 failing / 40 total
gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 #6958 gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 | Created: 2026-10-06 | Updated: 2026-10-22 | 21 failing / 51 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-22 | 34 failing / 34 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-22 | 1 failing / 13 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-22 | 1 failing / 13 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-22 | 39 failing / 41 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
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-22 | 1 failing / 13 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-22 | 1 failing / 13 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-22 | 1 failing / 13 total
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-22 | 32 failing / 43 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	5

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=5aec047d42ec != 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:33

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

gHashTag disabled auto-merge October 7, 2026 07:32

dmitrii-f-t27 mentioned this pull request Oct 11, 2026

isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) #8876

Merged

gHashTag enabled auto-merge (squash) October 11, 2026 12:56

gHashTag disabled auto-merge October 11, 2026 13:02

gHashTag enabled auto-merge (squash) October 12, 2026 10:42

gHashTag disabled auto-merge October 12, 2026 10:46

gHashTag enabled auto-merge (squash) October 22, 2026 15:58

Merge remote-tracking branch 'origin/master' into HEAD

5487311

# Conflicts: # .trinity/seals/isa_Tri27Bytecode.json # .trinity/seals/isa_Tri27Machine.json

github-actions Bot mentioned this pull request Oct 22, 2026

Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp #8674

Merged

gHashTag merged commit af54477 into master Oct 22, 2026
37 of 45 checks passed

gHashTag deleted the queen-5614 branch October 26, 2026 06:46

Navigation Menu

Repository navigation

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#6801
gHashTag merged 3 commits into
masterfrom
queen-5614

gHashTag commented Oct 6, 2026

Uh oh!

github-actions Bot commented Oct 6, 2026

Uh oh!

gHashTag commented Oct 7, 2026

Uh oh!

dmitrii-f-t27 commented Oct 11, 2026

Uh oh!

tri-claw Bot commented Oct 22, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 22, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 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 7, 2026

Uh oh!

dmitrii-f-t27 commented Oct 11, 2026

Uh oh!

tri-claw Bot commented Oct 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary by t27-bees

Checked by the t27 compiler

Read by the model

Worth a look

Uh oh!

github-actions Bot commented Oct 22, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

tri-claw Bot commented Oct 22, 2026 •

edited

Loading