{"abstract":"storage span includes stride gaps.","category":"Tensor stride and reshape semantics","checks":6,"contract":"For nonempty shape, return inclusive min/max storage addresses reachable from offset and signed strides; empty returns None.","contract_signature":"shape, strides, offset","evaluation_group":"tensor-storage-span","failed_approach":"Adding only positive stride contributions mishandles reverse views.","family":"w3-tensor-stride-reshape-storage-span","id":"FA-98811","implementations":{"attempt":{"sha256":"aa2511e3e27bcbc22a33628b8dce5c227d7cdfe79db5e5b15691f3d124a4390b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, strides, offset):\n    lo=hi=offset\n    for d,s in zip(shape,strides): hi+=(d-1)*s\n    return (lo,hi)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('row major',solve([2,N],[N,1],4),(4,4+2*N-1))\ncheck('pitched gap',solve([2,3],[5,1],N),(N,N+7))\ncheck('negative stride',solve([3],[-2],8),(4,8))\ncheck('zero stride',solve([N],[0],7),(7,7))\ncheck('empty axis',solve([2,0],[0,1],3),None)\ncheck('scalar',solve([],[],N),(N,N))\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":"880a02ba364919618df0b35850ce0c002cb1370ed7e46d846f3901d5f7a1b6d3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, strides, offset):\n    size=1\n    for d in shape: size*=d\n    return (offset,offset+size-1) if size else None\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('row major',solve([2,N],[N,1],4),(4,4+2*N-1))\ncheck('pitched gap',solve([2,3],[5,1],N),(N,N+7))\ncheck('negative stride',solve([3],[-2],8),(4,8))\ncheck('zero stride',solve([N],[0],7),(7,7))\ncheck('empty axis',solve([2,0],[0,1],3),None)\ncheck('scalar',solve([],[],N),(N,N))\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-storage-span","generated_at":"2026-09-30T16:48:17.164497+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":"A product-based extent assumes compact storage and ignores stride gaps and negative directions.","sha256":"8344923de19e361d454ce4c66de4b67118d3b0ff9c9ef8d2318f5297749e31ec","title":"Tensor views: storage span includes stride gaps · 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":27.632,"exit_code":1,"observations":[{"actual":[4,5],"check":"row major","expected":[4,5],"passed":true},{"actual":[1,8],"check":"pitched gap","expected":[1,8],"passed":true},{"actual":[8,4],"check":"negative stride","expected":[4,8],"passed":false},{"actual":[7,7],"check":"zero stride","expected":[7,7],"passed":true},{"actual":[3,2],"check":"empty axis","expected":null,"passed":false},{"actual":[1,1],"check":"scalar","expected":[1,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"row major\", \"actual\": [4, 5], \"expected\": [4, 5], \"passed\": true}, {\"check\": \"pitched gap\", \"actual\": [1, 8], \"expected\": [1, 8], \"passed\": true}, {\"check\": \"negative stride\", \"actual\": [8, 4], \"expected\": [4, 8], \"passed\": false}, {\"check\": \"zero stride\", \"actual\": [7, 7], \"expected\": [7, 7], \"passed\": true}, {\"check\": \"empty axis\", \"actual\": [3, 2], \"expected\": null, \"passed\": false}, {\"check\": \"scalar\", \"actual\": [1, 1], \"expected\": [1, 1], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":28.562,"exit_code":1,"observations":[{"actual":[4,5],"check":"row major","expected":[4,5],"passed":true},{"actual":[1,6],"check":"pitched gap","expected":[1,8],"passed":false},{"actual":[8,10],"check":"negative stride","expected":[4,8],"passed":false},{"actual":[7,7],"check":"zero stride","expected":[7,7],"passed":true},{"actual":null,"check":"empty axis","expected":null,"passed":true},{"actual":[1,1],"check":"scalar","expected":[1,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"row major\", \"actual\": [4, 5], \"expected\": [4, 5], \"passed\": true}, {\"check\": \"pitched gap\", \"actual\": [1, 6], \"expected\": [1, 8], \"passed\": false}, {\"check\": \"negative stride\", \"actual\": [8, 10], \"expected\": [4, 8], \"passed\": false}, {\"check\": \"zero stride\", \"actual\": [7, 7], \"expected\": [7, 7], \"passed\": true}, {\"check\": \"empty axis\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"scalar\", \"actual\": [1, 1], \"expected\": [1, 1], \"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."}}