{"abstract":"Floating exception flags replace the accumulated history.","category":"Floating-point arithmetic","checks":10,"contract":"Stipulated floating exception environment: apply an operation flag set, accrue sticky flags, select enabled trap by priority invalid/divzero/overflow/underflow/inexact, save prior state and clear only requested flags after reporting the trap. Inputs are valid flag names.","contract_signature":"sticky, enabled, raised, clear","evaluation_group":"s3-float-fp-environment","failed_approach":"The attempted local correction accrued=prior&new still violates the explicit regression fixtures.","family":"s3-floating_point_arithmetic-fp-environment-sticky-union","id":"FA-16511","implementations":{"attempt":{"sha256":"a6043d32725c595e47afe49a93d13d3e8b938651d048ec06f42c2ea6c4d6ace2","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport struct\nN = 1\nobservations = []\ndef solve(sticky, enabled, raised, clear):\n    priority=['invalid','divzero','overflow','underflow','inexact']\n    prior=set(sticky)\n    new=set(raised)\n    if 'overflow' in new: new.add('inexact')\n    if 'underflow' in new: new.add('inexact')\n    accrued=prior&new\n    pending=new & set(enabled)\n    trap=next((flag for flag in priority if flag in pending),None)\n    remaining=accrued-set(clear)\n    return [sorted(prior),sorted(accrued),trap,sorted(remaining)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('sticky survives', solve([\"invalid\"],[],[\"inexact\"],[]), [[\"invalid\"],[\"inexact\",\"invalid\"],None,[\"inexact\",\"invalid\"]])\ncheck('overflow implies inexact', solve([],[],[\"overflow\"],[]), [[],[\"inexact\",\"overflow\"],None,[\"inexact\",\"overflow\"]])\ncheck('underflow implies inexact', solve([],[],[\"underflow\"],[]), [[],[\"inexact\",\"underflow\"],None,[\"inexact\",\"underflow\"]])\ncheck('priority', solve([],[\"overflow\",\"invalid\"],[\"overflow\",\"invalid\"],[]), [[],[\"inexact\",\"invalid\",\"overflow\"],\"invalid\",[\"inexact\",\"invalid\",\"overflow\"]])\ncheck('old flag no retrap', solve([\"invalid\"],[\"invalid\"],[\"inexact\"],[]), [[\"invalid\"],[\"inexact\",\"invalid\"],None,[\"inexact\",\"invalid\"]])\ncheck('clear after trap', solve([],[\"divzero\"],[\"divzero\"],[\"divzero\"]), [[],[\"divzero\"],\"divzero\",[]])\ncheck('selective clear', solve([\"invalid\",\"inexact\"],[],[],[\"inexact\"]), [[\"inexact\",\"invalid\"],[\"inexact\",\"invalid\"],None,[\"invalid\"]])\ncheck('masked flag still sticky', solve([],[],[\"divzero\"],[]), [[],[\"divzero\"],None,[\"divzero\"]])\ncheck('five distinct flag sets', solve([],[],[\"invalid\",\"divzero\",\"inexact\",\"underflow\",\"overflow\"][:N],[]), [[],sorted([\"invalid\",\"divzero\",\"inexact\",\"underflow\",\"overflow\"][:N]),None,sorted([\"invalid\",\"divzero\",\"inexact\",\"underflow\",\"overflow\"][:N])])\ncheck('empty operation', solve([\"inexact\"] if N%2 else [\"invalid\"],[],[],[]), [[\"inexact\"] if N%2 else [\"invalid\"],[\"inexact\"] if N%2 else [\"invalid\"],None,[\"inexact\"] if N%2 else [\"invalid\"]])\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":"c6722b58f3d55704029c31d277bf9efe9327e76c30551e444b1a29e579082506","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nimport struct\nN = 1\nobservations = []\ndef solve(sticky, enabled, raised, clear):\n    priority=['invalid','divzero','overflow','underflow','inexact']\n    prior=set(sticky)\n    new=set(raised)\n    if 'overflow' in new: new.add('inexact')\n    if 'underflow' in new: new.add('inexact')\n    accrued=new\n    pending=new & set(enabled)\n    trap=next((flag for flag in priority if flag in pending),None)\n    remaining=accrued-set(clear)\n    return [sorted(prior),sorted(accrued),trap,sorted(remaining)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('sticky survives', solve([\"invalid\"],[],[\"inexact\"],[]), [[\"invalid\"],[\"inexact\",\"invalid\"],None,[\"inexact\",\"invalid\"]])\ncheck('overflow implies inexact', solve([],[],[\"overflow\"],[]), [[],[\"inexact\",\"overflow\"],None,[\"inexact\",\"overflow\"]])\ncheck('underflow implies inexact', solve([],[],[\"underflow\"],[]), [[],[\"inexact\",\"underflow\"],None,[\"inexact\",\"underflow\"]])\ncheck('priority', solve([],[\"overflow\",\"invalid\"],[\"overflow\",\"invalid\"],[]), [[],[\"inexact\",\"invalid\",\"overflow\"],\"invalid\",[\"inexact\",\"invalid\",\"overflow\"]])\ncheck('old flag no retrap', solve([\"invalid\"],[\"invalid\"],[\"inexact\"],[]), [[\"invalid\"],[\"inexact\",\"invalid\"],None,[\"inexact\",\"invalid\"]])\ncheck('clear after trap', solve([],[\"divzero\"],[\"divzero\"],[\"divzero\"]), [[],[\"divzero\"],\"divzero\",[]])\ncheck('selective clear', solve([\"invalid\",\"inexact\"],[],[],[\"inexact\"]), [[\"inexact\",\"invalid\"],[\"inexact\",\"invalid\"],None,[\"invalid\"]])\ncheck('masked flag still sticky', solve([],[],[\"divzero\"],[]), [[],[\"divzero\"],None,[\"divzero\"]])\ncheck('five distinct flag sets', solve([],[],[\"invalid\",\"divzero\",\"inexact\",\"underflow\",\"overflow\"][:N],[]), [[],sorted([\"invalid\",\"divzero\",\"inexact\",\"underflow\",\"overflow\"][:N]),None,sorted([\"invalid\",\"divzero\",\"inexact\",\"underflow\",\"overflow\"][:N])])\ncheck('empty operation', solve([\"inexact\"] if N%2 else [\"invalid\"],[],[],[]), [[\"inexact\"] if N%2 else [\"invalid\"],[\"inexact\"] if N%2 else [\"invalid\"],None,[\"inexact\"] if N%2 else [\"invalid\"]])\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":"Controlled binary64 or explicitly stipulated miniature format; no hardware exception flags or platform floating environment are modeled. 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-floating_point_arithmetic-fp-environment-sticky-union","generated_at":"2026-09-29T14:39:37.358853+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"An offline floating representation model isolates a reproducible arithmetic fault.","root_cause":"Floating exception flags replace the accumulated history. The faulty expression is accrued=new.","sha256":"f2b540cb104341eef187a476384378b069e6de195eecbf9a0a821757ec355250","title":"Floating exception flags replace the accumulated history · 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":44.296,"exit_code":1,"observations":[{"actual":[["invalid"],[],null,[]],"check":"sticky survives","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":false},{"actual":[[],[],null,[]],"check":"overflow implies inexact","expected":[[],["inexact","overflow"],null,["inexact","overflow"]],"passed":false},{"actual":[[],[],null,[]],"check":"underflow implies inexact","expected":[[],["inexact","underflow"],null,["inexact","underflow"]],"passed":false},{"actual":[[],[],"invalid",[]],"check":"priority","expected":[[],["inexact","invalid","overflow"],"invalid",["inexact","invalid","overflow"]],"passed":false},{"actual":[["invalid"],[],null,[]],"check":"old flag no retrap","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":false},{"actual":[[],[],"divzero",[]],"check":"clear after trap","expected":[[],["divzero"],"divzero",[]],"passed":false},{"actual":[["inexact","invalid"],[],null,[]],"check":"selective clear","expected":[["inexact","invalid"],["inexact","invalid"],null,["invalid"]],"passed":false},{"actual":[[],[],null,[]],"check":"masked flag still sticky","expected":[[],["divzero"],null,["divzero"]],"passed":false},{"actual":[[],[],null,[]],"check":"five distinct flag sets","expected":[[],["invalid"],null,["invalid"]],"passed":false},{"actual":[["inexact"],[],null,[]],"check":"empty operation","expected":[["inexact"],["inexact"],null,["inexact"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sticky survives\", \"actual\": [[\"invalid\"], [], null, []], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": false}, {\"check\": \"overflow implies inexact\", \"actual\": [[], [], null, []], \"expected\": [[], [\"inexact\", \"overflow\"], null, [\"inexact\", \"overflow\"]], \"passed\": false}, {\"check\": \"underflow implies inexact\", \"actual\": [[], [], null, []], \"expected\": [[], [\"inexact\", \"underflow\"], null, [\"inexact\", \"underflow\"]], \"passed\": false}, {\"check\": \"priority\", \"actual\": [[], [], \"invalid\", []], \"expected\": [[], [\"inexact\", \"invalid\", \"overflow\"], \"invalid\", [\"inexact\", \"invalid\", \"overflow\"]], \"passed\": false}, {\"check\": \"old flag no retrap\", \"actual\": [[\"invalid\"], [], null, []], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": false}, {\"check\": \"clear after trap\", \"actual\": [[], [], \"divzero\", []], \"expected\": [[], [\"divzero\"], \"divzero\", []], \"passed\": false}, {\"check\": \"selective clear\", \"actual\": [[\"inexact\", \"invalid\"], [], null, []], \"expected\": [[\"inexact\", \"invalid\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"passed\": false}, {\"check\": \"masked flag still sticky\", \"actual\": [[], [], null, []], \"expected\": [[], [\"divzero\"], null, [\"divzero\"]], \"passed\": false}, {\"check\": \"five distinct flag sets\", \"actual\": [[], [], null, []], \"expected\": [[], [\"invalid\"], null, [\"invalid\"]], \"passed\": false}, {\"check\": \"empty operation\", \"actual\": [[\"inexact\"], [], null, []], \"expected\": [[\"inexact\"], [\"inexact\"], null, [\"inexact\"]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":45.306,"exit_code":1,"observations":[{"actual":[["invalid"],["inexact"],null,["inexact"]],"check":"sticky survives","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":false},{"actual":[[],["inexact","overflow"],null,["inexact","overflow"]],"check":"overflow implies inexact","expected":[[],["inexact","overflow"],null,["inexact","overflow"]],"passed":true},{"actual":[[],["inexact","underflow"],null,["inexact","underflow"]],"check":"underflow implies inexact","expected":[[],["inexact","underflow"],null,["inexact","underflow"]],"passed":true},{"actual":[[],["inexact","invalid","overflow"],"invalid",["inexact","invalid","overflow"]],"check":"priority","expected":[[],["inexact","invalid","overflow"],"invalid",["inexact","invalid","overflow"]],"passed":true},{"actual":[["invalid"],["inexact"],null,["inexact"]],"check":"old flag no retrap","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":false},{"actual":[[],["divzero"],"divzero",[]],"check":"clear after trap","expected":[[],["divzero"],"divzero",[]],"passed":true},{"actual":[["inexact","invalid"],[],null,[]],"check":"selective clear","expected":[["inexact","invalid"],["inexact","invalid"],null,["invalid"]],"passed":false},{"actual":[[],["divzero"],null,["divzero"]],"check":"masked flag still sticky","expected":[[],["divzero"],null,["divzero"]],"passed":true},{"actual":[[],["invalid"],null,["invalid"]],"check":"five distinct flag sets","expected":[[],["invalid"],null,["invalid"]],"passed":true},{"actual":[["inexact"],[],null,[]],"check":"empty operation","expected":[["inexact"],["inexact"],null,["inexact"]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sticky survives\", \"actual\": [[\"invalid\"], [\"inexact\"], null, [\"inexact\"]], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": false}, {\"check\": \"overflow implies inexact\", \"actual\": [[], [\"inexact\", \"overflow\"], null, [\"inexact\", \"overflow\"]], \"expected\": [[], [\"inexact\", \"overflow\"], null, [\"inexact\", \"overflow\"]], \"passed\": true}, {\"check\": \"underflow implies inexact\", \"actual\": [[], [\"inexact\", \"underflow\"], null, [\"inexact\", \"underflow\"]], \"expected\": [[], [\"inexact\", \"underflow\"], null, [\"inexact\", \"underflow\"]], \"passed\": true}, {\"check\": \"priority\", \"actual\": [[], [\"inexact\", \"invalid\", \"overflow\"], \"invalid\", [\"inexact\", \"invalid\", \"overflow\"]], \"expected\": [[], [\"inexact\", \"invalid\", \"overflow\"], \"invalid\", [\"inexact\", \"invalid\", \"overflow\"]], \"passed\": true}, {\"check\": \"old flag no retrap\", \"actual\": [[\"invalid\"], [\"inexact\"], null, [\"inexact\"]], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": false}, {\"check\": \"clear after trap\", \"actual\": [[], [\"divzero\"], \"divzero\", []], \"expected\": [[], [\"divzero\"], \"divzero\", []], \"passed\": true}, {\"check\": \"selective clear\", \"actual\": [[\"inexact\", \"invalid\"], [], null, []], \"expected\": [[\"inexact\", \"invalid\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"passed\": false}, {\"check\": \"masked flag still sticky\", \"actual\": [[], [\"divzero\"], null, [\"divzero\"]], \"expected\": [[], [\"divzero\"], null, [\"divzero\"]], \"passed\": true}, {\"check\": \"five distinct flag sets\", \"actual\": [[], [\"invalid\"], null, [\"invalid\"]], \"expected\": [[], [\"invalid\"], null, [\"invalid\"]], \"passed\": true}, {\"check\": \"empty operation\", \"actual\": [[\"inexact\"], [], null, []], \"expected\": [[\"inexact\"], [\"inexact\"], null, [\"inexact\"]], \"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."}}