{
  "format": "sokogap-benchmark-v1",
  "benchmark_id": "xsokoban-gap10-draft-2026-10-26",
  "status": "draft",
  "metric": "pushes",
  "aggregation": "total_gap_closed",
  "snapshot_date": "2026-10-26",
  "instances": [
    {
      "id": "xsokoban-50",
      "board": "instances/xsokoban-50.xsb",
      "board_sha256": "d6f86a2a022aa54b1d83f17e22cfa568ad62545f924361f49ae2f27dec617e55",
      "lower": 104,
      "upper": 370,
      "lower_certificate": "evidence/lower/xsokoban-50-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 102,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/58203"
    },
    {
      "id": "xsokoban-69",
      "board": "instances/xsokoban-69.xsb",
      "board_sha256": "59be4374352e4b81d02fc1f376e43d2a7d7711868b4384a2db8e9509403bf48a",
      "lower": 223,
      "upper": 433,
      "lower_certificate": "evidence/lower/xsokoban-69-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 223,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/946"
    },
    {
      "id": "xsokoban-66",
      "board": "instances/xsokoban-66.xsb",
      "board_sha256": "9fea75636321b79e19dbdd3a7733984a528a21fe6b618a191df8c385c276169b",
      "lower": 193,
      "upper": 325,
      "lower_certificate": "evidence/lower/xsokoban-66-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 193,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/943"
    },
    {
      "id": "xsokoban-52",
      "board": "instances/xsokoban-52.xsb",
      "board_sha256": "4d1caeaba26f1f63bc10e203b4b1405c8ee808ce67483a620a63ce02574aa90b",
      "lower": 379,
      "upper": 421,
      "lower_certificate": "evidence/lower/xsokoban-52-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 379,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/929"
    },
    {
      "id": "xsokoban-37",
      "board": "instances/xsokoban-37.xsb",
      "board_sha256": "6aa346a7ac69d38c1eb721251d04e0e900c0a43ea6f746fe819a5a38712c1409",
      "lower": 246,
      "upper": 284,
      "lower_certificate": "evidence/lower/xsokoban-37-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 246,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/58175"
    },
    {
      "id": "xsokoban-74",
      "board": "instances/xsokoban-74.xsb",
      "board_sha256": "0bdc91008dd99cfcd266202b8cd4ca87da7969c77459641f3abf34634f241ec6",
      "lower": 194,
      "upper": 212,
      "lower_certificate": "evidence/lower/xsokoban-74-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 190,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/951"
    },
    {
      "id": "xsokoban-13",
      "board": "instances/xsokoban-13.xsb",
      "board_sha256": "ae1aebb28663a8814065a8ff90205aa5973f2771e876615f841e0c5f45c0436e",
      "lower": 224,
      "upper": 238,
      "lower_certificate": "evidence/lower/xsokoban-13-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 224,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/890"
    },
    {
      "id": "xsokoban-15",
      "board": "instances/xsokoban-15.xsb",
      "board_sha256": "08c65043e7f604af2ba65a74e3dae9f6716987e8ee1a5499659cd3e746d34807",
      "lower": 108,
      "upper": 122,
      "lower_certificate": "evidence/lower/xsokoban-15-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 108,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/892"
    },
    {
      "id": "xsokoban-22",
      "board": "instances/xsokoban-22.xsb",
      "board_sha256": "e1f47afae795332e782de4029011676ddfbc8d79e2f5cf37f023be7f0c078a77",
      "lower": 310,
      "upper": 324,
      "lower_certificate": "evidence/lower/xsokoban-22-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 310,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/899"
    },
    {
      "id": "xsokoban-31",
      "board": "instances/xsokoban-31.xsb",
      "board_sha256": "88a26d4a3f5dbe352eaeb842e8da89fa993260aec96be7dab86827576acc2a23",
      "lower": 236,
      "upper": 250,
      "lower_certificate": "evidence/lower/xsokoban-31-abstraction.json",
      "upper_solution": null,
      "audit_reference": "research/candidates.json",
      "lower_source": "Independently recomputed additive box-pattern certificate, 2026-10-26",
      "published_lower": 236,
      "upper_source": "Let's Logic live Site Push Record, checked 2026-10-26; corroborates the 2026-04-28 statistics table",
      "record_url": "https://www.letslogic.com/level/908"
    }
  ],
  "record_audit": "research/current-bound-audit/audit.json",
  "witness_audit": "research/upper-witness-audit/audit.json"
}