{"_meta":{"battery":"5s","sub_battery":"syntax","version":"v1","task_count":10,"notes":"combinatorics@v1 parse-pass tests. Each input is a counting expression that reduces to a non-negative integer; the kernel canonicalizes without raising. Reject-paths (symbolic, negative, non-integer) live in tests/test_pi_star_combinatorics.py per the syntax-fixture convention."}}
{"id":"5s-syn-comb-001","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"binomial(5,2)","expected":"pass"}
{"id":"5s-syn-comb-002","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"factorial(7)","expected":"pass"}
{"id":"5s-syn-comb-003","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"binomial(0,0)","expected":"pass"}
{"id":"5s-syn-comb-004","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"factorial(0)","expected":"pass"}
{"id":"5s-syn-comb-005","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"binomial(5,7)","expected":"pass"}
{"id":"5s-syn-comb-006","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"catalan(5)","expected":"pass"}
{"id":"5s-syn-comb-007","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"bell(5)","expected":"pass"}
{"id":"5s-syn-comb-008","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"partition(7)","expected":"pass"}
{"id":"5s-syn-comb-009","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"3*binomial(5,2) + factorial(4)","expected":"pass"}
{"id":"5s-syn-comb-010","battery":"5s","sub_battery":"syntax","version":"v1","carrier":"combinatorics","domain":"counting","pi_star_ref":"combinatorics@v1","input":"100","expected":"pass"}
