{
  "paper": 54,
  "version": "0.1",
  "entry_state": "v1.44",
  "exit_candidate_state": "v1.45",
  "seeded_anchor_used": true,
  "seeded_amplification_law": "CERTIFIED",
  "strict_amplification_criterion": "alpha>kappa and delta>kappa",
  "optimal_map": "2/(3-kappa)",
  "critical_locking_countermodel": "CERTIFIED",
  "seed_gate": "OPEN",
  "amplifier_arithmetic_gate": "OPEN",
  "RH_PROVED": false,
  "RH_DISPROVED": false
}