{
  "schema": "an04-fio-cauchy-exact-model-checks/v1",
  "checked_utc": "2026-10-06T22:41:58.354444+00:00",
  "source_sha256": "af6859f6c2cbae615a1b9f39a364d1055b85041d75fd22859bdc5630a3de5d28",
  "script_sha256": "35aef2a9325feb37fea6cd80888f77636a8edfb62d091c41b029318e4882e9bb",
  "passed": true,
  "finite_groups": 8,
  "checks": [
    {
      "name": "Hamilton base equation and full base derivative",
      "exact_reduced_residuals": [
        "0",
        "0"
      ],
      "passed": true
    },
    {
      "name": "Jacobian growth and covector equation",
      "exact_reduced_residuals": [
        "0",
        "0",
        "0"
      ],
      "passed": true
    },
    {
      "name": "Forward Hamilton-Jacobi and backward initial parameter",
      "exact_reduced_residuals": [
        "0",
        "0"
      ],
      "passed": true
    },
    {
      "name": "Density derivative and reduced-symbol factor",
      "exact_reduced_residuals": [
        "0",
        "0"
      ],
      "passed": true
    },
    {
      "name": "Initial phase, initial position and Jacobian",
      "exact_reduced_residuals": [
        "0",
        "0",
        "0"
      ],
      "passed": true
    },
    {
      "name": "Ordered pulse product and both inverses",
      "exact_reduced_residuals": [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "passed": true
    },
    {
      "name": "Initial and final derivative factor order",
      "exact_reduced_residuals": [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "passed": true
    },
    {
      "name": "Explicit noncommuting right and left products",
      "exact_reduced_residuals": [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      "passed": true
    }
  ],
  "svg_sha256": "5789c742d548ffa0ae8295db0486ec5247da5be85785fa162c73ffbc927870ed",
  "sampling_record": "courses\\AN-04\\reconstructions\\20261007-restored-oscillatory-cauchy\\figure-samples.json",
  "sampling_sha256": "af3efe23869d7a24effb22e59cb644a99ac7581094539ddf75bccd6832ae06f8",
  "geometry": [
    {
      "initial_y": -1,
      "all_base_plot_points_inside": true,
      "all_covectors_positive": true,
      "sharp_lower_bound_exp_minus_t_verified_on_samples": true
    },
    {
      "initial_y": 0,
      "all_base_plot_points_inside": true,
      "all_covectors_positive": true,
      "sharp_lower_bound_exp_minus_t_verified_on_samples": true
    },
    {
      "initial_y": 1,
      "all_base_plot_points_inside": true,
      "all_covectors_positive": true,
      "sharp_lower_bound_exp_minus_t_verified_on_samples": true
    }
  ],
  "coordinate_maps": {
    "base": "screenX=110+340t, screenY=260-50X; 0<=t<=2, -3<=X<=3",
    "cotangent": "screenX=110+340t, screenY=750-190xi; 0<=t<=2, 0<=xi<=1"
  },
  "curve_representation": "Piecewise linear rendering of121 exact-formula numerical samples per curve. Two outer covector curves coincide by symmetry. No samples are a proof substitute.",
  "source_hashes": {
    "oscillatory-cauchy-kernels-and-exact-evolution.md": "af6859f6c2cbae615a1b9f39a364d1055b85041d75fd22859bdc5630a3de5d28",
    "figures/fio-cauchy-variable-speed.svg": "5789c742d548ffa0ae8295db0486ec5247da5be85785fa162c73ffbc927870ed"
  },
  "full_figure_visually_inspected": false,
  "Blender_used": false,
  "Blender_decision": "The exact two-dimensional base and cotangent panels show this construction directly; no three-dimensional scene improves the required identities."
}