{
 "run": "RUN-019",
 "subject": "Round 16: the capacity-aware global master-root pilot",
 "document": "main.zip!/AMRAL_LUC_FC_Round_16_Package_v0.1.zip!/AMRAL_Lebesgue_Finite_Closure_Round_16_Global_Pilot_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": []
  },
  "W8": {
   "pass": true,
   "failures": []
  },
  "P1": {
   "pass": true,
   "failures": []
  },
  "P2": {
   "pass": true,
   "failures": []
  },
  "R1": {
   "pass": true,
   "failures": []
  }
 },
 "w1": {
  "t3": 0.20102352900741138,
  "t5": 0.20261828623043537,
  "t7": 0.20147344578628762
 },
 "w2": {
  "farthest_centre": {
   "3": 0.2842902010783825,
   "5": 0.28654552837187547,
   "7": 0.28492647948900846
  },
  "apr_value_everywhere": 0.7853981633974483,
  "rep_needs_centre": 0.9684371254360358,
  "highest_hard_centre": 0.926405689911302,
  "cells_beyond_t_n": {
   "official closed": 0,
   "official hard": 0,
   "exact_tau hard": 0,
   "immediate hard": 0
  }
 },
 "w3": {
  "official": [
   "phi5",
   "x5",
   "y5",
   "x3",
   "y3",
   "phi5",
   "x5",
   "y5",
   "x3",
   "y3",
   "phi5",
   "x5",
   "y5",
   "x3",
   "y3",
   "phi5",
   "x5",
   "y5"
  ],
  "exact_tau": [
   "phi5",
   "phi5",
   "x5",
   "phi5",
   "x3",
   "y5",
   "y3",
   "x5",
   "phi5",
   "x3",
   "y5",
   "y3",
   "x5",
   "phi5",
   "x3",
   "y5"
  ]
 },
 "w4": {
  "sampled": {
   "official@10": [
    2047,
    0,
    0,
    370,
    654
   ],
   "official@12": [
    4919,
    0,
    0,
    1126,
    1334
   ],
   "official@14": [
    11639,
    0,
    0,
    3218,
    2602
   ],
   "official@16": [
    23455,
    0,
    0,
    7616,
    4112
   ],
   "official@18": [
    45651,
    0,
    0,
    12378,
    10448
   ],
   "exact_tau@10": [
    2047,
    0,
    0,
    0,
    1024
   ],
   "exact_tau@12": [
    6519,
    0,
    0,
    1936,
    1324
   ],
   "exact_tau@14": [
    13319,
    0,
    0,
    3146,
    3514
   ],
   "exact_tau@16": [
    28771,
    0,
    0,
    9134,
    5252
   ],
   "immediate@10": [
    2047,
    0,
    0,
    352,
    672
   ],
   "immediate@12": [
    5107,
    0,
    0,
    1154,
    1400
   ],
   "immediate@14": [
    12067,
    0,
    0,
    3148,
    2886
   ],
   "immediate@16": [
    24691,
    0,
    0,
    8004,
    4342
   ],
   "master@16": [
    23455,
    0,
    0,
    7616,
    4112
   ]
  },
  "exact": {
   "official@10": [
    2039,
    0,
    0,
    368,
    652
   ],
   "official@12": [
    4739,
    0,
    0,
    1124,
    1246
   ],
   "official@14": [
    11083,
    0,
    0,
    3062,
    2480
   ],
   "official@16": [
    21971,
    0,
    0,
    7280,
    3706
   ],
   "official@18": [
    41899,
    0,
    0,
    11716,
    9234
   ],
   "exact_tau@10": [
    2047,
    0,
    0,
    0,
    1024
   ],
   "exact_tau@12": [
    6347,
    0,
    0,
    1866,
    1308
   ],
   "exact_tau@14": [
    12743,
    0,
    0,
    3194,
    3178
   ],
   "exact_tau@16": [
    26559,
    0,
    0,
    8548,
    4732
   ],
   "immediate@10": [
    2047,
    0,
    0,
    370,
    654
   ],
   "immediate@12": [
    4795,
    0,
    0,
    1120,
    1278
   ],
   "immediate@14": [
    11347,
    0,
    0,
    3136,
    2538
   ],
   "immediate@16": [
    22759,
    0,
    0,
    7542,
    3838
   ],
   "master@16": [
    21971,
    0,
    0,
    7280,
    3706
   ]
  },
  "late_ties": {
   "official@10": [
    2043,
    0,
    0,
    368,
    654
   ],
   "official@12": [
    4915,
    0,
    0,
    1140,
    1318
   ],
   "official@14": [
    11603,
    0,
    0,
    3238,
    2564
   ],
   "official@16": [
    23343,
    0,
    0,
    7560,
    4112
   ],
   "official@18": [
    45503,
    0,
    0,
    12304,
    10448
   ],
   "exact_tau@10": [
    2039,
    0,
    0,
    68,
    952
   ],
   "exact_tau@12": [
    6487,
    0,
    0,
    1850,
    1394
   ],
   "exact_tau@14": [
    13327,
    0,
    0,
    3060,
    3604
   ],
   "exact_tau@16": [
    29571,
    0,
    0,
    9098,
    5688
   ],
   "immediate@10": [
    2043,
    0,
    0,
    350,
    672
   ],
   "immediate@12": [
    5103,
    0,
    0,
    1158,
    1394
   ],
   "immediate@14": [
    12063,
    0,
    0,
    3358,
    2674
   ],
   "immediate@16": [
    24263,
    0,
    0,
    7790,
    4342
   ],
   "master@16": [
    23343,
    0,
    0,
    7560,
    4112
   ]
  },
  "late_ties_changed_rows": [
   "exact_tau@10",
   "exact_tau@12",
   "exact_tau@14",
   "exact_tau@16",
   "immediate@16",
   "master@16",
   "official@10",
   "official@12",
   "official@14",
   "official@16",
   "official@18"
  ],
  "reduction_depth16": {
   "sampled": [
    0.18476938583990823,
    0.21706016755521707
   ],
   "exact": [
    0.17274746790165293,
    0.21682163989856298
   ],
   "late_ties": [
    0.21061174799634777,
    0.2770745428973277
   ]
  }
 },
 "w5": {
  "sampled": {
   "near": {
    "0.00075": 2,
    "0.001": 2,
    "0.002": 8,
    "0.005": 70,
    "0.01": 196,
    "0.02": 714
   },
   "tail": {
    "1": 10448,
    "2": 9026,
    "3": 2186,
    "4": 432,
    "5": 142,
    "6": 48,
    "7": 8,
    "8": 2
   }
  },
  "exact_centres": {
   "near": {
    "0.00075": 0,
    "0.001": 0,
    "0.002": 0,
    "0.005": 12,
    "0.01": 128,
    "0.02": 502
   },
   "tail": {
    "1": 10448,
    "2": 8272,
    "3": 1780,
    "4": 322,
    "5": 92,
    "6": 4,
    "7": 0,
    "8": 0
   }
  },
  "centre_loss": {
   "min": 0.0015728311549637608,
   "median": 0.003459779209303071,
   "max": 0.0056349768416766866
  },
  "exact_min_centre": 0.8385552223166568,
  "tiers": {
   "tail_ge_7_cycles": 8,
   "tail_ge_5_cycles": 142,
   "middle_3_to_4_cycles": 2044,
   "bulk_1_to_2_cycles": 8262
  },
  "share_at_most_3_cycles": 0.9586523736600306
 },
 "w6": {
  "A_qdag": 0.834780945911541,
  "image_cells": {
   "q": "010000011100111001",
   "Mq": "111011001010010100",
   "Rq": "101100100111001010",
   "MRq": "000111110001100111",
   "R2q": "000111110001100111",
   "MR2q": "101100100111001010"
  },
  "qdag_to_faces": {
   "y3": 3.708198611978e-08,
   "phi5": 2.4128951082724726e-05,
   "y5": 3.896981517063e-06
  },
  "subtarget_cells": 19,
  "subtarget_candidates": 900,
  "subtarget_tiers": {
   "Tail-A": 14,
   "Tail-B": 5,
   "Bulk": 0
  },
  "witness_areas": [
   0.8347809459115403,
   0.8349713715078221
  ],
  "witness_found_by": {
   "clipped image": 10,
   "local search": 9
  },
  "subtarget_paths": [
   "000011111001110111",
   "000111110001100011",
   "000111110001100111",
   "010000011100111001",
   "010010011000110001",
   "011000001100011000",
   "011000001100011010",
   "011010001000010000",
   "011010001000010010",
   "101000101111011010",
   "101100100111001010",
   "101100100111001110",
   "110001011110111101",
   "110001011110111111",
   "110011011010110101",
   "110011011010110111",
   "111001001110011100",
   "111011001010010100",
   "111011001010010110"
  ],
  "proxy_sample_closed": {
   "1": 40,
   "2": 40
  }
 },
 "w7": {
  "sampled": {
   "000111110001100111": {
    "nodes": 2403,
    "closed": 568,
    "unresolved": 634,
    "worst": 1.2487498313173973e-06
   },
   "101100100111001010": {
    "nodes": 2403,
    "closed": 568,
    "unresolved": 634,
    "worst": 1.2487498313173973e-06
   }
  },
  "exact": {
   "000111110001100111": {
    "nodes": 2251,
    "closed": 549,
    "unresolved": 577,
    "worst": 1.6397113363764149e-06
   },
   "101100100111001010": {
    "nodes": 2251,
    "closed": 549,
    "unresolved": 577,
    "worst": 1.6397113361543703e-06
   }
  }
 },
 "w8": {
  "invariance_worst": 7.771561172376096e-16,
  "unmatched": {
   "sampled hard": 0,
   "sampled closed": 0,
   "exact hard": 0,
   "exact closed": 0
  },
  "turn_in_phi_cells": 10.666666666666664
 },
 "p2": {
  "code_runs_depths": [
   16,
   18
  ],
  "summary_depths_not_run": [
   10,
   12,
   14
  ],
  "summary_keys_not_written": [
   "scheduler_table",
   "cycle_tail_ge",
   "b7_probes",
   "cap",
   "top8",
   "near_counts",
   "priority_tiers"
  ]
 },
 "drill": {
  "plants": 20,
  "plants_caught_by_named_checks": 20,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 264,
  "must_stay_green_held": 264,
  "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-mirror-by-index-complement",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-exact-tau-by-round09-greedy",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-doc-depth18-nodes",
    "kind": "mutation",
    "expected": [
     "A0",
     "P1"
    ],
    "tripped": [
     "A0",
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-root-t3-digit",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-apr-assumed-live",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M20-corner-rule-needed",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-official-ties-late",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-table-count",
    "kind": "mutation",
    "expected": [
     "P1",
     "W4"
    ],
    "tripped": [
     "P1",
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-near-count",
    "kind": "mutation",
    "expected": [
     "P1",
     "W5"
    ],
    "tripped": [
     "P1",
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-exact-profile-as-sampled",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-turn-image-cell",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-proxy-conservative",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-subtarget-in-bulk",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-probe-count",
    "kind": "mutation",
    "expected": [
     "P1",
     "W7"
    ],
    "tripped": [
     "P1",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-exact-probe-closes",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-mirror-flips-x3",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-directions-lost",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-ties-immaterial",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-spec-tier",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-code-digest",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-code-wrote-summary",
    "kind": "mutation",
    "expected": [
     "P2"
    ],
    "tripped": [
     "P2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-review-dropped",
    "kind": "mutation",
    "expected": [
     "R1"
    ],
    "tripped": [
     "R1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}