{
  "negative_certificates": {
    "A_minus": {
      "matrix": [
        [
          -1,
          0,
          0,
          -1,
          0,
          0
        ],
        [
          0,
          -1,
          0,
          0,
          1,
          0
        ],
        [
          -1,
          0,
          -1,
          0,
          1,
          0
        ],
        [
          0,
          -1,
          0,
          -1,
          0,
          1
        ],
        [
          0,
          0,
          1,
          0,
          -1,
          0
        ],
        [
          0,
          0,
          0,
          1,
          0,
          -1
        ]
      ],
      "determinant": "1",
      "routh": {
        "first_column": [
          "1",
          "6",
          "11",
          "109/11",
          "2177/654",
          "-5491/2177",
          "1"
        ],
        "signs": [
          1,
          1,
          1,
          1,
          1,
          -1,
          1
        ],
        "right_half_plane_roots": 2
      },
      "proper_restrictions_checked": 62
    },
    "B": {
      "matrix": [
        [
          -1,
          0,
          0,
          -1,
          0
        ],
        [
          0,
          -1,
          0,
          0,
          1
        ],
        [
          -1,
          0,
          -1,
          0,
          1
        ],
        [
          0,
          -1,
          0,
          -1,
          0
        ],
        [
          0,
          0,
          1,
          0,
          -1
        ]
      ],
      "determinant": "-1",
      "routh": {
        "first_column": [
          "1",
          "5",
          "38/5",
          "221/38",
          "109/221",
          "1"
        ],
        "signs": [
          1,
          1,
          1,
          1,
          1,
          1
        ],
        "right_half_plane_roots": 0
      },
      "lyapunov_matrix": [
        [
          1443,
          770,
          -1334,
          -1169,
          -1041
        ],
        [
          770,
          1133,
          -371,
          -1024,
          153
        ],
        [
          -1334,
          -371,
          1627,
          895,
          1518
        ],
        [
          -1169,
          -1024,
          895,
          1278,
          456
        ],
        [
          -1041,
          153,
          1518,
          456,
          1780
        ]
      ],
      "lyapunov_leading_minors": [
        "1443",
        "1042019",
        "242679562",
        "26482784643",
        "3275722759311"
      ]
    },
    "B_scaled": {
      "scaling": [
        1,
        1,
        2,
        1,
        2
      ],
      "routh": {
        "first_column": [
          "1",
          "7",
          "92/7",
          "257/23",
          "-328/257",
          "4"
        ],
        "signs": [
          1,
          1,
          1,
          1,
          -1,
          1
        ],
        "right_half_plane_roots": 2
      },
      "log_derivative_real_at_3i_over_5": "-24183425/1544506",
      "proper_D_nonunstable_restrictions_checked": 30
    }
  },
  "positive_child": {
    "dimension": 7,
    "reduction": {
      "owners": [
        "F",
        "S1",
        "C1",
        "S2",
        "C2",
        "S3",
        "D1"
      ],
      "reactions": [
        "F1b",
        "K1b",
        "K1v",
        "K2b",
        "K2v",
        "F3b",
        "F1v"
      ],
      "determinant": 1,
      "selected_intermediates": 3,
      "enzyme_row_signs": 1,
      "reduced_matrix": [
        [
          0,
          0,
          0,
          -1
        ],
        [
          -1,
          -1,
          0,
          0
        ],
        [
          0,
          1,
          -1,
          0
        ],
        [
          0,
          0,
          1,
          -1
        ]
      ],
      "signed_incidence_matrix": [
        [
          0,
          0,
          0,
          1
        ],
        [
          -1,
          -1,
          0,
          0
        ],
        [
          0,
          1,
          -1,
          0
        ],
        [
          0,
          0,
          1,
          -1
        ]
      ],
      "cofactor_certificate": [
        {
          "row": 1,
          "column": 0,
          "entry": -1,
          "dimension": 4
        },
        {
          "row": 1,
          "column": 0,
          "entry": 1,
          "dimension": 3
        },
        {
          "row": 1,
          "column": 0,
          "entry": 1,
          "dimension": 2
        },
        {
          "row": 0,
          "column": 0,
          "entry": 1,
          "dimension": 1
        }
      ]
    },
    "proper_restrictions_checked": 126,
    "scope": "All-scaling minimality follows from the flower cycle structure; finite restrictions replayed within the stated size guard."
  },
  "census": [
    {
      "n": 2,
      "children_including_empty": 4455,
      "determinants": {
        "-1": 543,
        "0": 3377,
        "1": 535
      }
    },
    {
      "n": 3,
      "children_including_empty": 204849,
      "determinants": {
        "-1": 15649,
        "0": 173559,
        "1": 15641
      }
    }
  ],
  "n10_routh": {
    "first_column": [
      "1",
      "21",
      "1026/7",
      "5492/9",
      "2469658/1373",
      "15579520/3823",
      "905758538/121715",
      "2064705536/182883",
      "43924631110/3024471",
      "161477509120/10051403",
      "30411170262/1971161",
      "63559542984961006/4911403997313",
      "1238041787874300093146587/130169944033200140288",
      "56354865956081936052501095356206/9197412442118175391985994823",
      "248399636823263950066228128321616078783/72134228423784878147201402055943680",
      "916360148028076168910567715499198605373165226/542753206458831730894708460382731132140855",
      "829157087645405038313575982678028239250574211533/1127827874496093746351467957537475206613126432",
      "2753314572159066050465124610334976158092840945081336/15753984665262695727957943670882536545760910019127",
      "205414306052728287813443095737704395558618909126386085453/1145378862018171476993491837899350081766621833153835776",
      "-3118078897501073756553002241681357284627689662572890263651/205414306052728287813443095737704395558618909126386085453",
      "2919592777329527688697380097248571987865256146946948204689/6236157795002147513106004483362714569255379325145780527302",
      "-1"
    ],
    "signs": [
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      1,
      -1,
      1,
      -1
    ],
    "right_half_plane_roots": 3
  },
  "selected_flower": {
    "n": 3,
    "rates": [
      "1",
      "2",
      "3",
      "1",
      "2",
      "1",
      "2"
    ],
    "independent_losses": [
      "1/10",
      "1/10",
      "1/10",
      "1/10",
      "1/10",
      "1/10",
      "1/10"
    ],
    "exact_gain_at_zero": "3083800/2021789",
    "spectral_abscissa": 0.19052479640282516,
    "zero_loss_abscissa": 0.2905247964028253
  },
  "full_kinetics": {
    "species": [
      "S0",
      "S1",
      "S2",
      "S3",
      "K",
      "F",
      "C0",
      "D1",
      "C1",
      "D2",
      "C2",
      "D3"
    ],
    "reactions": [
      "K0b",
      "K0u",
      "K0v",
      "F1b",
      "F1u",
      "F1v",
      "K1b",
      "K1u",
      "K1v",
      "F2b",
      "F2u",
      "F2v",
      "K2b",
      "K2u",
      "K2v",
      "F3b",
      "F3u",
      "F3v"
    ],
    "stoichiometry": [
      [
        -1,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        -1,
        1,
        0,
        -1,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        -1,
        1,
        0,
        -1,
        1,
        0,
        0,
        0,
        1
      ],
      [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        -1,
        1,
        0
      ],
      [
        -1,
        1,
        1,
        0,
        0,
        0,
        -1,
        1,
        1,
        0,
        0,
        0,
        -1,
        1,
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        -1,
        1,
        1,
        0,
        0,
        0,
        -1,
        1,
        1,
        0,
        0,
        0,
        -1,
        1,
        1
      ],
      [
        1,
        -1,
        -1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        1,
        -1,
        -1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        -1,
        -1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        -1,
        -1,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        -1,
        -1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        -1,
        -1
      ]
    ],
    "reference_flux": [
      "4",
      "2",
      "2",
      "4",
      "2",
      "2",
      "4",
      "2",
      "2",
      "4",
      "2",
      "2",
      "4",
      "2",
      "2",
      "4",
      "2",
      "2"
    ],
    "reactivity": [
      [
        "1/100",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "1",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "1",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "1/100",
        "0",
        "1",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "1",
        "0",
        "1/100",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100"
      ],
      [
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "0",
        "1/100"
      ]
    ],
    "conservation_rows": [
      [
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        1,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        1
      ],
      [
        1,
        1,
        1,
        1,
        0,
        0,
        1,
        1,
        1,
        1,
        1,
        1
      ]
    ],
    "reference_totals": [
      "4",
      "4",
      "10"
    ],
    "stoichiometric_rank": 9,
    "exact_conservation_zeros": 3,
    "nonzero_scaled_characteristic_coefficients": [
      "1",
      "618",
      "139432",
      "13778512",
      "543179240",
      "14097062574",
      "1032202684766",
      "3925174058599",
      "3726175329872",
      "-160160507095"
    ],
    "routh": {
      "first_column": [
        "1",
        "618",
        "36195232/309",
        "199672918380635/18097616",
        "85492658771162316512687/199672918380635",
        "-2852263186712852865850254532201811/170985317542324633025374",
        "6173238562509165099273151915954393070873049457/5704526373425705731700509064403622",
        "23870991190046830382719349772380599981814536337670563254755/6173238562509165099273151915954393070873049457",
        "17993218125895242769483235164876831759268723442333250557244686443147105/4774198238009366076543869954476119996362907267534112650951",
        "-160160507095"
      ],
      "signs": [
        1,
        1,
        1,
        1,
        1,
        -1,
        1,
        1,
        1,
        -1
      ],
      "right_half_plane_roots": 3
    },
    "conservation_max_error": 3.552713678800501e-15,
    "independent_solver_difference": 5.179756623618914e-10,
    "linearization_max_error": 1.2754222898241118e-07,
    "minimum_concentration": 0.9990775231867809
  },
  "spectra": {
    "A_minus": [
      [
        -2.3625985776649365,
        0.0
      ],
      [
        -1.4608120060024918,
        0.5391999976935995
      ],
      [
        -1.4608120060024918,
        -0.5391999976935995
      ],
      [
        -0.9999999999999998,
        0.0
      ],
      [
        0.14211129483495932,
        0.3928953029499113
      ],
      [
        0.14211129483495932,
        -0.3928953029499113
      ]
    ],
    "B_scaled": [
      [
        -4.035440815036308,
        0.0
      ],
      [
        0.04532595550694435,
        0.5748382645052151
      ],
      [
        0.04532595550694435,
        -0.5748382645052151
      ],
      [
        -1.5276055479887924,
        0.8047269151580723
      ],
      [
        -1.5276055479887924,
        -0.8047269151580723
      ]
    ],
    "full_J": [
      [
        -2.393944599427382,
        0.0
      ],
      [
        -1.4865543668408407,
        0.5328710925377768
      ],
      [
        -1.4865543668408407,
        -0.5328710925377768
      ],
      [
        0.11331852813183207,
        0.3895120261135569
      ],
      [
        0.11331852813183207,
        -0.3895120261135569
      ],
      [
        -1.0001008642878904,
        0.0
      ],
      [
        0.00041177090913901,
        0.0
      ],
      [
        -6.539219486335219e-15,
        0.0
      ],
      [
        -0.0213697320648009,
        0.0
      ],
      [
        -0.018524897711046033,
        0.0
      ],
      [
        -1.1181177263054724e-17,
        2.3021306232158485e-17
      ],
      [
        -1.1181177263054724e-17,
        -2.3021306232158485e-17
      ]
    ]
  },
  "scope": "Exact determinants and root counts plus numerical rate/trajectory illustrations. Full kinetics are saturating, not mass action; no Hopf bifurcation or periodic orbit is established. Lean not rerun."
}