t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) by gHashTag · Pull Request #7918 · gHashTag/t27

gHashTag · 2026-10-08T19:30:23Z

Closes #7822. Part of #7746 (t27b passes specs/numeric/gf16.t27, the numeric SSOT of law L6), which is part of #6063 (t27b coverage), item C10 of #6488. This is the third PR of #7746's split, after #7791 (#7818) and #7819 (#7863), both merged.

What

t27b now lowers @log, @log2 and @log10 of an f32 to calls of t27 ports in specs/tri/t27b/libm.t27:

the ports are compiler_rt's logf, log2f and log10f (log.zig, log2.zig and log10.zig): musl's fdlibm-style routines on the bits, not the table-driven f64 log that libm.t27 already holds;
@log2 and @log10 join specs/tri/t27b/libm_plan.t27, and an f32 @log is no longer refused;
an f64 @log2 or @log10 is refused (libm.t27 has no f64 routine for it), because compiler_rt's f64 log2 and log10 are not ported;
every builtin now has its f32 routine, so the plan drops has_f32 and REFUSE_NO_ROUTINE.

The ports set a variable from a bitcast (ix = @bitCast(x)), as compiler_rt does. The glue therefore gives @bitCast its result type from an assignment's target, as it already does for @floatFromInt, @intFromFloat and @floatCast. That is 1 line in lower.rs.

specs/ml/loss/kl_divergence.t27 was blocked only on its f32 @log. It now passes under t27b, 4/4 with its invariant, the same verdicts as the reference.
gf16.t27's only remaining blocker is std.math.pow, t27b: specs/numeric/gf16.t27 after the type mismatch family -- @bitCast, f32 rounding and libm, std.math, @setEvalBranchQuota #7746's last PR.

What the reference does

Measured on the t27c lab (zig 0.16.0, x86_64 Debug, no libc), with Zig probes:

A run-time @log, @log2 or @log10 of an f32 is a call of compiler_rt logf, log2f or log10f. None is correctly rounded. For example, @log10 of 1e-40 is -40.000004 (0xC2200001), and @log2 of the largest f32 is 128 exactly.
want_float_exceptions is true on x86_64 and aarch64. So a zero gives -1 / (x * x) (-inf), and a negative gives (x - x) / 0.0, a NaN with the platform's bits. +inf and a NaN come back as they are, a signalling NaN too (@log of 0x7F800001 is 0x7F800001).
A typed f32 operand Zig knows at compile time folds to the run-time bits. 0 of 24000 points differ per builtin: every 357913th bit pattern, and 12000 points between 0.125 and 2.

Decisions, including every float edge case

The ports are compiler_rt's, step for step.
- The constants are written as exact decimals of their f32 values (Lg1 = 0xaaaaaa.0p-24 is 0.66666662693023681640625), so Zig and t27b read the same bits.
- The operation order is compiler_rt's.
- compiler_rt's ix << 1 == 0 is read through a mask.
The zeros, the infinities, a NaN and one are compared with Zig's builtin bit for bit: -1 / (x * x) gives -inf for both zeros, and +inf and NaN payloads pass through.
A negative operand's NaN has the platform's bits. Its value is never pinned. The sweeps compare the port with Zig's builtin, and both compute (x - x) / 0.0 on the same machine, so they agree on x86_64 and on aarch64 alike.
Refused: an f64 @log2 or @log10.

Specs

specs/tri/t27b/conformance/libm_logf.t27 (new) brings the ports in with use tri::t27b::libm;.

Sweeps. Each port against Zig's builtin, bit for bit:
- every exponent of both signs, with the infinities and NaNs (5990 points);
- 0.5 to 2, densely, and across the reduction's sqrt(2)/2 and sqrt(2) bands (3128 points);
- the subnormals (3000 points).
Pinned values: the reference's bits at 2, 10, 0.7, 3, 8, 0.001, 1e-40 and the largest f32, and the special values.

spec	`t27c test-report`	t27b `--check` (aarch64, qemu)
`conformance/libm_logf.t27` (new)	6/6, 0 vacuous	6/6, 71 runtime asserts
`libm_plan.t27`	9/9, 0 vacuous	9/9
`libm.t27`	18/18, 0 vacuous, 2 invariants proved	18/18, 90 runtime asserts
`specs/ml/loss/kl_divergence.t27`	4/4	4/4, 5 runtime asserts, 1 invariant held

All three t27b specs are sealed (seal --save, then --verify: all hashes MATCH).

Mutants

Each mutant ran on a copy, under both t27c test-report and t27b (qemu).

mutants of	count	killed by the reference	killed by t27b
the three ports: each constant one ulp up (20), and the algorithm (13)	33	30	30
the new `libm_plan.t27` rows	4	4	4

The first run killed 20 of the 33. Eleven constants one ulp up survived, as did logf of zero giving +inf and log10f's hi mask.

A Zig probe on the t27c lab then searched for points where each of those mutants changes a result. It scanned every 17th positive f32 (125 million points), and every positive finite f32 for Lg3 and Lg4. The new test log_family_agrees_where_one_ulp_of_a_constant_shows asks those points, and log_family_at_zero_infinity_and_nan asks the zeros. The rerun killed 10 of the 13.

The three survivors are equivalent. Each is Lg4 one ulp up, in logf, log2f and log10f: the search of every positive finite f32 found no result that it changes.

Glue mutant, run as cargo test --release -p t27b --test tail on the t27c lab: an assignment that gives @bitCast no result type. 1 of 1 killed.

Lines (`git diff --numstat --no-renames origin/master...HEAD`)

file	kind	added	deleted
`cli/t27b/src/lower.rs`	hand-written glue	1	1
`cli/t27b/tests/tail.rs`	hand-written test	14	4
`gen/rust/tri/t27b/libm_plan.rs`	`t27c gen-rust`, not hand-edited	23	16
`specs/tri/t27b/conformance/libm_logf.t27`	conformance spec, 6 tests	154	0
`specs/tri/t27b/libm.t27`	3 routines	126	2
`specs/tri/t27b/libm_plan.t27`	2 builtins, the f32 `@log`	53	41
`.trinity/seals/*.json` (3)	`t27c seal --save` (t27c 0.5.1)	32	12
`docs/reports/t27b_expectations.json`	ledger	6	5
`AGENTS.md`	t27b remainder line	4	1

Hand-written foreign code: 15 added lines (1 in lower.rs, 14 in tests/tail.rs). That is under the #7371 cap.

wc -l, in AGENTS.md (measured on master 2dfe978 and on this branch): cli/t27b/src/*.rs stays at 15271, and cli/t27b/tests/*.rs goes from 8191 to 8201.

Gates

On the t27c lab, on this PR's tree:

cargo test --release -p t27b, on the merge with master 2dfe978: 132 passed, 0 failed on x86_64; 152 passed, 0 failed on aarch64 under qemu.
check_assertionless_spec_tests.py: ok. tools/dupe_scan.py: ok, no new duplicate body. --like finds nothing in libm.t27 or libm_logf.t27 that is written elsewhere.
seal --verify, with t27c 0.5.2 built from the merge with master 4270760: all hashes MATCH for libm_plan.t27, libm.t27, libm_logf.t27, libm_rounding.t27 and t27b: @bitCast between an integer and a float of one size, @intFromBool, and std.math.nan / isNan / isPositiveInf / isNegativeInf #7791's two.
t27c gen-rust of the plan reproduces the committed file.
check_budget() and check_all() from master's own_language.c: exit 0.

Ledger

Three rows move:

specs/numeric/gf16.t27 stays blocked, now at ExprCall(std.*) (std.math.pow), which is t27b: std.math.pow(f32, ..) from libm.t27 (Zig's std/math/pow.zig); gf16.t27 passes #7823.
specs/ml/loss/kl_divergence.t27 goes from blocked (ExprCall(@log)) to pass.
specs/tri/t27b/conformance/libm_logf.t27 is new, and passes.

On master 2dfe978's ledger (which keeps no counts since #7862), pass rows go 965 -> 967, not_pass rows go 30 -> 29, and max_not_pass goes 30 -> 29.

Evidence: signed lane receipts (#7686)

Requested from the t27b lab for this head and its merge base; the comparison follows in a comment.

gen-rust gaps

None new.

🤖 Generated with Claude Code

@log2

…loses #7822) libm.t27 ports compiler_rt's logf, log2f and log10f on the bits; libm_plan.t27 plans @log2 and @log10, and an f32 @log is no longer refused. @bitcast takes its result type from an assignment. The conformance spec holds each port to Zig's builtin bit for bit; specs/ml/loss/kl_divergence.t27 now passes. Part of #7746. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T20:07:20Z

PR Dashboard

Generated at: 2026-10-08 20:07:13 UTC

feat(spec): bot-neuro-office v2 -- the agent hears the room and knows who said what #7922 feat(spec): bot-neuro-office v2 -- the agent hears the room and knows who said what | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 total
port: scripts/gen_w638.py as specs/port/scripts/gen_w638.t27 (Closes #7220) #7919 port: scripts/gen_w638.py as specs/port/scripts/gen_w638.t27 (Closes #7220) | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 total
t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) #7918 t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 36 total
fix(specs-generate): record #7436's three switch refuse fixtures (Closes #7914) #7916 fix(specs-generate): record #7436's three switch refuse fixtures (Closes #7914) | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 25 total
t27b: a module var of an optional type that starts as null (Closes #7910) #7913 t27b: a module var of an optional type that starts as null (Closes #7910) | Created: 2026-10-08 | Updated: 2026-10-08 | 9 failing / 37 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-08 | 9 failing / 37 total
spec(queen): preemption (slices + isolates) and nodes - actors.t27 sections 8 and 9 (Closes #7900) #7907 spec(queen): preemption (slices + isolates) and nodes - actors.t27 sections 8 and 9 (Closes #7900) | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 29 total
verified: R3-3 receipt from die C 050a5824d85e85c, key 3d7ba020ec48adc6, t27c 0.5.1 (Refs #7669) #7906 verified: R3-3 receipt from die C 050a5824d85e85c, key 3d7ba020ec48adc6, t27c 0.5.1 (Refs #7669) | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 26 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-08 | 9 failing / 37 total
specs(tools/tri): real tests for 11 tool cards, gen to merging (Closes #7903) #7904 specs(tools/tri): real tests for 11 tool cards, gen to merging (Closes #7903) | Created: 2026-10-08 | Updated: 2026-10-08 | 7 failing / 31 total
spec(memory/graph): scope and crypt of the privacy-first graph memory (Closes #7881, Closes #7882) #7885 spec(memory/graph): scope and crypt of the privacy-first graph memory (Closes #7881, Closes #7882) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 31 total
fixtures(core_selfhost/genc): build the _ => arm again, as gen-c now lowers it as the catch-all (Closes #7879) #7880 fixtures(core_selfhost/genc): build the _ => arm again, as gen-c now lowers it as the catch-all (Closes #7879) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 38 total
t27b: anytype and [*]T in the signature of a fn no test reaches, from a t27 plan (Closes #7857) #7875 t27b: anytype and [*]T in the signature of a fn no test reaches, from a t27 plan (Closes #7857) | Created: 2026-10-08 | Updated: 2026-10-08 | 30 failing / 33 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
t27b: @floatFromInt of a comptime_int rounds to nearest, as Zig does, from coerce_plan.t27 (Closes #7803) #7870 t27b: @floatFromInt of a comptime_int rounds to nearest, as Zig does, from coerce_plan.t27 (Closes #7803) | Created: 2026-10-08 | Updated: 2026-10-08 | 22 failing / 36 total
fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) #7862 fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) | Created: 2026-10-08 | Updated: 2026-10-08 | 8 failing / 31 total
t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) #7853 t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) | Created: 2026-10-08 | Updated: 2026-10-08 | 30 failing / 33 total
t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) #7831 t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) | Created: 2026-10-08 | Updated: 2026-10-08 | 30 failing / 33 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) #7626 fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) | Created: 2026-10-07 | Updated: 2026-10-08 | 11 failing / 37 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 #7554 Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 #7553 Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 #7552 Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 #7540 Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da #7539 Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) #7421 t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) | Created: 2026-10-07 | Updated: 2026-10-07 | 14 failing / 43 total
gen-c: run defer at every exit of its block (Closes #7352) #7406 gen-c: run defer at every exit of its block (Closes #7352) | Created: 2026-10-07 | Updated: 2026-10-07 | 36 failing / 42 total
tri: test runs the tests; mutate plant names what a one-line mutant turns red #7400 tri: test runs the tests; mutate plant names what a one-line mutant turns red | Created: 2026-10-07 | Updated: 2026-10-08 | 19 failing / 37 total
t27b: an array length written as a constant expression (Closes #7347) #7382 t27b: an array length written as a constant expression (Closes #7347) | Created: 2026-10-07 | Updated: 2026-10-07 | 12 failing / 42 total
Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 #7335 Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 29 total
Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 #7333 Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 0 failing / 1 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 / 30 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)=3c0ade9e73e4 != 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).

AGENTS.md takes master's remainder line and adds this PR's entry, re-measured with wc -l on the merge; the ledger takes master's rows and this PR's three. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T20:45:48Z

PR Dashboard

Generated at: 2026-10-08 20:45:39 UTC

policy: exception for tools/jtag/mpsse_jtag.py so B2 reads libftdi on Linux (Refs #7927) #7928 policy: exception for tools/jtag/mpsse_jtag.py so B2 reads libftdi on Linux (Refs #7927) | Created: 2026-10-08 | Updated: 2026-10-08 | 22 failing / 23 total
Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte #7926 Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 total
t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) #7925 t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 total
t27b: a call of a fn returning a float is spelled a float in x as T, from float_as_plan.t27 (Closes #7805) #7924 t27b: a call of a fn returning a float is spelled a float in x as T, from float_as_plan.t27 (Closes #7805) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) #7918 t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 32 total
t27b: a module var of an optional type that starts as null (Closes #7910) #7913 t27b: a module var of an optional type that starts as null (Closes #7910) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 31 total
specs(tools/tri): real tests for 11 tool cards, gen to merging (Closes #7903) #7904 specs(tools/tri): real tests for 11 tool cards, gen to merging (Closes #7903) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 31 total
spec(memory/graph): scope and crypt of the privacy-first graph memory (Closes #7881, Closes #7882) #7885 spec(memory/graph): scope and crypt of the privacy-first graph memory (Closes #7881, Closes #7882) | Created: 2026-10-08 | Updated: 2026-10-08 | 7 failing / 31 total
t27b: anytype and [*]T in the signature of a fn no test reaches, from a t27 plan (Closes #7857) #7875 t27b: anytype and [*]T in the signature of a fn no test reaches, from a t27 plan (Closes #7857) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) #7862 fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 3 total
t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) #7853 t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) | Created: 2026-10-08 | Updated: 2026-10-08 | 21 failing / 34 total
t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) #7831 t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) | Created: 2026-10-08 | Updated: 2026-10-08 | 22 failing / 30 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) #7626 fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) | Created: 2026-10-07 | Updated: 2026-10-08 | 2 failing / 3 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 #7554 Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 #7553 Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 #7552 Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 #7540 Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da #7539 Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) #7421 t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) | Created: 2026-10-07 | Updated: 2026-10-07 | 14 failing / 43 total
gen-c: run defer at every exit of its block (Closes #7352) #7406 gen-c: run defer at every exit of its block (Closes #7352) | Created: 2026-10-07 | Updated: 2026-10-07 | 36 failing / 42 total
tri: test runs the tests; mutate plant names what a one-line mutant turns red #7400 tri: test runs the tests; mutate plant names what a one-line mutant turns red | Created: 2026-10-07 | Updated: 2026-10-08 | 6 failing / 30 total
t27b: an array length written as a constant expression (Closes #7347) #7382 t27b: an array length written as a constant expression (Closes #7347) | Created: 2026-10-07 | Updated: 2026-10-07 | 12 failing / 42 total
Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 #7335 Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 29 total
Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 #7333 Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 0 failing / 1 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 / 30 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 | 5 failing / 30 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 | 3 failing / 30 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

Summary

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

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

Seal Status

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

AGENTS.md takes master's remainder line and adds this PR's entry, re-measured with wc -l on the merge; the ledger takes master's rows and this PR's three. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T07:22:48Z

PR Dashboard

Generated at: 2026-10-09 07:22:40 UTC

t27b conformance: where the frame-address refusal stops -- caller-owned slices and cells (Closes #8053) #8056 t27b conformance: where the frame-address refusal stops -- caller-owned slices and cells (Closes #8053) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 32 total
t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) #8055 t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 31 total
t27b vacuous: delete 22 empty generated spec stubs (Closes #8052) #8054 t27b vacuous: delete 22 empty generated spec stubs (Closes #8052) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
port: scripts/gen_w318.py as specs/port/scripts/gen_w318.t27 (Closes #7766) #8049 port: scripts/gen_w318.py as specs/port/scripts/gen_w318.t27 (Closes #7766) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 28 total
spec(automation): bot-office-crm v2 -- the owner assigns a task into the client's office #8048 spec(automation): bot-office-crm v2 -- the owner assigns a task into the client's office | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) #8047 port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
specs(tools/tri): real tests for 10 tool cards, reseal to worktrees (Closes #7952) #8045 specs(tools/tri): real tests for 10 tool cards, reseal to worktrees (Closes #7952) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
spec(queen): every dispatch end names its exit reason (Refs #7494) #8043 spec(queen): every dispatch end names its exit reason (Refs #7494) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
refactor(tri): mutate loads the survivor gate and lab rules from gen-rust (Closes #7472) #8042 refactor(tri): mutate loads the survivor gate and lab rules from gen-rust (Closes #7472) | Created: 2026-10-09 | Updated: 2026-10-09 | 19 failing / 37 total
port: scripts/gen_w322.py as specs/port/scripts/gen_w322.t27 (Closes #7767) #8040 port: scripts/gen_w322.py as specs/port/scripts/gen_w322.t27 (Closes #7767) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 28 total
t27core: t27c's typecheck in the core, and expression types (Closes #8038) #8039 t27core: t27c's typecheck in the core, and expression types (Closes #8038) | Created: 2026-10-09 | Updated: 2026-10-09 | 13 failing / 38 total
feat(spec): jtag tdo_verdict asserts the IR capture ends in 01 (Closes #8030) #8032 feat(spec): jtag tdo_verdict asserts the IR capture ends in 01 (Closes #8030) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 29 total
port: scripts/gen_w311.py as specs/port/scripts/gen_w311.t27 (Closes #7768) #8031 port: scripts/gen_w311.py as specs/port/scripts/gen_w311.t27 (Closes #7768) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 28 total
review_log.t27: a queue read is any count, as the tool's regex (Closes #7407) #8029 review_log.t27: a queue read is any count, as the tool's regex (Closes #7407) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 32 total
t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) #8028 t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 32 total
t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) #8027 t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) | Created: 2026-10-09 | Updated: 2026-10-09 | 22 failing / 32 total
specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload #8023 specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
specs/functions: broadcast-message-send -- one step per batch of 25 #8021 specs/functions: broadcast-message-send -- one step per batch of 25 | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 #7993 Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/gates.rs (Rust, 5 functions) to specs/port/trios/crates/trios-cli/src/cmd/g #7991 Port gHashTag/trios:crates/trios-cli/src/cmd/gates.rs (Rust, 5 functions) to specs/port/trios/crates/trios-cli/src/cmd/g | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ #7986 Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP #7970 Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP | Created: 2026-10-08 | Updated: 2026-10-09 | 3 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por #7969 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte #7926 Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) #7925 t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) | Created: 2026-10-08 | Updated: 2026-10-09 | 29 failing / 32 total
t27b: a call of a fn returning a float is spelled a float in x as T, from float_as_plan.t27 (Closes #7805) #7924 t27b: a call of a fn returning a float is spelled a float in x as T, from float_as_plan.t27 (Closes #7805) | Created: 2026-10-08 | Updated: 2026-10-09 | 15 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) #7918 t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) | Created: 2026-10-08 | Updated: 2026-10-09 | 23 failing / 33 total
t27b: a module var of an optional type that starts as null (Closes #7910) #7913 t27b: a module var of an optional type that starts as null (Closes #7910) | Created: 2026-10-08 | Updated: 2026-10-09 | 29 failing / 32 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-09 | 29 failing / 32 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-09 | 29 failing / 32 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 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)=3c0ade9e73e4 != 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).

AGENTS.md takes master's remainder line and adds this PR's entry, re-measured with wc -l on the merge; the ledger takes master's rows and this PR's three. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T08:40:10Z

PR Dashboard

Generated at: 2026-10-09 08:40:01 UTC

spec(automation): agent-neuro-kie v1 -- every Kie neuro-function the agent may order #8090 spec(automation): agent-neuro-kie v1 -- every Kie neuro-function the agent may order | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) #8086 t27b: eval::arith, the reference interpreter's exact arithmetic, moves to specs/tri/t27b/eval_arith.t27 (Closes #8057) | Created: 2026-10-09 | Updated: 2026-10-09 | 31 failing / 34 total
t27core: the coercions typecheck lets through and Zig refuses (Closes #8080) #8085 t27core: the coercions typecheck lets through and Zig refuses (Closes #8080) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 32 total
spec(automation): blog-share v5 - releases asked about at once, posted on X after a yes (Closes #8083) #8084 spec(automation): blog-share v5 - releases asked about at once, posted on X after a yes (Closes #8083) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
spec(automation): agent-claims-honest v1 -- a claim is backed only by what really happened #8082 spec(automation): agent-claims-honest v1 -- a claim is backed only by what really happened | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b: a minus the parser folds into a float literal is Zig's negation, from literal_plan.t27 (Closes #7809) #8078 t27b: a minus the parser folds into a float literal is Zig's negation, from literal_plan.t27 (Closes #7809) | Created: 2026-10-09 | Updated: 2026-10-09 | 20 failing / 40 total
port: scripts/gen_w310.py as specs/port/scripts/gen_w310.t27 (Closes #7513) #8073 port: scripts/gen_w310.py as specs/port/scripts/gen_w310.t27 (Closes #7513) | Created: 2026-10-09 | Updated: 2026-10-09 | 9 failing / 29 total
port: scripts/gen_w314.py as specs/port/scripts/gen_w314.t27 (Closes #7514) #8072 port: scripts/gen_w314.py as specs/port/scripts/gen_w314.t27 (Closes #7514) | Created: 2026-10-09 | Updated: 2026-10-09 | 5 failing / 29 total
port: scripts/gen_w315.py as specs/port/scripts/gen_w315.t27 (Closes #7515) #8071 port: scripts/gen_w315.py as specs/port/scripts/gen_w315.t27 (Closes #7515) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
port: scripts/gen_w316.py as specs/port/scripts/gen_w316.t27 (Closes #7520) #8070 port: scripts/gen_w316.py as specs/port/scripts/gen_w316.t27 (Closes #7520) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
spec(automation): agent-media-kie v1 -- the agent's reels and pictures on Kie, realistic by default #8069 spec(automation): agent-media-kie v1 -- the agent's reels and pictures on Kie, realistic by default | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) #8065 verified: ed25519.t27 states it makes no constant-time claim (Refs #8041) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b ledger: bless lab run 6b6386e15 (81 unlisted, 2 up) #8059 t27b ledger: bless lab run 6b6386e15 (81 unlisted, 2 up) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 29 total
t27b conformance: where the frame-address refusal stops -- caller-owned slices and cells (Closes #8053) #8056 t27b conformance: where the frame-address refusal stops -- caller-owned slices and cells (Closes #8053) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 33 total
t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) #8055 t27b: an untyped list local that the code indexes lowers as a tuple, from a t27 plan (Closes #8050) | Created: 2026-10-09 | Updated: 2026-10-09 | 28 failing / 31 total
t27b vacuous: delete 22 empty generated spec stubs (Closes #8052) #8054 t27b vacuous: delete 22 empty generated spec stubs (Closes #8052) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 31 total
port: scripts/gen_w318.py as specs/port/scripts/gen_w318.t27 (Closes #7766) #8049 port: scripts/gen_w318.py as specs/port/scripts/gen_w318.t27 (Closes #7766) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) #8047 port(gen_lockfree_stack, tool-registry): the caller owns the storage, so neither reads a dead frame (Closes #7736) | Created: 2026-10-09 | Updated: 2026-10-09 | 14 failing / 31 total
specs(tools/tri): real tests for 10 tool cards, reseal to worktrees (Closes #7952) #8045 specs(tools/tri): real tests for 10 tool cards, reseal to worktrees (Closes #7952) | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 31 total
port: scripts/gen_w322.py as specs/port/scripts/gen_w322.t27 (Closes #7767) #8040 port: scripts/gen_w322.py as specs/port/scripts/gen_w322.t27 (Closes #7767) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
feat(spec): jtag tdo_verdict asserts the IR capture ends in 01 (Closes #8030) #8032 feat(spec): jtag tdo_verdict asserts the IR capture ends in 01 (Closes #8030) | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 30 total
port: scripts/gen_w311.py as specs/port/scripts/gen_w311.t27 (Closes #7768) #8031 port: scripts/gen_w311.py as specs/port/scripts/gen_w311.t27 (Closes #7768) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) #8028 t27b: an anytype parameter the body never reads is void, and a compile-time argument passes for it, from a t27 plan (Closes #7876) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 33 total
t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) #8027 t27b: / and % of two integer constants fold at compile time, as Zig folds them (Closes #7812) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 33 total
specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload #8023 specs/functions: reels-loop-generate, content-scripts-generate -- secrets leave the event payload | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
specs/functions: broadcast-message-send -- one step per batch of 25 #8021 specs/functions: broadcast-message-send -- one step per batch of 25 | Created: 2026-10-09 | Updated: 2026-10-09 | 1 failing / 29 total
Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 #7993 Port scripts/tri_loop/gate_sweep.py (Python, 1 function) to specs/port/scripts/tri_loop/gate_sweep.t27 | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/gates.rs (Rust, 5 functions) to specs/port/trios/crates/trios-cli/src/cmd/g #7991 Port gHashTag/trios:crates/trios-cli/src/cmd/gates.rs (Rust, 5 functions) to specs/port/trios/crates/trios-cli/src/cmd/g | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 31 total
Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ #7986 Port gHashTag/trios:crates/trios-igla-race/src/status.rs (Rust, 2 functions) to specs/port/trios/crates/trios-igla-race/ | Created: 2026-10-09 | Updated: 2026-10-09 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP #7970 Port gHashTag/trinity:fpga/openxc7-synth/DSP48E1_mock.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/DSP | Created: 2026-10-08 | Updated: 2026-10-09 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por #7969 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/cover_decoy_ratio_governor.rs (Rust, 1 function) to specs/por | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte #7926 Port gHashTag/trinity:fpga/rtl/fpga_test_reporter.v (Verilog, 1 module) to specs/port/trinity/fpga/rtl/fpga_test_reporte | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) #7925 t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) | Created: 2026-10-08 | Updated: 2026-10-09 | 30 failing / 33 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe #7920 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe | Created: 2026-10-08 | Updated: 2026-10-09 | 2 failing / 29 total
t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) #7918 t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) | Created: 2026-10-08 | Updated: 2026-10-09 | 21 failing / 31 total
t27b: a module var of an optional type that starts as null (Closes #7910) #7913 t27b: a module var of an optional type that starts as null (Closes #7910) | Created: 2026-10-08 | Updated: 2026-10-09 | 30 failing / 33 total
t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) #7912 t27b: a local bound to an array repeat [v; n] and passed as [N]T is that array, as gen-zig prints .{ v } ** n (Closes #7909) | Created: 2026-10-08 | Updated: 2026-10-09 | 30 failing / 33 total
t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905 t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) | Created: 2026-10-08 | Updated: 2026-10-09 | 30 failing / 33 total
gen-ts: lower the bodies of pure functions #7872 gen-ts: lower the bodies of pure functions | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 42 total
Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized #7797 Port bootstrap/src/compiler.rs lines 23970-24090 (Rust, 8 functions) to specs/port/bootstrap/src/compiler/return_unsized | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i #7795 Port gHashTag/trios:crates/trios-cli/src/cmd/issue.rs (Rust, 2 functions) to specs/port/trios/crates/trios-cli/src/cmd/i | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf #7734 Port gHashTag/trinity:fpga/gf16-pipelined/gf16_dot4_p.v (Verilog, 1 module) to specs/port/trinity/fpga/gf16-pipelined/gf | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 29 total
fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) #7719 fpga: systolic wavefront array spec -- matrix multiply as a schedule (for the ai-accelerator course) | Created: 2026-10-08 | Updated: 2026-10-08 | 5 failing / 37 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 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)=3c0ade9e73e4 != 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).

AGENTS.md takes master's and adds this branch's step: 15274 plus 1239 and 8232, on master 12ee225's 15271 plus 1239 and 8215. The ledger merges cleanly; max_not_pass recomputed from the entries: 27. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

From master's side (#7918's f32 @log ports, and others). docs/reports/t27b_expectations.json: master's ledger plus this branch's four rows, recomposed: max_not_pass 28 -> 26. AGENTS.md: this branch's clause re-measured with `wc -l` over master 12ee225: src/*.rs 15271 -> 15285, src/*/*.rs 1239 -> 1270, tests/*.rs 8215 -> 8232. Merged-tree checks on the t27c lab: cargo test --release -p t27b 135 passed, 0 failed; under `t27b test --check` tuple_local_index.t27, tuple_local_plan.t27, ternary_gates.t27 and ultra_engine_v70_ultimate.t27 pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…tion row Ledger docs/reports/t27b_expectations.json recomputed, not picked: master (#7918) moved kl_divergence to pass, moved gf16's blocker to ExprCall(std.*) and added conformance/libm_logf.t27 (pass). The textual merge was clean but kept max_not_pass 28 while only 27 rows were non-passing. specs/ml/recurrent/self_attention.t27 is put back as blocked StmtAssign(undeclared), reason unimplemented. The row is held only because the spec's reference result is host-dependent (#8051: an undefined slice from the undeclared default_input()): the GitHub runner's reference passes it, the Railway lab's fails it, so lab run 6b6386e left it out and t27b-native-ratchet reported UNLISTED. The row goes away when #8051 fixes the spec. Result: 1220 rows, 1220 unique, sorted, every path exists; pass 1060, pass_vacuous 132, non-pass 28, max_not_pass 28 (27 + self_attention). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag enabled auto-merge (squash) October 8, 2026 19:30

Merge master into t27b/gf16-logf (Closes #7822)

6d0957e

AGENTS.md takes master's remainder line and adds this PR's entry, re-measured with wc -l on the merge; the ledger takes master's rows and this PR's three. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This was referenced Oct 8, 2026

t27b: _ = e; with e not a bare name is deleted where the reference deletes it and run everywhere else (Closes #7810) #7853

Merged

feat(spec): bot-neuro-office v2 -- the agent hears the room and knows who said what #7922

Merged

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

t27b: a call of a fn returning a float is spelled a float in x as T, from float_as_plan.t27 (Closes #7805) #7924

Merged

Merge master into t27b/gf16-logf (Closes #7822)

5f0cb72

AGENTS.md takes master's remainder line and adds this PR's entry, re-measured with wc -l on the merge; the ledger takes master's rows and this PR's three. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Merge master into t27b/gf16-logf (Closes #7822)

f0beb14

AGENTS.md takes master's remainder line and adds this PR's entry, re-measured with wc -l on the merge; the ledger takes master's rows and this PR's three. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag merged commit fe9abb3 into master Oct 9, 2026
32 of 33 checks passed

gHashTag deleted the t27b/gf16-logf branch October 9, 2026 08:49

Navigation Menu

Repository navigation

t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) - #7918

t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822)#7918
gHashTag merged 8 commits into
masterfrom
t27b/gf16-logf

gHashTag commented Oct 8, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

github-actions Bot commented Oct 9, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

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

Uh oh!

What

What the reference does

Decisions, including every float edge case

Specs

Mutants

Lines (git diff --numstat --no-renames origin/master...HEAD)

Gates

Ledger

Evidence: signed lane receipts (#7686)

gen-rust gaps

Uh oh!

github-actions Bot commented Oct 8, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 8, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 9, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

gHashTag commented Oct 8, 2026 •

edited

Loading

Lines (`git diff --numstat --no-renames origin/master...HEAD`)