{ "source_sha256": "bc72d2c5c8a3359ecea48222ead902aacbf72e33749983078246a6109c0ce1ba", "fixtures": [ { "name": "Recycling m=2, r=3/2", "A": [ [ "1", "0" ], [ "0", "2" ] ], "B": [ [ "0", "2" ], [ "1", "1" ] ], "S": [ [ "-1", "2" ], [ "1", "-1" ] ], "T": [ [ "0", "2" ], [ "1/2", "1/2" ] ], "g": [ [ "1" ], [ "1" ] ], "N": 1, "w": [ [ "1" ], [ "1" ] ], "f": [ [ "1" ], [ "3" ] ], "h": [ [ "3/2" ], [ "7/2" ] ], "u": [ [ "1" ], [ "3/2" ] ], "q": [ [ "3/2" ], [ "7/6" ] ], "kp": [ [ "3" ], [ "7" ] ], "km": [ [ "2" ], [ "6" ] ], "P": [ [ "0", "1" ], [ "4/7", "3/7" ] ], "pi": [ [ "4/11" ], [ "7/11" ] ], "mu": [ [ "4/5" ], [ "1/5" ] ], "curvature": "-33/10", "reduced_det": "-10", "affinity_exp": "7/4", "gross_ratio": "2", "current": "1" }, { "name": "Recycling m=100, r=101/100", "A": [ [ "1", "0" ], [ "0", "100" ] ], "B": [ [ "0", "2" ], [ "1", "99" ] ], "S": [ [ "-1", "2" ], [ "1", "-1" ] ], "T": [ [ "0", "2" ], [ "1/100", "99/100" ] ], "g": [ [ "1" ], [ "1" ] ], "N": 1, "w": [ [ "1" ], [ "1" ] ], "f": [ [ "1" ], [ "101" ] ], "h": [ [ "101/100" ], [ "10199/100" ] ], "u": [ [ "1" ], [ "101/100" ] ], "q": [ [ "101/100" ], [ "10199/10100" ] ], "kp": [ [ "101" ], [ "10199/99" ] ], "km": [ [ "100" ], [ "10100/99" ] ], "P": [ [ "0", "1" ], [ "200/10199", "9999/10199" ] ], "pi": [ [ "200/10399" ], [ "10199/10399" ] ], "mu": [ [ "200/299" ], [ "99/299" ] ], "curvature": "-102000001/29900", "reduced_det": "-29900/99", "affinity_exp": "10199/10000", "gross_ratio": "2", "current": "1" }, { "name": "Three-reaction circuit", "A": [ [ "1", "0", "0" ], [ "0", "2", "0" ], [ "0", "0", "2" ] ], "B": [ [ "0", "2", "0" ], [ "1", "0", "1" ], [ "0", "2", "0" ] ], "S": [ [ "-1", "2", "0" ], [ "1", "-2", "1" ], [ "0", "2", "-2" ] ], "T": [ [ "0", "2", "0" ], [ "1/2", "0", "1/2" ], [ "0", "1", "0" ] ], "g": [ [ "1" ], [ "1" ], [ "1" ] ], "N": 1, "w": [ [ "1" ], [ "1" ], [ "1" ] ], "f": [ [ "1" ], [ "12/5" ], [ "1" ] ], "h": [ [ "6/5" ], [ "3" ], [ "6/5" ] ], "u": [ [ "1" ], [ "6/5" ], [ "1/2" ] ], "q": [ [ "6/5" ], [ "5/4" ], [ "6/5" ] ], "kp": [ [ "6" ], [ "5" ], [ "6" ] ], "km": [ [ "5" ], [ "4" ], [ "5" ] ], "P": [ [ "0", "1", "0" ], [ "2/3", "0", "1/3" ], [ "0", "1", "0" ] ], "pi": [ [ "1/3" ], [ "1/2" ], [ "1/6" ] ], "mu": [ [ "4/9" ], [ "1/3" ], [ "2/9" ] ], "curvature": "-16/5", "reduced_det": "360", "affinity_exp": "9/5", "gross_ratio": "2", "current": "1" }, { "name": "Power d=2", "A": [ [ "2", "1" ], [ "3", "1" ] ], "B": [ [ "2", "2" ], [ "2", "2" ] ], "S": [ [ "0", "1" ], [ "-1", "1" ] ], "T": [ [ "0", "0" ], [ "2", "2" ] ], "g": [ [ "1" ], [ "1" ] ], "N": 1, "w": [ [ "1" ], [ "1" ] ], "f": [ [ "1/2" ], [ "1/2" ] ], "h": [ [ "1" ], [ "1" ] ], "u": [ [ "1" ], [ "-1/2" ] ], "q": [ [ "2" ], [ "2" ] ], "kp": [ [ "2" ], [ "2" ] ], "km": [ [ "1" ], [ "1" ] ], "P": [ [ "0", "1" ], [ "0", "1" ] ], "pi": [ [ "0" ], [ "1" ] ], "mu": [ [ "0" ], [ "1" ] ], "curvature": "-1/2", "reduced_det": "-4", "affinity_exp": "4", "gross_ratio": "4/3", "current": "1" }, { "name": "Power d=3", "A": [ [ "3", "2" ], [ "4", "2" ] ], "B": [ [ "3", "3" ], [ "3", "3" ] ], "S": [ [ "0", "1" ], [ "-1", "1" ] ], "T": [ [ "0", "0" ], [ "3/2", "3/2" ] ], "g": [ [ "1" ], [ "1" ] ], "N": 1, "w": [ [ "1" ], [ "1" ] ], "f": [ [ "1" ], [ "1" ] ], "h": [ [ "3/2" ], [ "3/2" ] ], "u": [ [ "1" ], [ "-1/2" ] ], "q": [ [ "3/2" ], [ "3/2" ] ], "kp": [ [ "3" ], [ "3" ] ], "km": [ [ "2" ], [ "2" ] ], "P": [ [ "0", "1" ], [ "0", "1" ] ], "pi": [ [ "0" ], [ "1" ] ], "mu": [ [ "0" ], [ "1" ] ], "curvature": "-3/2", "reduced_det": "-6", "affinity_exp": "9/4", "gross_ratio": "6/5", "current": "1" }, { "name": "Power d=4", "A": [ [ "3", "2" ], [ "3", "1" ] ], "B": [ [ "3", "3" ], [ "2", "2" ] ], "S": [ [ "0", "1" ], [ "-1", "1" ] ], "T": [ [ "1/3", "1/3" ], [ "1", "1" ] ], "g": [ [ "1" ], [ "1" ] ], "N": 1, "w": [ [ "1" ], [ "1" ] ], "f": [ [ "3/2" ], [ "3/2" ] ], "h": [ [ "2" ], [ "2" ] ], "u": [ [ "1" ], [ "-1/2" ] ], "q": [ [ "4/3" ], [ "4/3" ] ], "kp": [ [ "4" ], [ "4" ] ], "km": [ [ "3" ], [ "3" ] ], "P": [ [ "1/4", "3/4" ], [ "1/4", "3/4" ] ], "pi": [ [ "1/4" ], [ "3/4" ] ], "mu": [ [ "1/4" ], [ "3/4" ] ], "curvature": "-3", "reduced_det": "-8", "affinity_exp": "16/9", "gross_ratio": "6/5", "current": "1" }, { "name": "Power d=8", "A": [ [ "5", "4" ], [ "3", "1" ] ], "B": [ [ "5", "5" ], [ "2", "2" ] ], "S": [ [ "0", "1" ], [ "-1", "1" ] ], "T": [ [ "3/7", "3/7" ], [ "5/7", "5/7" ] ], "g": [ [ "1" ], [ "1" ] ], "N": 1, "w": [ [ "1" ], [ "1" ] ], "f": [ [ "7/2" ], [ "7/2" ] ], "h": [ [ "4" ], [ "4" ] ], "u": [ [ "1" ], [ "-1/2" ] ], "q": [ [ "8/7" ], [ "8/7" ] ], "kp": [ [ "8" ], [ "8" ] ], "km": [ [ "7" ], [ "7" ] ], "P": [ [ "3/8", "5/8" ], [ "3/8", "5/8" ] ], "pi": [ [ "3/8" ], [ "5/8" ] ], "mu": [ [ "3/8" ], [ "5/8" ] ], "curvature": "-14", "reduced_det": "-16", "affinity_exp": "64/49", "gross_ratio": "10/9", "current": "1" }, { "name": "Additional interior-minimum example", "A": [ [ "1", "0" ], [ "0", "2" ] ], "B": [ [ "1", "2" ], [ "1", "1" ] ], "S": [ [ "0", "2" ], [ "1", "-1" ] ], "T": [ [ "1", "2" ], [ "1/2", "1/2" ] ], "g": [ [ "1/2" ], [ "1/2" ] ], "N": 2, "w": [ [ "1" ], [ "1" ] ], "f": [ [ "1" ], [ "2*sqrt(2)" ] ], "h": [ [ "1 + sqrt(2)" ], [ "sqrt(2) + 2" ] ], "u": [ [ "1" ], [ "sqrt(2)" ] ], "q": [ [ "1 + sqrt(2)" ], [ "1/2 + sqrt(2)/2" ] ], "kp": [ [ "sqrt(2)/4 + 1/2" ], [ "sqrt(2) + 3/2" ] ], "km": [ [ "sqrt(2)/4" ], [ "1 + sqrt(2)" ] ], "P": [ [ "-1 + sqrt(2)", "2 - sqrt(2)" ], [ "2 - sqrt(2)", "-1 + sqrt(2)" ] ], "pi": [ [ "1/2" ], [ "1/2" ] ], "mu": [ [ "12/7 - 4*sqrt(2)/7" ], [ "-5/7 + 4*sqrt(2)/7" ] ], "curvature": "-16/7 - 4*sqrt(2)/7", "reduced_det": "-2 - 5*sqrt(2)/4", "affinity_exp": "sqrt(2) + 3/2", "gross_ratio": "3", "current": "1" } ], "numerical": { "step": 0.001, "J_minus": 0.9999983519638116, "J_plus": 0.9999983480338095, "curvature": -3.3000023789142574, "absolute_error": 2.378914257583631e-06, "max_stationary_residual": 8.881784197001252e-16, "max_plot_residual": 1.7763568394002505e-14 }, "versions": { "python": "3.12.14", "numpy": "2.5.3", "scipy": "1.17.1", "sympy": "1.14.0", "matplotlib": "3.11.1" }, "scope": "Exact example certificates and bounded numerical checks; no Lean compilation." }