fix(gates): read the pattern by vocabulary, not by how it spells a number

[gHashTag]

Closes #3393

cli-tri has been red on master since 17:59 — green at 92a19608c, red at 52db4aacb. That commit (#3388) rewrote issue-gate.yml to strip fenced blocks and quotes from the body before grepping, which is a correct change, and the test that reads that file has failed ever since.

Two independent breakages in one line, each sufficient alone.

The gate's line used to open with its grep, so the first single-quoted span was the pattern. It now opens with printf '%s\\n%s\\n' — the extractor took the first span, found no reference in it, and abandoned the line instead of looking further along it. Taking the first span was never the rule; it was the first span happening to be the only one.

The line filter matched on #[0-9]+, which #3388 tightened to #[1-9][0-9]* to reject #0. The line then matched nothing, and the extractor reported that the gate states no pattern at all — which is what the test's expect panicked on.

Anchored on the gate's vocabulary (Closes?) rather than on how it spells a number: a number's spelling is the part of a pattern most likely to be tightened, and the keyword list is the part that identifies it. Every quoted span on the line is scanned.

824 tests pass. Mutation: breaking the vocabulary inside issue-gate.yml reddens the test, so it still reads the file it claims to read.

[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-06 18:14:21 UTC

• fix(gates): read the pattern by vocabulary, not by how it spells a number #3394 fix(gates): read the pattern by vocabulary, not by how it spells a number | Created: 2026-09-06 | Updated: 2026-09-06 | 24 failing / 28 total
• ci(now-gate): the frozen archive is declared, not detected #3390 ci(now-gate): the frozen archive is declared, not detected | Created: 2026-09-06 | Updated: 2026-09-06 | 1 failing / 28 total
• fix(rust): a function type is a type alias, not a const's value #3365 fix(rust): a function type is a type alias, not a const's value | Created: 2026-09-06 | Updated: 2026-09-06 | 0 failing / 38 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
• ci(coq): report all thirteen files instead of stopping at the first error #3342 ci(coq): report all thirteen files instead of stopping at the first error | Created: 2026-09-06 | Updated: 2026-09-06 | 3 failing / 30 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
• 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-06 | 1 failing / 28 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-06 | 1 failing / 30 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-06 | 1 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	16
PRs with Failing Checks	14
PRs with All Checks Green	2
READY	1
FAILING	14
PENDING	0
NO CHECKS YET	0

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

Seal Status

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