{
  "scope": "original m16/k2 salted SHA256 mapping, no independent-hash or general probability claim",
  "insertions": [
    {
      "key": "item-0",
      "positions": [
        13,
        4
      ],
      "before": "0000000000000000",
      "after": "0010000000010000"
    },
    {
      "key": "item-1",
      "positions": [
        3,
        5
      ],
      "before": "0010000000010000",
      "after": "0010000000111000"
    },
    {
      "key": "item-2",
      "positions": [
        8,
        8
      ],
      "before": "0010000000111000",
      "after": "0010000100111000"
    },
    {
      "key": "item-3",
      "positions": [
        9,
        1
      ],
      "before": "0010000100111000",
      "after": "0010001100111010"
    },
    {
      "key": "item-5",
      "positions": [
        3,
        12
      ],
      "before": "0010001100111010",
      "after": "0011001100111010"
    }
  ],
  "bits_final": "0011001100111010",
  "all_inserted_maybe_true": true,
  "probes": [
    {
      "key": "other-0",
      "positions": [
        1,
        11
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-1",
      "positions": [
        5,
        6
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-2",
      "positions": [
        3,
        12
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-3",
      "positions": [
        3,
        12
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-4",
      "positions": [
        6,
        7
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-5",
      "positions": [
        12,
        14
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-6",
      "positions": [
        5,
        2
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-7",
      "positions": [
        2,
        14
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-8",
      "positions": [
        10,
        8
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-9",
      "positions": [
        4,
        0
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-10",
      "positions": [
        15,
        0
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-11",
      "positions": [
        9,
        3
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-12",
      "positions": [
        3,
        12
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-13",
      "positions": [
        13,
        14
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-14",
      "positions": [
        8,
        7
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-15",
      "positions": [
        3,
        6
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-16",
      "positions": [
        13,
        3
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-17",
      "positions": [
        8,
        9
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-18",
      "positions": [
        3,
        13
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-19",
      "positions": [
        15,
        11
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-20",
      "positions": [
        13,
        3
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-21",
      "positions": [
        14,
        12
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-22",
      "positions": [
        14,
        10
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-23",
      "positions": [
        7,
        0
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-24",
      "positions": [
        5,
        5
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-25",
      "positions": [
        10,
        14
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-26",
      "positions": [
        12,
        11
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-27",
      "positions": [
        11,
        12
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-28",
      "positions": [
        5,
        2
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-29",
      "positions": [
        6,
        1
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-30",
      "positions": [
        8,
        13
      ],
      "maybe": true,
      "exact_member": false
    },
    {
      "key": "other-31",
      "positions": [
        4,
        7
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-32",
      "positions": [
        1,
        15
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-33",
      "positions": [
        14,
        15
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-34",
      "positions": [
        15,
        14
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-35",
      "positions": [
        11,
        9
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-36",
      "positions": [
        11,
        13
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-37",
      "positions": [
        8,
        7
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-38",
      "positions": [
        5,
        10
      ],
      "maybe": false,
      "exact_member": false
    },
    {
      "key": "other-39",
      "positions": [
        2,
        3
      ],
      "maybe": false,
      "exact_member": false
    }
  ],
  "false_positives_this40": 10,
  "false_positive_witness": {
    "key": "other-2",
    "positions": [
      3,
      12
    ],
    "maybe": true,
    "exact_member": false
  },
  "exact_fallback_decision": false,
  "unsafe_deletion_counterexample": {
    "deleted_key": "item-1",
    "cleared_positions": [
      3,
      5
    ],
    "still_in_exact_set_but_bloom_negative": [
      "item-5"
    ],
    "damaged_bits": "0011001100010010"
  },
  "append_only_same_hash_only": true,
  "invalid_inputs_rejected": [
    "''",
    "True",
    "'xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx'"
  ],
  "real_data_or_action": false
}