{"abstract":"Zero-padding low bits leaves decoded maximum channels below 255.","category":"Color encoding","checks":4,"contract":"Expand RGB565 into RGB bytes by replicating high bits into low bits, preserving full-scale white.","evaluation_group":"xg-rgb565-bit-replication","failed_approach":"Treating green as another five-bit channel loses its extra precision.","family":"xg-rgb565-bit-replication","id":"FA-10621","implementations":{"attempt":{"sha256":"c0057c744520dfd27cbe0ff16cf3f836c2eead7aa8628b78b6bfc48beae71eb9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(word):\n    return [((word>>11)&31)*8,((word>>5)&31)*8,(word&31)*8]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*(65535,)), [255, 255, 255])\ncheck('fixture 2', solve(*(0,)), [0, 0, 0])\ncheck('fixture 3', solve(*(63488,)), [255, 0, 0])\ncheck('fixture 4', solve(*(2016,)), [0, 255, 0])\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":"e1d5a5de57cd5ece10b3388f1dc7766bf87bc2629f2b71d2b053e210934c4d75","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(word):\n    return [((word>>11)&31)<<3,((word>>5)&63)<<2,(word&31)<<3]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*(65535,)), [255, 255, 255])\ncheck('fixture 2', solve(*(0,)), [0, 0, 0])\ncheck('fixture 3', solve(*(63488,)), [255, 0, 0])\ncheck('fixture 4', solve(*(2016,)), [0, 255, 0])\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"},"fixed":{"sha256":"3af03a8bc58fde9a7527e49add5f295c8460de635ef2789caaaff8ae50c4f922","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(word):\n    return [(((word>>11)&31)<<3)|(((word>>11)&31)>>2),(((word>>5)&63)<<2)|(((word>>5)&63)>>4),((word&31)<<3)|((word&31)>>2)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*(65535,)), [255, 255, 255])\ncheck('fixture 2', solve(*(0,)), [0, 0, 0])\ncheck('fixture 3', solve(*(63488,)), [255, 0, 0])\ncheck('fixture 4', solve(*(2016,)), [0, 255, 0])\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":" 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":"xg-rgb565-bit-replication","generated_at":"2026-09-29T14:38:40.591415+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic software graphics stage with explicit channel and coordinate conventions; no hardware, device profile or API behavior is inferred.","repair":"Use the stage contract: Expand RGB565 into RGB bytes by replicating high bits into low bits, preserving full-scale white.","root_cause":"Zero-padding low bits leaves decoded maximum channels below 255.","sha256":"c550efb02e0d25b74d7782d0f24b0788214d637b7f996564f9e11c90d780f10d","title":"Rgb565 bit replication · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.768,"exit_code":1,"observations":[{"actual":[248,248,248],"check":"fixture 1","expected":[255,255,255],"passed":false},{"actual":[0,0,0],"check":"fixture 2","expected":[0,0,0],"passed":true},{"actual":[248,0,0],"check":"fixture 3","expected":[255,0,0],"passed":false},{"actual":[0,248,0],"check":"fixture 4","expected":[0,255,0],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [248, 248, 248], \"expected\": [255, 255, 255], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [0, 0, 0], \"expected\": [0, 0, 0], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [248, 0, 0], \"expected\": [255, 0, 0], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [0, 248, 0], \"expected\": [0, 255, 0], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.87,"exit_code":1,"observations":[{"actual":[248,252,248],"check":"fixture 1","expected":[255,255,255],"passed":false},{"actual":[0,0,0],"check":"fixture 2","expected":[0,0,0],"passed":true},{"actual":[248,0,0],"check":"fixture 3","expected":[255,0,0],"passed":false},{"actual":[0,252,0],"check":"fixture 4","expected":[0,255,0],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [248, 252, 248], \"expected\": [255, 255, 255], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [0, 0, 0], \"expected\": [0, 0, 0], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [248, 0, 0], \"expected\": [255, 0, 0], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [0, 252, 0], \"expected\": [0, 255, 0], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.64,"exit_code":0,"observations":[{"actual":[255,255,255],"check":"fixture 1","expected":[255,255,255],"passed":true},{"actual":[0,0,0],"check":"fixture 2","expected":[0,0,0],"passed":true},{"actual":[255,0,0],"check":"fixture 3","expected":[255,0,0],"passed":true},{"actual":[0,255,0],"check":"fixture 4","expected":[0,255,0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [255, 255, 255], \"expected\": [255, 255, 255], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [0, 0, 0], \"expected\": [0, 0, 0], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [255, 0, 0], \"expected\": [255, 0, 0], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [0, 255, 0], \"expected\": [0, 255, 0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}