{
 "run": "RUN-029",
 "subject": "Round 26: the full necessity-atlas B7 wave and the production arithmetic contract",
 "document": "main.zip!/AMRAL_LUC_FC_Round_26_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_26_Full_Atlas_Arithmetic_v0.1.md",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "W4": {
   "pass": true,
   "failures": []
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "W6": {
   "pass": true,
   "failures": []
  },
  "W7": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "cells": 77,
  "marker_worst": 1.1501910535116622e-13,
  "margins": {
   "min": 2.885183765233279e-07,
   "median": 6.805831982981125e-05,
   "below_1e-5": 8,
   "below_2e-5": 13,
   "below_5e-5": 30
  }
 },
 "w2": {
  "curve": {
   "22": 0,
   "24": 0,
   "26": 0,
   "28": 0,
   "30": 7,
   "32": 19,
   "34": 38,
   "36": 51
  },
  "odd": {
   "package": {
    "29": 0,
    "31": 15,
    "33": 30,
    "35": 45
   },
   "own": {
    "29": 0,
    "31": 15,
    "33": 30,
    "35": 45
   }
  },
  "closing_depths": [
   null,
   null,
   null,
   34,
   null,
   35,
   null,
   null,
   36,
   33,
   36,
   33,
   32,
   null,
   null,
   35,
   null,
   35,
   null,
   35,
   33,
   35,
   35,
   null,
   null,
   null,
   null,
   null,
   null,
   null,
   33,
   null,
   null,
   null,
   null,
   null,
   null,
   null,
   35,
   36,
   33,
   34,
   33,
   34,
   null,
   32,
   32,
   30,
   30,
   31,
   36,
   null,
   34,
   36,
   34,
   36,
   33,
   31,
   32,
   31,
   31,
   33,
   33,
   34,
   31,
   31,
   31,
   31,
   30,
   30,
   30,
   34,
   34,
   33,
   33,
   30,
   30
  ],
  "closing_depths_own_pad": [
   null,
   null,
   null,
   34,
   null,
   35,
   null,
   null,
   36,
   33,
   36,
   33,
   32,
   null,
   null,
   35,
   null,
   35,
   null,
   35,
   33,
   35,
   35,
   null,
   null,
   null,
   null,
   null,
   null,
   null,
   33,
   null,
   null,
   null,
   null,
   null,
   null,
   null,
   35,
   36,
   33,
   34,
   33,
   34,
   null,
   32,
   32,
   30,
   30,
   31,
   36,
   null,
   34,
   36,
   34,
   36,
   33,
   31,
   32,
   31,
   31,
   33,
   33,
   34,
   31,
   31,
   31,
   31,
   30,
   30,
   30,
   34,
   34,
   33,
   33,
   30,
   30
  ]
 },
 "w3": {
  "volumes": {
   "min": 6.362369080695086e-12,
   "q25": 2.312721160832664e-09,
   "q50": 1.6359771696160635e-08,
   "q75": 3.3258754171910175e-08,
   "q90": 4.97219143656321e-08,
   "max": 6.989274514112909e-08
  },
  "ratios": {
   "min": 0.0008465011286681715,
   "q25": 0.13275921122379775,
   "q50": 0.3009372784162363,
   "q75": 0.42132933905017866,
   "q90": 0.5117028140216509,
   "max": 0.5761516168395362
  },
  "classes": {
   "dust": 5,
   "thin": 7,
   "broad": 14
  }
 },
 "w4": {
  "rows_differing": [],
  "rows_differing_own_pad": [
   1,
   7,
   8,
   13,
   18,
   23,
   24,
   26,
   28,
   36,
   39,
   43,
   50,
   51,
   62
  ],
  "total_nodes": 4481119,
  "total_nodes_own_pad": 4481145
 },
 "w5": {
  "ten_least": 2.8982179244593114e-09,
  "counts": {
   "2e-9": 10,
   "3e-9": 9,
   "5e-9": 8,
   "1e-8": 6
  },
  "atlas_least": 8.471712220625705e-11,
  "atlas_cells_below_1e-8": 29
 },
 "w6": {
  "leaves": 9278,
  "nominal": 0.8350000421742021,
  "polygon": {
   "4096": 0.8349998195344998,
   "8192": 0.8350000060406695
  },
  "radial_every_body": {
   "24": 0.006466910972192283,
   "32": 0.0035568010347057557,
   "48": 0.024574261694330676,
   "64": 0.01595171373140763
  },
  "radial_b7_only": {
   "24": 0.05464539771502479,
   "32": 0.077926277214917,
   "48": 0.13774520370769563,
   "64": 0.1929295106704031
  }
 },
 "w7": {
  "ancestor_prefix_probe.py": {
   "lines": 59,
   "absolute_path": true,
   "loads_other_rounds": [
    "19"
   ]
  },
  "initial_full77_runner.py": {
   "lines": 95,
   "absolute_path": true,
   "loads_other_rounds": [
    "19"
   ]
  },
  "radial_core_audit.py": {
   "lines": 73,
   "absolute_path": true,
   "loads_other_rounds": [
    "19",
    "24"
   ]
  },
  "sampled_inner_gap_audit.py": {
   "lines": 35,
   "absolute_path": true,
   "loads_other_rounds": [
    "19",
    "24"
   ]
  },
  "wave_scheduler.py": {
   "lines": 93,
   "absolute_path": true,
   "loads_other_rounds": [
    "19"
   ]
  }
 },
 "p1": {
  "curve": {
   "22": 0,
   "24": 0,
   "26": 0,
   "28": 0,
   "30": 7,
   "32": 19,
   "34": 38,
   "36": 51
  }
 },
 "p2": {
  "ledger_77_cells": true,
  "d36_complete_51": true,
  "d36_residual_26": true,
  "curve_30": true,
  "curve_32": true,
  "curve_34": true,
  "curve_36": true,
  "all_residual_contracting": true,
  "residual_class_sum": true,
  "audit_not_rigorous": true,
  "contract_not_implemented": true,
  "no_global_claim": true
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 214,
  "must_stay_green_held": 214,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-ledger-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-audit-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-quantile",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-marker-outer",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-audit-median",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-curve-claim",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-residual-ratio",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-class-claim",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-ledger-row",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-pad-claim",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-audit-slack",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-slack-claim",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-polygon",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-code-claim",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-contract-rule",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-crystal",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-validation-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-validation-check",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}