{"abstract":"An inner lint suppression leaks into a sibling scope.","category":"Static analysis soundness","checks":6,"contract":"Process balanced enter/exit, disable(code), and emit(code) events. Disable applies from that point through the current lexical scope and descendants. Return emitted unsuppressed codes in order.","contract_signature":"events","evaluation_group":"model-b6851a4cffd407e5","failed_approach":"Clearing suppressions on scope exit also removes suppressions inherited from an outer scope.","family":"z-static_analysis-suppression-lexical-scope","id":"FA-11536","implementations":{"attempt":{"sha256":"34366825e34fcc54a97a1855a750b43b45e108cde820b0ffca5340720b3b949d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    disabled=set(); output=[]\n    for op,code in events:\n        if op=='disable': disabled.add(code)\n        elif op=='exit': disabled.clear()\n        elif op=='emit' and code not in disabled: output.append(code)\n    return output\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nx='L'+str(N)\ncheck('local ends at exit',solve([('enter',''),('disable',x),('exit',''),('emit',x)]),[x])\ncheck('outer survives exit',solve([('disable',x),('enter',''),('exit',''),('emit',x)]),[])\ncheck('inherit outer',solve([('disable',x),('enter',''),('emit',x),('exit','')]),[])\ncheck('other code unaffected',solve([('disable',x),('emit','other')]),['other'])\ncheck('earlier diagnostic retained',solve([('emit',x),('disable',x),('emit',x)]),[x])\ncheck('empty events',solve([]),[])\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":"9f649874c1af68a3cb5f92d062b1f7bb7e535168ba6de1355cb8e01be8573ec1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(events):\n    disabled=set(); output=[]\n    for op,code in events:\n        if op=='disable': disabled.add(code)\n        elif op=='emit' and code not in disabled: output.append(code)\n    return output\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nx='L'+str(N)\ncheck('local ends at exit',solve([('enter',''),('disable',x),('exit',''),('emit',x)]),[x])\ncheck('outer survives exit',solve([('disable',x),('enter',''),('exit',''),('emit',x)]),[])\ncheck('inherit outer',solve([('disable',x),('enter',''),('emit',x),('exit','')]),[])\ncheck('other code unaffected',solve([('disable',x),('emit','other')]),['other'])\ncheck('earlier diagnostic retained',solve([('emit',x),('disable',x),('emit',x)]),[x])\ncheck('empty events',solve([]),[])\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":"z-static_analysis-suppression-lexical-scope","generated_at":"2026-09-29T14:38:48.723822+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic offline analysis model exposing a specific soundness or precision boundary; it does not implement a complete language analyzer.","root_cause":"Disabling a diagnostic mutates one shared suppression set across scope exits.","sha256":"01a8f9491a6fa70b73c0522b631e746c25735356fe1cb96ae0c3648e41844a32","title":"An inner lint suppression leaks into a sibling scope · 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":37.223,"exit_code":1,"observations":[{"actual":["L1"],"check":"local ends at exit","expected":["L1"],"passed":true},{"actual":["L1"],"check":"outer survives exit","expected":[],"passed":false},{"actual":[],"check":"inherit outer","expected":[],"passed":true},{"actual":["other"],"check":"other code unaffected","expected":["other"],"passed":true},{"actual":["L1"],"check":"earlier diagnostic retained","expected":["L1"],"passed":true},{"actual":[],"check":"empty events","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"local ends at exit\", \"actual\": [\"L1\"], \"expected\": [\"L1\"], \"passed\": true}, {\"check\": \"outer survives exit\", \"actual\": [\"L1\"], \"expected\": [], \"passed\": false}, {\"check\": \"inherit outer\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"other code unaffected\", \"actual\": [\"other\"], \"expected\": [\"other\"], \"passed\": true}, {\"check\": \"earlier diagnostic retained\", \"actual\": [\"L1\"], \"expected\": [\"L1\"], \"passed\": true}, {\"check\": \"empty events\", \"actual\": [], \"expected\": [], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.671,"exit_code":1,"observations":[{"actual":[],"check":"local ends at exit","expected":["L1"],"passed":false},{"actual":[],"check":"outer survives exit","expected":[],"passed":true},{"actual":[],"check":"inherit outer","expected":[],"passed":true},{"actual":["other"],"check":"other code unaffected","expected":["other"],"passed":true},{"actual":["L1"],"check":"earlier diagnostic retained","expected":["L1"],"passed":true},{"actual":[],"check":"empty events","expected":[],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"local ends at exit\", \"actual\": [], \"expected\": [\"L1\"], \"passed\": false}, {\"check\": \"outer survives exit\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"inherit outer\", \"actual\": [], \"expected\": [], \"passed\": true}, {\"check\": \"other code unaffected\", \"actual\": [\"other\"], \"expected\": [\"other\"], \"passed\": true}, {\"check\": \"earlier diagnostic retained\", \"actual\": [\"L1\"], \"expected\": [\"L1\"], \"passed\": true}, {\"check\": \"empty events\", \"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."}}