{
  "python": "3.11.12",
  "results": {
    "toy": {
      "inserted": [
        "A",
        "B"
      ],
      "bits": [
        0,
        1,
        1,
        0,
        1,
        0,
        1,
        1
      ],
      "positions": {
        "A": [
          1,
          4,
          7
        ],
        "B": [
          2,
          4,
          6
        ],
        "C": [
          1,
          2,
          6
        ],
        "D": [
          0,
          2,
          6
        ]
      },
      "absent_C_positive": true,
      "absent_D_negative": true
    },
    "unsafe_delete": {
      "B_still_in_set": true,
      "filter_says_B": false
    },
    "finite_sample": {
      "m_bits": 9586,
      "k": 7,
      "inserted": 1000,
      "inserted_false_negatives": 0,
      "duplicate_bits_unchanged": true,
      "absent_queries": 10000,
      "false_positives": 80,
      "observed_rate": 0.008
    },
    "overfilled": {
      "inserted": 2000,
      "false_positives": 1627,
      "absent_queries": 10000,
      "observed_rate": 0.1627,
      "approximate_rate": 0.15740514260348634
    },
    "coverage_gap": {
      "naive_result": [
        false,
        "skipped"
      ],
      "coverage_not_ready_result": [
        true,
        "exact-store"
      ]
    },
    "sizing": [
      {
        "n": 1000000,
        "target_p": 0.01,
        "bits_per_key": 9.585058377367439,
        "ideal_MiB": 1.1426279994687365,
        "k_ceil": 7
      },
      {
        "n": 1000000,
        "target_p": 0.001,
        "bits_per_key": 14.37758756605116,
        "ideal_MiB": 1.7139419992031049,
        "k_ceil": 10
      }
    ],
    "workload_expectations": [
      {
        "queries": 10000,
        "absent_fraction": 0.9,
        "false_positive_rate": 0.01,
        "expected_store_lookups": 1089.9999999999998,
        "expected_false_positives": 90.0,
        "expected_avoided_lookups": 8910.0,
        "false_fraction_among_positives": 0.08256880733944956
      },
      {
        "queries": 10000,
        "absent_fraction": 0.05,
        "false_positive_rate": 0.01,
        "expected_store_lookups": 9504.999999999998,
        "expected_false_positives": 5.0,
        "expected_avoided_lookups": 495.0,
        "false_fraction_among_positives": 0.0005260389268805893
      },
      {
        "queries": 10000,
        "absent_fraction": 0.99,
        "false_positive_rate": 0.01,
        "expected_store_lookups": 199.00000000000009,
        "expected_false_positives": 99.0,
        "expected_avoided_lookups": 9801.0,
        "false_fraction_among_positives": 0.49748743718592947
      }
    ],
    "scope": "Finite synthetic membership checks and hypothetical arithmetic; no Redis/RocksDB/DB/network/performance measurement."
  }
}