structure scaffolding sorry stub

`PvsNPResolutionStatus`

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

formal statement (Lean)

  85structure PvsNPResolutionStatus where
  86  conditional_proof_available : Bool
  87  dissolution_proved : Bool
  88  open_gap : String
  89  sorry_count_in_chain : ℕ
  90

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

currentStatus in IndisputableMonolith.Complexity.PvsNPAssembly decl_use