{"abstract":"Green is quantized to five bits in a six-bit field.","category":"Color encoding","checks":4,"contract":"Quantize three RGB bytes into RGB565 using high five red bits, high six green bits and high five blue bits.","evaluation_group":"xg-rgb565-green-width","failed_approach":"Changing the red shift implements RGB555 rather than the requested layout.","family":"xg-rgb565-green-width","id":"FA-10616","implementations":{"attempt":{"sha256":"2189d97ec9e849b1885cdf50f089c8fc98e773b5848795551b6f5967ff77fd06","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(r, g, b):\n    return ((r>>3)<<10)|((g>>3)<<5)|(b>>3)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*(255, 255, 255)), 65535)\ncheck('fixture 2', solve(*(0, 255, 0)), 2016)\ncheck('fixture 3', solve(*(255, 0, 0)), 63488)\ncheck('fixture 4', solve(*(0, 0, 255)), 31)\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":"6ce2a3067d9231150505a82459b7c9098f138385896b157fba111c572c7bd805","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(r, g, b):\n    return ((r>>3)<<11)|((g>>3)<<5)|(b>>3)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*(255, 255, 255)), 65535)\ncheck('fixture 2', solve(*(0, 255, 0)), 2016)\ncheck('fixture 3', solve(*(255, 0, 0)), 63488)\ncheck('fixture 4', solve(*(0, 0, 255)), 31)\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":"31170b9aae4d573f4c0ffe4423e221039251bd26a5fbe7f0fe370617f7e6de1f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(r, g, b):\n    return ((r>>3)<<11)|((g>>2)<<5)|(b>>3)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*(255, 255, 255)), 65535)\ncheck('fixture 2', solve(*(0, 255, 0)), 2016)\ncheck('fixture 3', solve(*(255, 0, 0)), 63488)\ncheck('fixture 4', solve(*(0, 0, 255)), 31)\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-green-width","generated_at":"2026-09-29T14:38:40.589108+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: Quantize three RGB bytes into RGB565 using high five red bits, high six green bits and high five blue bits.","root_cause":"Green is quantized to five bits in a six-bit field.","sha256":"9cd6e99c05b0a2357124c00e3c9c485812539ae4c125be38def5e958a0e768c2","title":"Rgb565 green width · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.007,"exit_code":1,"observations":[{"actual":32767,"check":"fixture 1","expected":65535,"passed":false},{"actual":992,"check":"fixture 2","expected":2016,"passed":false},{"actual":31744,"check":"fixture 3","expected":63488,"passed":false},{"actual":31,"check":"fixture 4","expected":31,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": 32767, \"expected\": 65535, \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": 992, \"expected\": 2016, \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": 31744, \"expected\": 63488, \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": 31, \"expected\": 31, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.973,"exit_code":1,"observations":[{"actual":64511,"check":"fixture 1","expected":65535,"passed":false},{"actual":992,"check":"fixture 2","expected":2016,"passed":false},{"actual":63488,"check":"fixture 3","expected":63488,"passed":true},{"actual":31,"check":"fixture 4","expected":31,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": 64511, \"expected\": 65535, \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": 992, \"expected\": 2016, \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": 63488, \"expected\": 63488, \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": 31, \"expected\": 31, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":39.847,"exit_code":0,"observations":[{"actual":65535,"check":"fixture 1","expected":65535,"passed":true},{"actual":2016,"check":"fixture 2","expected":2016,"passed":true},{"actual":63488,"check":"fixture 3","expected":63488,"passed":true},{"actual":31,"check":"fixture 4","expected":31,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": 65535, \"expected\": 65535, \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": 2016, \"expected\": 2016, \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": 63488, \"expected\": 63488, \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": 31, \"expected\": 31, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}