{"abstract":"Forbidden telemetry fields leave their keys visible.","category":"Observability","checks":7,"contract":"Remove forbidden keys, replace sensitive field values with REDACTED, truncate long public string values, preserve nonstring values, and return keys in lexical order. Forbidden removal dominates sensitive replacement.","contract_signature":"fields, forbidden, sensitive, limit","evaluation_group":"xt-telemetry-redaction","failed_approach":"The attempted repair substitutes if key in forbidden:\n        result[key] = None\n        continue. Fixture 3 still yields [('a', None)] instead of [].","family":"xt-telemetry-redaction-forbidden-field","id":"FA-10331","implementations":{"attempt":{"sha256":"3ff29cf1067c80e201ef62ac5ae2e9995b8c771559af18fb607229dcf6f6a18a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(fields, forbidden, sensitive, limit):\n    result = {}\n    for key in sorted(fields):\n        if key in forbidden:\n            result[key] = None\n            continue\n        value = fields[key]\n        if key in sensitive: value = 'REDACTED'\n        elif isinstance(value, str): value = value[:limit]\n        result[key] = value\n    return list(result.items())\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({}, [], [], 3), [])\ncheck('fixture 2', solve({'b': 'hello', 'a': 'xy'}, [], [], 3), [('a', 'xy'), ('b', 'hel')])\ncheck('fixture 3', solve({'a': 'secret'}, ['a'], ['a'], 3), [])\ncheck('fixture 4', solve({'a': 'secret'}, [], ['a'], 3), [('a', 'REDACTED')])\ncheck('fixture 5', solve({'a': 0, 'b': False}, [], [], 3), [('a', 0), ('b', False)])\ncheck('fixture 6', solve({'a': 'hello'}, [], [], 0), [('a', '')])\ncheck('fixture 7', solve({'a': 'abc'}, [], [], 3), [('a', 'abc')])\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":"5fd4014169c130c7c3187e5b5f27b5655e10997999b0045915945032bad1af8f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(fields, forbidden, sensitive, limit):\n    result = {}\n    for key in sorted(fields):\n        if False: continue\n        value = fields[key]\n        if key in sensitive: value = 'REDACTED'\n        elif isinstance(value, str): value = value[:limit]\n        result[key] = value\n    return list(result.items())\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('fixture 1', solve({}, [], [], 3), [])\ncheck('fixture 2', solve({'b': 'hello', 'a': 'xy'}, [], [], 3), [('a', 'xy'), ('b', 'hel')])\ncheck('fixture 3', solve({'a': 'secret'}, ['a'], ['a'], 3), [])\ncheck('fixture 4', solve({'a': 'secret'}, [], ['a'], 3), [('a', 'REDACTED')])\ncheck('fixture 5', solve({'a': 0, 'b': False}, [], [], 3), [('a', 0), ('b', False)])\ncheck('fixture 6', solve({'a': 'hello'}, [], [], 0), [('a', '')])\ncheck('fixture 7', solve({'a': 'abc'}, [], [], 3), [('a', 'abc')])\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":"xt-telemetry-redaction-forbidden-field","generated_at":"2026-09-29T14:38:38.127772+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline model of structured telemetry field redaction, suitable for testing build and release tooling without external services.","root_cause":"The implementation substitutes if False: continue for if key in forbidden: continue, so forbidden telemetry fields leave their keys visible.","sha256":"f8a322d1985eb79dfc6f75d2d64142800df88d0a7c3f331bfe010bfdedf52400","title":"Structured telemetry field redaction: Forbidden telemetry fields leave their keys visible · 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.921,"exit_code":1,"observations":[{"actual":[],"check":"fixture 1","expected":[],"passed":true},{"actual":[["a","xy"],["b","hel"]],"check":"fixture 2","expected":[["a","xy"],["b","hel"]],"passed":true},{"actual":[["a",null]],"check":"fixture 3","expected":[],"passed":false},{"actual":[["a","REDACTED"]],"check":"fixture 4","expected":[["a","REDACTED"]],"passed":true},{"actual":[["a",0],["b",false]],"check":"fixture 5","expected":[["a",0],["b",false]],"passed":true},{"actual":[["a",""]],"check":"fixture 6","expected":[["a",""]],"passed":true},{"actual":[["a","abc"]],"check":"fixture 7","expected":[["a","abc"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [[\"a\", \"xy\"], [\"b\", \"hel\"]], \"expected\": [[\"a\", \"xy\"], [\"b\", \"hel\"]], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [[\"a\", null]], \"expected\": [], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [[\"a\", \"REDACTED\"]], \"expected\": [[\"a\", \"REDACTED\"]], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [[\"a\", 0], [\"b\", false]], \"expected\": [[\"a\", 0], [\"b\", false]], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [[\"a\", \"\"]], \"expected\": [[\"a\", \"\"]], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [[\"a\", \"abc\"]], \"expected\": [[\"a\", \"abc\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.588,"exit_code":1,"observations":[{"actual":[],"check":"fixture 1","expected":[],"passed":true},{"actual":[["a","xy"],["b","hel"]],"check":"fixture 2","expected":[["a","xy"],["b","hel"]],"passed":true},{"actual":[["a","REDACTED"]],"check":"fixture 3","expected":[],"passed":false},{"actual":[["a","REDACTED"]],"check":"fixture 4","expected":[["a","REDACTED"]],"passed":true},{"actual":[["a",0],["b",false]],"check":"fixture 5","expected":[["a",0],["b",false]],"passed":true},{"actual":[["a",""]],"check":"fixture 6","expected":[["a",""]],"passed":true},{"actual":[["a","abc"]],"check":"fixture 7","expected":[["a","abc"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"fixture 1\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"fixture 2\", \"actual\": [[\"a\", \"xy\"], [\"b\", \"hel\"]], \"expected\": [[\"a\", \"xy\"], [\"b\", \"hel\"]], \"passed\": true}, {\"check\": \"fixture 3\", \"actual\": [[\"a\", \"REDACTED\"]], \"expected\": [], \"passed\": false}, {\"check\": \"fixture 4\", \"actual\": [[\"a\", \"REDACTED\"]], \"expected\": [[\"a\", \"REDACTED\"]], \"passed\": true}, {\"check\": \"fixture 5\", \"actual\": [[\"a\", 0], [\"b\", false]], \"expected\": [[\"a\", 0], [\"b\", false]], \"passed\": true}, {\"check\": \"fixture 6\", \"actual\": [[\"a\", \"\"]], \"expected\": [[\"a\", \"\"]], \"passed\": true}, {\"check\": \"fixture 7\", \"actual\": [[\"a\", \"abc\"]], \"expected\": [[\"a\", \"abc\"]], \"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."}}