t27b: == and != between pointers and optional pointers compare addresses, from a t27 plan (Closes #7742) by gHashTag · Pull Request #7831 · gHashTag/t27

gHashTag · 2026-10-08T14:04:24Z

Closes #7742. Part of #6063 (t27b coverage, item C10 of #6488). Split from #7737 (#7744).

Decision

In Zig 0.16, == and != between two pointers, two optional pointers, or one of each, to one pointee type, compare the addresses, null being 0. Both operands are evaluated, left first. t27b now does the same. An optional pointer's address is its payload when its flag is set and 0 when not. Each operand is pinned in a frame slot in source order, so a bounds check on either side still runs first and once. Every other comparison keeps its path: the optional-of-scalar compare, null_compare, enums and integers.

Before this, t27b refused all three shapes: ExprBinary(?T) "of two optionals", ExprBinary(?T) "a value that has effects", and type mismatch "== on a pointer". The corpus case is gen_hazard_pointers.t27 (hazard1 != hazard2, &registry.hazards[i] == hazard). Its reference pass is for the right reason: HazardRegistry_acquire returns an element of the caller's registry.

Evidence

All on the t27c Railway lab (zig 0.16.0, t27c from master).

Reference: t27c test-report gives 3/3 pass, 15 runtime asserts on conformance/pointer_equality.t27, and 6/6 on ptr_eq_plan.t27. Both have 0 vacuous passes.
Mutants: 7 of 7 for the plan, and 10 of 10 for the conformance spec, both by the reference and by t27b.
Seals: both new specs are sealed (seal --save, then --verify: all hashes MATCH).
Corpus, master t27b against this branch's over the same tree (t27c lab, qemu-aarch64, master 4d7d2d3): only conformance/pointer_equality.t27 moves (ExprBinary(?T) -> pass). The new plan passes under both. Nothing else changes: lifting the plain-pointer type mismatch unblocks no other corpus file.
With t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) #7744's glue as well (both branches applied to one tree on the t27c lab), gen_hazard_pointers.t27 passes 4/4 under t27b test --check, with 16 runtime asserts.
cargo test --release -p t27b (t27c lab, x86_64 interpreter): 119 passed, 0 failed on the lane head; 127 passed, 0 failed on the merge with master 1083135.

Lines by file

kind	file	lines
hand-written Rust	`cli/t27b/src/lower.rs`	+39 (the mount, the call in the binary operator, `ptr_compare`, `ptr_word`)
hand-written Rust test	`cli/t27b/tests/source.rs`	+8
generated	`gen/rust/tri/t27b/ptr_eq_plan.rs`	+19
.t27	`specs/tri/t27b/ptr_eq_plan.t27`	+70
.t27	`specs/tri/t27b/conformance/pointer_equality.t27`	+77
data	2 seals under `.trinity/seals/`	+40
data	`docs/reports/t27b_expectations.json`	+6 -4
prose	`AGENTS.md`	+5 -1

Hand-written total +47 (budget 80; at most 40 per file). Master's check_budget() and check_all() from gen/c/policy/own_language.c both exit 0 on this diff. wc -l over master 1083135: cli/t27b/src/*.rs 15191 -> 15230, cli/t27b/src/*/*.rs 1202 (unchanged), cli/t27b/tests/*.rs 8119 -> 8127.

Ledger

Only the rows that move: gen_hazard_pointers.t27 goes from blocked to pass (with #7744, now on master), and conformance/pointer_equality.t27 and ptr_eq_plan.t27 are new rows that pass. On master 1083135's ledger: pass 921 -> 924, max_not_pass 36 -> 35.

Receipt

Signed lane receipt from the t27b lab (#7686), compared on the lab from /work/t27 with /work/t27c-master corpus-receipt compare BASE HEAD --challenge-head <mine>:

Lane head c8e2cf5 against base 4d7d2d3: IMPROVED_ONLY, exit 3. lane improved for pointer_equality.t27 and ptr_eq_plan.t27. No other file changed. The head run has 0 mismatches and 0 reference disagreements, cargo test passes 139 with 0 failed, and there are no ratchet findings on these files.

Masters 14e1c7b (#7447, the bit_cast plan), 81da894 (#7769), bbb77f0 (#7744, this lane's sibling) and 1083135 (the f32 rounding ports) were merged in after that. With #7744's glue in the tree, gen_hazard_pointers.t27 now passes, and its row moves to pass here. On the t27c lab, the merge with bbb77f0 gave cargo test 126 passed, 0 failed, and gen_hazard_pointers.t27 4/4 under t27b test --check. The corpus run, master bbb77f0's t27b against that merge's over the same tree, moves exactly gen_hazard_pointers.t27 and pointer_equality.t27 (ExprBinary(?T) -> pass). The merge with 1083135 gives cargo test 127 passed, 0 failed, and the same --check results. A receipt for that head is requested from the lab.

Generated with Claude Code

…loses #7742) specs/tri/t27b/conformance/pointer_equality.t27 pins what the reference does with the comparisons of gen_hazard_pointers.t27: two optional pointers (`hazard1 != hazard2`, both null and not), a pointer with a bounds-checked index against an optional pointer, either way round (`&registry.hazards[i] == hazard`), and two plain pointers, one with a run-time index. In Zig 0.16 they compare addresses, null being 0. t27c test-report (zig 0.16.0, t27c lab): 3/3 pass, 0 vacuous, 15 runtime asserts. 10 of 10 mutants are killed by the reference and by t27b. Sealed on the t27c lab (seal --save, then --verify: all hashes MATCH). Part of #6063. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…ses, from a t27 plan (Closes #7742) The decision is specs/tri/t27b/ptr_eq_plan.t27, mounted through t27c gen-rust (gen/rust/tri/t27b/ptr_eq_plan.rs): `==` / `!=` with a pointer or an optional pointer on each side, one pointee type, compares the addresses. An optional pointer's address is its payload when its flag is set and 0 when not; each operand is pinned in a frame slot in source order, so a bounds check on either side still runs first and once. Every other comparison keeps its path (the optional-of-scalar compare, null_compare, enums, integers). Before, t27b refused all three shapes: ExprBinary(?T) "of two optionals", ExprBinary(?T) "a value that has effects", and type mismatch "`==` on a pointer". Plan: 6/6 pass under t27c test-report, 0 vacuous; 7 of 7 plan mutants killed. gen-rust output is what the lab's t27c prints; sealed (seal --verify: all hashes MATCH). Glue: lower.rs +39 (the mount, the call in the binary operator, ptr_compare, ptr_word). Tests: cli/t27b/tests/source.rs +8 runs the conformance spec. Corpus (t27c lab, qemu-aarch64, master t27b and this branch's over the same tree): only the conformance spec moves (to pass). With #7737's glue as well, gen_hazard_pointers.t27 passes 4/4 under `t27b test --check`. Part of #6063. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

From master's side, no conflicts. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…oses #7742) docs/reports/t27b_expectations.json: `tri t27b ratchet --bless --accept-new` over master d42df2b's lab run with this branch's t27b verdicts for the files it changes (t27c lab corpus, master 4d7d2d3's t27b against this branch's over the same tree) and the reference verdicts t27c test-report gave the new specs, composed onto master's ledger with only these rows: conformance/pointer_equality.t27 and ptr_eq_plan.t27, new, pass. pass 898 -> 900, max_not_pass stays 39. gen_hazard_pointers.t27 needs #7737's glue too; whichever of #7744 and this PR lands second moves its row to pass. AGENTS.md: this branch's clause, `wc -l` over master 4d7d2d3: cli/t27b/src/*.rs 14995 -> 15034, src/*/*.rs 1166 (unchanged), cli/t27b/tests/*.rs 7987 -> 7995. Part of #6063. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T14:32:25Z

PR Dashboard

Generated at: 2026-10-08 14:32:16 UTC

Port gHashTag/trinity:src/tri/gen_geo_hash2d.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_geo_hash2d.t27 #7832 Port gHashTag/trinity:src/tri/gen_geo_hash2d.zig (Zig, 4 functions) to specs/port/trinity/src/tri/gen_geo_hash2d.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 28 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 | 15 failing / 37 total
spec(memory/graph): records and time rules of a privacy-first graph memory (Closes #7829) #7830 spec(memory/graph): records and time rules of a privacy-first graph memory (Closes #7829) | Created: 2026-10-08 | Updated: 2026-10-08 | 24 failing / 30 total
spec(queen): what the board says about the swarm (Closes #7826) #7827 spec(queen): what the board says about the swarm (Closes #7826) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
spec(automation): 999 bot tabs named after their agents; a pressed menu leaves (Closes #7824) #7825 spec(automation): 999 bot tabs named after their agents; a pressed menu leaves (Closes #7824) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
t27b: @bitCast between an integer and a float of one size, @intFromBool, and std.math.nan / isNan / isPositiveInf / isNegativeInf, from t27 plans (Closes #7791) #7818 t27b: @bitCast between an integer and a float of one size, @intFromBool, and std.math.nan / isNan / isPositiveInf / isNegativeInf, from t27 plans (Closes #7791) | Created: 2026-10-08 | Updated: 2026-10-08 | 7 failing / 37 total
t27b: @divTrunc and a @panic statement as the reference runs them, from builtin_plan.t27 (Closes #7790) #7808 t27b: @divTrunc and a @panic statement as the reference runs them, from builtin_plan.t27 (Closes #7790) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 total
t27b: undefined as an argument the callee never reads is passed, as in the reference, and refused by name where it is read (Closes #7796) #7801 t27b: undefined as an argument the callee never reads is passed, as in the reference, and refused by name where it is read (Closes #7796) | Created: 2026-10-08 | Updated: 2026-10-08 | 4 failing / 32 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
t27b: a write through an array literal printed @constCast(&[_]E{ ... }) is refused by name, not encoded, from a t27 plan (Closes #7765) #7786 t27b: a write through an array literal printed @constCast(&[_]E{ ... }) is refused by name, not encoded, from a t27 plan (Closes #7765) | Created: 2026-10-08 | Updated: 2026-10-08 | 28 failing / 33 total
Port gHashTag/trios:crates/trinity_loss/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trinity_loss/src/lib.t #7760 Port gHashTag/trios:crates/trinity_loss/src/lib.rs (Rust, 5 functions) to specs/port/trios/crates/trinity_loss/src/lib.t | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 31 total
t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) #7744 t27b: ?*anyopaque and @ptrFromInt to an optional pointer lower from a t27 plan (Closes #7737) | Created: 2026-10-08 | Updated: 2026-10-08 | 29 failing / 32 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
fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) #7659 fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 38 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 | 7 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
fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) #7586 fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) | Created: 2026-10-07 | Updated: 2026-10-08 | 7 failing / 37 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
fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) #7579 fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) | Created: 2026-10-07 | Updated: 2026-10-08 | 7 failing / 37 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
ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) #7566 ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) | Created: 2026-10-07 | Updated: 2026-10-08 | 4 failing / 40 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
fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) #7495 fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) | Created: 2026-10-07 | Updated: 2026-10-08 | 6 failing / 41 total
specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) #7491 specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) #7490 specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
t27b: a test local named for a module var (Closes #7668) #7447 t27b: a test local named for a module var (Closes #7668) | Created: 2026-10-07 | Updated: 2026-10-08 | 7 failing / 37 total
t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) #7436 t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 failing / 47 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-07 | 4 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

Summary

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

These columns do not partition: 1 + 48 + 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)=39fa3908f9fd != 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).

From master's side (#7904's tool-card tests and others; no t27b code changed, the conflict is the ledger only). docs/reports/t27b_expectations.json: master's ledger plus this branch's three rows, recomposed as before (gen_hazard_pointers.t27 -> pass, two new pass rows): pass 942 -> 945, max_not_pass 33 -> 32. AGENTS.md: master's remainder plus this branch's clause, re-measured with `wc -l` over master 4daabae: src/*.rs 15227 -> 15266, src/*/*.rs unchanged, tests/*.rs 8164 -> 8172. Merged-tree checks on the t27c lab: cargo test --release -p t27b 130 passed, 0 failed; under `t27b test --check` gen_hazard_pointers.t27 (4/4), pointer_equality.t27, ptr_eq_plan.t27 and opaque_pointer.t27 pass. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T22:40:23Z

PR Dashboard

Generated at: 2026-10-08 22:40:15 UTC

specs(tools/tri): real tests for 10 tool cards, misread to red (Closes #7951) #7958 specs(tools/tri): real tests for 10 tool cards, misread to red (Closes #7951) | Created: 2026-10-08 | Updated: 2026-10-08 | 23 failing / 31 total
t27b lab: only a master run moves /ddc/latest.receipt.json (Closes #7955) #7956 t27b lab: only a master run moves /ddc/latest.receipt.json (Closes #7955) | Created: 2026-10-08 | Updated: 2026-10-08 | 1 failing / 26 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 | 7 failing / 38 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 | 21 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 | 14 failing / 34 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 | 3 failing / 39 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 | 3 failing / 39 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 | 3 failing / 42 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 | 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
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 | 29 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 | 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	41
PRs with All Checks Green	9
READY	3
FAILING	41
PENDING	0
NO CHECKS YET	0

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

Seal Status

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

claude and others added 5 commits October 8, 2026 15:50

Merge master 5263bba into t27b-ptr-eq-7742 (Closes #7742)

5484c9a

From master's side, no conflicts. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Merge master 4d7d2d3 into t27b-ptr-eq-7742 (Closes #7742)

777126f

From master's side, no conflicts. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

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

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

Merged

Navigation Menu

Repository navigation

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)#7831
gHashTag wants to merge 13 commits into
masterfrom
t27b-ptr-eq-7742

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!

This branch has not been deployed

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

Ledger

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!

This branch has not been deployed

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

gHashTag commented Oct 8, 2026 •

edited

Loading