{ "all_checks_passed": true, "cases": [ { "D": 6, "K": 2, "N": 1, "all_checks_passed": true, "b_j": [ "5/3", "-1" ], "checks_passed": 43, "d_j": [ 3, 5 ], "q": 1 }, { "D": 8, "K": 2, "N": 2, "all_checks_passed": true, "b_j": [ "-35/6", "21/4", "-1" ], "checks_passed": 51, "d_j": [ 3, 5, 7 ], "q": 1 }, { "D": 10, "K": 2, "N": 3, "all_checks_passed": true, "b_j": [ "63/2", "-693/20", "54/5", "-1" ], "checks_passed": 59, "d_j": [ 3, 5, 7, 9 ], "q": 1 }, { "D": 12, "K": 2, "N": 4, "all_checks_passed": true, "b_j": [ "-231", "1155/4", "-231/2", "55/3", "-1" ], "checks_passed": 67, "d_j": [ 3, 5, 7, 9, 11 ], "q": 1 }, { "D": 12, "K": 4, "N": 3, "all_checks_passed": true, "b_j": [ "693/20", "-363/10", "11", "-1" ], "checks_passed": 59, "d_j": [ 5, 7, 9, 11 ], "q": 2 }, { "D": 14, "K": 5, "N": 3, "all_checks_passed": true, "b_j": [ "1287/35", "-1573/42", "78/7", "-1" ], "checks_passed": 59, "d_j": [ 7, 9, 11, 13 ], "q": 3 } ], "figure_generated": false, "normalization": "alpha_center=c-theta*m*(u-log(1+u))=c-theta*s**2/2; u=(x-a)/a.", "schema_version": 1, "scope": "Exact algebraic identities; no numerical integration and no fixed-parameter cycle certification.", "total_checks_passed": 346, "versions": { "python": "3.10.6", "sympy": "1.14.0" }, "worked_example_checks_passed": 8 }