feat(queen): the Queen's priority, decided in t27, and tri priority (Closes #6366) by gHashTag · Pull Request #6367 · gHashTag/t27

gHashTag · 2026-10-05T05:46:04Z

Closes #6366. Refs #6063.

What

specs/queen/priority.t27: the one home of the priority rule.
- Label vocabulary as str consts, one per level: CRITICAL P0,priority/critical,critical; HIGH P1,priority/high,high-priority; NORMAL P2,priority/medium; LOW P3,P4,priority/low.
- At most 3 criticals per listing; the rest run as HIGH.
- An open blocker (issue_dependencies_summary.blocked_by) skips the issue.
- Labelled work ages one level after 14 days, never to CRITICAL. Unlabelled work never ages, so a repository with no labels keeps today's order exactly.
- Ties go to GitHub's listing order.
- A why code per issue.
- 8 tests plus 1 invariant.
tri priority: read-only; prints today's listing order beside the priority order. It decides only through gen/c/queen/priority.c + ctypes, and reads the vocabulary from the same compiled file.
CI: loop-tools-gate step The Queen's priority is decided in t27. It runs the spec tests from the generated C, fixtures for every rule (including stokowski's "no priority sorted ahead of urgent"), and a reversed outranks as the mutation control.

Evidence

t27c test-report specs/queen/priority.t27: 8 pass, 0 fail. Negative control: a broken assert reports FAIL 1.
tri t27b gen-check --spec specs/queen/priority.t27 --gen gen/c/queen/priority.c: SAME 004ef75d1697 on the t27c lab.
python3 scripts/ci/test_the_queen_ranks_by_priority_t27.py: all three halves ok.
tri priority on gHashTag/t27: 858 open issues, 3 priority-labelled (Spec: the card-chat night watch -- open, comment, close or leave the regression issue (specs/automation/card-chat-night-watch.t27) #5701, Spec: the review jam -- which case a stuck pull request is in, and the Queen's action (specs/automation/review-jam.t27) #5700, EPIC: a kanban card opens its agent conversation -- history, mobile sheet, A2A on the same thread #5388), 0 blocked.

Design sources

A survey of Copilot coding agent, Devin, OpenHands, Cursor, Jira rank, the Kubernetes priority queue, Sidekiq and stokowski. None of them picks the next task for you. The failure modes guarded here: starvation, priority inflation, head-of-line blocking, and "no priority" sorting ahead of urgent.

Not here

The running supervisor (gHashTag/BrowserOS trios/agent-server) still ignores labels. It changes in its own PR, which the owner decides because merging there deploys production.
specs/queen/dispatch.t27 PRIORITY_RULE still describes the running Queen. It changes when that PR lands.

🤖 Generated with Claude Code

#6366) specs/queen/priority.t27 owns the rule: label vocabulary per level, a cap of 3 criticals, blocked issues skipped, one level of aging for labelled work, listing order as the tie-break. tri queue prints today's order beside it, deciding only through gen/c/queen/priority.c (gen-c SAME on the t27c lab). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-05T05:46:48Z

PR Dashboard

Generated at: 2026-10-05 05:46:42 UTC

feat(queen): the Queen's priority, decided in t27, and tri priority (Closes #6366) #6367 feat(queen): the Queen's priority, decided in t27, and tri queue (Closes #6366) | Created: 2026-10-05 | Updated: 2026-10-05 | 19 failing / 27 total
Port gHashTag/trinity:src/tri/string_dualities.zig (Zig, 3 functions) to specs/port/trinity/src/tri/string_dualities.t27 #6345 Port gHashTag/trinity:src/tri/string_dualities.zig (Zig, 3 functions) to specs/port/trinity/src/tri/string_dualities.t27 | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 25 total
Port part 2 of 2 of tools/wp18_gate_selfconsistent_selftest.py to specs/port/tools/wp18_gate_selfconsistent_selftest.t27 #6307 Port part 2 of 2 of tools/wp18_gate_selfconsistent_selftest.py to specs/port/tools/wp18_gate_selfconsistent_selftest.t27 | Created: 2026-10-04 | Updated: 2026-10-05 | 3 failing / 25 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-04/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #6276 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-04/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
fix(seals): re-seal runtime/process and kanban-card-chat (Closes #6256) #6257 fix(seals): re-seal runtime/process and kanban-card-chat (Closes #6256) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 24 total
Port scripts/tri_loop/t27b_rules.py (Python, 7 functions) to specs/port/scripts/tri_loop/t27b_rules.t27 #6252 Port scripts/tri_loop/t27b_rules.py (Python, 7 functions) to specs/port/scripts/tri_loop/t27b_rules.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-03/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #6238 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-03/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 #6208 Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 #6206 Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 25 total
Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 #6205 Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181 fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
fix(t27c): read a dotted module name and use path whole #6102 fix(t27c): read a dotted module name and use path whole | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 37 total
fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 7 total
docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-10-03 | 0 failing / 3 total
A "using" in prose became an import; and the per-spec delta check compared strings #5215 A "using" in prose became an import; and the per-spec delta check compared strings | Created: 2026-09-29 | Updated: 2026-10-03 | 10 failing / 42 total
Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure #5084 Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 45 total
Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus #5081 Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-03 | 0 failing / 3 total
Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it #4887 Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it | Created: 2026-09-27 | Updated: 2026-10-03 | 10 failing / 41 total
Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep #4801 Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope #4777 Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope | Created: 2026-09-24 | Updated: 2026-10-03 | 6 failing / 32 total
Generic type parameters dropped from the declaration and kept in the body: -23 errors #4745 Generic type parameters dropped from the declaration and kept in the body: -23 errors | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-03 | 7 failing / 32 total
Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-03 | 0 failing / 3 total
Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 31 total
Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) #4578 Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 32 total
Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 #4565 Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-03 | 7 failing / 32 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #4536 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Feed the swarm from CI, with fuel that does not run out #3978 Feed the swarm from CI, with fuel that does not run out | Created: 2026-09-17 | Updated: 2026-10-02 | 6 failing / 28 total
coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-10-02 | 5 failing / 32 total
Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-10-02 | 5 failing / 24 total

Summary

Status	Count
Total Open PRs	46
PRs with Failing Checks	34
PRs with All Checks Green	12
READY	11
FAILING	34
PENDING	0
NO CHECKS YET	0

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

Seal Status

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

#6366) scripts/tri_loop/queue.py shadowed the stdlib queue for every tool run from scripts/tri_loop (tri stranded failed: queue has no SimpleQueue). Renamed to priority.py. The shell census moved: run: steps 287->288 and runner-named 266->267, the one new step 'The Queen's priority is decided in t27'. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-05T05:54:44Z

PR Dashboard

Generated at: 2026-10-05 05:54:38 UTC

feat(t27b): array literals typed by their use #6370 feat(t27b): array literals typed by their use | Created: 2026-10-05 | Updated: 2026-10-05 | 8 failing / 32 total
feat(queen): the Queen's priority, decided in t27, and tri priority (Closes #6366) #6367 feat(queen): the Queen's priority, decided in t27, and tri priority (Closes #6366) | Created: 2026-10-05 | Updated: 2026-10-05 | 21 failing / 29 total
Port gHashTag/trinity:src/tri/string_dualities.zig (Zig, 3 functions) to specs/port/trinity/src/tri/string_dualities.t27 #6345 Port gHashTag/trinity:src/tri/string_dualities.zig (Zig, 3 functions) to specs/port/trinity/src/tri/string_dualities.t27 | Created: 2026-10-05 | Updated: 2026-10-05 | 2 failing / 25 total
Port part 2 of 2 of tools/wp18_gate_selfconsistent_selftest.py to specs/port/tools/wp18_gate_selfconsistent_selftest.t27 #6307 Port part 2 of 2 of tools/wp18_gate_selfconsistent_selftest.py to specs/port/tools/wp18_gate_selfconsistent_selftest.t27 | Created: 2026-10-04 | Updated: 2026-10-05 | 3 failing / 25 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-04/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #6276 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-04/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
fix(seals): re-seal runtime/process and kanban-card-chat (Closes #6256) #6257 fix(seals): re-seal runtime/process and kanban-card-chat (Closes #6256) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 24 total
Port scripts/tri_loop/t27b_rules.py (Python, 7 functions) to specs/port/scripts/tri_loop/t27b_rules.t27 #6252 Port scripts/tri_loop/t27b_rules.py (Python, 7 functions) to specs/port/scripts/tri_loop/t27b_rules.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
Port gHashTag/trios:crates/trios-scarab-types/rings/SR-03/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio #6238 Port gHashTag/trios:crates/trios-scarab-types/rings/SR-03/src/lib.rs (Rust, 6 functions) to specs/port/trios/crates/trio | Created: 2026-10-04 | Updated: 2026-10-04 | 3 failing / 25 total
Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 #6208 Port bootstrap/src/ternary/mod.rs (Rust, 3 functions) to specs/port/bootstrap/src/ternary/mod.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 #6206 Port tools/check_devhome_paths.py (Python, 6 functions) to specs/port/tools/check_devhome_paths.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 6 failing / 25 total
Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 #6205 Port tools/c_error_classes.py (Python, 6 functions) to specs/port/tools/c_error_classes.t27 | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 25 total
fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour #6181 fix(t27c): gen-c arithmetic traps where t27 traps, with no C undefined behaviour | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 3 total
fix(t27c): read a dotted module name and use path whole #6102 fix(t27c): read a dotted module name and use path whole | Created: 2026-10-04 | Updated: 2026-10-04 | 5 failing / 37 total
fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) #6073 fix(xilinx7): bitwalk prints usage and clean errors instead of panicking (Closes #6039) | Created: 2026-10-04 | Updated: 2026-10-04 | 2 failing / 25 total
self-host: give Gamma (agent C) a /self-host skill for epic #5980 #6057 self-host: give Gamma (agent C) a /self-host skill for epic #5980 | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 25 total
hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) #6011 hooks: pre-commit trusts a PATH tri only if it has hooks pre-commit (#6009) | Created: 2026-10-04 | Updated: 2026-10-04 | 0 failing / 25 total
ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) #5970 ci: every check is a .t27 card -- schema, generator, three pilots (P1 of #5933) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 30 total
fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) #5948 fpga: elaboration ratchet back to 176 -- ternary_isa (W459), uart (spec), adapter (NEW-clean) (Closes #5908) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 46 total
CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) #5924 CI: spec-guards and emit-bitexact restore master cargo caches; cancel superseded emit-bitexact runs (B25) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 32 total
ring-096 and formats.t27 agree on f32 (Closes #5746) #5921 ring-096 and formats.t27 agree on f32 (Closes #5746) | Created: 2026-10-04 | Updated: 2026-10-04 | 1 failing / 56 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) #5778 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-lane-credits.ts (TypeScript, 4 functions) | Created: 2026-10-03 | Updated: 2026-10-03 | 3 failing / 32 total
bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) #5777 bees/merger/publisher: reviewer bee as a service, merger reads discounted checks, publisher heading passes check (Closes #5776) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 3 total
fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) #5732 fix(tri): gates preview asks the contexts the ruleset requires, parse-ratchet among them (Closes #5725) | Created: 2026-10-03 | Updated: 2026-10-04 | 0 failing / 7 total
docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) #5610 docs(igla): re-take the corpus figures on master, 1150 specs (Refs #5497) | Created: 2026-10-02 | Updated: 2026-10-02 | 1 failing / 34 total
The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it #5452 The Queen's accept is the merge: dispatch.t27 says so, and its harness measures it | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 36 total
docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) #5413 docs(tri): mark the Solana tri-mining program and depin.prove rewards superseded by mint-on-acceptance (Closes #5412) | Created: 2026-10-01 | Updated: 2026-10-02 | 6 failing / 32 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp #5320 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/container/image-loader.ts (TypeScript, 2 functions) to sp | Created: 2026-09-30 | Updated: 2026-10-03 | 0 failing / 3 total
A "using" in prose became an import; and the per-spec delta check compared strings #5215 A "using" in prose became an import; and the per-spec delta check compared strings | Created: 2026-09-29 | Updated: 2026-10-03 | 10 failing / 42 total
Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure #5084 Auto-loop 2026-09-29: silent-discard parser family + loop infrastructure | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 45 total
Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus #5081 Carry wave-loop-898's stranded work: green lean 24/24 (fixes red lean CI), mcp registry spec, research corpus | Created: 2026-09-28 | Updated: 2026-10-02 | 10 failing / 36 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-03 | 0 failing / 3 total
Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it #4887 Seals: 0 of 1072 specs verify, 928 with an unchanged spec_hash — gate it or remove it | Created: 2026-09-27 | Updated: 2026-10-03 | 10 failing / 41 total
Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep #4801 Wave Loop 473 — compiler-backend aggregate tail / live cold-POR CCLK sweep | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope #4777 Bare for statements: 2 loops recovered, and 235 of the 240 sites I cited were out of scope | Created: 2026-09-24 | Updated: 2026-10-03 | 6 failing / 32 total
Generic type parameters dropped from the declaration and kept in the body: -23 errors #4745 Generic type parameters dropped from the declaration and kept in the body: -23 errors | Created: 2026-09-24 | Updated: 2026-10-03 | 0 failing / 3 total
Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-03 | 7 failing / 32 total
Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-03 | 7 failing / 32 total
Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-03 | 0 failing / 3 total
Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 31 total
Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) #4578 Port part 1 of 2 of tools/check_coq_in_build.py to specs/port/tools/check_coq_in_build.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-03 | 6 failing / 32 total
Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 #4565 Implement the 1 empty function body in specs/test_framework/verilog_bench_harness.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-03 | 7 failing / 32 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #4536 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-09-21 | Updated: 2026-10-03 | 0 failing / 3 total
Feed the swarm from CI, with fuel that does not run out #3978 Feed the swarm from CI, with fuel that does not run out | Created: 2026-09-17 | Updated: 2026-10-02 | 6 failing / 28 total
coq(CorePhi): replace proofs that were never checked by a compiler #3343 coq(CorePhi): replace proofs that were never checked by a compiler | Created: 2026-09-06 | Updated: 2026-10-02 | 5 failing / 32 total
Land the formal verification harness on master (it has never run) #2727 Land the formal verification harness on master (it has never run) | Created: 2026-08-27 | Updated: 2026-10-02 | 5 failing / 24 total

Summary

Status	Count
Total Open PRs	47
PRs with Failing Checks	34
PRs with All Checks Green	13
READY	11
FAILING	34
PENDING	0
NO CHECKS YET	0

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=8597b6ded596 != 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 Bot mentioned this pull request Oct 5, 2026

feat(t27b): array literals typed by their use #6370

Merged

gHashTag changed the title ~~feat(queen): the Queen's priority, decided in t27, and tri queue (Closes #6366)~~ feat(queen): the Queen's priority, decided in t27, and tri priority (Closes #6366) Oct 5, 2026

gHashTag mentioned this pull request Oct 5, 2026

feat(queen): take open issues in priority order (specs/queen/priority.t27) gHashTag/BrowserOS#534

Open

gHashTag merged commit 8a48dc6 into master Oct 5, 2026
27 of 29 checks passed

This was referenced Oct 5, 2026

tri priority --check: anomalies in priority labels; no loop tool may shadow a stdlib module #6378

Closed

feat(tri): priority --check reports label anomalies; no loop tool shadows stdlib (Closes #6378) #6379

Merged

Navigation Menu

feat(queen): the Queen's priority, decided in t27, and tri priority (Closes #6366) - #6367

feat(queen): the Queen's priority, decided in t27, and tri priority (Closes #6366)#6367
gHashTag merged 2 commits into
masterfrom
claude/queen-priority

gHashTag commented Oct 5, 2026 •

edited

Loading

Uh oh!

github-actions Bot commented Oct 5, 2026

Uh oh!

github-actions Bot commented Oct 5, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 5, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

What

Evidence

Design sources

Not here

Uh oh!

github-actions Bot commented Oct 5, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 5, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

gHashTag commented Oct 5, 2026 •

edited

Loading