{
 "what": "The independent audit of the lambda(5) theorem: a second walk sharing no code with the symbolic engine. Inner products by direct trigonometric summation, condition membership by plain integer arithmetic on the record's condition vectors, every set the float screen cannot settle re-certified from scratch. It audits the THEOREM (no refuter in the box), the FIRST LEVEL of the reduction (the generic clause and the exhaustiveness of the eight families) and the OBSTRUCTION (no classical atom closes the double-sum core, the comb does). It does NOT walk the interior of the eight closure trees — the subfamily cones, the derived thresholds and the finite parts inside them; the lambda(4) audit does that for lambda(4) and no equivalent exists here yet.",
 "box": 30,
 "setsWalked": 139246,
 "screened": 139245,
 "exactlyCertified": 1,
 "screenAudited": 3481,
 "sampleEvery": 40,
 "refuters": 0,
 "genericClosed": 100887,
 "genericChecked": 139246,
 "familyReached": 38359,
 "worstGenericInnerProduct": 3.901405947275365e-14,
 "minGenericWeightAverage": 1.9999999999999996,
 "symbolicVsNumeric": {
  "worstGap": 5.340172748447003e-14,
  "worstAt": [
   19,
   20,
   22,
   23,
   24
  ],
  "coreWorstGap": 3.623767952376511e-12
 },
 "obstruction": {
  "corePoints": 798,
  "worstCancellationResidual": 8.118791634863607e-14,
  "classicalWorstInnerProduct": 1.9999999999999711,
  "combGenericPoints": 578,
  "combWorstInnerProduct": -7.999999999997305
 },
 "dilationsChecked": 3,
 "target": {
  "lo": "-1832357810512957/1125899906842624",
  "hi": "-7329431242051827/4503599627370496"
 },
 "meta": {
  "date": "2026-09-03",
  "git": "554ad0e",
  "ms": 224613
 }
}