{
  "schema_version": 1,
  "evidence_class": "synthetic-packed-payload-cross-check",
  "format": "Hesela witness only; LSB-first bitmap, little-endian PPNs",
  "external_parameters": [
    "mapping count",
    "bitmap width",
    "PPN width"
  ],
  "excluded": [
    "format header",
    "directory",
    "allocator",
    "alignment",
    "lookup index",
    "replacement state",
    "dirty buffering",
    "timing"
  ],
  "size_state_history": {
    "evidence_class": "conditional-size-state-history-not-device-update-trace",
    "flat_bytes": 2048,
    "final_bitmap_bytes": 1728,
    "final_ratio_exact": "27/32",
    "payload_difference_bytes": 320,
    "histories": [
      {
        "initial_form": "flat",
        "steps": [
          {
            "candidate_bitmap_bytes": 1636,
            "form": "bitmap",
            "selected_payload_bytes": 1636
          },
          {
            "candidate_bitmap_bytes": 1728,
            "form": "bitmap",
            "selected_payload_bytes": 1728
          }
        ]
      },
      {
        "initial_form": "flat",
        "steps": [
          {
            "candidate_bitmap_bytes": 1844,
            "form": "flat",
            "selected_payload_bytes": 2048
          },
          {
            "candidate_bitmap_bytes": 1728,
            "form": "flat",
            "selected_payload_bytes": 2048
          }
        ]
      }
    ]
  },
  "frozen_results_sha256": "f1d79ebf8ae826c6880fe5fc7fd4f3c51f5d6bcd68e852d53812d647151313f7",
  "packed_code_sha256": "6aab764d7483b938352273a9eddc184c9fda00bb6056fa3d37ebf2a9e2dda64f",
  "cases": [
    {
      "id": "contiguous",
      "forms": {
        "one_bit": {
          "hex": "0164000000",
          "bytes": 5,
          "sha256": "df6881e49976b26e1a6cc95d5f2765b31dd0ad8ece9e88a3ca90023933444cff"
        },
        "two_bit": {
          "hex": "020064000000",
          "bytes": 6,
          "sha256": "f1084491624f93533762763d1cd44f36ed51ca29ec7d4b7a5d7a8d379d55dfa7"
        }
      }
    },
    {
      "id": "one_interior_patch",
      "forms": {
        "one_bit": {
          "hex": "29640000008403000069000000",
          "bytes": 13,
          "sha256": "e95bb53f0a09f5518e8a0e40b7e5d4a59a38d908cbcae7c0ced0f4dc12c3a471"
        },
        "two_bit": {
          "hex": "c2016400000084030000",
          "bytes": 10,
          "sha256": "0c77c89cea2eae4a1820c3fd0004c0cb18061f5d76d80664eec8a6bec61ac1f2"
        }
      }
    },
    {
      "id": "logical_order_without_physical_adjacency",
      "forms": {
        "one_bit": {
          "hex": "ff640000006e00000078000000820000008c00000096000000a0000000aa000000",
          "bytes": 33,
          "sha256": "62ab9f328a71f969a02b7149464bc638eea257ab1fd65b660d32a905fd54144c"
        },
        "two_bit": {
          "hex": "aaaa640000006e00000078000000820000008c00000096000000a0000000aa000000",
          "bytes": 34,
          "sha256": "22b7821e9b397dbdabf914cdc5571e83f1685bc311e12f564dea1595e2903717"
        }
      }
    },
    {
      "id": "two_local_runs",
      "forms": {
        "one_bit": {
          "hex": "5b640000008403000067000000880300006a000000",
          "bytes": 21,
          "sha256": "1d66fa5940bf8403d68c5bf6e7c1be5590391af1a58428db684b656ca8e2a2fb"
        },
        "two_bit": {
          "hex": "1e07640000008403000088030000",
          "bytes": 14,
          "sha256": "6edd1e8509291345030a6b73ad1c1a6de30acfb0c54eb545b2568a644ec04435"
        }
      }
    },
    {
      "id": "512_entries_0_patches",
      "forms": {
        "one_bit": {
          "hex": "0100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000",
          "bytes": 68,
          "sha256": "d3cc3e37e50ea1746c44d968593ab72ea57c999e5bd405d57d4a15a02ad1b6b0"
        },
        "two_bit": {
          "hex": "020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000",
          "bytes": 132,
          "sha256": "ab386f84f759b5f4f43db31b56de827d76db1416d9384f6085445776c889e34e"
        }
      }
    },
    {
      "id": "512_entries_1_patches",
      "forms": {
        "one_bit": {
          "hex": "0d00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000204e000013270000",
          "bytes": 76,
          "sha256": "37562d7b6a204360d9a53ae8b2c1dc56f12d1b035da2f3b5ccd93e3b13ec6133"
        },
        "two_bit": {
          "hex": "320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000204e0000",
          "bytes": 136,
          "sha256": "f1352e362768d1d86e5a849162dd403211fe5542369b828bd7c8f4aa8d501004"
        }
      }
    },
    {
      "id": "512_entries_16_patches",
      "forms": {
        "one_bit": {
          "hex": "cdcccccccccccccc000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000204e000013270000244e000017270000284e00001b2700002c4e00001f270000304e000023270000344e000027270000384e00002b2700003c4e00002f270000404e000033270000444e000037270000484e00003b2700004c4e00003f270000504e000043270000544e000047270000584e00004b2700005c4e00004f270000",
          "bytes": 196,
          "sha256": "b71f7ae820133a5a54306b776f6f3e98460a58e4f7bd300eef2d3fb793ae2be3"
        },
        "two_bit": {
          "hex": "323030303030303030303030303030300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000204e0000244e0000284e00002c4e0000304e0000344e0000384e00003c4e0000404e0000444e0000484e00004c4e0000504e0000544e0000584e00005c4e0000",
          "bytes": 196,
          "sha256": "428b0113b89b6a14bd508ad2f69c97b23a10254b7fa2f0928ef2edf91ea7cee6"
        }
      }
    },
    {
      "id": "512_entries_17_patches",
      "forms": {
        "one_bit": {
          "hex": "cdcccccccccccccc0c0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000204e000013270000244e000017270000284e00001b2700002c4e00001f270000304e000023270000344e000027270000384e00002b2700003c4e00002f270000404e000033270000444e000037270000484e00003b2700004c4e00003f270000504e000043270000544e000047270000584e00004b2700005c4e00004f270000604e000053270000",
          "bytes": 204,
          "sha256": "4e4947f7ca90e0b0b03cb73f9789e9fa1c4c29ab9db729b023470e1fde4853b3"
        },
        "two_bit": {
          "hex": "323030303030303030303030303030303000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010270000204e0000244e0000284e00002c4e0000304e0000344e0000384e00003c4e0000404e0000444e0000484e00004c4e0000504e0000544e0000584e00005c4e0000604e0000",
          "bytes": 200,
          "sha256": "7f63abca3ae78a300d39fb5d4e8983d82895466efda420e06ec4e2001a840d0a"
        }
      }
    }
  ]
}