{
  "certificate_6": {
    "name": "Six-species example from Theorem 8.1",
    "P": [
      [
        0,
        0,
        0,
        0,
        0,
        3
      ],
      [
        2,
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        2,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        3,
        0,
        0
      ],
      [
        1,
        0,
        0,
        0,
        1,
        0
      ]
    ],
    "N": [
      [
        -1,
        0,
        0,
        0,
        0,
        3
      ],
      [
        2,
        -1,
        1,
        0,
        0,
        0
      ],
      [
        0,
        2,
        -1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        -1,
        1,
        0
      ],
      [
        0,
        0,
        0,
        3,
        -1,
        0
      ],
      [
        1,
        0,
        0,
        0,
        1,
        -1
      ]
    ],
    "forward": [
      "704180941994460",
      "619799798320080",
      "1064148026967810",
      "1379889114510795",
      "5001118197194658",
      "1928841702241720"
    ],
    "reverse": [
      "18981846318750",
      "1952234297034000",
      "3747998870714400",
      "18981846318750",
      "937378238937273",
      "98424792637500"
    ],
    "degradation": [
      "4806051633136950",
      "18981846318750",
      "18981846318750",
      "18981846318750",
      "18981846318750",
      "2918522144328875"
    ],
    "states": {
      "y": {
        "concentrations": [
          "1",
          "1",
          "1",
          "1",
          "1",
          "1"
        ],
        "current": [
          "685199095675710",
          "-1332434498713920",
          "-2683850843746590",
          "1360907268192045",
          "4063739958257385",
          "1830416909604220"
        ],
        "net_reaction_production": [
          "4806051633136950",
          "18981846318750",
          "18981846318750",
          "18981846318750",
          "18981846318750",
          "2918522144328875"
        ],
        "degradation_loss": [
          "4806051633136950",
          "18981846318750",
          "18981846318750",
          "18981846318750",
          "18981846318750",
          "2918522144328875"
        ],
        "balance_residual": [
          "0",
          "0",
          "0",
          "0",
          "0",
          "0"
        ]
      },
      "x": {
        "concentrations": [
          "31/50",
          "57/50",
          "22/25",
          "3/5",
          "14/25",
          "3/5"
        ],
        "current": [
          "4217908995510567/10",
          "-4026192347691192/5",
          "-8135904819184884/5",
          "4122999763916817/5",
          "12315850122057951/5",
          "11338476373653219/10"
        ],
        "net_reaction_production": [
          "2979752012544909",
          "21639304803375",
          "16704024760500",
          "11389107791250",
          "10629833938500",
          "1751113286597325"
        ],
        "degradation_loss": [
          "2979752012544909",
          "21639304803375",
          "16704024760500",
          "11389107791250",
          "10629833938500",
          "1751113286597325"
        ],
        "balance_residual": [
          "0",
          "0",
          "0",
          "0",
          "0",
          "0"
        ]
      }
    }
  },
  "certificate_7": {
    "name": "Seven-species example from Theorem 8.3",
    "P": [
      [
        0,
        0,
        0,
        0,
        0,
        0,
        1
      ],
      [
        1,
        0,
        1,
        0,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0,
        1,
        0,
        0
      ],
      [
        0,
        0,
        0,
        1,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        0,
        1,
        0,
        1
      ],
      [
        1,
        0,
        0,
        0,
        0,
        1,
        0
      ]
    ],
    "N": [
      [
        -1,
        0,
        0,
        0,
        0,
        0,
        1
      ],
      [
        1,
        -1,
        1,
        0,
        0,
        0,
        0
      ],
      [
        0,
        1,
        -1,
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        -1,
        1,
        0,
        0
      ],
      [
        0,
        0,
        0,
        1,
        -1,
        1,
        0
      ],
      [
        0,
        0,
        0,
        0,
        1,
        -1,
        1
      ],
      [
        1,
        0,
        0,
        0,
        0,
        1,
        -1
      ]
    ],
    "forward": [
      "79873083/3546790543",
      "4870030864/39014695973",
      "6049869075/39014695973",
      "562292665/7093581086",
      "560635312/3546790543",
      "76005216/3546790543",
      "80869/82483501"
    ],
    "reverse": [
      "150591284/3546790543",
      "1809648/3546790543",
      "401938000/39014695973",
      "1809648/3546790543",
      "486297815/3546790543",
      "1809648/3546790543",
      "1809648/3546790543"
    ],
    "degradation": [
      "72385920/3546790543",
      "1809648/3546790543",
      "413617671/7093581086",
      "6785880025/78029391946",
      "558389511/7093581086",
      "1809648/3546790543",
      "1809648/3546790543"
    ],
    "states": {
      "y": {
        "concentrations": [
          "1",
          "1",
          "1",
          "1",
          "1",
          "1",
          "1"
        ],
        "current": [
          "-70718201/3546790543",
          "4850124736/39014695973",
          "5647931075/39014695973",
          "558673369/7093581086",
          "1728779/82483501",
          "74195568/3546790543",
          "1667719/3546790543"
        ],
        "net_reaction_production": [
          "72385920/3546790543",
          "1809648/3546790543",
          "413617671/7093581086",
          "6785880025/78029391946",
          "558389511/7093581086",
          "1809648/3546790543",
          "1809648/3546790543"
        ],
        "degradation_loss": [
          "72385920/3546790543",
          "1809648/3546790543",
          "413617671/7093581086",
          "6785880025/78029391946",
          "558389511/7093581086",
          "1809648/3546790543",
          "1809648/3546790543"
        ],
        "balance_residual": [
          "0",
          "0",
          "0",
          "0",
          "0",
          "0",
          "0"
        ]
      },
      "x": {
        "concentrations": [
          "1",
          "1/16",
          "1/9",
          "1/5",
          "1/3",
          "4/3",
          "12"
        ],
        "current": [
          "-33070380/3546790543",
          "302165137/39014695973",
          "667183450/39014695973",
          "112324485/7093581086",
          "57199020/3546790543",
          "94101696/3546790543",
          "39315540/3546790543"
        ],
        "net_reaction_production": [
          "72385920/3546790543",
          "113103/3546790543",
          "45957519/7093581086",
          "1357176005/78029391946",
          "186129837/7093581086",
          "2412864/3546790543",
          "21715776/3546790543"
        ],
        "degradation_loss": [
          "72385920/3546790543",
          "113103/3546790543",
          "45957519/7093581086",
          "1357176005/78029391946",
          "186129837/7093581086",
          "2412864/3546790543",
          "21715776/3546790543"
        ],
        "balance_residual": [
          "0",
          "0",
          "0",
          "0",
          "0",
          "0",
          "0"
        ]
      }
    }
  },
  "proper_autocatalytic_restrictions": [
    {
      "species": [
        1,
        2
      ],
      "reactions": [
        1,
        2
      ],
      "matrix": [
        [
          -1,
          1
        ],
        [
          2,
          -1
        ]
      ],
      "flux": [
        2,
        3
      ],
      "production": [
        "1",
        "1"
      ]
    },
    {
      "species": [
        2,
        3,
        4
      ],
      "reactions": [
        2,
        3,
        4
      ],
      "matrix": [
        [
          -1,
          1,
          0
        ],
        [
          1,
          -1,
          1
        ],
        [
          0,
          1,
          -1
        ]
      ],
      "flux": [
        2,
        3,
        2
      ],
      "production": [
        "1",
        "1",
        "1"
      ]
    }
  ],
  "lemma_3_2_length_two_witness": {
    "flux": [
      3,
      5
    ],
    "production": [
      2,
      1
    ]
  },
  "teaching_core": {
    "P": [
      [
        0,
        0,
        0,
        0,
        0,
        1
      ],
      [
        1,
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        1,
        0,
        0
      ],
      [
        1,
        0,
        0,
        0,
        1,
        0
      ]
    ],
    "N": [
      [
        -1,
        0,
        0,
        0,
        0,
        1
      ],
      [
        1,
        -1,
        1,
        0,
        0,
        0
      ],
      [
        0,
        1,
        -1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        -1,
        1,
        0
      ],
      [
        0,
        0,
        0,
        1,
        -1,
        0
      ],
      [
        1,
        0,
        0,
        0,
        1,
        -1
      ]
    ],
    "forward": [
      "3",
      "4",
      "3",
      "4",
      "3",
      "4"
    ],
    "reverse": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "degradation": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ],
    "proper_restrictions_checked": 664,
    "productive_flux": [
      2,
      3,
      2,
      3,
      2,
      3
    ],
    "production": [
      "1",
      "1",
      "1",
      "1",
      "1",
      "1"
    ]
  },
  "phase_presets": [
    {
      "a": 3,
      "b": 4,
      "d": 1,
      "positive_state": [
        "1",
        "1",
        "1",
        "1",
        "1",
        "1"
      ]
    },
    {
      "a": 5,
      "b": 4,
      "d": 1,
      "positive_state": [
        "3",
        "3",
        "3",
        "3",
        "3",
        "3"
      ]
    },
    {
      "a": 3,
      "b": 4,
      "d": "3/2",
      "positive_state": null
    },
    {
      "a": 2,
      "b": 4,
      "d": 1,
      "positive_state": null
    }
  ],
  "current_difference_example": {
    "candidate": [
      "31/50",
      "57/50",
      "22/25",
      "3/5",
      "14/25",
      "3/5"
    ],
    "C": [
      [
        "0",
        "3/5",
        "0",
        "0",
        "0",
        1
      ],
      [
        "0",
        "0",
        "1",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        1,
        "0",
        "57/50",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "1",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        1,
        "0",
        "3/5"
      ],
      [
        "1",
        "0",
        "0",
        "0",
        "0",
        "0"
      ]
    ],
    "K": [
      [
        "28/5",
        "-3/5",
        "3/5",
        "0",
        "1",
        "-4"
      ],
      [
        "-4",
        "6",
        "-5",
        "0",
        "0",
        "0"
      ],
      [
        "1",
        "-4",
        "307/50",
        "-57/50",
        "57/50",
        "0"
      ],
      [
        "0",
        "0",
        "-4",
        "6",
        "-5",
        "0"
      ],
      [
        "3/5",
        "0",
        "1",
        "-4",
        "28/5",
        "-3/5"
      ],
      [
        "-5",
        "0",
        "0",
        "0",
        "-4",
        "6"
      ]
    ],
    "gap_block": [
      [
        "6",
        "0",
        "0"
      ],
      [
        "0",
        "6",
        "0"
      ],
      [
        "0",
        "0",
        "6"
      ]
    ],
    "fork_matrix": [
      [
        "28/15",
        "1/10",
        "-5/3"
      ],
      [
        "-5/3",
        "307/150",
        "19/100"
      ],
      [
        "1/10",
        "-5/3",
        "28/15"
      ]
    ],
    "diagonal_margins": [
      "53/30",
      "557/300",
      "53/30"
    ],
    "determinant_K": "1011717/1250",
    "determinant_fork_matrix": "37471/10000",
    "comparison": [
      "3/5",
      "0",
      "57/50",
      "0",
      "3/5",
      "0"
    ],
    "candidate_balance": [
      "-2/125",
      "-211/125",
      "211/250",
      "209/250",
      "-1/25",
      "29/250"
    ]
  },
  "passive_chain_example": {
    "c": "3/4",
    "beta": "1/16",
    "left_loss_coefficient": "13/16",
    "right_loss_coefficient": "11/16",
    "internal_state": [
      "15/16",
      "11/16"
    ],
    "entering_current": "49/16",
    "leaving_current": "3/4"
  },
  "provenance": {
    "paper": "type_II_l_unistationarity_arxiv.pdf",
    "paper_date": "2026-09-07",
    "python": "3.11.0",
    "plotting_versions": {
      "numpy": "2.4.1",
      "matplotlib": "3.10.5"
    },
    "script_sha256": "41121ad180ecd45dbbf5bbaa329189e1693cfe0d59dd00ebe2fd7cb951bdf44d",
    "arithmetic": "exact rational for all checks; floating point for drawing only",
    "phase_map_scope": "symmetric unit-weight six-species core; theorem + derived formula"
  }
}