{"abstract":"Underflow does not accrue its implied inexact flag.","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 if 'underflow' in new: new.add('overflow') still violates the explicit regression fixtures.","family":"s3-floating_point_arithmetic-fp-environment-underflow-inexact","id":"FA-16506","implementations":{"attempt":{"sha256":"55f0b47a4fb92ee9361c1a24f4fef99f9a97e73ce5ba2f53f677224b5681502f","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('overflow')\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":"40f282095a60f4cc2e37c6c11863f9b3965b7c1c83826f29bf6ec8bd72786af4","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.discard('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"},"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-underflow-inexact","generated_at":"2026-09-29T14:39:37.000641+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 if 'underflow' in new: new.add('inexact').","root_cause":"Underflow does not accrue its implied inexact flag. The faulty expression is if 'underflow' in new: new.discard('inexact').","sha256":"6cbed5e18c25819211d3931dbe87384e2281b557019732ab605d9966f321eef2","title":"Underflow does not accrue its implied inexact flag · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":42.292,"exit_code":1,"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":[[],["overflow","underflow"],null,["overflow","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"],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":false,"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\": [[], [\"overflow\", \"underflow\"], null, [\"overflow\", \"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\"], 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\": false}\n"},"broken":{"elapsed_ms":43.03,"exit_code":1,"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":[[],["underflow"],null,["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"],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":false,"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\": [[], [\"underflow\"], null, [\"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\"], 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\": false}\n"},"fixed":{"elapsed_ms":44.253,"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"}