t27b: std.math.inf, std.math.log with base e, std.math.log1p and an f64 @round, from libm_plan.t27 (Closes #7923) by gHashTag · Pull Request #7925 · gHashTag/t27

gHashTag · 2026-10-08T20:30:42Z

Closes #7923. Part of #6063 (t27b coverage), item C10 of #6488. Builds on #7819's libm_plan.t27.

Decision

specs/port/trinity/src/brain/weber_tuning.t27 (reference 12/12) stopped at std.math.log(f64, std.math.e, abs_v + 1.0) and std.math.log1p(@abs(magnitude)); its f64 @round sat behind them. specs/numeric/formats.t27 stopped at std.math.inf(f32) (6 sites). All of these become calls of t27 routines, as @exp, @log and std.math.nan already are:

std.math.inf(T) names its type, as nan does. Its routine is +inf by its bits (0x7FF0000000000000, 0x7F800000).
std.math.log(T, base, x) is @log(x) in Zig 0.16 when the base is std.math.e (std/math/log.zig). So it calls log, which libm.t27 already holds.
- It takes three operands, and the value is the third.
- Another base (Zig's log2, log10 or a quotient) is refused by name as REFUSE_BASE.
- A type operand that is not the value's type is refused as REFUSE_TYPE.
- Of an f32 it calls logf, which master gained in t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) #7918 (see t27b: f32 @log, @log2 and @log10 from libm.t27 (compiler_rt logf, log2f, log10f) #7822).
std.math.log1p of an f64 calls std/math/log1p.zig's log1p_64 (musl's log1p.c), ported step for step. An f32 is refused as REFUSE_NO_F32, because log1p_32 is a different routine and is not ported.
@round of an f64 calls compiler_rt's round, ported step for step. @floor, @ceil, @trunc, @rem, @log2 and @log10 of an f64 stay refused.
On master's restructured plan. t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) #7918 removed has_f32 and REFUSE_NO_ROUTINE, and gave @log2 and @log10 codes 11 and 12. This PR sits on top of that:
- std.math.inf, std.math.log1p and std.math.log are codes 13 to 15;
- has_f32 is back, false only for log1p;
- the refusals REFUSE_BASE, REFUSE_TYPE and REFUSE_NO_F32 are 6, 7 and 8.
The glue (libm_call) reads the value operand where the plan says (operand) and passes only the operands after it. It asks the plan (with_base) about std.math.log's base, which must be the std.math.e that std_math_const already recognizes, and about its type.

formats.t27 now stops at ExprArrayLiteral (line 628): a typed list that gen-zig prints as a tuple and indexes inside an invariant. That is tuple work and is not in this PR.

Evidence

Reference: t27c test-report on the t27c lab, zig 0.16.0. t27b: aarch64 under qemu, built from the final head (this PR merged with master 19e0971).

spec	reference	t27b on master	t27b with this PR
`specs/port/trinity/src/brain/weber_tuning.t27`	12/12	blocked `ExprCall(std.*)`	12/12
`specs/numeric/formats.t27`	pass	blocked `ExprCall(std.*)`	blocked `ExprArrayLiteral` (see #7930)
`specs/tri/t27b/conformance/libm_std_math.t27` (new)	7/7, 0 vacuous	--	7/7
`specs/tri/t27b/libm.t27`	21/21, 0 vacuous	17/17	21/21
`specs/tri/t27b/libm_plan.t27`	11/11, 0 vacuous	9/9	11/11
`conformance/libm_logf.t27`, `libm_rounding.t27`, `bit_cast.t27`	pass	6/6, 5/5, 9/9	6/6, 5/5, 9/9

The ports, against the reference. The conformance spec's sweeps hold libm.t27's round and log1p (brought in by use tri::t27b::libm;) bit for bit to Zig's @round and std.math.log1p of a run-time f64. Both give 0 differences:
- round: 72000 points over [-1000, 1000], around +-0.5 and near 2^52;
- log1p: 120000 points over (-1, 11100), plus 4800 from 5e-324 up by a factor of 1.37, both signs.
libm.t27 keeps the fixed-value tests (-0, +-inf, NaN, -1, x < -1, ties). The sweeps sit in the conformance spec so that libm.t27's interpreter check keeps its fuel.
The conformance spec's expected values were printed by Zig 0.16 on the t27c lab, including an f32 std.math.log (logf). log(3.0) and log1p(2.0) differ in the last bit, so swapping the two routines fails it.
Mutants, on the final specs:
- Assert flips all fail under both t27b and the reference: 36 of 36 in the conformance spec (run next to it, so its use resolves), 41 of 41 in the plan's new tests, and 20 of 20 in libm.t27's new tests.
- Generating operand(LOG_E) as 0 fails log_base_e_log1p_inf_and_an_f64_round (measured before the merge).
- So does changing log1p's ln2_hi (also measured before the merge).
- A one-ulp change to log1p's innermost polynomial coefficient is not visible at the fixed points. The reference sweeps hold those digits.
cargo test --release -p t27b (aarch64, qemu): 14 suites, exit 0. tests/tail.rs:
- t27b: f32 @floor, @ceil, @round, @trunc and @rem from libm.t27 (compiler_rt floorf, ceilf, roundf, truncf, fmodf) #7819's test expected an f64 @round to be refused; it now names @floor as the first f64 refusal.
- A new test pins the refusals: another base, a type that is not the value's, and an f32 log1p.
Seals: libm_plan.t27, libm.t27 and conformance/libm_std_math.t27 verified on the final head (all hashes MATCH).
Policy gates: master's check_budget() and check_all() (with master's foreign-exceptions.txt) exit 0.
Ledger: weber_tuning moves from blocked to pass, formats' blocker becomes ExprArrayLiteral, and the new conformance row is a pass.

Lines by file

On the final head, against master:

file	kind	added	removed
`cli/t27b/src/lower.rs`	hand-written glue	6	3
`cli/t27b/tests/tail.rs`	hand-written test	23	2
`gen/rust/tri/t27b/libm_plan.rs`	generated (`t27c gen-rust`)	84	6
`specs/tri/t27b/libm_plan.t27`	.t27	127	19
`specs/tri/t27b/libm.t27`	.t27	139	3
`specs/tri/t27b/conformance/libm_std_math.t27`	.t27	167	0
`.trinity/seals/*` (3), `docs/reports/t27b_expectations.json`, `AGENTS.md`	data / prose

Hand-written lines: 29 added in total (owner rule #7371: 40 per file, 80 per PR).

Receipt

Base 430c522 (master, the lab's own signed run). Head ac1c2b7, this PR's change merged with that base, requested from the t27b lab with a fresh challenge (#7686). The compare was run on t27b-lab from /work/t27 as /work/t27c-master corpus-receipt compare BASE HEAD --challenge-head <challenge>:

base "430c52293506130c5be6e175ad2e6fbb733da395" AUTH_MISSING_NONE AUTHOR leaves-bound true
head "ac1c2b74fd20c0b7f49752662bd355c634f8926f" AUTH_MISSING_NONE FRESH leaves-bound true
  input only-head specs/tri/t27b/conformance/libm_std_math.t27
  input changed specs/tri/t27b/libm.t27
  input changed specs/tri/t27b/libm_plan.t27
  verdict changed specs/port/trinity/src/brain/weber_tuning.t27
  verdict only-head specs/tri/t27b/conformance/libm_std_math.t27
  output only-head specs/port/trinity/src/brain/weber_tuning.t27
  output changed specs/port/trinity/src/tri/gen_cross_entropy.t27
  output changed specs/port/trinity/src/tri/gen_sigmoid.t27
  output changed specs/port/trinity/src/tri/gen_softmax.t27
  output changed specs/tri/t27b/conformance/bit_cast.t27
  output changed specs/tri/t27b/conformance/libm_rounding.t27
  output only-head specs/tri/t27b/conformance/libm_std_math.t27
  output changed specs/tri/t27b/libm.t27
  output changed specs/tri/t27b/libm_plan.t27
  lane improved specs/port/trinity/src/brain/weber_tuning.t27
  lane neutral specs/port/trinity/src/tri/gen_cross_entropy.t27
  lane neutral specs/port/trinity/src/tri/gen_sigmoid.t27
  lane neutral specs/port/trinity/src/tri/gen_softmax.t27
  lane neutral specs/tri/t27b/conformance/bit_cast.t27
  lane neutral specs/tri/t27b/conformance/libm_rounding.t27
  lane improved specs/tri/t27b/conformance/libm_std_math.t27
  lane neutral specs/tri/t27b/libm.t27
  lane neutral specs/tri/t27b/libm_plan.t27
totals false inputs false verdicts false outputs false: IMPROVED_ONLY

Exit 3, IMPROVED_ONLY.

Neutral: the files that splice the larger libm.t27 (gen_cross_entropy, gen_sigmoid, gen_softmax, bit_cast, libm_rounding), and the two libm specs. Each has the same verdict.
formats.t27 is not listed, because its verdict stays blocked: only its first blocker moves, to ExprArrayLiteral (see t27b: a list literal indexed inside an invariant is a comptime tuple in the reference (ternary_gates.t27, formats.t27) #7930).

	base `430c522`	head `ac1c2b7`
files	1667	1668 (+1: the new spec)
t27b pass / pass_vacuous	996 / 153	998 / 153
blocked / fail / timeout	495 / 19 / 4	494 / 19 / 4
jit_interp_mismatch / crash	0 / 0	0 / 0
reference pass	1182	1183
reference disagree (files / tests)	0 / 0	0 / 0
`cargo test --release -p t27b` (aarch64, qemu)	147 passed	148 passed, 0 failed

Commits after ac1c2b7.

Plain merges of master: 408d740, e66473f, 4270760, 2dfe978 and 09ffc2f. They touch only AGENTS.md's remainder line (re-measured with wc -l) and the ledger. The ledger keeps master's rows and this PR's. Since fix(t27b): the ledger stores no total over its entries -- counts are derived, as steward.t27 decides (Closes #7859) #7862 (see t27b ledger: counts are derived from entries, not stored -- every spec PR conflicted on the pass line #7859) it stores no counts, only max_not_pass, 27 now.
5e5ead1, the merge of 12ee225. That merge brought t27b: @log, @log2 and @log10 of an f32 call t27 ports of compiler_rt (Closes #7822) #7918's f32 log family (see t27b: f32 @log, @log2 and @log10 from libm.t27 (compiler_rt logf, log2f, log10f) #7822), which restructured libm_plan.t27. It was resolved on this branch from another session, and this session took it as it stands (no force push). It is the one change after the receipt that is not a plain merge:
- std.math.inf, log1p and log sit on top of master's plan as codes 13 to 15;
- has_f32 is back, false only for log1p (REFUSE_NO_F32);
- an f32 std.math.log now calls logf;
- the round and log1p sweeps moved from libm.t27 to the conformance spec;
- gen-rust and the seals were regenerated.
5198c7d, the merge of 19e0971. It also corrects this PR's AGENTS.md line: tests/tail.rs adds 21 lines net, so the tests total is 8236, not 8234.

On the final tree, on the t27c lab:

cargo test --release -p t27b passes (14 suites);
every spec in the table above gives the verdict shown;
the three seals verify;
the mutants above were run there.

Native arm64 (t27b-native-ratchet): reference disagree 0. No line names a file of this PR.

Generated with Claude Code

@round

@round, from libm_plan.t27 (Closes #7923) Part of #6063 (t27b coverage), item C10 of #6488. - libm_plan.t27: std.math.inf names its type as nan does; std.math.log(T, base, x) takes the value third, calls `log` when the base is std.math.e (std/math/log.zig returns @log(x) there) and refuses by name another base or a type that is not the value's; std.math.log1p of an f64 and @round of an f64 get their routines. - libm.t27: inf / inff, compiler_rt `round` and std/math/log1p.zig's `log1p_64`, step for step. Under the reference they agree bit for bit with @round on 72000 points and with std.math.log1p on 124800. - conformance/libm_std_math.t27: weber_tuning's and formats' shapes, 4 tests, reference 4/4, 0 vacuous. - weber_tuning.t27 passes 12/12; formats.t27 moves to ExprArrayLiteral. - Glue: lower.rs +6 -3, tests/tail.rs +18 -2. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

AGENTS.md keeps #7803's line and re-measures this PR's after it (wc -l); the ledger's counts are recounted from its rows: 925 / 151 / 34. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T21:07:35Z

PR Dashboard

Generated at: 2026-10-08 21:07:27 UTC

t27b: an optional enum compared with a variant is equal only when it holds that tag, as in the reference (Closes #7811) #7934 t27b: an optional enum compared with a variant is equal only when it holds that tag, as in the reference (Closes #7811) | Created: 2026-10-08 | Updated: 2026-10-08 | 31 failing / 34 total
feat(spec): bot-neuro-office v3 -- /catchup in the office #7933 feat(spec): bot-neuro-office v3 -- /catchup in the office | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 total
t27core: local arrays, separators in dimensions, numeric ** refused (Closes #7929) #7931 t27core: local arrays, separators in dimensions, numeric ** refused (Closes #7929) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 total
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 | 13 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 | 11 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 | 22 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 | 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-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 | 30 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-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
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 | 31 failing / 34 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: == 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 | 28 failing / 31 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 | 0 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 | 7 failing / 35 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

Summary

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

These columns do not partition: 2 + 36 + 0 + 0 = 38, 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).

tests/tail.rs keeps #7810's test and this PR's; AGENTS.md keeps #7810's and #7811's lines and re-measures this PR's after them (wc -l); the ledger's counts are recounted from its rows: 933 / 151 / 32. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T22:19:52Z

PR Dashboard

Generated at: 2026-10-08 22:19:31 UTC

feat(spec): bot-neuro-office v5 -- the office keeps its tasks #7954 feat(spec): bot-neuro-office v5 -- the office keeps its tasks | Created: 2026-10-08 | Updated: 2026-10-08 | 23 failing / 29 total
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 | 1 failing / 24 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-08 | 14 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 | 5 failing / 37 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 | 7 failing / 35 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 | 10 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 | 5 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 | 15 failing / 34 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 | 3 failing / 34 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 | 5 failing / 35 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 | 0 failing / 3 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 | 3 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 | 0 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 | 2 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
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
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 | 5 failing / 30 total

Summary

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

These columns do not partition: 3 + 43 + 0 + 0 = 46, 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).

The ledger keeps master's rows and this PR's; its counts are recounted from its rows: 944 / 140 / 32. No t27b source changed on master, so AGENTS.md's line stands. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

The ledger takes master's rows (with #8059's bless) and this PR's three; AGENTS.md is re-measured with wc -l. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-09T09:38:14Z

PR Dashboard

Generated at: 2026-10-09 09:38:06 UTC

policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111) #8112 policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111) | Created: 2026-10-09 | Updated: 2026-10-09 | 23 failing / 24 total
t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) #8110 t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) | Created: 2026-10-09 | Updated: 2026-10-09 | 30 failing / 33 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
verified: seal v2 identity -- what a seal records for reuse, and when a silicon run is the verdict (Closes #8096) #8097 verified: seal v2 identity -- what a seal records for reuse, and when a silicon run is the verdict (Closes #8096) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press #8094 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
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 | 6 failing / 29 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 | 10 failing / 40 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 | 5 failing / 35 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 | 3 failing / 29 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 | 2 failing / 29 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 | 13 failing / 33 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 | 1 failing / 29 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 | 6 failing / 32 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 | 1 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 | 2 failing / 29 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 | 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 | 2 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 | 2 failing / 29 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 | 7 failing / 36 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 | 6 failing / 34 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-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 | 27 failing / 30 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: 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 | 24 failing / 34 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 | 23 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
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

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).

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

github-actions · 2026-10-09T10:04:30Z

PR Dashboard

Generated at: 2026-10-09 10:04:22 UTC

ci: cancel stale runs of nine PR workflows with a concurrency group (Closes #8113) #8132 ci: cancel stale runs of nine PR workflows with a concurrency group (Closes #8113) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 28 total
spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) #8131 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
tools: ledger the gen_w port helpers copied seven times (Refs #7513, Refs #7766) #8130 tools: ledger the gen_w port helpers copied seven times (Refs #7513, Refs #7766) | Created: 2026-10-09 | Updated: 2026-10-09 | 22 failing / 23 total
t27core: every name bound as both backends bind it (Closes #8092) #8129 t27core: every name bound as both backends bind it (Closes #8092) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 32 total
verified: the silicon queue -- automatic list, runs only on the owner's word, no orphaning reseal (Closes #8120) #8121 verified: the silicon queue -- automatic list, runs only on the owner's word, no orphaning reseal (Closes #8120) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
spec(automation): agent-neuro-kie v2 -- the agent's voice on Kie #8119 spec(automation): agent-neuro-kie v2 -- the agent's voice on Kie | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) #8117 seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) | Created: 2026-10-09 | Updated: 2026-10-09 | 24 failing / 25 total
verified: the silicon-runs index records R3-3 complete -- three dies, INDEP_DIES, citable (Closes #8114) #8115 verified: the silicon-runs index records R3-3 complete -- three dies, INDEP_DIES, citable (Closes #8114) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111) #8112 policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111) | Created: 2026-10-09 | Updated: 2026-10-09 | 11 failing / 26 total
t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) #8110 t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) | Created: 2026-10-09 | Updated: 2026-10-09 | 29 failing / 33 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 29 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 8 failing / 29 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 29 total
verified: seal v2 identity -- what a seal records for reuse, and when a silicon run is the verdict (Closes #8096) #8097 verified: seal v2 identity -- what a seal records for reuse, and when a silicon run is the verdict (Closes #8096) | Created: 2026-10-09 | Updated: 2026-10-09 | 23 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 | 7 failing / 41 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 | 28 failing / 31 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 | 1 failing / 29 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 | 1 failing / 31 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 | 28 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 | 30 failing / 33 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 | 28 failing / 31 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 | 30 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-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 | 28 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: 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 | 32 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
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

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)=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).

github-actions · 2026-10-09T10:41:58Z

PR Dashboard

Generated at: 2026-10-09 10:41:51 UTC

t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) #8152 t27c: test-report exits non-zero on FAIL or BLOCKED (Closes #7370) | Created: 2026-10-09 | Updated: 2026-10-09 | 31 failing / 34 total
tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) #8149 tri-mcp: tri_test runs the spec's tests through report.t27 (Closes #8140) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
refactor(tri): a mutate --lab run uploads any number of files (Refs #7471) #8146 refactor(tri): a mutate --lab run uploads any number of files (Refs #7471) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 27 total
spec(self_attention): declare default_input, so the reference verdict is the same on every host (Closes #8051) #8145 spec(self_attention): declare default_input, so the reference verdict is the same on every host (Closes #8051) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
t27b ledger: hold self_attention.t27 as blocked while its reference is host-dependent (Closes #8141) #8143 t27b ledger: hold self_attention.t27 as blocked while its reference is host-dependent (Closes #8141) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
spec(automation): bot-event-tabs v2 - the house hears the render from its own bot (Closes #8139) #8142 spec(automation): bot-event-tabs v2 - the house hears the render from its own bot (Closes #8139) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
spec(queen): a file owner actor admits disjoint edits (Closes #8037) #8137 spec(queen): a file owner actor admits disjoint edits (Closes #8037) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
spec(automation): agent-hive-group v4 -- agents hand off in private, bot to bot #8136 spec(automation): agent-hive-group v4 -- agents hand off in private, bot to bot | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
port: the seven gen_w ports share their block helpers instead of copying them (Closes #8134) #8135 port: the seven gen_w ports share their block helpers instead of copying them (Closes #8134) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 28 total
ci: cancel stale runs of nine PR workflows with a concurrency group (Closes #8113) #8132 ci: cancel stale runs of nine PR workflows with a concurrency group (Closes #8113) | Created: 2026-10-09 | Updated: 2026-10-09 | 26 failing / 28 total
spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) #8131 spec(automation): course-outreach -- programmers in the owner's contacts, one draft each, sent on his press (Closes #8093) | Created: 2026-10-09 | Updated: 2026-10-09 | 27 failing / 30 total
tools: ledger the gen_w port helpers copied seven times (Refs #7513, Refs #7766) #8130 tools: ledger the gen_w port helpers copied seven times (Refs #7513, Refs #7766) | Created: 2026-10-09 | Updated: 2026-10-09 | 22 failing / 23 total
t27core: every name bound as both backends bind it (Closes #8092) #8129 t27core: every name bound as both backends bind it (Closes #8092) | Created: 2026-10-09 | Updated: 2026-10-09 | 25 failing / 32 total
verified: the silicon queue -- automatic list, runs only on the owner's word, no orphaning reseal (Closes #8120) #8121 verified: the silicon queue -- automatic list, runs only on the owner's word, no orphaning reseal (Closes #8120) | Created: 2026-10-09 | Updated: 2026-10-09 | 7 failing / 29 total
spec(automation): agent-neuro-kie v2 -- the agent's voice on Kie #8119 spec(automation): agent-neuro-kie v2 -- the agent's voice on Kie | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 29 total
seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) #8117 seals: re-mint 374 green specs as v2 -- frontier reuses 297 of 1712 (Closes #8116) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 26 total
verified: the silicon-runs index records R3-3 complete -- three dies, INDEP_DIES, citable (Closes #8114) #8115 verified: the silicon-runs index records R3-3 complete -- three dies, INDEP_DIES, citable (Closes #8114) | Created: 2026-10-09 | Updated: 2026-10-09 | 6 failing / 29 total
t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) #8110 t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) | Created: 2026-10-09 | Updated: 2026-10-09 | 7 failing / 37 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp #8108 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/mcp/mcp-server.ts (TypeScript, 1 function) to sp | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 total
t27b checked: test blocks for 5 specs in specs/crons (1 of 1) #8107 t27b checked: test blocks for 5 specs in specs/crons (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106 t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 3 failing / 29 total
t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) #8105 t27b checked: test blocks for 4 specs whose tests compare only strings (1 of 1) | Created: 2026-10-09 | Updated: 2026-10-09 | 4 failing / 29 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 | 4 failing / 41 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 | 28 failing / 31 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 | 1 failing / 29 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 | 28 failing / 31 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 | 28 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 | 15 failing / 34 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 | 28 failing / 31 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 | 30 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-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-09 | 3 failing / 31 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 | 13 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-09 | 2 failing / 29 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

Summary

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

These columns do not partition: 0 + 42 + 0 + 0 = 42, 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: 15279 plus 1239 and 8264, on master a97cb9e's 15276 plus 1239 and 8247. The ledger takes master's and re-applies this branch's rows; max_not_pass recomputed from the entries: 24. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

t27b: @intCast as an array index or a slice bound takes Zig's usize, from int_cast_plan.t27 (Closes #7902) #7905

Open

Merge master 430c522 into t27b-libm-std-math-7923 (Closes #7923)

ac1c2b7

AGENTS.md keeps #7803's line and re-measures this PR's after it (wc -l); the ledger's counts are recounted from its rows: 925 / 151 / 34. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This was referenced Oct 8, 2026

specs(tools/tri): real tests for 11 tool cards, gen to merging (Closes #7903) #7904

Merged

feat(spec): bot-neuro-office v4 -- one member hands a task to another #7949

Merged

This was referenced Oct 8, 2026

feat(spec): bot-neuro-office v5 -- the office keeps its tasks #7954

Merged

t27b lab: only a master run moves /ddc/latest.receipt.json (Closes #7955) #7956

Merged

specs(tools/tri): real tests for 10 tool cards, misread to red (Closes #7951) #7958

Merged

Merge master e66473f into t27b-libm-std-math-7923 (Closes #7923)

f6233f5

The ledger keeps master's rows and this PR's; its counts are recounted from its rows: 944 / 140 / 32. No t27b source changed on master, so AGENTS.md's line stands. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This was referenced Oct 8, 2026

feat(spec): bot-neuro-office v6 -- /catchup shows the open tasks #7964

Merged

chore(release): t27c 0.5.2 -- the first release the swarm makes (Closes #7965) #7966

Merged

fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) #7626

Merged

Merge master into t27b-libm-std-math-7923 (Closes #7923)

bc270a2

The ledger takes master's rows (with #8059's bless) and this PR's three; AGENTS.md is re-measured with wc -l. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

spec(automation): agent-neuro-kie v1 -- every Kie neuro-function the agent may order #8090

Merged

Merge master into t27b-libm-std-math-7923 (Closes #7923)

d49bf83

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

This was referenced Oct 9, 2026

policy: exception entries for #8095 step 4 -- spec-guards.yml, corpus-ratchet.yml, suite.rs (Closes #8111) #8112

Merged

t27b checked: test blocks for 5 specs in specs/agents, specs/skills, specs/automation and specs/system (1 of 1) #8106

Open

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

t27c seal writes the v2 identity, and t27c frontier reports what may be reused (Closes #8104, Closes #8109) #8110

Merged

gHashTag mentioned this pull request Oct 9, 2026

t27b ledger: hold a blocked row for self_attention.t27 while its reference is host-dependent #8141

Closed

gHashTag merged commit 4d6cf7f into master Oct 9, 2026
30 of 33 checks passed

gHashTag deleted the t27b-libm-std-math-7923 branch October 9, 2026 15:16

gHashTag mentioned this pull request Oct 9, 2026

t27b: specs/numeric/gf16.t27 after the type mismatch family -- @bitCast, f32 rounding and libm, std.math, @setEvalBranchQuota #7746

Closed

Navigation Menu

Repository navigation

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)#7925
gHashTag merged 12 commits into
masterfrom
t27b-libm-std-math-7923

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!

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!

Decision

Evidence

Lines by file

Receipt

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!

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