{
 "status": "unresolved at the time-box",
 "raw_errors": 33,
 "repair_minutes_cumulative": 160,
 "modules_repaired": [
  "AlgClosedUnion",
  "MoritaEquivalence",
  "Morita/ChangeOfRings",
  "Morita/TensorProduct",
  "BrauerGroup",
  "Azumaya/Basic",
  "SkolemNoether",
  "Azumaya/Group",
  "DoubleCentralizer",
  "CSA/ReducedCharPoly",
  "BrauerOverR",
  "MatrixEquivTensor"
 ],
 "modules_still_red": [
  "Subfield/Separable (ZCL_equiv_ZCL_map injectivity; an Algebra instance mismatch between Subring.center and Subalgebra.center K of a centralizer at line ~365)",
  "ToSecond (a rewrite that now needs \u03c1 * \u03c3 * \u03c4 vs \u03c1 * (\u03c3 * \u03c4) in a conjFactor type; H2\u03c0 applied to a cocycle of Rep.ofMulDistribMulAction vs galAct F K)"
 ],
 "last_full_build_errors": 15,
 "note": "Last full lake build showed 15 errors (ReducedCharPoly 5, BrauerOverR 2, Separable 5, ToSecond 3). ReducedCharPoly and BrauerOverR were fixed afterwards and rebuilt singly; Separable partly fixed (5 errors, 2 remain seen) and ToSecond (3) not yet; no full build since. Edits so far are in armA.wip.diff (509 lines, git apply it after `lbbench.py setup brauergroup`). The remaining errors are instance/diamond and dependent-type mismatches, not renames; none is alias-resolvable. Further modules behind these two were not yet built."
}