spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified (Closes #10269) by gHashTag · Pull Request #10270 · gHashTag/t27

gHashTag · 2026-10-18T06:31:13Z

What changes

REVIEWED true at cells 7, 8, 16, 17, 18, 25 and 27 (indices 6, 7, 15, 16, 17, 24, 26), the seven grounded DELIVER cells.
Cells 7, 8 and 21 are live, so 7 and 8 become published; the other five become verified.
Cell 26 (DDR3 head read, fpga(ax7203): DDR3 head read measured at 2769 MB/s -- own_model cell 26 grounded as a draft (Closes #10170) #10248) stays a draft: that PR merged without a review.
Tally, derived by the spec: 3 published, 22 verified, 1 draft, 1 gap; 61%. The board spec carries the same message, status and percent arrays.

Why this PR carries its own review

#10185 grounded these cells and was meant to hold their review with auto-merge off. Auto-merge was re-enabled and took it in on 2026-10-18 06:24. The only review on it was the reviewer bee's REQUEST_CHANGES on an older head (review 5561355779). So this PR puts the same evidence to review again:

REVIEW_PR names this PR.
REVIEW_ID is filled in with the reviewer bee's APPROVE once it exists. Until then it reads REVIEW_ID_TBD, and this PR must not merge.
Auto-merge stays off on this PR.

Evidence per cell is in the header of specs/igla/own_model.t27 (the "measured", "live" and "review" lines), the same text #10185 merged.

Verified on the Railway lab

On checkout fdb6b28 with these two files:

t27c test-report specs/igla/own_model.t27: 10 pass, 0 fail, 0 vacuous.
t27c test-report specs/igla/own_model_board.t27: 6 pass, 0 fail, 0 vacuous.
Negative control, REVIEWED[24] set back to false: 2 fail (a_status_is_earned_not_chosen, a_review_is_named_not_assumed).

🤖 Generated with Claude Code

…d / 22 verified (Closes #10269) REVIEWED true at cells 7, 8, 16, 17, 18, 25 and 27. #10185 merged by auto-merge before an APPROVE, so this PR carries the review itself. Cell 26 stays a draft. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…the review (Closes #10269) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-18T06:31:35Z

PR Dashboard

Generated at: 2026-10-18 06:31:26 UTC

spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified (Closes #10269) #10270 spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified (Closes #10269) | Created: 2026-10-18 | Updated: 2026-10-18 | 28 failing / 29 total
spec(seal_identity): frontier --reseal reseals a MISSING spec that already has a legacy seal #10267 spec(seal_identity): frontier --reseal reseals a MISSING spec that already has a legacy seal | Created: 2026-10-18 | Updated: 2026-10-18 | 9 failing / 40 total
seals: reseal 279 specs, frontier reuse 627 -> 756 permille #10250 seals: reseal 279 specs, frontier reuse 627 -> 756 permille | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 26 total
spec(t27mcp): seal_verdict -- the seal receipt of t27_spec (#10066) #10239 spec(t27mcp): seal_verdict -- the seal receipt of t27_spec (#10066) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 30 total
spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Refs #8883, #8884) #10175 spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Refs #8883, #8884) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 32 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) #10056 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) | Created: 2026-10-17 | Updated: 2026-10-17 | 30 failing / 55 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) #10022 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) #10015 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-15 | 3 failing / 33 total
spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-17 | 3 failing / 33 total
Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 #9549 Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 #9548 Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 #9484 Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 #9463 Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 #9427 Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ #9426 Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 #9407 Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf #9345 Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 #9340 chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 39 total
chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 #9339 chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 #9338 chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 #9337 chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 #9336 chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t #9321 Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth #9263 Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth | Created: 2026-10-12 | Updated: 2026-10-12 | 7 failing / 29 total
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 / 26 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/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 | 6 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 | 6 failing / 29 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 | 5 failing / 32 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-12 | 7 failing / 30 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-12 | 3 failing / 40 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
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-17 | 3 failing / 31 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-18 | 4 failing / 30 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-12 | 6 failing / 30 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 | 9 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-12 | 7 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-12 | 3 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 | 5 failing / 32 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-12 | 6 failing / 32 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-12 | 6 failing / 33 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 | 5 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-12 | 11 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-12 | 2 failing / 31 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=0f8c66b9ed0e != 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-18T06:32:24Z

PR Dashboard

Generated at: 2026-10-18 06:32:16 UTC

spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified (Closes #10269) #10270 spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified (Closes #10269) | Created: 2026-10-18 | Updated: 2026-10-18 | 16 failing / 19 total
spec(seal_identity): frontier --reseal reseals a MISSING spec that already has a legacy seal #10267 spec(seal_identity): frontier --reseal reseals a MISSING spec that already has a legacy seal | Created: 2026-10-18 | Updated: 2026-10-18 | 9 failing / 40 total
seals: reseal 279 specs, frontier reuse 627 -> 756 permille #10250 seals: reseal 279 specs, frontier reuse 627 -> 756 permille | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 26 total
spec(t27mcp): seal_verdict -- the seal receipt of t27_spec (#10066) #10239 spec(t27mcp): seal_verdict -- the seal receipt of t27_spec (#10066) | Created: 2026-10-18 | Updated: 2026-10-18 | 4 failing / 30 total
spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Refs #8883, #8884) #10175 spec(port): land the remaining CR-CHAT ring batch -- 18 targets (Refs #8883, #8884) | Created: 2026-10-18 | Updated: 2026-10-18 | 3 failing / 32 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) #10056 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/reset_queue.t27 (Closes #9743) | Created: 2026-10-17 | Updated: 2026-10-17 | 30 failing / 55 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) #10022 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/smoke_agent.t27 (Closes #9714) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) #10015 spec(port): port specs/port/trios-railway/crates/trios-igla-race/src/bin/debug_queue.t27 (Closes #9704) | Created: 2026-10-17 | Updated: 2026-10-17 | 4 failing / 29 total
t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-15 | 3 failing / 33 total
spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-17 | 3 failing / 33 total
Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 #9549 Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 #9548 Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 #9484 Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 #9463 Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 #9427 Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ #9426 Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 #9407 Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf #9345 Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 #9340 chore(deps)(deps): Bump tower-http from 0.6.8 to 0.7.1 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 39 total
chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 #9339 chore(deps)(deps): Bump futures-util from 0.3.32 to 0.3.34 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 #9338 chore(deps)(deps): Bump hyper from 1.11.1 to 1.12.0 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 #9337 chore(deps)(deps): Bump uuid from 1.26.1 to 1.28.0 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 #9336 chore(deps)(deps): Bump tokio from 1.53.1 to 1.53.2 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 36 total
Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t #9321 Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth #9263 Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth | Created: 2026-10-12 | Updated: 2026-10-12 | 7 failing / 29 total
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 / 26 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/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 | 6 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 | 6 failing / 29 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 | 5 failing / 32 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-12 | 7 failing / 30 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-12 | 3 failing / 40 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
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-17 | 3 failing / 31 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-18 | 4 failing / 30 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-12 | 6 failing / 30 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 | 9 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-12 | 7 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-12 | 3 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 | 5 failing / 32 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-12 | 6 failing / 32 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-12 | 6 failing / 33 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 | 5 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-12 | 11 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-12 | 2 failing / 31 total

Summary

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

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

Seal Status

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

…ithout a review (Closes #10272) (#10273) Auto-merge took #10270 in 90 s after the push, with REVIEW_ID still a placeholder. Both files return to df8b1d5: 1 published, 17 verified, 8 drafts, 1 gap; 61%. Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag and others added 2 commits October 18, 2026 13:30

spec(igla): own_model -- REVIEW_PR names #10270, the PR that carries …

561c660

…the review (Closes #10269) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag enabled auto-merge (squash) October 18, 2026 06:32

gHashTag merged commit 043cdea into master Oct 18, 2026
26 of 29 checks passed

This was referenced Oct 18, 2026

spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified #10269

Closed

spec(igla): own_model -- put the seven DELIVER cells to review, auto-merge off (Closes #10269) #10275

Merged

Navigation Menu

Repository navigation

spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified (Closes #10269) - #10270

spec(igla): own_model -- the seven DELIVER cells reviewed, 3 published / 22 verified (Closes #10269)#10270
gHashTag merged 2 commits into
masterfrom
spec/own-model-reviewed-flip

gHashTag commented Oct 18, 2026

Uh oh!

github-actions Bot commented Oct 18, 2026

Uh oh!

github-actions Bot commented Oct 18, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 18, 2026

What changes

Why this PR carries its own review

Verified on the Railway lab

Uh oh!

github-actions Bot commented Oct 18, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 18, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant