Proven, Proven-Empty, and Gap Completeness Gates

· Dev.to