{
 "what": "the three-via screening family's interval certificate: proven floor and ceiling of the screening factor, boxes processed and certified, failure regions",
 "measured_utc": "2026-10-05T21:45:33Z",
 "source": {
  "repository": "genesis (packaging & extraction)",
  "revision": "ac8bdf94",
  "path": "benchmarks/impossibility/family_n3_symmetric_floor_2026_07.json",
  "sha256": "b64cceb97e3ba0c7eebd3ece9ed479911048fefc7281422a0b7176091f97c1a2",
  "bytes": 1536
 },
 "not_served": "the source file is the lab'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": {
  "proven_floor": "/proven_floor",
  "proven_ceiling": "/proven_ceiling",
  "processed_boxes": "/processed_boxes",
  "certified_boxes": "/certified_boxes",
  "n_failure_regions": "/n_failure_regions",
  "status": "/status",
  "family": "/family"
 },
 "proven_floor": 0.3700020492358708,
 "proven_ceiling": 0.9435568104405944,
 "processed_boxes": 25469,
 "certified_boxes": 12735,
 "n_failure_regions": 0,
 "status": "THEOREM_CERTIFIED",
 "family": "n3_symmetric_screening (pair + 1 bisector via)"
}