{"abstract":"Exchange looks up row identity instead of the routing key.","category":"Data systems","checks":7,"contract":"Route [id,key,payload] rows into fixed receiver partitions using a supplied key-to-partition table. Null keys use the explicit null partition; unmapped non-null keys produce UNMAPPED side output. Preserve source order within each receiver, retain empty receivers, and preserve repeated rows.","contract_signature":"d","evaluation_group":"s3-data-systems-partition-exchange-routing","failed_approach":"Payload lookup also ignores the routing key.","family":"s3-data-systems-partition-exchange-routing-mapping-identity","id":"FA-45761","implementations":{"attempt":{"sha256":"4b59cdd1c7e8cb43c236fed33228f45c53d1a4f91e4f709042e419477f5f17b6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        rows,mapping,null_partition,count=d\n        receivers=[[] for _ in range(count)]; rejected=[]\n        for ident,key,payload in rows:\n            if key is None: target=null_partition\n            elif str(payload) in mapping: target=mapping[str(payload)]\n            else: rejected.append([ident,'UNMAPPED']); continue\n            receivers[target].append([ident,payload])\n        return [receivers,rejected]\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('independent receivers', solve([[[10, 1, 1], [11, 2, 2]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 1]], [[11, 2]], []], []])\n    check('null receiver', solve([[[10, None, 1]], {}, 1, 3]), [[[], [[10, 1]], []], []])\n    check('unmapped', solve([[[10, 7, 1]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 1], [10, 1, 2]], {'1': 0}, 1, 2]), [[[[11, 1], [10, 2]], []], []])\n    check('duplicate rows', solve([[[10, 1, 1], [10, 1, 1]], {'1': 0}, 1, 2]), [[[[10, 1], [10, 1]], []], []])\n    check('mapped zero', solve([[[10, 0, 1]], {'0': 1}, 0, 2]), [[[], [[10, 1]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 2:\n    check('independent receivers', solve([[[10, 1, 2], [11, 2, 3]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 2]], [[11, 3]], []], []])\n    check('null receiver', solve([[[10, None, 2]], {}, 1, 3]), [[[], [[10, 2]], []], []])\n    check('unmapped', solve([[[10, 7, 2]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 2], [10, 1, 3]], {'1': 0}, 1, 2]), [[[[11, 2], [10, 3]], []], []])\n    check('duplicate rows', solve([[[10, 1, 2], [10, 1, 2]], {'1': 0}, 1, 2]), [[[[10, 2], [10, 2]], []], []])\n    check('mapped zero', solve([[[10, 0, 2]], {'0': 1}, 0, 2]), [[[], [[10, 2]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 3:\n    check('independent receivers', solve([[[10, 1, 3], [11, 2, 4]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 3]], [[11, 4]], []], []])\n    check('null receiver', solve([[[10, None, 3]], {}, 1, 3]), [[[], [[10, 3]], []], []])\n    check('unmapped', solve([[[10, 7, 3]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 3], [10, 1, 4]], {'1': 0}, 1, 2]), [[[[11, 3], [10, 4]], []], []])\n    check('duplicate rows', solve([[[10, 1, 3], [10, 1, 3]], {'1': 0}, 1, 2]), [[[[10, 3], [10, 3]], []], []])\n    check('mapped zero', solve([[[10, 0, 3]], {'0': 1}, 0, 2]), [[[], [[10, 3]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 4:\n    check('independent receivers', solve([[[10, 1, 4], [11, 2, 5]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 4]], [[11, 5]], []], []])\n    check('null receiver', solve([[[10, None, 4]], {}, 1, 3]), [[[], [[10, 4]], []], []])\n    check('unmapped', solve([[[10, 7, 4]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 4], [10, 1, 5]], {'1': 0}, 1, 2]), [[[[11, 4], [10, 5]], []], []])\n    check('duplicate rows', solve([[[10, 1, 4], [10, 1, 4]], {'1': 0}, 1, 2]), [[[[10, 4], [10, 4]], []], []])\n    check('mapped zero', solve([[[10, 0, 4]], {'0': 1}, 0, 2]), [[[], [[10, 4]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 5:\n    check('independent receivers', solve([[[10, 1, 5], [11, 2, 6]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 5]], [[11, 6]], []], []])\n    check('null receiver', solve([[[10, None, 5]], {}, 1, 3]), [[[], [[10, 5]], []], []])\n    check('unmapped', solve([[[10, 7, 5]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 5], [10, 1, 6]], {'1': 0}, 1, 2]), [[[[11, 5], [10, 6]], []], []])\n    check('duplicate rows', solve([[[10, 1, 5], [10, 1, 5]], {'1': 0}, 1, 2]), [[[[10, 5], [10, 5]], []], []])\n    check('mapped zero', solve([[[10, 0, 5]], {'0': 1}, 0, 2]), [[[], [[10, 5]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\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":"b51fe03cc16265f7b0da809e65ce35b8bd5b9b0da04e200fdd34606cf3b34970","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    try:\n        rows,mapping,null_partition,count=d\n        receivers=[[] for _ in range(count)]; rejected=[]\n        for ident,key,payload in rows:\n            if key is None: target=null_partition\n            elif str(ident) in mapping: target=mapping[str(ident)]\n            else: rejected.append([ident,'UNMAPPED']); continue\n            receivers[target].append([ident,payload])\n        return [receivers,rejected]\n    except (IndexError, KeyError, ValueError, StopIteration) as exc:\n        return {\"representation_error\": type(exc).__name__}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nif N == 1:\n    check('independent receivers', solve([[[10, 1, 1], [11, 2, 2]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 1]], [[11, 2]], []], []])\n    check('null receiver', solve([[[10, None, 1]], {}, 1, 3]), [[[], [[10, 1]], []], []])\n    check('unmapped', solve([[[10, 7, 1]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 1], [10, 1, 2]], {'1': 0}, 1, 2]), [[[[11, 1], [10, 2]], []], []])\n    check('duplicate rows', solve([[[10, 1, 1], [10, 1, 1]], {'1': 0}, 1, 2]), [[[[10, 1], [10, 1]], []], []])\n    check('mapped zero', solve([[[10, 0, 1]], {'0': 1}, 0, 2]), [[[], [[10, 1]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 2:\n    check('independent receivers', solve([[[10, 1, 2], [11, 2, 3]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 2]], [[11, 3]], []], []])\n    check('null receiver', solve([[[10, None, 2]], {}, 1, 3]), [[[], [[10, 2]], []], []])\n    check('unmapped', solve([[[10, 7, 2]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 2], [10, 1, 3]], {'1': 0}, 1, 2]), [[[[11, 2], [10, 3]], []], []])\n    check('duplicate rows', solve([[[10, 1, 2], [10, 1, 2]], {'1': 0}, 1, 2]), [[[[10, 2], [10, 2]], []], []])\n    check('mapped zero', solve([[[10, 0, 2]], {'0': 1}, 0, 2]), [[[], [[10, 2]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 3:\n    check('independent receivers', solve([[[10, 1, 3], [11, 2, 4]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 3]], [[11, 4]], []], []])\n    check('null receiver', solve([[[10, None, 3]], {}, 1, 3]), [[[], [[10, 3]], []], []])\n    check('unmapped', solve([[[10, 7, 3]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 3], [10, 1, 4]], {'1': 0}, 1, 2]), [[[[11, 3], [10, 4]], []], []])\n    check('duplicate rows', solve([[[10, 1, 3], [10, 1, 3]], {'1': 0}, 1, 2]), [[[[10, 3], [10, 3]], []], []])\n    check('mapped zero', solve([[[10, 0, 3]], {'0': 1}, 0, 2]), [[[], [[10, 3]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 4:\n    check('independent receivers', solve([[[10, 1, 4], [11, 2, 5]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 4]], [[11, 5]], []], []])\n    check('null receiver', solve([[[10, None, 4]], {}, 1, 3]), [[[], [[10, 4]], []], []])\n    check('unmapped', solve([[[10, 7, 4]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 4], [10, 1, 5]], {'1': 0}, 1, 2]), [[[[11, 4], [10, 5]], []], []])\n    check('duplicate rows', solve([[[10, 1, 4], [10, 1, 4]], {'1': 0}, 1, 2]), [[[[10, 4], [10, 4]], []], []])\n    check('mapped zero', solve([[[10, 0, 4]], {'0': 1}, 0, 2]), [[[], [[10, 4]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\nelif N == 5:\n    check('independent receivers', solve([[[10, 1, 5], [11, 2, 6]], {'1': 0, '2': 1}, 1, 3]), [[[[10, 5]], [[11, 6]], []], []])\n    check('null receiver', solve([[[10, None, 5]], {}, 1, 3]), [[[], [[10, 5]], []], []])\n    check('unmapped', solve([[[10, 7, 5]], {'1': 0}, 1, 2]), [[[], []], [[10, 'UNMAPPED']]])\n    check('same receiver order', solve([[[11, 1, 5], [10, 1, 6]], {'1': 0}, 1, 2]), [[[[11, 5], [10, 6]], []], []])\n    check('duplicate rows', solve([[[10, 1, 5], [10, 1, 5]], {'1': 0}, 1, 2]), [[[[10, 5], [10, 5]], []], []])\n    check('mapped zero', solve([[[10, 0, 5]], {'0': 1}, 0, 2]), [[[], [[10, 5]]], []])\n    check('empty relation', solve([[], {}, 0, 2]), [[[], []], []])\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":"Offline stipulated semantics over valid small inputs; no performance, concurrency, or production-engine conformance 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":"s3-data-systems-partition-exchange-routing-mapping-identity","generated_at":"2026-09-29T14:44:25.688797+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A bounded deterministic data engine model makes representation and changelog faults reproducible.","root_cause":"partition-exchange-routing: Exchange looks up row identity instead of the routing key.","sha256":"07e7f9ae8156f6896447fc3fe5d083f0165654297aecc056b7bb148383a06553","title":"Exchange looks up row identity instead of the routing key · 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":46.706,"exit_code":1,"observations":[{"actual":[[[[10,1]],[[11,2]],[]],[]],"check":"independent receivers","expected":[[[[10,1]],[[11,2]],[]],[]],"passed":true},{"actual":[[[],[[10,1]],[]],[]],"check":"null receiver","expected":[[[],[[10,1]],[]],[]],"passed":true},{"actual":[[[[10,1]],[]],[]],"check":"unmapped","expected":[[[],[]],[[10,"UNMAPPED"]]],"passed":false},{"actual":[[[[11,1]],[]],[[10,"UNMAPPED"]]],"check":"same receiver order","expected":[[[[11,1],[10,2]],[]],[]],"passed":false},{"actual":[[[[10,1],[10,1]],[]],[]],"check":"duplicate rows","expected":[[[[10,1],[10,1]],[]],[]],"passed":true},{"actual":[[[],[]],[[10,"UNMAPPED"]]],"check":"mapped zero","expected":[[[],[[10,1]]],[]],"passed":false},{"actual":[[[],[]],[]],"check":"empty relation","expected":[[[],[]],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"independent receivers\", \"actual\": [[[[10, 1]], [[11, 2]], []], []], \"expected\": [[[[10, 1]], [[11, 2]], []], []], \"passed\": true}, {\"check\": \"null receiver\", \"actual\": [[[], [[10, 1]], []], []], \"expected\": [[[], [[10, 1]], []], []], \"passed\": true}, {\"check\": \"unmapped\", \"actual\": [[[[10, 1]], []], []], \"expected\": [[[], []], [[10, \"UNMAPPED\"]]], \"passed\": false}, {\"check\": \"same receiver order\", \"actual\": [[[[11, 1]], []], [[10, \"UNMAPPED\"]]], \"expected\": [[[[11, 1], [10, 2]], []], []], \"passed\": false}, {\"check\": \"duplicate rows\", \"actual\": [[[[10, 1], [10, 1]], []], []], \"expected\": [[[[10, 1], [10, 1]], []], []], \"passed\": true}, {\"check\": \"mapped zero\", \"actual\": [[[], []], [[10, \"UNMAPPED\"]]], \"expected\": [[[], [[10, 1]]], []], \"passed\": false}, {\"check\": \"empty relation\", \"actual\": [[[], []], []], \"expected\": [[[], []], []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.374,"exit_code":1,"observations":[{"actual":[[[],[],[]],[[10,"UNMAPPED"],[11,"UNMAPPED"]]],"check":"independent receivers","expected":[[[[10,1]],[[11,2]],[]],[]],"passed":false},{"actual":[[[],[[10,1]],[]],[]],"check":"null receiver","expected":[[[],[[10,1]],[]],[]],"passed":true},{"actual":[[[],[]],[[10,"UNMAPPED"]]],"check":"unmapped","expected":[[[],[]],[[10,"UNMAPPED"]]],"passed":true},{"actual":[[[],[]],[[11,"UNMAPPED"],[10,"UNMAPPED"]]],"check":"same receiver order","expected":[[[[11,1],[10,2]],[]],[]],"passed":false},{"actual":[[[],[]],[[10,"UNMAPPED"],[10,"UNMAPPED"]]],"check":"duplicate rows","expected":[[[[10,1],[10,1]],[]],[]],"passed":false},{"actual":[[[],[]],[[10,"UNMAPPED"]]],"check":"mapped zero","expected":[[[],[[10,1]]],[]],"passed":false},{"actual":[[[],[]],[]],"check":"empty relation","expected":[[[],[]],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"independent receivers\", \"actual\": [[[], [], []], [[10, \"UNMAPPED\"], [11, \"UNMAPPED\"]]], \"expected\": [[[[10, 1]], [[11, 2]], []], []], \"passed\": false}, {\"check\": \"null receiver\", \"actual\": [[[], [[10, 1]], []], []], \"expected\": [[[], [[10, 1]], []], []], \"passed\": true}, {\"check\": \"unmapped\", \"actual\": [[[], []], [[10, \"UNMAPPED\"]]], \"expected\": [[[], []], [[10, \"UNMAPPED\"]]], \"passed\": true}, {\"check\": \"same receiver order\", \"actual\": [[[], []], [[11, \"UNMAPPED\"], [10, \"UNMAPPED\"]]], \"expected\": [[[[11, 1], [10, 2]], []], []], \"passed\": false}, {\"check\": \"duplicate rows\", \"actual\": [[[], []], [[10, \"UNMAPPED\"], [10, \"UNMAPPED\"]]], \"expected\": [[[[10, 1], [10, 1]], []], []], \"passed\": false}, {\"check\": \"mapped zero\", \"actual\": [[[], []], [[10, \"UNMAPPED\"]]], \"expected\": [[[], [[10, 1]]], []], \"passed\": false}, {\"check\": \"empty relation\", \"actual\": [[[], []], []], \"expected\": [[[], []], []], \"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."}}