{"abstract":"Deep in-the-money calls are never exercised early.","category":"Options payoff and settlement","checks":8,"contract":"Inputs call price, spot, strike, dividend and whether today is the last cum-dividend day. Exercise only on the last cum-dividend day, only if the call is in the money, and only if the dividend is strictly greater than the call's extrinsic value (price - intrinsic). Amounts compared exactly in cents. Return true/false.","evaluation_group":"w2-options_payoff_and_settlement-early-exercise-dividend","failed_approach":"Comparing with intrinsic value is unrelated to what exercise forfeits.","family":"w2-options_payoff_and_settlement-early-exercise-dividend-extrinsic-measure","id":"FA-61771","implementations":{"attempt":{"sha256":"284ff3a869ee163b003123b5ca81ab3e3d66489c7198b39ce1163e2f5398496f","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(call_price, S, K, dividend, last_cum_day):\n    c = round(call_price * 100)\n    intrinsic = max(round(S * 100) - round(K * 100), 0)\n    if not last_cum_day or intrinsic == 0:\n        return False\n    extrinsic = c - intrinsic\n    return round(dividend * 100) > intrinsic\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression extrinsic measure 1', [15.25, 105.0, 90.0, 1.0, True], True], ['regression extrinsic measure 2', [9.5, 98.0, 90.0, 1.51, True], True], ['partial repair probe 1', [8.5, 98.0, 90.0, 0.51, True], True], ['partial repair probe 2', [5.05, 105.0, 100.0, 0.25, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [9.0, 98.0, 90.0, 1.0, False], False], ['normal control 2', [1.0, 98.0, 100.0, 1.0, True], False], ['normal control 3', [0.25, 105.0, 110.0, 0.25, True], False]], [['regression extrinsic measure 1', [8.25, 98.0, 90.0, 1.0, True], True], ['regression extrinsic measure 2', [31.5, 120.0, 90.0, 1.51, True], True], ['partial repair probe 1', [30.05, 120.0, 90.0, 1.0, True], True], ['partial repair probe 2', [10.05, 100.0, 90.0, 0.25, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [0.25, 98.0, 100.0, 1.0, True], False], ['normal control 2', [1.5, 100.0, 100.0, 1.5, True], False], ['normal control 3', [8.5, 98.0, 90.0, 0.5, False], False]], [['regression extrinsic measure 1', [9.5, 98.0, 90.0, 1.51, True], True], ['regression extrinsic measure 2', [5.25, 105.0, 100.0, 0.26, True], True], ['partial repair probe 1', [10.25, 100.0, 90.0, 1.0, True], True], ['partial repair probe 2', [15.05, 105.0, 90.0, 0.060000000000000005, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [0.05, 98.0, 110.0, 0.5, True], False], ['normal control 2', [1.0, 100.0, 100.0, 1.0, True], False], ['normal control 3', [15.5, 105.0, 90.0, 0.5, True], False]], [['regression extrinsic measure 1', [15.05, 105.0, 90.0, 0.25, True], True], ['regression extrinsic measure 2', [30.05, 120.0, 90.0, 1.0, True], True], ['partial repair probe 1', [16.5, 105.0, 90.0, 1.51, True], True], ['partial repair probe 2', [15.05, 105.0, 90.0, 0.060000000000000005, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [21.0, 120.0, 100.0, 0.25, False], False], ['normal control 2', [6.0, 105.0, 100.0, 0.25, True], False], ['normal control 3', [6.5, 105.0, 100.0, 0.5, False], False]], [['regression extrinsic measure 1', [6.5, 105.0, 100.0, 1.51, True], True], ['regression extrinsic measure 2', [11.0, 100.0, 90.0, 1.01, True], True], ['partial repair probe 1', [10.05, 100.0, 90.0, 1.0, True], True], ['partial repair probe 2', [9.0, 98.0, 90.0, 1.01, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [30.25, 120.0, 90.0, 0.25, True], False], ['normal control 2', [1.5, 98.0, 100.0, 1.51, True], False], ['normal control 3', [1.0, 105.0, 110.0, 1.0, True], False]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\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":"cb8a1e1b20e9f5a876402fc453a234ee1193a0d996454961004ab0d8c5d55a9a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(call_price, S, K, dividend, last_cum_day):\n    c = round(call_price * 100)\n    intrinsic = max(round(S * 100) - round(K * 100), 0)\n    if not last_cum_day or intrinsic == 0:\n        return False\n    extrinsic = c - intrinsic\n    return round(dividend * 100) > c\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression extrinsic measure 1', [15.25, 105.0, 90.0, 1.0, True], True], ['regression extrinsic measure 2', [9.5, 98.0, 90.0, 1.51, True], True], ['partial repair probe 1', [8.5, 98.0, 90.0, 0.51, True], True], ['partial repair probe 2', [5.05, 105.0, 100.0, 0.25, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [9.0, 98.0, 90.0, 1.0, False], False], ['normal control 2', [1.0, 98.0, 100.0, 1.0, True], False], ['normal control 3', [0.25, 105.0, 110.0, 0.25, True], False]], [['regression extrinsic measure 1', [8.25, 98.0, 90.0, 1.0, True], True], ['regression extrinsic measure 2', [31.5, 120.0, 90.0, 1.51, True], True], ['partial repair probe 1', [30.05, 120.0, 90.0, 1.0, True], True], ['partial repair probe 2', [10.05, 100.0, 90.0, 0.25, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [0.25, 98.0, 100.0, 1.0, True], False], ['normal control 2', [1.5, 100.0, 100.0, 1.5, True], False], ['normal control 3', [8.5, 98.0, 90.0, 0.5, False], False]], [['regression extrinsic measure 1', [9.5, 98.0, 90.0, 1.51, True], True], ['regression extrinsic measure 2', [5.25, 105.0, 100.0, 0.26, True], True], ['partial repair probe 1', [10.25, 100.0, 90.0, 1.0, True], True], ['partial repair probe 2', [15.05, 105.0, 90.0, 0.060000000000000005, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [0.05, 98.0, 110.0, 0.5, True], False], ['normal control 2', [1.0, 100.0, 100.0, 1.0, True], False], ['normal control 3', [15.5, 105.0, 90.0, 0.5, True], False]], [['regression extrinsic measure 1', [15.05, 105.0, 90.0, 0.25, True], True], ['regression extrinsic measure 2', [30.05, 120.0, 90.0, 1.0, True], True], ['partial repair probe 1', [16.5, 105.0, 90.0, 1.51, True], True], ['partial repair probe 2', [15.05, 105.0, 90.0, 0.060000000000000005, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [21.0, 120.0, 100.0, 0.25, False], False], ['normal control 2', [6.0, 105.0, 100.0, 0.25, True], False], ['normal control 3', [6.5, 105.0, 100.0, 0.5, False], False]], [['regression extrinsic measure 1', [6.5, 105.0, 100.0, 1.51, True], True], ['regression extrinsic measure 2', [11.0, 100.0, 90.0, 1.01, True], True], ['partial repair probe 1', [10.05, 100.0, 90.0, 1.0, True], True], ['partial repair probe 2', [9.0, 98.0, 90.0, 1.01, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [30.25, 120.0, 90.0, 0.25, True], False], ['normal control 2', [1.5, 98.0, 100.0, 1.51, True], False], ['normal control 3', [1.0, 105.0, 110.0, 1.0, True], False]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\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":"87d21d2d74255098782d1ae196b3a5ec27f2ba31064ff5fbea03d20a16313fd9","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(call_price, S, K, dividend, last_cum_day):\n    c = round(call_price * 100)\n    intrinsic = max(round(S * 100) - round(K * 100), 0)\n    if not last_cum_day or intrinsic == 0:\n        return False\n    extrinsic = c - intrinsic\n    return round(dividend * 100) > extrinsic\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression extrinsic measure 1', [15.25, 105.0, 90.0, 1.0, True], True], ['regression extrinsic measure 2', [9.5, 98.0, 90.0, 1.51, True], True], ['partial repair probe 1', [8.5, 98.0, 90.0, 0.51, True], True], ['partial repair probe 2', [5.05, 105.0, 100.0, 0.25, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [9.0, 98.0, 90.0, 1.0, False], False], ['normal control 2', [1.0, 98.0, 100.0, 1.0, True], False], ['normal control 3', [0.25, 105.0, 110.0, 0.25, True], False]], [['regression extrinsic measure 1', [8.25, 98.0, 90.0, 1.0, True], True], ['regression extrinsic measure 2', [31.5, 120.0, 90.0, 1.51, True], True], ['partial repair probe 1', [30.05, 120.0, 90.0, 1.0, True], True], ['partial repair probe 2', [10.05, 100.0, 90.0, 0.25, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [0.25, 98.0, 100.0, 1.0, True], False], ['normal control 2', [1.5, 100.0, 100.0, 1.5, True], False], ['normal control 3', [8.5, 98.0, 90.0, 0.5, False], False]], [['regression extrinsic measure 1', [9.5, 98.0, 90.0, 1.51, True], True], ['regression extrinsic measure 2', [5.25, 105.0, 100.0, 0.26, True], True], ['partial repair probe 1', [10.25, 100.0, 90.0, 1.0, True], True], ['partial repair probe 2', [15.05, 105.0, 90.0, 0.060000000000000005, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [0.05, 98.0, 110.0, 0.5, True], False], ['normal control 2', [1.0, 100.0, 100.0, 1.0, True], False], ['normal control 3', [15.5, 105.0, 90.0, 0.5, True], False]], [['regression extrinsic measure 1', [15.05, 105.0, 90.0, 0.25, True], True], ['regression extrinsic measure 2', [30.05, 120.0, 90.0, 1.0, True], True], ['partial repair probe 1', [16.5, 105.0, 90.0, 1.51, True], True], ['partial repair probe 2', [15.05, 105.0, 90.0, 0.060000000000000005, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [21.0, 120.0, 100.0, 0.25, False], False], ['normal control 2', [6.0, 105.0, 100.0, 0.25, True], False], ['normal control 3', [6.5, 105.0, 100.0, 0.5, False], False]], [['regression extrinsic measure 1', [6.5, 105.0, 100.0, 1.51, True], True], ['regression extrinsic measure 2', [11.0, 100.0, 90.0, 1.01, True], True], ['partial repair probe 1', [10.05, 100.0, 90.0, 1.0, True], True], ['partial repair probe 2', [9.0, 98.0, 90.0, 1.01, True], True], ['boundary control 1', [10.5, 110.0, 100.0, 0.5, True], False], ['normal control 1', [30.25, 120.0, 90.0, 0.25, True], False], ['normal control 2', [1.5, 98.0, 100.0, 1.51, True], False], ['normal control 3', [1.0, 105.0, 110.0, 1.0, True], False]]]\nfor label, args, expected in fixtures[N-1]:\n    check(label, solve(*args), expected)\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":"A deterministic toy contract stated explicitly in the contract field; no claim of conformance to any exchange or clearing rulebook. 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":"w2-options_payoff_and_settlement-early-exercise-dividend-extrinsic-measure","generated_at":"2026-09-29T14:46:58.420751+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Option expiry, exercise and settlement engines move cash and shares; a wrong branch misstates obligations.","repair":"Compare the dividend with price minus intrinsic.","root_cause":"The comparison uses the full premium instead of its time value.","sha256":"b8ce0a7e0e9c0142d68e66921859ae800009fea7e262ef1c031c5590a95f9b60","title":"Early call exercise before an ex-dividend date: the dividend is compared with the whole call price · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.436,"exit_code":1,"observations":[{"actual":false,"check":"regression extrinsic measure 1","expected":true,"passed":false},{"actual":false,"check":"regression extrinsic measure 2","expected":true,"passed":false},{"actual":false,"check":"partial repair probe 1","expected":true,"passed":false},{"actual":false,"check":"partial repair probe 2","expected":true,"passed":false},{"actual":false,"check":"boundary control 1","expected":false,"passed":true},{"actual":false,"check":"normal control 1","expected":false,"passed":true},{"actual":false,"check":"normal control 2","expected":false,"passed":true},{"actual":false,"check":"normal control 3","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression extrinsic measure 1\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"regression extrinsic measure 2\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"partial repair probe 1\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"partial repair probe 2\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"boundary control 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.366,"exit_code":1,"observations":[{"actual":false,"check":"regression extrinsic measure 1","expected":true,"passed":false},{"actual":false,"check":"regression extrinsic measure 2","expected":true,"passed":false},{"actual":false,"check":"partial repair probe 1","expected":true,"passed":false},{"actual":false,"check":"partial repair probe 2","expected":true,"passed":false},{"actual":false,"check":"boundary control 1","expected":false,"passed":true},{"actual":false,"check":"normal control 1","expected":false,"passed":true},{"actual":false,"check":"normal control 2","expected":false,"passed":true},{"actual":false,"check":"normal control 3","expected":false,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression extrinsic measure 1\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"regression extrinsic measure 2\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"partial repair probe 1\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"partial repair probe 2\", \"actual\": false, \"expected\": true, \"passed\": false}, {\"check\": \"boundary control 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.882,"exit_code":0,"observations":[{"actual":true,"check":"regression extrinsic measure 1","expected":true,"passed":true},{"actual":true,"check":"regression extrinsic measure 2","expected":true,"passed":true},{"actual":true,"check":"partial repair probe 1","expected":true,"passed":true},{"actual":true,"check":"partial repair probe 2","expected":true,"passed":true},{"actual":false,"check":"boundary control 1","expected":false,"passed":true},{"actual":false,"check":"normal control 1","expected":false,"passed":true},{"actual":false,"check":"normal control 2","expected":false,"passed":true},{"actual":false,"check":"normal control 3","expected":false,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression extrinsic measure 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"regression extrinsic measure 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"partial repair probe 1\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"partial repair probe 2\", \"actual\": true, \"expected\": true, \"passed\": true}, {\"check\": \"boundary control 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": false, \"expected\": false, \"passed\": true}, {\"check\": \"normal control 3\", \"actual\": false, \"expected\": false, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}