{
  "date": "2026-10-08",
  "items": [
    "MCC-OE-28",
    "LESR-09V",
    "PPS-01",
    "WSFC-R19",
    "WSFC-R22",
    "WSFC-R12"
  ],
  "packages": [
    {
      "path": "wsfc/files/reconstructed/WSFC_Round12_Reconstructed_Package_2026-10-08.zip",
      "bytes": 17305,
      "sha256": "e1d4ae9d9f06270ea4c999685617790c6f7f223217db36bfa7dc88b893c8096e",
      "members": 13
    },
    {
      "path": "wsfc/files/reconstructed/WSFC_Round22_Standalone_Reconstructed_2026-10-08.zip",
      "bytes": 22527,
      "sha256": "397b4629cbb785ef7ce4f5e169a5c66b91da244d8246edd863e13138197480f1",
      "members": 14
    },
    {
      "path": "reconstructions/files/AMRAL_Six_Reconstructions_2026-10-08.zip",
      "bytes": 51830,
      "sha256": "9c40c764eea66438323f52b65bf0d4acc89de88e30da9c1d50ed4963ccfaadc8",
      "members": 31
    }
  ],
  "R22_original_copy_verified": true,
  "R12_new_implementation_tests": {
    "canonical": "1",
    "irrational": "2 - sqrt(3)/2",
    "edge_cases": 4
  },
  "generic_formal_soundness": "OPEN",
  "global_conjectures": "OPEN"
}