{"_meta": {"battery": "5s", "sub_battery": "semantics", "version": "v1", "task_count": 12, "notes": "function-sampled@v1 semantics — same numeric profile collapses; grid/dv/f distinct."}}
{"id": "5s-sem-fs-001", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"sin(x)\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 1, \"n_samples\": 5, \"dv\": 0.01}", "input_b": "{\"f\": \"2*sin(x)/2\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 1, \"n_samples\": 5, \"dv\": 0.01}", "expected_equivalent": true}
{"id": "5s-sem-fs-002", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x*1\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": true}
{"id": "5s-sem-fs-003", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 5, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": false}
{"id": "5s-sem-fs-004", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 9, \"dv\": 1}", "expected_equivalent": false}
{"id": "5s-sem-fs-005", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 0.5}", "expected_equivalent": false}
{"id": "5s-sem-fs-006", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"x**2\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x*x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": true}
{"id": "5s-sem-fs-007", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x+1\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": false}
{"id": "5s-sem-fs-008", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"y\", \"x\": \"y\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": true}
{"id": "5s-sem-fs-009", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"x\", \"x\": \"x\", \"x_min\": -4, \"x_max\": 0, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": false}
{"id": "5s-sem-fs-010", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"0\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"0\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": true}
{"id": "5s-sem-fs-011", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"0\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "input_b": "{\"f\": \"1\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 4, \"n_samples\": 5, \"dv\": 1}", "expected_equivalent": false}
{"id": "5s-sem-fs-012", "battery": "5s", "sub_battery": "semantics", "version": "v1", "carrier": "function-sampled", "domain": "json_object", "pi_star_ref": "function-sampled@v1", "input_a": "{\"f\": \"sin(x)+sin(x)\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 1, \"n_samples\": 11, \"dv\": 0.01}", "input_b": "{\"f\": \"2*sin(x)\", \"x\": \"x\", \"x_min\": 0, \"x_max\": 1, \"n_samples\": 11, \"dv\": 0.01}", "expected_equivalent": true}
