[wadoon]

What

Fix the javac [unchecked] (44) and [rawtypes] (17) lint warnings in 35
files across key.util, key.core, key.core.infflow, key.ncore,
key.ncore.calculus, keyext.exploration, keyext.isabelletranslation,
keyext.proofmanagement, plus a stray [overrides]/[cast]. 8 commits, one
per module.

Strategy

• rawtypes: exact type argument (or Foo<?>) when trivially correct — 10
  fixed; else @SuppressWarnings("rawtypes") at the narrowest scope.
• unchecked: @SuppressWarnings("unchecked") at method/field scope — 8
  fixed / 36 suppressed; no safety-weakening wildcarding, cast runtime
  behavior unchanged.
• overrides: missing @Override added (WeakValueLinkedHashMap gained
  hashCode() consistent with its value-only equals — standard contract
  fix, no callers rely on it).
• Class-level suppressions (4 files incl. TestApplyTaclet): required for
  "implements <T> method in Interface"-style unchecked overrides, which
  javac provably does not silence at method/field scope; each carries an
  inline rationale. TestApplyTaclet alone has 30+ raw
  getExecutor().apply sites (the incremental baseline showed only 7).

Verification

All 8 modules compile with 0 targeted warnings (full-budget javac log
-Xmaxwarns raised to surface latent sites); spotlessCheck clean.

Draft — part of the warning-cleanup stack (gh stack #4010 → base PR #4004 →
#4001). No test-assertion or logic changes.

Commits carry Co-Authored-By: OpenCode (KIT Medium).

History audit (serial/this-escape)

Audited for the campaign cleanup: this branch contains NO serial or
this-escape fixes (no serialVersionUID, transient or serial/this-escape
suppressions anywhere in its 8 commits) — nothing to remove; history
unchanged, head 9ac3cb2.

Linear-stack head: 5c28dc3602 (re-based on the rebuilt #4004).