theorem proved term proof

`recognition_event_exists`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 189theorem recognition_event_exists : Nonempty CompilationAsRecognition :=

Term-mode proof.

 190  ⟨this_is_recognition⟩
 191
 192/-! ## Summary -/
 193
 194/-- The complete self-reference structure. -/

Lean names referenced from this declaration's body.

complete in IndisputableMonolith.Complexity.SAT.Backprop decl_use
self in IndisputableMonolith.RecogSpec.Core decl_use
CompilationAsRecognition in IndisputableMonolith.RRF.Foundation.SelfReference decl_use
this_is_recognition in IndisputableMonolith.RRF.Foundation.SelfReference decl_use