{"abstract":"multidimensional storage address.","category":"Tensor stride and reshape semantics","checks":6,"contract":"Address is offset + sum(index[i]*stride[i]); ranks match.","contract_signature":"shape, strides, offset, index","evaluation_group":"tensor-coordinate-address","failed_approach":"Scaling by strides but omitting the base offset fixes only zero-origin views.","family":"w3-tensor-stride-reshape-coordinate-address","id":"FA-98746","implementations":{"attempt":{"sha256":"07e0351ce29426aa1e8b1b25f7a944f21ad872f75e92c0465e15724d218f95c0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, strides, offset, index):\n    return sum(i*s for i,s in zip(index,strides))\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('pitched matrix',solve([2,3],[N,1],7,[1,2]),7+N+2)\ncheck('nonzero origin',solve([4],[3],N,[2]),N+6)\ncheck('zero stride',solve([2,3],[0,1],5,[1,2]),7)\ncheck('empty coordinate',solve([],[],N,[]),N)\ncheck('unit coordinate',solve([1],[N],4,[0]),4)\ncheck('negative stride',solve([3],[-2],8,[2]),4)\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":"958ec3b9b7b50328272b58a0fe277f50f3b731ccb1fd680b7134423cf81b08d5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape, strides, offset, index):\n    return offset+sum(index)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('pitched matrix',solve([2,3],[N,1],7,[1,2]),7+N+2)\ncheck('nonzero origin',solve([4],[3],N,[2]),N+6)\ncheck('zero stride',solve([2,3],[0,1],5,[1,2]),7)\ncheck('empty coordinate',solve([],[],N,[]),N)\ncheck('unit coordinate',solve([1],[N],4,[0]),4)\ncheck('negative stride',solve([3],[-2],8,[2]),4)\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-coordinate-address","generated_at":"2026-09-30T16:48:16.279974+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":"Coordinate components are added without scaling each one by its physical stride.","sha256":"a8bba45bb89642a59d3ee78763a26c6da7c8242de315f31ec144fa917193dc05","title":"Tensor views: multidimensional storage address · 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":24.785,"exit_code":1,"observations":[{"actual":3,"check":"pitched matrix","expected":10,"passed":false},{"actual":6,"check":"nonzero origin","expected":7,"passed":false},{"actual":2,"check":"zero stride","expected":7,"passed":false},{"actual":0,"check":"empty coordinate","expected":1,"passed":false},{"actual":0,"check":"unit coordinate","expected":4,"passed":false},{"actual":-4,"check":"negative stride","expected":4,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"pitched matrix\", \"actual\": 3, \"expected\": 10, \"passed\": false}, {\"check\": \"nonzero origin\", \"actual\": 6, \"expected\": 7, \"passed\": false}, {\"check\": \"zero stride\", \"actual\": 2, \"expected\": 7, \"passed\": false}, {\"check\": \"empty coordinate\", \"actual\": 0, \"expected\": 1, \"passed\": false}, {\"check\": \"unit coordinate\", \"actual\": 0, \"expected\": 4, \"passed\": false}, {\"check\": \"negative stride\", \"actual\": -4, \"expected\": 4, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":24.801,"exit_code":1,"observations":[{"actual":10,"check":"pitched matrix","expected":10,"passed":true},{"actual":3,"check":"nonzero origin","expected":7,"passed":false},{"actual":8,"check":"zero stride","expected":7,"passed":false},{"actual":1,"check":"empty coordinate","expected":1,"passed":true},{"actual":4,"check":"unit coordinate","expected":4,"passed":true},{"actual":10,"check":"negative stride","expected":4,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"pitched matrix\", \"actual\": 10, \"expected\": 10, \"passed\": true}, {\"check\": \"nonzero origin\", \"actual\": 3, \"expected\": 7, \"passed\": false}, {\"check\": \"zero stride\", \"actual\": 8, \"expected\": 7, \"passed\": false}, {\"check\": \"empty coordinate\", \"actual\": 1, \"expected\": 1, \"passed\": true}, {\"check\": \"unit coordinate\", \"actual\": 4, \"expected\": 4, \"passed\": true}, {\"check\": \"negative stride\", \"actual\": 10, \"expected\": 4, \"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."}}