{
 "check": "length_privacy_pareto",
 "verdict": "real",
 "privacy_set": {
  "iot_falcon512": 1850,
  "laptop_mldsa65": 4493,
  "highsec_slhdsa": 9040
 },
 "n_classes": 3,
 "n_points": 3,
 "pareto": {
  "1": {
   "overhead_bytes": 11737,
   "leakage_bits": 0.0,
   "targets": [
    9040
   ]
  },
  "2": {
   "overhead_bytes": 2643,
   "leakage_bits": 1.0,
   "targets": [
    4493,
    9040
   ]
  },
  "3": {
   "overhead_bytes": 0,
   "leakage_bits": 1.584963,
   "targets": [
    1850,
    4493,
    9040
   ]
  }
 },
 "all_partitions": [
  {
   "k": 1,
   "overhead_bytes": 11737,
   "leakage_bits": 0.0,
   "targets": [
    9040
   ]
  },
  {
   "k": 2,
   "overhead_bytes": 4547,
   "leakage_bits": 1.0,
   "targets": [
    1850,
    9040
   ]
  },
  {
   "k": 2,
   "overhead_bytes": 2643,
   "leakage_bits": 1.0,
   "targets": [
    4493,
    9040
   ]
  },
  {
   "k": 3,
   "overhead_bytes": 0,
   "leakage_bits": 1.584963,
   "targets": [
    1850,
    4493,
    9040
   ]
  }
 ],
 "all_points_on_frontier": true,
 "zero_leakage_endpoint_equals_floor": true,
 "honest_scope": "Exact over the declared three-class set: overhead is the total padding across one object per class (no class weights), leakage is log2(distinct on-air shapes) as the floor artifact measures it. A different population has a different curve; padding to random targets above the maximum is not in this family."
}