pub fn all_word_ring_laws_certified() -> bool
Every word-ring law the optimizer leans on, kernel-certified — a single gate.