{
  "sweep": "DC1 sparse two-term ansatz, filtration weight <= 4",
  "patterns_tested": 144,
  "nontrivial_solution_families": [],
  "non_triangular_anomalies": [],
  "engine": "exact normal-ordered Weyl algebra, sympy rational/symbolic",
  "conclusion": "All commuting-pair solutions in this ansatz class are triangular/tame images (or listed as anomalies above). Exclusion data banked; next sweeps: 3-term ansatz, equivariant seeds from Alpoge Mechanism II, weight 6-8.",
  "elapsed_sec": 0.42
}