skill: the gate's blindness was its bypass

[gHashTag]

Closes #3338

Section 595, from #3336. A required context whose whole body was echo "Checking repository freshness..." asserted nothing — and also exempted every bot pull request from a requirement it could not enforce. Only the first was ever noticed, because an exemption produced by blindness looks exactly like no exemption being needed.

IS_BOT occurrences / conditional steps
  now-sync-gate.yml        6 / 5
  issue-gate.yml           3 / 2
  check-now-freshness.yml  0 / 0        <- the required context `check`

When you give an empty gate real work, ask what its emptiness was covering. If two of three siblings carry an exemption and the third does not, the third is not simpler — it is younger.

Proven end to end: after the port all eight bot PRs report check = SUCCESS and the three that were red are mergeable.

The closing line cost a rewrite and is worth its space: this section was first written into an unquoted heredoc, so every backtick ran as a command substitution and the code spans were eaten — one printed command not found: check.

[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-09-05 19:51:49 UTC

• loop: a claim, because two sessions took the same three tasks #3332 loop: a claim, because two sessions took the same three tasks | Created: 2026-09-05 | Updated: 2026-09-05 | 0 failing / 37 total
• skill: spool four lessons from this pass #3327 skill: spool four lessons from this pass | Created: 2026-09-05 | Updated: 2026-09-05 | 1 failing / 28 total
• ci(release): drop a dispatch that can only fail #3325 ci(release): drop a dispatch that can only fail | Created: 2026-09-05 | Updated: 2026-09-05 | 0 failing / 28 total
• compiler: two frozen tests get the anchor their region needed #3317 compiler: two frozen tests get the anchor their region needed | Created: 2026-09-05 | Updated: 2026-09-05 | 0 failing / 38 total
• ci: zero checks is not zero failures, on the path that merges #3314 ci: zero checks is not zero failures, on the path that merges | Created: 2026-09-05 | Updated: 2026-09-05 | 0 failing / 28 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-05 | 0 failing / 30 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-05 | 0 failing / 28 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-05 | 2 failing / 30 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
• 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	15
PRs with Failing Checks	8
PRs with All Checks Green	7
READY	6
FAILING	8
PENDING	0

Seal Status

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