{"abstract":"Dns response correlates identifier and question.","category":"DNS resolution","checks":4,"contract":"Given sent, received, peer, expected_peer, dns response correlates identifier and question. Return the protocol decision or transformed value; fields are validated and fixtures state boundary outcomes.","contract_signature":"sent, received, peer, expected_peer","evaluation_group":"xh-dns-response-correlates-identifier-and-question","failed_approach":"The attempted repair uses `sent == received` and still violates a separate fixture.","family":"xh-dns-response-correlates-identifier-and-question","id":"FA-7336","implementations":{"attempt":{"sha256":"b7695d91ebf31ac0827ff5eda252253a3d95935e5516a7fa91550ab2034eacf3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport ipaddress\nimport re\nfrom urllib.parse import urlsplit, urljoin\nN = 1\nobservations = []\ndef solve(sent, received, peer, expected_peer):\n    return sent == received\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\n_fixtures = [\"check('fixture 1', solve((1, 'a'), (1, 'b'), 'ns', 'ns'), False)\", \"check('fixture 2', solve((1, 'a'), (1, 'a'), 'evil', 'ns'), False)\", \"check('fixture 3', solve((1, 'a'), (1, 'a'), 'ns', 'ns'), True)\", \"check('fixture 4', solve((1, 'a'), (2, 'a'), 'ns', 'ns'), False)\"]\nfor _line in _fixtures[N % len(_fixtures):] + _fixtures[:N % len(_fixtures)]:\n    exec(_line)\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":"4eeaa2f2c61226fb414df1f08c383f852a3e487571a48030f70c91a41695dd8e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport ipaddress\nimport re\nfrom urllib.parse import urlsplit, urljoin\nN = 1\nobservations = []\ndef solve(sent, received, peer, expected_peer):\n    return sent[0] == received[0] and peer == expected_peer\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\n_fixtures = [\"check('fixture 1', solve((1, 'a'), (1, 'b'), 'ns', 'ns'), False)\", \"check('fixture 2', solve((1, 'a'), (1, 'a'), 'evil', 'ns'), False)\", \"check('fixture 3', solve((1, 'a'), (1, 'a'), 'ns', 'ns'), True)\", \"check('fixture 4', solve((1, 'a'), (2, 'a'), 'ns', 'ns'), False)\"]\nfor _line in _fixtures[N % len(_fixtures):] + _fixtures[:N % len(_fixtures)]:\n    exec(_line)\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":"Bounded deterministic policy model over validated inputs; not a complete protocol stack or an interoperability claim. The five variants rotate the same explicit fixture set. 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":"xh-dns-response-correlates-identifier-and-question","generated_at":"2026-09-29T14:38:10.739807+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"This deterministic dns resolution model isolates the dns-response-correlates-identifier-and-question policy at a network component boundary.","root_cause":"The faulty implementation uses `sent[0] == received[0] and peer == expected_peer` for the dns-response-correlates-identifier-and-question decision.","sha256":"65288fdeca53998f3aeb05bf04d770a774bb332b591baf8d016a3873dab1cc8a","title":"Dns response correlates identifier and question · 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":48.986,"exit_code":1,"observations":[{"actual":true,"check":"fixture 2","expected":false,"passed":false},{"actual":true,"check":"fixture 3","expected":true,"passed":true},{"actual":false,"check":"fixture 4","expected":false,"passed":true},{"actual":false,"check":"fixture 1","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 2\", \"actual\": true, \"expected\": false, \"passed\": false}, {\"check\": \"fixture 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"fixture 1\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":48.234,"exit_code":1,"observations":[{"actual":false,"check":"fixture 2","expected":false,"passed":true},{"actual":true,"check":"fixture 3","expected":true,"passed":true},{"actual":false,"check":"fixture 4","expected":false,"passed":true},{"actual":true,"check":"fixture 1","expected":false,"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"fixture 4\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"fixture 1\", \"actual\": true, \"expected\": false, \"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."}}