{"abstract":"Disabled floating exception flags trigger traps.","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.","evaluation_group":"s3-float-fp-environment","failed_approach":"The attempted local correction pending=new | set(enabled) still violates the explicit regression fixtures.","family":"s3-floating_point_arithmetic-fp-environment-trap-mask","id":"FA-16516","implementations":{"attempt":{"sha256":"a26ceebf13e51a35eea79740fb377911ab3505a75e3007d8403e8a4b7fdbc536","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":"57cec9dd9294432191e53f3f6443bf5259e0413fd94159f08088d02a351220b0","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\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"},"fixed":{"sha256":"8c5448c45e7db988fee6d1d3a4465b7ef7ea27f47429fd410fe793b4f9f41077","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"}},"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-trap-mask","generated_at":"2026-09-29T14:39:37.050414+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.","repair":"Apply the contract at this fault site using pending=new & set(enabled).","root_cause":"Disabled floating exception flags trigger traps. The faulty expression is pending=new.","sha256":"c07cbf9c3854ae0e2c166ee1e9a455a0a17562257ae88842e6de2d9f19566968","title":"Disabled floating exception flags trigger traps · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.704,"exit_code":1,"observations":[{"actual":[["invalid"],["inexact","invalid"],"inexact",["inexact","invalid"]],"check":"sticky survives","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":false},{"actual":[[],["inexact","overflow"],"overflow",["inexact","overflow"]],"check":"overflow implies inexact","expected":[[],["inexact","overflow"],null,["inexact","overflow"]],"passed":false},{"actual":[[],["inexact","underflow"],"underflow",["inexact","underflow"]],"check":"underflow implies inexact","expected":[[],["inexact","underflow"],null,["inexact","underflow"]],"passed":false},{"actual":[[],["inexact","invalid","overflow"],"invalid",["inexact","invalid","overflow"]],"check":"priority","expected":[[],["inexact","invalid","overflow"],"invalid",["inexact","invalid","overflow"]],"passed":true},{"actual":[["invalid"],["inexact","invalid"],"invalid",["inexact","invalid"]],"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"],["inexact","invalid"],null,["invalid"]],"check":"selective clear","expected":[["inexact","invalid"],["inexact","invalid"],null,["invalid"]],"passed":true},{"actual":[[],["divzero"],"divzero",["divzero"]],"check":"masked flag still sticky","expected":[[],["divzero"],null,["divzero"]],"passed":false},{"actual":[[],["invalid"],"invalid",["invalid"]],"check":"five distinct flag sets","expected":[[],["invalid"],null,["invalid"]],"passed":false},{"actual":[["inexact"],["inexact"],null,["inexact"]],"check":"empty operation","expected":[["inexact"],["inexact"],null,["inexact"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sticky survives\", \"actual\": [[\"invalid\"], [\"inexact\", \"invalid\"], \"inexact\", [\"inexact\", \"invalid\"]], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": false}, {\"check\": \"overflow implies inexact\", \"actual\": [[], [\"inexact\", \"overflow\"], \"overflow\", [\"inexact\", \"overflow\"]], \"expected\": [[], [\"inexact\", \"overflow\"], null, [\"inexact\", \"overflow\"]], \"passed\": false}, {\"check\": \"underflow implies inexact\", \"actual\": [[], [\"inexact\", \"underflow\"], \"underflow\", [\"inexact\", \"underflow\"]], \"expected\": [[], [\"inexact\", \"underflow\"], null, [\"inexact\", \"underflow\"]], \"passed\": false}, {\"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\", \"invalid\"], \"invalid\", [\"inexact\", \"invalid\"]], \"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\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"expected\": [[\"inexact\", \"invalid\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"passed\": true}, {\"check\": \"masked flag still sticky\", \"actual\": [[], [\"divzero\"], \"divzero\", [\"divzero\"]], \"expected\": [[], [\"divzero\"], null, [\"divzero\"]], \"passed\": false}, {\"check\": \"five distinct flag sets\", \"actual\": [[], [\"invalid\"], \"invalid\", [\"invalid\"]], \"expected\": [[], [\"invalid\"], null, [\"invalid\"]], \"passed\": false}, {\"check\": \"empty operation\", \"actual\": [[\"inexact\"], [\"inexact\"], null, [\"inexact\"]], \"expected\": [[\"inexact\"], [\"inexact\"], null, [\"inexact\"]], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.613,"exit_code":1,"observations":[{"actual":[["invalid"],["inexact","invalid"],"inexact",["inexact","invalid"]],"check":"sticky survives","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":false},{"actual":[[],["inexact","overflow"],"overflow",["inexact","overflow"]],"check":"overflow implies inexact","expected":[[],["inexact","overflow"],null,["inexact","overflow"]],"passed":false},{"actual":[[],["inexact","underflow"],"underflow",["inexact","underflow"]],"check":"underflow implies inexact","expected":[[],["inexact","underflow"],null,["inexact","underflow"]],"passed":false},{"actual":[[],["inexact","invalid","overflow"],"invalid",["inexact","invalid","overflow"]],"check":"priority","expected":[[],["inexact","invalid","overflow"],"invalid",["inexact","invalid","overflow"]],"passed":true},{"actual":[["invalid"],["inexact","invalid"],"inexact",["inexact","invalid"]],"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"],["inexact","invalid"],null,["invalid"]],"check":"selective clear","expected":[["inexact","invalid"],["inexact","invalid"],null,["invalid"]],"passed":true},{"actual":[[],["divzero"],"divzero",["divzero"]],"check":"masked flag still sticky","expected":[[],["divzero"],null,["divzero"]],"passed":false},{"actual":[[],["invalid"],"invalid",["invalid"]],"check":"five distinct flag sets","expected":[[],["invalid"],null,["invalid"]],"passed":false},{"actual":[["inexact"],["inexact"],null,["inexact"]],"check":"empty operation","expected":[["inexact"],["inexact"],null,["inexact"]],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sticky survives\", \"actual\": [[\"invalid\"], [\"inexact\", \"invalid\"], \"inexact\", [\"inexact\", \"invalid\"]], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": false}, {\"check\": \"overflow implies inexact\", \"actual\": [[], [\"inexact\", \"overflow\"], \"overflow\", [\"inexact\", \"overflow\"]], \"expected\": [[], [\"inexact\", \"overflow\"], null, [\"inexact\", \"overflow\"]], \"passed\": false}, {\"check\": \"underflow implies inexact\", \"actual\": [[], [\"inexact\", \"underflow\"], \"underflow\", [\"inexact\", \"underflow\"]], \"expected\": [[], [\"inexact\", \"underflow\"], null, [\"inexact\", \"underflow\"]], \"passed\": false}, {\"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\", \"invalid\"], \"inexact\", [\"inexact\", \"invalid\"]], \"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\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"expected\": [[\"inexact\", \"invalid\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"passed\": true}, {\"check\": \"masked flag still sticky\", \"actual\": [[], [\"divzero\"], \"divzero\", [\"divzero\"]], \"expected\": [[], [\"divzero\"], null, [\"divzero\"]], \"passed\": false}, {\"check\": \"five distinct flag sets\", \"actual\": [[], [\"invalid\"], \"invalid\", [\"invalid\"]], \"expected\": [[], [\"invalid\"], null, [\"invalid\"]], \"passed\": false}, {\"check\": \"empty operation\", \"actual\": [[\"inexact\"], [\"inexact\"], null, [\"inexact\"]], \"expected\": [[\"inexact\"], [\"inexact\"], null, [\"inexact\"]], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.879,"exit_code":0,"observations":[{"actual":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"check":"sticky survives","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":true},{"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","invalid"],null,["inexact","invalid"]],"check":"old flag no retrap","expected":[["invalid"],["inexact","invalid"],null,["inexact","invalid"]],"passed":true},{"actual":[[],["divzero"],"divzero",[]],"check":"clear after trap","expected":[[],["divzero"],"divzero",[]],"passed":true},{"actual":[["inexact","invalid"],["inexact","invalid"],null,["invalid"]],"check":"selective clear","expected":[["inexact","invalid"],["inexact","invalid"],null,["invalid"]],"passed":true},{"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"],["inexact"],null,["inexact"]],"check":"empty operation","expected":[["inexact"],["inexact"],null,["inexact"]],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"sticky survives\", \"actual\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": true}, {\"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\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"expected\": [[\"invalid\"], [\"inexact\", \"invalid\"], null, [\"inexact\", \"invalid\"]], \"passed\": true}, {\"check\": \"clear after trap\", \"actual\": [[], [\"divzero\"], \"divzero\", []], \"expected\": [[], [\"divzero\"], \"divzero\", []], \"passed\": true}, {\"check\": \"selective clear\", \"actual\": [[\"inexact\", \"invalid\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"expected\": [[\"inexact\", \"invalid\"], [\"inexact\", \"invalid\"], null, [\"invalid\"]], \"passed\": true}, {\"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\"], [\"inexact\"], null, [\"inexact\"]], \"expected\": [[\"inexact\"], [\"inexact\"], null, [\"inexact\"]], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}