Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs (Rust, 1 function) to spe by gHashTag · Pull Request #7920 · gHashTag/t27

gHashTag · 2026-10-08T19:34:20Z

Written by a bee on queen-7895 and published by tools/queen/publish.py. The branch itself is the bee's; the second commit is the coordination entry every pull request must add, which a bee has no way to know about.

1 file changed, 154 insertions(+)

🤖 Generated with Claude Code

github-actions · 2026-10-08T20:11:11Z

PR Dashboard

Generated at: 2026-10-08 20:11:00 UTC

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

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=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-11T18:58:35Z

PR Dashboard

Generated at: 2026-10-11 18:58:27 UTC

Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 29 total
feat(wasm): MVP - AI-generated FPGA interpreter executing WASM #9148 feat(wasm): MVP - AI-generated FPGA interpreter executing WASM | Created: 2026-10-11 | Updated: 2026-10-11 | 9 failing / 37 total
release: t27o standalone binary, cosign keyless signing, and the reusable golden-spec Action (Refs #8996) #9147 release: t27o standalone binary, cosign keyless signing, and the reusable golden-spec Action (Refs #8996) | Created: 2026-10-11 | Updated: 2026-10-11 | 8 failing / 29 total
gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) #9135 gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 42 total
Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) #9131 Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) | Created: 2026-10-11 | Updated: 2026-10-11 | 5 failing / 33 total
Port gHashTag/trinity:src/phi-engine/tvc/tvc_phi_integration.zig (Zig, 6 functions) to specs/port/trinity/src/phi-engine #9130 Port gHashTag/trinity:src/phi-engine/tvc/tvc_phi_integration.zig (Zig, 6 functions) to specs/port/trinity/src/phi-engine | Created: 2026-10-11 | Updated: 2026-10-11 | 5 failing / 29 total
ci: one queen-publish job opens the derived-record PRs the labs' verdicts allow (Closes #9092) #9117 ci: one queen-publish job opens the derived-record PRs the labs' verdicts allow (Closes #9092) | Created: 2026-10-11 | Updated: 2026-10-11 | 5 failing / 24 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #9060 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-11 | Updated: 2026-10-11 | 2 failing / 30 total
Port gHashTag/trios:crates/trios-train-cpu/src/bin/gradient.rs (Rust, 4 functions) to specs/port/trios/crates/trios-trai #8984 Port gHashTag/trios:crates/trios-train-cpu/src/bin/gradient.rs (Rust, 4 functions) to specs/port/trios/crates/trios-trai | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 29 total
docs(agents): new functionality is written in .t27 only #8936 docs(agents): new functionality is written in .t27 only | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 24 total
Port tools/queen/needs_boundary.py (Python, 8 functions) to specs/port/tools/queen/needs_boundary.t27 #8924 Port tools/queen/needs_boundary.py (Python, 8 functions) to specs/port/tools/queen/needs_boundary.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 30 total
Port gHashTag/trinity:src/tri/gen_lru_cache_impl.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_lru_cache_impl #8923 Port gHashTag/trinity:src/tri/gen_lru_cache_impl.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_lru_cache_impl | Created: 2026-10-11 | Updated: 2026-10-11 | 9 failing / 29 total
Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 #8892 Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 31 total
t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) #8890 t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) | Created: 2026-10-11 | Updated: 2026-10-11 | 7 failing / 41 total
spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) #8879 spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-11 | Updated: 2026-10-11 | 28 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/double_ratchet_sending_chain_rotation_guard.rs (Rust, 1 funct #8878 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/double_ratchet_sending_chain_rotation_guard.rs (Rust, 1 funct | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 30 total
isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) #8876 isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 29 total
Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 #8874 Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p #8873 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 31 total
Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 #8850 Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 33 total
gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) #8844 gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 42 total
specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) #8843 specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 33 total
tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) #8842 tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 24 total
Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node #8834 Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node | Created: 2026-10-10 | Updated: 2026-10-11 | 26 failing / 28 total
Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 #8828 Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 33 total
Port gHashTag/trinity:fpga/openxc7-synth/gf16_add_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf1 #8827 Port gHashTag/trinity:fpga/openxc7-synth/gf16_add_top.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf1 | Created: 2026-10-10 | Updated: 2026-10-11 | 6 failing / 29 total
Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra #8824 Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra | Created: 2026-10-10 | Updated: 2026-10-11 | 27 failing / 28 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp #8822 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio #8806 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ #8787 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 30 total
spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) #8773 spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) | Created: 2026-10-10 | Updated: 2026-10-11 | 26 failing / 28 total
fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) #8772 fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 39 total
fix(specs): restore native JTAG verdict literals #8771 fix(specs): restore native JTAG verdict literals | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) #8768 spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
fix(memory): restore executable graph ingest policy #8755 fix(memory): restore executable graph ingest policy | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 31 total
fix(specs): restore executable policies and corpus checks #8749 fix(specs): restore executable policies and corpus checks | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 #8735 Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 1 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/replay_detection_window_guard.rs (Rust, 1 function) to specs/ #8734 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-07/src/replay_detection_window_guard.rs (Rust, 1 function) to specs/ | Created: 2026-10-10 | Updated: 2026-10-11 | 6 failing / 29 total
Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 #8718 Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 29 failing / 30 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp #8674 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-11 | 28 failing / 30 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/wire_frame_integrity_guard.rs (Rust, 1 function) to specs/por #8673 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/wire_frame_integrity_guard.rs (Rust, 1 function) to specs/por | Created: 2026-10-10 | Updated: 2026-10-11 | 28 failing / 30 total
docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP #8538 docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 24 total
fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum #8532 fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 39 total
gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution #8531 gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution | Created: 2026-10-10 | Updated: 2026-10-11 | 30 failing / 32 total
Wave 683: one mistake in two copies, and a withdrawn explanation #8509 Wave 683: one mistake in two copies, and a withdrawn explanation | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 24 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt #8506 Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt | Created: 2026-10-10 | Updated: 2026-10-10 | 6 failing / 29 total
Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re #8483 Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/gen_splay_tree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_splay_tree.t27 #8470 Port gHashTag/trinity:src/tri/gen_splay_tree.zig (Zig, 5 functions) to specs/port/trinity/src/tri/gen_splay_tree.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 29 failing / 31 total
Port gHashTag/trios:crates/trios-ipc/src/validate.rs (Rust, 3 functions) to specs/port/trios/crates/trios-ipc/src/valida #8459 Port gHashTag/trios:crates/trios-ipc/src/validate.rs (Rust, 3 functions) to specs/port/trios/crates/trios-ipc/src/valida | Created: 2026-10-10 | Updated: 2026-10-11 | 29 failing / 31 total
Port scripts/gen_w680.py (Python, 3 functions) to specs/port/scripts/gen_w680.t27 #8458 Port scripts/gen_w680.py (Python, 3 functions) to specs/port/scripts/gen_w680.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 29 failing / 31 total

Summary

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

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

Seal Status

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

…action_integrity_guard.rs to .t27 - Add CompactionIntegrityError enum with all 6 variants - Port validate_compaction function with all 6 validation rules - Add all 10 tests from original (SCPI-01..SCPI-10) - All tests pass, 100% success rate Closes #7895

A pull request must add exactly one docs/now entry and a bee has no way to know that: its brief names a boundary file and acceptance criteria, and docs/now/ is neither. The publisher adds it rather than failing the gate. Closes #7895 Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

github-actions · 2026-10-12T07:38:59Z

PR Dashboard

Generated at: 2026-10-12 07:38:48 UTC

policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up #9231 policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up | Created: 2026-10-12 | Updated: 2026-10-12 | 4 failing / 24 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/clade-meshd/src/key_store.rs (Rust, 6 functions) to specs/port/trios/ #9229 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/clade-meshd/src/key_store.rs (Rust, 6 functions) to specs/port/trios/ | Created: 2026-10-12 | Updated: 2026-10-12 | 8 failing / 31 total
spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 29 total
Port gHashTag/trinity:src/tri/emu/tri_asm_base.zig (Zig, 3 functions) to specs/port/trinity/src/tri/emu/tri_asm_base.t27 #9211 Port gHashTag/trinity:src/tri/emu/tri_asm_base.zig (Zig, 3 functions) to specs/port/trinity/src/tri/emu/tri_asm_base.t27 | Created: 2026-10-12 | Updated: 2026-10-12 | 8 failing / 31 total
Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri #9200 Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri | Created: 2026-10-12 | Updated: 2026-10-12 | 9 failing / 29 total
Port gHashTag/trinity:src/phi-engine/scheduler/phi_spiral.zig (Zig, 3 functions) to specs/port/trinity/src/phi-engine/sc #9188 Port gHashTag/trinity:src/phi-engine/scheduler/phi_spiral.zig (Zig, 3 functions) to specs/port/trinity/src/phi-engine/sc | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/gf16_alu.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf16_al #9179 Port gHashTag/trinity:fpga/openxc7-synth/gf16_alu.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf16_al | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 29 total
Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te #9178 Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te | Created: 2026-10-11 | Updated: 2026-10-12 | 9 failing / 32 total
Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 #9177 Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/tri_init.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_init.t27 #9176 Port gHashTag/trinity:src/tri/tri_init.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_init.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 5 failing / 29 total
Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 29 total
feat(wasm): MVP - AI-generated FPGA interpreter executing WASM #9148 feat(wasm): MVP - AI-generated FPGA interpreter executing WASM | Created: 2026-10-11 | Updated: 2026-10-11 | 9 failing / 37 total
gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) #9135 gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 42 total
Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) #9131 Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) | Created: 2026-10-11 | Updated: 2026-10-11 | 5 failing / 33 total
Port gHashTag/trinity:src/phi-engine/tvc/tvc_phi_integration.zig (Zig, 6 functions) to specs/port/trinity/src/phi-engine #9130 Port gHashTag/trinity:src/phi-engine/tvc/tvc_phi_integration.zig (Zig, 6 functions) to specs/port/trinity/src/phi-engine | Created: 2026-10-11 | Updated: 2026-10-12 | 3 failing / 32 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #9060 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-11 | Updated: 2026-10-11 | 2 failing / 30 total
docs(agents): new functionality is written in .t27 only #8936 docs(agents): new functionality is written in .t27 only | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 24 total
Port tools/queen/needs_boundary.py (Python, 8 functions) to specs/port/tools/queen/needs_boundary.t27 #8924 Port tools/queen/needs_boundary.py (Python, 8 functions) to specs/port/tools/queen/needs_boundary.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 30 total
Port gHashTag/trinity:src/tri/gen_lru_cache_impl.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_lru_cache_impl #8923 Port gHashTag/trinity:src/tri/gen_lru_cache_impl.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_lru_cache_impl | Created: 2026-10-11 | Updated: 2026-10-12 | 8 failing / 29 total
Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 #8892 Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 31 total
t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) #8890 t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) | Created: 2026-10-11 | Updated: 2026-10-11 | 7 failing / 41 total
spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) #8879 spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 30 total
isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) #8876 isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 29 total
Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 #8874 Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p #8873 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p | Created: 2026-10-11 | Updated: 2026-10-12 | 26 failing / 29 total
Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 #8850 Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 33 total
gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) #8844 gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 42 total
specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) #8843 specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 33 total
tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) #8842 tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 24 total
Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node #8834 Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node | Created: 2026-10-10 | Updated: 2026-10-12 | 8 failing / 30 total
Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 #8828 Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 33 total
Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra #8824 Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra | Created: 2026-10-10 | Updated: 2026-10-12 | 8 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp #8822 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio #8806 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ #8787 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 30 total
spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) #8773 spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) | Created: 2026-10-10 | Updated: 2026-10-12 | 9 failing / 29 total
fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) #8772 fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 39 total
fix(specs): restore native JTAG verdict literals #8771 fix(specs): restore native JTAG verdict literals | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) #8768 spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
fix(memory): restore executable graph ingest policy #8755 fix(memory): restore executable graph ingest policy | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 31 total
fix(specs): restore executable policies and corpus checks #8749 fix(specs): restore executable policies and corpus checks | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 #8735 Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 1 failing / 31 total
Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 #8718 Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 | Created: 2026-10-10 | Updated: 2026-10-12 | 4 failing / 30 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp #8674 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-12 | 3 failing / 30 total
docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP #8538 docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 24 total
fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum #8532 fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 39 total
gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution #8531 gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution | Created: 2026-10-10 | Updated: 2026-10-12 | 8 failing / 31 total
Wave 683: one mistake in two copies, and a withdrawn explanation #8509 Wave 683: one mistake in two copies, and a withdrawn explanation | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 24 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt #8506 Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt | Created: 2026-10-10 | Updated: 2026-10-10 | 6 failing / 29 total
Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re #8483 Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total

Summary

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

Seal Status

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

…7920) The issue's boundary names the spec file alone ('Write this one file and nothing else'). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-12T07:40:18Z

PR Dashboard

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

policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up #9231 policy: list check_documented_commands_exist.py for the MAX_DEAD_TRI 141->140 follow-up | Created: 2026-10-12 | Updated: 2026-10-12 | 3 failing / 24 total
Port gHashTag/trios:apps/trios-macos/rings/RUST-13/clade-meshd/src/key_store.rs (Rust, 6 functions) to specs/port/trios/ #9229 Port gHashTag/trios:apps/trios-macos/rings/RUST-13/clade-meshd/src/key_store.rs (Rust, 6 functions) to specs/port/trios/ | Created: 2026-10-12 | Updated: 2026-10-12 | 8 failing / 31 total
spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 29 total
Port gHashTag/trinity:src/tri/emu/tri_asm_base.zig (Zig, 3 functions) to specs/port/trinity/src/tri/emu/tri_asm_base.t27 #9211 Port gHashTag/trinity:src/tri/emu/tri_asm_base.zig (Zig, 3 functions) to specs/port/trinity/src/tri/emu/tri_asm_base.t27 | Created: 2026-10-12 | Updated: 2026-10-12 | 8 failing / 31 total
Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri #9200 Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri | Created: 2026-10-12 | Updated: 2026-10-12 | 9 failing / 29 total
Port gHashTag/trinity:src/phi-engine/scheduler/phi_spiral.zig (Zig, 3 functions) to specs/port/trinity/src/phi-engine/sc #9188 Port gHashTag/trinity:src/phi-engine/scheduler/phi_spiral.zig (Zig, 3 functions) to specs/port/trinity/src/phi-engine/sc | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/gf16_alu.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf16_al #9179 Port gHashTag/trinity:fpga/openxc7-synth/gf16_alu.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth/gf16_al | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 29 total
Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te #9178 Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te | Created: 2026-10-11 | Updated: 2026-10-12 | 9 failing / 32 total
Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 #9177 Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 29 total
Port gHashTag/trinity:src/tri/tri_init.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_init.t27 #9176 Port gHashTag/trinity:src/tri/tri_init.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_init.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 5 failing / 29 total
Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 29 total
feat(wasm): MVP - AI-generated FPGA interpreter executing WASM #9148 feat(wasm): MVP - AI-generated FPGA interpreter executing WASM | Created: 2026-10-11 | Updated: 2026-10-11 | 9 failing / 37 total
gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) #9135 gen-rust: eight constructs that passed test-report now compile under rustc (Closes #8891) | Created: 2026-10-11 | Updated: 2026-10-11 | 6 failing / 42 total
Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) #9131 Port trios-chat CR-CHAT-00: lib.rs data and decisions as lib.t27 (Refs #8880) | Created: 2026-10-11 | Updated: 2026-10-11 | 5 failing / 33 total
Port gHashTag/trinity:src/phi-engine/tvc/tvc_phi_integration.zig (Zig, 6 functions) to specs/port/trinity/src/phi-engine #9130 Port gHashTag/trinity:src/phi-engine/tvc/tvc_phi_integration.zig (Zig, 6 functions) to specs/port/trinity/src/phi-engine | Created: 2026-10-11 | Updated: 2026-10-12 | 3 failing / 32 total
Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #9060 Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) | Created: 2026-10-11 | Updated: 2026-10-11 | 2 failing / 30 total
docs(agents): new functionality is written in .t27 only #8936 docs(agents): new functionality is written in .t27 only | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 24 total
Port tools/queen/needs_boundary.py (Python, 8 functions) to specs/port/tools/queen/needs_boundary.t27 #8924 Port tools/queen/needs_boundary.py (Python, 8 functions) to specs/port/tools/queen/needs_boundary.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 4 failing / 30 total
Port gHashTag/trinity:src/tri/gen_lru_cache_impl.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_lru_cache_impl #8923 Port gHashTag/trinity:src/tri/gen_lru_cache_impl.zig (Zig, 6 functions) to specs/port/trinity/src/tri/gen_lru_cache_impl | Created: 2026-10-11 | Updated: 2026-10-12 | 8 failing / 29 total
Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 #8892 Port gHashTag/trinity:src/tri/tri_battle.zig (Zig, 2 functions) to specs/port/trinity/src/tri/tri_battle.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 31 total
t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) #8890 t27b verilog: pin declarations, and the TRI-NET board top in .t27 with no hand Verilog or XDC (Closes #8889) | Created: 2026-10-11 | Updated: 2026-10-11 | 7 failing / 41 total
spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) #8879 spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-11 | Updated: 2026-10-12 | 4 failing / 30 total
isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) #8876 isa: S05 TRI-27 specs state the emulator fixed in gHashTag/trinity#1250 (Closes #5614) | Created: 2026-10-11 | Updated: 2026-10-11 | 1 failing / 29 total
Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 #8874 Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 | Created: 2026-10-11 | Updated: 2026-10-11 | 2 failing / 29 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p #8873 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p | Created: 2026-10-11 | Updated: 2026-10-12 | 25 failing / 29 total
Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 #8850 Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 33 total
gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) #8844 gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 42 total
specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) #8843 specs/policy: linked_issue_prose states what check-linked-issue reads (Closes #5744) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 33 total
tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) #8842 tools/jtag: libftdi from $T27_LIBFTDI or the platform default, so B2 reads on Linux (Closes #7927) | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 24 total
Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node #8834 Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node | Created: 2026-10-10 | Updated: 2026-10-12 | 8 failing / 30 total
Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 #8828 Port scripts/ci/rebuild_evidence.sh (Shell, 1 function) to specs/port/scripts/ci/rebuild_evidence.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 33 total
Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra #8824 Port gHashTag/trios:crates/trios-ext/rings/BRONZE-RING-EXT/xtask/src/main.rs (Rust, 3 functions) to specs/port/trios/cra | Created: 2026-10-10 | Updated: 2026-10-12 | 8 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp #8822 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-11 | 3 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio #8806 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/dh_output_validation.rs (Rust, 1 function) to specs/port/trio | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ #8787 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/snapshot_atomicity_guard.rs (Rust, 1 function) to specs/port/ | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 30 total
spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) #8773 spec fix: 6 specs in specs/tri/collections the reference blocks -- rewrite them in t27 (2 of 4) | Created: 2026-10-10 | Updated: 2026-10-12 | 9 failing / 29 total
fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) #8772 fpga: the TRI-NET node's 100 Mb/s board logic in t27 (MDIO, RGMII nibbles, JTAG status) (Closes #8770) | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 39 total
fix(specs): restore native JTAG verdict literals #8771 fix(specs): restore native JTAG verdict literals | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) #8768 spec(queen): claim.t27 - the round's stateOfDispatch as a card, the review valve imported (Closes #8765) | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
fix(memory): restore executable graph ingest policy #8755 fix(memory): restore executable graph ingest policy | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 31 total
fix(specs): restore executable policies and corpus checks #8749 fix(specs): restore executable policies and corpus checks | Created: 2026-10-10 | Updated: 2026-10-11 | 5 failing / 31 total
Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 #8735 Port gHashTag/trinity:src/brain/angular_gyrus.zig (Zig, 4 functions) to specs/port/trinity/src/brain/angular_gyrus.t27 | Created: 2026-10-10 | Updated: 2026-10-11 | 1 failing / 31 total
Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 #8718 Port scripts/gen_w692.py (Python, 3 functions) to specs/port/scripts/gen_w692.t27 | Created: 2026-10-10 | Updated: 2026-10-12 | 4 failing / 30 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp #8674 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/store_revision_monotonicity_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-12 | 3 failing / 30 total
docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP #8538 docs(fpga): HARDWARE_SSOT records the TRI-NET node answering jobs over UDP | Created: 2026-10-10 | Updated: 2026-10-11 | 2 failing / 24 total
fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum #8532 fix(fpga): eth_reply.t27 sends one frame per receipt, to the sender, with a real checksum | Created: 2026-10-10 | Updated: 2026-10-11 | 7 failing / 39 total
gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution #8531 gf16.t27 (L6 ceiling): gf16_extract_exponent returns 0 for every input; 3 invariants false under execution | Created: 2026-10-10 | Updated: 2026-10-12 | 8 failing / 31 total
Wave 683: one mistake in two copies, and a withdrawn explanation #8509 Wave 683: one mistake in two copies, and a withdrawn explanation | Created: 2026-10-10 | Updated: 2026-10-10 | 3 failing / 24 total
Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt #8506 Port gHashTag/trinity:fpga/openxc7-synth/uart_bridge_fixed.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synt | Created: 2026-10-10 | Updated: 2026-10-10 | 6 failing / 29 total
Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re #8483 Port gHashTag/trinity:src/tri_lang/content_registry.zig (Zig, 7 functions) to specs/port/trinity/src/tri_lang/content_re | Created: 2026-10-10 | Updated: 2026-10-10 | 4 failing / 29 total

Summary

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

Seal Status

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

tri-claw

Reviewer bee verdict for head d25aaf5373b5563a560b34c6458e958d896600ae (tools/bees/reviewer.py, zai glm-4.7-flash, 3 turns, 207 s; then glm-4.5-flash, 4 turns, 96 s).

BEE-VERDICT: APPROVE
summary: Port of validate_compaction to .t27 with all 10 SCPI tests passing
criterion: File exists and parses -- met -- evidence: brief.md:761-767
discounted-check: Documented t27c subcommands exist -- failure exists on master e6eb329
discounted-check: cli-tri -- failure exists on master e6eb329
discounted-check: t27b-native-linux -- failure exists on master e6eb329
discounted-check: t27b-native-macos -- failure exists on master e6eb329
discounted-check: t27b-native-ratchet -- failure exists on master e6eb329

Evidence

1. Does the change do what issue #7895 asks?

The issue requires porting crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.rs to .t27 format with the validate_compaction function.

All acceptance criteria are met:

Criterion 1: test -f specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.t27 && echo present prints present -- Runner result: present (line 761)
Criterion 2: grep -cE '^\s*(pub )?fn (validate_compaction)\(' specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.t27 prints 1 -- Runner result: 1 (line 762)
Criterion 3: t27c gen specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.t27 > /tmp/t27-gen.zig && grep -c 'not yet implemented' /tmp/t27-gen.zig prints 0 and t27c gen ... | wc -l prints at least 13 -- Runner results: 0 and 146 (lines 763-764)
Criterion 4: t27c spec-status specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.t27 does not print NOPARSE -- Runner result: IMPLEMENTED (line 765)
Criterion 5: grep -cE '^[[:space:]]*test[[:space:]]+("|[A-Za-z_])' specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.t27 prints at least 1 -- Runner result: 10 (line 766)
Criterion 6: t27c test-report specs/port/trios/crates/trios-chat/rings/CR-CHAT-05/src/store_compaction_integrity_guard.t27 2>&1 | grep -c BLOCKED prints 0 -- Runner result: 0 (line 767)

The port correctly implements all 10 tests from the original Rust code (SCPI-01 through SCPI-10), validating:

Counter gaps are rejected (scpi_01)
Count mismatches are rejected (scpi_02)
Zero anchors are rejected (scpi_03)
Non-monotonic counters are rejected (scpi_04)
Empty remaining chains are rejected (scpi_05)
Removed counts exceeding original are rejected (scpi_06)
Valid compactions are accepted (scpi_07)
No removal scenarios work (scpi_08)
Single remaining cases work (scpi_09)
Empty original states work (scpi_10)

No edits outside the boundary: Only the target file was added.

No hand edits under gen/: The diff shows only the new .t27 file.

No deleted tests: All 10 original tests are present.

No weakened assertions: All tests make assertions matching the original Rust behavior.

No non-ASCII identifiers: All identifiers are ASCII.

No secrets: No credentials or sensitive data present.

The spec matches its tests: The function validates exactly what the tests check.

2. For EVERY red check listed in brief.md: does it count against THIS head?

Check	On master?	Why it doesn't count against this head
Documented t27c subcommands exist	YES - failure on master `e6eb329`	The failure exists on master for the same reason; not introduced by this PR
cli-tri	YES - failure on master `e6eb329`	The failure exists on master for the same reason; not introduced by this PR
t27b-native-linux	YES - failure on master `e6eb329`	The failure exists on master for the same reason; not introduced by this PR
t27b-native-macos	YES - failure on master `e6eb329`	The failure exists on master for the same reason; not introduced by this PR
t27b-native-ratchet	YES - failure on master `e6eb329`	The failure exists on master for the same reason; not introduced by this PR

All red checks are pre-existing failures on master, not defects introduced by this pull request.

Second, independent review (glm-4.5-flash): APPROVE -- Successfully ported validate_compaction function to .t27 with all 10 original test cases

gHashTag force-pushed the queen-7895 branch from 3deda42 to 9cdaee2 Compare October 11, 2026 18:50

Trinity Bee and others added 2 commits October 12, 2026 14:29

gHashTag force-pushed the queen-7895 branch from 9cdaee2 to 3ffb307 Compare October 12, 2026 07:32

fix(port): drop the docs/now entry outside the issue boundary (Refs #…

d25aaf5

…7920) The issue's boundary names the spec file alone ('Write this one file and nothing else'). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

tri-claw Bot approved these changes Oct 12, 2026

View reviewed changes

tri-claw Bot added the bee-reviewed A reviewer bee reviewed and verified this PR at its current head; the only merge signal (#5525) label Oct 12, 2026

gHashTag enabled auto-merge (squash) October 12, 2026 08:17

gHashTag merged commit 6a45537 into master Oct 12, 2026
27 of 32 checks passed

Navigation Menu

Repository navigation

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#7920
gHashTag merged 3 commits into
masterfrom
queen-7895

gHashTag commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 11, 2026

Uh oh!

github-actions Bot commented Oct 12, 2026

Uh oh!

github-actions Bot commented Oct 12, 2026

Uh oh!

tri-claw Bot left a comment

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 8, 2026

Uh oh!

github-actions Bot commented Oct 8, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 11, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 12, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 12, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

tri-claw Bot left a comment

Choose a reason for hiding this comment

Evidence

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants