{"abstract":"Exchange drops row identity while transferring payload.","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":"Swapping identity and payload still changes the receiver schema.","family":"s3-data-systems-partition-exchange-routing-row-payload","id":"FA-45771","implementations":{"attempt":{"sha256":"93f2cdef0e2ab3436e7a6b8ba87cd40079b2296f8a60c3997fcd38c4e217d34c","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(key) in mapping: target=mapping[str(key)]\n            else: rejected.append([ident,'UNMAPPED']); continue\n            receivers[target].append([payload,ident])\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":"369e81fea593fa62adc3fd3b29804fd85cc8faeba75318afa5c6c6335c4b1e59","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(key) in mapping: target=mapping[str(key)]\n            else: rejected.append([ident,'UNMAPPED']); continue\n            receivers[target].append([key,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-row-payload","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 drops row identity while transferring payload.","sha256":"9b401aefa2de0336d3b5712dc148146be1fad172b9cb8b6aef07f0d89f6bc2e1","title":"Exchange drops row identity while transferring payload · 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":42.246,"exit_code":1,"observations":[{"actual":[[[[1,10]],[[2,11]],[]],[]],"check":"independent receivers","expected":[[[[10,1]],[[11,2]],[]],[]],"passed":false},{"actual":[[[],[[1,10]],[]],[]],"check":"null receiver","expected":[[[],[[10,1]],[]],[]],"passed":false},{"actual":[[[],[]],[[10,"UNMAPPED"]]],"check":"unmapped","expected":[[[],[]],[[10,"UNMAPPED"]]],"passed":true},{"actual":[[[[1,11],[2,10]],[]],[]],"check":"same receiver order","expected":[[[[11,1],[10,2]],[]],[]],"passed":false},{"actual":[[[[1,10],[1,10]],[]],[]],"check":"duplicate rows","expected":[[[[10,1],[10,1]],[]],[]],"passed":false},{"actual":[[[],[[1,10]]],[]],"check":"mapped zero","expected":[[[],[[10,1]]],[]],"passed":false},{"actual":[[[],[]],[]],"check":"empty relation","expected":[[[],[]],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"independent receivers\", \"actual\": [[[[1, 10]], [[2, 11]], []], []], \"expected\": [[[[10, 1]], [[11, 2]], []], []], \"passed\": false}, {\"check\": \"null receiver\", \"actual\": [[[], [[1, 10]], []], []], \"expected\": [[[], [[10, 1]], []], []], \"passed\": false}, {\"check\": \"unmapped\", \"actual\": [[[], []], [[10, \"UNMAPPED\"]]], \"expected\": [[[], []], [[10, \"UNMAPPED\"]]], \"passed\": true}, {\"check\": \"same receiver order\", \"actual\": [[[[1, 11], [2, 10]], []], []], \"expected\": [[[[11, 1], [10, 2]], []], []], \"passed\": false}, {\"check\": \"duplicate rows\", \"actual\": [[[[1, 10], [1, 10]], []], []], \"expected\": [[[[10, 1], [10, 1]], []], []], \"passed\": false}, {\"check\": \"mapped zero\", \"actual\": [[[], [[1, 10]]], []], \"expected\": [[[], [[10, 1]]], []], \"passed\": false}, {\"check\": \"empty relation\", \"actual\": [[[], []], []], \"expected\": [[[], []], []], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.348,"exit_code":1,"observations":[{"actual":[[[[1,1]],[[2,2]],[]],[]],"check":"independent receivers","expected":[[[[10,1]],[[11,2]],[]],[]],"passed":false},{"actual":[[[],[[null,1]],[]],[]],"check":"null receiver","expected":[[[],[[10,1]],[]],[]],"passed":false},{"actual":[[[],[]],[[10,"UNMAPPED"]]],"check":"unmapped","expected":[[[],[]],[[10,"UNMAPPED"]]],"passed":true},{"actual":[[[[1,1],[1,2]],[]],[]],"check":"same receiver order","expected":[[[[11,1],[10,2]],[]],[]],"passed":false},{"actual":[[[[1,1],[1,1]],[]],[]],"check":"duplicate rows","expected":[[[[10,1],[10,1]],[]],[]],"passed":false},{"actual":[[[],[[0,1]]],[]],"check":"mapped zero","expected":[[[],[[10,1]]],[]],"passed":false},{"actual":[[[],[]],[]],"check":"empty relation","expected":[[[],[]],[]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"independent receivers\", \"actual\": [[[[1, 1]], [[2, 2]], []], []], \"expected\": [[[[10, 1]], [[11, 2]], []], []], \"passed\": false}, {\"check\": \"null receiver\", \"actual\": [[[], [[null, 1]], []], []], \"expected\": [[[], [[10, 1]], []], []], \"passed\": false}, {\"check\": \"unmapped\", \"actual\": [[[], []], [[10, \"UNMAPPED\"]]], \"expected\": [[[], []], [[10, \"UNMAPPED\"]]], \"passed\": true}, {\"check\": \"same receiver order\", \"actual\": [[[[1, 1], [1, 2]], []], []], \"expected\": [[[[11, 1], [10, 2]], []], []], \"passed\": false}, {\"check\": \"duplicate rows\", \"actual\": [[[[1, 1], [1, 1]], []], []], \"expected\": [[[[10, 1], [10, 1]], []], []], \"passed\": false}, {\"check\": \"mapped zero\", \"actual\": [[[], [[0, 1]]], []], \"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."}}