Re-enable downgrade (strict, allow_reresolve=false); intentionally RED pending upstream ForwardDiff/LogExpFunctions — red until ForwardDiff 1.3.4 (#811). saveat fix is separate (#600) — do NOT touch it — natural failure, not disabled; auto-greens on upstream release.#599