Four workflows are red on master, and the window that hid it

[gHashTag]

Refs #2762, #2783

Four skill sections and the NOW entry for #2783.

• 179 — a --limit on a run list is a time window in disguise. gh run list --branch master --limit 60 returned all-green; that window spanned 2 hours 28 minutes. Five days: 940 success / 60 failure across 40 workflows, with nine whose most recent master run is a failure.
• 180 — the gate that gates master printed GATE FAILURES: 42 and returned success. Any number a gate prints and does not compare against something is decoration. Fixed in #2784.
• 181 — a test and the change it covers are one unit. I committed a conformance case and left its fix uncommitted; on master the case tested a fix that was not there and parse-conform exited 1 while every PR check stayed green.
• 182 — "the tree is clean" is a reading with a timestamp. Verify the binary at the moment you measure, not the tree some commands ago.

🤖 Generated with Claude Code

[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.

[github-actions]

PR Dashboard

Generated at: 2026-08-29 06:37:19 UTC

• Four workflows are red on master, and the window that hid it #2786 Four workflows are red on master, and the window that hid it | Created: 2026-08-29 | Updated: 2026-08-29 | 17 failing / 21 total
• A body may open with a call — and a clause keyword is not one #2785 A body may open with a call — and a clause keyword is not one | Created: 2026-08-29 | Updated: 2026-08-29 | 0 failing / 34 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-08-27 | 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
• Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-20 | 5 failing / 27 total

Summary

Status	Count
Total Open PRs	9
PRs with Failing Checks	7
PRs with All Checks Green	2
READY	1
FAILING	7
PENDING	0

Seal Status

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