{
 "run": "RUN-052",
 "subject": "LESR Paper 02: group-orbit shape expansion and symmetry breaking",
 "document": "main.zip!/LESR_Skew_Field_Variational/LESR_Paper02_Package_v0.1.zip!/LESR_Paper02_Group_Orbit_Shape_Expansion_and_Symmetry_Breaking_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": []
  }
 },
 "w1": {
  "erratum": [
   true,
   true
  ],
  "matrices": [
   true,
   true,
   true,
   true
  ],
  "eigen": [
   true,
   true
  ],
  "equivariant": [
   true,
   true
  ],
  "generator": true,
  "placements": true,
  "steiner": true,
  "ranks_C": [
   49,
   25,
   17,
   13,
   9,
   9,
   7,
   7
  ],
  "ranks_D": [
   25,
   13,
   9,
   7,
   5,
   5,
   4,
   4
  ],
  "idempotent": true,
  "images": true,
  "axis": true
 },
 "w2": {
  "gram": {
   "diagonal": [
    2,
    0,
    0,
    -3,
    -3,
    -8,
    -8,
    -15,
    -15,
    -24,
    -24
   ],
   "off": 0
  },
  "bodies": {
   "reuleaux3": {
    "breaking": true,
    "translation": true,
    "parts": true,
    "preserving": [
     -2.0,
     0.0,
     0.666667,
     0.0
    ]
   },
   "reuleaux5": {
    "breaking": true,
    "translation": true,
    "parts": true,
    "preserving": [
     -2.0,
     0.0
    ]
   },
   "kernel": {
    "breaking": true,
    "translation": true,
    "parts": true,
    "preserving": [
     0.103384,
     -0.80166,
     0.134764,
     -0.528747,
     -2.068638,
     0.45059,
     0.507126,
     0.372525,
     -0.960988,
     -0.248561,
     1.717064
    ]
   }
  },
  "qdag": 0.00015
 },
 "w3": {
  "law": [
   161,
   161
  ],
  "misses": [],
  "m1": [
   [
    2,
    [
     2,
     2
    ],
    [
     1,
     1
    ]
   ],
   [
    3,
    [
     3,
     3
    ],
    [
     1,
     1
    ]
   ],
   [
    4,
    [
     4,
     4
    ],
    [
     1,
     1
    ]
   ],
   [
    5,
    [
     5,
     5
    ],
    [
     1,
     1
    ]
   ],
   [
    6,
    [
     6,
     6
    ],
    [
     1,
     1
    ]
   ],
   [
    7,
    [
     7,
     7
    ],
    [
     1,
     1
    ]
   ],
   [
    8,
    [
     8,
     8
    ],
    [
     1,
     1
    ]
   ]
  ],
  "examples": {
   "3": 3,
   "4": 2,
   "5": 1,
   "12": 6
  }
 },
 "w4": {
  "smooth": {
   "kappa0": 0.5851,
   "ratio": [
    1.0,
    2.004
   ],
   "last": [
    1.0,
    1.009
   ]
  },
  "bodies": {
   "reuleaux3": {
    "stretches": 3,
    "widest": 1.047198,
    "admissible": [
     3
    ],
    "caps": [
     0.125
    ]
   },
   "reuleaux5": {
    "stretches": 5,
    "widest": 0.628319,
    "admissible": [
     5
    ],
    "caps": [
     0.041667
    ]
   },
   "kernel": {
    "stretches": 5,
    "widest": 1.675516,
    "admissible": [],
    "caps": []
   },
   "qdag": {
    "stretches": 4,
    "widest": 1.675492,
    "admissible": [],
    "caps": []
   }
  }
 },
 "w5": {
  "mirror": true,
  "z": 0.8347809458213,
  "lower_by": 9.03e-11,
  "kinks": {
   "y3": [
    0.1327,
    0.1327
   ],
   "phi5": [
    0.0442,
    0.0442
   ],
   "y5": [
    0.2733,
    0.2733
   ]
  },
  "rise": true,
  "least": {
   "1e-07": 0.0087,
   "1e-06": 0.0033,
   "1e-05": 0.0073
  },
  "line": true,
  "stabilizers": {
   "z": [
    1,
    1
   ],
   "qdag": [
    1,
    0
   ]
  },
  "supports": true
 },
 "w6": {
  "outputs": true,
  "modes": true,
  "eigenvalue": true,
  "prediction": true,
  "erratum": true,
  "unmapped": [],
  "completed": 16,
  "disclaimed": [
   false,
   true,
   true,
   true
  ],
  "next": [
   true,
   true
  ]
 },
 "w7": {
  "lines": 62,
  "defs": [
   "mode_class",
   "convexity_eigenvalue",
   "aligned_dihedral_prediction",
   "smooth_convexity_amplitude_cap",
   "compile_mode"
  ],
  "classes": [
   "ModeState"
  ],
  "outputs": [
   "PRESERVE_H",
   "BREAK_TO_K",
   "GAUGE_MODE"
  ],
  "cap_used": false,
  "rotation_gauge": false,
  "scale_mode": true
 },
 "p1": {
  "digests": [
   true,
   true,
   true,
   true
  ],
  "utf8": true,
  "delimiters": [
   "PASS",
   []
  ],
  "manifest": true
 },
 "drill": {
  "plants": 17,
  "plants_caught_by_named_checks": 17,
  "controls": 3,
  "controls_undisturbed": 3,
  "must_stay_green_assertions": 163,
  "must_stay_green_held": 163,
  "unplanted_checks": [],
  "cases": [
   {
    "case": "K0-unmodified",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K1-crlf",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "K2-validation-keys-sorted",
    "kind": "control",
    "expected": [],
    "tripped": [],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M1-gcd-text",
    "kind": "mutation",
    "expected": [
     "A0"
    ],
    "tripped": [
     "A0"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M2-erratum-source",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M3-projector-rank",
    "kind": "mutation",
    "expected": [
     "W1"
    ],
    "tripped": [
     "W1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M4-breaking-first-variation",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M5-gram-off-diagonal",
    "kind": "mutation",
    "expected": [
     "W2"
    ],
    "tripped": [
     "W2"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M6-gcd-miss",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M7-translation-intrinsic",
    "kind": "mutation",
    "expected": [
     "W3"
    ],
    "tripped": [
     "W3"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M8-reuleaux-admissible",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M9-smooth-ratio",
    "kind": "mutation",
    "expected": [
     "W4"
    ],
    "tripped": [
     "W4"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M10-seed-lower",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M11-flat-breaking",
    "kind": "mutation",
    "expected": [
     "W5"
    ],
    "tripped": [
     "W5"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M12-schema-output",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M13-state-completed",
    "kind": "mutation",
    "expected": [
     "W6"
    ],
    "tripped": [
     "W6"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M14-scaffold-blocked",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M15-scaffold-m0",
    "kind": "mutation",
    "expected": [
     "W7"
    ],
    "tripped": [
     "W7"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M16-validation-digest",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   },
   {
    "case": "M17-state-bytes",
    "kind": "mutation",
    "expected": [
     "P1"
    ],
    "tripped": [
     "P1"
    ],
    "vacuous": false,
    "ok": true
   }
  ]
 }
}