Re-enable downgrade (strict, allow_reresolve=false); intentionally RED pending upstream ForwardDiff/LogExpFunctions (deeper than the LinearSolve wall) — red until ForwardDiff 1.3.4 (#811) — natural failure, not disabled; auto-greens on upstream release.#307