t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) by gHashTag · Pull Request #7269 · gHashTag/t27

gHashTag · 2026-10-07T03:13:05Z

Refs #6063. Closes #7227.

What

A spec that calls abs(x) and declares no fn abs passes the reference: t27c's Zig backend prints the bare name as Zig's builtin @abs(x). t27b refused the call as ExprCall(undeclared fn). That was the only blocker of specs/rings/ring_103_phi_sgd.t27.

t27b now lowers a bare one-argument abs the way Zig's @abs behaves:

An f32 or f64 operand is evaluated once. The result is 0 - x when x <= 0, else x. That keeps abs(-0.0) at +0.0, sends infinities to +inf, and keeps NaN a NaN.
A comptime float or integer operand is folded.
A declared fn abs still wins.

Still refused:

abs of a runtime integer, as ExprCall(abs of an integer). Zig's @abs of an iN is a uN, which t27b does not model here.
abs with two arguments, and the other bare builtins (sqrt, min, ...), which stay ExprCall(undeclared fn).

Dogfood spec first

specs/tri/t27b/conformance/bare_abs.t27 has 6 tests. Results on the Railway lab:

Reference (t27c test-report): 6 pass, 0 vacuous.
t27b: 6 pass, 20 runtime asserts.
8 mutants: each one fails the same tests in t27b and in the reference.
12 probes, none disagree:
- 6 pass in both, and 1 fails in both.
- 2 are blocked by the reference and refused by t27b.
- 3 pass the reference and are refused by t27b: abs of an i32 and of a u8, and a module const of -2.0. A refusal is a known gap, not a mismatch.
cargo test -p t27b on the lab: 14 suites, 120 passed, 0 failed. Rerun at the merge with master 996aa2d (after t27b: const Name = T; is a type alias (Closes #7241) #7282 and t27b: void as a parameter, field and pointee type (Closes #7267) #7296): 14 suites, 123 passed, 0 failed. Rerun at the merge with master e8d2584 (after t27b: a text-form array literal repeated with ** lowers like the reference (Closes #7112) #7161, t27b: float x*2^k, if as a struct literal field, defer, gf16::GF16 as the reference runs them (Closes #7239) #7270, t27b: a struct field named for a Zig keyword (Closes #7247) #7299 and t27b: a fn result typed as an anonymous struct (Closes #7256) #7305): 14 suites, 124 passed, 0 failed. Rerun at the merge with master 5853199 (after t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) #7295, t27c test-report: a test that outruns its limit is stopped and counted as failed (Closes #7255) #7311 and specs(t27b conformance): rename Pool and Tree so the types ratchet is green (Closes #7315) #7316): 14 suites, 124 passed, 0 failed; ledger recounted to 521 pass, 262 pass_vacuous, 33 not_pass. Rerun at the merge with master 200e9df (after t27b: tail expressions and discarded calls as the reference prints them since #6315 (Closes #7114) #7150 and self-host: t27core accepts compound assignment, byte-identical to gen-c (P1 slice 1) #7313): 14 suites, 125 passed, 0 failed; ledger 530 pass, 262 pass_vacuous, 28 not_pass.

Numbers (Railway lab, full corpus)

	master `0424fb5`	branch `d78d677`
t27b pass, over the union of 853 reference-pass files	550	552
mismatch / jit_interp_mismatch	0 / 0	0 / 0

The t27b verdicts that change for a code reason are exactly two, both from blocked to pass: ring_103_phi_sgd.t27 (6 pass, 6 asserts) and the new bare_abs.t27.
Every other difference between the two runs is lab load, not code. Neither commit touches bootstrap/src, so the reference is the same compiler in both. The lab ran under its 1000-pid cap with other corpora beside it:
- Master run: 3 t27b crashes (spawn: Resource temporarily unavailable), and 4 files with no record.
- Branch run: 9 gen_w38x / gft_xorbp2 reference results are lab_error or blocked ([Errno 11] Resource temporarily unavailable, zig not on PATH).
- Branch run: gen_w378.t27 has 2 reference tests failing. That is the one reference_disagree; t27b passes it in both runs.
Ledger docs/reports/t27b_expectations.json: pass 488 -> 490, not-pass 48 -> 47 at the first push; at the merge 5853199, master 519 -> branch 521 pass, not-pass 34 -> 33. At the merge 200e9df: master 528 -> branch 530 pass, not-pass 29 -> 28.

Foreign-code approval

The owner approved this Rust edit. The label owner-approved-foreign is on #6063, and the owner said "add the label yourself and do the work" (translated). The edit is minimal and touches cli/t27b/src/lower.rs, cli/t27b/src/lower_float.rs and cli/t27b/tests/source.rs. All three files are listed in tools/policy/foreign-exceptions.txt.

🤖 Generated with Claude Code

@abs

@abs (Closes #7227) Refs #6063. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

@abs

…e operand (Closes #7227) t27c's Zig backend prints a bare abs(x) as the builtin @abs(x) unless the spec declares fn abs. t27b lowers a typed f64 / f32 operand as x <= 0 ? 0 - x : x with x evaluated once (-0.0 gives +0.0) and folds a comptime_int / comptime_float operand. A typed integer stays refused, as ExprCall(abs of an integer): Zig's @abs of an iN is a uN. Owner approval for the Rust edit: label owner-approved-foreign on #6063. Refs #6063. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

The full-corpus lab run of this branch moves both from blocked to pass; pass 488 -> 490, not-pass 48 -> 47. Refs #6063 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…are-abs # Conflicts: # tools/policy/foreign-exceptions.txt

github-actions · 2026-10-07T03:23:15Z

PR Dashboard

Generated at: 2026-10-07 03:23:08 UTC

Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 28 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
t27b: float x*2^k, if as a struct literal field, defer, gf16::GF16 as the reference runs them (Closes #7239) #7270 t27b: float x*2^k, if as a struct literal field, defer, gf16::GF16 as the reference runs them (Closes #7239) | Created: 2026-10-07 | Updated: 2026-10-07 | 19 failing / 33 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 23 failing / 31 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 6 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
t27c: name each unresolved use; item and brace imports splice from their module (Refs #7176) #7242 t27c: name each unresolved use; item and brace imports splice from their module (Refs #7176) | Created: 2026-10-07 | Updated: 2026-10-07 | 13 failing / 33 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
t27b: unreached fns may name an unlayable struct; float as casts spelled like gen-zig (Closes #7175 #7179) #7216 t27b: unreached fns may name an unlayable struct; float as casts spelled like gen-zig (Closes #7175 #7179) | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 30 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 #7206 Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/log.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/log.t27 #7200 Port gHashTag/trios:crates/trios-git/src/log.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/log.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-export.ts (TypeScript, 3 functions) to specs #7198 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-export.ts (TypeScript, 3 functions) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/inngest/index.ts (TypeScript, 1 function) to specs/port/brows #7196 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/inngest/index.ts (TypeScript, 1 function) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total

Summary

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

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

Seal Status

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

…are-abs # Conflicts: # docs/reports/t27b_expectations.json # tools/policy/foreign-exceptions.txt

github-actions · 2026-10-07T04:06:09Z

PR Dashboard

Generated at: 2026-10-07 04:06:01 UTC

specs: use lines name a spec by its path; drop lines that splice nothing (Refs #7191) #7291 specs: use lines name a spec by its path; drop lines that splice nothing (Refs #7191) | Created: 2026-10-07 | Updated: 2026-10-07 | 27 failing / 29 total
Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 #7290 Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 26 failing / 28 total
Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 #7289 Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 26 failing / 28 total
Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 #7288 Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por #7287 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 28 total
t27b: const Name = T; is a type alias (Closes #7241) #7282 t27b: const Name = T; is a type alias (Closes #7241) | Created: 2026-10-07 | Updated: 2026-10-07 | 20 failing / 33 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 9 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 9 failing / 29 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
t27b: float x*2^k, if as a struct literal field, defer, gf16::GF16 as the reference runs them (Closes #7239) #7270 t27b: float x*2^k, if as a struct literal field, defer, gf16::GF16 as the reference runs them (Closes #7239) | Created: 2026-10-07 | Updated: 2026-10-07 | 8 failing / 40 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 26 failing / 32 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 #7206 Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total

Summary

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

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

Seal Status

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

github-actions · 2026-10-07T04:55:03Z

PR Dashboard

Generated at: 2026-10-07 04:54:55 UTC

t27b: a struct field named for a Zig keyword (Closes #7247) #7299 t27b: a struct field named for a Zig keyword (Closes #7247) | Created: 2026-10-07 | Updated: 2026-10-07 | 31 failing / 34 total
specs: delete 16 dead use lines, take PHI from math::constants (Refs #7191) #7298 specs: delete 16 dead use lines, take PHI from math::constants (Refs #7191) | Created: 2026-10-07 | Updated: 2026-10-07 | 6 failing / 30 total
t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) #7295 t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) | Created: 2026-10-07 | Updated: 2026-10-07 | 0 failing / 4 total
verified: R2-5 capstone -- ternary_link run citation, silicon-proven end to end (Closes #7177) #7293 verified: R2-5 capstone -- ternary_link run citation, silicon-proven end to end (Closes #7177) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 #7290 Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 #7289 Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 #7288 Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por #7287 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
t27b: float x*2^k, if as a struct literal field, defer, gf16::GF16 as the reference runs them (Closes #7239) #7270 t27b: float x*2^k, if as a struct literal field, defer, gf16::GF16 as the reference runs them (Closes #7239) | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 40 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 28 failing / 30 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total

Summary

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

These columns do not partition: 1 + 47 + 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)=b23641f01baa != 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-07T05:22:01Z

PR Dashboard

Generated at: 2026-10-07 05:21:54 UTC

spec(queen): merger_gate states the rule the merger runs (Closes #7300) #7302 spec(queen): merger_gate states the rule the merger runs (Closes #7300) | Created: 2026-10-07 | Updated: 2026-10-07 | 26 failing / 29 total
t27b: a struct field named for a Zig keyword (Closes #7247) #7299 t27b: a struct field named for a Zig keyword (Closes #7247) | Created: 2026-10-07 | Updated: 2026-10-07 | 19 failing / 31 total
t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) #7295 t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) | Created: 2026-10-07 | Updated: 2026-10-07 | 29 failing / 31 total
Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 #7290 Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 #7289 Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 #7288 Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por #7287 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 24 failing / 31 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 #7206 Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=b23641f01baa != 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-07T05:37:25Z

PR Dashboard

Generated at: 2026-10-07 05:37:18 UTC

t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) #7295 t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) | Created: 2026-10-07 | Updated: 2026-10-07 | 11 failing / 40 total
Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 #7290 Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 #7289 Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 #7288 Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por #7287 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 19 failing / 32 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 #7206 Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total

Summary

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

These columns do not partition: 0 + 49 + 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)=b23641f01baa != 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-07T06:03:05Z

PR Dashboard

Generated at: 2026-10-07 06:02:57 UTC

self-host: t27core accepts compound assignment, byte-identical to gen-c (P1 slice 1) #7313 self-host: t27core accepts compound assignment, byte-identical to gen-c (P1 slice 1) | Created: 2026-10-07 | Updated: 2026-10-07 | 1 failing / 2 total
t27c test-report: a test that outruns its limit is stopped and counted as failed (Closes #7255) #7311 t27c test-report: a test that outruns its limit is stopped and counted as failed (Closes #7255) | Created: 2026-10-07 | Updated: 2026-10-07 | 11 failing / 40 total
fix(specs): ten 999 function and cron specs come home from trinity's mirror #7304 fix(specs): ten 999 function and cron specs come home from trinity's mirror | Created: 2026-10-07 | Updated: 2026-10-07 | 8 failing / 31 total
t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) #7295 t27b: tuple locals, @sqrt, out-of-range compares, unreached &repeat as the reference runs them (Closes #7244) | Created: 2026-10-07 | Updated: 2026-10-07 | 29 failing / 32 total
Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 #7290 Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 #7289 Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 #7288 Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por #7287 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 23 failing / 30 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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)=b23641f01baa != 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).

Keeps both owner-approval blocks in foreign-exceptions.txt (lane 1 #7227 and lane 2 #7244) and recounts the ledger: 521 pass, 262 pass_vacuous, 33 not_pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-07T06:43:00Z

PR Dashboard

Generated at: 2026-10-07 06:42:53 UTC

merger: a bee's discount holds only on a completed master failure (Closes #7317) #7320 merger: a bee's discount holds only on a completed master failure (Closes #7317) | Created: 2026-10-07 | Updated: 2026-10-07 | 28 failing / 29 total
self-host: t27core accepts compound assignment, byte-identical to gen-c (P1 slice 1) #7313 self-host: t27core accepts compound assignment, byte-identical to gen-c (P1 slice 1) | Created: 2026-10-07 | Updated: 2026-10-07 | 26 failing / 30 total
fix(specs): ten 999 function and cron specs come home from trinity's mirror #7304 fix(specs): ten 999 function and cron specs come home from trinity's mirror | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 31 total
Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 #7290 Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 #7289 Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 #7288 Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por #7287 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 17 failing / 32 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 #7206 Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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)=b23641f01baa != 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).

Ledger recounted after #7150: 530 pass, 262 pass_vacuous, 28 not_pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-07T07:10:53Z

PR Dashboard

Generated at: 2026-10-07 07:10:45 UTC

t27core: numeric literal forms and pub var, byte-identical to gen-c (Closes #7321) #7323 t27core: numeric literal forms and pub var, byte-identical to gen-c (Closes #7321) | Created: 2026-10-07 | Updated: 2026-10-07 | 29 failing / 30 total
fix(specs): ten 999 function and cron specs come home from trinity's mirror #7304 fix(specs): ten 999 function and cron specs come home from trinity's mirror | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 32 total
Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 #7290 Port gHashTag/trinity:src/tri/gen_temp_file.zig (Zig, 1 function) to specs/port/trinity/src/tri/gen_temp_file.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 #7289 Port gHashTag/trinity:src/tri/gen_websocket.zig (Zig, 3 functions) to specs/port/trinity/src/tri/gen_websocket.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 #7288 Port fpga/vivado/gf16_matmul4x4.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_matmul4x4.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por #7287 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/tool-registry.ts (TypeScript, 4 functions) to specs/por | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 #7278 Port gHashTag/trinity:src/tri/gen_benchmark.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_benchmark.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs #7277 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/monitoring/judge/service.ts (TypeScript, 1 function) to specs | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 #7276 Port scripts/validate_phi_f64.py (Python, 2 functions) to specs/port/scripts/validate_phi_f64.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. #7275 Port gHashTag/trinity:src/vibeec/gen_cmd_minimal.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/gen_cmd_minimal. | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 #7274 Port fpga/verilog/gft_train1_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_train1_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s #7273 Port gHashTag/trios:crates/trios-server/src/tools/git_extended.rs (Rust, 5 functions) to specs/port/trios/crates/trios-s | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 #7272 Port fpga/verilog/gft_bitnet_neuron_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_bitnet_neuron_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store #7271 Port gHashTag/trios:crates/trios-store/rings/ST-00/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trios-store | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 29 total
t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) #7269 t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) | Created: 2026-10-07 | Updated: 2026-10-07 | 25 failing / 34 total
Eight gates were green because nobody asked them: the readings are in #7266 Eight gates were green because nobody asked them: the readings are in | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 24 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio #7264 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/trios-mesh/build.rs (Rust, 2 functions) to specs/port/trios/apps/trio | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br #7262 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/history.ts (TypeScript, 4 functions) to specs/port/br | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc #7261 Port gHashTag/trinity:fpga/openxc7-synth/d_direct.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/d_direc | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port #7260 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/tab-groups.ts (TypeScript, 5 functions) to specs/port | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 #7259 Port fpga/verilog/gft_dot4_comm_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dot4_comm_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t #7258 Port gHashTag/trios:crates/trios-doctor/rings/BRONZE-RING-DR/src/main.rs (Rust, 1 function) to specs/port/trios/crates/t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ #7257 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_registry.zig (Zig, 7 functions) to specs/port/trinity/src/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 #7238 Port fpga/verilog/ternary_node_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/ternary_node_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r #7237 Port gHashTag/trios:crates/trios-rainbow-bridge/src/subscriber.rs (Rust, 5 functions) to specs/port/trios/crates/trios-r | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 #7236 Port scripts/gen_w377.py (Python, 1 function) to specs/port/scripts/gen_w377.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t #7235 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-agents.ts (TypeScript, 5 functions) t | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 #7234 Port fpga/vivado/gf16_uart_sim_bench.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_uart_sim_bench.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t #7233 Port gHashTag/trinity:src/firebird/governance_temp.zig (Zig, 1 function) to specs/port/trinity/src/firebird/governance_t | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 #7232 Port scripts/gen_w373.py (Python, 1 function) to specs/port/scripts/gen_w373.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 #7231 Port gHashTag/trios:crates/trios-git/src/commit.rs (Rust, 1 function) to specs/port/trios/crates/trios-git/src/commit.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) #7230 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-public-activity.ts (TypeScript, 4 functions) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 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-07 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 #7214 Port gHashTag/trinity:src/tri/gen_property.zig (Zig, 2 functions) to specs/port/trinity/src/tri/gen_property.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 #7211 Port fpga/verilog/gft_dup3_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup3_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 #7210 Port scripts/gen_w326.py (Python, 1 function) to specs/port/scripts/gen_w326.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src #7209 Port gHashTag/trios:crates/trios-server/src/tools/mod.rs (Rust, 3 functions) to specs/port/trios/crates/trios-server/src | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s #7208 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/agents/runtime/registry.ts (TypeScript, 6 functions) to s | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 total
Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 #7206 Port fpga/vivado/gf16_add.v (Verilog, 1 module) to specs/port/fpga/vivado/gf16_add.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 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-07 | 4 failing / 29 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)=b23641f01baa != 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 and others added 4 commits October 7, 2026 08:21

spec(t27b): bare_abs conformance spec -- abs(x) with no fn abs is Zig's

0c2aee6

@abs (Closes #7227) Refs #6063. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

docs(now): t27b bare abs entry (Closes #7227)

74d2d3c

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

ledger(t27b): ring_103_phi_sgd and bare_abs pass (Closes #7227)

bdb59b5

The full-corpus lab run of this branch moves both from blocked to pass; pass 488 -> 490, not-pass 48 -> 47. Refs #6063 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag added the owner-approved-foreign Owner-approved exception to the only-t27 rule: hand-written foreign code allowed in this PR label Oct 7, 2026

gHashTag enabled auto-merge (squash) October 7, 2026 03:13

Merge remote-tracking branch 'origin/master' into claude/t27b-lane1-b…

707face

…are-abs # Conflicts: # tools/policy/foreign-exceptions.txt

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

Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/queen-feed.ts (TypeScript, 2 functions) to specs/p #7265

Open

Merge remote-tracking branch 'origin/master' into claude/t27b-lane1-b…

356456f

…are-abs # Conflicts: # docs/reports/t27b_expectations.json # tools/policy/foreign-exceptions.txt

Merge origin/master into claude/t27b-lane1-bare-abs (Closes #7227)

be0e3b3

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

Merge origin/master into claude/t27b-lane1-bare-abs (Closes #7227)

a128b5e

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

This was referenced Oct 7, 2026

spec(queen): merger_gate states the rule the merger runs (Closes #7300) #7302

Merged

crm-story-reel v28: a retry renders only the empty clip slots #7000

Merged

Merge origin/master into claude/t27b-lane1-bare-abs (Closes #7227)

e8d2584

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

Merge origin/master into t27b-lane1-bare-abs (Closes #7227)

5853199

Keeps both owner-approval blocks in foreign-exceptions.txt (lane 1 #7227 and lane 2 #7244) and recounts the ledger: 521 pass, 262 pass_vacuous, 33 not_pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

ci(spec-guards): published figures are red only for a defect of the change (Closes #7174) #7178

Merged

Merge origin/master into t27b-lane1-bare-abs (Closes #7227)

200e9df

Ledger recounted after #7150: 530 pass, 262 pass_vacuous, 28 not_pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This was referenced Oct 7, 2026

t27core: numeric literal forms and pub var, byte-identical to gen-c (Closes #7321) #7323

Merged

Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 #7335

Open

gHashTag merged commit 54603df into master Oct 7, 2026
40 of 42 checks passed

Navigation Menu

Repository navigation

t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227) - #7269

t27b: abs(x) with no fn abs is Zig's @abs on a float or comptime operand (Closes #7227)#7269
gHashTag merged 13 commits into
masterfrom
claude/t27b-lane1-bare-abs

gHashTag commented Oct 7, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

github-actions Bot commented Oct 7, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

What

Dogfood spec first

Numbers (Railway lab, full corpus)

Foreign-code approval

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 7, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gHashTag commented Oct 7, 2026 •

edited

Loading