{"abstract":"row-major stride recurrence.","category":"Tensor stride and reshape semantics","checks":6,"contract":"For shape dimensions, return contiguous row-major element strides; empty shape has empty strides.","contract_signature":"shape","evaluation_group":"tensor-row-major-strides","failed_approach":"Using the previous axis size still shifts the recurrence and breaks outer layouts.","family":"w3-tensor-stride-reshape-row-major-strides","id":"FA-98741","implementations":{"attempt":{"sha256":"43df736060ee94b2eb8105d563fc73df72286aced295164c2603562be11c1a51","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape):\n    out=[1]*len(shape)\n    for i in range(len(shape)-2,-1,-1): out[i]=out[i+1]*shape[i]\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('matrix',solve([N,3]),[3,1])\ncheck('three axes',solve([2,N,4]),[N*4,4,1])\ncheck('singleton axis',solve([1,N]),[N,1])\ncheck('unit vector',solve([N]),[1])\ncheck('empty rank',solve([]),[])\ncheck('two singleton',solve([1,1]),[1,1])\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":"b991b4aa119ee294646d9d63efd79dc811008193547cedf4498f200d55730568","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(shape):\n    return [1]*len(shape)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('matrix',solve([N,3]),[3,1])\ncheck('three axes',solve([2,N,4]),[N*4,4,1])\ncheck('singleton axis',solve([1,N]),[N,1])\ncheck('unit vector',solve([N]),[1])\ncheck('empty rank',solve([]),[])\ncheck('two singleton',solve([1,1]),[1,1])\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-row-major-strides","generated_at":"2026-09-30T16:48:16.278409+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 recurrence multiplies by the current axis size, so it shifts every outer stride.","sha256":"2c9856e7e84334a6fccb61240ab798357dfd06e11762ef942e704a32a3f54747","title":"Tensor views: row-major stride recurrence · 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.916,"exit_code":1,"observations":[{"actual":[1,1],"check":"matrix","expected":[3,1],"passed":false},{"actual":[2,1,1],"check":"three axes","expected":[4,4,1],"passed":false},{"actual":[1,1],"check":"singleton axis","expected":[1,1],"passed":true},{"actual":[1],"check":"unit vector","expected":[1],"passed":true},{"actual":[],"check":"empty rank","expected":[],"passed":true},{"actual":[1,1],"check":"two singleton","expected":[1,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"matrix\", \"actual\": [1, 1], \"expected\": [3, 1], \"passed\": false}, {\"check\": \"three axes\", \"actual\": [2, 1, 1], \"expected\": [4, 4, 1], \"passed\": false}, {\"check\": \"singleton axis\", \"actual\": [1, 1], \"expected\": [1, 1], \"passed\": true}, {\"check\": \"unit vector\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"empty rank\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"two singleton\", \"actual\": [1, 1], \"expected\": [1, 1], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":24.928,"exit_code":1,"observations":[{"actual":[1,1],"check":"matrix","expected":[3,1],"passed":false},{"actual":[1,1,1],"check":"three axes","expected":[4,4,1],"passed":false},{"actual":[1,1],"check":"singleton axis","expected":[1,1],"passed":true},{"actual":[1],"check":"unit vector","expected":[1],"passed":true},{"actual":[],"check":"empty rank","expected":[],"passed":true},{"actual":[1,1],"check":"two singleton","expected":[1,1],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"matrix\", \"actual\": [1, 1], \"expected\": [3, 1], \"passed\": false}, {\"check\": \"three axes\", \"actual\": [1, 1, 1], \"expected\": [4, 4, 1], \"passed\": false}, {\"check\": \"singleton axis\", \"actual\": [1, 1], \"expected\": [1, 1], \"passed\": true}, {\"check\": \"unit vector\", \"actual\": [1], \"expected\": [1], \"passed\": true}, {\"check\": \"empty rank\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"two singleton\", \"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."}}