{
  "score_contract": "plain int/float, finite, abs(score)<=1000000 before conversion; all allowed ints exactly representable in float64",
  "boundary_input": [
    {
      "id": "A",
      "score": 1000000
    },
    {
      "id": "B",
      "score": -1000000
    },
    {
      "id": "C",
      "score": 0.25
    }
  ],
  "boundary_result": [
    {
      "id": "A",
      "score": 1000000
    },
    {
      "id": "C",
      "score": 0.25
    }
  ],
  "v1_counterexamples_expected_ids": [
    "A",
    "A"
  ],
  "runtime": "3.12.14",
  "numpy": "2.3.5",
  "input": [
    {
      "id": "A",
      "score": 9
    },
    {
      "id": "D",
      "score": 7
    },
    {
      "id": "C",
      "score": 7
    },
    {
      "id": "B",
      "score": 7
    },
    {
      "id": "E",
      "score": 2
    }
  ],
  "k": 3,
  "observed_argpartition_indices": [
    0,
    1,
    2
  ],
  "sort_only_chosen": [
    {
      "id": "A",
      "score": 9
    },
    {
      "id": "C",
      "score": 7
    },
    {
      "id": "D",
      "score": 7
    }
  ],
  "boundary_tie_aware": [
    {
      "id": "A",
      "score": 9
    },
    {
      "id": "B",
      "score": 7
    },
    {
      "id": "C",
      "score": 7
    }
  ],
  "full_sort_oracle": [
    {
      "id": "A",
      "score": 9
    },
    {
      "id": "B",
      "score": 7
    },
    {
      "id": "C",
      "score": 7
    }
  ],
  "permutation_k_checks": 720,
  "naive_failures_among120": 80,
  "rejected": [
    "negative",
    "too_large",
    "boolean",
    "nan",
    "infinite",
    "missing_id",
    "duplicate_id",
    "bigint_single",
    "bigint_pair",
    "huge_integer",
    "float_above_bound"
  ],
  "scope": "Authored bounded finite scores abs<=1000000/unique IDs/descending score ascending ID; argpartition tie output observed not universal. No speed or ranking-quality claims."
}