{ "available": true, "schema_version": 1, "suite": "project_port_regressions", "passed": true, "cases": [ { "id": "port-cosh", "group": "elementary functions", "test": "AlgEquiv", "student": "cosh(x)^2-sinh(x)^2", "teacher": "1", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "elementary functions regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-cosh", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 454, "scope": "supported" }, "native": { "case_id": "port-cosh", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-cosh", "test": "AlgEquiv", "python": { "case_id": "port-cosh", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 454, "scope": "supported" }, "pyodide": { "case_id": "port-cosh", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-logistic", "group": "elementary functions", "test": "AlgEquiv", "student": "1/(1+exp(-2*x))", "teacher": "tanh(x)/2+1/2", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "elementary functions regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-logistic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 1022, "scope": "supported" }, "native": { "case_id": "port-logistic", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-logistic", "test": "AlgEquiv", "python": { "case_id": "port-logistic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 1022, "scope": "supported" }, "pyodide": { "case_id": "port-logistic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-reciprocal", "group": "elementary functions", "test": "AlgEquiv", "student": "cosech(x)", "teacher": "csch(x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "elementary functions regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-reciprocal", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 353, "scope": "supported" }, "native": { "case_id": "port-reciprocal", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-reciprocal", "test": "AlgEquiv", "python": { "case_id": "port-reciprocal", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 353, "scope": "supported" }, "pyodide": { "case_id": "port-reciprocal", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sech", "group": "elementary functions", "test": "AlgEquiv", "student": "sech(x)", "teacher": "1/cosh(x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "elementary functions regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-sech", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 433, "scope": "supported" }, "native": { "case_id": "port-sech", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-sech", "test": "AlgEquiv", "python": { "case_id": "port-sech", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 433, "scope": "supported" }, "pyodide": { "case_id": "port-sech", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-wrong-hyperbolic", "group": "elementary functions", "test": "AlgEquiv", "student": "cosh(x)", "teacher": "sinh(x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "elementary functions regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-wrong-hyperbolic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 387, "scope": "supported" }, "native": { "case_id": "port-wrong-hyperbolic", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-wrong-hyperbolic", "test": "AlgEquiv", "python": { "case_id": "port-wrong-hyperbolic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 387, "scope": "supported" }, "pyodide": { "case_id": "port-wrong-hyperbolic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-pole", "group": "elementary functions", "test": "AlgEquiv", "student": "csch(0)", "teacher": "1", "options": "", "expected": { "kind": "invalid_student" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "elementary functions regression from scalar helper audit", "native_scope": false, "python": { "case_id": "port-pole", "test": "AlgEquiv", "kind": "invalid_student", "message": "Non-finite value", "elapsed_ms": 366, "scope": "supported" }, "native": null, "parity": { "id": "port-pole", "test": "AlgEquiv", "python": { "case_id": "port-pole", "test": "AlgEquiv", "kind": "invalid_student", "message": "Non-finite value", "elapsed_ms": 366, "scope": "supported" }, "pyodide": { "case_id": "port-pole", "test": "AlgEquiv", "kind": "invalid_student", "message": "Non-finite value" }, "eligible": true, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-demorgan", "group": "held logic", "test": "AlgEquiv", "student": "not(A and B)", "teacher": "not A or not B", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "held logic regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-demorgan", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 385, "scope": "supported" }, "native": { "case_id": "port-demorgan", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-demorgan", "test": "AlgEquiv", "python": { "case_id": "port-demorgan", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 385, "scope": "supported" }, "pyodide": { "case_id": "port-demorgan", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-noun-aliases", "group": "held logic", "test": "AlgEquiv", "student": "nounnot(A nounand B)", "teacher": "not A or not B", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "held logic regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-noun-aliases", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 402, "scope": "supported" }, "native": { "case_id": "port-noun-aliases", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-noun-aliases", "test": "AlgEquiv", "python": { "case_id": "port-noun-aliases", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 402, "scope": "supported" }, "pyodide": { "case_id": "port-noun-aliases", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-boolean-precedence", "group": "held logic", "test": "AlgEquiv", "student": "A or B and C", "teacher": "A or (B and C)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "held logic regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-boolean-precedence", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 380, "scope": "supported" }, "native": { "case_id": "port-boolean-precedence", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-boolean-precedence", "test": "AlgEquiv", "python": { "case_id": "port-boolean-precedence", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 380, "scope": "supported" }, "pyodide": { "case_id": "port-boolean-precedence", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-wrong-demorgan", "group": "held logic", "test": "AlgEquiv", "student": "not(A and B)", "teacher": "not A and not B", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "held logic regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-wrong-demorgan", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 392, "scope": "supported" }, "native": { "case_id": "port-wrong-demorgan", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-wrong-demorgan", "test": "AlgEquiv", "python": { "case_id": "port-wrong-demorgan", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 392, "scope": "supported" }, "pyodide": { "case_id": "port-wrong-demorgan", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-zero-product", "group": "polynomial equations", "test": "AlgEquiv", "student": "a=0 or b=0", "teacher": "a*b=0", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 252 }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-zero-product", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 402, "scope": "supported" }, "native": { "case_id": "port-zero-product", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_sides", "controlled_error": false }, "parity": { "id": "port-zero-product", "test": "AlgEquiv", "python": { "case_id": "port-zero-product", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 402, "scope": "supported" }, "pyodide": { "case_id": "port-zero-product", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-zero-product-reverse", "group": "polynomial equations", "test": "AlgEquiv", "student": "a*b=0", "teacher": "a=0 or b=0", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 253 }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-zero-product-reverse", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 421, "scope": "supported" }, "native": { "case_id": "port-zero-product-reverse", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_sides", "controlled_error": false }, "parity": { "id": "port-zero-product-reverse", "test": "AlgEquiv", "python": { "case_id": "port-zero-product-reverse", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 421, "scope": "supported" }, "pyodide": { "case_id": "port-zero-product-reverse", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-symbolic-factor", "group": "polynomial equations", "test": "AlgEquiv", "student": "a*x=a*y", "teacher": "a=0 or x=y", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 255 }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-symbolic-factor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 413, "scope": "supported" }, "native": { "case_id": "port-symbolic-factor", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_ratio", "controlled_error": false }, "parity": { "id": "port-symbolic-factor", "test": "AlgEquiv", "python": { "case_id": "port-symbolic-factor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 413, "scope": "supported" }, "pyodide": { "case_id": "port-symbolic-factor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-bad-cancellation", "group": "polynomial equations", "test": "AlgEquiv", "student": "a*x=a*y", "teacher": "x=y", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 254 }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-bad-cancellation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 404, "scope": "supported" }, "native": { "case_id": "port-bad-cancellation", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEquation_default", "controlled_error": false }, "parity": { "id": "port-bad-cancellation", "test": "AlgEquiv", "python": { "case_id": "port-bad-cancellation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 404, "scope": "supported" }, "pyodide": { "case_id": "port-bad-cancellation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-root-multiplicity", "group": "polynomial equations", "test": "AlgEquiv", "student": "(x-2)^2=0", "teacher": "x=2", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-root-multiplicity", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 398, "scope": "supported" }, "native": { "case_id": "port-root-multiplicity", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEquation_default", "controlled_error": false }, "parity": { "id": "port-root-multiplicity", "test": "AlgEquiv", "python": { "case_id": "port-root-multiplicity", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 398, "scope": "supported" }, "pyodide": { "case_id": "port-root-multiplicity", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-duplicate-equation", "group": "polynomial equations", "test": "AlgEquiv", "student": "x=0 or x=0", "teacher": "x^2=0", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-duplicate-equation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 406, "scope": "supported" }, "native": { "case_id": "port-duplicate-equation", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_sides", "controlled_error": false }, "parity": { "id": "port-duplicate-equation", "test": "AlgEquiv", "python": { "case_id": "port-duplicate-equation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 406, "scope": "supported" }, "pyodide": { "case_id": "port-duplicate-equation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-branch-multiplicity", "group": "polynomial equations", "test": "AlgEquiv", "student": "(x-1)*(x-4)=0 or (x-2)*(x-4)=0", "teacher": "x=1 or x=2 or x=4", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-branch-multiplicity", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 419, "scope": "supported" }, "native": { "case_id": "port-branch-multiplicity", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEquation_default", "controlled_error": false }, "parity": { "id": "port-branch-multiplicity", "test": "AlgEquiv", "python": { "case_id": "port-branch-multiplicity", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 419, "scope": "supported" }, "pyodide": { "case_id": "port-branch-multiplicity", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-duplicate-branch", "group": "polynomial equations", "test": "AlgEquiv", "student": "(x-1)*(x-4)=0 or (x-2)*(x-4)=0", "teacher": "x=1 or x=2 or x=4 or x=4", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-duplicate-branch", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 411, "scope": "supported" }, "native": { "case_id": "port-duplicate-branch", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_sides", "controlled_error": false }, "parity": { "id": "port-duplicate-branch", "test": "AlgEquiv", "python": { "case_id": "port-duplicate-branch", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 411, "scope": "supported" }, "pyodide": { "case_id": "port-duplicate-branch", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-complex-coefficient", "group": "polynomial equations", "test": "AlgEquiv", "student": "x+y=i", "teacher": "y=i-x", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-complex-coefficient", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 408, "scope": "supported" }, "native": { "case_id": "port-complex-coefficient", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_num", "controlled_error": false }, "parity": { "id": "port-complex-coefficient", "test": "AlgEquiv", "python": { "case_id": "port-complex-coefficient", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 408, "scope": "supported" }, "pyodide": { "case_id": "port-complex-coefficient", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-numeric-equation-scaling", "group": "polynomial equations", "test": "AlgEquiv", "student": "x/2=y/3", "teacher": "3*x=2*y", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "polynomial equations regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-numeric-equation-scaling", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 410, "scope": "supported" }, "native": { "case_id": "port-numeric-equation-scaling", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_ratio", "controlled_error": false }, "parity": { "id": "port-numeric-equation-scaling", "test": "AlgEquiv", "python": { "case_id": "port-numeric-equation-scaling", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 410, "scope": "supported" }, "pyodide": { "case_id": "port-numeric-equation-scaling", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-boolean-equation", "group": "type applicability", "test": "AlgEquiv", "student": "true", "teacher": "x=x", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "type applicability regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-boolean-equation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 407, "scope": "supported" }, "native": { "case_id": "port-boolean-equation", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATEquation_zero", "controlled_error": false }, "parity": { "id": "port-boolean-equation", "test": "AlgEquiv", "python": { "case_id": "port-boolean-equation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 407, "scope": "supported" }, "pyodide": { "case_id": "port-boolean-equation", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-equation-boolean-asymmetry", "group": "type applicability", "test": "AlgEquiv", "student": "x=x", "teacher": "true", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "type applicability regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-equation-boolean-asymmetry", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 404, "scope": "supported" }, "native": { "case_id": "port-equation-boolean-asymmetry", "test": "AlgEquiv", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATAlgEquiv_TA_not_equation. ", "controlled_error": false }, "parity": { "id": "port-equation-boolean-asymmetry", "test": "AlgEquiv", "python": { "case_id": "port-equation-boolean-asymmetry", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 404, "scope": "supported" }, "pyodide": { "case_id": "port-equation-boolean-asymmetry", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-equation-type", "group": "type applicability", "test": "AlgEquiv", "student": "1", "teacher": "x=1", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": 226 }, "reason": "type applicability regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-equation-type", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 405, "scope": "supported" }, "native": { "case_id": "port-equation-type", "test": "AlgEquiv", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATAlgEquiv_SA_not_equation. ", "controlled_error": false }, "parity": { "id": "port-equation-type", "test": "AlgEquiv", "python": { "case_id": "port-equation-type", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 405, "scope": "supported" }, "pyodide": { "case_id": "port-equation-type", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-complex-principal-root", "group": "complex normalization", "test": "AlgEquiv", "student": "(4*sqrt(3)*%i+4)^(1/5)", "teacher": "8^(1/5)*(cos(%pi/15)+%i*sin(%pi/15))", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 46 }, "reason": "complex normalization regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-complex-principal-root", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 737, "scope": "supported" }, "native": { "case_id": "port-complex-principal-root", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-complex-principal-root", "test": "AlgEquiv", "python": { "case_id": "port-complex-principal-root", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 737, "scope": "supported" }, "pyodide": { "case_id": "port-complex-principal-root", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-complex-root-form", "group": "complex normalization", "test": "EqualComAss", "student": "(4*sqrt(3)*%i+4)^(1/5)", "teacher": "8^(1/5)*(cos(%pi/15)+%i*sin(%pi/15))", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 668 }, "reason": "complex normalization regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-complex-root-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 754, "scope": "supported" }, "native": { "case_id": "port-complex-root-form", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-complex-root-form", "test": "EqualComAss", "python": { "case_id": "port-complex-root-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 754, "scope": "supported" }, "pyodide": { "case_id": "port-complex-root-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-complex-exponential", "group": "complex normalization", "test": "AlgEquiv", "student": "5/4*exp(%i*%pi/6)", "teacher": "5*sqrt(3)/8+5/8*%i", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 49 }, "reason": "complex normalization regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-complex-exponential", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 561, "scope": "supported" }, "native": { "case_id": "port-complex-exponential", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-complex-exponential", "test": "AlgEquiv", "python": { "case_id": "port-complex-exponential", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 561, "scope": "supported" }, "pyodide": { "case_id": "port-complex-exponential", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-principal-root-control", "group": "complex normalization", "test": "AlgEquiv", "student": "(-1)^(1/5)", "teacher": "-1", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null, "documentation": "https://maxima.sourceforge.io/docs/manual/maxima_singlepage.html" }, "reason": "The port uses principal complex powers. Maxima 5.46 with domain:real, radexpand:true, m1pbranch:false selects the negative real fifth root.", "native_scope": true, "native_expected": { "cas_valid": true, "correct": true }, "native_difference_reason": "Traced branch convention: standalone Maxima prints [real,true,-1,-1,false] for [domain,radexpand,(-1)^(1/5),rectform((-1)^(1/5)),numer_pbranch]. The port deliberately retains principal complex power semantics; this is a compatibility difference, not a mathematical-failure claim.", "python": { "case_id": "port-principal-root-control", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 523, "scope": "supported" }, "native": { "case_id": "port-principal-root-control", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-principal-root-control", "test": "AlgEquiv", "python": { "case_id": "port-principal-root-control", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 523, "scope": "supported" }, "pyodide": { "case_id": "port-principal-root-control", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "branch_convention_difference", "parity_status": "match" }, { "id": "port-form-function", "group": "held arithmetic", "test": "EqualComAss", "student": "cos(0)", "teacher": "1", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "held arithmetic regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-form-function", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 347, "scope": "supported" }, "native": { "case_id": "port-form-function", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-form-function", "test": "EqualComAss", "python": { "case_id": "port-form-function", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 347, "scope": "supported" }, "pyodide": { "case_id": "port-form-function", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-form-identity", "group": "held arithmetic", "test": "EqualComAss", "student": "x+0", "teacher": "x", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "held arithmetic regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-form-identity", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 346, "scope": "supported" }, "native": { "case_id": "port-form-identity", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-form-identity", "test": "EqualComAss", "python": { "case_id": "port-form-identity", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 346, "scope": "supported" }, "pyodide": { "case_id": "port-form-identity", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-form-reorder", "group": "held arithmetic", "test": "EqualComAss", "student": "sqrt(x)+sin(x)", "teacher": "sin(x)+sqrt(x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "held arithmetic regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-form-reorder", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 380, "scope": "supported" }, "native": { "case_id": "port-form-reorder", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-form-reorder", "test": "EqualComAss", "python": { "case_id": "port-form-reorder", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 380, "scope": "supported" }, "pyodide": { "case_id": "port-form-reorder", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-written-precision", "group": "numeric spelling", "test": "NumDecPlaces", "student": "1.230", "teacher": "1.23", "options": "3", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "numeric spelling regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-written-precision", "test": "NumDecPlaces", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 341, "scope": "supported" }, "native": { "case_id": "port-written-precision", "test": "NumDecPlaces", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATNumDecPlaces_Correct. ATNumDecPlaces_Equiv. ", "controlled_error": false }, "parity": { "id": "port-written-precision", "test": "NumDecPlaces", "python": { "case_id": "port-written-precision", "test": "NumDecPlaces", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 341, "scope": "supported" }, "pyodide": { "case_id": "port-written-precision", "test": "NumDecPlaces", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-wrong-written-precision", "group": "numeric spelling", "test": "NumDecPlaces", "student": "1.23", "teacher": "1.23", "options": "3", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "numeric spelling regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-wrong-written-precision", "test": "NumDecPlaces", "kind": "result", "valid": true, "correct": false, "note": "wrong_decimal_places", "feedback": "Incorrect number of decimal places", "elapsed_ms": 350, "scope": "supported" }, "native": { "case_id": "port-wrong-written-precision", "test": "NumDecPlaces", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATNumDecPlaces_Wrong_DPs. ATNumDecPlaces_Equiv. ", "controlled_error": false }, "parity": { "id": "port-wrong-written-precision", "test": "NumDecPlaces", "python": { "case_id": "port-wrong-written-precision", "test": "NumDecPlaces", "kind": "result", "valid": true, "correct": false, "note": "wrong_decimal_places", "feedback": "Incorrect number of decimal places", "elapsed_ms": 350, "scope": "supported" }, "pyodide": { "case_id": "port-wrong-written-precision", "test": "NumDecPlaces", "kind": "result", "valid": true, "correct": false, "note": "wrong_decimal_places", "feedback": "Incorrect number of decimal places" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-exact-not-tolerance", "group": "numerical screen", "test": "AlgEquiv", "student": "x+1/10^20", "teacher": "x", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "numerical screen regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-exact-not-tolerance", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "native": { "case_id": "port-exact-not-tolerance", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-exact-not-tolerance", "test": "AlgEquiv", "python": { "case_id": "port-exact-not-tolerance", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "pyodide": { "case_id": "port-exact-not-tolerance", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-probe-collision", "group": "numerical screen", "test": "AlgEquiv", "student": "x+(x-2)*(x-(sqrt(2)+%pi)/4)", "teacher": "x", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "numerical screen regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-probe-collision", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 537, "scope": "supported" }, "native": { "case_id": "port-probe-collision", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-probe-collision", "test": "AlgEquiv", "python": { "case_id": "port-probe-collision", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 537, "scope": "supported" }, "pyodide": { "case_id": "port-probe-collision", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-singular-probe", "group": "numerical screen", "test": "AlgEquiv", "student": "1/(x-2)", "teacher": "1/(x-2)+1", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "numerical screen regression from scalar helper audit", "native_scope": true, "python": { "case_id": "port-singular-probe", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 373, "scope": "supported" }, "native": { "case_id": "port-singular-probe", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-singular-probe", "test": "AlgEquiv", "python": { "case_id": "port-singular-probe", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 373, "scope": "supported" }, "pyodide": { "case_id": "port-singular-probe", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-variable-denominator", "group": "declared boundaries", "test": "AlgEquiv", "student": "x/x=1", "teacher": "true", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit boundary: preserve an unsupported result until this helper has a scoped implementation.", "native_scope": false, "python": { "case_id": "port-variable-denominator", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equations require polynomials with rational complex coefficients and numeric denominators", "message": "Equations require polynomials with rational complex coefficients and numeric denominators", "elapsed_ms": 380, "scope": "unsupported" }, "native": null, "parity": { "id": "port-variable-denominator", "test": "AlgEquiv", "python": { "case_id": "port-variable-denominator", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equations require polynomials with rational complex coefficients and numeric denominators", "message": "Equations require polynomials with rational complex coefficients and numeric denominators", "elapsed_ms": 380, "scope": "unsupported" }, "pyodide": { "case_id": "port-variable-denominator", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equations require polynomials with rational complex coefficients and numeric denominators", "message": "Equations require polynomials with rational complex coefficients and numeric denominators" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-zero-denominator-cancellation", "group": "declared boundaries", "test": "AlgEquiv", "student": "0/x=0", "teacher": "true", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit boundary: preserve an unsupported result until this helper has a scoped implementation.", "native_scope": false, "python": { "case_id": "port-zero-denominator-cancellation", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equations require polynomials with rational complex coefficients and numeric denominators", "message": "Equations require polynomials with rational complex coefficients and numeric denominators", "elapsed_ms": 385, "scope": "unsupported" }, "native": null, "parity": { "id": "port-zero-denominator-cancellation", "test": "AlgEquiv", "python": { "case_id": "port-zero-denominator-cancellation", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equations require polynomials with rational complex coefficients and numeric denominators", "message": "Equations require polynomials with rational complex coefficients and numeric denominators", "elapsed_ms": 385, "scope": "unsupported" }, "pyodide": { "case_id": "port-zero-denominator-cancellation", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equations require polynomials with rational complex coefficients and numeric denominators", "message": "Equations require polynomials with rational complex coefficients and numeric denominators" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-equation-system", "group": "declared boundaries", "test": "AlgEquiv", "student": "x=0 and y=0", "teacher": "x=0", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit boundary: preserve an unsupported result until this helper has a scoped implementation.", "native_scope": false, "python": { "case_id": "port-equation-system", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equation logic supports equations and disjunctions of equations", "message": "Equation logic supports equations and disjunctions of equations", "elapsed_ms": 375, "scope": "unsupported" }, "native": null, "parity": { "id": "port-equation-system", "test": "AlgEquiv", "python": { "case_id": "port-equation-system", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equation logic supports equations and disjunctions of equations", "message": "Equation logic supports equations and disjunctions of equations", "elapsed_ms": 375, "scope": "unsupported" }, "pyodide": { "case_id": "port-equation-system", "test": "AlgEquiv", "kind": "unsupported", "reason": "Equation logic supports equations and disjunctions of equations", "message": "Equation logic supports equations and disjunctions of equations" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-held-calculus", "group": "declared boundaries", "test": "AlgEquiv", "student": "'diff(x^2,x)", "teacher": "2*x", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit boundary: preserve an unsupported result until this helper has a scoped implementation.", "native_scope": false, "python": { "case_id": "port-held-calculus", "test": "AlgEquiv", "kind": "unsupported", "reason": "student syntax outside scalar grammar: Unexpected character \"'\" (U+0027) at position 0", "message": "student syntax outside scalar grammar: Unexpected character \"'\" (U+0027) at position 0", "elapsed_ms": 338, "scope": "unsupported" }, "native": null, "parity": { "id": "port-held-calculus", "test": "AlgEquiv", "python": { "case_id": "port-held-calculus", "test": "AlgEquiv", "kind": "unsupported", "reason": "student syntax outside scalar grammar: Unexpected character \"'\" (U+0027) at position 0", "message": "student syntax outside scalar grammar: Unexpected character \"'\" (U+0027) at position 0", "elapsed_ms": 338, "scope": "unsupported" }, "pyodide": { "case_id": "port-held-calculus", "test": "AlgEquiv", "kind": "unsupported", "reason": "student syntax outside scalar grammar: Unexpected character \"'\" (U+0027) at position 0", "message": "student syntax outside scalar grammar: Unexpected character \"'\" (U+0027) at position 0" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-base-log", "group": "declared boundaries", "test": "AlgEquiv", "student": "lg(x,10)", "teacher": "log(x)/log(10)", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit boundary: preserve an unsupported result until this helper has a scoped implementation.", "native_scope": false, "python": { "case_id": "port-base-log", "test": "AlgEquiv", "kind": "unsupported", "reason": "student syntax outside scalar grammar: Function lg is not allowed; use lg*(...) for multiplication", "message": "student syntax outside scalar grammar: Function lg is not allowed; use lg*(...) for multiplication", "elapsed_ms": 334, "scope": "unsupported" }, "native": null, "parity": { "id": "port-base-log", "test": "AlgEquiv", "python": { "case_id": "port-base-log", "test": "AlgEquiv", "kind": "unsupported", "reason": "student syntax outside scalar grammar: Function lg is not allowed; use lg*(...) for multiplication", "message": "student syntax outside scalar grammar: Function lg is not allowed; use lg*(...) for multiplication", "elapsed_ms": 334, "scope": "unsupported" }, "pyodide": { "case_id": "port-base-log", "test": "AlgEquiv", "kind": "unsupported", "reason": "student syntax outside scalar grammar: Function lg is not allowed; use lg*(...) for multiplication", "message": "student syntax outside scalar grammar: Function lg is not allowed; use lg*(...) for multiplication" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-plus-minus", "group": "declared boundaries", "test": "AlgEquiv", "student": "x=1+-2", "teacher": "x=3 or x=-1", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit boundary: preserve an unsupported result until this helper has a scoped implementation.", "native_scope": false, "python": { "case_id": "port-plus-minus", "test": "AlgEquiv", "kind": "unsupported", "reason": "Plus/minus input requires explicit alternatives", "message": "Plus/minus input requires explicit alternatives", "elapsed_ms": 334, "scope": "unsupported" }, "native": null, "parity": { "id": "port-plus-minus", "test": "AlgEquiv", "python": { "case_id": "port-plus-minus", "test": "AlgEquiv", "kind": "unsupported", "reason": "Plus/minus input requires explicit alternatives", "message": "Plus/minus input requires explicit alternatives", "elapsed_ms": 334, "scope": "unsupported" }, "pyodide": { "case_id": "port-plus-minus", "test": "AlgEquiv", "kind": "unsupported", "reason": "Plus/minus input requires explicit alternatives", "message": "Plus/minus input requires explicit alternatives" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-division-form-limitation", "group": "held arithmetic", "test": "EqualComAss", "student": "x/(-y)", "teacher": "-(x/y)", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 645 }, "reason": "Resolved native held-reciprocal rule: a minus inside the denominator is distinct from an outer minus.", "native_scope": true, "python": { "case_id": "port-division-form-limitation", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 340, "scope": "supported" }, "native": { "case_id": "port-division-form-limitation", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-division-form-limitation", "test": "EqualComAss", "python": { "case_id": "port-division-form-limitation", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 340, "scope": "supported" }, "pyodide": { "case_id": "port-division-form-limitation", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-implies-equivalent", "group": "logical operators", "test": "AlgEquiv", "student": "not(A) or B", "teacher": "A implies B", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 495 }, "reason": "STACK logical operators must parse as held propositions and compare by truth table.", "native_scope": true, "python": { "case_id": "port-implies-equivalent", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "native": { "case_id": "port-implies-equivalent", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-implies-equivalent", "test": "AlgEquiv", "python": { "case_id": "port-implies-equivalent", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "pyodide": { "case_id": "port-implies-equivalent", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-implies-negative", "group": "logical operators", "test": "AlgEquiv", "student": "not(A) and B", "teacher": "A implies B", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 496 }, "reason": "STACK logical operators must parse as held propositions and compare by truth table.", "native_scope": true, "python": { "case_id": "port-implies-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 369, "scope": "supported" }, "native": { "case_id": "port-implies-negative", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-implies-negative", "test": "AlgEquiv", "python": { "case_id": "port-implies-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 369, "scope": "supported" }, "pyodide": { "case_id": "port-implies-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-xor-expanded", "group": "logical operators", "test": "AlgEquiv", "student": "(not A and B) or (not B and A)", "teacher": "A xor B", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 497 }, "reason": "STACK logical operators must parse as held propositions and compare by truth table.", "native_scope": true, "python": { "case_id": "port-xor-expanded", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 372, "scope": "supported" }, "native": { "case_id": "port-xor-expanded", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-xor-expanded", "test": "AlgEquiv", "python": { "case_id": "port-xor-expanded", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 372, "scope": "supported" }, "pyodide": { "case_id": "port-xor-expanded", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-xnor-expanded", "group": "logical operators", "test": "AlgEquiv", "student": "(A and B) or (not A and not B)", "teacher": "A xnor B", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 498 }, "reason": "STACK logical operators must parse as held propositions and compare by truth table.", "native_scope": true, "python": { "case_id": "port-xnor-expanded", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "native": { "case_id": "port-xnor-expanded", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-xnor-expanded", "test": "AlgEquiv", "python": { "case_id": "port-xnor-expanded", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "pyodide": { "case_id": "port-xnor-expanded", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-xor-xnor-contradiction", "group": "logical operators", "test": "AlgEquiv", "student": "(A xor B) nounand (A xnor B)", "teacher": "false", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 500 }, "reason": "STACK logical operators must parse as held propositions and compare by truth table.", "native_scope": true, "python": { "case_id": "port-xor-xnor-contradiction", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 383, "scope": "supported" }, "native": { "case_id": "port-xor-xnor-contradiction", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-xor-xnor-contradiction", "test": "AlgEquiv", "python": { "case_id": "port-xor-xnor-contradiction", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 383, "scope": "supported" }, "pyodide": { "case_id": "port-xor-xnor-contradiction", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-relative-malformed-option", "group": "numeric option defaults", "test": "NumRelative", "student": "1", "teacher": "0", "options": "(x", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 1697 }, "reason": "STACK controller replaces a syntactically invalid numerical tolerance with 0.05 before grading.", "native_scope": true, "python": { "case_id": "port-relative-malformed-option", "test": "NumRelative", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "native": { "case_id": "port-relative-malformed-option", "test": "NumRelative", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-relative-malformed-option", "test": "NumRelative", "python": { "case_id": "port-relative-malformed-option", "test": "NumRelative", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "pyodide": { "case_id": "port-relative-malformed-option", "test": "NumRelative", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-absolute-malformed-option", "group": "numeric option defaults", "test": "NumAbsolute", "student": "1", "teacher": "0", "options": "(x", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 1735 }, "reason": "STACK controller replaces a syntactically invalid numerical tolerance with 0.05 before grading.", "native_scope": true, "python": { "case_id": "port-absolute-malformed-option", "test": "NumAbsolute", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "native": { "case_id": "port-absolute-malformed-option", "test": "NumAbsolute", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-absolute-malformed-option", "test": "NumAbsolute", "python": { "case_id": "port-absolute-malformed-option", "test": "NumAbsolute", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "pyodide": { "case_id": "port-absolute-malformed-option", "test": "NumAbsolute", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-implies-converse", "group": "logical operators", "test": "AlgEquiv", "student": "A implies B", "teacher": "B implies A", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Implication is directional; its converse is not equivalent.", "native_scope": true, "python": { "case_id": "port-implies-converse", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 342, "scope": "supported" }, "native": { "case_id": "port-implies-converse", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-implies-converse", "test": "AlgEquiv", "python": { "case_id": "port-implies-converse", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 342, "scope": "supported" }, "pyodide": { "case_id": "port-implies-converse", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-xnor-three-operands", "group": "logical operators", "test": "AlgEquiv", "student": "A xnor B xnor C", "teacher": "A xor B xor C", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "STACK xnor chains use parity equivalence, not an all-operands-equal test.", "native_scope": true, "python": { "case_id": "port-xnor-three-operands", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 380, "scope": "supported" }, "native": { "case_id": "port-xnor-three-operands", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-xnor-three-operands", "test": "AlgEquiv", "python": { "case_id": "port-xnor-three-operands", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 380, "scope": "supported" }, "pyodide": { "case_id": "port-xnor-three-operands", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-absolute-default-accept", "group": "numeric option defaults", "test": "NumAbsolute", "student": "1.049", "teacher": "1", "options": "(x", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Malformed numerical options use 0.05 even when this accepts the answer.", "native_scope": true, "python": { "case_id": "port-absolute-default-accept", "test": "NumAbsolute", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 333, "scope": "supported" }, "native": { "case_id": "port-absolute-default-accept", "test": "NumAbsolute", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-absolute-default-accept", "test": "NumAbsolute", "python": { "case_id": "port-absolute-default-accept", "test": "NumAbsolute", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 333, "scope": "supported" }, "pyodide": { "case_id": "port-absolute-default-accept", "test": "NumAbsolute", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-relative-default-accept", "group": "numeric option defaults", "test": "NumRelative", "student": "1.049", "teacher": "1", "options": "(x", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Malformed numerical options use 0.05 even when this accepts the answer.", "native_scope": true, "python": { "case_id": "port-relative-default-accept", "test": "NumRelative", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "native": { "case_id": "port-relative-default-accept", "test": "NumRelative", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-relative-default-accept", "test": "NumRelative", "python": { "case_id": "port-relative-default-accept", "test": "NumRelative", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "pyodide": { "case_id": "port-relative-default-accept", "test": "NumRelative", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-ln-alias", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "ln(x)", "teacher": "log(x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "STACK assessment.mac aliases ln to log.", "native_scope": true, "python": { "case_id": "port-ln-alias", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 351, "scope": "supported" }, "native": { "case_id": "port-ln-alias", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-ln-alias", "test": "AlgEquiv", "python": { "case_id": "port-ln-alias", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 351, "scope": "supported" }, "pyodide": { "case_id": "port-ln-alias", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-ln-held-form", "group": "corpus scalar functions", "test": "EqualComAss", "student": "ln(x)", "teacher": "log(x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "The log alias preserves the same written function form.", "native_scope": true, "python": { "case_id": "port-ln-held-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 349, "scope": "supported" }, "native": { "case_id": "port-ln-held-form", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-ln-held-form", "test": "EqualComAss", "python": { "case_id": "port-ln-held-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 349, "scope": "supported" }, "pyodide": { "case_id": "port-ln-held-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-gcd-integer", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "gcd(-12,18)", "teacher": "6", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Integer gcd retains nonnegative numeric content.", "native_scope": true, "python": { "case_id": "port-gcd-integer", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 339, "scope": "supported" }, "native": { "case_id": "port-gcd-integer", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-gcd-integer", "test": "AlgEquiv", "python": { "case_id": "port-gcd-integer", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 339, "scope": "supported" }, "pyodide": { "case_id": "port-gcd-integer", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-gcd-polynomial-content", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "gcd(2*x+2,4*x+4)", "teacher": "2*x+2", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Polynomial gcd retains numeric content rather than becoming monic.", "native_scope": true, "python": { "case_id": "port-gcd-polynomial-content", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 375, "scope": "supported" }, "native": { "case_id": "port-gcd-polynomial-content", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-gcd-polynomial-content", "test": "AlgEquiv", "python": { "case_id": "port-gcd-polynomial-content", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 375, "scope": "supported" }, "pyodide": { "case_id": "port-gcd-polynomial-content", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-gcd-not-monic", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "gcd(2*x+2,4*x+4)", "teacher": "x+1", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Dropping polynomial numeric content changes the gcd.", "native_scope": true, "python": { "case_id": "port-gcd-not-monic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 378, "scope": "supported" }, "native": { "case_id": "port-gcd-not-monic", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-gcd-not-monic", "test": "AlgEquiv", "python": { "case_id": "port-gcd-not-monic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 378, "scope": "supported" }, "pyodide": { "case_id": "port-gcd-not-monic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-mod-negative-dividend", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "mod(-7,3)", "teacher": "2", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Modulo uses the floor convention, including negative dividends.", "native_scope": true, "python": { "case_id": "port-mod-negative-dividend", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 336, "scope": "supported" }, "native": { "case_id": "port-mod-negative-dividend", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-mod-negative-dividend", "test": "AlgEquiv", "python": { "case_id": "port-mod-negative-dividend", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 336, "scope": "supported" }, "pyodide": { "case_id": "port-mod-negative-dividend", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-mod-negative-divisor", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "mod(7,-3)", "teacher": "-2", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "The remainder has the divisor sign, as in Maxima.", "native_scope": true, "python": { "case_id": "port-mod-negative-divisor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 339, "scope": "supported" }, "native": { "case_id": "port-mod-negative-divisor", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-mod-negative-divisor", "test": "AlgEquiv", "python": { "case_id": "port-mod-negative-divisor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 339, "scope": "supported" }, "pyodide": { "case_id": "port-mod-negative-divisor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-mod-zero-divisor", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "mod(7,0)", "teacher": "7", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Maxima defines mod(x,0)=x; SymPy Mod would raise.", "native_scope": true, "python": { "case_id": "port-mod-zero-divisor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 335, "scope": "supported" }, "native": { "case_id": "port-mod-zero-divisor", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-mod-zero-divisor", "test": "AlgEquiv", "python": { "case_id": "port-mod-zero-divisor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 335, "scope": "supported" }, "pyodide": { "case_id": "port-mod-zero-divisor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-mod-pi-period", "group": "corpus scalar functions", "test": "AlgEquiv", "student": "mod(5*Pi/2,2*%pi)", "teacher": "%pi/2", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Modulo supports real period reduction used by Complex_Convert_1.", "native_scope": true, "python": { "case_id": "port-mod-pi-period", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 376, "scope": "supported" }, "native": { "case_id": "port-mod-pi-period", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-mod-pi-period", "test": "AlgEquiv", "python": { "case_id": "port-mod-pi-period", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 376, "scope": "supported" }, "pyodide": { "case_id": "port-mod-pi-period", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-integral-singlefrac-authoring", "group": "upstream authoring controls", "test": "SingleFrac", "student": "7*(t+y)", "teacher": "7*(t+y)", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null, "corpus_file": "AlgMap-8-10.xml", "seed": 1856951054 }, "reason": "AlgMap-8.10 can generate a correct integral product that its SingleFrac-only full-credit branch rejects. This pins the native form behavior behind the upstream PRT authoring bug.", "native_scope": true, "python": { "case_id": "port-integral-singlefrac-authoring", "test": "SingleFrac", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 371, "scope": "supported" }, "native": { "case_id": "port-integral-singlefrac-authoring", "test": "SingleFrac", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSingleFrac_part. ", "controlled_error": false }, "parity": { "id": "port-integral-singlefrac-authoring", "test": "SingleFrac", "python": { "case_id": "port-integral-singlefrac-authoring", "test": "SingleFrac", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 371, "scope": "supported" }, "pyodide": { "case_id": "port-integral-singlefrac-authoring", "test": "SingleFrac", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-symbolic-complex-log-boundary", "group": "declared boundaries", "test": "AlgEquiv", "student": "ln(x+%i)", "teacher": "log(x+%i)", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": 466 }, "reason": "Scalar ln is a log alias; symbolic complex-log branch proofs remain outside the declared subset.", "native_scope": false, "python": { "case_id": "port-symbolic-complex-log-boundary", "test": "AlgEquiv", "kind": "unsupported", "reason": "Symbolic complex logarithms require branch-aware proof", "message": "Symbolic complex logarithms require branch-aware proof", "elapsed_ms": 336, "scope": "unsupported" }, "native": null, "parity": { "id": "port-symbolic-complex-log-boundary", "test": "AlgEquiv", "python": { "case_id": "port-symbolic-complex-log-boundary", "test": "AlgEquiv", "kind": "unsupported", "reason": "Symbolic complex logarithms require branch-aware proof", "message": "Symbolic complex logarithms require branch-aware proof", "elapsed_ms": 336, "scope": "unsupported" }, "pyodide": { "case_id": "port-symbolic-complex-log-boundary", "test": "AlgEquiv", "kind": "unsupported", "reason": "Symbolic complex logarithms require branch-aware proof", "message": "Symbolic complex logarithms require branch-aware proof" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-native-32", "group": "documented native semantics", "test": "AlgEquiv", "student": "452", "teacher": "4.52*10^2", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 32 }, "reason": "Native documented binary64 constant arithmetic, with no tolerance.", "native_scope": true, "python": { "case_id": "port-native-32", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 340, "scope": "supported" }, "native": { "case_id": "port-native-32", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-native-32", "test": "AlgEquiv", "python": { "case_id": "port-native-32", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 340, "scope": "supported" }, "pyodide": { "case_id": "port-native-32", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-37", "group": "documented native semantics", "test": "AlgEquiv", "student": "0.99999999", "teacher": "99999998/99999999", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 37 }, "reason": "Native documented binary64 constant arithmetic, with no tolerance.", "native_scope": true, "python": { "case_id": "port-native-37", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 336, "scope": "supported" }, "native": { "case_id": "port-native-37", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-native-37", "test": "AlgEquiv", "python": { "case_id": "port-native-37", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 336, "scope": "supported" }, "pyodide": { "case_id": "port-native-37", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-43", "group": "documented native semantics", "test": "AlgEquiv", "student": "100.4-80.0", "teacher": "20.4", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 43 }, "reason": "Native documented binary64 constant arithmetic, with no tolerance.", "native_scope": true, "python": { "case_id": "port-native-43", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 377, "scope": "supported" }, "native": { "case_id": "port-native-43", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-native-43", "test": "AlgEquiv", "python": { "case_id": "port-native-43", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 377, "scope": "supported" }, "pyodide": { "case_id": "port-native-43", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-80", "group": "documented native semantics", "test": "AlgEquiv", "student": "1/sqrt(x)", "teacher": "sqrt(1/x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 80 }, "reason": "Explicit STACK symbolic reciprocal-square-root convention.", "native_scope": true, "python": { "case_id": "port-native-80", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 385, "scope": "supported" }, "native": { "case_id": "port-native-80", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-native-80", "test": "AlgEquiv", "python": { "case_id": "port-native-80", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 385, "scope": "supported" }, "pyodide": { "case_id": "port-native-80", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-166", "group": "documented native semantics", "test": "AlgEquiv", "student": "x^log(y)", "teacher": "y^log(x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 166 }, "reason": "Principal powers exponentialize to exp(log(x)*log(y)) without log-product expansion.", "native_scope": true, "python": { "case_id": "port-native-166", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 522, "scope": "supported" }, "native": { "case_id": "port-native-166", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-native-166", "test": "AlgEquiv", "python": { "case_id": "port-native-166", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 522, "scope": "supported" }, "pyodide": { "case_id": "port-native-166", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-647", "group": "held arithmetic", "test": "EqualComAss", "student": "1/2*1/x", "teacher": "1/(2*x)", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 647 }, "reason": "Native written form and sign-context regression.", "native_scope": true, "python": { "case_id": "port-native-647", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 335, "scope": "supported" }, "native": { "case_id": "port-native-647", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-native-647", "test": "EqualComAss", "python": { "case_id": "port-native-647", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 335, "scope": "supported" }, "pyodide": { "case_id": "port-native-647", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-658", "group": "held arithmetic", "test": "EqualComAss", "student": "(1/2)*(a+b)", "teacher": "(a+b)/2", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 658 }, "reason": "Native written form and sign-context regression.", "native_scope": true, "python": { "case_id": "port-native-658", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 371, "scope": "supported" }, "native": { "case_id": "port-native-658", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-native-658", "test": "EqualComAss", "python": { "case_id": "port-native-658", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 371, "scope": "supported" }, "pyodide": { "case_id": "port-native-658", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-665", "group": "held arithmetic", "test": "EqualComAss", "student": "1/3*i", "teacher": "i/3", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 665 }, "reason": "Native written form and sign-context regression.", "native_scope": true, "python": { "case_id": "port-native-665", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 336, "scope": "supported" }, "native": { "case_id": "port-native-665", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-native-665", "test": "EqualComAss", "python": { "case_id": "port-native-665", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 336, "scope": "supported" }, "pyodide": { "case_id": "port-native-665", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-native-2278", "group": "held arithmetic", "test": "LowestTerms", "student": "x-1/-4", "teacher": "0", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": 2278 }, "reason": "Native written form and sign-context regression.", "native_scope": true, "python": { "case_id": "port-native-2278", "test": "LowestTerms", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 371, "scope": "supported" }, "native": { "case_id": "port-native-2278", "test": "LowestTerms", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATLowestTerms_entries. ", "controlled_error": false }, "parity": { "id": "port-native-2278", "test": "LowestTerms", "python": { "case_id": "port-native-2278", "test": "LowestTerms", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 371, "scope": "supported" }, "pyodide": { "case_id": "port-native-2278", "test": "LowestTerms", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-held-mul-div", "group": "native semantics controls", "test": "EqualComAss", "student": "(a*b)/c", "teacher": "a*(b/c)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-held-mul-div", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 342, "scope": "supported" }, "native": { "case_id": "port-held-mul-div", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-held-mul-div", "test": "EqualComAss", "python": { "case_id": "port-held-mul-div", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 342, "scope": "supported" }, "pyodide": { "case_id": "port-held-mul-div", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-held-minus-numerator", "group": "native semantics controls", "test": "EqualComAss", "student": "(-x)/y", "teacher": "-(x/y)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-held-minus-numerator", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 337, "scope": "supported" }, "native": { "case_id": "port-held-minus-numerator", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-held-minus-numerator", "test": "EqualComAss", "python": { "case_id": "port-held-minus-numerator", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 337, "scope": "supported" }, "pyodide": { "case_id": "port-held-minus-numerator", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-held-minus-fraction", "group": "native semantics controls", "test": "EqualComAss", "student": "-1/4*x", "teacher": "-x/4", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-held-minus-fraction", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 348, "scope": "supported" }, "native": { "case_id": "port-held-minus-fraction", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-held-minus-fraction", "test": "EqualComAss", "python": { "case_id": "port-held-minus-fraction", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 348, "scope": "supported" }, "pyodide": { "case_id": "port-held-minus-fraction", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-held-reciprocal-power", "group": "native semantics controls", "test": "EqualComAss", "student": "1/x", "teacher": "x^(-1)", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-held-reciprocal-power", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 338, "scope": "supported" }, "native": { "case_id": "port-held-reciprocal-power", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-held-reciprocal-power", "test": "EqualComAss", "python": { "case_id": "port-held-reciprocal-power", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 338, "scope": "supported" }, "pyodide": { "case_id": "port-held-reciprocal-power", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-held-quotient-chain", "group": "native semantics controls", "test": "EqualComAss", "student": "x/(y*z)", "teacher": "x/y/z", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Native held quotients keep separate UNARY_RECIP operands; combining denominators requires optional recipMul (upstream fixture lines 1250-1257).", "native_scope": true, "python": { "case_id": "port-held-quotient-chain", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 341, "scope": "supported" }, "native": { "case_id": "port-held-quotient-chain", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-held-quotient-chain", "test": "EqualComAss", "python": { "case_id": "port-held-quotient-chain", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 341, "scope": "supported" }, "pyodide": { "case_id": "port-held-quotient-chain", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-lowest-negative-denominator", "group": "native semantics controls", "test": "LowestTerms", "student": "1/-3", "teacher": "0", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-lowest-negative-denominator", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 340, "scope": "supported" }, "native": { "case_id": "port-lowest-negative-denominator", "test": "LowestTerms", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-lowest-negative-denominator", "test": "LowestTerms", "python": { "case_id": "port-lowest-negative-denominator", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 340, "scope": "supported" }, "pyodide": { "case_id": "port-lowest-negative-denominator", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-lowest-subtract-negative", "group": "native semantics controls", "test": "LowestTerms", "student": "x+1/-4", "teacher": "0", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-lowest-subtract-negative", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 382, "scope": "supported" }, "native": { "case_id": "port-lowest-subtract-negative", "test": "LowestTerms", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-lowest-subtract-negative", "test": "LowestTerms", "python": { "case_id": "port-lowest-subtract-negative", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 382, "scope": "supported" }, "pyodide": { "case_id": "port-lowest-subtract-negative", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-lowest-subtract-positive", "group": "native semantics controls", "test": "LowestTerms", "student": "x-1/4", "teacher": "0", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-lowest-subtract-positive", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "native": { "case_id": "port-lowest-subtract-positive", "test": "LowestTerms", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-lowest-subtract-positive", "test": "LowestTerms", "python": { "case_id": "port-lowest-subtract-positive", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "pyodide": { "case_id": "port-lowest-subtract-positive", "test": "LowestTerms", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-float-near-one", "group": "native semantics controls", "test": "AlgEquiv", "student": "0.99999999", "teacher": "1", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-float-near-one", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 343, "scope": "supported" }, "native": { "case_id": "port-float-near-one", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-float-near-one", "test": "AlgEquiv", "python": { "case_id": "port-float-near-one", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 343, "scope": "supported" }, "pyodide": { "case_id": "port-float-near-one", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-float-exact-rationals", "group": "native semantics controls", "test": "AlgEquiv", "student": "99999999/10^8", "teacher": "99999998/99999999", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-float-exact-rationals", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 338, "scope": "supported" }, "native": { "case_id": "port-float-exact-rationals", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-float-exact-rationals", "test": "AlgEquiv", "python": { "case_id": "port-float-exact-rationals", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 338, "scope": "supported" }, "pyodide": { "case_id": "port-float-exact-rationals", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-float-half", "group": "native semantics controls", "test": "AlgEquiv", "student": "0.5", "teacher": "1/2", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-float-half", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 339, "scope": "supported" }, "native": { "case_id": "port-float-half", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-float-half", "test": "AlgEquiv", "python": { "case_id": "port-float-half", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 339, "scope": "supported" }, "pyodide": { "case_id": "port-float-half", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-float-third", "group": "native semantics controls", "test": "AlgEquiv", "student": "0.333333333333333", "teacher": "1/3", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-float-third", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "native": { "case_id": "port-float-third", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-float-third", "test": "AlgEquiv", "python": { "case_id": "port-float-third", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 337, "scope": "supported" }, "pyodide": { "case_id": "port-float-third", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-float-sum", "group": "native semantics controls", "test": "AlgEquiv", "student": "0.1+0.2", "teacher": "0.3", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-float-sum", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "native": { "case_id": "port-float-sum", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-float-sum", "test": "AlgEquiv", "python": { "case_id": "port-float-sum", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "pyodide": { "case_id": "port-float-sum", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-reciprocal-sqrt-negative", "group": "native semantics controls", "test": "AlgEquiv", "student": "1/sqrt(-1)", "teacher": "sqrt(1/(-1))", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-reciprocal-sqrt-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 500, "scope": "supported" }, "native": { "case_id": "port-reciprocal-sqrt-negative", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-reciprocal-sqrt-negative", "test": "AlgEquiv", "python": { "case_id": "port-reciprocal-sqrt-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 500, "scope": "supported" }, "pyodide": { "case_id": "port-reciprocal-sqrt-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-log-power-negative", "group": "native semantics controls", "test": "AlgEquiv", "student": "x^log(y)", "teacher": "y^(2*log(x))", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Adjacent native acceptance/rejection control for the documented semantics fixes.", "native_scope": true, "python": { "case_id": "port-log-power-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 390, "scope": "supported" }, "native": { "case_id": "port-log-power-negative", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-log-power-negative", "test": "AlgEquiv", "python": { "case_id": "port-log-power-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "elapsed_ms": 390, "scope": "supported" }, "pyodide": { "case_id": "port-log-power-negative", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-empty", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[]", "teacher": "[]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 384, "scope": "supported" }, "native": { "case_id": "port-list-empty", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-list-empty", "test": "AlgEquiv", "python": { "case_id": "port-list-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 384, "scope": "supported" }, "pyodide": { "case_id": "port-list-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-ordered", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[1,2]", "teacher": "[1,2]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-ordered", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 352, "scope": "supported" }, "native": { "case_id": "port-list-ordered", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-list-ordered", "test": "AlgEquiv", "python": { "case_id": "port-list-ordered", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 352, "scope": "supported" }, "pyodide": { "case_id": "port-list-ordered", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-order-matters", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[2,1]", "teacher": "[1,2]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-order-matters", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1, 2.", "elapsed_ms": 361, "scope": "supported" }, "native": { "case_id": "port-list-order-matters", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "(ATList_wrongentries 1, 2). ", "controlled_error": false }, "parity": { "id": "port-list-order-matters", "test": "AlgEquiv", "python": { "case_id": "port-list-order-matters", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1, 2.", "elapsed_ms": 361, "scope": "supported" }, "pyodide": { "case_id": "port-list-order-matters", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1, 2." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-length", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[1,1]", "teacher": "[1]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-length", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wronglen", "feedback": "The list has the wrong number of entries.", "elapsed_ms": 353, "scope": "supported" }, "native": { "case_id": "port-list-length", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATList_wronglen. ", "controlled_error": false }, "parity": { "id": "port-list-length", "test": "AlgEquiv", "python": { "case_id": "port-list-length", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wronglen", "feedback": "The list has the wrong number of entries.", "elapsed_ms": 353, "scope": "supported" }, "pyodide": { "case_id": "port-list-length", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wronglen", "feedback": "The list has the wrong number of entries." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-equivalence", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[x+x,sin(x)^2+cos(x)^2]", "teacher": "[2*x,1]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-equivalence", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 432, "scope": "supported" }, "native": { "case_id": "port-list-equivalence", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-list-equivalence", "test": "AlgEquiv", "python": { "case_id": "port-list-equivalence", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 432, "scope": "supported" }, "pyodide": { "case_id": "port-list-equivalence", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-float-product", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[452]", "teacher": "[4.52*10^2]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-float-product", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1.", "elapsed_ms": 377, "scope": "supported" }, "native": { "case_id": "port-list-float-product", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "(ATList_wrongentries 1). ", "controlled_error": false }, "parity": { "id": "port-list-float-product", "test": "AlgEquiv", "python": { "case_id": "port-list-float-product", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1.", "elapsed_ms": 377, "scope": "supported" }, "pyodide": { "case_id": "port-list-float-product", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-float-subtraction", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[100.4-80.0]", "teacher": "[20.4]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-float-subtraction", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1.", "elapsed_ms": 400, "scope": "supported" }, "native": { "case_id": "port-list-float-subtraction", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "(ATList_wrongentries 1). ", "controlled_error": false }, "parity": { "id": "port-list-float-subtraction", "test": "AlgEquiv", "python": { "case_id": "port-list-float-subtraction", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1.", "elapsed_ms": 400, "scope": "supported" }, "pyodide": { "case_id": "port-list-float-subtraction", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATList_wrongentries", "feedback": "Check list positions: 1." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-float-third", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[1/3]", "teacher": "[0.3333333333333333]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-float-third", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 367, "scope": "supported" }, "native": { "case_id": "port-list-float-third", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-list-float-third", "test": "AlgEquiv", "python": { "case_id": "port-list-float-third", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 367, "scope": "supported" }, "pyodide": { "case_id": "port-list-float-third", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-set-empty", "group": "finite scalar collections", "test": "AlgEquiv", "student": "{}", "teacher": "{}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-set-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 366, "scope": "supported" }, "native": { "case_id": "port-set-empty", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-set-empty", "test": "AlgEquiv", "python": { "case_id": "port-set-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 366, "scope": "supported" }, "pyodide": { "case_id": "port-set-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-set-order", "group": "finite scalar collections", "test": "AlgEquiv", "student": "{2,1}", "teacher": "{1,2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-set-order", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 365, "scope": "supported" }, "native": { "case_id": "port-set-order", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-set-order", "test": "AlgEquiv", "python": { "case_id": "port-set-order", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 365, "scope": "supported" }, "pyodide": { "case_id": "port-set-order", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-set-duplicates", "group": "finite scalar collections", "test": "AlgEquiv", "student": "{1,2,1+1}", "teacher": "{1,2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-set-duplicates", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 392, "scope": "supported" }, "native": { "case_id": "port-set-duplicates", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-set-duplicates", "test": "AlgEquiv", "python": { "case_id": "port-set-duplicates", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 392, "scope": "supported" }, "pyodide": { "case_id": "port-set-duplicates", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-set-rationals", "group": "finite scalar collections", "test": "AlgEquiv", "student": "{2/4,x+x}", "teacher": "{2*x,1/2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-set-rationals", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 402, "scope": "supported" }, "native": { "case_id": "port-set-rationals", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-set-rationals", "test": "AlgEquiv", "python": { "case_id": "port-set-rationals", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 402, "scope": "supported" }, "pyodide": { "case_id": "port-set-rationals", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-set-not-pairwise", "group": "finite scalar collections", "test": "AlgEquiv", "student": "{(x+1)^2}", "teacher": "{x^2+2*x+1}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-set-not-pairwise", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set.", "elapsed_ms": 411, "scope": "supported" }, "native": { "case_id": "port-set-not-pairwise", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSet_wrongentries. ", "controlled_error": false }, "parity": { "id": "port-set-not-pairwise", "test": "AlgEquiv", "python": { "case_id": "port-set-not-pairwise", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set.", "elapsed_ms": 411, "scope": "supported" }, "pyodide": { "case_id": "port-set-not-pairwise", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sets-trig", "group": "finite scalar collections", "test": "Sets", "student": "{sin(x)^2+cos(x)^2}", "teacher": "{1}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned native set preparation does not establish this scalar trigonometric identity; members compare structurally.", "native_scope": true, "python": { "case_id": "port-sets-trig", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: sin(x)**2 + cos(x)**2. Missing elements: 1.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "sin(x)**2 + cos(x)**2", "latex": "\\sin^{2}{\\left(x \\right)} + \\cos^{2}{\\left(x \\right)}" } ] }, "text": "Extra elements: sin(x)**2 + cos(x)**2." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "1", "latex": "1" } ] }, "text": "Missing elements: 1." } ], "elapsed_ms": 399, "scope": "supported" }, "native": { "case_id": "port-sets-trig", "test": "Sets", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSets_wrongentries. ATSets_missingentries. ", "controlled_error": false }, "parity": { "id": "port-sets-trig", "test": "Sets", "python": { "case_id": "port-sets-trig", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: sin(x)**2 + cos(x)**2. Missing elements: 1.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "sin(x)**2 + cos(x)**2", "latex": "\\sin^{2}{\\left(x \\right)} + \\cos^{2}{\\left(x \\right)}" } ] }, "text": "Extra elements: sin(x)**2 + cos(x)**2." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "1", "latex": "1" } ] }, "text": "Missing elements: 1." } ], "elapsed_ms": 399, "scope": "supported" }, "pyodide": { "case_id": "port-sets-trig", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: sin(x)**2 + cos(x)**2. Missing elements: 1.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "sin(x)**2 + cos(x)**2", "latex": "\\sin^{2}{\\left(x \\right)} + \\cos^{2}{\\left(x \\right)}" } ] }, "text": "Extra elements: sin(x)**2 + cos(x)**2." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "1", "latex": "1" } ] }, "text": "Missing elements: 1." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sets-duplicates", "group": "finite scalar collections", "test": "Sets", "student": "{1,2,1+1}", "teacher": "{1,2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-sets-duplicates", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ], "elapsed_ms": 390, "scope": "supported" }, "native": { "case_id": "port-sets-duplicates", "test": "Sets", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATSets_duplicates. ", "controlled_error": false }, "parity": { "id": "port-sets-duplicates", "test": "Sets", "python": { "case_id": "port-sets-duplicates", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ], "elapsed_ms": 390, "scope": "supported" }, "pyodide": { "case_id": "port-sets-duplicates", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sets-missing", "group": "finite scalar collections", "test": "Sets", "student": "{1}", "teacher": "{1,2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-sets-missing", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_missingentries", "feedback": "Missing elements: 2.", "messages": [ { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "2", "latex": "2" } ] }, "text": "Missing elements: 2." } ], "elapsed_ms": 366, "scope": "supported" }, "native": { "case_id": "port-sets-missing", "test": "Sets", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSets_missingentries. ", "controlled_error": false }, "parity": { "id": "port-sets-missing", "test": "Sets", "python": { "case_id": "port-sets-missing", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_missingentries", "feedback": "Missing elements: 2.", "messages": [ { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "2", "latex": "2" } ] }, "text": "Missing elements: 2." } ], "elapsed_ms": 366, "scope": "supported" }, "pyodide": { "case_id": "port-sets-missing", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_missingentries", "feedback": "Missing elements: 2.", "messages": [ { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "2", "latex": "2" } ] }, "text": "Missing elements: 2." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sets-extra", "group": "finite scalar collections", "test": "Sets", "student": "{1,2,3}", "teacher": "{1,2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-sets-extra", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries", "feedback": "Extra elements: 3.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "3", "latex": "3" } ] }, "text": "Extra elements: 3." } ], "elapsed_ms": 364, "scope": "supported" }, "native": { "case_id": "port-sets-extra", "test": "Sets", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSets_wrongentries. ", "controlled_error": false }, "parity": { "id": "port-sets-extra", "test": "Sets", "python": { "case_id": "port-sets-extra", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries", "feedback": "Extra elements: 3.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "3", "latex": "3" } ] }, "text": "Extra elements: 3." } ], "elapsed_ms": 364, "scope": "supported" }, "pyodide": { "case_id": "port-sets-extra", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries", "feedback": "Extra elements: 3.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "3", "latex": "3" } ] }, "text": "Extra elements: 3." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sets-both", "group": "finite scalar collections", "test": "Sets", "student": "{1,3}", "teacher": "{1,2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-sets-both", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: 3. Missing elements: 2.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "3", "latex": "3" } ] }, "text": "Extra elements: 3." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "2", "latex": "2" } ] }, "text": "Missing elements: 2." } ], "elapsed_ms": 365, "scope": "supported" }, "native": { "case_id": "port-sets-both", "test": "Sets", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSets_wrongentries. ATSets_missingentries. ", "controlled_error": false }, "parity": { "id": "port-sets-both", "test": "Sets", "python": { "case_id": "port-sets-both", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: 3. Missing elements: 2.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "3", "latex": "3" } ] }, "text": "Extra elements: 3." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "2", "latex": "2" } ] }, "text": "Missing elements: 2." } ], "elapsed_ms": 365, "scope": "supported" }, "pyodide": { "case_id": "port-sets-both", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: 3. Missing elements: 2.", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "3", "latex": "3" } ] }, "text": "Extra elements: 3." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "2", "latex": "2" } ] }, "text": "Missing elements: 2." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sets-empty", "group": "finite scalar collections", "test": "Sets", "student": "{}", "teacher": "{}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-sets-empty", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 353, "scope": "supported" }, "native": { "case_id": "port-sets-empty", "test": "Sets", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-sets-empty", "test": "Sets", "python": { "case_id": "port-sets-empty", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 353, "scope": "supported" }, "pyodide": { "case_id": "port-sets-empty", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-set-type", "group": "finite scalar collections", "test": "AlgEquiv", "student": "[1]", "teacher": "{1}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-list-set-type", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type.", "elapsed_ms": 383, "scope": "supported" }, "native": { "case_id": "port-list-set-type", "test": "AlgEquiv", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATAlgEquiv_SA_not_set. ", "controlled_error": false }, "parity": { "id": "port-list-set-type", "test": "AlgEquiv", "python": { "case_id": "port-list-set-type", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type.", "elapsed_ms": 383, "scope": "supported" }, "pyodide": { "case_id": "port-list-set-type", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-sets-type", "group": "finite scalar collections", "test": "Sets", "student": "[1]", "teacher": "{1}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered lists preserve scalar AlgEquiv; sets compare normalized members and preserve duplicate feedback.", "native_scope": true, "python": { "case_id": "port-sets-type", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "ATSets_SA_not_set", "feedback": "Enter a set using braces {...}.", "elapsed_ms": 372, "scope": "supported" }, "native": { "case_id": "port-sets-type", "test": "Sets", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATSets_SA_not_set. ", "controlled_error": false }, "parity": { "id": "port-sets-type", "test": "Sets", "python": { "case_id": "port-sets-type", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "ATSets_SA_not_set", "feedback": "Enter a set using braces {...}.", "elapsed_ms": 372, "scope": "supported" }, "pyodide": { "case_id": "port-sets-type", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "ATSets_SA_not_set", "feedback": "Enter a set using braces {...}." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested-list", "group": "nested collection applicability", "test": "AlgEquiv", "student": "[[1]]", "teacher": "[1]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Nested collections are supported; this candidate has a different element/root type from the reference.", "native_scope": true, "python": { "case_id": "port-nested-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "ATList_wrongentries", "feedback": "Check list positions: 1.", "elapsed_ms": 378, "scope": "supported" }, "native": { "case_id": "port-nested-list", "test": "AlgEquiv", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "(ATList_wrongentries 1: ATAlgEquiv_SA_not_expression). ", "controlled_error": false }, "parity": { "id": "port-nested-list", "test": "AlgEquiv", "python": { "case_id": "port-nested-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "ATList_wrongentries", "feedback": "Check list positions: 1.", "elapsed_ms": 378, "scope": "supported" }, "pyodide": { "case_id": "port-nested-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "ATList_wrongentries", "feedback": "Check list positions: 1." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested-set", "group": "nested collection applicability", "test": "AlgEquiv", "student": "{{1}}", "teacher": "[1]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Nested collections are supported; this candidate has a different element/root type from the reference.", "native_scope": true, "python": { "case_id": "port-nested-set", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type.", "elapsed_ms": 379, "scope": "supported" }, "native": { "case_id": "port-nested-set", "test": "AlgEquiv", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATAlgEquiv_SA_not_list. ", "controlled_error": false }, "parity": { "id": "port-nested-set", "test": "AlgEquiv", "python": { "case_id": "port-nested-set", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type.", "elapsed_ms": 379, "scope": "supported" }, "pyodide": { "case_id": "port-nested-set", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-list-logical", "group": "finite collection boundaries", "test": "AlgEquiv", "student": "[x=1]", "teacher": "[1]", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Flat scalar collections only; nested/logical elements and more than 32 entries remain outside scope.", "native_scope": false, "python": { "case_id": "port-list-logical", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection leaves must be scalar expressions", "message": "Collection leaves must be scalar expressions", "elapsed_ms": 368, "scope": "unsupported" }, "native": null, "parity": { "id": "port-list-logical", "test": "AlgEquiv", "python": { "case_id": "port-list-logical", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection leaves must be scalar expressions", "message": "Collection leaves must be scalar expressions", "elapsed_ms": 368, "scope": "unsupported" }, "pyodide": { "case_id": "port-list-logical", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection leaves must be scalar expressions", "message": "Collection leaves must be scalar expressions" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-set-logical", "group": "finite collection boundaries", "test": "AlgEquiv", "student": "{true}", "teacher": "[1]", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Flat scalar collections only; nested/logical elements and more than 32 entries remain outside scope.", "native_scope": false, "python": { "case_id": "port-set-logical", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection leaves must be scalar expressions", "message": "Collection leaves must be scalar expressions", "elapsed_ms": 373, "scope": "unsupported" }, "native": null, "parity": { "id": "port-set-logical", "test": "AlgEquiv", "python": { "case_id": "port-set-logical", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection leaves must be scalar expressions", "message": "Collection leaves must be scalar expressions", "elapsed_ms": 373, "scope": "unsupported" }, "pyodide": { "case_id": "port-set-logical", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection leaves must be scalar expressions", "message": "Collection leaves must be scalar expressions" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-collection-limit", "group": "finite collection boundaries", "test": "AlgEquiv", "student": "[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]", "teacher": "[1]", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Flat scalar collections only; nested/logical elements and more than 32 entries remain outside scope.", "native_scope": false, "python": { "case_id": "port-collection-limit", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection size exceeds supported bound", "message": "Collection size exceeds supported bound", "elapsed_ms": 368, "scope": "unsupported" }, "native": null, "parity": { "id": "port-collection-limit", "test": "AlgEquiv", "python": { "case_id": "port-collection-limit", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection size exceeds supported bound", "message": "Collection size exceeds supported bound", "elapsed_ms": 368, "scope": "unsupported" }, "pyodide": { "case_id": "port-collection-limit", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection size exceeds supported bound", "message": "Collection size exceeds supported bound" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-set-trig-structural", "group": "finite scalar collections", "test": "AlgEquiv", "student": "{sin(x)^2+cos(x)^2}", "teacher": "{1}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned native set preparation does not establish this scalar trigonometric identity; members compare structurally.", "native_scope": true, "python": { "case_id": "port-set-trig-structural", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set.", "elapsed_ms": 433, "scope": "supported" }, "native": { "case_id": "port-set-trig-structural", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSet_wrongentries. ", "controlled_error": false }, "parity": { "id": "port-set-trig-structural", "test": "AlgEquiv", "python": { "case_id": "port-set-trig-structural", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set.", "elapsed_ms": 433, "scope": "supported" }, "pyodide": { "case_id": "port-set-trig-structural", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-nested-list", "group": "nested collections and checks", "test": "AlgEquiv", "student": "[1,[x+x]]", "teacher": "[1,[2*x]]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-nested-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 398, "scope": "supported" }, "native": { "case_id": "port-nested2-nested-list", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-nested-list", "test": "AlgEquiv", "python": { "case_id": "port-nested2-nested-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 398, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-nested-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-set-of-lists", "group": "nested collections and checks", "test": "AlgEquiv", "student": "{[x+x]}", "teacher": "{[2*x]}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-set-of-lists", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 406, "scope": "supported" }, "native": { "case_id": "port-nested2-set-of-lists", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-set-of-lists", "test": "AlgEquiv", "python": { "case_id": "port-nested2-set-of-lists", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 406, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-set-of-lists", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-set-inner-list-order", "group": "nested collections and checks", "test": "AlgEquiv", "student": "{[1,2]}", "teacher": "{[2,1]}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-set-inner-list-order", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set.", "elapsed_ms": 382, "scope": "supported" }, "native": { "case_id": "port-nested2-set-inner-list-order", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSet_wrongentries. ", "controlled_error": false }, "parity": { "id": "port-nested2-set-inner-list-order", "test": "AlgEquiv", "python": { "case_id": "port-nested2-set-inner-list-order", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set.", "elapsed_ms": 382, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-set-inner-list-order", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSet_wrongentries", "feedback": "Check the elements of the set." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-list-inner-set", "group": "nested collections and checks", "test": "AlgEquiv", "student": "[{1,1}]", "teacher": "[{1}]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-list-inner-set", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 381, "scope": "supported" }, "native": { "case_id": "port-nested2-list-inner-set", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-list-inner-set", "test": "AlgEquiv", "python": { "case_id": "port-nested2-list-inner-set", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 381, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-list-inner-set", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-sets-inner-list-repeat", "group": "nested collections and checks", "test": "Sets", "student": "{[1,1]}", "teacher": "{[1]}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-sets-inner-list-repeat", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: [1,1]. Missing elements: [1].", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "[1,1]", "latex": "\\left[1, 1\\right]" } ] }, "text": "Extra elements: [1,1]." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "[1]", "latex": "\\left[1\\right]" } ] }, "text": "Missing elements: [1]." } ], "elapsed_ms": 389, "scope": "supported" }, "native": { "case_id": "port-nested2-sets-inner-list-repeat", "test": "Sets", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATSets_wrongentries. ATSets_missingentries. ", "controlled_error": false }, "parity": { "id": "port-nested2-sets-inner-list-repeat", "test": "Sets", "python": { "case_id": "port-nested2-sets-inner-list-repeat", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: [1,1]. Missing elements: [1].", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "[1,1]", "latex": "\\left[1, 1\\right]" } ] }, "text": "Extra elements: [1,1]." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "[1]", "latex": "\\left[1\\right]" } ] }, "text": "Missing elements: [1]." } ], "elapsed_ms": 389, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-sets-inner-list-repeat", "test": "Sets", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATSets_wrongentries | ATSets_missingentries", "feedback": "Extra elements: [1,1]. Missing elements: [1].", "messages": [ { "code": "ATSets_wrongentries", "args": { "elements": [ { "text": "[1,1]", "latex": "\\left[1, 1\\right]" } ] }, "text": "Extra elements: [1,1]." }, { "code": "ATSets_missingentries", "args": { "elements": [ { "text": "[1]", "latex": "\\left[1\\right]" } ] }, "text": "Missing elements: [1]." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-sets-inner-set-repeat", "group": "nested collections and checks", "test": "Sets", "student": "{{1,1}}", "teacher": "{{1}}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-sets-inner-set-repeat", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 373, "scope": "supported" }, "native": { "case_id": "port-nested2-sets-inner-set-repeat", "test": "Sets", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-sets-inner-set-repeat", "test": "Sets", "python": { "case_id": "port-nested2-sets-inner-set-repeat", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 373, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-sets-inner-set-repeat", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-sets-list-duplicate", "group": "nested collections and checks", "test": "Sets", "student": "{[1,2],[1,2]}", "teacher": "{[1,2]}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-sets-list-duplicate", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ], "elapsed_ms": 378, "scope": "supported" }, "native": { "case_id": "port-nested2-sets-list-duplicate", "test": "Sets", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATSets_duplicates. ", "controlled_error": false }, "parity": { "id": "port-nested2-sets-list-duplicate", "test": "Sets", "python": { "case_id": "port-nested2-sets-list-duplicate", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ], "elapsed_ms": 378, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-sets-list-duplicate", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-sets-set-duplicate", "group": "nested collections and checks", "test": "Sets", "student": "{{1},{1}}", "teacher": "{{1}}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-sets-set-duplicate", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ], "elapsed_ms": 385, "scope": "supported" }, "native": { "case_id": "port-nested2-sets-set-duplicate", "test": "Sets", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATSets_duplicates. ", "controlled_error": false }, "parity": { "id": "port-nested2-sets-set-duplicate", "test": "Sets", "python": { "case_id": "port-nested2-sets-set-duplicate", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ], "elapsed_ms": 385, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-sets-set-duplicate", "test": "Sets", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "ATSets_duplicates", "feedback": "Repeated elements were removed from the set.", "messages": [ { "code": "ATSets_duplicates", "args": {}, "text": "Repeated elements were removed from the set." } ] }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-type-nested-list", "group": "nested collections and checks", "test": "SameType", "student": "[1,[2]]", "teacher": "[9,[3]]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-type-nested-list", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 389, "scope": "supported" }, "native": { "case_id": "port-nested2-type-nested-list", "test": "SameType", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-type-nested-list", "test": "SameType", "python": { "case_id": "port-nested2-type-nested-list", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 389, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-type-nested-list", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-type-nested-mismatch", "group": "nested collections and checks", "test": "SameType", "student": "[1,[2]]", "teacher": "[9,{3}]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-type-nested-mismatch", "test": "SameType", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 377, "scope": "supported" }, "native": { "case_id": "port-nested2-type-nested-mismatch", "test": "SameType", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-type-nested-mismatch", "test": "SameType", "python": { "case_id": "port-nested2-type-nested-mismatch", "test": "SameType", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 377, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-type-nested-mismatch", "test": "SameType", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-type-list-length", "group": "nested collections and checks", "test": "SameType", "student": "[1,[2]]", "teacher": "[9]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-type-list-length", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 365, "scope": "supported" }, "native": { "case_id": "port-nested2-type-list-length", "test": "SameType", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-type-list-length", "test": "SameType", "python": { "case_id": "port-nested2-type-list-length", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 365, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-type-list-length", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-type-set-members", "group": "nested collections and checks", "test": "SameType", "student": "{[1,2]}", "teacher": "{{1,2}}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-type-set-members", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 390, "scope": "supported" }, "native": { "case_id": "port-nested2-type-set-members", "test": "SameType", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-type-set-members", "test": "SameType", "python": { "case_id": "port-nested2-type-set-members", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 390, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-type-set-members", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-form-set-repeat-reorder", "group": "nested collections and checks", "test": "EqualComAss", "student": "{1,2,2}", "teacher": "{2,1,2}", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-form-set-repeat-reorder", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 365, "scope": "supported" }, "native": { "case_id": "port-nested2-form-set-repeat-reorder", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-form-set-repeat-reorder", "test": "EqualComAss", "python": { "case_id": "port-nested2-form-set-repeat-reorder", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 365, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-form-set-repeat-reorder", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-form-set-repeat-count", "group": "nested collections and checks", "test": "EqualComAss", "student": "{4,4}", "teacher": "{4}", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-form-set-repeat-count", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 368, "scope": "supported" }, "native": { "case_id": "port-nested2-form-set-repeat-count", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-nested2-form-set-repeat-count", "test": "EqualComAss", "python": { "case_id": "port-nested2-form-set-repeat-count", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 368, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-form-set-repeat-count", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-form-nested-set-order", "group": "nested collections and checks", "test": "EqualComAss", "student": "[[1,2],{3,4}]", "teacher": "[[1,2],{4,3}]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-form-nested-set-order", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 360, "scope": "supported" }, "native": { "case_id": "port-nested2-form-nested-set-order", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested2-form-nested-set-order", "test": "EqualComAss", "python": { "case_id": "port-nested2-form-nested-set-order", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 360, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-form-nested-set-order", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested2-form-nested-list-order", "group": "nested collections and checks", "test": "EqualComAss", "student": "[[1,2],{3,4}]", "teacher": "[[2,1],{3,4}]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Pinned official STACK/Maxima control for recursive collection structure, applicability, multiplicity or form.", "native_scope": true, "python": { "case_id": "port-nested2-form-nested-list-order", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 366, "scope": "supported" }, "native": { "case_id": "port-nested2-form-nested-list-order", "test": "EqualComAss", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-false)(ATList_wrongentries 1: (ATList_wrongentries 1, 2)). ", "controlled_error": false }, "parity": { "id": "port-nested2-form-nested-list-order", "test": "EqualComAss", "python": { "case_id": "port-nested2-form-nested-list-order", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 366, "scope": "supported" }, "pyodide": { "case_id": "port-nested2-form-nested-list-order", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-union", "group": "finite author helpers", "test": "AlgEquiv", "student": "{1,2,3}", "teacher": "union({1,2},{2,3})", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-union", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 412, "scope": "supported" }, "native": { "case_id": "port-author-set-union", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-union", "test": "AlgEquiv", "python": { "case_id": "port-author-set-union", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 412, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-union", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-intersection", "group": "finite author helpers", "test": "AlgEquiv", "student": "{2}", "teacher": "intersection({1,2},{2,3})", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-intersection", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 391, "scope": "supported" }, "native": { "case_id": "port-author-set-intersection", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-intersection", "test": "AlgEquiv", "python": { "case_id": "port-author-set-intersection", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 391, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-intersection", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-difference", "group": "finite author helpers", "test": "AlgEquiv", "student": "{1}", "teacher": "setdifference({1,2},{2})", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-difference", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "native": { "case_id": "port-author-set-difference", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-difference", "test": "AlgEquiv", "python": { "case_id": "port-author-set-difference", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 374, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-difference", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-member", "group": "finite author helpers", "test": "AlgEquiv", "student": "true", "teacher": "member([x+x],{[2*x]})", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-member", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 412, "scope": "supported" }, "native": { "case_id": "port-author-set-member", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-author-set-member", "test": "AlgEquiv", "python": { "case_id": "port-author-set-member", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 412, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-member", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-subset", "group": "finite author helpers", "test": "AlgEquiv", "student": "true", "teacher": "subsetp({[x+x]},{[2*x]})", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-subset", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 411, "scope": "supported" }, "native": { "case_id": "port-author-set-subset", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "ATLogic_True. ", "controlled_error": false }, "parity": { "id": "port-author-set-subset", "test": "AlgEquiv", "python": { "case_id": "port-author-set-subset", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 411, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-subset", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-cardinality", "group": "finite author helpers", "test": "AlgEquiv", "student": "2", "teacher": "cardinality({1,1,2})", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-cardinality", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 367, "scope": "supported" }, "native": { "case_id": "port-author-set-cardinality", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-cardinality", "test": "AlgEquiv", "python": { "case_id": "port-author-set-cardinality", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "elapsed_ms": 367, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-cardinality", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-constructor", "group": "finite author helpers", "test": "AlgEquiv", "student": "{1,2}", "teacher": "set(2,1,1)", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-constructor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 373, "scope": "supported" }, "native": { "case_id": "port-author-set-constructor", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-constructor", "test": "AlgEquiv", "python": { "case_id": "port-author-set-constructor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 373, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-constructor", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-setify", "group": "finite author helpers", "test": "AlgEquiv", "student": "{1,2}", "teacher": "setify([2,1,1])", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-setify", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 361, "scope": "supported" }, "native": { "case_id": "port-author-set-setify", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-setify", "test": "AlgEquiv", "python": { "case_id": "port-author-set-setify", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 361, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-setify", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-listify", "group": "finite author helpers", "test": "AlgEquiv", "student": "[1/3,1/2]", "teacher": "listify({2/4,1/3})", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-listify", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 375, "scope": "supported" }, "native": { "case_id": "port-author-set-listify", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-listify", "test": "AlgEquiv", "python": { "case_id": "port-author-set-listify", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 375, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-listify", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-listify-list", "group": "finite author helpers", "test": "AlgEquiv", "student": "[2,1,1]", "teacher": "listify([2,1,1])", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-listify-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 365, "scope": "supported" }, "native": { "case_id": "port-author-set-listify-list", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-listify-list", "test": "AlgEquiv", "python": { "case_id": "port-author-set-listify-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 365, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-listify-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-author-set-union-empty", "group": "finite author helpers", "test": "AlgEquiv", "student": "{}", "teacher": "union()", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Author-only finite helper under normal AlgEquiv simplification; structural members and bounded output.", "native_scope": true, "python": { "case_id": "port-author-set-union-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 365, "scope": "supported" }, "native": { "case_id": "port-author-set-union-empty", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-author-set-union-empty", "test": "AlgEquiv", "python": { "case_id": "port-author-set-union-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 365, "scope": "supported" }, "pyodide": { "case_id": "port-author-set-union-empty", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-nested-boundary-student-operation", "group": "nested collection boundaries", "test": "AlgEquiv", "student": "union({1},{2})", "teacher": "{1,2}", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit nested/helper syntax, type, ordering or resource boundary.", "native_scope": false, "python": { "case_id": "port-nested-boundary-student-operation", "test": "AlgEquiv", "kind": "unsupported", "reason": "Finite collection helpers are author-only and require AlgEquiv or SameType", "message": "Finite collection helpers are author-only and require AlgEquiv or SameType", "elapsed_ms": 350, "scope": "unsupported" }, "native": null, "parity": { "id": "port-nested-boundary-student-operation", "test": "AlgEquiv", "python": { "case_id": "port-nested-boundary-student-operation", "test": "AlgEquiv", "kind": "unsupported", "reason": "Finite collection helpers are author-only and require AlgEquiv or SameType", "message": "Finite collection helpers are author-only and require AlgEquiv or SameType", "elapsed_ms": 350, "scope": "unsupported" }, "pyodide": { "case_id": "port-nested-boundary-student-operation", "test": "AlgEquiv", "kind": "unsupported", "reason": "Finite collection helpers are author-only and require AlgEquiv or SameType", "message": "Finite collection helpers are author-only and require AlgEquiv or SameType" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-boundary-listify-order", "group": "nested collection boundaries", "test": "AlgEquiv", "student": "[]", "teacher": "listify({x,1})", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit nested/helper syntax, type, ordering or resource boundary.", "native_scope": false, "python": { "case_id": "port-nested-boundary-listify-order", "test": "AlgEquiv", "kind": "unsupported", "exception_type": "Unsupported", "message": "listify ordering supports rational scalar set members only", "phase": "evaluation", "elapsed_ms": 358, "scope": "supported" }, "native": null, "parity": { "id": "port-nested-boundary-listify-order", "test": "AlgEquiv", "python": { "case_id": "port-nested-boundary-listify-order", "test": "AlgEquiv", "kind": "unsupported", "exception_type": "Unsupported", "message": "listify ordering supports rational scalar set members only", "phase": "evaluation", "elapsed_ms": 358, "scope": "supported" }, "pyodide": { "case_id": "port-nested-boundary-listify-order", "test": "AlgEquiv", "kind": "unsupported", "exception_type": "Unsupported", "message": "listify ordering supports rational scalar set members only", "phase": "evaluation" }, "eligible": true, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-boundary-helper-type", "group": "nested collection boundaries", "test": "AlgEquiv", "student": "{}", "teacher": "setify({1,2})", "options": "", "expected": { "kind": "invalid_teacher" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit nested/helper syntax, type, ordering or resource boundary.", "native_scope": false, "python": { "case_id": "port-nested-boundary-helper-type", "test": "AlgEquiv", "kind": "invalid_teacher", "message": "setify requires a list", "elapsed_ms": 362, "scope": "supported" }, "native": null, "parity": { "id": "port-nested-boundary-helper-type", "test": "AlgEquiv", "python": { "case_id": "port-nested-boundary-helper-type", "test": "AlgEquiv", "kind": "invalid_teacher", "message": "setify requires a list", "elapsed_ms": 362, "scope": "supported" }, "pyodide": { "case_id": "port-nested-boundary-helper-type", "test": "AlgEquiv", "kind": "invalid_teacher", "message": "setify requires a list" }, "eligible": true, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-boundary-helper-arity", "group": "nested collection boundaries", "test": "AlgEquiv", "student": "{}", "teacher": "setdifference({1})", "options": "", "expected": { "kind": "invalid_teacher" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit nested/helper syntax, type, ordering or resource boundary.", "native_scope": false, "python": { "case_id": "port-nested-boundary-helper-arity", "test": "AlgEquiv", "kind": "invalid_teacher", "message": "setdifference has an unsupported number of arguments", "elapsed_ms": 368, "scope": "supported" }, "native": null, "parity": { "id": "port-nested-boundary-helper-arity", "test": "AlgEquiv", "python": { "case_id": "port-nested-boundary-helper-arity", "test": "AlgEquiv", "kind": "invalid_teacher", "message": "setdifference has an unsupported number of arguments", "elapsed_ms": 368, "scope": "supported" }, "pyodide": { "case_id": "port-nested-boundary-helper-arity", "test": "AlgEquiv", "kind": "invalid_teacher", "message": "setdifference has an unsupported number of arguments" }, "eligible": true, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-boundary-depth", "group": "nested collection boundaries", "test": "AlgEquiv", "student": "[[[[[[[1]]]]]]]", "teacher": "[1]", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit nested/helper syntax, type, ordering or resource boundary.", "native_scope": false, "python": { "case_id": "port-nested-boundary-depth", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection depth exceeds supported bound", "message": "Collection depth exceeds supported bound", "elapsed_ms": 347, "scope": "unsupported" }, "native": null, "parity": { "id": "port-nested-boundary-depth", "test": "AlgEquiv", "python": { "case_id": "port-nested-boundary-depth", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection depth exceeds supported bound", "message": "Collection depth exceeds supported bound", "elapsed_ms": 347, "scope": "unsupported" }, "pyodide": { "case_id": "port-nested-boundary-depth", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection depth exceeds supported bound", "message": "Collection depth exceeds supported bound" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-boundary-tree-size", "group": "nested collection boundaries", "test": "AlgEquiv", "student": "[[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1],[1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]]", "teacher": "[1]", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Explicit nested/helper syntax, type, ordering or resource boundary.", "native_scope": false, "python": { "case_id": "port-nested-boundary-tree-size", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection tree exceeds supported bound", "message": "Collection tree exceeds supported bound", "elapsed_ms": 365, "scope": "unsupported" }, "native": null, "parity": { "id": "port-nested-boundary-tree-size", "test": "AlgEquiv", "python": { "case_id": "port-nested-boundary-tree-size", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection tree exceeds supported bound", "message": "Collection tree exceeds supported bound", "elapsed_ms": 365, "scope": "unsupported" }, "pyodide": { "case_id": "port-nested-boundary-tree-size", "test": "AlgEquiv", "kind": "unsupported", "reason": "Collection tree exceeds supported bound", "message": "Collection tree exceeds supported bound" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-decimal-precision-0", "group": "nested collection precision boundaries", "test": "AlgEquiv", "student": "{0.1}", "teacher": "{1/10}", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Native float set members differ from exact rationals; direct list leaves retain scalar binary64 comparison.", "native_scope": false, "python": { "case_id": "port-nested-decimal-precision-0", "test": "AlgEquiv", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions", "elapsed_ms": 353, "scope": "unsupported" }, "native": null, "parity": { "id": "port-nested-decimal-precision-0", "test": "AlgEquiv", "python": { "case_id": "port-nested-decimal-precision-0", "test": "AlgEquiv", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions", "elapsed_ms": 353, "scope": "unsupported" }, "pyodide": { "case_id": "port-nested-decimal-precision-0", "test": "AlgEquiv", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-decimal-precision-1", "group": "nested collection precision boundaries", "test": "Sets", "student": "{{0.1}}", "teacher": "{{1/10}}", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Native float set members differ from exact rationals; direct list leaves retain scalar binary64 comparison.", "native_scope": false, "python": { "case_id": "port-nested-decimal-precision-1", "test": "Sets", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions", "elapsed_ms": 346, "scope": "unsupported" }, "native": null, "parity": { "id": "port-nested-decimal-precision-1", "test": "Sets", "python": { "case_id": "port-nested-decimal-precision-1", "test": "Sets", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions", "elapsed_ms": 346, "scope": "unsupported" }, "pyodide": { "case_id": "port-nested-decimal-precision-1", "test": "Sets", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-decimal-precision-2", "group": "nested collection precision boundaries", "test": "EqualComAss", "student": "{[0.5]}", "teacher": "{[1/2]}", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Native float set members differ from exact rationals; direct list leaves retain scalar binary64 comparison.", "native_scope": false, "python": { "case_id": "port-nested-decimal-precision-2", "test": "EqualComAss", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions", "elapsed_ms": 349, "scope": "unsupported" }, "native": null, "parity": { "id": "port-nested-decimal-precision-2", "test": "EqualComAss", "python": { "case_id": "port-nested-decimal-precision-2", "test": "EqualComAss", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions", "elapsed_ms": 349, "scope": "unsupported" }, "pyodide": { "case_id": "port-nested-decimal-precision-2", "test": "EqualComAss", "kind": "unsupported", "reason": "Decimal literals inside sets require exact fractions", "message": "Decimal literals inside sets require exact fractions" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-nested-decimal-precision-3", "group": "nested collection precision boundaries", "test": "AlgEquiv", "student": "[[1/10]]", "teacher": "[[0.1]]", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Native float set members differ from exact rationals; direct list leaves retain scalar binary64 comparison.", "native_scope": true, "python": { "case_id": "port-nested-decimal-precision-3", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 370, "scope": "supported" }, "native": { "case_id": "port-nested-decimal-precision-3", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-nested-decimal-precision-3", "test": "AlgEquiv", "python": { "case_id": "port-nested-decimal-precision-3", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 370, "scope": "supported" }, "pyodide": { "case_id": "port-nested-decimal-precision-3", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-algebraic", "group": "bounded matrices", "test": "AlgEquiv", "student": "matrix([x+x,1/2])", "teacher": "matrix([2*x,2/4])", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-algebraic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 405, "scope": "supported" }, "native": { "case_id": "port-matrix-algebraic", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-matrix-algebraic", "test": "AlgEquiv", "python": { "case_id": "port-matrix-algebraic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "", "elapsed_ms": 405, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-algebraic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": true, "cas_valid": true, "note": "", "feedback": "" }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-row-shape", "group": "bounded matrices", "test": "AlgEquiv", "student": "matrix([1],[2])", "teacher": "matrix([1,2])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-row-shape", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongsz_rows", "feedback": "The matrix has the wrong number of rows.", "elapsed_ms": 367, "scope": "supported" }, "native": { "case_id": "port-matrix-row-shape", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATMatrix_wrongsz_rows. ", "controlled_error": false }, "parity": { "id": "port-matrix-row-shape", "test": "AlgEquiv", "python": { "case_id": "port-matrix-row-shape", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongsz_rows", "feedback": "The matrix has the wrong number of rows.", "elapsed_ms": 367, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-row-shape", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongsz_rows", "feedback": "The matrix has the wrong number of rows." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-column-shape", "group": "bounded matrices", "test": "AlgEquiv", "student": "matrix([1,2])", "teacher": "matrix([1])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-column-shape", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongsz_columns", "feedback": "The matrix has the wrong number of columns.", "elapsed_ms": 371, "scope": "supported" }, "native": { "case_id": "port-matrix-column-shape", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATMatrix_wrongsz_columns. ", "controlled_error": false }, "parity": { "id": "port-matrix-column-shape", "test": "AlgEquiv", "python": { "case_id": "port-matrix-column-shape", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongsz_columns", "feedback": "The matrix has the wrong number of columns.", "elapsed_ms": 371, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-column-shape", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongsz_columns", "feedback": "The matrix has the wrong number of columns." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-ordered-cells", "group": "bounded matrices", "test": "AlgEquiv", "student": "matrix([1,2])", "teacher": "matrix([2,1])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-ordered-cells", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongentries", "feedback": "Check the entries of the matrix.", "elapsed_ms": 359, "scope": "supported" }, "native": { "case_id": "port-matrix-ordered-cells", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATMatrix_wrongentries. ", "controlled_error": false }, "parity": { "id": "port-matrix-ordered-cells", "test": "AlgEquiv", "python": { "case_id": "port-matrix-ordered-cells", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongentries", "feedback": "Check the entries of the matrix.", "elapsed_ms": 359, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-ordered-cells", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongentries", "feedback": "Check the entries of the matrix." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-distinct-list", "group": "bounded matrices", "test": "AlgEquiv", "student": "matrix([1])", "teacher": "[[1]]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-distinct-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type.", "elapsed_ms": 363, "scope": "supported" }, "native": { "case_id": "port-matrix-distinct-list", "test": "AlgEquiv", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATAlgEquiv_SA_not_list. ", "controlled_error": false }, "parity": { "id": "port-matrix-distinct-list", "test": "AlgEquiv", "python": { "case_id": "port-matrix-distinct-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type.", "elapsed_ms": 363, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-distinct-list", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": false, "note": "", "feedback": "The answer and teacher must have the same collection type." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-sametype-shape", "group": "bounded matrices", "test": "SameType", "student": "matrix([1])", "teacher": "matrix([1,2],[3,4])", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-sametype-shape", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 373, "scope": "supported" }, "native": { "case_id": "port-matrix-sametype-shape", "test": "SameType", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-matrix-sametype-shape", "test": "SameType", "python": { "case_id": "port-matrix-sametype-shape", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 373, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-sametype-shape", "test": "SameType", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-sametype-list", "group": "bounded matrices", "test": "SameType", "student": "matrix([1])", "teacher": "[[1]]", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-sametype-list", "test": "SameType", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 356, "scope": "supported" }, "native": { "case_id": "port-matrix-sametype-list", "test": "SameType", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-matrix-sametype-list", "test": "SameType", "python": { "case_id": "port-matrix-sametype-list", "test": "SameType", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 356, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-sametype-list", "test": "SameType", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-written-sum", "group": "bounded matrices", "test": "EqualComAss", "student": "matrix([x+x])", "teacher": "matrix([2*x])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-written-sum", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 396, "scope": "supported" }, "native": { "case_id": "port-matrix-written-sum", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-matrix-written-sum", "test": "EqualComAss", "python": { "case_id": "port-matrix-written-sum", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 396, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-written-sum", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-written-arithmetic", "group": "bounded matrices", "test": "EqualComAss", "student": "matrix([1+2])", "teacher": "matrix([3])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-written-arithmetic", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 395, "scope": "supported" }, "native": { "case_id": "port-matrix-written-arithmetic", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-true). ", "controlled_error": false }, "parity": { "id": "port-matrix-written-arithmetic", "test": "EqualComAss", "python": { "case_id": "port-matrix-written-arithmetic", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 395, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-written-arithmetic", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-commutative-cell", "group": "bounded matrices", "test": "EqualComAss", "student": "matrix([x+1])", "teacher": "matrix([1+x])", "options": "", "expected": { "kind": "result", "valid": true, "correct": true, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-commutative-cell", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 391, "scope": "supported" }, "native": { "case_id": "port-matrix-commutative-cell", "test": "EqualComAss", "status": "ok", "cas_valid": true, "correct": true, "answer_note": "", "controlled_error": false }, "parity": { "id": "port-matrix-commutative-cell", "test": "EqualComAss", "python": { "case_id": "port-matrix-commutative-cell", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true, "elapsed_ms": 391, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-commutative-cell", "test": "EqualComAss", "kind": "result", "valid": true, "correct": true, "note": "", "feedback": "", "cas_valid": true }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-unequal-value-form", "group": "bounded matrices", "test": "EqualComAss", "student": "matrix([1])", "teacher": "matrix([2])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-unequal-value-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 364, "scope": "supported" }, "native": { "case_id": "port-matrix-unequal-value-form", "test": "EqualComAss", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-false)ATMatrix_wrongentries. ", "controlled_error": false }, "parity": { "id": "port-matrix-unequal-value-form", "test": "EqualComAss", "python": { "case_id": "port-matrix-unequal-value-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 364, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-unequal-value-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-unequal-shape-form", "group": "bounded matrices", "test": "EqualComAss", "student": "matrix([1])", "teacher": "matrix([1,2])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": false }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-unequal-shape-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 360, "scope": "supported" }, "native": { "case_id": "port-matrix-unequal-shape-form", "test": "EqualComAss", "status": "ok", "cas_valid": false, "correct": false, "answer_note": "ATEqualComAss (AlgEquiv-false)ATMatrix_wrongsz_columns. ", "controlled_error": false }, "parity": { "id": "port-matrix-unequal-shape-form", "test": "EqualComAss", "python": { "case_id": "port-matrix-unequal-shape-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false, "elapsed_ms": 360, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-unequal-shape-form", "test": "EqualComAss", "kind": "result", "valid": true, "correct": false, "note": "", "feedback": "", "cas_valid": false }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-decimal-arithmetic", "group": "bounded matrices", "test": "AlgEquiv", "student": "matrix([100.4-80.0])", "teacher": "matrix([20.4])", "options": "", "expected": { "kind": "result", "valid": true, "correct": false, "cas_valid": true }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Ordered matrix dimensions, scalar cell equivalence and written-form applicability from pinned STACK ATMatrix/noun arithmetic.", "native_scope": true, "python": { "case_id": "port-matrix-decimal-arithmetic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongentries", "feedback": "Check the entries of the matrix.", "elapsed_ms": 387, "scope": "supported" }, "native": { "case_id": "port-matrix-decimal-arithmetic", "test": "AlgEquiv", "status": "ok", "cas_valid": true, "correct": false, "answer_note": "ATMatrix_wrongentries. ", "controlled_error": false }, "parity": { "id": "port-matrix-decimal-arithmetic", "test": "AlgEquiv", "python": { "case_id": "port-matrix-decimal-arithmetic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongentries", "feedback": "Check the entries of the matrix.", "elapsed_ms": 387, "scope": "supported" }, "pyodide": { "case_id": "port-matrix-decimal-arithmetic", "test": "AlgEquiv", "kind": "result", "valid": true, "correct": false, "cas_valid": true, "note": "ATMatrix_wrongentries", "feedback": "Check the entries of the matrix." }, "eligible": true, "match": true }, "python_status": "pass", "native_status": "match_desired", "parity_status": "match" }, { "id": "port-matrix-empty", "group": "bounded matrices boundaries", "test": "AlgEquiv", "student": "matrix()", "teacher": "matrix([1])", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Positive bounded rectangular scalar matrices only; zero dimensions, nested matrices and matrix arithmetic are explicitly outside this port.", "native_scope": false, "python": { "case_id": "port-matrix-empty", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset", "elapsed_ms": 361, "scope": "unsupported" }, "native": null, "parity": { "id": "port-matrix-empty", "test": "AlgEquiv", "python": { "case_id": "port-matrix-empty", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset", "elapsed_ms": 361, "scope": "unsupported" }, "pyodide": { "case_id": "port-matrix-empty", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-matrix-zero-columns", "group": "bounded matrices boundaries", "test": "AlgEquiv", "student": "matrix([])", "teacher": "matrix([1])", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Positive bounded rectangular scalar matrices only; zero dimensions, nested matrices and matrix arithmetic are explicitly outside this port.", "native_scope": false, "python": { "case_id": "port-matrix-zero-columns", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset", "elapsed_ms": 373, "scope": "unsupported" }, "native": null, "parity": { "id": "port-matrix-zero-columns", "test": "AlgEquiv", "python": { "case_id": "port-matrix-zero-columns", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset", "elapsed_ms": 373, "scope": "unsupported" }, "pyodide": { "case_id": "port-matrix-zero-columns", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-matrix-ragged", "group": "bounded matrices boundaries", "test": "AlgEquiv", "student": "matrix([1],[1,2])", "teacher": "matrix([1])", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Positive bounded rectangular scalar matrices only; zero dimensions, nested matrices and matrix arithmetic are explicitly outside this port.", "native_scope": false, "python": { "case_id": "port-matrix-ragged", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset", "elapsed_ms": 357, "scope": "unsupported" }, "native": null, "parity": { "id": "port-matrix-ragged", "test": "AlgEquiv", "python": { "case_id": "port-matrix-ragged", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset", "elapsed_ms": 357, "scope": "unsupported" }, "pyodide": { "case_id": "port-matrix-ragged", "test": "AlgEquiv", "kind": "unsupported", "reason": "Matrix shape outside bounded positive rectangular subset", "message": "Matrix shape outside bounded positive rectangular subset" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-matrix-nested", "group": "bounded matrices boundaries", "test": "AlgEquiv", "student": "[matrix([1])]", "teacher": "matrix([1])", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Positive bounded rectangular scalar matrices only; zero dimensions, nested matrices and matrix arithmetic are explicitly outside this port.", "native_scope": false, "python": { "case_id": "port-matrix-nested", "test": "AlgEquiv", "kind": "unsupported", "reason": "Nested matrices and matrix operations are outside the bounded matrix subset", "message": "Nested matrices and matrix operations are outside the bounded matrix subset", "elapsed_ms": 355, "scope": "unsupported" }, "native": null, "parity": { "id": "port-matrix-nested", "test": "AlgEquiv", "python": { "case_id": "port-matrix-nested", "test": "AlgEquiv", "kind": "unsupported", "reason": "Nested matrices and matrix operations are outside the bounded matrix subset", "message": "Nested matrices and matrix operations are outside the bounded matrix subset", "elapsed_ms": 355, "scope": "unsupported" }, "pyodide": { "case_id": "port-matrix-nested", "test": "AlgEquiv", "kind": "unsupported", "reason": "Nested matrices and matrix operations are outside the bounded matrix subset", "message": "Nested matrices and matrix operations are outside the bounded matrix subset" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" }, { "id": "port-matrix-arithmetic", "group": "bounded matrices boundaries", "test": "AlgEquiv", "student": "matrix([1])+matrix([2])", "teacher": "matrix([1])", "options": "", "expected": { "kind": "unsupported" }, "origin": { "kind": "project_regression", "upstream_ordinal": null }, "reason": "Positive bounded rectangular scalar matrices only; zero dimensions, nested matrices and matrix arithmetic are explicitly outside this port.", "native_scope": false, "python": { "case_id": "port-matrix-arithmetic", "test": "AlgEquiv", "kind": "unsupported", "reason": "Nested matrices and matrix operations are outside the bounded matrix subset", "message": "Nested matrices and matrix operations are outside the bounded matrix subset", "elapsed_ms": 353, "scope": "unsupported" }, "native": null, "parity": { "id": "port-matrix-arithmetic", "test": "AlgEquiv", "python": { "case_id": "port-matrix-arithmetic", "test": "AlgEquiv", "kind": "unsupported", "reason": "Nested matrices and matrix operations are outside the bounded matrix subset", "message": "Nested matrices and matrix operations are outside the bounded matrix subset", "elapsed_ms": 353, "scope": "unsupported" }, "pyodide": { "case_id": "port-matrix-arithmetic", "test": "AlgEquiv", "kind": "unsupported", "reason": "Nested matrices and matrix operations are outside the bounded matrix subset", "message": "Nested matrices and matrix operations are outside the bounded matrix subset" }, "eligible": false, "match": true }, "python_status": "boundary_pass", "native_status": "outside_port_scope", "parity_status": "match" } ], "summary": { "python": { "pass": 145, "boundary_pass": 25 }, "native": { "match_desired": 144, "outside_port_scope": 25, "branch_convention_difference": 1 }, "parity": { "match": 170 } }, "errors": {}, "provenance": { "code_sha": "ec9eb4ff086ca612e2cb0af9150384f703733a09", "fixture_sha256": "8fafc09c31ce2c3d9d740c3d15f27528f339c1578c6db0666fbe88701a608573", "source_bundle_sha256": "a16cdb54e6cbdbbd2b9fd193d84a4d764e653d09c4a6516197e108160007adb8", "stack_sha": "33383047af39c204bf4442802a058f8b918b2b1b", "input_preparation": "stack-logic-nouns-numeric-default-v2", "sympy_version": "1.13.3", "python_version": "3.12.15" }, "runners": { "native": { "reference_layer": "direct_official_maxima_AT", "stack_sha": "33383047af39c204bf4442802a058f8b918b2b1b", "input_preparation": "stack-logic-nouns-numeric-default-v2", "stack_library_version": "2026101500", "maxima_version": "Maxima 5.46.0", "native_scope_sha256": "5d1dbb383667b319ba340bf1f0bcdaedbb19b1385d6602a3081a565271919a81", "execution_isolation": "fresh_maxima_process_per_case", "jobs": 4, "loader_warmup": true, "preloaded_image": { "identity": { "schema_version": 1, "stack_sha": "33383047af39c204bf4442802a058f8b918b2b1b", "source": "/home/runner/work/ctm-stack/ctm-stack/.stack-upstream-reference", "maxima": "/usr/bin/maxima", "maxima_sha256": "a71ccdda3657451c9b74b4ce92847115992ed2c992a3d62026df42962104be35", "version": "Maxima 5.46.0", "runtime": "Available versions:\nversion 5.46.0, lisp gcl", "build_info": { "BUILD": "%build_info(\"5.46.0\",\"2024-04-01 09:31:47\",\"x86_64-pc-linux-gnu\",\"GNU Common Lisp (GCL)\",\"GCL 2.6.14 git tag Version_2_6_15pre7\",\"/home/runner/.maxima\",\"/tmp\",\"/home/runner/.maxima/binary/5_46_0/gcl/GCL_2_6_14_git_tag_Version_2_6_15pre7\",false,false)", "LISP": "GNU Common Lisp (GCL)", "LISP-VERSION": "GCL 2.6.14 git tag Version_2_6_15pre7" }, "lisp_binary_sha256": "158d992872d01bb184046a970e9f3dfb284f37085cd730d2a6038481737538bd", "shared_libraries_sha256": { "/usr/lib/x86_64-linux-gnu/ld-linux-x86-64.so.2": "c20a2dc8917c755f02b94049356320fe1f62ac7d9f8994731f807d9df39302da", "/usr/lib/x86_64-linux-gnu/libX11.so.6.4.0": "edd2ddf6e00a81c40b8645f7dbb6d6603c6a0a78d583bdbe7491d8a84de6e3b6", "/usr/lib/x86_64-linux-gnu/libXau.so.6.0.0": "8040da3f8516c1acfe39f04ff022480cdb273705ba5e7a4ca70bbdb1527cd67a", "/usr/lib/x86_64-linux-gnu/libXdmcp.so.6.0.0": "667d97d6da16016400ab10de9f83ef4ab209ceb6adf68ff9650225ec13e723b0", "/usr/lib/x86_64-linux-gnu/libbsd.so.0.12.1": "e86cd4f0019f42c2ba5e60602e0edc8694d2948377d98c3654d0f6bddb5254bb", "/usr/lib/x86_64-linux-gnu/libc.so.6": "3a15d66867d83762c7f2f1e37359cb8f6c5743edb369c65285cb0b1c4f7498bf", "/usr/lib/x86_64-linux-gnu/libcom_err.so.2.1": "022943b3b11c860b049bce41342f1c2594941b7b401d95dfdf235521099fee08", "/usr/lib/x86_64-linux-gnu/libedit.so.2.0.72": "195c607216f8581dbf516346ed38f4c73500cac4b84e18eb0a4fd49931e4cd56", "/usr/lib/x86_64-linux-gnu/libgmp.so.10.5.0": "0ccdfb6d6f5c039465f6d002cf7e4c072d48ac6a2cffc8dd6c748dec31592804", "/usr/lib/x86_64-linux-gnu/libgssapi_krb5.so.2.2": "c7aa00cf51646f7c32f196d329a562bc873ff32906c9caf6554ca489dd657507", "/usr/lib/x86_64-linux-gnu/libk5crypto.so.3.1": "b37407fb2930939bf78b47267019cd201a8af1f4b6a3852249c849cf3a985798", "/usr/lib/x86_64-linux-gnu/libkeyutils.so.1.10": "f48214417757f18793ed6e180cc14ee1d6f04252a518fc7270e8ca1d0b4260fe", "/usr/lib/x86_64-linux-gnu/libkrb5.so.3.3": "fad617a72b5839d30143e7db03281279089def6f18788cbb0b7f86385301bf04", "/usr/lib/x86_64-linux-gnu/libkrb5support.so.0.1": "936bae947a838bd47676a419dfcfb036d0163249215b58ec706ec7d46b7497aa", "/usr/lib/x86_64-linux-gnu/libm.so.6": "fce00b6f25f459cf4ae0b7fae4257909a1a8a86f9149e7c029a5d617baf1ccd0", "/usr/lib/x86_64-linux-gnu/libmd.so.0.1.0": "423e18586b6ea740f4465afd64f7a9a4cb7264ed979c8e7256f9085af5345fef", "/usr/lib/x86_64-linux-gnu/libresolv.so.2": "1d730ea434da5a5595bc6a961d7a9ace83e03703205df9644044b3dca79c362f", "/usr/lib/x86_64-linux-gnu/libtinfo.so.6.4": "e6089d7bb95eee5b545f3770dd69095b0bca47d26701cad145af429561d16306", "/usr/lib/x86_64-linux-gnu/libtirpc.so.3.0.0": "bc8768306c9212184e906329fc70fa9e69b680711596f7663c6e51ba32c91194", "/usr/lib/x86_64-linux-gnu/libxcb.so.1.1.0": "7958a0136b121bdc4c708968569ad152a9ed208ab026e2537b1005dde64ca440" }, "packages": "libc6=2.39-0ubuntu8.9\nmaxima=5.46.0-11build3\nmaxima-share=5.46.0-11build3\n", "platform": "Linux-7.0.0-1017-azure-x86_64-with-glibc2.39", "runner_image": { "ImageOS": "ubuntu24", "ImageVersion": "20261026.354.1" }, "machine": "x86_64", "builder_sha256": "d433c95efe9b34e53ff3b1fbfe75d507241439987dfff131259857443a7d72e4", "runner_sha256": "2f71c3ea39833ee34b540c85b3d40a83d8e60b0ff167965cb890416de57936bd", "gcl_environment": { "GCL_GC_PAGE_THRESH": "0.2", "GCL_GC_ALLOC_MIN": "0.01", "GCL_GC_PAGE_MAX": "0.05", "GCL_MEM_MULTIPLE": "0.2" } }, "key": "08a8f5d49f430e64c54ad42e678b90f66689946d68efb8753af24b7c43488850", "image_sha256": "dea108bcf1ca244ccca50d59e3b771c9f15455fa7e415d186570ed56ba08c0de", "cache_status": "built" }, "case_wall_seconds": 18.785494395, "loader_probe": { "i_binding": "%i", "parsed_i": "i", "parsed_fraction": "1/(1+i)", "ev_parsed_fraction": "1/(1+i)", "literal_lowest_terms": [ true, false, "ATLowestTerms_not_rat. " ], "parsed_lowest_terms": [ true, true, "" ], "ev_parsed_lowest_terms": [ true, true, "" ], "eca_cos_evaluated": [ true, false, "ATEqualComAss (AlgEquiv-true). " ], "eca_sqrt_evaluated": [ true, false, "ATEqualComAss (AlgEquiv-true). " ] } }, "parity": { "schema_version": 1, "engine": "parity", "fixture_sha256": "8fafc09c31ce2c3d9d740c3d15f27528f339c1578c6db0666fbe88701a608573", "python_report_sha256": "37a927e7f063cb3689c1dee31852d12785def29238870dad14a2d19efd5b77c1", "source_bundle_sha256": "a16cdb54e6cbdbbd2b9fd193d84a4d764e653d09c4a6516197e108160007adb8", "pyodide_version": "0.28.3", "sympy_version": "1.13.3", "browser_versions": { "sympy_version": "1.13.3", "pyodide_version": "0.28.3" }, "summary": { "total": 170, "python_observed": 170, "pyodide_observed": 170, "matched": 170, "mismatched": 0, "python_supported": 148, "pyodide_supported": 148, "eligible": 149, "eligible_matched": 149, "unsupported_agreement": 22, "python_faults": 0, "pyodide_faults": 0 }, "passed": true } } }