{
  "status": "verified",
  "hashes_checked": 3360,
  "direct_gd_selected_cells": 8,
  "direct_steps_per_cell": 256,
  "max_direct_error": 1.4011014570769476e-13,
  "expanded_denominator": 2700,
  "boundary_cells_retained": 103,
  "checks": [
    {
      "protocol": "d1_biased",
      "task": "linear",
      "outputs": 1,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 2.220446049250313e-16,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 8.881784197001252e-16,
            "realized_noisy_val": 6.661338147750939e-16,
            "signal_bias": 1.1102230246251565e-16,
            "variance_unit": 3.469446951953614e-18,
            "expected_noisy_train": 2.220446049250313e-16,
            "expected_clean_val": 1.1102230246251565e-16
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 2.6922908347160046e-15,
            "realized_noisy_val": 7.993605777301127e-15,
            "signal_bias": 4.757479132866393e-16,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 4.787836793695988e-16
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 3.3306690738754696e-16,
            "realized_clean_val": 1.271899252586195e-14,
            "realized_noisy_val": 3.375077994860476e-14,
            "signal_bias": 4.2327252813834093e-16,
            "variance_unit": 1.3877787807814457e-17,
            "expected_noisy_train": 1.1102230246251565e-15,
            "expected_clean_val": 4.0939474033052647e-16
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 9.992007221626409e-16,
            "realized_clean_val": 5.639932965095795e-14,
            "realized_noisy_val": 1.4011014570769476e-13,
            "signal_bias": 7.361732751176575e-17,
            "variance_unit": 1.5265566588595902e-16,
            "expected_noisy_train": 2.55351295663786e-15,
            "expected_clean_val": 2.2898349882893854e-16
          }
        }
      ]
    },
    {
      "protocol": "d1_biased",
      "task": "quadratic",
      "outputs": 1,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 0.0,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 4.440892098500626e-16,
            "realized_clean_val": 2.220446049250313e-15,
            "realized_noisy_val": 1.9984014443252818e-15,
            "signal_bias": 1.1102230246251565e-16,
            "variance_unit": 3.469446951953614e-18,
            "expected_noisy_train": 2.220446049250313e-16,
            "expected_clean_val": 1.1102230246251565e-16
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 1.1102230246251565e-15,
            "realized_clean_val": 1.2378986724570495e-14,
            "realized_noisy_val": 7.105427357601002e-15,
            "signal_bias": 5.689893001203927e-16,
            "variance_unit": 0.0,
            "expected_noisy_train": 9.992007221626409e-16,
            "expected_clean_val": 5.828670879282072e-16
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 1.3322676295501878e-15,
            "realized_clean_val": 2.8754776337791554e-14,
            "realized_noisy_val": 7.771561172376096e-15,
            "signal_bias": 3.3306690738754696e-16,
            "variance_unit": 1.3877787807814457e-17,
            "expected_noisy_train": 1.7763568394002505e-15,
            "expected_clean_val": 3.469446951953614e-16
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 1.5543122344752192e-15,
            "realized_clean_val": 8.443246102274315e-14,
            "realized_noisy_val": 8.881784197001252e-16,
            "signal_bias": 1.0755285551056204e-16,
            "variance_unit": 1.5265566588595902e-16,
            "expected_noisy_train": 3.1086244689504383e-15,
            "expected_clean_val": 4.163336342344337e-17
          }
        }
      ]
    },
    {
      "protocol": "d1_homogeneous",
      "task": "linear",
      "outputs": 1,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 2.220446049250313e-16,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 8.881784197001252e-16,
            "realized_clean_val": 5.551115123125783e-16,
            "realized_noisy_val": 4.440892098500626e-16,
            "signal_bias": 5.551115123125783e-16,
            "variance_unit": 3.469446951953614e-18,
            "expected_noisy_train": 2.220446049250313e-16,
            "expected_clean_val": 5.551115123125783e-16
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 7.771561172376096e-16,
            "realized_clean_val": 6.938893903907228e-17,
            "realized_noisy_val": 0.0,
            "signal_bias": 1.6632423655580167e-16,
            "variance_unit": 1.3877787807814457e-17,
            "expected_noisy_train": 6.661338147750939e-16,
            "expected_clean_val": 1.5265566588595902e-16
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 7.771561172376096e-16,
            "realized_clean_val": 4.579669976578771e-16,
            "realized_noisy_val": 4.440892098500626e-16,
            "signal_bias": 6.734418322058371e-16,
            "variance_unit": 0.0,
            "expected_noisy_train": 6.661338147750939e-16,
            "expected_clean_val": 6.730727086790012e-16
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 6.661338147750939e-16,
            "realized_clean_val": 3.469446951953614e-17,
            "realized_noisy_val": 0.0,
            "signal_bias": 2.2204460492503126e-16,
            "variance_unit": 0.0,
            "expected_noisy_train": 6.661338147750939e-16,
            "expected_clean_val": 2.220446049250313e-16
          }
        }
      ]
    },
    {
      "protocol": "d1_homogeneous",
      "task": "quadratic",
      "outputs": 1,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 0.0,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 6.661338147750939e-16,
            "realized_clean_val": 3.885780586188048e-16,
            "realized_noisy_val": 2.220446049250313e-16,
            "signal_bias": 3.3306690738754696e-16,
            "variance_unit": 3.469446951953614e-18,
            "expected_noisy_train": 4.440892098500626e-16,
            "expected_clean_val": 3.3306690738754696e-16
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 8.881784197001252e-16,
            "realized_clean_val": 2.7755575615628914e-16,
            "realized_noisy_val": 4.440892098500626e-16,
            "signal_bias": 2.7755575615628914e-17,
            "variance_unit": 1.3877787807814457e-17,
            "expected_noisy_train": 5.551115123125783e-16,
            "expected_clean_val": 2.7755575615628914e-17
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 5.551115123125783e-16,
            "realized_clean_val": 6.245004513516506e-16,
            "realized_noisy_val": 8.881784197001252e-16,
            "signal_bias": 2.636779683484747e-16,
            "variance_unit": 0.0,
            "expected_noisy_train": 4.440892098500626e-16,
            "expected_clean_val": 2.636779683484747e-16
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 6.661338147750939e-16,
            "realized_clean_val": 5.551115123125783e-16,
            "realized_noisy_val": 4.440892098500626e-16,
            "signal_bias": 3.469446951953614e-16,
            "variance_unit": 0.0,
            "expected_noisy_train": 4.440892098500626e-16,
            "expected_clean_val": 3.469446951953614e-16
          }
        }
      ]
    },
    {
      "protocol": "d4_biased",
      "task": "interaction",
      "outputs": 1,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 4.440892098500626e-16,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 0.0,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 2.220446049250313e-16,
            "realized_clean_val": 1.1102230246251565e-16,
            "realized_noisy_val": 2.220446049250313e-16,
            "signal_bias": 0.0,
            "variance_unit": 6.938893903907228e-18,
            "expected_noisy_train": 2.220446049250313e-16,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 6.661338147750939e-16,
            "realized_clean_val": 4.996003610813204e-16,
            "realized_noisy_val": 4.440892098500626e-16,
            "signal_bias": 3.608224830031759e-16,
            "variance_unit": 5.551115123125783e-17,
            "expected_noisy_train": 6.661338147750939e-16,
            "expected_clean_val": 3.0531133177191805e-16
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 9.992007221626409e-16,
            "realized_clean_val": 4.440892098500626e-16,
            "realized_noisy_val": 2.220446049250313e-16,
            "signal_bias": 7.771561172376096e-16,
            "variance_unit": 8.326672684688674e-17,
            "expected_noisy_train": 9.992007221626409e-16,
            "expected_clean_val": 6.938893903907228e-16
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 2.220446049250313e-15,
            "realized_clean_val": 2.1094237467877974e-15,
            "realized_noisy_val": 3.3306690738754696e-15,
            "signal_bias": 8.743006318923108e-16,
            "variance_unit": 2.7755575615628914e-17,
            "expected_noisy_train": 1.5543122344752192e-15,
            "expected_clean_val": 9.159339953157541e-16
          }
        }
      ]
    },
    {
      "protocol": "d4_homogeneous",
      "task": "linear",
      "outputs": 1,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 0.0,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 4.440892098500626e-16,
            "realized_clean_val": 1.1102230246251565e-16,
            "realized_noisy_val": 0.0,
            "signal_bias": 0.0,
            "variance_unit": 4.336808689942018e-18,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 6.661338147750939e-16,
            "realized_clean_val": 3.7470027081099033e-16,
            "realized_noisy_val": 4.440892098500626e-16,
            "signal_bias": 2.498001805406602e-16,
            "variance_unit": 2.7755575615628914e-17,
            "expected_noisy_train": 6.661338147750939e-16,
            "expected_clean_val": 2.220446049250313e-16
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 9.71445146547012e-16,
            "realized_noisy_val": 1.3322676295501878e-15,
            "signal_bias": 1.3183898417423734e-16,
            "variance_unit": 0.0,
            "expected_noisy_train": 3.3306690738754696e-16,
            "expected_clean_val": 1.3877787807814457e-16
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 2.6645352591003757e-15,
            "realized_clean_val": 4.163336342344337e-15,
            "realized_noisy_val": 4.440892098500626e-15,
            "signal_bias": 2.0729945537922845e-16,
            "variance_unit": 1.6653345369377348e-16,
            "expected_noisy_train": 2.220446049250313e-16,
            "expected_clean_val": 3.608224830031759e-16
          }
        }
      ]
    },
    {
      "protocol": "d4_homogeneous",
      "task": "interaction",
      "outputs": 1,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 4.440892098500626e-16,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 0.0,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 1.1102230246251565e-16,
            "realized_noisy_val": 0.0,
            "signal_bias": 2.220446049250313e-16,
            "variance_unit": 4.336808689942018e-18,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 2.220446049250313e-16
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 4.440892098500626e-16,
            "realized_clean_val": 3.885780586188048e-16,
            "realized_noisy_val": 4.440892098500626e-16,
            "signal_bias": 3.3306690738754696e-16,
            "variance_unit": 2.7755575615628914e-17,
            "expected_noisy_train": 4.440892098500626e-16,
            "expected_clean_val": 2.7755575615628914e-16
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 1.1102230246251565e-16,
            "realized_clean_val": 1.0269562977782698e-15,
            "realized_noisy_val": 8.881784197001252e-16,
            "signal_bias": 9.71445146547012e-17,
            "variance_unit": 0.0,
            "expected_noisy_train": 3.3306690738754696e-16,
            "expected_clean_val": 8.326672684688674e-17
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 1.9984014443252818e-15,
            "realized_clean_val": 6.106226635438361e-15,
            "realized_noisy_val": 6.661338147750939e-15,
            "signal_bias": 7.077671781985373e-16,
            "variance_unit": 1.6653345369377348e-16,
            "expected_noisy_train": 7.771561172376096e-16,
            "expected_clean_val": 5.273559366969494e-16
          }
        }
      ]
    },
    {
      "protocol": "d4_homogeneous",
      "task": "vector",
      "outputs": 2,
      "n": 64,
      "checks": [
        {
          "step": 0,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 0.0,
            "realized_noisy_val": 0.0,
            "signal_bias": 0.0,
            "variance_unit": 0.0,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 0.0
          }
        },
        {
          "step": 1,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 1.1102230246251565e-16,
            "realized_noisy_val": 2.220446049250313e-16,
            "signal_bias": 1.1102230246251565e-16,
            "variance_unit": 4.336808689942018e-18,
            "expected_noisy_train": 0.0,
            "expected_clean_val": 1.1102230246251565e-16
          }
        },
        {
          "step": 16,
          "errors": {
            "realized_noisy_train": 2.220446049250313e-16,
            "realized_clean_val": 1.8596235662471372e-15,
            "realized_noisy_val": 1.9984014443252818e-15,
            "signal_bias": 1.8318679906315083e-15,
            "variance_unit": 2.7755575615628914e-17,
            "expected_noisy_train": 3.3306690738754696e-16,
            "expected_clean_val": 1.887379141862766e-15
          }
        },
        {
          "step": 64,
          "errors": {
            "realized_noisy_train": 0.0,
            "realized_clean_val": 2.3869795029440866e-15,
            "realized_noisy_val": 2.6645352591003757e-15,
            "signal_bias": 2.095545958979983e-15,
            "variance_unit": 0.0,
            "expected_noisy_train": 2.220446049250313e-16,
            "expected_clean_val": 2.0816681711721685e-15
          }
        },
        {
          "step": 256,
          "errors": {
            "realized_noisy_train": 2.1094237467877974e-15,
            "realized_clean_val": 5.551115123125783e-16,
            "realized_noisy_val": 8.881784197001252e-16,
            "signal_bias": 2.1441182163073336e-15,
            "variance_unit": 1.6653345369377348e-16,
            "expected_noisy_train": 2.220446049250313e-16,
            "expected_clean_val": 2.3037127760972e-15
          }
        }
      ]
    }
  ],
  "known_approximation": "Eigenvalues <= max(lambda)*1e-12 treated as null; minimum located on registered dense grid then locally refined. No claim of all continuous-time extrema."
}