{
  "prediction_checks": {
    "P1_normal_equation_invariance": {
      "prediction": "relative error ~ machine precision",
      "observed_max": 1.3352320315261615e-15,
      "pass": true
    },
    "P2_support_bound": {
      "prediction": "support <= (m+1)r",
      "observed_all_pass": true,
      "observed_supports": [
        2,
        3,
        5,
        4,
        6,
        10,
        6,
        9,
        15,
        8,
        12,
        20
      ]
    },
    "P3_rank_fixed_scaling": {
      "prediction": "support remains 9 and compression scales as n/9",
      "observed": [
        {
          "n": 40,
          "support": 9,
          "predicted_support": 9,
          "compression": 4.444444444444445
        },
        {
          "n": 80,
          "support": 9,
          "predicted_support": 9,
          "compression": 8.88888888888889
        },
        {
          "n": 160,
          "support": 9,
          "predicted_support": 9,
          "compression": 17.77777777777778
        },
        {
          "n": 320,
          "support": 9,
          "predicted_support": 9,
          "compression": 35.55555555555556
        }
      ],
      "compression_over_n": [
        0.11111111111111112,
        0.11111111111111112,
        0.11111111111111112,
        0.11111111111111112
      ]
    },
    "P4_solution_exactness": {
      "prediction": "full-data loss at coreset fit equals full optimum",
      "observed_max_relative_parameter_error": 6.320902856305114e-15,
      "observed_max_full_loss_relative_error": 5.093829997554436e-16,
      "pass": true
    }
  },
  "random_control_mean_parameter_error": 0.9791946844210963,
  "sweep": [
    {
      "n": 160,
      "d": 12,
      "r": 1,
      "m": 1,
      "support": 2,
      "bound": 2,
      "compression": 80.0,
      "iterations": 158,
      "rank": 1,
      "invariant_rel": 1.3352320315261615e-15,
      "solution_rel": 9.439937571081595e-16,
      "full_loss": 11.139955892609606,
      "coreset_solution_full_loss": 11.139955892609605,
      "full_loss_rel_error": 1.594581573324459e-16,
      "random_solution_rel": 10.955716237163353,
      "random_full_loss": 17.582165328314282,
      "build_sec": 0.03659091501322109,
      "core_fit_sec": 0.0002462639968143776
    },
    {
      "n": 160,
      "d": 12,
      "r": 1,
      "m": 2,
      "support": 3,
      "bound": 3,
      "compression": 53.333333333333336,
      "iterations": 157,
      "rank": 1,
      "invariant_rel": 3.1775107330550294e-17,
      "solution_rel": 2.1166309298018646e-15,
      "full_loss": 19.900687321686334,
      "coreset_solution_full_loss": 19.900687321686338,
      "full_loss_rel_error": 1.7852215963058772e-16,
      "random_solution_rel": 0.04157051999666451,
      "random_full_loss": 21.832637930815487,
      "build_sec": 0.051932521993876435,
      "core_fit_sec": 0.00020421900262590498
    },
    {
      "n": 160,
      "d": 12,
      "r": 1,
      "m": 4,
      "support": 5,
      "bound": 5,
      "compression": 32.0,
      "iterations": 155,
      "rank": 1,
      "invariant_rel": 1.8327214924579903e-16,
      "solution_rel": 7.6871663049830885e-16,
      "full_loss": 38.131313362510994,
      "coreset_solution_full_loss": 38.131313362510994,
      "full_loss_rel_error": 0.0,
      "random_solution_rel": 0.045196392890678366,
      "random_full_loss": 38.882031644209874,
      "build_sec": 1.0901590899884468,
      "core_fit_sec": 0.0003046530036954209
    },
    {
      "n": 160,
      "d": 12,
      "r": 2,
      "m": 1,
      "support": 4,
      "bound": 4,
      "compression": 40.0,
      "iterations": 156,
      "rank": 2,
      "invariant_rel": 7.175497832759502e-17,
      "solution_rel": 7.434919458591599e-16,
      "full_loss": 10.048259197248004,
      "coreset_solution_full_loss": 10.048259197248008,
      "full_loss_rel_error": 3.535650911327517e-16,
      "random_solution_rel": 0.06866867216065083,
      "random_full_loss": 13.046328532285134,
      "build_sec": 0.04564334300812334,
      "core_fit_sec": 0.00031492000562138855
    },
    {
      "n": 160,
      "d": 12,
      "r": 2,
      "m": 2,
      "support": 6,
      "bound": 6,
      "compression": 26.666666666666668,
      "iterations": 154,
      "rank": 2,
      "invariant_rel": 4.49713192587779e-17,
      "solution_rel": 5.554878977168633e-16,
      "full_loss": 21.76166910281451,
      "coreset_solution_full_loss": 21.76166910281451,
      "full_loss_rel_error": 0.0,
      "random_solution_rel": 0.07309638339007501,
      "random_full_loss": 29.404711543273333,
      "build_sec": 0.07040698599303141,
      "core_fit_sec": 0.00023753399727866054
    },
    {
      "n": 160,
      "d": 12,
      "r": 2,
      "m": 4,
      "support": 10,
      "bound": 10,
      "compression": 16.0,
      "iterations": 150,
      "rank": 2,
      "invariant_rel": 1.5988689951339358e-16,
      "solution_rel": 7.28721230514538e-16,
      "full_loss": 38.53181646131783,
      "coreset_solution_full_loss": 38.531816461317845,
      "full_loss_rel_error": 3.6880832569801916e-16,
      "random_solution_rel": 0.03391917240895873,
      "random_full_loss": 41.913906497642685,
      "build_sec": 1.7594172720127972,
      "core_fit_sec": 0.0004201729898341
    },
    {
      "n": 160,
      "d": 12,
      "r": 3,
      "m": 1,
      "support": 6,
      "bound": 6,
      "compression": 26.666666666666668,
      "iterations": 154,
      "rank": 3,
      "invariant_rel": 1.7875409700453618e-17,
      "solution_rel": 4.3065435369315876e-15,
      "full_loss": 10.461814628205603,
      "coreset_solution_full_loss": 10.461814628205609,
      "full_loss_rel_error": 5.093829997554436e-16,
      "random_solution_rel": 0.026369930753203857,
      "random_full_loss": 11.348506177055647,
      "build_sec": 0.04481885299901478,
      "core_fit_sec": 0.00029438598721753806
    },
    {
      "n": 160,
      "d": 12,
      "r": 3,
      "m": 2,
      "support": 9,
      "bound": 9,
      "compression": 17.77777777777778,
      "iterations": 151,
      "rank": 3,
      "invariant_rel": 3.351938421312999e-17,
      "solution_rel": 6.320902856305114e-15,
      "full_loss": 19.102779553574596,
      "coreset_solution_full_loss": 19.1027795535746,
      "full_loss_rel_error": 1.8597888693824672e-16,
      "random_solution_rel": 0.07225986108633557,
      "random_full_loss": 27.769208146458787,
      "build_sec": 0.06074559999979101,
      "core_fit_sec": 0.00020666400087065995
    },
    {
      "n": 160,
      "d": 12,
      "r": 3,
      "m": 4,
      "support": 15,
      "bound": 15,
      "compression": 10.666666666666666,
      "iterations": 145,
      "rank": 3,
      "invariant_rel": 1.0975485121000815e-16,
      "solution_rel": 6.324711619539025e-16,
      "full_loss": 39.35171301729877,
      "coreset_solution_full_loss": 39.35171301729876,
      "full_loss_rel_error": 1.8056208517472923e-16,
      "random_solution_rel": 0.05636648327381763,
      "random_full_loss": 44.772603776830294,
      "build_sec": 1.6692419900064124,
      "core_fit_sec": 0.0004494360036915168
    },
    {
      "n": 160,
      "d": 12,
      "r": 4,
      "m": 1,
      "support": 8,
      "bound": 8,
      "compression": 20.0,
      "iterations": 152,
      "rank": 4,
      "invariant_rel": 3.339765478528189e-17,
      "solution_rel": 1.9640388099074253e-15,
      "full_loss": 9.877887996169036,
      "coreset_solution_full_loss": 9.877887996169035,
      "full_loss_rel_error": 1.798316441823575e-16,
      "random_solution_rel": 0.1611265639598163,
      "random_full_loss": 38.46998116287166,
      "build_sec": 0.04695309999806341,
      "core_fit_sec": 0.0003123360074823722
    },
    {
      "n": 160,
      "d": 12,
      "r": 4,
      "m": 2,
      "support": 12,
      "bound": 12,
      "compression": 13.333333333333334,
      "iterations": 148,
      "rank": 4,
      "invariant_rel": 5.544242180282288e-17,
      "solution_rel": 1.3491228180994566e-15,
      "full_loss": 20.636562266809474,
      "coreset_solution_full_loss": 20.63656226680947,
      "full_loss_rel_error": 1.7215627452225696e-16,
      "random_solution_rel": 0.14069013473096104,
      "random_full_loss": 35.70434167282073,
      "build_sec": 0.06117296600132249,
      "core_fit_sec": 0.0002137179981218651
    },
    {
      "n": 160,
      "d": 12,
      "r": 4,
      "m": 4,
      "support": 20,
      "bound": 20,
      "compression": 8.0,
      "iterations": 140,
      "rank": 4,
      "invariant_rel": 4.969662158589767e-17,
      "solution_rel": 1.6760526414921762e-15,
      "full_loss": 40.28436185980167,
      "coreset_solution_full_loss": 40.28436185980166,
      "full_loss_rel_error": 1.7638177768160837e-16,
      "random_solution_rel": 0.07535586123864042,
      "random_full_loss": 49.05144510697594,
      "build_sec": 0.5810113909974461,
      "core_fit_sec": 0.0003007420018548146
    }
  ],
  "scaling": [
    {
      "n": 40,
      "d": 12,
      "r": 3,
      "m": 2,
      "support": 9,
      "bound": 9,
      "compression": 4.444444444444445,
      "iterations": 31,
      "rank": 3,
      "invariant_rel": 3.2897296469700414e-17,
      "solution_rel": 1.1276474232811251e-15,
      "full_loss": 4.896568196897997,
      "coreset_solution_full_loss": 4.896568196897996,
      "full_loss_rel_error": 1.8138794028495125e-16,
      "random_solution_rel": 0.10563251560823181,
      "random_full_loss": 6.9832008291374965,
      "build_sec": 0.02196917300170753,
      "core_fit_sec": 0.000323021988151595
    },
    {
      "n": 80,
      "d": 12,
      "r": 3,
      "m": 2,
      "support": 9,
      "bound": 9,
      "compression": 8.88888888888889,
      "iterations": 71,
      "rank": 3,
      "invariant_rel": 1.5699091140453346e-16,
      "solution_rel": 1.6434327724138602e-15,
      "full_loss": 11.4546319805748,
      "coreset_solution_full_loss": 11.4546319805748,
      "full_loss_rel_error": 0.0,
      "random_solution_rel": 0.15657690326479473,
      "random_full_loss": 13.874007068483662,
      "build_sec": 0.03158425299625378,
      "core_fit_sec": 0.00031079900509212166
    },
    {
      "n": 160,
      "d": 12,
      "r": 3,
      "m": 2,
      "support": 9,
      "bound": 9,
      "compression": 17.77777777777778,
      "iterations": 151,
      "rank": 3,
      "invariant_rel": 1.0478626125296877e-16,
      "solution_rel": 1.4783775129159758e-15,
      "full_loss": 18.771761993128592,
      "coreset_solution_full_loss": 18.771761993128592,
      "full_loss_rel_error": 0.0,
      "random_solution_rel": 0.13513646776391247,
      "random_full_loss": 35.65250412740738,
      "build_sec": 0.06250821599678602,
      "core_fit_sec": 0.00021155299327801913
    },
    {
      "n": 320,
      "d": 12,
      "r": 3,
      "m": 2,
      "support": 9,
      "bound": 9,
      "compression": 35.55555555555556,
      "iterations": 311,
      "rank": 3,
      "invariant_rel": 1.7291593327424068e-16,
      "solution_rel": 1.1639898240379287e-15,
      "full_loss": 36.83203606917343,
      "coreset_solution_full_loss": 36.83203606917343,
      "full_loss_rel_error": 0.0,
      "random_solution_rel": 0.07572426956796888,
      "random_full_loss": 63.17550104926527,
      "build_sec": 0.11252481798874214,
      "core_fit_sec": 0.00020924900309182703
    }
  ]
}