{
  "schema": "bounded-airy-model-self-check/v1",
  "lesson": "airy-functions-and-fold-model-operators.md",
  "lesson_sha256": "e1d6bdff4b97ecadcbe3264159817377cf034bc0b4aece42ddf771d4a742fd99",
  "script_sha256": "934d32a6c014dfbb8b3d096142a6014459ed88399158e96530103c57b5a60f63",
  "passed": true,
  "checks": [
    {
      "name": "Gaussian contour versus independent Airy implementation and ODE derivatives",
      "passed": true,
      "samples": [
        {
          "r": -3.0,
          "derivative": 0,
          "error": 7.771561172376096e-16,
          "quadrature_error_estimate": 2.0709446506436447e-11
        },
        {
          "r": -3.0,
          "derivative": 1,
          "error": 6.106226635438361e-16,
          "quadrature_error_estimate": 2.4158031678192464e-11
        },
        {
          "r": -3.0,
          "derivative": 2,
          "error": 8.881784197001252e-16,
          "quadrature_error_estimate": 8.98496877043783e-11
        },
        {
          "r": -3.0,
          "derivative": 3,
          "error": 2.4424906541753444e-15,
          "quadrature_error_estimate": 7.364293978088733e-11
        },
        {
          "r": -3.0,
          "derivative": 4,
          "error": 1.3322676295501878e-15,
          "quadrature_error_estimate": 7.980204358396552e-11
        },
        {
          "r": -3.0,
          "derivative": 5,
          "error": 3.2862601528904634e-14,
          "quadrature_error_estimate": 4.891307131436451e-10
        },
        {
          "r": 0.0,
          "derivative": 0,
          "error": 1.6153745008296028e-14,
          "quadrature_error_estimate": 5.172400448658539e-11
        },
        {
          "r": 0.0,
          "derivative": 1,
          "error": 0.0,
          "quadrature_error_estimate": 4.784256489441139e-11
        },
        {
          "r": 0.0,
          "derivative": 2,
          "error": 5.426007983292577e-17,
          "quadrature_error_estimate": 4.675416960540428e-11
        },
        {
          "r": 0.0,
          "derivative": 3,
          "error": 1.1102230246251565e-16,
          "quadrature_error_estimate": 2.121634126825592e-11
        },
        {
          "r": 0.0,
          "derivative": 4,
          "error": 6.661338147750939e-16,
          "quadrature_error_estimate": 1.6032490833817272e-10
        },
        {
          "r": 0.0,
          "derivative": 5,
          "error": 2.094573565156535e-15,
          "quadrature_error_estimate": 1.762646500470031e-10
        },
        {
          "r": 2.0,
          "derivative": 0,
          "error": 6.501743587961073e-15,
          "quadrature_error_estimate": 1.2179597137111698e-11
        },
        {
          "r": 2.0,
          "derivative": 1,
          "error": 8.541084506319407e-14,
          "quadrature_error_estimate": 3.122739872142207e-11
        },
        {
          "r": 2.0,
          "derivative": 2,
          "error": 2.8918534233923765e-13,
          "quadrature_error_estimate": 1.894561923152993e-10
        },
        {
          "r": 2.0,
          "derivative": 3,
          "error": 5.273559366969494e-16,
          "quadrature_error_estimate": 1.7923224322216763e-10
        },
        {
          "r": 2.0,
          "derivative": 4,
          "error": 4.3021142204224816e-16,
          "quadrature_error_estimate": 6.134091187214262e-12
        },
        {
          "r": 2.0,
          "derivative": 5,
          "error": 1.0408340855860843e-15,
          "quadrature_error_estimate": 2.2363565528156033e-11
        }
      ]
    },
    {
      "name": "Both stationary phases, derivative signs and predicted remainder powers",
      "passed": true,
      "samples": [
        {
          "k": 0,
          "R": 10.0,
          "scaled_error": 0.05806435131842634
        },
        {
          "k": 0,
          "R": 20.0,
          "scaled_error": 0.04438499107070214
        },
        {
          "k": 0,
          "R": 40.0,
          "scaled_error": 0.05749043895536941
        },
        {
          "k": 1,
          "R": 10.0,
          "scaled_error": 0.01190076480209596
        },
        {
          "k": 1,
          "R": 20.0,
          "scaled_error": 0.05400274145189598
        },
        {
          "k": 1,
          "R": 40.0,
          "scaled_error": 0.017028483529560465
        },
        {
          "k": 2,
          "R": 10.0,
          "scaled_error": 0.05806435131842829
        },
        {
          "k": 2,
          "R": 20.0,
          "scaled_error": 0.044384991070840735
        },
        {
          "k": 2,
          "R": 40.0,
          "scaled_error": 0.057490438956874806
        },
        {
          "k": 3,
          "R": 10.0,
          "scaled_error": 0.059659401032805585
        },
        {
          "k": 3,
          "R": 20.0,
          "scaled_error": 0.31905079748243864
        },
        {
          "k": 3,
          "R": 40.0,
          "scaled_error": 0.09848921824469306
        }
      ],
      "guard": "Finite samples only; all-ray bounds are analytic proofs."
    },
    {
      "name": "Cubic Fourier moments, negative-i coefficient and full 2pi normalization",
      "passed": true,
      "moments": [
        {
          "degree": 0,
          "error": 3.108624468950438e-14,
          "quadrature_error_estimate": 5.95698373667812e-11
        },
        {
          "degree": 1,
          "error": 3.352873534367973e-14,
          "quadrature_error_estimate": 1.7139704555116287e-10
        }
      ],
      "combined_error": 2.1986901179583067e-14
    },
    {
      "name": "Five exact transpose-field iterates with mixed derivatives and noncompact weights",
      "passed": true,
      "frequency_power": "Each normalized transpose contributes rho^-1.",
      "samples": [
        {
          "iterations": 1,
          "s_derivatives": 0,
          "angular_derivatives": 0,
          "degree_at_infinity": -2
        },
        {
          "iterations": 1,
          "s_derivatives": 0,
          "angular_derivatives": 1,
          "degree_at_infinity": -4
        },
        {
          "iterations": 1,
          "s_derivatives": 0,
          "angular_derivatives": 2,
          "degree_at_infinity": -6
        },
        {
          "iterations": 1,
          "s_derivatives": 1,
          "angular_derivatives": 0,
          "degree_at_infinity": -3
        },
        {
          "iterations": 1,
          "s_derivatives": 1,
          "angular_derivatives": 1,
          "degree_at_infinity": -5
        },
        {
          "iterations": 1,
          "s_derivatives": 1,
          "angular_derivatives": 2,
          "degree_at_infinity": -7
        },
        {
          "iterations": 1,
          "s_derivatives": 2,
          "angular_derivatives": 0,
          "degree_at_infinity": -4
        },
        {
          "iterations": 1,
          "s_derivatives": 2,
          "angular_derivatives": 1,
          "degree_at_infinity": -6
        },
        {
          "iterations": 1,
          "s_derivatives": 2,
          "angular_derivatives": 2,
          "degree_at_infinity": -8
        },
        {
          "iterations": 2,
          "s_derivatives": 0,
          "angular_derivatives": 0,
          "degree_at_infinity": -5
        },
        {
          "iterations": 2,
          "s_derivatives": 0,
          "angular_derivatives": 1,
          "degree_at_infinity": -7
        },
        {
          "iterations": 2,
          "s_derivatives": 0,
          "angular_derivatives": 2,
          "degree_at_infinity": -9
        },
        {
          "iterations": 2,
          "s_derivatives": 1,
          "angular_derivatives": 0,
          "degree_at_infinity": -6
        },
        {
          "iterations": 2,
          "s_derivatives": 1,
          "angular_derivatives": 1,
          "degree_at_infinity": -8
        },
        {
          "iterations": 2,
          "s_derivatives": 1,
          "angular_derivatives": 2,
          "degree_at_infinity": -10
        },
        {
          "iterations": 2,
          "s_derivatives": 2,
          "angular_derivatives": 0,
          "degree_at_infinity": -7
        },
        {
          "iterations": 2,
          "s_derivatives": 2,
          "angular_derivatives": 1,
          "degree_at_infinity": -9
        },
        {
          "iterations": 2,
          "s_derivatives": 2,
          "angular_derivatives": 2,
          "degree_at_infinity": -11
        },
        {
          "iterations": 3,
          "s_derivatives": 0,
          "angular_derivatives": 0,
          "degree_at_infinity": -8
        },
        {
          "iterations": 3,
          "s_derivatives": 0,
          "angular_derivatives": 1,
          "degree_at_infinity": -10
        },
        {
          "iterations": 3,
          "s_derivatives": 0,
          "angular_derivatives": 2,
          "degree_at_infinity": -12
        },
        {
          "iterations": 3,
          "s_derivatives": 1,
          "angular_derivatives": 0,
          "degree_at_infinity": -9
        },
        {
          "iterations": 3,
          "s_derivatives": 1,
          "angular_derivatives": 1,
          "degree_at_infinity": -11
        },
        {
          "iterations": 3,
          "s_derivatives": 1,
          "angular_derivatives": 2,
          "degree_at_infinity": -13
        },
        {
          "iterations": 3,
          "s_derivatives": 2,
          "angular_derivatives": 0,
          "degree_at_infinity": -10
        },
        {
          "iterations": 3,
          "s_derivatives": 2,
          "angular_derivatives": 1,
          "degree_at_infinity": -12
        },
        {
          "iterations": 3,
          "s_derivatives": 2,
          "angular_derivatives": 2,
          "degree_at_infinity": -14
        },
        {
          "iterations": 4,
          "s_derivatives": 0,
          "angular_derivatives": 0,
          "degree_at_infinity": -11
        },
        {
          "iterations": 4,
          "s_derivatives": 0,
          "angular_derivatives": 1,
          "degree_at_infinity": -13
        },
        {
          "iterations": 4,
          "s_derivatives": 0,
          "angular_derivatives": 2,
          "degree_at_infinity": -15
        },
        {
          "iterations": 4,
          "s_derivatives": 1,
          "angular_derivatives": 0,
          "degree_at_infinity": -12
        },
        {
          "iterations": 4,
          "s_derivatives": 1,
          "angular_derivatives": 1,
          "degree_at_infinity": -14
        },
        {
          "iterations": 4,
          "s_derivatives": 1,
          "angular_derivatives": 2,
          "degree_at_infinity": -16
        },
        {
          "iterations": 4,
          "s_derivatives": 2,
          "angular_derivatives": 0,
          "degree_at_infinity": -13
        },
        {
          "iterations": 4,
          "s_derivatives": 2,
          "angular_derivatives": 1,
          "degree_at_infinity": -15
        },
        {
          "iterations": 4,
          "s_derivatives": 2,
          "angular_derivatives": 2,
          "degree_at_infinity": -17
        },
        {
          "iterations": 5,
          "s_derivatives": 0,
          "angular_derivatives": 0,
          "degree_at_infinity": -14
        },
        {
          "iterations": 5,
          "s_derivatives": 0,
          "angular_derivatives": 1,
          "degree_at_infinity": -16
        },
        {
          "iterations": 5,
          "s_derivatives": 0,
          "angular_derivatives": 2,
          "degree_at_infinity": -18
        },
        {
          "iterations": 5,
          "s_derivatives": 1,
          "angular_derivatives": 0,
          "degree_at_infinity": -15
        },
        {
          "iterations": 5,
          "s_derivatives": 1,
          "angular_derivatives": 1,
          "degree_at_infinity": -17
        },
        {
          "iterations": 5,
          "s_derivatives": 1,
          "angular_derivatives": 2,
          "degree_at_infinity": -19
        },
        {
          "iterations": 5,
          "s_derivatives": 2,
          "angular_derivatives": 0,
          "degree_at_infinity": -16
        },
        {
          "iterations": 5,
          "s_derivatives": 2,
          "angular_derivatives": 1,
          "degree_at_infinity": -18
        },
        {
          "iterations": 5,
          "s_derivatives": 2,
          "angular_derivatives": 2,
          "degree_at_infinity": -20
        }
      ]
    },
    {
      "name": "Argument homogeneity, ordinary-symbol counterexample and reflected-sheet support guard",
      "passed": true,
      "chain_samples": [
        {
          "xi1_derivatives": 0,
          "rho_derivatives": 1,
          "homogeneous_degree": "-1/3"
        },
        {
          "xi1_derivatives": 0,
          "rho_derivatives": 2,
          "homogeneous_degree": "-4/3"
        },
        {
          "xi1_derivatives": 0,
          "rho_derivatives": 3,
          "homogeneous_degree": "-7/3"
        },
        {
          "xi1_derivatives": 0,
          "rho_derivatives": 4,
          "homogeneous_degree": "-10/3"
        },
        {
          "xi1_derivatives": 1,
          "rho_derivatives": 0,
          "homogeneous_degree": "-1/3"
        },
        {
          "xi1_derivatives": 1,
          "rho_derivatives": 1,
          "homogeneous_degree": "-4/3"
        },
        {
          "xi1_derivatives": 1,
          "rho_derivatives": 2,
          "homogeneous_degree": "-7/3"
        },
        {
          "xi1_derivatives": 1,
          "rho_derivatives": 3,
          "homogeneous_degree": "-10/3"
        },
        {
          "xi1_derivatives": 2,
          "rho_derivatives": 0,
          "homogeneous_degree": "-4/3"
        },
        {
          "xi1_derivatives": 2,
          "rho_derivatives": 1,
          "homogeneous_degree": "-7/3"
        },
        {
          "xi1_derivatives": 2,
          "rho_derivatives": 2,
          "homogeneous_degree": "-10/3"
        },
        {
          "xi1_derivatives": 3,
          "rho_derivatives": 0,
          "homogeneous_degree": "-7/3"
        },
        {
          "xi1_derivatives": 3,
          "rho_derivatives": 1,
          "homogeneous_degree": "-10/3"
        },
        {
          "xi1_derivatives": 4,
          "rho_derivatives": 0,
          "homogeneous_degree": "-10/3"
        }
      ],
      "counterexample_samples": [
        {
          "j": 5,
          "rho": 50.65818153913541,
          "scaled_derivative": 0.564211264736367,
          "rho_times_absolute_derivative": 14.85877761312805
        },
        {
          "j": 10,
          "rho": 97.78207134298232,
          "scaled_derivative": 0.5641954080623905,
          "rho_times_absolute_derivative": 25.7027095053385
        },
        {
          "j": 20,
          "rho": 192.0298509506761,
          "scaled_derivative": 0.5641910941449472,
          "rho_times_absolute_derivative": 45.105916729227374
        }
      ],
      "sheet_guard": {
        "critical_value": 0,
        "off_critical_square_derivative": "1/4",
        "implication": "Leading cancellation alone does not exclude lower-order reflected-sheet wavefront; use one symmetric support neighborhood."
      }
    },
    {
      "name": "Exact coefficient and homogeneous orders, all differentiated-tail choices and Fourier factors",
      "passed": true,
      "samples": [
        {
          "m": "-2/3",
          "beta": 0,
          "N": 5,
          "s_weight": -14,
          "rho_order": "-31/6"
        },
        {
          "m": "-2/3",
          "beta": 1,
          "N": 6,
          "s_weight": -14,
          "rho_order": "-37/6"
        },
        {
          "m": "-2/3",
          "beta": 2,
          "N": 7,
          "s_weight": -14,
          "rho_order": "-43/6"
        },
        {
          "m": "-2/3",
          "beta": 3,
          "N": 8,
          "s_weight": -14,
          "rho_order": "-49/6"
        },
        {
          "m": "-2/3",
          "beta": 4,
          "N": 9,
          "s_weight": -14,
          "rho_order": "-55/6"
        },
        {
          "m": "-1/6",
          "beta": 0,
          "N": 6,
          "s_weight": -17,
          "rho_order": "-17/3"
        },
        {
          "m": "-1/6",
          "beta": 1,
          "N": 7,
          "s_weight": -17,
          "rho_order": "-20/3"
        },
        {
          "m": "-1/6",
          "beta": 2,
          "N": 8,
          "s_weight": -17,
          "rho_order": "-23/3"
        },
        {
          "m": "-1/6",
          "beta": 3,
          "N": 9,
          "s_weight": -17,
          "rho_order": "-26/3"
        },
        {
          "m": "-1/6",
          "beta": 4,
          "N": 10,
          "s_weight": -17,
          "rho_order": "-29/3"
        },
        {
          "m": "1/2",
          "beta": 0,
          "N": 6,
          "s_weight": -17,
          "rho_order": "-5"
        },
        {
          "m": "1/2",
          "beta": 1,
          "N": 7,
          "s_weight": -17,
          "rho_order": "-6"
        },
        {
          "m": "1/2",
          "beta": 2,
          "N": 8,
          "s_weight": -17,
          "rho_order": "-7"
        },
        {
          "m": "1/2",
          "beta": 3,
          "N": 9,
          "s_weight": -17,
          "rho_order": "-8"
        },
        {
          "m": "1/2",
          "beta": 4,
          "N": 10,
          "s_weight": -17,
          "rho_order": "-9"
        }
      ]
    }
  ],
  "scope": "Six bounded checks complement author proofs; not arbitrary-symbol representation, global analytic or independent mathematical certification."
}