Repository navigation
fix(isa): T27A_CONSUMER_GAP closed -- trinity decoder.zig takes the t27a table (Refs #6507) - #6895
Merged
Merged
Conversation
…27a table (Refs #6507) gHashTag/trinity#1437 merged as 180b29ef: src/tri27/emu/decoder.zig now decodes and encodes through t27a_src1, t27a_src2, t27a_imm, t27a_imm_form and t27a_encode, vendored as src/tri27/emu/tri27_encoding.zig (the `t27c gen` output of this spec). The gap the marker named is gone, so specs/isa/ternary_encoding.t27 replaces T27A_CONSUMER_GAP with T27A_CONSUMER, which says where and since when. The pinned table and PINNED_REVISION are unchanged: they still describe 976df517. - specs/isa/t27a.t27: the header points at T27A_CONSUMER. - bootstrap/gen/rust/isa/t27a.rs: regenerated with `t27c gen-rust specs/isa/t27a.t27` (the splice now pulls T27A_CONSUMER instead of T27A_CONSUMER_GAP and PINNED_REVISION). - .trinity/seals/isa_Tri27Encoding.json, isa_T27a.json: resealed. Railway t27c lab, compiler as on master 75cf4e5: seal --save ternary_encoding 14/14, t27a 10/10; cargo test --release -p t27c --test t27a_cli 7 passed; check_seal_currency rc=0 (1347 current, STALE 0); check_seal_coverage rc=0 (1472 / 1330 / 142). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
gHashTag
enabled auto-merge (squash)
October 6, 2026 14:39
This was referenced Oct 6, 2026
Open
This was referenced Oct 6, 2026
Closed
gHashTag
added a commit
to gHashTag/trinity
that referenced
this pull request
Oct 6, 2026
…A_CONSUMER_GAP (Refs gHashTag/t27#6507) (#1438) #1437 made decoder.zig take the T736 table from gHashTag/t27 specs/isa/ternary_encoding.t27. The spec's T27A_CONSUMER_GAP marker said the emulator did not yet use that table. With #1437 merged, the spec says T27A_CONSUMER instead (gHashTag/t27#6895), and the vendored copy here still carried the old marker, which is now false. - src/tri27/emu/tri27_encoding.zig: `t27c gen` output of the new spec, byte for byte (sha256 0979161d..., equal to gen_hash_zig of t27 .trinity/seals/isa_Tri27Encoding.json on gHashTag/t27#6895). Only the marker constant changes; no field table entry moves. - src/tri27/emu/decoder.zig: the recorded spec and generated sha256. zig 0.15.2: decoder 24/24, tri27_encoding 14/14, test_encoder_fuzz 31/31, test_comprehensive 66/66, executor 33/33, smoke_tests 37/37, encoder_simple 35/35, emit_verilog 2/2, emit_zig 2/2. Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
Contributor
This was referenced Oct 6, 2026
Merged
This was referenced Oct 6, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Refs #6507
#6507 is closed by #6862. That PR kept
T27A_CONSUMER_GAPinspecs/isa/ternary_encoding.t27until the emulator took the t27a table. It has now: gHashTag/trinity#1437 merged as180b29ef.src/tri27/emu/decoder.zigdecodes and encodes throught27a_src1,t27a_src2,t27a_imm,t27a_imm_formandt27a_encode, vendored assrc/tri27/emu/tri27_encoding.zig(thet27c genoutput of this spec).What
specs/isa/ternary_encoding.t27:T27A_CONSUMER_GAPis replaced byT27A_CONSUMER, which says where the table is used and since which commit.PINNED_REVISIONare unchanged; they still describe976df517.specs/isa/t27a.t27: the header points atT27A_CONSUMER.bootstrap/gen/rust/isa/t27a.rs: regenerated witht27c gen-rust specs/isa/t27a.t27. The splice now pullsT27A_CONSUMERinstead ofT27A_CONSUMER_GAPandPINNED_REVISION..trinity/seals/isa_Tri27Encoding.jsonandisa_T27a.json: resealed.No hand-written foreign code is added or changed.
t27a.rsis t27c output.Evidence
All runs are on the Railway t27c lab, with the compiler as on master
75cf4e539.t27c seal --save, ternary_encodingt27c seal --save, t27acargo test --release -p t27c --test t27a_clit27a.rsis byte-identical to fresh gen-rust outputtools/check_seal_currency.pytools/check_seal_coverage.pygitleaks was run by hand on the commit: no leaks.
The new
t27c genoutput of this spec (sha2560979161d..., equal to the newgen_hash_zig) goes into trinity in gHashTag/trinity#1438, so the vendored copy stops carrying the old marker.🤖 Generated with Claude Code