feat(t27b): compile integer casts natively, checked like @intCast by gHashTag · Pull Request #6065 · gHashTag/t27

gHashTag · 2026-10-04T12:51:42Z

Stacked on #6064. This branch contains #6064's commit. Once #6064 merges, the diff is only the cast commit.

What

x as T between integer types, and from bool, now lowers to native AArch64. This was step 1 of the --blockers greedy order: 18 files needed nothing else.

Lossless casts widen, and bool becomes 0 or 1.
Unsigned to narrower unsigned truncates, like Zig's @truncate.
Every other narrowing is checked, like @intCast. A value outside the target type traps at a new site kind, TrapKind::Cast (brk #7 in an object file). The check is an extend-compare (cmp w, w, sxtb etc.), plus a sign test when an unsigned 32- or 64-bit source goes to a signed type.
Wrap mode truncates every narrowing.
A constant operand is folded, and a literal that does not fit is rejected.
Casts to or from a float, and casts to bool, stay rejected.

t27b chooses the semantics by type. The Zig backend chooses @truncate vs @intCast from the expression's shape. The README describes the difference.

Corpus numbers (`t27b corpus specs`)

	before (#6064)	after
pass (all tests)	36 (36 tests)	54 (109 tests)
test fails	0	0
rejected	1129	1111
front-end error	20	20
JIT/interpreter mismatch	0	0

Newly passing:

gft_signed_dot4_jtag
port/tools/ternary_model
ternary: bitnet_majority, comb_bitnet_layer, comb_bitnet_neuron, comb_ternary_dot, gft_dot2, gft_dot4, gft_exp2, gft_layer2, gft_log2, gft_mul_rne, gft_nll, gft_recip, ternary_full_adder, ternary_mac, ternary_ripple_adder, ternary_xor

Differential

The random generator now emits casts (checked and truncating) and bool widening.
A new test, casts_at_edge_values, runs every source type against every integer target. Each pair is checked in its truncating and checked forms, with constant operands, at every edge value, and the test asserts that cast traps actually fire.
Result: 0 mismatches. That run was on this commit's previous base (57c2cfa). The rebase onto master 2ef1ce9 applied cleanly, and the only upstream change was to t27c's compiler.rs. feat(t27b): corpus --blockers lists every construct and the greedy unlock order #6064's tree was rebuilt and passes on the new base.

Refs #5977
Refs #6063

🤖 Generated with Claude Code

@truncate

`x as T` between integer types, and from bool, lowers to native AArch64. A lossless cast widens; bool becomes 0 or 1; an unsigned narrowing truncates like @truncate; every other narrowing is checked and traps at a new site kind (brk #7). Wrap mode truncates every narrowing. Casts to or from a float and casts to bool stay rejected. Corpus: 36 -> 54 passing files (109 tests), 0 failing, 0 JIT/interpreter mismatches. The differential generator emits casts and bool widening, and casts_at_edge_values runs every integer cast at its edge values. Refs #5977 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

The updated blockers branch carries master's memory lane (Slot, Data, Load, Offset, Bounds, Seq; Val::P / Val::M; Program data, internal_abi, unchecked). Both sides kept: ExprKind::Cast and TrapKind::Cast = 7 next to TrapKind::Bounds = 16 and the memory expressions in ir, eval and codegen; lower's ExprCast arm and cast() next to the struct arms and unknown_name, with cast() rejecting a pointer or struct operand as ExprCast. differential: the seq/chain thresholds rebalanced around the cast lane (seq < 94, chain < 96), traps indexed by TrapKind, the cast test's Program gets the new fields. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

github-actions · 2026-10-04T15:32:00Z

PR Dashboard

Generated at: 2026-10-04 15:31:50 UTC

Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y #6104 Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
gen-rust: std macros keep their bang -- assert!, assert_eq!, assert_ne!, panic!, unreachable! (Closes #5987) #6103 gen-rust: std macros keep their bang -- assert!, assert_eq!, assert_ne!, panic!, unreachable! (Closes #5987) | Created: 2026-10-04 | Updated: 2026-10-04 | 20 failing / 28 total
fix(t27c): read a dotted module name and use path whole #6102 fix(t27c): read a dotted module name and use path whole | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 2 total
feat(t27b): JIT on arm64 Linux, corpus --json/--runner, Railway lab #6098 feat(t27b): JIT on arm64 Linux, corpus --json/--runner, Railway lab | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 32 total
feat(infra): t27c lab on Railway + t27c steward profile agent (Closes #6093, Closes #6094) #6097 feat(infra): t27c lab on Railway + t27c steward profile agent (Closes #6093, Closes #6094) | Created: 2026-10-04 | Updated: 2026-10-04 | 19 failing / 22 total
t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ #6091 t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 34 total
Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l #6090 Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
agents: review-warden, a profile agent for the review-speed watch (Closes #6088) #6089 agents: review-warden, a profile agent for the review-speed watch (Closes #6088) | Created: 2026-10-04 | Updated: 2026-10-04 | 7 failing / 22 total
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 | 2 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 | 3 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 | 18 failing / 25 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 | 3 failing / 34 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(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 | 9 failing / 35 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
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

Summary

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

These columns do not partition: 6 + 42 + 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)=32e37152eb23 != 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).

Brings the branch up to master a9650c0; no files under cli/t27b change. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag · 2026-10-04T15:46:54Z

Merged origin/master (a9650c0) into the branch; tip d082cbc (on top of afa41bf). cli/t27b content equals the tree tested below.

cargo check -p t27b --tests: ok
cargo test -p t27b: all suites pass (differential 4/4, 337 s)
check_now_entry_shape.py: OK
t27b corpus specs (debug build, --jobs 4): 1193 files; 89 supported and all tests pass (327 tests, 94 invariants); 1 supported with a failing test; 1073 rejected; 20 front-end errors; JIT/interpreter mismatch 0; codegen limit 0; timeout 10; crash 0.

github-actions · 2026-10-04T15:57:11Z

PR Dashboard

Generated at: 2026-10-04 15:57:04 UTC

feat(tri): tri t27b status/doctor -- the t27b steward reads its state before it acts #6114 feat(tri): tri t27b status/doctor -- the t27b steward reads its state before it acts | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
duplicate-bodies is red on master since #6070: bless the four fixture copies into the ledger #6113 duplicate-bodies is red on master since #6070: bless the four fixture copies into the ledger | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 23 total
Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y #6104 Profile for the Providers rung: skill card t27/providers-steward and its SKILL.md, held by T and Y | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
gen-rust: std macros keep their bang -- assert!, assert_eq!, assert_ne!, panic!, unreachable! (Closes #5987) #6103 gen-rust: std macros keep their bang -- assert!, assert_eq!, assert_ne!, panic!, unreachable! (Closes #5987) | Created: 2026-10-04 | Updated: 2026-10-04 | 4 failing / 34 total
fix(t27c): read a dotted module name and use path whole #6102 fix(t27c): read a dotted module name and use path whole | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 2 total
feat(t27b): JIT on arm64 Linux, corpus --json/--runner, Railway lab #6098 feat(t27b): JIT on arm64 Linux, corpus --json/--runner, Railway lab | Created: 2026-10-04 | Updated: 2026-10-04 | 9 failing / 30 total
feat(infra): t27c lab on Railway + t27c steward profile agent (Closes #6093, Closes #6094) #6097 feat(infra): t27c lab on Railway + t27c steward profile agent (Closes #6093, Closes #6094) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 23 total
t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ #6091 t27c serve: Railway GraphQL host backpack.railway.com/graphql does not answer; the API is backboard.railway.com/graphql/ | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 34 total
Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l #6090 Port gHashTag/trinity:fpga/openxc7-synth/led_diagnostic.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/l | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
agents: review-warden, a profile agent for the review-speed watch (Closes #6088) #6089 agents: review-warden, a profile agent for the review-speed watch (Closes #6088) | Created: 2026-10-04 | Updated: 2026-10-04 | 16 failing / 23 total
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 | 2 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 | 2 failing / 26 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 | 14 failing / 25 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 | 3 failing / 34 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(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
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 | 24 failing / 27 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
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
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

Summary

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

These columns do not partition: 6 + 42 + 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)=32e37152eb23 != 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 mentioned this pull request Oct 4, 2026

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

Open

6 tasks

gHashTag and others added 2 commits October 4, 2026 22:18

merge origin/master into claude/t27b-cast

afa41bf

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

merge origin/master into claude/t27b-cast

d082cbc

Brings the branch up to master a9650c0; no files under cli/t27b change. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

fix(t27c): refuse macro calls and typeless fields; rewrite eight Markdown specs (#5923) #5947

Merged

gHashTag merged commit fa3648b into master Oct 4, 2026
24 of 25 checks passed

Navigation Menu

feat(t27b): compile integer casts natively, checked like @intCast - #6065

feat(t27b): compile integer casts natively, checked like @intCast#6065
gHashTag merged 4 commits into
masterfrom
claude/t27b-cast

gHashTag commented Oct 4, 2026

Uh oh!

github-actions Bot commented Oct 4, 2026

Uh oh!

gHashTag 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

What

Corpus numbers (t27b corpus specs)

Differential

Uh oh!

github-actions Bot commented Oct 4, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 4, 2026

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

Corpus numbers (`t27b corpus specs`)