Re-enable certification tutorial when SymbolicAnalysis supports Symbolics 7

[ChrisRackauckas-Claude]

Summary

The certification tutorial (docs/src/tutorials/certification.md) has been temporarily disabled because SymbolicAnalysis.jl does not yet support Symbolics 7.

Background

In PR #1139, the docs build was failing due to a package compatibility conflict:

• OptimizationMOI requires Symbolics 7
• SymbolicAnalysis only supports Symbolics 6

To fix the doc build, we:

1. Removed SymbolicAnalysis from docs/Project.toml
2. Updated Symbolics compat from "6, 7" to "7"
3. Moved certification.md to docs/src/tutorials/_disabled/

What needs to happen

1. Wait for SymbolicAnalysis.jl to be updated to support Symbolics 7

   • Upstream repo: https://github.com/SciML/SymbolicAnalysis.jl
   • Current compat: Symbolics = "6"

2. Once updated, re-enable by:

   • Add SymbolicAnalysis back to docs/Project.toml
   • Move docs/src/tutorials/_disabled/certification.md back to docs/src/tutorials/
   • Uncomment the entry in docs/pages.jl

Related

• PR Skip failing tests and disable Downgrade Sublibraries CI #1139 - Where this was disabled
• SymbolicAnalysis.jl Project.toml: https://github.com/SciML/SymbolicAnalysis.jl/blob/main/Project.toml