Missing Proof Detection

Missing proof should be treated explicitly, not hidden inside a score.

Cover

• What qualifies as missing proof
• How the system flags it
• How it changes downstream interpretation