{"abstract":"Top-bottom mirrored scans are drawn partly outside the canvas.","category":"Image orientation metadata","checks":8,"contract":"Input [w, h, tag]. Produce the canvas size and the 2D affine [a, b, c, d, e, f] (x' = a*x + c*y + e, y' = b*x + d*y + f, continuous coordinates, so mirroring an extent e maps x to e - x) that draws the stored image upright. Tags 5..8 use a [h, w] canvas; invalid tags are treated as 1.","contract_signature":"x","evaluation_group":"w2-image-orientation-metadata-canvas-set-transform","failed_approach":"Negating x instead of y mirrors the wrong axis.","family":"w2-image-orientation-metadata-canvas-set-transform-vertical-mirror","id":"FA-79196","implementations":{"attempt":{"sha256":"2bcc065b1a4717f395cb387c178b92999154a834a4102208468f22f8f927639d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    w, h, tag = x\n    if tag not in (1, 2, 3, 4, 5, 6, 7, 8):\n        tag = 1\n    if tag == 1:\n        mat = [1, 0, 0, 1, 0, 0]\n    elif tag == 2:\n        mat = [-1, 0, 0, 1, w, 0]\n    elif tag == 3:\n        mat = [-1, 0, 0, -1, w, h]\n    elif tag == 4:\n        mat = [-1, 0, 0, 1, 0, h]\n    elif tag == 5:\n        mat = [0, 1, 1, 0, 0, 0]\n    elif tag == 6:\n        mat = [0, 1, -1, 0, h, 0]\n    elif tag == 7:\n        mat = [0, -1, -1, 0, h, w]\n    else:\n        mat = [0, -1, 1, 0, 0, w]\n    canvas = [h, w] if tag >= 5 else [w, h]\n    return {'canvas': canvas, 'matrix': mat}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[1990, 1071, 4], {'canvas': [1990, 1071], 'matrix': [1, 0, 0, -1, 0, 1071]}], [[3937, 494, 4], {'canvas': [3937, 494], 'matrix': [1, 0, 0, -1, 0, 494]}], [[3307, 2787, 3], {'canvas': [3307, 2787], 'matrix': [-1, 0, 0, -1, 3307, 2787]}], [[2954, 1709, 1], {'canvas': [2954, 1709], 'matrix': [1, 0, 0, 1, 0, 0]}], [[58, 1879, 3], {'canvas': [58, 1879], 'matrix': [-1, 0, 0, -1, 58, 1879]}], [[2834, 740, 9], {'canvas': [2834, 740], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1435, 891, 8], {'canvas': [891, 1435], 'matrix': [0, -1, 1, 0, 0, 1435]}], [[405, 330, 4], {'canvas': [405, 330], 'matrix': [1, 0, 0, -1, 0, 330]}]], [[[3777, 2930, 4], {'canvas': [3777, 2930], 'matrix': [1, 0, 0, -1, 0, 2930]}], [[750, 3, 4], {'canvas': [750, 3], 'matrix': [1, 0, 0, -1, 0, 3]}], [[1404, 638, 8], {'canvas': [638, 1404], 'matrix': [0, -1, 1, 0, 0, 1404]}], [[3672, 2107, 7], {'canvas': [2107, 3672], 'matrix': [0, -1, -1, 0, 2107, 3672]}], [[497, 2889, 6], {'canvas': [2889, 497], 'matrix': [0, 1, -1, 0, 2889, 0]}], [[1679, 3857, 0], {'canvas': [1679, 3857], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1194, 3699, 6], {'canvas': [3699, 1194], 'matrix': [0, 1, -1, 0, 3699, 0]}], [[3404, 3893, 4], {'canvas': [3404, 3893], 'matrix': [1, 0, 0, -1, 0, 3893]}]], [[[3103, 1780, 4], {'canvas': [3103, 1780], 'matrix': [1, 0, 0, -1, 0, 1780]}], [[3206, 3368, 4], {'canvas': [3206, 3368], 'matrix': [1, 0, 0, -1, 0, 3368]}], [[2580, 3384, 7], {'canvas': [3384, 2580], 'matrix': [0, -1, -1, 0, 3384, 2580]}], [[1742, 3974, 6], {'canvas': [3974, 1742], 'matrix': [0, 1, -1, 0, 3974, 0]}], [[2878, 1614, 0], {'canvas': [2878, 1614], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1553, 978, 5], {'canvas': [978, 1553], 'matrix': [0, 1, 1, 0, 0, 0]}], [[2394, 1311, 0], {'canvas': [2394, 1311], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1055, 2412, 4], {'canvas': [1055, 2412], 'matrix': [1, 0, 0, -1, 0, 2412]}]], [[[3657, 1928, 4], {'canvas': [3657, 1928], 'matrix': [1, 0, 0, -1, 0, 1928]}], [[3645, 981, 4], {'canvas': [3645, 981], 'matrix': [1, 0, 0, -1, 0, 981]}], [[1728, 2634, 3], {'canvas': [1728, 2634], 'matrix': [-1, 0, 0, -1, 1728, 2634]}], [[2618, 2128, 9], {'canvas': [2618, 2128], 'matrix': [1, 0, 0, 1, 0, 0]}], [[2422, 1413, 3], {'canvas': [2422, 1413], 'matrix': [-1, 0, 0, -1, 2422, 1413]}], [[397, 3269, 8], {'canvas': [3269, 397], 'matrix': [0, -1, 1, 0, 0, 397]}], [[3842, 908, 7], {'canvas': [908, 3842], 'matrix': [0, -1, -1, 0, 908, 3842]}], [[1502, 2001, 4], {'canvas': [1502, 2001], 'matrix': [1, 0, 0, -1, 0, 2001]}]], [[[3008, 525, 4], {'canvas': [3008, 525], 'matrix': [1, 0, 0, -1, 0, 525]}], [[1288, 1989, 4], {'canvas': [1288, 1989], 'matrix': [1, 0, 0, -1, 0, 1989]}], [[3666, 647, 2], {'canvas': [3666, 647], 'matrix': [-1, 0, 0, 1, 3666, 0]}], [[3653, 369, 3], {'canvas': [3653, 369], 'matrix': [-1, 0, 0, -1, 3653, 369]}], [[663, 894, 6], {'canvas': [894, 663], 'matrix': [0, 1, -1, 0, 894, 0]}], [[439, 1611, 8], {'canvas': [1611, 439], 'matrix': [0, -1, 1, 0, 0, 439]}], [[2083, 1309, 2], {'canvas': [2083, 1309], 'matrix': [-1, 0, 0, 1, 2083, 0]}], [[1475, 1734, 4], {'canvas': [1475, 1734], 'matrix': [1, 0, 0, -1, 0, 1734]}]]]\nlabels = [\"regression: vertical mirror offset\", \"repair trap\", \"combined fault\", \"control\", \"control\", \"boundary\", \"boundary\", \"control\"]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (labels[i % len(labels)], i), solve(args), expected)\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":"29314a36e1f7546ce27d1ffd851ba1badc4cdd8a884d27a27c1dfa64a95cab93","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(x):\n    w, h, tag = x\n    if tag not in (1, 2, 3, 4, 5, 6, 7, 8):\n        tag = 1\n    if tag == 1:\n        mat = [1, 0, 0, 1, 0, 0]\n    elif tag == 2:\n        mat = [-1, 0, 0, 1, w, 0]\n    elif tag == 3:\n        mat = [-1, 0, 0, -1, w, h]\n    elif tag == 4:\n        mat = [1, 0, 0, -1, 0, w]\n    elif tag == 5:\n        mat = [0, 1, 1, 0, 0, 0]\n    elif tag == 6:\n        mat = [0, 1, -1, 0, h, 0]\n    elif tag == 7:\n        mat = [0, -1, -1, 0, h, w]\n    else:\n        mat = [0, -1, 1, 0, 0, w]\n    canvas = [h, w] if tag >= 5 else [w, h]\n    return {'canvas': canvas, 'matrix': mat}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[[[1990, 1071, 4], {'canvas': [1990, 1071], 'matrix': [1, 0, 0, -1, 0, 1071]}], [[3937, 494, 4], {'canvas': [3937, 494], 'matrix': [1, 0, 0, -1, 0, 494]}], [[3307, 2787, 3], {'canvas': [3307, 2787], 'matrix': [-1, 0, 0, -1, 3307, 2787]}], [[2954, 1709, 1], {'canvas': [2954, 1709], 'matrix': [1, 0, 0, 1, 0, 0]}], [[58, 1879, 3], {'canvas': [58, 1879], 'matrix': [-1, 0, 0, -1, 58, 1879]}], [[2834, 740, 9], {'canvas': [2834, 740], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1435, 891, 8], {'canvas': [891, 1435], 'matrix': [0, -1, 1, 0, 0, 1435]}], [[405, 330, 4], {'canvas': [405, 330], 'matrix': [1, 0, 0, -1, 0, 330]}]], [[[3777, 2930, 4], {'canvas': [3777, 2930], 'matrix': [1, 0, 0, -1, 0, 2930]}], [[750, 3, 4], {'canvas': [750, 3], 'matrix': [1, 0, 0, -1, 0, 3]}], [[1404, 638, 8], {'canvas': [638, 1404], 'matrix': [0, -1, 1, 0, 0, 1404]}], [[3672, 2107, 7], {'canvas': [2107, 3672], 'matrix': [0, -1, -1, 0, 2107, 3672]}], [[497, 2889, 6], {'canvas': [2889, 497], 'matrix': [0, 1, -1, 0, 2889, 0]}], [[1679, 3857, 0], {'canvas': [1679, 3857], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1194, 3699, 6], {'canvas': [3699, 1194], 'matrix': [0, 1, -1, 0, 3699, 0]}], [[3404, 3893, 4], {'canvas': [3404, 3893], 'matrix': [1, 0, 0, -1, 0, 3893]}]], [[[3103, 1780, 4], {'canvas': [3103, 1780], 'matrix': [1, 0, 0, -1, 0, 1780]}], [[3206, 3368, 4], {'canvas': [3206, 3368], 'matrix': [1, 0, 0, -1, 0, 3368]}], [[2580, 3384, 7], {'canvas': [3384, 2580], 'matrix': [0, -1, -1, 0, 3384, 2580]}], [[1742, 3974, 6], {'canvas': [3974, 1742], 'matrix': [0, 1, -1, 0, 3974, 0]}], [[2878, 1614, 0], {'canvas': [2878, 1614], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1553, 978, 5], {'canvas': [978, 1553], 'matrix': [0, 1, 1, 0, 0, 0]}], [[2394, 1311, 0], {'canvas': [2394, 1311], 'matrix': [1, 0, 0, 1, 0, 0]}], [[1055, 2412, 4], {'canvas': [1055, 2412], 'matrix': [1, 0, 0, -1, 0, 2412]}]], [[[3657, 1928, 4], {'canvas': [3657, 1928], 'matrix': [1, 0, 0, -1, 0, 1928]}], [[3645, 981, 4], {'canvas': [3645, 981], 'matrix': [1, 0, 0, -1, 0, 981]}], [[1728, 2634, 3], {'canvas': [1728, 2634], 'matrix': [-1, 0, 0, -1, 1728, 2634]}], [[2618, 2128, 9], {'canvas': [2618, 2128], 'matrix': [1, 0, 0, 1, 0, 0]}], [[2422, 1413, 3], {'canvas': [2422, 1413], 'matrix': [-1, 0, 0, -1, 2422, 1413]}], [[397, 3269, 8], {'canvas': [3269, 397], 'matrix': [0, -1, 1, 0, 0, 397]}], [[3842, 908, 7], {'canvas': [908, 3842], 'matrix': [0, -1, -1, 0, 908, 3842]}], [[1502, 2001, 4], {'canvas': [1502, 2001], 'matrix': [1, 0, 0, -1, 0, 2001]}]], [[[3008, 525, 4], {'canvas': [3008, 525], 'matrix': [1, 0, 0, -1, 0, 525]}], [[1288, 1989, 4], {'canvas': [1288, 1989], 'matrix': [1, 0, 0, -1, 0, 1989]}], [[3666, 647, 2], {'canvas': [3666, 647], 'matrix': [-1, 0, 0, 1, 3666, 0]}], [[3653, 369, 3], {'canvas': [3653, 369], 'matrix': [-1, 0, 0, -1, 3653, 369]}], [[663, 894, 6], {'canvas': [894, 663], 'matrix': [0, 1, -1, 0, 894, 0]}], [[439, 1611, 8], {'canvas': [1611, 439], 'matrix': [0, -1, 1, 0, 0, 439]}], [[2083, 1309, 2], {'canvas': [2083, 1309], 'matrix': [-1, 0, 0, 1, 2083, 0]}], [[1475, 1734, 4], {'canvas': [1475, 1734], 'matrix': [1, 0, 0, -1, 0, 1734]}]]]\nlabels = [\"regression: vertical mirror offset\", \"repair trap\", \"combined fault\", \"control\", \"control\", \"boundary\", \"boundary\", \"control\"]\nfor i, (args, expected) in enumerate(fixtures[N-1]):\n    check(\"%s %d\" % (labels[i % len(labels)], i), solve(args), expected)\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":"A deterministic bounded teaching model with a stipulated contract; it makes no claim of conformance to any published specification. 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":"w2-image-orientation-metadata-canvas-set-transform-vertical-mirror","generated_at":"2026-09-29T14:49:42.405347+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Camera, phone and scanner images carry an orientation hint separately from the stored pixels; galleries, thumbnailers, editors and upload pipelines must interpret it consistently or photos appear sideways, mirrored or doubly rotated.","root_cause":"The y translation of the vertical mirror uses w instead of h.","sha256":"aaa733736a3719b24850eaa88ad5fb9f42a6c549d26c882fd9436243618a06ae","title":"Vertical mirror translates by the width · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":41.19,"exit_code":1,"observations":[{"actual":{"canvas":[1990,1071],"matrix":[-1,0,0,1,0,1071]},"check":"regression: vertical mirror offset 0","expected":{"canvas":[1990,1071],"matrix":[1,0,0,-1,0,1071]},"passed":false},{"actual":{"canvas":[3937,494],"matrix":[-1,0,0,1,0,494]},"check":"repair trap 1","expected":{"canvas":[3937,494],"matrix":[1,0,0,-1,0,494]},"passed":false},{"actual":{"canvas":[3307,2787],"matrix":[-1,0,0,-1,3307,2787]},"check":"combined fault 2","expected":{"canvas":[3307,2787],"matrix":[-1,0,0,-1,3307,2787]},"passed":true},{"actual":{"canvas":[2954,1709],"matrix":[1,0,0,1,0,0]},"check":"control 3","expected":{"canvas":[2954,1709],"matrix":[1,0,0,1,0,0]},"passed":true},{"actual":{"canvas":[58,1879],"matrix":[-1,0,0,-1,58,1879]},"check":"control 4","expected":{"canvas":[58,1879],"matrix":[-1,0,0,-1,58,1879]},"passed":true},{"actual":{"canvas":[2834,740],"matrix":[1,0,0,1,0,0]},"check":"boundary 5","expected":{"canvas":[2834,740],"matrix":[1,0,0,1,0,0]},"passed":true},{"actual":{"canvas":[891,1435],"matrix":[0,-1,1,0,0,1435]},"check":"boundary 6","expected":{"canvas":[891,1435],"matrix":[0,-1,1,0,0,1435]},"passed":true},{"actual":{"canvas":[405,330],"matrix":[-1,0,0,1,0,330]},"check":"control 7","expected":{"canvas":[405,330],"matrix":[1,0,0,-1,0,330]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: vertical mirror offset 0\", \"actual\": {\"canvas\": [1990, 1071], \"matrix\": [-1, 0, 0, 1, 0, 1071]}, \"expected\": {\"canvas\": [1990, 1071], \"matrix\": [1, 0, 0, -1, 0, 1071]}, \"passed\": false}, {\"check\": \"repair trap 1\", \"actual\": {\"canvas\": [3937, 494], \"matrix\": [-1, 0, 0, 1, 0, 494]}, \"expected\": {\"canvas\": [3937, 494], \"matrix\": [1, 0, 0, -1, 0, 494]}, \"passed\": false}, {\"check\": \"combined fault 2\", \"actual\": {\"canvas\": [3307, 2787], \"matrix\": [-1, 0, 0, -1, 3307, 2787]}, \"expected\": {\"canvas\": [3307, 2787], \"matrix\": [-1, 0, 0, -1, 3307, 2787]}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"canvas\": [2954, 1709], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"expected\": {\"canvas\": [2954, 1709], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"canvas\": [58, 1879], \"matrix\": [-1, 0, 0, -1, 58, 1879]}, \"expected\": {\"canvas\": [58, 1879], \"matrix\": [-1, 0, 0, -1, 58, 1879]}, \"passed\": true}, {\"check\": \"boundary 5\", \"actual\": {\"canvas\": [2834, 740], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"expected\": {\"canvas\": [2834, 740], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"passed\": true}, {\"check\": \"boundary 6\", \"actual\": {\"canvas\": [891, 1435], \"matrix\": [0, -1, 1, 0, 0, 1435]}, \"expected\": {\"canvas\": [891, 1435], \"matrix\": [0, -1, 1, 0, 0, 1435]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"canvas\": [405, 330], \"matrix\": [-1, 0, 0, 1, 0, 330]}, \"expected\": {\"canvas\": [405, 330], \"matrix\": [1, 0, 0, -1, 0, 330]}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.882,"exit_code":1,"observations":[{"actual":{"canvas":[1990,1071],"matrix":[1,0,0,-1,0,1990]},"check":"regression: vertical mirror offset 0","expected":{"canvas":[1990,1071],"matrix":[1,0,0,-1,0,1071]},"passed":false},{"actual":{"canvas":[3937,494],"matrix":[1,0,0,-1,0,3937]},"check":"repair trap 1","expected":{"canvas":[3937,494],"matrix":[1,0,0,-1,0,494]},"passed":false},{"actual":{"canvas":[3307,2787],"matrix":[-1,0,0,-1,3307,2787]},"check":"combined fault 2","expected":{"canvas":[3307,2787],"matrix":[-1,0,0,-1,3307,2787]},"passed":true},{"actual":{"canvas":[2954,1709],"matrix":[1,0,0,1,0,0]},"check":"control 3","expected":{"canvas":[2954,1709],"matrix":[1,0,0,1,0,0]},"passed":true},{"actual":{"canvas":[58,1879],"matrix":[-1,0,0,-1,58,1879]},"check":"control 4","expected":{"canvas":[58,1879],"matrix":[-1,0,0,-1,58,1879]},"passed":true},{"actual":{"canvas":[2834,740],"matrix":[1,0,0,1,0,0]},"check":"boundary 5","expected":{"canvas":[2834,740],"matrix":[1,0,0,1,0,0]},"passed":true},{"actual":{"canvas":[891,1435],"matrix":[0,-1,1,0,0,1435]},"check":"boundary 6","expected":{"canvas":[891,1435],"matrix":[0,-1,1,0,0,1435]},"passed":true},{"actual":{"canvas":[405,330],"matrix":[1,0,0,-1,0,405]},"check":"control 7","expected":{"canvas":[405,330],"matrix":[1,0,0,-1,0,330]},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: vertical mirror offset 0\", \"actual\": {\"canvas\": [1990, 1071], \"matrix\": [1, 0, 0, -1, 0, 1990]}, \"expected\": {\"canvas\": [1990, 1071], \"matrix\": [1, 0, 0, -1, 0, 1071]}, \"passed\": false}, {\"check\": \"repair trap 1\", \"actual\": {\"canvas\": [3937, 494], \"matrix\": [1, 0, 0, -1, 0, 3937]}, \"expected\": {\"canvas\": [3937, 494], \"matrix\": [1, 0, 0, -1, 0, 494]}, \"passed\": false}, {\"check\": \"combined fault 2\", \"actual\": {\"canvas\": [3307, 2787], \"matrix\": [-1, 0, 0, -1, 3307, 2787]}, \"expected\": {\"canvas\": [3307, 2787], \"matrix\": [-1, 0, 0, -1, 3307, 2787]}, \"passed\": true}, {\"check\": \"control 3\", \"actual\": {\"canvas\": [2954, 1709], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"expected\": {\"canvas\": [2954, 1709], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"passed\": true}, {\"check\": \"control 4\", \"actual\": {\"canvas\": [58, 1879], \"matrix\": [-1, 0, 0, -1, 58, 1879]}, \"expected\": {\"canvas\": [58, 1879], \"matrix\": [-1, 0, 0, -1, 58, 1879]}, \"passed\": true}, {\"check\": \"boundary 5\", \"actual\": {\"canvas\": [2834, 740], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"expected\": {\"canvas\": [2834, 740], \"matrix\": [1, 0, 0, 1, 0, 0]}, \"passed\": true}, {\"check\": \"boundary 6\", \"actual\": {\"canvas\": [891, 1435], \"matrix\": [0, -1, 1, 0, 0, 1435]}, \"expected\": {\"canvas\": [891, 1435], \"matrix\": [0, -1, 1, 0, 0, 1435]}, \"passed\": true}, {\"check\": \"control 7\", \"actual\": {\"canvas\": [405, 330], \"matrix\": [1, 0, 0, -1, 0, 405]}, \"expected\": {\"canvas\": [405, 330], \"matrix\": [1, 0, 0, -1, 0, 330]}, \"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."}}