AGENTS.md: brand visual -- formulas orbit the 27-petal logo (Closes #11372)

[gHashTag]

Closes #11372. Adds the section "Brand visual: the owner's formulas orbit the 27-petal logo" to AGENTS.md: formulas from formula_registry.t27 / pellis-formulas.t27 only (VERIFIED, with their error), the orbit as one .t27 law for site, T27 OS and FPGA, calm and legible, a formula card on click.

Generated with Claude Code (https://claude.com/claude-code)

[github-actions]

PR Dashboard

Generated at: 2026-10-20 12:44:24 UTC

• t27b verilog rung 1: T27 OS decision specs lower to RTL (Closes #11375) #11376 t27b verilog rung 1: T27 OS decision specs lower to RTL (Closes #11375) | Created: 2026-10-20 | Updated: 2026-10-20 | 17 failing / 38 total
• T27 OS tools: registries, tri golden (own git), skills (Closes #11358) #11359 T27 OS tools: registries, tri golden (own git), skills (Closes #11358) | Created: 2026-10-20 | Updated: 2026-10-20 | 7 failing / 44 total
• spec(ternary): pipelined dot27 -- five-stage on_clock pipeline for the 27-trit dot product (Closes #11242) #11245 spec(ternary): pipelined dot27 -- five-stage on_clock pipeline for the 27-trit dot product (Closes #11242) | Created: 2026-10-20 | Updated: 2026-10-20 | 4 failing / 36 total
• spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) #11244 spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 47 total
• feat(t27os): key manager, KEYS tab, per-pane profile, router decisions (Refs #10782) #11228 feat(t27os): key manager, KEYS tab, per-pane profile, router decisions (Refs #10782) | Created: 2026-10-20 | Updated: 2026-10-20 | 0 failing / 36 total
• spec(gen_w876): port scripts/gen_w876.py to specs/port/scripts/gen_w876.t27 #11191 spec(gen_w876): port scripts/gen_w876.py to specs/port/scripts/gen_w876.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w875): port scripts/gen_w875.py to specs/port/scripts/gen_w875.t27 #11190 spec(gen_w875): port scripts/gen_w875.py to specs/port/scripts/gen_w875.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w874): port scripts/gen_w874.py to specs/port/scripts/gen_w874.t27 #11189 spec(gen_w874): port scripts/gen_w874.py to specs/port/scripts/gen_w874.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w873): port scripts/gen_w873.py to specs/port/scripts/gen_w873.t27 #11188 spec(gen_w873): port scripts/gen_w873.py to specs/port/scripts/gen_w873.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w872): port scripts/gen_w872.py to specs/port/scripts/gen_w872.t27 #11187 spec(gen_w872): port scripts/gen_w872.py to specs/port/scripts/gen_w872.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w871): port scripts/gen_w871.py to specs/port/scripts/gen_w871.t27 #11186 spec(gen_w871): port scripts/gen_w871.py to specs/port/scripts/gen_w871.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w870): port scripts/gen_w870.py to specs/port/scripts/gen_w870.t27 #11185 spec(gen_w870): port scripts/gen_w870.py to specs/port/scripts/gen_w870.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w869): port scripts/gen_w869.py to specs/port/scripts/gen_w869.t27 #11184 spec(gen_w869): port scripts/gen_w869.py to specs/port/scripts/gen_w869.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
• Trinity GitHub App: install -> t27o workflow -> golden-spec PRs, plus the golden criteria in .t27 #11154 Trinity GitHub App: install -> t27o workflow -> golden-spec PRs, plus the golden criteria in .t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 36 total
• spec(gen_w861): port scripts/gen_w861.py to specs/port/scripts/gen_w861.t27 #11093 spec(gen_w861): port scripts/gen_w861.py to specs/port/scripts/gen_w861.t27 | Created: 2026-10-19 | Updated: 2026-10-20 | 3 failing / 36 total
• spec(gen_w862): port scripts/gen_w862.py to specs/port/scripts/gen_w862.t27 #11091 spec(gen_w862): port scripts/gen_w862.py to specs/port/scripts/gen_w862.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
• spec(gen_w863): port scripts/gen_w863.py to specs/port/scripts/gen_w863.t27 #11090 spec(gen_w863): port scripts/gen_w863.py to specs/port/scripts/gen_w863.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
• spec(gen_w864): port scripts/gen_w864.py to specs/port/scripts/gen_w864.t27 #11089 spec(gen_w864): port scripts/gen_w864.py to specs/port/scripts/gen_w864.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
• spec(gen_w865): port scripts/gen_w865.py to specs/port/scripts/gen_w865.t27 #11088 spec(gen_w865): port scripts/gen_w865.py to specs/port/scripts/gen_w865.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
• spec(gen_w866): port scripts/gen_w866.py to specs/port/scripts/gen_w866.t27 #11087 spec(gen_w866): port scripts/gen_w866.py to specs/port/scripts/gen_w866.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
• spec(gen_w867): port scripts/gen_w867.py to specs/port/scripts/gen_w867.t27 #11086 spec(gen_w867): port scripts/gen_w867.py to specs/port/scripts/gen_w867.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
• fix(t27os): panes no longer inherit a Claude Code host session's environment #11029 fix(t27os): panes no longer inherit a Claude Code host session's environment | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
• fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table #11015 fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
• spec(ternary): trit codon -- perfect [4,2,3] Hamming code over GF(3), base-3 and wire forms (Closes #10969) #10970 spec(ternary): trit codon -- perfect [4,2,3] Hamming code over GF(3), base-3 and wire forms (Closes #10969) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
• fpga: T27 OS over UART on the AX7203 (feasibility + shell spec) (Refs #10782) #10949 fpga: T27 OS over UART on the AX7203 (feasibility + shell spec) (Refs #10782) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 45 total
• feat(igla): hslm_bwd_ptx kernel 3 -- split-K dW, 4.2-4.9x faster than kernel 2 at K=1782 (Closes #10895) #10914 feat(igla): hslm_bwd_ptx kernel 3 -- split-K dW, 4.2-4.9x faster than kernel 2 at K=1782 (Closes #10895) | Created: 2026-10-19 | Updated: 2026-10-19 | 8 failing / 46 total
• feat(t27b): build record -- skip a build when nothing that feeds the object changed; --force #10890 feat(t27b): build record -- skip a build when nothing that feeds the object changed; --force | Created: 2026-10-19 | Updated: 2026-10-19 | 6 failing / 40 total
• igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) #10836 igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) | Created: 2026-10-19 | Updated: 2026-10-19 | 6 failing / 40 total
• spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) #10802 spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 37 total
• queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) #10591 queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) | Created: 2026-10-18 | Updated: 2026-10-19 | 1 failing / 38 total
• claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) #10572 claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) | Created: 2026-10-18 | Updated: 2026-10-19 | 1 failing / 31 total
• queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) #10567 queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) | Created: 2026-10-18 | Updated: 2026-10-19 | 1 failing / 38 total
• claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still #10548 claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still | Created: 2026-10-18 | Updated: 2026-10-19 | 0 failing / 28 total
• fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) #10481 fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) | Created: 2026-10-18 | Updated: 2026-10-18 | 2 failing / 46 total
• fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename #10464 fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 48 total
• igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) #10456 igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 46 total
• check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-18 | 5 failing / 44 total
• demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) #10381 demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 33 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

Summary

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

These columns do not partition: 2 + 47 + 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)=5aec047d42ec != 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).