{
  "literal_self_amplification": {
    "status": "yes",
    "attempted": 1,
    "admissible": 1,
    "witness": {
      "certificate": {
        "left": [
          [
            1
          ]
        ],
        "right": [
          [
            2
          ]
        ],
        "entities": [
          0
        ],
        "reactions": [
          0
        ],
        "flow": [
          1
        ]
      },
      "verification": {
        "accepted": true,
        "certificate": "motif; PAC existence follows by finite descent",
        "minimality": "not checked",
        "production": [
          "1"
        ],
        "reasons": []
      },
      "determinant": 1,
      "integer_flow_bound": 1,
      "max_flow_bits": 1,
      "minimality": "PAC certified by exhaustive exclusion of every smaller square witness"
    }
  },
  "reverse_flow_needed": {
    "status": "yes",
    "attempted": 1,
    "admissible": 1,
    "witness": {
      "certificate": {
        "left": [
          [
            2
          ]
        ],
        "right": [
          [
            1
          ]
        ],
        "entities": [
          0
        ],
        "reactions": [
          0
        ],
        "flow": [
          -1
        ]
      },
      "verification": {
        "accepted": true,
        "certificate": "motif; PAC existence follows by finite descent",
        "minimality": "not checked",
        "production": [
          "1"
        ],
        "reasons": []
      },
      "determinant": -1,
      "integer_flow_bound": 1,
      "max_flow_bits": 1,
      "minimality": "PAC certified by exhaustive exclusion of every smaller square witness"
    }
  },
  "balanced_conversion": {
    "status": "no_exhaustive",
    "attempted": 2,
    "admissible": 0,
    "scope": "Every square support was checked; this is exponential enumeration, not a polynomial-time solver."
  },
  "external_resource": {
    "status": "yes",
    "attempted": 1,
    "admissible": 1,
    "witness": {
      "certificate": {
        "left": [
          [
            1
          ],
          [
            1
          ]
        ],
        "right": [
          [
            2
          ],
          [
            0
          ]
        ],
        "entities": [
          0
        ],
        "reactions": [
          0
        ],
        "flow": [
          1
        ]
      },
      "verification": {
        "accepted": true,
        "certificate": "motif; PAC existence follows by finite descent",
        "minimality": "not checked",
        "production": [
          "1",
          "-1"
        ],
        "reasons": []
      },
      "determinant": 1,
      "integer_flow_bound": 1,
      "max_flow_bits": 1,
      "minimality": "PAC certified by exhaustive exclusion of every smaller square witness"
    }
  },
  "net_only_cancellation_error": {
    "status": "no_exhaustive",
    "attempted": 1,
    "admissible": 0,
    "scope": "Every square support was checked; this is exponential enumeration, not a polynomial-time solver."
  },
  "closed_conservative_cycle": {
    "status": "no_exhaustive",
    "attempted": 19,
    "admissible": 1,
    "scope": "Every square support was checked; this is exponential enumeration, not a polynomial-time solver."
  }
}