Answer "nothing to check" before "the tool is missing"

[gHashTag]

Refs #2161

#2746 put the compiler requirement ahead of the empty-tree check, so a tree with no seals answered

check_seal_coverage: the compiler is not built

which is true, and is not the diagnosis. With no seals there is nothing to recompute, and the file already had the right answer: FAIL: no seals found at all -- the path is wrong, not the tree.

check_gate_preconditions.py hands every gate in its table an empty tree and asks what it says. It caught this on the commit after #2746 — the loud-failure gate doing exactly its job, one merge after I gave this one a way to lie.

Controls

empty tree           -> exit 1, "no seals found at all"
gen_hash corrupted   -> exit 1, gen-drift
compiler absent      -> exit 2, says so
clean tree           -> exit 0
--self-check         -> exit 0
check_gate_preconditions.py + --self-check -> exit 0

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-08-28 01:05:14 UTC

• Answer "nothing to check" before "the tool is missing" #2750 Answer "nothing to check" before "the tool is missing" | Created: 2026-08-28 | Updated: 2026-08-28 | 16 failing / 21 total
• A theorem about an empty module may not multiply #2749 A theorem about an empty module may not multiply | Created: 2026-08-28 | Updated: 2026-08-28 | 2 failing / 33 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-27 | 2 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-27 | 2 failing / 34 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-27 | 2 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-27 | 2 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-27 | 2 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	8
PRs with All Checks Green	1
READY	0
FAILING	8
PENDING	0

Seal Status

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