{
  "seed": 3044,
  "verification": [
    {
      "d": 64,
      "m": 4,
      "ratio": 0.0625,
      "empirical_tau": 0.15500000000000003,
      "empirical_agreement": 0.5775,
      "exact_tau": 0.15221277285159895,
      "asymptotic_tau": 0.15915494309189535
    },
    {
      "d": 64,
      "m": 16,
      "ratio": 0.25,
      "empirical_tau": 0.31820000000000004,
      "empirical_agreement": 0.6591,
      "exact_tau": 0.3304798565198783,
      "asymptotic_tau": 0.3183098861837907
    },
    {
      "d": 64,
      "m": 32,
      "ratio": 0.5,
      "empirical_tau": 0.48950000000000005,
      "empirical_agreement": 0.74475,
      "exact_tau": 0.5000000000000001,
      "asymptotic_tau": 0.4501581580785531
    },
    {
      "d": 128,
      "m": 8,
      "ratio": 0.0625,
      "empirical_tau": 0.16579999999999995,
      "empirical_agreement": 0.5829,
      "exact_tau": 0.15644173736497463,
      "asymptotic_tau": 0.15915494309189535
    },
    {
      "d": 128,
      "m": 32,
      "ratio": 0.25,
      "empirical_tau": 0.32109999999999994,
      "empirical_agreement": 0.66055,
      "exact_tau": 0.3319017071533852,
      "asymptotic_tau": 0.3183098861837907
    },
    {
      "d": 128,
      "m": 64,
      "ratio": 0.5,
      "empirical_tau": 0.5007999999999999,
      "empirical_agreement": 0.7504,
      "exact_tau": 0.5000000000000001,
      "asymptotic_tau": 0.4501581580785531
    },
    {
      "d": 256,
      "m": 32,
      "ratio": 0.125,
      "empirical_tau": 0.24069999999999991,
      "empirical_agreement": 0.62035,
      "exact_tau": 0.2286483125741416,
      "asymptotic_tau": 0.22507907903927654
    },
    {
      "d": 256,
      "m": 64,
      "ratio": 0.25,
      "empirical_tau": 0.3287,
      "empirical_agreement": 0.66435,
      "exact_tau": 0.33261644045996525,
      "asymptotic_tau": 0.3183098861837907
    }
  ],
  "adaptive_selection": {
    "final_m": 80,
    "history": [
      {
        "round": 0,
        "m": 80,
        "measured_tau": 0.5738333333333334
      }
    ]
  },
  "retrieval": {
    "jl": {
      "m": 128,
      "memory_ratio_m_over_d": 1.0,
      "recall@1": 1.0,
      "recall@10": 1.0,
      "top20_kendall": 1.0,
      "query_seconds": 0.7459733330179006
    },
    "ranking_rule": {
      "m": 80,
      "memory_ratio_m_over_d": 0.625,
      "recall@1": 0.30333333333333334,
      "recall@10": 0.6313333333333333,
      "top20_kendall": 0.40984210434059304,
      "query_seconds": 0.5622973419958726
    }
  }
}