fix(gates): bless the three t27a round-trip fixture groups (Closes #6831) by gHashTag · Pull Request #6843 · gHashTag/t27

gHashTag · 2026-10-06T13:09:14Z

Master-wide duplicate-bodies red introduced by #6789: three deliberate self-contained round-trip fixtures (carries_src2, sample_imm, sample_reg) live in both specs/isa/t27a.t27 and specs/compiler/theory/isa_round_trip.t27 and were never recorded in the ledger, so every open PR fails a required check it did not cause.

Fix is python3 tools/dupe_scan.py --bless: the ledger diff is exactly three lines, every pre-existing group is byte-identical (verified by diff before committing). Round-trip fixtures must be self-contained, so the ledger is the sanctioned record per the scanner's own doc.

Closes #6831

🤖 Generated with Claude Code

… duplicate-bodies on master (Closes #6831) #6789 introduced carries_src2, sample_imm and sample_reg as self-contained fixture bodies in both specs/isa/t27a.t27 and specs/compiler/theory/isa_round_trip.t27 without recording them in the ledger, so every open PR inherits a required-check red it did not cause. The copies are deliberate (round-trip fixtures must be self-contained), so the ledger is the sanctioned record, per tools/dupe_scan.py. Ledger diff is exactly the three new groups; nothing else moved. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

github-actions · 2026-10-06T13:21:47Z

PR Dashboard

Generated at: 2026-10-06 13:21:40 UTC

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 | 2 failing / 2 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 | 20 failing / 23 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 | 20 failing / 25 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 | 20 failing / 26 total
fpga/timing_history.json holds placeholder commits #6840 fpga/timing_history.json holds placeholder commits | Created: 2026-10-06 | Updated: 2026-10-06 | 13 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 | 13 failing / 25 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 | 12 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 | 11 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 | 9 failing / 25 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 | 9 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 | 8 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 | 16 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 | 7 failing / 25 total
feat(t27b): tri t27b reduce -- ddmin repro reducer with a reference guard (Closes #6445) #6830 feat(t27b): tri t27b reduce -- ddmin repro reducer with a reference guard (Closes #6445) | Created: 2026-10-06 | Updated: 2026-10-06 | 14 failing / 35 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 / 27 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 | 23 failing / 23 total
feat(sieve): DDC of t27core through t27c and t27b (Closes #6508) #6825 feat(sieve): DDC of t27core through t27c and t27b (Closes #6508) | Created: 2026-10-06 | Updated: 2026-10-06 | 2 failing / 4 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 | 7 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 | 10 failing / 32 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
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 | 9 failing / 33 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 | 3 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 | 3 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 | 3 failing / 26 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 | 4 failing / 26 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 | 3 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 | 3 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 | 3 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 | 3 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 | 3 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

Summary

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

These columns do not partition: 0 + 48 + 0 + 0 = 48, 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 merged commit fa39f30 into master Oct 6, 2026
21 of 24 checks passed

Navigation Menu

Repository navigation

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)#6843
gHashTag merged 1 commit into
masterfrom
fix/dupe-bless-t27a

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!

1 participant

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!

1 participant