{
  "paper": 80,
  "version": "0.1",
  "entry_state": "v1.70",
  "exit_candidate_state": "v1.71",
  "cutoff_flow_identity": "CERTIFIED",
  "zero_charge_conservation": "CERTIFIED",
  "empty_divisor_localization": "CERTIFIED",
  "shell_zero_poles": "ABSENT",
  "squarefree_complement_duality": "CERTIFIED",
  "entire_correction": "CERTIFIED",
  "entire_correction_pairing": "E_I_EXACT",
  "F-RH-024": "CLOSED_ROOT_EQUIVALENT",
  "F-RH-025": "CLOSED_NONAMPLIFYING",
  "RH_PROVED": false,
  "RH_DISPROVED": false
}