{
  "mixed_basis": [
    "u**2 - v**2",
    "t*u - v",
    "t*v - u"
  ],
  "mixed_coefficients": [
    "1",
    "t",
    "-1"
  ],
  "mixed_candidates": [],
  "block": {
    "status": "candidate_list_only",
    "order": [
      "u",
      "v",
      "t"
    ],
    "basis": [
      "-t*v + u",
      "t**2*v - v"
    ],
    "leading_coefficients": [
      "1",
      "t**2 - 1"
    ],
    "candidates": [
      "1"
    ],
    "scope": "Completeness for zero-divisor values follows from the paper. A positive regular steady state is additionally sufficient for coverage of every ACR value; neither condition proves that a candidate is ACR."
  },
  "scope": "The mixed order eliminates u,v but is not a block order. Its empty candidate list misses the actual ACR value 1."
}