{"abstract":"slice origin advances storage offset.","category":"Tensor stride and reshape semantics","checks":6,"contract":"A unit-step slice along axis a adds start*stride[a] to offset and changes that dimension to stop-start.","contract_signature":"shape, strides, offset, axis, start, stop","evaluation_group":"tensor-slice-offset","failed_approach":"Adding start directly works only when the axis stride equals one.","family":"w3-tensor-stride-reshape-slice-offset","id":"FA-98756","implementations":{"attempt":{"sha256":"1b58ed8b9994ae1f3beef2ff8d2232afc0c4c972569fe1b6ec89362325943c8e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, strides, offset, axis, start, stop):\n    out=list(shape); out[axis]=stop-start\n    return out,offset+start\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('outer slice',solve([N+3,4],[4,1],10,0,2,N+2),([N,4],18))\ncheck('inner slice',solve([3,N+2],[N+2,1],5,1,1,N+1),([3,N],6))\ncheck('zero start',solve([4,3],[3,1],N,0,0,2),([2,3],N))\ncheck('whole axis',solve([3,2],[2,1],7,1,0,2),([3,2],7))\ncheck('negative stride',solve([4],[ -2],8,0,1,3),([2],6))\ncheck('empty slice',solve([5],[3],4,0,2,2),([0],10))\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":"cc78c16cc12b9f0eb1e6e8331b51ee09b9c51807962711262d86eb2b89dd8e78","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, strides, offset, axis, start, stop):\n    return list(shape),offset\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('outer slice',solve([N+3,4],[4,1],10,0,2,N+2),([N,4],18))\ncheck('inner slice',solve([3,N+2],[N+2,1],5,1,1,N+1),([3,N],6))\ncheck('zero start',solve([4,3],[3,1],N,0,0,2),([2,3],N))\ncheck('whole axis',solve([3,2],[2,1],7,1,0,2),([3,2],7))\ncheck('negative stride',solve([4],[ -2],8,0,1,3),([2],6))\ncheck('empty slice',solve([5],[3],4,0,2,2),([0],10))\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":"Self-contained integer metadata models only; no production framework compatibility or performance claim. 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-tensor-stride-reshape-slice-offset","generated_at":"2026-09-30T16:48:16.279000+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Dense tensor views rely on consistent logical coordinates and physical storage addresses.","root_cause":"The slice changes logical extent without advancing to its first storage element.","sha256":"189ed1cb40b8df75310bdfa805953a4c60e61c99915643394b48dfcfa8ad00d6","title":"Tensor views: slice origin advances storage offset · 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":25.7,"exit_code":1,"observations":[{"actual":[[1,4],12],"check":"outer slice","expected":[[1,4],18],"passed":false},{"actual":[[3,1],6],"check":"inner slice","expected":[[3,1],6],"passed":true},{"actual":[[2,3],1],"check":"zero start","expected":[[2,3],1],"passed":true},{"actual":[[3,2],7],"check":"whole axis","expected":[[3,2],7],"passed":true},{"actual":[[2],9],"check":"negative stride","expected":[[2],6],"passed":false},{"actual":[[0],6],"check":"empty slice","expected":[[0],10],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"outer slice\", \"actual\": [[1, 4], 12], \"expected\": [[1, 4], 18], \"passed\": false}, {\"check\": \"inner slice\", \"actual\": [[3, 1], 6], \"expected\": [[3, 1], 6], \"passed\": true}, {\"check\": \"zero start\", \"actual\": [[2, 3], 1], \"expected\": [[2, 3], 1], \"passed\": true}, {\"check\": \"whole axis\", \"actual\": [[3, 2], 7], \"expected\": [[3, 2], 7], \"passed\": true}, {\"check\": \"negative stride\", \"actual\": [[2], 9], \"expected\": [[2], 6], \"passed\": false}, {\"check\": \"empty slice\", \"actual\": [[0], 6], \"expected\": [[0], 10], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":25.706,"exit_code":1,"observations":[{"actual":[[4,4],10],"check":"outer slice","expected":[[1,4],18],"passed":false},{"actual":[[3,3],5],"check":"inner slice","expected":[[3,1],6],"passed":false},{"actual":[[4,3],1],"check":"zero start","expected":[[2,3],1],"passed":false},{"actual":[[3,2],7],"check":"whole axis","expected":[[3,2],7],"passed":true},{"actual":[[4],8],"check":"negative stride","expected":[[2],6],"passed":false},{"actual":[[5],4],"check":"empty slice","expected":[[0],10],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"outer slice\", \"actual\": [[4, 4], 10], \"expected\": [[1, 4], 18], \"passed\": false}, {\"check\": \"inner slice\", \"actual\": [[3, 3], 5], \"expected\": [[3, 1], 6], \"passed\": false}, {\"check\": \"zero start\", \"actual\": [[4, 3], 1], \"expected\": [[2, 3], 1], \"passed\": false}, {\"check\": \"whole axis\", \"actual\": [[3, 2], 7], \"expected\": [[3, 2], 7], \"passed\": true}, {\"check\": \"negative stride\", \"actual\": [[4], 8], \"expected\": [[2], 6], \"passed\": false}, {\"check\": \"empty slice\", \"actual\": [[5], 4], \"expected\": [[0], 10], \"passed\": false}], \"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."}}