{"abstract":"Any enabled color channel causes the entire pixel to be overwritten.","category":"Rendering state","checks":4,"contract":"Old/new are four channels and mask contains four Booleans. Replace exactly the enabled channels.","contract_signature":"old, new, mask","evaluation_group":"xg-color-write-mask-channelwise","failed_approach":"Requiring all channels enabled suppresses valid partial-mask writes.","family":"xg-color-write-mask-channelwise","id":"FA-10686","implementations":{"attempt":{"sha256":"fc248f2112dadc1f86593ae684abd765353e22d701fed6012733ca16366d93a8","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(old, new, mask):\n    return list(new) if all(mask) else list(old)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*([1, 2, 3, 4], [9, 8, 7, 6], [True, False, True, False])), [9, 2, 7, 4])\ncheck('fixture 2', solve(*([1, 2, 3, 4], [9, 8, 7, 6], [False, False, False, False])), [1, 2, 3, 4])\ncheck('fixture 3', solve(*([1, 2, 3, 4], [9, 8, 7, 6], [True, True, True, True])), [9, 8, 7, 6])\ncheck('fixture 4', solve(*([0, 0, 0, 0], [1, 2, 3, 4], [False, False, False, True])), [0, 0, 0, 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":"ba1d273d4a441e2d85202323062360bf1b18b46d6b8ed8d4e42910296153145b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(old, new, mask):\n    return list(new) if any(mask) else list(old)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve(*([1, 2, 3, 4], [9, 8, 7, 6], [True, False, True, False])), [9, 2, 7, 4])\ncheck('fixture 2', solve(*([1, 2, 3, 4], [9, 8, 7, 6], [False, False, False, False])), [1, 2, 3, 4])\ncheck('fixture 3', solve(*([1, 2, 3, 4], [9, 8, 7, 6], [True, True, True, True])), [9, 8, 7, 6])\ncheck('fixture 4', solve(*([0, 0, 0, 0], [1, 2, 3, 4], [False, False, False, True])), [0, 0, 0, 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":" 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-color-write-mask-channelwise","generated_at":"2026-09-29T14:38:41.249830+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.","root_cause":"Any enabled color channel causes the entire pixel to be overwritten.","sha256":"818f9d1c10d8751d2ca39d710097e3ce31a67ad967b87faa37ae328c3b85f844","title":"Color write mask channelwise · 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":40.257,"exit_code":1,"observations":[{"actual":[1,2,3,4],"check":"fixture 1","expected":[9,2,7,4],"passed":false},{"actual":[1,2,3,4],"check":"fixture 2","expected":[1,2,3,4],"passed":true},{"actual":[9,8,7,6],"check":"fixture 3","expected":[9,8,7,6],"passed":true},{"actual":[0,0,0,0],"check":"fixture 4","expected":[0,0,0,4],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [1, 2, 3, 4], \"expected\": [9, 2, 7, 4], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [1, 2, 3, 4], \"expected\": [1, 2, 3, 4], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [9, 8, 7, 6], \"expected\": [9, 8, 7, 6], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [0, 0, 0, 0], \"expected\": [0, 0, 0, 4], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.312,"exit_code":1,"observations":[{"actual":[9,8,7,6],"check":"fixture 1","expected":[9,2,7,4],"passed":false},{"actual":[1,2,3,4],"check":"fixture 2","expected":[1,2,3,4],"passed":true},{"actual":[9,8,7,6],"check":"fixture 3","expected":[9,8,7,6],"passed":true},{"actual":[1,2,3,4],"check":"fixture 4","expected":[0,0,0,4],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [9, 8, 7, 6], \"expected\": [9, 2, 7, 4], \"passed\": false}, {\"check\": \"fixture 2\", \"actual\": [1, 2, 3, 4], \"expected\": [1, 2, 3, 4], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [9, 8, 7, 6], \"expected\": [9, 8, 7, 6], \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": [1, 2, 3, 4], \"expected\": [0, 0, 0, 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."}}