Implement the 4 empty function bodies in specs/tri/utils/random.t27

[gHashTag]

Work the Queen accepted on , closed as gHashTag/trios#3826, and never merged.\n\nMeasured 2026-09-04: 174 branches on the remote and FIVE contained in . The other 169 all carry a real diff. A closed issue whose code is not in the branch is a false statement about the repository, and the loop had been making 169 of them.\n\nMerges cleanly against the current base, checked with before this PR was opened.

Closes #3826

[github-actions]

PR Dashboard

Generated at: 2026-09-16 14:56:57 UTC

• Implement the 6 empty function bodies in specs/tri/trees/tree.t27 #3872 Implement the 6 empty function bodies in specs/tri/trees/tree.t27 | Created: 2026-09-16 | Updated: 2026-09-16 | 25 failing / 28 total
• Implement the 3 empty function bodies in specs/tri/utils/color.t27 #3871 Implement the 3 empty function bodies in specs/tri/utils/color.t27 | Created: 2026-09-16 | Updated: 2026-09-16 | 24 failing / 28 total
• Implement the 4 empty function bodies in specs/tri/utils/random.t27 #3870 Implement the 4 empty function bodies in specs/tri/utils/random.t27 | Created: 2026-09-16 | Updated: 2026-09-16 | 23 failing / 29 total
• Implement the 3 empty function bodies in specs/tri/utils/terminal.t27 #3869 Implement the 3 empty function bodies in specs/tri/utils/terminal.t27 | Created: 2026-09-16 | Updated: 2026-09-16 | 19 failing / 29 total
• Implement the 5 empty function bodies in specs/tri/utils/time.t27 #3868 Implement the 5 empty function bodies in specs/tri/utils/time.t27 | Created: 2026-09-16 | Updated: 2026-09-16 | 15 failing / 30 total
• specs: bind every tool and skill to the Queen, and name a domain lead #3833 specs: bind every tool and skill to the Queen, and name a domain lead | Created: 2026-09-15 | Updated: 2026-09-15 | 4 failing / 30 total
• agent-provider-chain: probe 4 of the reserve, 402 with max_tokens bounded #3683 agent-provider-chain: probe 4 of the reserve, 402 with max_tokens bounded | Created: 2026-09-15 | Updated: 2026-09-15 | 0 failing / 30 total
• specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 #3593 specs/automation: inngest-functions-status.t27 (lastRun без проб, lastProbe отдельно) + inngest-probe-suite VERSION 2 | Created: 2026-09-13 | Updated: 2026-09-13 | 5 failing / 30 total
• fix(ci): make the JSON gate strict, and make the one file it refuses legal #3395 fix(ci): make the JSON gate strict, and make the one file it refuses legal | Created: 2026-09-07 | Updated: 2026-09-07 | 0 failing / 30 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-09-06 | 5 failing / 32 total
• chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 #3001 chore(ci)(deps): bump actions/attest-build-provenance from 1 to 4 | Created: 2026-09-01 | Updated: 2026-09-14 | 1 failing / 31 total
• chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 #3000 chore(ci)(deps): bump softprops/action-gh-release from 2 to 3 | Created: 2026-09-01 | Updated: 2026-09-14 | 1 failing / 29 total
• chore(ci)(deps): bump github/codeql-action from 3 to 4 #2999 chore(ci)(deps): bump github/codeql-action from 3 to 4 | Created: 2026-09-01 | Updated: 2026-09-14 | 1 failing / 31 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-09-05 | 5 failing / 24 total
• chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 #2693 chore(deps)(deps): bump thiserror from 2.0.18 to 2.0.20 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 #2692 chore(deps)(deps): bump hyper from 1.10.1 to 1.11.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 33 total
• chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 #2691 chore(deps)(deps): bump base64 from 0.22.1 to 0.23.1 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 #2690 chore(deps)(deps): bump serde from 1.0.228 to 1.0.229 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total
• chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 #2689 chore(deps)(deps): bump uuid from 1.23.2 to 1.25.0 | Created: 2026-08-24 | Updated: 2026-08-28 | 3 failing / 34 total

Summary

Status	Count
Total Open PRs	19
PRs with Failing Checks	13
PRs with All Checks Green	6
READY	2
FAILING	13
PENDING	0
NO CHECKS YET	0

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

Seal Status

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

[gHashTag]

Compiles no worse than before, but still does not compile

tri/utils/random.zig: expected type '*tri.utils.random.Rng', found 'tri.utils.random.Rng'

The same failure is present on master, so this branch is not the cause and is not being held responsible for it. Recording it because the spec still does not produce runnable code: a method taking *Rng is being called with a value.

Reproduce: queen witness specs/tri/utils/random.t27