Resolved inputs: {"base_reactants": [[1, 0, 0, 0, 0], [0, 4, 0, 0, 0], [0, 2, 4, 0, 0], [2, 0, 0, 2, 0]], "base_products": [[0, 0, 0, 1, 0], [0, 0, 0, 6, 0], [4, 0, 0, 1, 2], [0, 0, 2, 0, 2]], "flux": [2, 3, 2, 2, 2], "compact_exponent": 200, "compact_state": ["1", "235", "585", "1/257"], "exact_state": ["2", "600", "33000", "93316000000"], "exact_padded_orders": [11, 7500, 5187522222797, 28200219703], "exponent_sweep": [4, 6, 8, 10, 12, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 36, 38, 40, 42, 44, 46, 48, 50, 52, 54, 56, 58, 60, 62, 64, 66, 68, 70, 72, 74, 76, 78, 80, 82, 84, 86, 88, 90, 92, 94, 96, 98, 100, 102, 104, 106, 108, 110, 112, 114, 116, 118, 120, 122, 124, 126, 128, 130, 132, 134, 136, 138, 140, 142, 144, 146, 148, 150, 152, 154, 156, 158, 160, 162, 164, 166, 168, 170, 172, 174, 176, 178, 180, 182, 184, 186, 188, 190, 192, 194, 196, 198, 200, 202, 204, 206, 208, 210, 212, 214, 216, 218, 220, 222, 224, 226, 228, 230, 232, 234, 236, 238, 240]}
{
  "inputs": {
    "base_reactants": [
      [
        1,
        0,
        0,
        0,
        0
      ],
      [
        0,
        4,
        0,
        0,
        0
      ],
      [
        0,
        2,
        4,
        0,
        0
      ],
      [
        2,
        0,
        0,
        2,
        0
      ]
    ],
    "base_products": [
      [
        0,
        0,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        6,
        0
      ],
      [
        4,
        0,
        0,
        1,
        2
      ],
      [
        0,
        0,
        2,
        0,
        2
      ]
    ],
    "flux": [
      2,
      3,
      2,
      2,
      2
    ],
    "compact_exponent": 200,
    "compact_state": [
      "1",
      "235",
      "585",
      "1/257"
    ],
    "exact_state": [
      "2",
      "600",
      "33000",
      "93316000000"
    ],
    "exact_padded_orders": [
      11,
      7500,
      5187522222797,
      28200219703
    ],
    "exponent_sweep": [
      4,
      6,
      8,
      10,
      12,
      14,
      16,
      18,
      20,
      22,
      24,
      26,
      28,
      30,
      32,
      34,
      36,
      38,
      40,
      42,
      44,
      46,
      48,
      50,
      52,
      54,
      56,
      58,
      60,
      62,
      64,
      66,
      68,
      70,
      72,
      74,
      76,
      78,
      80,
      82,
      84,
      86,
      88,
      90,
      92,
      94,
      96,
      98,
      100,
      102,
      104,
      106,
      108,
      110,
      112,
      114,
      116,
      118,
      120,
      122,
      124,
      126,
      128,
      130,
      132,
      134,
      136,
      138,
      140,
      142,
      144,
      146,
      148,
      150,
      152,
      154,
      156,
      158,
      160,
      162,
      164,
      166,
      168,
      170,
      172,
      174,
      176,
      178,
      180,
      182,
      184,
      186,
      188,
      190,
      192,
      194,
      196,
      198,
      200,
      202,
      204,
      206,
      208,
      210,
      212,
      214,
      216,
      218,
      220,
      222,
      224,
      226,
      228,
      230,
      232,
      234,
      236,
      238,
      240
    ]
  },
  "same_skeleton": true,
  "child_count": 24,
  "exact_eigenpair": {
    "real_part": "1/500",
    "imaginary_part": "51/500",
    "real_vector": [
      "-152886431705",
      "23331004034",
      "7890610882",
      "1399740000"
    ],
    "imaginary_vector": [
      "15563289455",
      "-30699360512",
      "34396287629",
      "0"
    ],
    "residual": "exactly zero"
  },
  "compact_certificate": {
    "coefficients": [
      "1",
      "87840586/423",
      "325113896/5499",
      "22009472/1833",
      "2105344/611"
    ],
    "delta2": "2196782093181776/178929",
    "delta3": "-384290295376441702400/327976857",
    "classification": "two right-half-plane roots"
  },
  "base_certificate": {
    "coefficients": [
      "1",
      "113122114/27495",
      "1269329416/137475",
      "31339264/15275",
      "1052672/15275"
    ],
    "delta2": "143581471842732304/3779875125",
    "delta3": "1477461490764834283999232/19245864178125",
    "classification": "strictly stable"
  },
  "uniform_lift_state": "49270848000000",
  "uniform_lift_max_exponent": "2739011733636816",
  "first_sampled_unstable_exponent": 196,
  "evidence": "Rational certificates for flux, lifting, eigenpair, child coverage and Hurwitz signs. Spectral coordinates are floating-point visualizations. No Hopf or periodic-orbit claim; no Lean compilation."
}
