{
 "what": "the certified inverse-reachability record: targets certified, the reachable impedance band, and the soundness checks behind them",
 "measured_utc": "2026-10-05T19:14:21Z",
 "source": {
  "repository": "genesis (packaging & extraction)",
  "revision": "56448e31",
  "path": "benchmarks/nn_verify/certified_inverse_reachability_2026_07.json",
  "sha256": "27a6dd76a233b1cb7c7cae84722fa8acd7a2e34ceec753912522e3fe95d611c0",
  "bytes": 51584
 },
 "not_served": "the source file is the gate's whole record; this site publishes the fields its page reads, and the sha256 above commits to the rest",
 "method": "read from the committed bytes above with a JSON pointer per field; no value is recomputed here",
 "pointers": {
  "n_targets_certified": "/n_targets_certified",
  "reachable_lo_ohm": "/reachable_band_union_ohm/0",
  "reachable_hi_ohm": "/reachable_band_union_ohm/1",
  "soundness_checks": "/soundness_checks",
  "soundness_ok": "/soundness_ok",
  "n_slices": "/n_slices",
  "all_slices_monotone": "/all_slices_monotone",
  "verdict": "/verdict"
 },
 "n_targets_certified": 143,
 "reachable_lo_ohm": 16.306609186855425,
 "reachable_hi_ohm": 92.21942303326567,
 "soundness_checks": 143,
 "soundness_ok": 143,
 "n_slices": 48,
 "all_slices_monotone": true,
 "verdict": "REACHABILITY_CERTIFIED"
}