{"_meta":{"battery":"5s","sub_battery":"semantics","version":"v1","task_count":12,"notes":"Code-carrier semantics: equivalence-class checks through code-py-ast@v1. Whitespace/comments/quote-style collapse; identifier/operator changes don't."}}
{"id":"5s-sem-code-001","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"def foo(): pass","input_b":"def foo():\n    pass","expected_equivalent":true}
{"id":"5s-sem-code-002","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"x = 1","input_b":"x = 1  # comment","expected_equivalent":true}
{"id":"5s-sem-code-003","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"s = 'hello'","input_b":"s = \"hello\"","expected_equivalent":true}
{"id":"5s-sem-code-004","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"y = 1+2","input_b":"y = 1 + 2","expected_equivalent":true}
{"id":"5s-sem-code-005","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"x = [1, 2, 3]","input_b":"x = [\n    1,\n    2,\n    3,\n]","expected_equivalent":true}
{"id":"5s-sem-code-006","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"def foo(): pass","input_b":"def bar(): pass","expected_equivalent":false}
{"id":"5s-sem-code-007","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"y = a + b","input_b":"y = a - b","expected_equivalent":false}
{"id":"5s-sem-code-008","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"f(x, y)","input_b":"f(y, x)","expected_equivalent":false}
{"id":"5s-sem-code-009","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"return 42","input_b":"return  42","expected_equivalent":true}
{"id":"5s-sem-code-010","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"x = 1 ; y = 2","input_b":"x = 1\ny = 2","expected_equivalent":true}
{"id":"5s-sem-code-011","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"x = 1","input_b":"x = 2","expected_equivalent":false}
{"id":"5s-sem-code-012","battery":"5s","sub_battery":"semantics","version":"v1","carrier":"code","domain":"python_ast","pi_star_ref":"code-py-ast@v1","input_a":"class A:\n    pass","input_b":"class B:\n    pass","expected_equivalent":false}
