{
 "run": "RUN-008",
 "subject": "Round 05: the saturation gate",
 "document": "main.zip!/AMRAL_LUC_FC_Round_05_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_05_Saturation_Gate_v0.1.md",
 "snapshot_retrieved": "2026-09-24",
 "checks": {
  "A0": {
   "pass": true,
   "failures": []
  },
  "A1": {
   "pass": true,
   "failures": []
  },
  "X1": {
   "pass": true,
   "failures": []
  },
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": true,
   "failures": []
  },
  "D1": {
   "pass": true,
   "failures": []
  },
  "D2": {
   "pass": true,
   "failures": []
  },
  "D3": {
   "pass": true,
   "failures": []
  },
  "D4": {
   "pass": true,
   "failures": []
  },
  "D5": {
   "pass": true,
   "failures": []
  },
  "N1": {
   "pass": true,
   "failures": []
  },
  "N2": {
   "pass": true,
   "failures": []
  },
  "N3": {
   "pass": true,
   "failures": []
  },
  "N4": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w2": {
  "exact": 0.8257117835909434,
  "via_phi": 0.8257117835909435,
  "hull_dense": 0.8257117835105183,
  "phi_at_0.7": 0.8365487943481758,
  "two_tip_half_widths_at_0.7_deg": 88.83061719438595,
  "least_offset_increase": 1.0390745403876522e-05
 },
 "w3": {
  "disc": {
   "width_defect": 0.0,
   "mirror_residual": 0.0
  },
  "Reuleaux triangle": {
   "width_defect": 4.440892098500626e-16,
   "mirror_residual": 3.3306690738754696e-16
  },
  "Reuleaux pentagon": {
   "width_defect": 2.220446049250313e-16,
   "mirror_residual": 1.1102230246251565e-16
  }
 },
 "n1_rows": [
  {
   "cover": "sec33",
   "M": 8,
   "q": 0.015625,
   "R_b": 0.5669323561018622,
   "eps_b": 0.4580370636530984,
   "eps_round04": 1.3938913863659792,
   "max_member_dH": 0.06693235582781454,
   "members": 12
  },
  {
   "cover": "sec33",
   "M": 16,
   "q": 0.00390625,
   "R_b": 0.5357771790795779,
   "eps_b": 0.21396763778887642,
   "eps_round04": 0.6730556814352937,
   "max_member_dH": 0.034607974538967134,
   "members": 12
  },
  {
   "cover": "sec33",
   "M": 32,
   "q": 0.0009765625,
   "R_b": 0.5274656462929214,
   "eps_b": 0.10450261270480851,
   "eps_round04": 0.33321614858457926,
   "max_member_dH": 0.0094852983488658,
   "members": 11
  },
  {
   "cover": "sec33",
   "M": 64,
   "q": 0.000244140625,
   "R_b": 0.5256634786494787,
   "eps_b": 0.05184585084774353,
   "eps_round04": 0.1660768177773983,
   "max_member_dH": 0.002692735210369168,
   "members": 11
  },
  {
   "cover": "asym",
   "M": 8,
   "q": 0.015625,
   "R_b": 0.5750208564053343,
   "eps_b": 0.46434901616842605,
   "eps_round04": 1.3938913863659792,
   "max_member_dH": 0.0750208564053344,
   "members": 12
  },
  {
   "cover": "asym",
   "M": 16,
   "q": 0.00390625,
   "R_b": 0.5397592668046319,
   "eps_b": 0.2155288891942814,
   "eps_round04": 0.6730556814352937,
   "max_member_dH": 0.033692246874666654,
   "members": 12
  },
  {
   "cover": "asym",
   "M": 32,
   "q": 0.0009765625,
   "R_b": 0.5313906232006143,
   "eps_b": 0.10527297065940576,
   "eps_round04": 0.33321614858457926,
   "max_member_dH": 0.009441830631095605,
   "members": 11
  },
  {
   "cover": "asym",
   "M": 64,
   "q": 0.000244140625,
   "R_b": 0.5293299637378223,
   "eps_b": 0.052205771041459084,
   "eps_round04": 0.1660768177773983,
   "max_member_dH": 0.0025910442071286344,
   "members": 11
  },
  {
   "cover": "disc+RT",
   "M": 8,
   "q": 0.015625,
   "R_b": 0.5923384298718549,
   "eps_b": 0.4778629801049119,
   "eps_round04": 1.3938913863659792,
   "max_member_dH": 0.08887525889962566,
   "members": 12
  },
  {
   "cover": "disc+RT",
   "M": 16,
   "q": 0.00390625,
   "R_b": 0.5781313678370448,
   "eps_b": 0.23057338364081775,
   "eps_round04": 0.6730556814352937,
   "max_member_dH": 0.032477638500415185,
   "members": 12
  },
  {
   "cover": "disc+RT",
   "M": 32,
   "q": 0.0009765625,
   "R_b": 0.5775028044539292,
   "eps_b": 0.11432344062846388,
   "eps_round04": 0.33321614858457926,
   "max_member_dH": 0.014561906183628959,
   "members": 11
  },
  {
   "cover": "disc+RT",
   "M": 64,
   "q": 0.000244140625,
   "R_b": 0.577357814335008,
   "eps_b": 0.05692042086933838,
   "eps_round04": 0.1660768177773983,
   "max_member_dH": 0.0067208927290455245,
   "members": 11
  },
  {
   "cover": "heptagon",
   "M": 8,
   "q": 0.015625,
   "R_b": 0.6088456126644717,
   "eps_b": 0.4907445465312747,
   "eps_round04": 1.3938913863659792,
   "max_member_dH": 0.10884561266447168,
   "members": 12
  },
  {
   "cover": "heptagon",
   "M": 16,
   "q": 0.00390625,
   "R_b": 0.5581084782757656,
   "eps_b": 0.22272303813709296,
   "eps_round04": 0.6730556814352937,
   "max_member_dH": 0.04883433686837635,
   "members": 12
  },
  {
   "cover": "heptagon",
   "M": 32,
   "q": 0.0009765625,
   "R_b": 0.5555975256642984,
   "eps_b": 0.11002407628566027,
   "eps_round04": 0.33321614858457926,
   "max_member_dH": 0.02353131774813577,
   "members": 11
  },
  {
   "cover": "heptagon",
   "M": 64,
   "q": 0.000244140625,
   "R_b": 0.5550996784190796,
   "eps_b": 0.054735452869311016,
   "eps_round04": 0.1660768177773983,
   "max_member_dH": 0.011727043458492736,
   "members": 11
  },
  {
   "cover": "hexagon",
   "M": 8,
   "q": 0.015625,
   "R_b": 0.6176392867480922,
   "eps_b": 0.49760678936598834,
   "eps_round04": 1.3938913863659792,
   "max_member_dH": 0.1176392866578807,
   "members": 12
  },
  {
   "cover": "hexagon",
   "M": 16,
   "q": 0.00390625,
   "R_b": 0.5781313678370448,
   "eps_b": 0.23057338364081775,
   "eps_round04": 0.6730556814352937,
   "max_member_dH": 0.05245412813356176,
   "members": 12
  },
  {
   "cover": "hexagon",
   "M": 32,
   "q": 0.0009765625,
   "R_b": 0.5775028044539303,
   "eps_b": 0.11432344062846408,
   "eps_round04": 0.33321614858457926,
   "max_member_dH": 0.026016850332268193,
   "members": 11
  },
  {
   "cover": "hexagon",
   "M": 64,
   "q": 0.000244140625,
   "R_b": 0.577357814335008,
   "eps_b": 0.05692042086933838,
   "eps_round04": 0.1660768177773983,
   "max_member_dH": 0.012663377401236797,
   "members": 11
  }
 ],
 "n2_rows": {
  "0.500000": {
   "hull": 0.7853981633651572,
   "phi": 0.7853981633974483
  },
  "0.505000": {
   "hull": 0.7856328121718166,
   "phi": 0.7856328122027385
  },
  "0.525000": {
   "hull": 0.7879760563997992,
   "phi": 0.787976056429952
  },
  "0.577350": {
   "hull": 0.7988360367663679,
   "phi": 0.79883603679528
  },
  "0.700000": {
   "hull": 0.8365487943202653,
   "phi": 0.8365487943481758
  },
  "1.000000": {
   "hull": 0.9566114774630585,
   "phi": 0.956611477490518
  },
  "1.688187": {
   "hull": 1.2740926824645766,
   "phi": 1.2740926824914887
  }
 },
 "n3_rows": [
  {
   "cover": "sec33",
   "M": 8,
   "LB_outer": -1.342316899198552,
   "LB_env": 0.7856134840490674,
   "LB_env_global_R": 0.7854704720437683,
   "LB_tip": 0.7866823186886375,
   "LB_cell": 0.7866823186886375,
   "smallest_member": 0.7879664739798267,
   "smallest_is": "inner",
   "P_b_over_smallest": 0.1059067549331727,
   "pi_eps_b_squared": 0.6590997037359251
  },
  {
   "cover": "sec33",
   "M": 16,
   "LB_outer": 0.0024663938986073664,
   "LB_env": 0.7870073113358544,
   "LB_env_global_R": 0.7859088436824068,
   "LB_tip": 0.7877413480974276,
   "LB_cell": 0.7877413480974276,
   "smallest_member": 0.8074697589418451,
   "smallest_is": "descent",
   "P_b_over_smallest": 0.043073893758700965,
   "pi_eps_b_squared": 0.14382886617136803
  },
  {
   "cover": "sec33",
   "M": 32,
   "LB_outer": 0.4631939667377738,
   "LB_env": 0.7893416035448512,
   "LB_env_global_R": 0.7866302365309847,
   "LB_tip": 0.7878872157884845,
   "LB_cell": 0.7893416035448512,
   "smallest_member": 0.8265042007033873,
   "smallest_is": "inner",
   "P_b_over_smallest": 0.010574144039840694,
   "pi_eps_b_squared": 0.034308692680143735
  },
  {
   "cover": "sec33",
   "M": 64,
   "LB_outer": 0.65748035530179,
   "LB_env": 0.7936755210933902,
   "LB_env_global_R": 0.7879754689716529,
   "LB_tip": 0.787961181733152,
   "LB_cell": 0.7936755210933902,
   "smallest_member": 0.8314159186401743,
   "smallest_is": "random-6",
   "P_b_over_smallest": 0.002453363910300821,
   "pi_eps_b_squared": 0.00844457670590361
  },
  {
   "cover": "asym",
   "M": 8,
   "LB_outer": -1.3800458771111233,
   "LB_env": 0.7859288928006127,
   "LB_env_global_R": 0.7855789350132483,
   "LB_tip": 0.7866823186886375,
   "LB_cell": 0.7866823186886375,
   "smallest_member": 0.7918189398533941,
   "smallest_is": "inner",
   "P_b_over_smallest": 0.12238068701785543,
   "pi_eps_b_squared": 0.6773902356651504
  },
  {
   "cover": "asym",
   "M": 16,
   "LB_outer": -0.0015729247861887286,
   "LB_env": 0.7873417565520221,
   "LB_env_global_R": 0.786019566574593,
   "LB_tip": 0.7883410119843595,
   "LB_cell": 0.7883410119843595,
   "smallest_member": 0.8120408587863615,
   "smallest_is": "descent",
   "P_b_over_smallest": 0.04405327288192451,
   "pi_eps_b_squared": 0.14593546758550643
  },
  {
   "cover": "asym",
   "M": 32,
   "LB_outer": 0.46536625101014817,
   "LB_env": 0.7901201175212568,
   "LB_env_global_R": 0.7868844473626434,
   "LB_tip": 0.7884974713181199,
   "LB_cell": 0.7901201175212568,
   "smallest_member": 0.8329585524728929,
   "smallest_is": "inner",
   "P_b_over_smallest": 0.01063956454624626,
   "pi_eps_b_squared": 0.034816381245090136
  },
  {
   "cover": "asym",
   "M": 64,
   "LB_outer": 0.6619067111264465,
   "LB_env": 0.7951946156180958,
   "LB_env_global_R": 0.7884723627981938,
   "LB_tip": 0.788536979314443,
   "LB_cell": 0.7951946156180958,
   "smallest_member": 0.8377127507092545,
   "smallest_is": "random-5",
   "P_b_over_smallest": 0.0025126167272355726,
   "pi_eps_b_squared": 0.008562230230133631
  },
  {
   "cover": "disc+RT",
   "M": 8,
   "LB_outer": -1.482654613186822,
   "LB_env": 0.788902182900158,
   "LB_env_global_R": 0.7866274351641489,
   "LB_tip": 0.795274651782896,
   "LB_cell": 0.795274651782896,
   "smallest_member": 0.8242035092045863,
   "smallest_is": "descent",
   "P_b_over_smallest": 0.0744447297736357,
   "pi_eps_b_squared": 0.7173921944193006
  },
  {
   "cover": "disc+RT",
   "M": 16,
   "LB_outer": -0.08735771796686509,
   "LB_env": 0.795489670471646,
   "LB_env_global_R": 0.7888532619453258,
   "LB_tip": 0.7980595965957743,
   "LB_cell": 0.7980595965957743,
   "smallest_member": 0.8257117835909434,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.025513116904428146,
   "pi_eps_b_squared": 0.16701989963603903
  },
  {
   "cover": "disc+RT",
   "M": 32,
   "LB_outer": 0.41603407984778085,
   "LB_env": 0.8064997571538866,
   "LB_env_global_R": 0.7927943527897623,
   "LB_tip": 0.7987856053502187,
   "LB_cell": 0.8064997571538866,
   "smallest_member": 0.8257117835909434,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.010224665215318507,
   "pi_eps_b_squared": 0.041060141844238646
  },
  {
   "cover": "disc+RT",
   "M": 64,
   "LB_outer": 0.6316899752069922,
   "LB_env": 0.8157120526126532,
   "LB_env_global_R": 0.8003632921097316,
   "LB_tip": 0.7987856053502187,
   "LB_cell": 0.8157120526126532,
   "smallest_member": 0.8257117835909434,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.004301008687420338,
   "pi_eps_b_squared": 0.010178553832512411
  },
  {
   "cover": "heptagon",
   "M": 8,
   "LB_outer": -1.5463002273053732,
   "LB_env": 0.789107696334591,
   "LB_env_global_R": 0.7867358888409192,
   "LB_tip": 0.7918956435662997,
   "LB_cell": 0.7918956435662997,
   "smallest_member": 0.8167574331925684,
   "smallest_is": "inner",
   "P_b_over_smallest": 0.15946735221345598,
   "pi_eps_b_squared": 0.7565904183419933
  },
  {
   "cover": "heptagon",
   "M": 16,
   "LB_outer": -0.01609687711377622,
   "LB_env": 0.7961854373597607,
   "LB_env_global_R": 0.7889639338886738,
   "LB_tip": 0.7935334308419612,
   "LB_cell": 0.7961854373597607,
   "smallest_member": 0.8427555829131751,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.06081469426786956,
   "pi_eps_b_squared": 0.15584043685144905
  },
  {
   "cover": "heptagon",
   "M": 32,
   "LB_outer": 0.459930219120206,
   "LB_env": 0.8081347655489257,
   "LB_env_global_R": 0.7928799595189634,
   "LB_tip": 0.7935334308419612,
   "LB_cell": 0.8081347655489257,
   "smallest_member": 0.8427555829131751,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.02754799854347023,
   "pi_eps_b_squared": 0.03802991326359008
  },
  {
   "cover": "heptagon",
   "M": 64,
   "LB_outer": 0.6619889402778061,
   "LB_env": 0.8236091048560799,
   "LB_env_global_R": 0.800513924126073,
   "LB_tip": 0.7935863339552953,
   "LB_cell": 0.8236091048560799,
   "smallest_member": 0.8427555829131751,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.013328273966531579,
   "pi_eps_b_squared": 0.009412116716597071
  },
  {
   "cover": "hexagon",
   "M": 8,
   "LB_outer": -1.5977996272311656,
   "LB_env": 0.7921190302070287,
   "LB_env_global_R": 0.7878567069308493,
   "LB_tip": 0.795274651782896,
   "LB_cell": 0.795274651782896,
   "smallest_member": 0.8462359117666999,
   "smallest_is": "descent",
   "P_b_over_smallest": 0.15025480008365977,
   "pi_eps_b_squared": 0.7778976637884152
  },
  {
   "cover": "hexagon",
   "M": 16,
   "LB_outer": -0.0479911501284398,
   "LB_env": 0.8055811775458437,
   "LB_env_global_R": 0.7923083604932034,
   "LB_tip": 0.7980595965957743,
   "LB_cell": 0.8055811775458437,
   "smallest_member": 0.8660254037844386,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.06230642185982194,
   "pi_eps_b_squared": 0.16701989963603903
  },
  {
   "cover": "hexagon",
   "M": 32,
   "LB_outer": 0.4585161829264228,
   "LB_env": 0.8276013509103247,
   "LB_env_global_R": 0.8001905421820762,
   "LB_tip": 0.7987856053502187,
   "LB_cell": 0.8276013509103247,
   "smallest_member": 0.8660254037844386,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.03091933988296891,
   "pi_eps_b_squared": 0.0410601418442388
  },
  {
   "cover": "hexagon",
   "M": 64,
   "LB_outer": 0.6732409750292963,
   "LB_env": 0.8460259418278584,
   "LB_env_global_R": 0.8153284208220147,
   "LB_tip": 0.7987856053502187,
   "LB_cell": 0.8460259418278584,
   "smallest_member": 0.8660254037844386,
   "smallest_is": "cover",
   "P_b_over_smallest": 0.014718109803866453,
   "pi_eps_b_squared": 0.010178553832512411
  }
 ],
 "n4": {
  "bodies_in_C_Abar": 60,
  "max_Per_over_4Abar": 0.9984148541160581,
  "heptagon_area": 0.8427555829131754,
  "heptagon_Per_over_Area": 3.9999999999999982
 },
 "p1_rows": [
  {
   "M": 64,
   "LB_env_rectangle": 0.7936755224944383,
   "LB_env_exact": 0.7936755210933902,
   "rectangle_minus_exact": 1.401048055349463e-09,
   "LB_tip": 0.787961181733152,
   "LB_cell_text": 0.7936755210933902,
   "eps_round04": 0.1660768177773983,
   "nearest_level_gap": 0.11471338967430711
  },
  {
   "M": 128,
   "LB_env_rectangle": 0.7996297467317487,
   "LB_env_exact": 0.799629746397771,
   "rectangle_minus_exact": 3.3397773435694944e-10,
   "LB_tip": 0.7879704752489851,
   "LB_cell_text": 0.799629746397771,
   "eps_round04": 0.08294163117846125,
   "nearest_level_gap": 0.0063586384276277386
  },
  {
   "M": 256,
   "LB_env_rectangle": 0.8039144600812937,
   "LB_env_exact": 0.8039144597314676,
   "rectangle_minus_exact": 3.4982616803347355e-10,
   "LB_tip": 0.7879751259691814,
   "LB_cell_text": 0.8039144597314676,
   "eps_round04": 0.04145109355489172,
   "nearest_level_gap": 0.010318558342987671
  },
  {
   "M": 512,
   "LB_env_rectangle": 0.8064287142947868,
   "LB_env_exact": 0.8064287143856451,
   "rectangle_minus_exact": -9.08583208669711e-11,
   "LB_tip": 0.7879757074947943,
   "LB_cell_text": 0.8117827922562593,
   "eps_round04": 0.020721174317319874,
   "nearest_level_gap": 0.005089602724183351
  },
  {
   "M": 1024,
   "LB_env_rectangle": 0.8076952824221812,
   "LB_env_exact": 0.8076952822898358,
   "rectangle_minus_exact": 1.3234546791807134e-10,
   "LB_tip": 0.7879759982730619,
   "LB_cell_text": 0.822302298016542,
   "eps_round04": 0.010359563768447386,
   "nearest_level_gap": 6.09253766015172e-05
  }
 ],
 "p1_tool": {
  "one_tent_minus_closed_form": 0.0,
  "rectangle_2^22_minus_exact": 1.2894574297206418e-11
 },
 "package_assertion_power": {
  "LB_outer without the Per*eps term": {
   "noticed": false,
   "largest_LB": 0.8327292799266225,
   "candidate_area": 0.8327576726503144
  },
  "eps_b with one R_b d_M": {
   "noticed": false,
   "largest_LB": 0.8275387064722535,
   "candidate_area": 0.8327576726503144
  },
  "LB_env with factor 1/2": {
   "noticed": true,
   "largest_LB": 1.6153905648443625,
   "candidate_area": 0.8327576726503144
  },
  "LB = Area(P_b)": {
   "noticed": true,
   "largest_LB": 0.8338692825504751,
   "candidate_area": 0.8327576726503144
  }
 },
 "drill": {
  "plants": 21,
  "plants_caught_by_named_checks": 21,
  "controls": 6,
  "controls_undisturbed": 6,
  "must_stay_green_assertions": 447,
  "must_stay_green_held": 447,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-eps-rewritten",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-phi-by-arctan",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-doc-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K4-bound-factored",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K5-outer-factored",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-eps-edited",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-ref-year",
    "kind": "mutation",
    "expected": [
     "A1"
    ],
    "tripped": [
     "A1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-mishra-bound",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-family-misnamed",
    "kind": "mutation",
    "expected": [
     "X1"
    ],
    "tripped": [
     "X1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-lambda1-display",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-gap-display",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-chiral-witness",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-phi-sector-sign",
    "kind": "mutation",
    "expected": [
     "D4",
     "N2",
     "N3",
     "W2"
    ],
    "tripped": [
     "D4",
     "N2",
     "N3",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-phi-no-protrusion",
    "kind": "mutation",
    "expected": [
     "D4",
     "N2",
     "W2"
    ],
    "tripped": [
     "D4",
     "N2",
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-eps-one-sided",
    "kind": "mutation",
    "expected": [
     "D1",
     "P1"
    ],
    "tripped": [
     "D1",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-eps-tiny",
    "kind": "mutation",
    "expected": [
     "D1",
     "N1",
     "N3",
     "P1"
    ],
    "tripped": [
     "D1",
     "N1",
     "N3",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-outer-without-perimeter",
    "kind": "mutation",
    "expected": [
     "D2",
     "N3",
     "P1"
    ],
    "tripped": [
     "D2",
     "N3",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-outer-is-area",
    "kind": "mutation",
    "expected": [
     "D2",
     "N3",
     "P1"
    ],
    "tripped": [
     "D2",
     "N3",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-env-factor-half",
    "kind": "mutation",
    "expected": [
     "D3",
     "N3",
     "P1"
    ],
    "tripped": [
     "D3",
     "N3",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-bound-perimeter-pi-Abar",
    "kind": "mutation",
    "expected": [
     "D5",
     "N4"
    ],
    "tripped": [
     "D5",
     "N4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-bound-without-square",
    "kind": "mutation",
    "expected": [
     "D5"
    ],
    "tripped": [
     "D5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-cell-lower-is-upper",
    "kind": "mutation",
    "expected": [
     "N1",
     "P1"
    ],
    "tripped": [
     "N1",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-quantize-downward",
    "kind": "mutation",
    "expected": [
     "N1",
     "P1"
    ],
    "tripped": [
     "N1",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-recorded-LB-env",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-package-sha",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M21-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}