{"abstract":"negative COO coordinates are accepted as Python indices.","category":"Sparse tensor canonicalization","checks":6,"contract":"Return only entries whose row and column satisfy 0<=row<rows and 0<=column<cols.","contract_signature":"entries,rows,cols","evaluation_group":"w3-sparse-tensor-canonicalization-coo-coordinate-bounds","failed_approach":"An index equal to the extent is outside the tensor shape.","family":"w3-sparse-tensor-canonicalization-coo-coordinate-bounds","id":"FA-100531","implementations":{"attempt":{"sha256":"779812dc066cfff961ab1433205b68f7b57c524430f9da4128967861e79fbb2d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(entries,rows,cols):\n    return [e for e in entries if 0<=e[0]<=rows and 0<=e[1]<=cols]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('negative row',solve([[-1,0,4],[0,0,5]],1,1),[[0,0,5]])\ncheck('upper boundary',solve([[1,0,3],[0,1,4]],1,1),[])\ncheck('empty dimensions',solve([[0,0,7]],0,2),[])\ncheck('valid corner',solve([[N-1,N-1,8]],N,N),[[N-1,N-1,8]])\ncheck('negative column',solve([[0,-1,9]],2,2),[])\ncheck('empty entries',solve([],N,2),[])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"13514083686386f6e59bfd693d5d2e42a5a30c5eb4b11bdb4fd253b67bf55334","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(entries,rows,cols):\n    return [e for e in entries if e[0]<rows and e[1]<cols]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('negative row',solve([[-1,0,4],[0,0,5]],1,1),[[0,0,5]])\ncheck('upper boundary',solve([[1,0,3],[0,1,4]],1,1),[])\ncheck('empty dimensions',solve([[0,0,7]],0,2),[])\ncheck('valid corner',solve([[N-1,N-1,8]],N,N),[[N-1,N-1,8]])\ncheck('negative column',solve([[0,-1,9]],2,2),[])\ncheck('empty entries',solve([],N,2),[])\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"These are toy integer-valued COO or CSR contracts; they make no claim about a framework API, floating point policy, or large tensor performance. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"w3-sparse-tensor-canonicalization-coo-coordinate-bounds","generated_at":"2026-09-30T16:48:36.730957+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A small offline sparse-array operation has explicit coordinate and storage semantics.","root_cause":"Coordinate validity requires lower as well as strict upper bounds on both axes.","sha256":"c3c4ccfbbdbdcf811aa6cdd2bb76275d21c71de6df29b576d0cd242f9f5e9204","title":"Sparse tensor: negative COO coordinates are accepted as Python indices · case 01","variant":1,"variant_policy":"The fixture code references N, supplied as 1 through 5. Fixed boundary checks may repeat. These records share one mechanism and must remain together in evaluation splits.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":28.932,"exit_code":1,"observations":[{"actual":[[0,0,5]],"check":"negative row","expected":[[0,0,5]],"passed":true},{"actual":[[1,0,3],[0,1,4]],"check":"upper boundary","expected":[],"passed":false},{"actual":[[0,0,7]],"check":"empty dimensions","expected":[],"passed":false},{"actual":[[0,0,8]],"check":"valid corner","expected":[[0,0,8]],"passed":true},{"actual":[],"check":"negative column","expected":[],"passed":true},{"actual":[],"check":"empty entries","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"negative row\", \"actual\": [[0, 0, 5]], \"expected\": [[0, 0, 5]], \"passed\": true}, {\"check\": \"upper boundary\", \"actual\": [[1, 0, 3], [0, 1, 4]], \"expected\": [], \"passed\": false}, {\"check\": \"empty dimensions\", \"actual\": [[0, 0, 7]], \"expected\": [], \"passed\": false}, {\"check\": \"valid corner\", \"actual\": [[0, 0, 8]], \"expected\": [[0, 0, 8]], \"passed\": true}, {\"check\": \"negative column\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty entries\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.478,"exit_code":1,"observations":[{"actual":[[-1,0,4],[0,0,5]],"check":"negative row","expected":[[0,0,5]],"passed":false},{"actual":[],"check":"upper boundary","expected":[],"passed":true},{"actual":[],"check":"empty dimensions","expected":[],"passed":true},{"actual":[[0,0,8]],"check":"valid corner","expected":[[0,0,8]],"passed":true},{"actual":[[0,-1,9]],"check":"negative column","expected":[],"passed":false},{"actual":[],"check":"empty entries","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"negative row\", \"actual\": [[-1, 0, 4], [0, 0, 5]], \"expected\": [[0, 0, 5]], \"passed\": false}, {\"check\": \"upper boundary\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"empty dimensions\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"valid corner\", \"actual\": [[0, 0, 8]], \"expected\": [[0, 0, 8]], \"passed\": true}, {\"check\": \"negative column\", \"actual\": [[0, -1, 9]], \"expected\": [], \"passed\": false}, {\"check\": \"empty entries\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}