{"_meta":{"battery":"5s","sub_battery":"semantics","version":"v1","task_count":15,"notes":"arithmetic@v1 equivalence-class tests. SQD §14.1: rationally equivalent expressions canonicalize to identical bytes; distinct values do not."}}
{"id":"5s-sem-arith-001","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"1+2","input_b":"3","expected_equivalent":true}
{"id":"5s-sem-arith-002","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"0.1","input_b":"1/10","expected_equivalent":true}
{"id":"5s-sem-arith-003","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"0.1+0.2","input_b":"0.3","expected_equivalent":true}
{"id":"5s-sem-arith-004","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"(1+2)*3","input_b":"9","expected_equivalent":true}
{"id":"5s-sem-arith-005","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"6/4","input_b":"3/2","expected_equivalent":true}
{"id":"5s-sem-arith-006","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"-2","input_b":"-2/1","expected_equivalent":true}
{"id":"5s-sem-arith-007","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"2**3","input_b":"8","expected_equivalent":true}
{"id":"5s-sem-arith-008","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"0.5","input_b":"1/2","expected_equivalent":true}
{"id":"5s-sem-arith-009","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"100*100","input_b":"10000","expected_equivalent":true}
{"id":"5s-sem-arith-010","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"1+2","input_b":"4","expected_equivalent":false}
{"id":"5s-sem-arith-011","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"1/2","input_b":"1/3","expected_equivalent":false}
{"id":"5s-sem-arith-012","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"0.1","input_b":"0.2","expected_equivalent":false}
{"id":"5s-sem-arith-013","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"-3","input_b":"3","expected_equivalent":false}
{"id":"5s-sem-arith-014","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"3+5*2","input_b":"13","expected_equivalent":true}
{"id":"5s-sem-arith-015","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"arithmetic","domain":"rational","pi_star_ref":"arithmetic@v1","input_a":"3+5*2","input_b":"16","expected_equivalent":false}
