rocq-cve-poc-21683

CVE-2026-72705 — Rocq Guard Checker Accepts Fixpoint Passed as Higher-Order Argument Proving0 = 1 axiom-free via Russell's paradox through guard checker fixpoint bypass. Discovered autonomously by Claude Opus 4.6 Anthropic. Field| Value ---|--- Bug report| rocq-prover/rocq21683 Fix| PR 21684...