{
 "run": "RUN-002",
 "subject": "Round 01 (v0.1): support-skew linear programming, the curve library, the first adversarial search",
 "package": {
  "id": "round-v0.1",
  "sha256": "d7a832b43af9e2537335a1c9be767b39069f914e53e20b42edf5864997f736da"
 },
 "checks": {
  "W1": {
   "pass": true,
   "failures": []
  },
  "W2": {
   "pass": true,
   "failures": []
  },
  "W3": {
   "pass": false,
   "failures": [
    "segment / wetzel_triangle_certified: record 0.910863460 exceeds the scanned minimum 0.910859678 - the rotation search stopped above it",
    "V_60 / sector_30deg_R1: record 0.866029837 exceeds the scanned minimum 0.866025404 - the rotation search stopped above it",
    "V_90 / wetzel_triangle_certified: record 0.879823896 exceeds the scanned minimum 0.879822887 - the rotation search stopped above it",
    "V_120 / wetzel_triangle_certified: record 0.910862299 exceeds the scanned minimum 0.910859678 - the rotation search stopped above it",
    "U_equal / wetzel_triangle_certified: record 0.957832237 exceeds the scanned minimum 0.957829839 - the rotation search stopped above it",
    "semicircle / sector_30deg_R1: record 0.954941594 exceeds the scanned minimum 0.954940311 - the rotation search stopped above it",
    "semicircle / wetzel_triangle_certified: record 0.914631706 exceeds the scanned minimum 0.914629508 - the rotation search stopped above it",
    "arc_270 / sector_30deg_R1: record 0.912880309 exceeds the scanned minimum 0.912879782 - the rotation search stopped above it",
    "arc_270 / wetzel_triangle_certified: record 0.925582665 exceeds the scanned minimum 0.925581618 - the rotation search stopped above it"
   ]
  },
  "W4": {
   "pass": false,
   "failures": [
    "rotation 1.102428 gives 0.918731353, below the recorded critical scale"
   ]
  },
  "W5": {
   "pass": true,
   "failures": []
  },
  "W6": {
   "pass": false,
   "failures": [
    "report says 35 curves; the records hold 34",
    "README says 35 curves; the records hold 34",
    "summary says 35 curves; the records hold 34"
   ]
  },
  "W7": {
   "pass": true,
   "failures": []
  },
  "W8": {
   "pass": true,
   "failures": []
  },
  "W9": {
   "pass": true,
   "failures": []
  }
 },
 "findings": {
  "candidate": {
   "recorded": 0.9187329184910362,
   "scanned_min_over_rotations": 0.9187313526708817,
   "at_rotation": 1.1024282915894517,
   "mirror_image_scanned_min": 0.894544931949285,
   "mirror_at_rotation": 6.227954552989572,
   "congruent_critical_scale": 0.894544931949285
  },
  "readings": {
   "V": "turn",
   "arc": "chords"
  },
  "defined_curves": [
   {
    "curve": "segment",
    "container": "circle_R0.5",
    "record": 0.9998661320948007,
    "program_scanned_min": 0.9998661379101378,
    "true": 1.0,
    "record_minus_true": -0.00013386790519931413
   },
   {
    "curve": "segment",
    "container": "sector_30deg_R1",
    "record": 0.9998661437241965,
    "program_scanned_min": 0.9998661379098216,
    "true": 0.9999999264657649,
    "record_minus_true": -0.00013378274156838899
   },
   {
    "curve": "segment",
    "container": "wetzel_triangle_certified",
    "record": 0.9108634599242537,
    "program_scanned_min": 0.9108596782571152,
    "true": 0.9108596782571148,
    "record_minus_true": 3.7816671388801737e-06
   },
   {
    "curve": "V_60",
    "container": "circle_R0.5",
    "record": 0.8659094707777845,
    "program_scanned_min": 0.8659094758146195,
    "true": 0.8660254037844386,
    "record_minus_true": -0.0001159330066541342
   },
   {
    "curve": "V_60",
    "container": "sector_30deg_R1",
    "record": 0.8660298373185341,
    "program_scanned_min": 0.8660254037844399,
    "true": 0.8660254056354384,
    "record_minus_true": 4.431683095718064e-06
   },
   {
    "curve": "V_60",
    "container": "wetzel_triangle_certified",
    "record": 0.7888276206535819,
    "program_scanned_min": 0.7888276206535859,
    "true": 0.7888276206535819,
    "record_minus_true": 0.0
   },
   {
    "curve": "V_90",
    "container": "circle_R0.5",
    "record": 0.7070121222829977,
    "program_scanned_min": 0.7070121263960046,
    "true": 0.7071067811865476,
    "record_minus_true": -9.465890354987128e-05
   },
   {
    "curve": "V_90",
    "container": "sector_30deg_R1",
    "record": 0.9659259805609643,
    "program_scanned_min": 0.9659258262890699,
    "true": 0.9659258282308383,
    "record_minus_true": 1.5233012606863383e-07
   },
   {
    "curve": "V_90",
    "container": "wetzel_triangle_certified",
    "record": 0.8798238959851337,
    "program_scanned_min": 0.8798228873538992,
    "true": 0.8798228873538987,
    "record_minus_true": 1.0086312349777415e-06
   },
   {
    "curve": "V_120",
    "container": "circle_R0.5",
    "record": 0.5772728991949223,
    "program_scanned_min": 0.5772729838761042,
    "true": 0.5773502691896258,
    "record_minus_true": -7.736999470353556e-05
   },
   {
    "curve": "V_120",
    "container": "sector_30deg_R1",
    "record": 0.9659258262890695,
    "program_scanned_min": 0.9659258262890702,
    "true": 0.9659258262897845,
    "record_minus_true": -7.149836278586008e-13
   },
   {
    "curve": "V_120",
    "container": "wetzel_triangle_certified",
    "record": 0.9108622987650007,
    "program_scanned_min": 0.910859678257115,
    "true": 0.9108596782571151,
    "record_minus_true": 2.6205078855756625e-06
   },
   {
    "curve": "U_equal",
    "container": "circle_R0.5",
    "record": 0.47134131767609194,
    "program_scanned_min": 0.47134141759706616,
    "true": 0.4714045207910317,
    "record_minus_true": -6.320311493973607e-05
   },
   {
    "curve": "U_equal",
    "container": "sector_30deg_R1",
    "record": 0.9697308636423606,
    "program_scanned_min": 0.9697308636423614,
    "true": 0.969770959981696,
    "record_minus_true": -4.00963393354381e-05
   },
   {
    "curve": "U_equal",
    "container": "wetzel_triangle_certified",
    "record": 0.9578322371717171,
    "program_scanned_min": 0.957829839128556,
    "true": 0.9578298391285559,
    "record_minus_true": 2.3980431611558828e-06
   },
   {
    "curve": "semicircle",
    "container": "circle_R0.5",
    "record": 0.6366197650849454,
    "program_scanned_min": 0.6366197775739755,
    "true": 0.6366197723675814,
    "record_minus_true": -7.282635938743454e-09
   },
   {
    "curve": "semicircle",
    "container": "sector_30deg_R1",
    "record": 0.9549415938231277,
    "program_scanned_min": 0.9549403112789188,
    "true": 0.9549296398205803,
    "record_minus_true": 1.1954002547387432e-05
   },
   {
    "curve": "semicircle",
    "container": "wetzel_triangle_certified",
    "record": 0.914631705920478,
    "program_scanned_min": 0.9146295078598621,
    "true": 0.9146600913365155,
    "record_minus_true": -2.8385416037446376e-05
   },
   {
    "curve": "arc_270",
    "container": "circle_R0.5",
    "record": 0.42450543633697474,
    "program_scanned_min": 0.42450551886182825,
    "true": 0.4244131815783876,
    "record_minus_true": 9.225475858715138e-05
   },
   {
    "curve": "arc_270",
    "container": "sector_30deg_R1",
    "record": 0.9128803085839153,
    "program_scanned_min": 0.9128797816047597,
    "true": 0.912776986461171,
    "record_minus_true": 0.0001033221227443315
   },
   {
    "curve": "arc_270",
    "container": "wetzel_triangle_certified",
    "record": 0.9255826647148416,
    "program_scanned_min": 0.9255816175787583,
    "true": 0.9254153492599068,
    "record_minus_true": 0.00016731545493486877
   }
  ],
  "library_maxima_true": {
   "circle_R0.5": 1.0,
   "sector_30deg_R1": 0.9999999264657649,
   "wetzel_triangle_certified": 0.9578298391285559
  },
  "arc_polylines_in_disc": {
   "semicircle": {
    "chord_circle_diameter": 1.2733673854519647,
    "record": 0.6366197650849454,
    "grid": 0.6366197775739755,
    "record_over_true": 0.49994979638887627,
    "grid_over_true": 0.4999498061967528,
    "exact_arc": 0.6366197723675814
   },
   "arc_270": {
    "chord_circle_diameter": 0.8490181410802824,
    "record": 0.42450543633697474,
    "grid": 0.42450551886182825,
    "record_over_true": 0.4999957195223628,
    "grid_over_true": 0.4999958167227046,
    "exact_arc": 0.4244131815783876
   }
  },
  "not_rebuildable": [
   "almost_circle",
   "random_00_4s",
   "random_01_10s",
   "random_02_5s",
   "random_03_9s",
   "random_04_7s",
   "random_05_12s",
   "random_06_12s",
   "random_07_11s",
   "random_08_4s",
   "random_09_7s",
   "random_10_9s",
   "random_11_3s",
   "random_12_7s",
   "random_13_9s",
   "random_14_5s",
   "random_15_9s",
   "random_16_6s",
   "random_17_9s",
   "random_18_5s",
   "random_19_8s",
   "random_20_8s",
   "random_21_4s",
   "random_22_8s",
   "random_23_6s",
   "zigzag_4",
   "zigzag_8"
  ],
  "history_vs_summary": {
   "history_best_by_generation": [
    0.9188911457186122,
    0.9188911457186122,
    0.9188911457186122,
    0.9332568694705895,
    0.9345142133646341
   ],
   "summary_best": 0.9187329184910362
  },
  "candidate_length": 1.0,
  "grid_relaxation_factor": 0.9998661379095618
 },
 "drill": {
  "plants": 19,
  "plants_caught_by_named_checks": 19,
  "controls": 4,
  "controls_undisturbed": 4,
  "must_stay_green_assertions": 174,
  "must_stay_green_held": 174,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-records-reversed",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-report-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K3-report-trailing-spaces",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-triangle-leg",
    "kind": "mutation",
    "expected": [
     "W1",
     "W3",
     "W4",
     "W8",
     "W9"
    ],
    "tripped": [
     "W1",
     "W3",
     "W4",
     "W8",
     "W9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-certified-divisor",
    "kind": "mutation",
    "expected": [
     "W1",
     "W3",
     "W4",
     "W8",
     "W9"
    ],
    "tripped": [
     "W1",
     "W3",
     "W4",
     "W8",
     "W9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-grid-191",
    "kind": "mutation",
    "expected": [
     "W2",
     "W3",
     "W4",
     "W9"
    ],
    "tripped": [
     "W2",
     "W3",
     "W4",
     "W9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-record-bumped",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-record-below-table",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-curve-dropped",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-defect-misstated",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-curve-point-moved",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-skew-field-entry",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-citation-scale",
    "kind": "mutation",
    "expected": [
     "W8"
    ],
    "tripped": [
     "W8"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-table-digit",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-lp-statement",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-count-stated",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-V-reading",
    "kind": "mutation",
    "expected": [
     "W3",
     "W9"
    ],
    "tripped": [
     "W3",
     "W9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-arc-reading",
    "kind": "mutation",
    "expected": [
     "W3",
     "W9"
    ],
    "tripped": [
     "W3",
     "W9"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-rotation-sign",
    "kind": "mutation",
    "expected": [
     "W4",
     "W7"
    ],
    "tripped": [
     "W4",
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-sector-area",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M18-triangle-mirrored",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M19-translation-misstated",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}