{
  "parameters": [
    "7/16",
    "7/16",
    "1",
    "12/25",
    "1/2",
    "1"
  ],
  "classification": {
    "inside": true,
    "status": "disguised toric",
    "z0": "0",
    "E_z0": "-35/64",
    "t": "-26/7",
    "threshold_margin": null
  },
  "reference": [
    "1/2",
    "1/2",
    "5/8",
    "13/48"
  ],
  "reference_scope": "exact rational stationary state",
  "root_enclosure": null,
  "currents": {
    "K": "3/16",
    "J": "1/8",
    "B_minus_J": "3/8",
    "AB_margins": [
      "1/16",
      "1/16"
    ],
    "zH_margins": [
      "-3/16",
      "13/48"
    ]
  },
  "supporting_certificates": {
    "K": {
      "slacks": [
        [
          0,
          0,
          0,
          1,
          0,
          2,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          1,
          0
        ],
        [
          0,
          0,
          0,
          1,
          0,
          2,
          0,
          0
        ],
        [
          0,
          0,
          0,
          1,
          0,
          2,
          0,
          0
        ]
      ],
      "off_diagonal_zeros": 45,
      "pairing": "3/16",
      "auxiliary_pairs_checked": 121
    },
    "J": {
      "slacks": [
        [
          0,
          0,
          1,
          1,
          0,
          2,
          0,
          2
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          2
        ],
        [
          2,
          0,
          0,
          2,
          2,
          2,
          0,
          0
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          2
        ],
        [
          0,
          0,
          0,
          0,
          0,
          0,
          0,
          2
        ],
        [
          2,
          2,
          1,
          1,
          0,
          0,
          2,
          4
        ],
        [
          2,
          0,
          1,
          3,
          2,
          4,
          0,
          0
        ],
        [
          2,
          0,
          1,
          3,
          2,
          4,
          0,
          0
        ]
      ],
      "off_diagonal_zeros": 29,
      "pairing": "3/4",
      "auxiliary_pairs_checked": 121
    }
  },
  "permanence": {
    "C": "131/32",
    "rho": "1/2",
    "eventual_upper": "131/8",
    "eventual_lower": "25/833994",
    "individual_lowers": [
      "1/84",
      "7/572",
      "25/138999",
      "25/833994"
    ]
  },
  "slice": {
    "characteristic": [
      "1",
      "13*eta/5 + 67/5",
      "707*eta/25 + 258/5",
      "1558*eta/25 + 377/5",
      "769*eta/25 + 181/5"
    ],
    "hurwitz": [
      "13*eta/5 + 67/5",
      "707*eta/25 + 258/5",
      "1558*eta/25 + 377/5",
      "769*eta/25 + 181/5",
      "9191*eta**2/125 + 56349*eta/125 + 15401/25",
      "13669773*eta**3/3125 + 97654062*eta**2/3125 + 8041956*eta/125 + 4993668/125"
    ],
    "boundary_energy_minors": [
      "25",
      "2199/16",
      "55245/16",
      "31001025/256"
    ],
    "scope": "Local stability for the entire positive slice; the paper proves a non-explicit open globally stable nontoric neighborhood, not every off-locus parameter."
  },
  "exact_realization_built": true,
  "active_realization_edges": 16,
  "numerical_checks": {
    "independent_solver_differences": [
      1.5610586157066564e-09,
      1.4354611943545592e-09
    ],
    "equivalent_field_solver_difference": 4.440892098500626e-16,
    "attachment_base_difference": 2.2229273977103503e-11,
    "minimum_concentration": 0.04000000000000001
  },
  "scope": "Exact rational classification, supporting inequalities and witness reconstruction; numerical trajectories illustrate conventional permanence/global-stability theorems. Lean not rerun. Deterministic equivalence does not identify stochastic processes."
}