{
  "recorded_utc": "2026-10-05T19:01:41.211937+00:00",
  "passed": true,
  "finite_groups": 7,
  "checks": [
    {
      "name": "right-half-plane-branch",
      "passed": true,
      "detail": "Both exact derivatives and 45 complex modulus/real-isometry cases"
    },
    {
      "name": "complex-Laplace-and-ODE",
      "passed": true,
      "detail": "12 independent complex quadratures and differentiated identities"
    },
    {
      "name": "nonzero-gamma-product",
      "passed": true,
      "detail": "Nine beta quadratures and three convergent complex finite products"
    },
    {
      "name": "full-integer-residual-decomposition",
      "passed": true,
      "detail": "Exact ordered 2-by-2 identity retains both arbitrary residual terms"
    },
    {
      "name": "one-sided-kernel-constants",
      "passed": true,
      "detail": "Five exact normal Fourier transforms, including the unit delta normalization"
    },
    {
      "name": "rectangle-maximum-identity",
      "passed": true,
      "detail": "Three nonconstant holomorphic polynomials and strict real quadratic perturbation"
    },
    {
      "name": "Gaussian-strip-normalization",
      "passed": true,
      "detail": "Exact vertical maximizers, geometric endpoint constant and horizontal decay"
    }
  ],
  "source_hashes": {
    "positive-order-halfspace-bounds.md": "067cec9479c2e805b722f779ead4debe6f891b560dec18dbf607026f05eabeaf",
    "figures/positive_order_halfspace.py": "c069803412dc97e426fcaf8bc5c56cc99ec1f530a92c73e850450aec46b9bacf",
    "figures/positive_order_halfspace.png": "d9c02d17ff15f3c8e7b8635224a38d2bfbfb09bb650b082cf2390979ff888d0b",
    "figures/positive_order_halfspace.svg": "69da444f80d1fd1fcd63ac673d0733e83d21ac63ad064b84b8c796e75f6d5483"
  },
  "script_sha256": "953bb2c67c03f88ae1f8a645eff139c63640d1e4f0bcf14ff0ebc30470acb752",
  "complete_proof_not_inferred_from_models": true
}