{
  "grid": 24,
  "divergence_max_abs_by_amplitude": [
    0.0,
    8.326672684688674e-17,
    4.547473508864641e-13,
    7.450580596923828e-09
  ],
  "prediction_1": {
    "predicted": "0 exactly (up to floating point)",
    "observed_max": 7.450580596923828e-09
  },
  "prediction_2": {
    "predicted": "lambda_max * eps is constant",
    "eps": [
      0.5,
      1.0,
      2.0,
      4.0
    ],
    "lambda_max": [
      4.0,
      2.0,
      1.0,
      0.5
    ],
    "products": [
      2.0,
      2.0,
      2.0,
      2.0
    ],
    "relative_spread": 0.0
  },
  "prediction_3": {
    "predicted": "transition at eta*lambda_max=2",
    "lambda_max": 2.0,
    "eta_critical": 1.0,
    "tests": [
      {
        "eta_over_critical": 0.9,
        "final_over_initial": 2.394524282602964e-06,
        "stable_observed": true
      },
      {
        "eta_over_critical": 0.99,
        "final_over_initial": 0.3098220977635583,
        "stable_observed": true
      },
      {
        "eta_over_critical": 1.01,
        "final_over_initial": 3.1536243640574986,
        "stable_observed": true
      },
      {
        "eta_over_critical": 1.1,
        "final_over_initial": 39130.21830081066,
        "stable_observed": false
      }
    ]
  },
  "baseline_context": {
    "primal_condition_number": 29.856406460551025,
    "dual_condition_number": 29.856406460551025,
    "dual_gauss_residual": 7.450580596923828e-09
  },
  "note": "The primal and dual constant-coefficient quadratic operators have the same nonzero Fourier condition number; the dual advantage tested here is exact constraint satisfaction, not a universal conditioning improvement."
}