{
 "what": "The interval kernel checked against Arb (python-flint): every enclosure the kernel returned must contain the exact result or range, computed in Arb at 256 bits from the exact input doubles; every malformed input must be refused. Written by tools/audit-kernel-arb.js + tools/audit-kernel-arb.py.",
 "generated": "2026-10-21T20:57:53+00:00",
 "seconds": 211.2,
 "seed": 20261018,
 "perOp": 50000,
 "node": "v24.14.1",
 "pythonFlint": "0.9.0",
 "arbPrec": [
  256,
  1024,
  4096
 ],
 "modules": {
  "instruments/interval/interval.js": "9891280d08e59f7f3cf1549257d86af988f93971a4c307abc309cb0550a315cd",
  "instruments/interval/transcendental.js": "7d62c491ab6e79a7873f78111f666eb71924b26cc406a8758b91ebd77ad69b79",
  "instruments/hseva/fit.js": "032e9b039b6e44cee2b7f977e68f4f2379ed6b84c5718ebb7927adae084a2b75",
  "instruments/hseva/special.js": "be98f1c495adcca04b3624bef64f1b52d81318976a7e7f5622ac08f8d75b624b",
  "instruments/hseva/families.js": "703d26d8f29d651522ebc7aa15ae157d3e9a475c625f9c75ec9f83dd1252f039",
  "instruments/ivspecial/ivspecial.js": "4fc16f7e5ae0ba3d1565d72ce1ebdc34eda46c96997375986f6da8cd68cc3af5"
 },
 "counts": {
  "cases": 1012121,
  "contained": 1009497,
  "violations": 0,
  "undecided": 0,
  "refused": 2624,
  "malformed": 12,
  "malformedRefused": 12
 },
 "redControls": {
  "red:add": {
   "cases": 50000,
   "violationsCaught": 19846
  },
  "red:exp": {
   "cases": 50000,
   "violationsCaught": 50000
  }
 },
 "byOp": {
  "Phi": {
   "cases": 49465,
   "contained": 49465,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 117.0,
    "max": 144388.0,
    "n": 20106
   }
  },
  "PhiInv": {
   "cases": 5000,
   "contained": 5000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 240.0,
    "max": 786432.0,
    "n": 5000
   }
  },
  "abs": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 0.0,
    "max": 0.0,
    "n": 20880
   }
  },
  "add": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 2.0,
    "max": 2.0,
    "n": 9018
   }
  },
  "besselJ": {
   "cases": 5000,
   "contained": 5000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 1098797.0,
    "max": 1.749926894292238e+16,
    "n": 5000
   }
  },
  "cos": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 328.0,
    "max": 9007199254741020.0,
    "n": 20014
   }
  },
  "digamma": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 36.0,
    "max": 10354690.0,
    "n": 25072
   }
  },
  "div": {
   "cases": 48529,
   "contained": 48529,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 2.0,
    "max": 2.0,
    "n": 7649
   }
  },
  "encloseCos": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 4816.0,
    "max": 1.3531114373143612e+16,
    "n": 50000
   }
  },
  "encloseSin": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 4820.0,
    "max": 5943453385310691.0,
    "n": 50000
   }
  },
  "exp": {
   "cases": 48289,
   "contained": 46799,
   "violations": 0,
   "undecided": 0,
   "refused": 1490,
   "retried": 0,
   "thinWidthUlps": {
    "median": 120.0,
    "max": 4402.0,
    "n": 20609
   }
  },
  "gamma": {
   "cases": 50000,
   "contained": 48866,
   "violations": 0,
   "undecided": 0,
   "refused": 1134,
   "retried": 0,
   "thinWidthUlps": {
    "median": 21638632.0,
    "max": 16541882835.0,
    "n": 24503
   }
  },
  "gammaP": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 7061.0,
    "max": 36598.0,
    "n": 12328
   }
  },
  "gammaPinv": {
   "cases": 5000,
   "contained": 5000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 5934.0,
    "max": 464128.0,
    "n": 5000
   }
  },
  "lgamma": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 46.0,
    "max": 56623106.0,
    "n": 25072
   }
  },
  "log": {
   "cases": 49838,
   "contained": 49838,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 5.0,
    "max": 1.351079888211149e+16,
    "n": 23526
   }
  },
  "mul": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 2.0,
    "max": 2.0,
    "n": 8592
   }
  },
  "pow": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 9.0,
    "max": 32.0,
    "n": 19950
   }
  },
  "sin": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 365.0,
    "max": 5629499534213142.0,
    "n": 20014
   }
  },
  "sqr": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 2.0,
    "max": 2.0,
    "n": 11584
   }
  },
  "sub": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 2.0,
    "max": 2.0,
    "n": 9018
   }
  },
  "sum2": {
   "cases": 1000,
   "contained": 1000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": null,
    "max": null,
    "n": 0
   }
  },
  "tanh": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 0.5,
    "max": 446676598791.0,
    "n": 20014
   }
  },
  "trigamma": {
   "cases": 50000,
   "contained": 50000,
   "violations": 0,
   "undecided": 0,
   "refused": 0,
   "retried": 0,
   "thinWidthUlps": {
    "median": 22.0,
    "max": 61.0,
    "n": 25072
   }
  }
 },
 "malformedDecided": [],
 "violations": []
}