♻️ Refactor EquivalenceCheckingManager and 📝✨ Revamp Documentation #1842

Job	Run time
🔍 Change / 🕵️ Check	10s
🇨‌ Test (Extensive)	0s
🚀 CD	0s
🐍 Test (Extensive)	0s
🇨‌ Lint / 🚨 Lint	3m 25s
🇨‌ Test / build-matrices	1s
🇨‌ Coverage / 📈 Coverage	4m 14s
🐍 Test / build-matrix	1s
🐍 Lint / 🚨 Lint	47s
📝 CodeQL / 🇨‌ / 🇨 Analysis	5m 2s
📝 CodeQL / 🐍 / 🐍 Analysis	1m 14s
🇨‌ Test / 🍎 macos-14 clang Release / 🍎 macos-14 clang Release	1m 38s
🇨‌ Test / 🍎 macos-13 clang Release / 🍎 macos-13 clang Release	2m 13s
🇨‌ Test / 🐧 ubuntu-24.04 gcc Release / 🐧 ubuntu-24.04 gcc Release	4m 0s
🇨‌ Test / 🐧 ubuntu-24.04-arm gcc Release / 🐧 ubuntu-24.04-arm gcc Release	2m 43s
🇨‌ Test / 🏁 windows-2022 msvc Release / 🏁 windows-2022 msvc Release	4m 4s
🐍 Test / 🐍 ubuntu-24.04 / 🐍 ubuntu-24.04	20m 52s
🐍 Test / 🐍 macos-13 / 🐍 macos-13	1h 26m 25s
🐍 Test / 🐍 macos-14 / 🐍 macos-14	1h 14m 19s
🐍 Test / 🐍 ubuntu-24.04-arm / 🐍 ubuntu-24.04-arm	8m 30s
🐍 Test / 🐍 windows-2022 / 🐍 windows-2022	1h 13m 28s
🐍 Test / 📈	6s
🚦 Check	2s
	4h 53m 14s

Provide feedback