{"abstract":"Out-of-the-money options are exercised and paid as if in the money.","category":"Options payoff and settlement","checks":8,"contract":"Inputs kind C/P, strike, settlement price, signed contracts (+long, -short), multiplier, a minimum in-the-money amount and a long-holder instruction (auto, exercise, dnx). Work in integer cents. Intrinsic is max(0, S-K) for calls, max(0, K-S) for puts. The automatic rule exercises when intrinsic >= threshold. Longs follow their instruction (exercise always exercises, dnx never, auto uses the rule); shorts are assigned by the automatic rule. Cash = intrinsic*multiplier*|contracts| if exercised, negative for shorts. Return [exercised, cash in currency units].","evaluation_group":"w2-options_payoff_and_settlement-cash-settled-expiry","failed_approach":"Fixing only the call branch leaves puts paying on the wrong side of the strike.","family":"w2-options_payoff_and_settlement-cash-settled-expiry-put-intrinsic-value","id":"FA-61346","implementations":{"attempt":{"sha256":"e4f0a9508748c4018f577e1b6d1f34442b65e0a16dec1b0dbb6b33b8a0da23a3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, strike, settle, contracts, multiplier, min_itm, instruction):\n    k = round(strike * 100)\n    s = round(settle * 100)\n    thr = round(min_itm * 100)\n    intrinsic = max(0, s - k) if kind == 'C' else abs(k - s)\n    auto = intrinsic >= thr\n    if contracts > 0:\n        if instruction == 'exercise':\n            ex = True\n        elif instruction == 'dnx':\n            ex = False\n        else:\n            ex = auto\n    else:\n        ex = auto\n    cash = intrinsic * multiplier * abs(contracts) if ex else 0\n    if contracts < 0:\n        cash = -cash\n    return [ex, cash / 100]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression put intrinsic value 1', ['C', 101.5, 101.45, -4, 100, 0.02, 'auto'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 51.37, 10, 100, 0.02, 'exercise'], [True, 0.0]], ['partial repair probe 1', ['P', 150, 150.02, -4, 50, 0.01, 'exercise'], [False, 0.0]], ['partial repair probe 2', ['P', 150, 150.05, 3, 100, 0.02, 'auto'], [False, 0.0]], ['boundary control 1', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 2', ['C', 100, 105, 1, 100, 0.01, 'dnx'], [False, 0.0]], ['normal control 1', ['C', 50, 50.02, 10, 100, 0.05, 'auto'], [False, 0.0]], ['normal control 2', ['P', 150, 150, -4, 10, 0.01, 'auto'], [False, 0.0]]], [['regression put intrinsic value 1', ['P', 101.5, 102.87, -10, 50, 0.01, 'dnx'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 50.01, -1, 50, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 4500, 4512.25, -10, 100, 0.01, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 4500, 4500.1, -1, 50, 0.01, 'exercise'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 1', ['C', 212.5, 212.5, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 2', ['C', 50, 50.01, 3, 10, 0.01, 'dnx'], [False, 0.0]]], [['regression put intrinsic value 1', ['P', 150, 150.05, -10, 100, 0.05, 'dnx'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 25, 25.1, -10, 50, 0.02, 'exercise'], [False, 0.0]], ['partial repair probe 1', ['P', 50, 50.1, -1, 50, 0.05, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 4500, 4500.1, -4, 100, 0.01, 'exercise'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 1', ['C', 212.5, 212.6, 10, 100, 0.05, 'dnx'], [False, 0.0]], ['normal control 2', ['C', 101.5, 101.5, 10, 50, 0.02, 'dnx'], [False, 0.0]]], [['regression put intrinsic value 1', ['C', 4500, 4499.99, -4, 100, 0.01, 'auto'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 50.05, -10, 10, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 100, 100.1, -10, 10, 0.05, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 50, 50.05, -10, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['C', 100, 105, 1, 100, 0.01, 'dnx'], [False, 0.0]], ['normal control 1', ['C', 50, 50.02, -4, 100, 0.01, 'dnx'], [True, -8.0]], ['normal control 2', ['P', 25, 25, 3, 100, 0.02, 'exercise'], [True, 0.0]]], [['regression put intrinsic value 1', ['C', 4500, 4499.98, 1, 10, 0.01, 'exercise'], [True, 0.0]], ['regression put intrinsic value 2', ['P', 212.5, 213.87, -1, 50, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 50, 50.05, 3, 100, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 2', ['P', 50, 50.05, -10, 50, 0.01, 'dnx'], [False, 0.0]], ['boundary control 1', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 2', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['normal control 1', ['P', 101.5, 101.5, 1, 50, 0.01, 'exercise'], [True, 0.0]], ['normal control 2', ['P', 101.5, 101.49, 10, 100, 0.02, 'auto'], [False, 0.0]]]]\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":"85b87e8350f34b5a9fa1e80501af6efa18303af50e31616b9b56af9e3188b88d","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, strike, settle, contracts, multiplier, min_itm, instruction):\n    k = round(strike * 100)\n    s = round(settle * 100)\n    thr = round(min_itm * 100)\n    intrinsic = abs(s - k)\n    auto = intrinsic >= thr\n    if contracts > 0:\n        if instruction == 'exercise':\n            ex = True\n        elif instruction == 'dnx':\n            ex = False\n        else:\n            ex = auto\n    else:\n        ex = auto\n    cash = intrinsic * multiplier * abs(contracts) if ex else 0\n    if contracts < 0:\n        cash = -cash\n    return [ex, cash / 100]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression put intrinsic value 1', ['C', 101.5, 101.45, -4, 100, 0.02, 'auto'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 51.37, 10, 100, 0.02, 'exercise'], [True, 0.0]], ['partial repair probe 1', ['P', 150, 150.02, -4, 50, 0.01, 'exercise'], [False, 0.0]], ['partial repair probe 2', ['P', 150, 150.05, 3, 100, 0.02, 'auto'], [False, 0.0]], ['boundary control 1', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 2', ['C', 100, 105, 1, 100, 0.01, 'dnx'], [False, 0.0]], ['normal control 1', ['C', 50, 50.02, 10, 100, 0.05, 'auto'], [False, 0.0]], ['normal control 2', ['P', 150, 150, -4, 10, 0.01, 'auto'], [False, 0.0]]], [['regression put intrinsic value 1', ['P', 101.5, 102.87, -10, 50, 0.01, 'dnx'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 50.01, -1, 50, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 4500, 4512.25, -10, 100, 0.01, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 4500, 4500.1, -1, 50, 0.01, 'exercise'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 1', ['C', 212.5, 212.5, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 2', ['C', 50, 50.01, 3, 10, 0.01, 'dnx'], [False, 0.0]]], [['regression put intrinsic value 1', ['P', 150, 150.05, -10, 100, 0.05, 'dnx'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 25, 25.1, -10, 50, 0.02, 'exercise'], [False, 0.0]], ['partial repair probe 1', ['P', 50, 50.1, -1, 50, 0.05, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 4500, 4500.1, -4, 100, 0.01, 'exercise'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 1', ['C', 212.5, 212.6, 10, 100, 0.05, 'dnx'], [False, 0.0]], ['normal control 2', ['C', 101.5, 101.5, 10, 50, 0.02, 'dnx'], [False, 0.0]]], [['regression put intrinsic value 1', ['C', 4500, 4499.99, -4, 100, 0.01, 'auto'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 50.05, -10, 10, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 100, 100.1, -10, 10, 0.05, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 50, 50.05, -10, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['C', 100, 105, 1, 100, 0.01, 'dnx'], [False, 0.0]], ['normal control 1', ['C', 50, 50.02, -4, 100, 0.01, 'dnx'], [True, -8.0]], ['normal control 2', ['P', 25, 25, 3, 100, 0.02, 'exercise'], [True, 0.0]]], [['regression put intrinsic value 1', ['C', 4500, 4499.98, 1, 10, 0.01, 'exercise'], [True, 0.0]], ['regression put intrinsic value 2', ['P', 212.5, 213.87, -1, 50, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 50, 50.05, 3, 100, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 2', ['P', 50, 50.05, -10, 50, 0.01, 'dnx'], [False, 0.0]], ['boundary control 1', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 2', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['normal control 1', ['P', 101.5, 101.5, 1, 50, 0.01, 'exercise'], [True, 0.0]], ['normal control 2', ['P', 101.5, 101.49, 10, 100, 0.02, 'auto'], [False, 0.0]]]]\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":"66934b9fd15a69a4e90f14da0239e7c16898015aed1ac9454205f57038219778","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, strike, settle, contracts, multiplier, min_itm, instruction):\n    k = round(strike * 100)\n    s = round(settle * 100)\n    thr = round(min_itm * 100)\n    intrinsic = max(0, s - k) if kind == 'C' else max(0, k - s)\n    auto = intrinsic >= thr\n    if contracts > 0:\n        if instruction == 'exercise':\n            ex = True\n        elif instruction == 'dnx':\n            ex = False\n        else:\n            ex = auto\n    else:\n        ex = auto\n    cash = intrinsic * multiplier * abs(contracts) if ex else 0\n    if contracts < 0:\n        cash = -cash\n    return [ex, cash / 100]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression put intrinsic value 1', ['C', 101.5, 101.45, -4, 100, 0.02, 'auto'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 51.37, 10, 100, 0.02, 'exercise'], [True, 0.0]], ['partial repair probe 1', ['P', 150, 150.02, -4, 50, 0.01, 'exercise'], [False, 0.0]], ['partial repair probe 2', ['P', 150, 150.05, 3, 100, 0.02, 'auto'], [False, 0.0]], ['boundary control 1', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 2', ['C', 100, 105, 1, 100, 0.01, 'dnx'], [False, 0.0]], ['normal control 1', ['C', 50, 50.02, 10, 100, 0.05, 'auto'], [False, 0.0]], ['normal control 2', ['P', 150, 150, -4, 10, 0.01, 'auto'], [False, 0.0]]], [['regression put intrinsic value 1', ['P', 101.5, 102.87, -10, 50, 0.01, 'dnx'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 50.01, -1, 50, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 4500, 4512.25, -10, 100, 0.01, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 4500, 4500.1, -1, 50, 0.01, 'exercise'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 1', ['C', 212.5, 212.5, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 2', ['C', 50, 50.01, 3, 10, 0.01, 'dnx'], [False, 0.0]]], [['regression put intrinsic value 1', ['P', 150, 150.05, -10, 100, 0.05, 'dnx'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 25, 25.1, -10, 50, 0.02, 'exercise'], [False, 0.0]], ['partial repair probe 1', ['P', 50, 50.1, -1, 50, 0.05, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 4500, 4500.1, -4, 100, 0.01, 'exercise'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['normal control 1', ['C', 212.5, 212.6, 10, 100, 0.05, 'dnx'], [False, 0.0]], ['normal control 2', ['C', 101.5, 101.5, 10, 50, 0.02, 'dnx'], [False, 0.0]]], [['regression put intrinsic value 1', ['C', 4500, 4499.99, -4, 100, 0.01, 'auto'], [False, 0.0]], ['regression put intrinsic value 2', ['P', 50, 50.05, -10, 10, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 100, 100.1, -10, 10, 0.05, 'dnx'], [False, 0.0]], ['partial repair probe 2', ['P', 50, 50.05, -10, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 1', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['boundary control 2', ['C', 100, 105, 1, 100, 0.01, 'dnx'], [False, 0.0]], ['normal control 1', ['C', 50, 50.02, -4, 100, 0.01, 'dnx'], [True, -8.0]], ['normal control 2', ['P', 25, 25, 3, 100, 0.02, 'exercise'], [True, 0.0]]], [['regression put intrinsic value 1', ['C', 4500, 4499.98, 1, 10, 0.01, 'exercise'], [True, 0.0]], ['regression put intrinsic value 2', ['P', 212.5, 213.87, -1, 50, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 1', ['P', 50, 50.05, 3, 100, 0.01, 'auto'], [False, 0.0]], ['partial repair probe 2', ['P', 50, 50.05, -10, 50, 0.01, 'dnx'], [False, 0.0]], ['boundary control 1', ['P', 100, 100, 1, 100, 0.01, 'auto'], [False, 0.0]], ['boundary control 2', ['C', 100, 100.01, 1, 100, 0.01, 'auto'], [True, 1.0]], ['normal control 1', ['P', 101.5, 101.5, 1, 50, 0.01, 'exercise'], [True, 0.0]], ['normal control 2', ['P', 101.5, 101.49, 10, 100, 0.02, 'auto'], [False, 0.0]]]]\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-cash-settled-expiry-put-intrinsic-value","generated_at":"2026-09-29T14:46:54.413360+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":"Use max(0, S-K) for calls and max(0, K-S) for puts.","root_cause":"Intrinsic value is computed as |S-K| for both calls and puts.","sha256":"020af40496594b545b231e5ee39697469ed4cda2b95dce234c96fa696c14a219","title":"Cash-settled expiry with exercise by exception: moneyness magnitude is used regardless of option type · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.753,"exit_code":1,"observations":[{"actual":[false,0.0],"check":"regression put intrinsic value 1","expected":[false,0.0],"passed":true},{"actual":[true,1370.0],"check":"regression put intrinsic value 2","expected":[true,0.0],"passed":false},{"actual":[true,-4.0],"check":"partial repair probe 1","expected":[false,0.0],"passed":false},{"actual":[true,15.0],"check":"partial repair probe 2","expected":[false,0.0],"passed":false},{"actual":[false,0.0],"check":"boundary control 1","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"boundary control 2","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"normal control 1","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"normal control 2","expected":[false,0.0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression put intrinsic value 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"regression put intrinsic value 2\", \"actual\": [true, 1370.0], \"expected\": [true, 0.0], \"passed\": false}, {\"check\": \"partial repair probe 1\", \"actual\": [true, -4.0], \"expected\": [false, 0.0], \"passed\": false}, {\"check\": \"partial repair probe 2\", \"actual\": [true, 15.0], \"expected\": [false, 0.0], \"passed\": false}, {\"check\": \"boundary control 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"boundary control 2\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.4,"exit_code":1,"observations":[{"actual":[true,-20.0],"check":"regression put intrinsic value 1","expected":[false,0.0],"passed":false},{"actual":[true,1370.0],"check":"regression put intrinsic value 2","expected":[true,0.0],"passed":false},{"actual":[true,-4.0],"check":"partial repair probe 1","expected":[false,0.0],"passed":false},{"actual":[true,15.0],"check":"partial repair probe 2","expected":[false,0.0],"passed":false},{"actual":[false,0.0],"check":"boundary control 1","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"boundary control 2","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"normal control 1","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"normal control 2","expected":[false,0.0],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression put intrinsic value 1\", \"actual\": [true, -20.0], \"expected\": [false, 0.0], \"passed\": false}, {\"check\": \"regression put intrinsic value 2\", \"actual\": [true, 1370.0], \"expected\": [true, 0.0], \"passed\": false}, {\"check\": \"partial repair probe 1\", \"actual\": [true, -4.0], \"expected\": [false, 0.0], \"passed\": false}, {\"check\": \"partial repair probe 2\", \"actual\": [true, 15.0], \"expected\": [false, 0.0], \"passed\": false}, {\"check\": \"boundary control 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"boundary control 2\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.044,"exit_code":0,"observations":[{"actual":[false,0.0],"check":"regression put intrinsic value 1","expected":[false,0.0],"passed":true},{"actual":[true,0.0],"check":"regression put intrinsic value 2","expected":[true,0.0],"passed":true},{"actual":[false,0.0],"check":"partial repair probe 1","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"partial repair probe 2","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"boundary control 1","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"boundary control 2","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"normal control 1","expected":[false,0.0],"passed":true},{"actual":[false,0.0],"check":"normal control 2","expected":[false,0.0],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression put intrinsic value 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"regression put intrinsic value 2\", \"actual\": [true, 0.0], \"expected\": [true, 0.0], \"passed\": true}, {\"check\": \"partial repair probe 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"partial repair probe 2\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"boundary control 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"boundary control 2\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"normal control 1\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}, {\"check\": \"normal control 2\", \"actual\": [false, 0.0], \"expected\": [false, 0.0], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}