spec(queen): one task view and the bees on it, for the board and the game (Closes #7721) by gHashTag · Pull Request #7722 · gHashTag/t27

gHashTag · 2026-10-08T07:29:30Z

Slice 1 of #7718: specs/queen/tasks.t27 adds the task kinds and one lifecycle (numbered as the board columns, plus failed). It also defines job_state, review_state, a2a_state, bee_state (queued, working or quiet) and task_matches, the kind/state mask filter that the route, board and game share.

Measured

gen-c with -DT27_TEST_MAIN: All 4 tests passed.
tri mutate spec: 49 of 49 killed.

🤖 Generated with Claude Code

…game (Closes #7721) Slice 1 of #7718. Every kind of task kept its own codes, and no public field said which bee is on which issue, so the game drew no bees. tasks.t27 defines: - task kinds (issue, review, job); - one lifecycle numbered as the board columns, plus failed; - job_state and review_state, mapping each kind's own states into it; - a2a_state, ready for the A2A edge; - bee_state: queued, working or quiet after BEE_QUIET_SECONDS; - task_matches, the one kind/state mask filter that the route, the board and the game all apply. Measured: - gen-c with -DT27_TEST_MAIN: All 4 tests passed. - tri mutate spec: 49 of 49 killed. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-08T07:39:31Z

PR Dashboard

Generated at: 2026-10-08 07:39:22 UTC

t27b: a local bound to a void fn's result runs the call and holds void's value, from a t27 plan (Closes #7690) #7725 t27b: a local bound to a void fn's result runs the call and holds void's value, from a t27 plan (Closes #7690) | Created: 2026-10-08 | Updated: 2026-10-08 | 25 failing / 31 total
t27c run-record: --receipts <dir> and --json <path>, so the Chip tab shows t27c's own judgment (Closes #7723) #7724 t27c run-record: --receipts and --json , so the Chip tab shows t27c's own judgment (Closes t27c run-record: --receipts <dir> and --json <path>, so the Chip tab shows t27c's own judgment #7723) | Created: 2026-10-08 | Updated: 2026-10-08 | 20 failing / 38 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 | 7 failing / 35 total
Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 #7709 Port scripts/gen_w328.py (Python, 1 function) to specs/port/scripts/gen_w328.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 #7708 Port fpga/verilog/gft_sadd_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_sadd_jtag.t27 | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy #7707 Port gHashTag/trinity:fpga/openxc7-synth/quantum_bridge_zero.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-sy | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri #7689 Port gHashTag/trinity:src/tri/author_attribution_guard.zig (Zig, 2 functions) to specs/port/trinity/src/tri/author_attri | Created: 2026-10-08 | Updated: 2026-10-08 | 2 failing / 29 total
fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) #7659 fpga: four specs parse to the end -- gherkin constructs the parser discards, rewritten in-file (Refs #2474, Refs gHashTag/trinity#1484) | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 37 total
Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs #7644 Port gHashTag/trinity:src/vibeec/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity/src/vibeec/bogatyrs | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- #7643 Port gHashTag/trios:crates/trios-mcp/rings/SR-01/src/audits_new.rs (Rust, 4 functions) to specs/port/trios/crates/trios- | Created: 2026-10-08 | Updated: 2026-10-08 | 3 failing / 29 total
fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) #7626 fpga: RGMII timing arithmetic and Ethernet FCS specs (for the buses course) | Created: 2026-10-07 | Updated: 2026-10-08 | 0 failing / 2 total
Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity #7624 Port gHashTag/trinity:src/phi-engine/vibeec_original/bogatyrs_spec_structure.zig (Zig, 1 function) to specs/port/trinity | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t #7623 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-05/src/envelope_size_distribution_uniformity.rs (Rust, 1 function) t | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 31 total
Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 #7613 Implement the 1 empty function body in specs/test_framework/graph_drift_detection.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 #7612 Port fpga/verilog/gft_dup_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_dup_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) #7586 fpga(cdc): mmcm, reset_sync and mtbf as t27 specs (Closes #7585) | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 39 total
Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po #7582 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-04/src/padding_metadata_leak_guard.rs (Rust, 1 function) to specs/po | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) #7579 fpga(coverage): line, toggle and FSM coverage as a t27 spec (Closes #7578) | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 #7568 Port scripts/gen_w376.py (Python, 1 function) to specs/port/scripts/gen_w376.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ #7567 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/queen-pool.ts (TypeScript, 3 functions) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) #7566 ci: test only the specs a change can affect -- t27c use-edges feeds specs/ci/affected.t27 (Closes #7565) | Created: 2026-10-07 | Updated: 2026-10-08 | 4 failing / 40 total
Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 #7555 Port scripts/gen_w369.py (Python, 1 function) to specs/port/scripts/gen_w369.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 #7554 Port scripts/gen_w372.py (Python, 1 function) to specs/port/scripts/gen_w372.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 29 total
Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 #7553 Port gHashTag/trinity:src/depin/swarm_watch.zig (Zig, 2 functions) to specs/port/trinity/src/depin/swarm_watch.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 #7552 Port gHashTag/trios:tools/acm_ae_check/src/main.rs (Rust, 1 function) to specs/port/trios/tools/acm_ae_check/src/main.t2 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 #7540 Port fpga/verilog/gft_kat_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_kat_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da #7539 Port gHashTag/trios:crates/trios-trainer/src/data.rs (Rust, 7 functions) to specs/port/trios/crates/trios-trainer/src/da | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 29 total
t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) #7530 t27b: which calls lower as the .len field, decided by lencall.t27 (Closes #7524) | Created: 2026-10-07 | Updated: 2026-10-07 | 2 failing / 40 total
spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things #7496 spec(numeric,math): the GoldenFloat lesson specs compile clean and say only true things | Created: 2026-10-07 | Updated: 2026-10-07 | 8 failing / 30 total
fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) #7495 fix(gen-c): a local nested array is declared as a C matrix (Closes #7441) | Created: 2026-10-07 | Updated: 2026-10-08 | 6 failing / 41 total
specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) #7491 specs(port trios, browseros): unify LockGuard; rename 11 port-only types (Closes #7486) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) #7490 specs(port compiler): unify AssembledInstr, LinkSection, LinkedSymbol, HirBoardResources; rename AsmSection, HwType (Closes #7485) | Created: 2026-10-07 | Updated: 2026-10-08 | 3 failing / 30 total
t27b: module vars that hold a string or start undefined (Closes #7448) #7470 t27b: module vars that hold a string or start undefined (Closes #7448) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 45 total
t27b: @setEvalBranchQuota is a compile-time no-op, 823 -> 825 (Closes #7410) #7459 t27b: @setEvalBranchQuota is a compile-time no-op, 823 -> 825 (Closes #7410) | Created: 2026-10-07 | Updated: 2026-10-08 | 8 failing / 37 total
t27b: a test local named for a module var (Closes #7668) #7447 t27b: a test local named for a module var, and a test that writes a local it declared (Closes #7422) | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 45 total
t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) #7436 t27core: for over one range and switch as a value, byte-identical to gen-c (Closes #7429) | Created: 2026-10-07 | Updated: 2026-10-07 | 10 failing / 47 total
t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) #7421 t27c: refuse a malformed number literal by name, read 0o as octal (Closes #7319, Closes #2645) | Created: 2026-10-07 | Updated: 2026-10-07 | 14 failing / 43 total
specs: layernorm, wrapup-auto and ternary_mac_synth test what they claim (Closes #7404) #7418 specs: layernorm, wrapup-auto and ternary_mac_synth test what they claim (Closes #7404) | Created: 2026-10-07 | Updated: 2026-10-08 | 11 failing / 32 total
specs(trios-mesh packet): serialise takes a slice, as the source's buffer has a length (Closes #7413) #7414 specs(trios-mesh packet): serialise takes a slice, as the source's buffer has a length (Closes #7413) | Created: 2026-10-07 | Updated: 2026-10-08 | 8 failing / 39 total
gen-c: run defer at every exit of its block (Closes #7352) #7406 gen-c: run defer at every exit of its block (Closes #7352) | Created: 2026-10-07 | Updated: 2026-10-07 | 36 failing / 42 total
tri: test runs the tests; mutate plant names what a one-line mutant turns red #7400 tri: test runs the tests; mutate plant names what a one-line mutant turns red | Created: 2026-10-07 | Updated: 2026-10-07 | 4 failing / 37 total
t27b: an array length written as a constant expression (Closes #7347) #7382 t27b: an array length written as a constant expression (Closes #7347) | Created: 2026-10-07 | Updated: 2026-10-07 | 12 failing / 42 total
Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 #7335 Port scripts/gen_w370.py (Python, 1 function) to specs/port/scripts/gen_w370.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 7 failing / 29 total
Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 #7333 Port fpga/verilog/gft_signed_mac_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_signed_mac_jtag.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 0 failing / 1 total
t27c gen-c: size_t range counter, refuse an integer switch without else (Closes #7307, Closes #7308) #7331 t27c gen-c: size_t range counter, refuse an integer switch without else (Closes #7307, Closes #7308) | Created: 2026-10-07 | Updated: 2026-10-08 | 4 failing / 41 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp #7286 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/tools/acl/acl-edit-distance.ts (TypeScript, 1 function) to sp | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse #7285 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/browser/dom.ts (TypeScript, 3 functions) to specs/port/browse | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 30 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows #7284 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/lib/db/index.ts (TypeScript, 4 functions) to specs/port/brows | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 30 total
Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 #7280 Port scripts/gen_w375.py (Python, 1 function) to specs/port/scripts/gen_w375.t27 | Created: 2026-10-07 | Updated: 2026-10-07 | 3 failing / 29 total
Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ #7279 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/routes/credits.ts (TypeScript, 1 function) to specs/port/ | Created: 2026-10-07 | Updated: 2026-10-07 | 5 failing / 30 total

Summary

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

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

Seal Status

⚠️ STALE -- sha256(compiler.rs)=39fa3908f9fd != manifest seal=87e5cbd3ad94.
The committed NMSE numbers were certified against an older compiler.rs.
Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

gHashTag enabled auto-merge (squash) October 8, 2026 07:29

gHashTag merged commit 3a101a6 into master Oct 8, 2026
27 of 28 checks passed

gHashTag mentioned this pull request Oct 8, 2026

feat(queen): every task and the bees on them, at /queen/public-tasks gHashTag/BrowserOS#547

Merged

This was referenced Oct 8, 2026

spec(queen): the event log as a bus, a cursor that loses nothing (Closes #7789) #7800

Merged

spec(queen): how the game draws the swarm (Closes #7820) #7821

Merged

Navigation Menu

Repository navigation

spec(queen): one task view and the bees on it, for the board and the game (Closes #7721) - #7722

spec(queen): one task view and the bees on it, for the board and the game (Closes #7721)#7722
gHashTag merged 1 commit into
masterfrom
spec/queen-tasks

gHashTag commented Oct 8, 2026

Uh oh!

Uh oh!

github-actions Bot commented Oct 8, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 8, 2026

Measured

Uh oh!

Uh oh!

github-actions Bot commented Oct 8, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants