fix(gen): signed and float % lowers to @rem (Closes #5973) by gHashTag · Pull Request #5993 · gHashTag/t27

gHashTag · 2026-10-04T10:01:53Z

Summary

t27c gen (the Zig backend) wrote % as Zig's infix % whatever its operands. Zig accepts infix % only when both operands are unsigned and refuses everything else: "remainder division with 'i32' and 'i32': signed integers and floats must use @Rem or @mod". So fn rem(a: i32, b: i32) -> i32 { return a % b; } made the whole generated file fail to compile.

Changed function: Codegen::gen_expr, in the NodeKind::ExprBinary arm. The new branch sits directly after the W593 @divTrunc branch and uses the same test. When either operand is a known signed integer (is_signed_int_expr) or a float (is_float_expr), % becomes @rem(lhs, rhs).

@rem is the truncated remainder, so rem(-7, 2) == -1, the same answer C, Rust and t27b give. @mod would floor and give 1.
When both operands are unsigned, % stays %. That is valid Zig, so rewriting it would only churn seals.
/ needed no change. W593 already writes @divTrunc for a signed /.

Before / after (reproducer from the t27b README)

test	`zig test` before	`zig test` after	clang -O0 (gen-c, unchanged here)	clang -O2 (gen-c, unchanged here)
`rem_neg` (`rem(-7, 2) == -1`)	file does not compile	pass	pass	pass
`inc_max` (`inc(INT_MAX)`)	file does not compile	panic: integer overflow (t27 trap)	pass (UB)	trap (UB)
`shr_big` (`shr(1024, 40)`)	file does not compile	panic: integer does not fit (t27 trap)	trap (UB)	pass (UB)

The C columns differ between -O0 and -O2 because of undefined behaviour in the generated C. That is #5974, fixed in a separate PR.

Corpus effect

gen: 8 of 1184 specs change output. No spec changes gen-c output.
Zig compile errors in each of the 8 went down or stayed the same, and no spec has a new error:
- compiler/optimizer.t27: 1 -> 0, and its 14 tests now pass.
- igla/race/backend.t27: 49 -> 48.
- isa/tri27_machine.t27: 5 -> 4.
- vsa/trinity_compat.t27: 6 -> 5.
- isa/ternary_hash.t27, isa/ternary_pattern_matching.t27, isa/ternary_search.t27 and port/tools/verify_trainer_c.t27: unchanged.
Seals: 12 resealed with t27c seal <spec> --save. After rebasing on master, tools/check_seal_coverage.py reports OK: 1449 seals, 1325 hold, 124 known-broken (the baseline).

Tests

New file bootstrap/tests/zig_signed_rem.rs with 4 tests:
- signed % becomes @rem, never @mod;
- unsigned % stays infix;
- float % becomes @rem;
- a real zig test run (rem(-7,2) == -1, rem(7,-2) == 1), which skips if zig is not on PATH.
cargo test --release -p t27c (before the rebase): 2812 passed, 0 failed.
After the rebase onto current master, --test zig_signed_rem: 4/4.

Not established: what @rem does with a zero divisor or MIN % -1 in the generated code.

Closes #5973. Part of #5905.

🤖 Generated with Claude Code

@Rem

Zig refuses infix `%` unless both operands are unsigned ("signed integers and floats must use @Rem or @mod"), so `return a % b;` with `a: i32` made the generated file fail to compile. The W593 `@divTrunc` arm for `/` already had the right test; `%` now uses it and emits `@rem(a, b)`, the truncated remainder (rem(-7, 2) == -1, as in C, Rust and t27b). Unsigned `%` stays infix. `/` needed no change. 8 of 1184 specs change gen output and 0 change gen-c; none has a new zig error, and compiler/optimizer.t27 now passes 14/14. 12 seals resealed. Found by the t27b differential test. Part of #5905. Closes #5973 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-04T10:26:12Z

PR Dashboard

Generated at: 2026-10-04 10:26:03 UTC

feat(t27b): memory primitives -- frame slots, loads/stores, rodata, bounds (Refs #5977) #6007 feat(t27b): memory primitives -- frame slots, loads/stores, rodata, bounds (Refs #5977) | Created: 2026-10-04 | Updated: 2026-10-04 | 22 failing / 23 total
gate(coq): re-bless the three trios-coq files #4754 built, and run on trios-coq/** #6006 gate(coq): re-bless the three trios-coq files #4754 built, and run on trios-coq/** | Created: 2026-10-04 | Updated: 2026-10-04 | 23 failing / 24 total
docs(loop): LOOP-RULES says what master does after the NOW gate (Closes #6002) #6004 docs(loop): LOOP-RULES says what master does after the NOW gate (Closes #6002) | Created: 2026-10-04 | Updated: 2026-10-04 | 21 failing / 22 total
fix(gen-zig): keep _ = call(..); instead of deleting it (Closes #5984) #6003 fix(gen-zig): keep _ = call(..); instead of deleting it (Closes #5984) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 3 total
fix(gen): signed and float % lowers to @rem (Closes #5973) #5993 fix(gen): signed and float % lowers to @rem (Closes #5973) | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 29 total
feat(t27b): run invariant blocks like tests, report them apart (Refs #5977) #5992 feat(t27b): run invariant blocks like tests, report them apart (Refs #5977) | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 30 total
fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep #5990 fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep | Created: 2026-10-04 | Updated: 2026-10-04 | 7 failing / 37 total
fix(t27c): refuse a colon inside a field type and @as to a slice type; fix the six silent specs #5971 fix(t27c): refuse a colon inside a field type and @as to a slice type; fix the six silent specs | Created: 2026-10-04 | Updated: 2026-10-04 | 9 failing / 40 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 11 failing / 28 total
fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch #5964 fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 41 total
ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong #5960 ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 40 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl #5956 Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) #5947 fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 43 total
Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 #5946 Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
spec(split-reel): v9 -- each voice is held to its own slowest measured pace #5932 spec(split-reel): v9 -- each voice is held to its own slowest measured pace | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to #5926 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 31 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) #5902 fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 46 total
spec(crm-client-workspace): v6 -- client work carries the client's marks #5893 spec(crm-client-workspace): v6 -- client work carries the client's marks | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op #5888 Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o #5887 Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 35 total
Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 #5883 Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to #5879 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le #5866 Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #5855 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en #5836 Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en | Created: 2026-10-03 | Updated: 2026-10-04 | 5 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli #5822 Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e #5820 Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
tri: stranded-work finder and cron tick resume card #5787 tri: stranded-work finder and cron tick resume card | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 31 total
Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr #5783 Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu #5781 Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu | Created: 2026-10-03 | Updated: 2026-10-04 | 3 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ #5780 Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 #5757 Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t #5756 Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 37 total
Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 #5755 Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 37 total
fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) #5745 fix(tri): gates preview reads the PR body the way the issue gate does (Closes #5744) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 42 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 43 total
Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 #5689 Port gHashTag/trinity:fpga/openxc7-synth/d_e21_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_e21 | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 32 total
spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live #5680 spec(automation): kanban-card-chat v7 -- the bee's own log on a running card, live | Created: 2026-10-03 | Updated: 2026-10-03 | 5 failing / 32 total
docs(constitution): entrench Article CREDIT and seal it (v1.3) #5667 docs(constitution): entrench Article CREDIT and seal it (v1.3) | Created: 2026-10-03 | Updated: 2026-10-03 | 4 failing / 40 total
specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise #5664 specs/port/fpga/verilog/ternary_mac_synth.t27: rewrite w_code_to_mult/product in t27 form (explicit return, element-wise | Created: 2026-10-03 | Updated: 2026-10-03 | 1 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/symbiflow_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/ #5663 Port gHashTag/trinity:fpga/openxc7-synth/symbiflow_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/ | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 36 total
docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-10-03 | 0 failing / 3 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=b44698686fab != 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).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-04T13:24:09Z

PR Dashboard

Generated at: 2026-10-04 13:24:02 UTC

fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
feat(xilinx7): open prjxray-db digest, flow.t27 and a symmetric L3 bench (Closes #6068) #6072 feat(xilinx7): open prjxray-db digest, flow.t27 and a symmetric L3 bench (Closes #6068) | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 26 total
agent: queen-browser-steward -- the BROWSER-page loop, delegated to the Queen #6069 agent: queen-browser-steward -- the BROWSER-page loop, delegated to the Queen | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 23 total
specs/crons: re-measured NOTEs for 999 ci/security; formal-mutation disabled until on master #6066 specs/crons: re-measured NOTEs for 999 ci/security; formal-mutation disabled until on master | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
feat(t27b): compile integer casts natively, checked like @intCast #6065 feat(t27b): compile integer casts natively, checked like @intCast | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 2 total
feat(t27b): corpus --blockers lists every construct and the greedy unlock order #6064 feat(t27b): corpus --blockers lists every construct and the greedy unlock order | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 2 total
ci(pr-dashboard): drop schedule:, the Queen dispatches it #6061 ci(pr-dashboard): drop schedule:, the Queen dispatches it | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 23 total
fix(catalog-gate): private scratch dir per regeneration, so concurrent runs stop failing each other (Closes #6058) #6059 fix(catalog-gate): private scratch dir per regeneration, so concurrent runs stop failing each other (Closes #6058) | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 33 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
Port gHashTag/trinity:fpga/fly-vivado/verilog/trinity_qmtech.v (Verilog, 1 module) to specs/port/trinity/fpga/fly-vivado #6045 Port gHashTag/trinity:fpga/fly-vivado/verilog/trinity_qmtech.v (Verilog, 1 module) to specs/port/trinity/fpga/fly-vivado | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
Implement the 1 empty function body in specs/runtime/process.t27 #6037 Implement the 1 empty function body in specs/runtime/process.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
specs/crons: HOST launchd and cards for the Mac jobs #6036 specs/crons: HOST launchd and cards for the Mac jobs | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
docs(agents): crons and skills are specs; say what each reader can tell #6015 docs(agents): crons and skills are specs; say what each reader can tell | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 23 total
gen-python: land t27c's Python backend, measured over every spec (Closes #5983) #6012 gen-python: land t27c's Python backend, measured over every spec (Closes #5983) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 34 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total
Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 #6008 Port scripts/verify_smoking_guns.py (Python, 1 function) to specs/port/scripts/verify_smoking_guns.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
docs(loop): LOOP-RULES says what master does after the NOW gate (Closes #6002) #6004 docs(loop): LOOP-RULES says what master does after the NOW gate (Closes #6002) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 23 total
fix(gen-zig): keep _ = call(..); instead of deleting it (Closes #5984) #6003 fix(gen-zig): keep _ = call(..); instead of deleting it (Closes #5984) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
fix(gen): signed and float % lowers to @rem (Closes #5973) #5993 fix(gen): signed and float % lowers to @rem (Closes #5973) | Created: 2026-10-04 | Updated: 2026-10-04 | 19 failing / 28 total
fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep #5990 fix(tri): per-pid temp scratch cannot outlive its run -- Drop guard plus dead-pid sweep | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 39 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch #5964 fix(t27c): refuse a Rust match block the parser kept as text; rewrite nine as switch | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong #5960 ci(fpga): fpga-bitstream is an Arty A7-100T smoke build -- never offer it for the Wukong | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 40 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl #5956 Port gHashTag/trinity:fpga/openxc7-synth/blink_minimal.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bl | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 31 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) #5947 fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 2 total
Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 #5946 Port gHashTag/trinity:src/background_agent/main.zig (Zig, 1 function) to specs/port/trinity/src/background_agent/main.t2 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
spec(split-reel): v9 -- each voice is held to its own slowest measured pace #5932 spec(split-reel): v9 -- each voice is held to its own slowest measured pace | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to #5926 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/provider-error-classifier.ts (TypeScript, 1 function) to | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 31 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) #5902 fix(t27c): var tuple destructure silences never-mutated Zig locals (Closes #5886) | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 46 total
spec(crm-client-workspace): v6 -- client work carries the client's marks #5893 spec(crm-client-workspace): v6 -- client work carries the client's marks | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 33 total
Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op #5888 Port gHashTag/trios:crates/trios-openclaw/rings/OC-01/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/trios-op | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o #5887 Port gHashTag/trinity:fpga/openxc7-synth/d_oscillator.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_o | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 35 total
Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 #5883 Port scripts/test-agent-bridge.sh (Shell, 1 function) to specs/port/scripts/test-agent-bridge.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 35 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to #5879 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/a2a/a2a-liveness.ts (TypeScript, 2 functions) to | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le #5866 Port gHashTag/trinity:fpga/openxc7-synth/led_both_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/le | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #5855 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-01/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en #5836 Port gHashTag/trinity:src/vibeec/validation_engine.zig (Zig, 3 functions) to specs/port/trinity/src/vibeec/validation_en | Created: 2026-10-03 | Updated: 2026-10-04 | 5 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli #5822 Port gHashTag/trinity:fpga/openxc7-synth/blink_simple.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/bli | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e #5820 Port gHashTag/trinity:fpga/openxc7-synth/uart_echo.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/uart_e | Created: 2026-10-03 | Updated: 2026-10-04 | 4 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr #5783 Port gHashTag/trinity:fpga/openxc7-synth/d_srl_blink.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_sr | Created: 2026-10-03 | Updated: 2026-10-04 | 2 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu #5781 Port gHashTag/trinity:fpga/openxc7-synth/d_bufg_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_bu | Created: 2026-10-03 | Updated: 2026-10-04 | 3 failing / 36 total
Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ #5780 Port gHashTag/trinity:fpga/openxc7-synth/led_on_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/led_ | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 #5757 Port gHashTag/trinity:fpga/openxc7-synth/d_g22_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_g22 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 35 total
Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t #5756 Port gHashTag/trinity:fpga/openxc7-synth/d_y0_test.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_y0_t | Created: 2026-10-03 | Updated: 2026-10-03 | 2 failing / 37 total
Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 #5755 Port scripts/tri-issue-create.py (Python, 1 function) to specs/port/scripts/tri-issue-create.t27 | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 37 total

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	39
PRs with All Checks Green	11
READY	10
FAILING	39
PENDING	0
NO CHECKS YET	0

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=a47525693295 != 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).

This was referenced Oct 4, 2026

EPIC: t27b runs the whole corpus -- 100% of reference-passing specs, 0 mismatches, experiments on Railway #6063

Open

epic: self-host t27c -- rewrite the compiler from Rust into t27 #5980

Open

Merge origin/master into claude/zig-signed-rem; refreeze FROZEN_HASH

b6aab9f

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag merged commit 2e852cf into master Oct 4, 2026
33 of 36 checks passed

gHashTag mentioned this pull request Oct 4, 2026

fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181

Draft

Navigation Menu

Repository navigation

fix(gen): signed and float % lowers to @rem (Closes #5973) - #5993

fix(gen): signed and float % lowers to @rem (Closes #5973)#5993
gHashTag merged 2 commits into
masterfrom
claude/zig-signed-rem

gHashTag commented Oct 4, 2026

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 4, 2026

Summary

Before / after (reproducer from the t27b README)

Corpus effect

Tests

Uh oh!

github-actions Bot commented Oct 4, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 4, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant