[
  {
    "name": "Singular.NamingStatements.naming_certifies_no_delete",
    "status": "PROVED",
    "debt": "none",
    "statementSha256": "21545dc78c20db852c30fa48b7fece50c77a7638c1307f3a964e2be042949704"
  },
  {
    "name": "Singular.NamingStatements.naming_delete_refused",
    "status": "PROVED",
    "debt": "none",
    "statementSha256": "c497619064de7b843deee81f3339d0629e054b29a4463a4854600b38087c7dca"
  },
  {
    "name": "Singular.NamingStatements.naming_nm4_admissions",
    "status": "PROVED",
    "debt": "none",
    "statementSha256": "58634bf3e3a405d46b8b2dc725dd568f02f72bc18e0642c945b704d299f6df38"
  },
  {
    "name": "Singular.NamingStatements.naming_control_key_alone_never_retires",
    "status": "PROVED",
    "debt": "none",
    "statementSha256": "7d28da09ae9ddefe26a63b2d38b7e8b83757d81e71a9207c9cde3d19ee027721"
  },
  {
    "name": "Singular.NamingStatements.naming_excluded_encodings_not_certified",
    "status": "PROVED",
    "debt": "none",
    "statementSha256": "2d77b7aac592fc66e8922bf70fe5e08feb9a6237afffc2bb21531c75db7f3d0b"
  },
  {
    "name": "Singular.NamingStatements.naming_recovery_commitment_binding",
    "status": "PROVED",
    "debt": "none",
    "statementSha256": "1851a02a41da77c79371089bdf92167669b820d40190c32846e3d954694363d1"
  },
  {
    "name": "Singular.NamingStatements.naming_wellformed_initial",
    "status": "PROVED",
    "debt": "none",
    "statementSha256": "437a1a078da1100208d8b6e384ed102cd917f64b020c6d2a1286f10b300cdc9a"
  }
]