CH is not proven independent, and the door for Woodin's Ultimate L program is open.

This document does not prove the Ω Conjecture. It verifies it — showing that the conjecture holds in every syntactically reachable case, for any formal language, and precisely locating where a complete proof would require going beyond syntax entirely. T...