{"abstract":"Regular dividends trigger contract adjustments.","category":"Options payoff and settlement","checks":8,"contract":"Inputs strike, contracts, deliverable, action and value. split [new, old]: if new is a multiple of old (ratio r), strike becomes strike/r rounded half-up to cents and contracts become contracts*r; otherwise the deliverable becomes floor(deliverable*new/old) with strike and contracts unchanged. special_div of at least 0.125 per share reduces the strike by the amount (rounded half-up to cents). Other actions, including ordinary_div, change nothing. Return [strike, contracts, deliverable].","evaluation_group":"w2-options_payoff_and_settlement-corporate-action-adjustment","failed_approach":"Treating every non-split action as a dividend also adjusts ordinary dividends.","family":"w2-options_payoff_and_settlement-corporate-action-adjustment-ordinary-dividend-exclusion","id":"FA-61406","implementations":{"attempt":{"sha256":"14237e4a01f3388a5aa99b16c90a3b448b6ffbd42e7ad5745c2467e18bb555d1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(strike, contracts, deliverable, action, value):\n    k = round(strike * 100)\n    if action == 'split':\n        new, old = value\n        if new % old == 0:\n            r = new // old\n            k = (2 * k + r) // (2 * r)\n            contracts = contracts * r\n        else:\n            deliverable = deliverable * new // old\n    elif action != 'split':\n        amt = round(value * 1000)\n        if amt >= 125:\n            k = (k * 10 - amt + 5) // 10\n    return [k / 100, contracts, deliverable]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression ordinary dividend exclusion 1', [12.5, 1, 100, 'ordinary_div', 0.126], [12.5, 1, 100]], ['regression ordinary dividend exclusion 2', [25.25, 3, 150, 'ordinary_div', 0.5], [25.25, 3, 150]], ['partial repair probe 1', [150.05, 1, 150, 'merger', 1.25], [150.05, 1, 150]], ['partial repair probe 2', [87.75, 3, 100, 'merger', 0.125], [87.75, 3, 100]], ['boundary control 1', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['boundary control 2', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['normal control 1', [87.75, 3, 100, 'split', [6, 3]], [43.88, 6, 100]], ['normal control 2', [150.05, 1, 100, 'split', [3, 2]], [150.05, 1, 150]]], [['regression ordinary dividend exclusion 1', [47.5, 10, 100, 'ordinary_div', 2.375], [47.5, 10, 100]], ['regression ordinary dividend exclusion 2', [47.5, 10, 150, 'ordinary_div', 1.25], [47.5, 10, 150]], ['partial repair probe 1', [101.01, 10, 100, 'merger', 2.375], [101.01, 10, 100]], ['partial repair probe 2', [150.05, 10, 100, 'merger', 2.375], [150.05, 10, 100]], ['boundary control 1', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['boundary control 2', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['normal control 1', [12.5, 3, 100, 'special_div', 0.1], [12.5, 3, 100]], ['normal control 2', [25.25, 10, 150, 'special_div', 0.125], [25.13, 10, 150]]], [['regression ordinary dividend exclusion 1', [33.33, 3, 100, 'ordinary_div', 0.5], [33.33, 3, 100]], ['regression ordinary dividend exclusion 2', [150.05, 3, 150, 'ordinary_div', 2.375], [150.05, 3, 150]], ['partial repair probe 1', [87.75, 3, 150, 'merger', 1.25], [87.75, 3, 150]], ['partial repair probe 2', [33.33, 1, 150, 'merger', 0.5], [33.33, 1, 150]], ['boundary control 1', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['boundary control 2', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['normal control 1', [40, 3, 100, 'split', [1, 2]], [40.0, 3, 50]], ['normal control 2', [40, 3, 100, 'special_div', 2.375], [37.63, 3, 100]]], [['regression ordinary dividend exclusion 1', [25.25, 3, 150, 'ordinary_div', 1.25], [25.25, 3, 150]], ['regression ordinary dividend exclusion 2', [40, 1, 100, 'ordinary_div', 0.5], [40.0, 1, 100]], ['partial repair probe 1', [40, 1, 100, 'merger', 2.375], [40.0, 1, 100]], ['partial repair probe 2', [12.5, 1, 150, 'merger', 1.25], [12.5, 1, 150]], ['boundary control 1', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['boundary control 2', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['normal control 1', [87.75, 1, 100, 'split', [4, 2]], [43.88, 2, 100]], ['normal control 2', [150.05, 10, 150, 'split', [3, 2]], [150.05, 10, 225]]], [['regression ordinary dividend exclusion 1', [12.5, 10, 100, 'ordinary_div', 0.125], [12.5, 10, 100]], ['regression ordinary dividend exclusion 2', [47.5, 3, 150, 'ordinary_div', 0.126], [47.5, 3, 150]], ['partial repair probe 1', [150.05, 10, 100, 'merger', 0.5], [150.05, 10, 100]], ['partial repair probe 2', [87.75, 10, 150, 'merger', 1.25], [87.75, 10, 150]], ['boundary control 1', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['boundary control 2', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['normal control 1', [33.33, 1, 150, 'special_div', 0.124], [33.33, 1, 150]], ['normal control 2', [47.5, 1, 100, 'special_div', 0.125], [47.38, 1, 100]]]]\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":"b551a4c481643493560410004066c7c2e2de1ed5f17ed78a088e2be4648e0738","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(strike, contracts, deliverable, action, value):\n    k = round(strike * 100)\n    if action == 'split':\n        new, old = value\n        if new % old == 0:\n            r = new // old\n            k = (2 * k + r) // (2 * r)\n            contracts = contracts * r\n        else:\n            deliverable = deliverable * new // old\n    elif action in ('special_div', 'ordinary_div'):\n        amt = round(value * 1000)\n        if amt >= 125:\n            k = (k * 10 - amt + 5) // 10\n    return [k / 100, contracts, deliverable]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression ordinary dividend exclusion 1', [12.5, 1, 100, 'ordinary_div', 0.126], [12.5, 1, 100]], ['regression ordinary dividend exclusion 2', [25.25, 3, 150, 'ordinary_div', 0.5], [25.25, 3, 150]], ['partial repair probe 1', [150.05, 1, 150, 'merger', 1.25], [150.05, 1, 150]], ['partial repair probe 2', [87.75, 3, 100, 'merger', 0.125], [87.75, 3, 100]], ['boundary control 1', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['boundary control 2', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['normal control 1', [87.75, 3, 100, 'split', [6, 3]], [43.88, 6, 100]], ['normal control 2', [150.05, 1, 100, 'split', [3, 2]], [150.05, 1, 150]]], [['regression ordinary dividend exclusion 1', [47.5, 10, 100, 'ordinary_div', 2.375], [47.5, 10, 100]], ['regression ordinary dividend exclusion 2', [47.5, 10, 150, 'ordinary_div', 1.25], [47.5, 10, 150]], ['partial repair probe 1', [101.01, 10, 100, 'merger', 2.375], [101.01, 10, 100]], ['partial repair probe 2', [150.05, 10, 100, 'merger', 2.375], [150.05, 10, 100]], ['boundary control 1', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['boundary control 2', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['normal control 1', [12.5, 3, 100, 'special_div', 0.1], [12.5, 3, 100]], ['normal control 2', [25.25, 10, 150, 'special_div', 0.125], [25.13, 10, 150]]], [['regression ordinary dividend exclusion 1', [33.33, 3, 100, 'ordinary_div', 0.5], [33.33, 3, 100]], ['regression ordinary dividend exclusion 2', [150.05, 3, 150, 'ordinary_div', 2.375], [150.05, 3, 150]], ['partial repair probe 1', [87.75, 3, 150, 'merger', 1.25], [87.75, 3, 150]], ['partial repair probe 2', [33.33, 1, 150, 'merger', 0.5], [33.33, 1, 150]], ['boundary control 1', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['boundary control 2', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['normal control 1', [40, 3, 100, 'split', [1, 2]], [40.0, 3, 50]], ['normal control 2', [40, 3, 100, 'special_div', 2.375], [37.63, 3, 100]]], [['regression ordinary dividend exclusion 1', [25.25, 3, 150, 'ordinary_div', 1.25], [25.25, 3, 150]], ['regression ordinary dividend exclusion 2', [40, 1, 100, 'ordinary_div', 0.5], [40.0, 1, 100]], ['partial repair probe 1', [40, 1, 100, 'merger', 2.375], [40.0, 1, 100]], ['partial repair probe 2', [12.5, 1, 150, 'merger', 1.25], [12.5, 1, 150]], ['boundary control 1', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['boundary control 2', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['normal control 1', [87.75, 1, 100, 'split', [4, 2]], [43.88, 2, 100]], ['normal control 2', [150.05, 10, 150, 'split', [3, 2]], [150.05, 10, 225]]], [['regression ordinary dividend exclusion 1', [12.5, 10, 100, 'ordinary_div', 0.125], [12.5, 10, 100]], ['regression ordinary dividend exclusion 2', [47.5, 3, 150, 'ordinary_div', 0.126], [47.5, 3, 150]], ['partial repair probe 1', [150.05, 10, 100, 'merger', 0.5], [150.05, 10, 100]], ['partial repair probe 2', [87.75, 10, 150, 'merger', 1.25], [87.75, 10, 150]], ['boundary control 1', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['boundary control 2', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['normal control 1', [33.33, 1, 150, 'special_div', 0.124], [33.33, 1, 150]], ['normal control 2', [47.5, 1, 100, 'special_div', 0.125], [47.38, 1, 100]]]]\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":"6ad57bc6c4be46c74769c892a98b48bf29cabbe02fc2a92b55635c706c41ffb6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(strike, contracts, deliverable, action, value):\n    k = round(strike * 100)\n    if action == 'split':\n        new, old = value\n        if new % old == 0:\n            r = new // old\n            k = (2 * k + r) // (2 * r)\n            contracts = contracts * r\n        else:\n            deliverable = deliverable * new // old\n    elif action == 'special_div':\n        amt = round(value * 1000)\n        if amt >= 125:\n            k = (k * 10 - amt + 5) // 10\n    return [k / 100, contracts, deliverable]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression ordinary dividend exclusion 1', [12.5, 1, 100, 'ordinary_div', 0.126], [12.5, 1, 100]], ['regression ordinary dividend exclusion 2', [25.25, 3, 150, 'ordinary_div', 0.5], [25.25, 3, 150]], ['partial repair probe 1', [150.05, 1, 150, 'merger', 1.25], [150.05, 1, 150]], ['partial repair probe 2', [87.75, 3, 100, 'merger', 0.125], [87.75, 3, 100]], ['boundary control 1', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['boundary control 2', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['normal control 1', [87.75, 3, 100, 'split', [6, 3]], [43.88, 6, 100]], ['normal control 2', [150.05, 1, 100, 'split', [3, 2]], [150.05, 1, 150]]], [['regression ordinary dividend exclusion 1', [47.5, 10, 100, 'ordinary_div', 2.375], [47.5, 10, 100]], ['regression ordinary dividend exclusion 2', [47.5, 10, 150, 'ordinary_div', 1.25], [47.5, 10, 150]], ['partial repair probe 1', [101.01, 10, 100, 'merger', 2.375], [101.01, 10, 100]], ['partial repair probe 2', [150.05, 10, 100, 'merger', 2.375], [150.05, 10, 100]], ['boundary control 1', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['boundary control 2', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['normal control 1', [12.5, 3, 100, 'special_div', 0.1], [12.5, 3, 100]], ['normal control 2', [25.25, 10, 150, 'special_div', 0.125], [25.13, 10, 150]]], [['regression ordinary dividend exclusion 1', [33.33, 3, 100, 'ordinary_div', 0.5], [33.33, 3, 100]], ['regression ordinary dividend exclusion 2', [150.05, 3, 150, 'ordinary_div', 2.375], [150.05, 3, 150]], ['partial repair probe 1', [87.75, 3, 150, 'merger', 1.25], [87.75, 3, 150]], ['partial repair probe 2', [33.33, 1, 150, 'merger', 0.5], [33.33, 1, 150]], ['boundary control 1', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['boundary control 2', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['normal control 1', [40, 3, 100, 'split', [1, 2]], [40.0, 3, 50]], ['normal control 2', [40, 3, 100, 'special_div', 2.375], [37.63, 3, 100]]], [['regression ordinary dividend exclusion 1', [25.25, 3, 150, 'ordinary_div', 1.25], [25.25, 3, 150]], ['regression ordinary dividend exclusion 2', [40, 1, 100, 'ordinary_div', 0.5], [40.0, 1, 100]], ['partial repair probe 1', [40, 1, 100, 'merger', 2.375], [40.0, 1, 100]], ['partial repair probe 2', [12.5, 1, 150, 'merger', 1.25], [12.5, 1, 150]], ['boundary control 1', [25.25, 1, 100, 'split', [2, 1]], [12.63, 2, 100]], ['boundary control 2', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['normal control 1', [87.75, 1, 100, 'split', [4, 2]], [43.88, 2, 100]], ['normal control 2', [150.05, 10, 150, 'split', [3, 2]], [150.05, 10, 225]]], [['regression ordinary dividend exclusion 1', [12.5, 10, 100, 'ordinary_div', 0.125], [12.5, 10, 100]], ['regression ordinary dividend exclusion 2', [47.5, 3, 150, 'ordinary_div', 0.126], [47.5, 3, 150]], ['partial repair probe 1', [150.05, 10, 100, 'merger', 0.5], [150.05, 10, 100]], ['partial repair probe 2', [87.75, 10, 150, 'merger', 1.25], [87.75, 10, 150]], ['boundary control 1', [40, 1, 100, 'split', [3, 2]], [40.0, 1, 150]], ['boundary control 2', [40, 1, 100, 'special_div', 0.125], [39.88, 1, 100]], ['normal control 1', [33.33, 1, 150, 'special_div', 0.124], [33.33, 1, 150]], ['normal control 2', [47.5, 1, 100, 'special_div', 0.125], [47.38, 1, 100]]]]\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-corporate-action-adjustment-ordinary-dividend-exclusion","generated_at":"2026-09-29T14:46:54.896419+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":"Adjust only for special dividends.","root_cause":"The dividend branch accepts ordinary_div as well as special_div.","sha256":"e10e8cc5f90b4b155e9f6b4922bc6e80c81c970e90f993245d349c113a420a38","title":"Contract adjustment for splits and special dividends: ordinary dividends also reduce the strike · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.944,"exit_code":1,"observations":[{"actual":[12.37,1,100],"check":"regression ordinary dividend exclusion 1","expected":[12.5,1,100],"passed":false},{"actual":[24.75,3,150],"check":"regression ordinary dividend exclusion 2","expected":[25.25,3,150],"passed":false},{"actual":[148.8,1,150],"check":"partial repair probe 1","expected":[150.05,1,150],"passed":false},{"actual":[87.63,3,100],"check":"partial repair probe 2","expected":[87.75,3,100],"passed":false},{"actual":[40.0,1,150],"check":"boundary control 1","expected":[40.0,1,150],"passed":true},{"actual":[12.63,2,100],"check":"boundary control 2","expected":[12.63,2,100],"passed":true},{"actual":[43.88,6,100],"check":"normal control 1","expected":[43.88,6,100],"passed":true},{"actual":[150.05,1,150],"check":"normal control 2","expected":[150.05,1,150],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression ordinary dividend exclusion 1\", \"actual\": [12.37, 1, 100], \"expected\": [12.5, 1, 100], \"passed\": false}, {\"check\": \"regression ordinary dividend exclusion 2\", \"actual\": [24.75, 3, 150], \"expected\": [25.25, 3, 150], \"passed\": false}, {\"check\": \"partial repair probe 1\", \"actual\": [148.8, 1, 150], \"expected\": [150.05, 1, 150], \"passed\": false}, {\"check\": \"partial repair probe 2\", \"actual\": [87.63, 3, 100], \"expected\": [87.75, 3, 100], \"passed\": false}, {\"check\": \"boundary control 1\", \"actual\": [40.0, 1, 150], \"expected\": [40.0, 1, 150], \"passed\": true}, {\"check\": \"boundary control 2\", \"actual\": [12.63, 2, 100], \"expected\": [12.63, 2, 100], \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": [43.88, 6, 100], \"expected\": [43.88, 6, 100], \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": [150.05, 1, 150], \"expected\": [150.05, 1, 150], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":41.459,"exit_code":1,"observations":[{"actual":[12.37,1,100],"check":"regression ordinary dividend exclusion 1","expected":[12.5,1,100],"passed":false},{"actual":[24.75,3,150],"check":"regression ordinary dividend exclusion 2","expected":[25.25,3,150],"passed":false},{"actual":[150.05,1,150],"check":"partial repair probe 1","expected":[150.05,1,150],"passed":true},{"actual":[87.75,3,100],"check":"partial repair probe 2","expected":[87.75,3,100],"passed":true},{"actual":[40.0,1,150],"check":"boundary control 1","expected":[40.0,1,150],"passed":true},{"actual":[12.63,2,100],"check":"boundary control 2","expected":[12.63,2,100],"passed":true},{"actual":[43.88,6,100],"check":"normal control 1","expected":[43.88,6,100],"passed":true},{"actual":[150.05,1,150],"check":"normal control 2","expected":[150.05,1,150],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression ordinary dividend exclusion 1\", \"actual\": [12.37, 1, 100], \"expected\": [12.5, 1, 100], \"passed\": false}, {\"check\": \"regression ordinary dividend exclusion 2\", \"actual\": [24.75, 3, 150], \"expected\": [25.25, 3, 150], \"passed\": false}, {\"check\": \"partial repair probe 1\", \"actual\": [150.05, 1, 150], \"expected\": [150.05, 1, 150], \"passed\": true}, {\"check\": \"partial repair probe 2\", \"actual\": [87.75, 3, 100], \"expected\": [87.75, 3, 100], \"passed\": true}, {\"check\": \"boundary control 1\", \"actual\": [40.0, 1, 150], \"expected\": [40.0, 1, 150], \"passed\": true}, {\"check\": \"boundary control 2\", \"actual\": [12.63, 2, 100], \"expected\": [12.63, 2, 100], \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": [43.88, 6, 100], \"expected\": [43.88, 6, 100], \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": [150.05, 1, 150], \"expected\": [150.05, 1, 150], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.22,"exit_code":0,"observations":[{"actual":[12.5,1,100],"check":"regression ordinary dividend exclusion 1","expected":[12.5,1,100],"passed":true},{"actual":[25.25,3,150],"check":"regression ordinary dividend exclusion 2","expected":[25.25,3,150],"passed":true},{"actual":[150.05,1,150],"check":"partial repair probe 1","expected":[150.05,1,150],"passed":true},{"actual":[87.75,3,100],"check":"partial repair probe 2","expected":[87.75,3,100],"passed":true},{"actual":[40.0,1,150],"check":"boundary control 1","expected":[40.0,1,150],"passed":true},{"actual":[12.63,2,100],"check":"boundary control 2","expected":[12.63,2,100],"passed":true},{"actual":[43.88,6,100],"check":"normal control 1","expected":[43.88,6,100],"passed":true},{"actual":[150.05,1,150],"check":"normal control 2","expected":[150.05,1,150],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression ordinary dividend exclusion 1\", \"actual\": [12.5, 1, 100], \"expected\": [12.5, 1, 100], \"passed\": true}, {\"check\": \"regression ordinary dividend exclusion 2\", \"actual\": [25.25, 3, 150], \"expected\": [25.25, 3, 150], \"passed\": true}, {\"check\": \"partial repair probe 1\", \"actual\": [150.05, 1, 150], \"expected\": [150.05, 1, 150], \"passed\": true}, {\"check\": \"partial repair probe 2\", \"actual\": [87.75, 3, 100], \"expected\": [87.75, 3, 100], \"passed\": true}, {\"check\": \"boundary control 1\", \"actual\": [40.0, 1, 150], \"expected\": [40.0, 1, 150], \"passed\": true}, {\"check\": \"boundary control 2\", \"actual\": [12.63, 2, 100], \"expected\": [12.63, 2, 100], \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": [43.88, 6, 100], \"expected\": [43.88, 6, 100], \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": [150.05, 1, 150], \"expected\": [150.05, 1, 150], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}