Implement the 1 empty function body in specs/ml/transformer/multi_head_attention.t27

[gHashTag]

Closes #3964

Opened from the bee branch queen-3964, which was pushed but never turned into a pull request. Every changed path is inside the boundary the issue declares:

• specs/ml/transformer/multi_head_attention.t27

The acceptance criteria are structural and were checked by the swarm, not by a human; the review-side oracle is what decides whether the generated code compiles and passes its tests.

[github-actions]

PR Dashboard

Generated at: 2026-09-17 12:07:16 UTC

• ci: concurrency groups for ten gates that queued a run per merge #4250 ci: concurrency groups for ten gates that queued a run per merge | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 27 total
• A function without a body is fn sig { }, not fn sig; (3 specs now generate) #4248 A function without a body is fn sig { }, not fn sig; (3 specs now generate) | Created: 2026-09-17 | Updated: 2026-09-17 | 28 failing / 32 total
• Regenerate the oracle baseline from master (189), and stop counting failed generations as passes #4235 Regenerate the oracle baseline from master (189), and stop counting failed generations as passes | Created: 2026-09-17 | Updated: 2026-09-17 | 25 failing / 29 total
• Run the correctness oracle nightly in CI, and split what 'pass' means #4234 Run the correctness oracle nightly in CI, and split what 'pass' means | Created: 2026-09-17 | Updated: 2026-09-17 | 25 failing / 28 total
• Port part 2 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (2 function #4233 Port part 2 of 2 of tools/check_vector_data.py to specs/port/tools/check_vector_data.t27 (2 function | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Port part 2 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (1 fu #4232 Port part 2 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (1 fu | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/server/sse.t27 #4231 Implement the 1 empty function body in specs/server/sse.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/physics/chimera_best_gamma.t27 #4230 Implement the 1 empty function body in specs/physics/chimera_best_gamma.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 24 failing / 28 total
• Implement the 1 empty function body in specs/ml/transformer/positional_encoding.t27 #4229 Implement the 1 empty function body in specs/ml/transformer/positional_encoding.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 22 failing / 28 total
• Implement the 1 empty function body in specs/ml/transformer/multi_head_attention.t27 #4228 Implement the 1 empty function body in specs/ml/transformer/multi_head_attention.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 19 failing / 29 total
• Implement the 1 empty function body in specs/ml/transformer/feed_forward_network.t27 #4227 Implement the 1 empty function body in specs/ml/transformer/feed_forward_network.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 19 failing / 28 total
• Implement the 1 empty function body in specs/ml/recurrent/self_attention.t27 #4226 Implement the 1 empty function body in specs/ml/recurrent/self_attention.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 13 failing / 29 total
• Implement the 1 empty function body in specs/ml/optimizer/rmsprop.t27 #4225 Implement the 1 empty function body in specs/ml/optimizer/rmsprop.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 14 failing / 29 total
• Implement the 1 empty function body in specs/ml/optimizer/adam.t27 #4224 Implement the 1 empty function body in specs/ml/optimizer/adam.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 12 failing / 30 total
• Implement the 1 empty function body in specs/ml/loss/mse_loss.t27 #4223 Implement the 1 empty function body in specs/ml/loss/mse_loss.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 11 failing / 30 total
• Implement the 1 empty function body in specs/ml/loss/kl_divergence.t27 #4222 Implement the 1 empty function body in specs/ml/loss/kl_divergence.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/ml/loss/huber_loss.t27 #4221 Implement the 1 empty function body in specs/ml/loss/huber_loss.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/ml/loss/contrastive_loss.t27 #4220 Implement the 1 empty function body in specs/ml/loss/contrastive_loss.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/ml/layers/residual_connection.t27 #4219 Implement the 1 empty function body in specs/ml/layers/residual_connection.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 10 failing / 30 total
• Implement the 1 empty function body in specs/ml/layers/layernorm_layer.t27 #4218 Implement the 1 empty function body in specs/ml/layers/layernorm_layer.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/math/phi_split_optimality.t27 #4217 Implement the 1 empty function body in specs/math/phi_split_optimality.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/isa/ternary_control_flow.t27 #4216 Implement the 1 empty function body in specs/isa/ternary_control_flow.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/igla/race/ternary_inference.t27 #4215 Implement the 1 empty function body in specs/igla/race/ternary_inference.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/igla/coder/training.t27 #4214 Implement the 1 empty function body in specs/igla/coder/training.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 1 empty function body in specs/fpga/top_level.t27 #4213 Implement the 1 empty function body in specs/fpga/top_level.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 14 failing / 36 total
• Implement the 1 empty function body in specs/fpga/testbench/vcd_conformance_compare_tb.t27 #4212 Implement the 1 empty function body in specs/fpga/testbench/vcd_conformance_compare_tb.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 14 failing / 36 total
• Implement the 1 empty function body in specs/fpga/testbench/timing_tb.t27 #4211 Implement the 1 empty function body in specs/fpga/testbench/timing_tb.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 14 failing / 36 total
• Implement the 1 empty function body in specs/fpga/testbench/ternary_isa_tb.t27 #4210 Implement the 1 empty function body in specs/fpga/testbench/ternary_isa_tb.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 14 failing / 36 total
• Implement part 1 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (8 functions) #4209 Implement part 1 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (8 functions) | Created: 2026-09-17 | Updated: 2026-09-17 | 9 failing / 30 total
• Implement the 4 empty function bodies in specs/tri/utils/utf8.t27 #4183 Implement the 4 empty function bodies in specs/tri/utils/utf8.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 4 empty function bodies in specs/tri/utils/text.t27 #4182 Implement the 4 empty function bodies in specs/tri/utils/text.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 5 empty function bodies in specs/tri/utils/logging.t27 #4181 Implement the 5 empty function bodies in specs/tri/utils/logging.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 8 empty function bodies in specs/tri/utils/bytes.t27 #4179 Implement the 8 empty function bodies in specs/tri/utils/bytes.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 6 empty function bodies in specs/tri/trees/trie.t27 #4178 Implement the 6 empty function bodies in specs/tri/trees/trie.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 2 empty function bodies in specs/tri/sort/quick_sort.t27 #4165 Implement the 2 empty function bodies in specs/tri/sort/quick_sort.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 2 empty function bodies in specs/tri/search/knuth_morris_pratt.t27 #4158 Implement the 2 empty function bodies in specs/tri/search/knuth_morris_pratt.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 3 empty function bodies in specs/tri/net/net.t27 #4152 Implement the 3 empty function bodies in specs/tri/net/net.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 7 empty function bodies in specs/tri/net/http.t27 #4151 Implement the 7 empty function bodies in specs/tri/net/http.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 6 empty function bodies in specs/tri/math/statistics.t27 #4147 Implement the 6 empty function bodies in specs/tri/math/statistics.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 6 empty function bodies in specs/tri/math/polynomial.t27 #4146 Implement the 6 empty function bodies in specs/tri/math/polynomial.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 7 empty function bodies in specs/tri/math/matrix.t27 #4145 Implement the 7 empty function bodies in specs/tri/math/matrix.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 7 empty function bodies in specs/tri/io/filesystem.t27 #4139 Implement the 7 empty function bodies in specs/tri/io/filesystem.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 4 empty function bodies in specs/tri/graph/graph_bfs.t27 #4135 Implement the 4 empty function bodies in specs/tri/graph/graph_bfs.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 4 empty function bodies in specs/tri/graph/disjoint_set.t27 #4134 Implement the 4 empty function bodies in specs/tri/graph/disjoint_set.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 2 empty function bodies in specs/tri/encoding/msgpack.t27 #4133 Implement the 2 empty function bodies in specs/tri/encoding/msgpack.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 3 empty function bodies in specs/tri/encoding/json.t27 #4130 Implement the 3 empty function bodies in specs/tri/encoding/json.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 4 empty function bodies in specs/tri/encoding/csv.t27 #4129 Implement the 4 empty function bodies in specs/tri/encoding/csv.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• Implement the 4 empty function bodies in specs/tri/crypto/hex.t27 #4124 Implement the 4 empty function bodies in specs/tri/crypto/hex.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total
• specs/functions: render-job-run, morph-images-generate -- a failed delivery is not delivered #4123 specs/functions: render-job-run, morph-images-generate -- a failed delivery is not delivered | Created: 2026-09-17 | Updated: 2026-09-17 | 6 failing / 30 total
• Implement the 6 empty function bodies in specs/tri/crypto/base64.t27 #4120 Implement the 6 empty function bodies in specs/tri/crypto/base64.t27 | Created: 2026-09-17 | Updated: 2026-09-17 | 0 failing / 3 total

Summary

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

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

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=8932aae0c5a9 != 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]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.