{"abstract":"Constant-force survival equals the UDD value.","category":"Actuarial life tables","checks":12,"contract":"Input q (per 100000), t as [num, den] in [0,1], assumption udd|cfm|balducci. UDD: tp=1-tq, mu=q/(1-tq); constant force: tp=p^t, mu=-ln p; Balducci: tp=p/(1-(1-t)q), mu=q/(1-(1-t)q). Out-of-range -> 'invalid'; infinite force -> 'infinite force'; other -> 'unknown assumption'. Return [tp, mu] rounded to 8 places.","contract_signature":"x","evaluation_group":"w2-actuarial_life_tables-fractional-age","failed_approach":"Raising p to 1-t measures the wrong fraction.","family":"w2-actuarial_life_tables-fractional-age-cfm-survival","id":"FA-63396","implementations":{"attempt":{"sha256":"9e7b52d327940f4f232483959c282bbed86304de96c293d134e05334f50f49b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    q=Fraction(x['q'],100000); t=Fraction(*x['t']); a=x['assumption']\n    if t<0 or t>1 or q<0 or q>1: return 'invalid'\n    p=1-q\n    if a=='udd':\n        tp=1-t*q; mu=q/(1-t*q) if 1-t*q else None\n    elif a=='cfm':\n        if p==0: return 'infinite force'\n        tp=Fraction(float(p)**float(1-t)); mu=-math.log(p)\n    elif a=='balducci':\n        tp=p/(1-(1-t)*q)\n        mu=q/(1-(1-t)*q)\n    else:\n        return 'unknown assumption'\n    if mu is None: return 'infinite force'\n    return [round(float(tp),8),round(float(mu),8)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['udd mid-year', {'q': 3964, 't': [1, 4], 'assumption': 'udd'}, [0.99009, 0.04003676]], ['udd third of year', {'q': 57411, 't': [1, 3], 'assumption': 'udd'}, [0.80863, 0.70997861]], ['cfm mid-year', {'q': 31716, 't': [3, 4], 'assumption': 'cfm'}, [0.7511717, 0.38149471]], ['cfm third of year', {'q': 35719, 't': [1, 3], 'assumption': 'cfm'}, [0.86303328, 0.44190609]], ['balducci mid-year', {'q': 2891, 't': [2, 4], 'assumption': 'balducci'}, [0.98533299, 0.02933402]], ['balducci third of year', {'q': 37692, 't': [1, 3], 'assumption': 'balducci'}, [0.83219361, 0.50341917]], ['udd full year', {'q': 34482, 't': [1, 1], 'assumption': 'udd'}, [0.65518, 0.52629812]], ['cfm at start', {'q': 29787, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.35363671]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 38019, 't': [2, 4], 'assumption': 'udd'}, [0.809905, 0.46942543]], ['udd third of year', {'q': 44263, 't': [1, 3], 'assumption': 'udd'}, [0.85245667, 0.51924047]], ['cfm mid-year', {'q': 36269, 't': [2, 4], 'assumption': 'cfm'}, [0.79831698, 0.45049909]], ['cfm third of year', {'q': 41961, 't': [1, 3], 'assumption': 'cfm'}, [0.83414197, 0.54405499]], ['balducci mid-year', {'q': 22422, 't': [2, 4], 'assumption': 'balducci'}, [0.87373436, 0.25253128]], ['balducci third of year', {'q': 25020, 't': [1, 3], 'assumption': 'balducci'}, [0.89990398, 0.30028805]], ['udd full year', {'q': 37371, 't': [1, 1], 'assumption': 'udd'}, [0.62629, 0.5967044]], ['cfm at start', {'q': 12769, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.13661041]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 7646, 't': [2, 4], 'assumption': 'udd'}, [0.96177, 0.07949926]], ['udd third of year', {'q': 30081, 't': [1, 3], 'assumption': 'udd'}, [0.89973, 0.33433363]], ['cfm mid-year', {'q': 8794, 't': [2, 4], 'assumption': 'cfm'}, [0.95501832, 0.0920495]], ['cfm third of year', {'q': 26692, 't': [1, 3], 'assumption': 'cfm'}, [0.90167589, 0.31050044]], ['balducci mid-year', {'q': 6887, 't': [1, 4], 'assumption': 'balducci'}, [0.98184474, 0.07262106]], ['balducci third of year', {'q': 38785, 't': [1, 3], 'assumption': 'balducci'}, [0.82563054, 0.52310839]], ['udd full year', {'q': 23553, 't': [1, 1], 'assumption': 'udd'}, [0.76447, 0.3080958]], ['cfm at start', {'q': 30697, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.36668199]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 31223, 't': [3, 4], 'assumption': 'udd'}, [0.7658275, 0.40770278]], ['udd third of year', {'q': 27799, 't': [1, 3], 'assumption': 'udd'}, [0.90733667, 0.30638021]], ['cfm mid-year', {'q': 5158, 't': [3, 4], 'assumption': 'cfm'}, [0.96106006, 0.05295784]], ['cfm third of year', {'q': 20081, 't': [1, 3], 'assumption': 'cfm'}, [0.92800435, 0.22415656]], ['balducci mid-year', {'q': 2076, 't': [2, 4], 'assumption': 'balducci'}, [0.98951113, 0.02097775]], ['balducci third of year', {'q': 51959, 't': [1, 3], 'assumption': 'balducci'}, [0.73501392, 0.79495823]], ['udd full year', {'q': 28689, 't': [1, 1], 'assumption': 'udd'}, [0.71311, 0.4023082]], ['cfm at start', {'q': 30130, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.35853381]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 3152, 't': [2, 4], 'assumption': 'udd'}, [0.98424, 0.03202471]], ['udd third of year', {'q': 29489, 't': [1, 3], 'assumption': 'udd'}, [0.90170333, 0.32703661]], ['cfm mid-year', {'q': 34830, 't': [1, 4], 'assumption': 'cfm'}, [0.89848727, 0.42817095]], ['cfm third of year', {'q': 57603, 't': [1, 3], 'assumption': 'cfm'}, [0.75123943, 0.85809258]], ['balducci mid-year', {'q': 37115, 't': [3, 4], 'assumption': 'balducci'}, [0.69316726, 0.40911032]], ['balducci third of year', {'q': 20896, 't': [1, 3], 'assumption': 'balducci'}, [0.919073, 0.24278101]], ['udd full year', {'q': 24445, 't': [1, 1], 'assumption': 'udd'}, [0.75555, 0.32353914]], ['cfm at start', {'q': 24358, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.2791585]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']]]\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":"7ffafb31c5d3b9df49085b86d285a7e2269727ec10e0d009b2b25ab4f53fb2da","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nfrom fractions import Fraction\nN = 1\nobservations = []\ndef solve(x):\n    q=Fraction(x['q'],100000); t=Fraction(*x['t']); a=x['assumption']\n    if t<0 or t>1 or q<0 or q>1: return 'invalid'\n    p=1-q\n    if a=='udd':\n        tp=1-t*q; mu=q/(1-t*q) if 1-t*q else None\n    elif a=='cfm':\n        if p==0: return 'infinite force'\n        tp=Fraction(1-float(q)*float(t)); mu=-math.log(p)\n    elif a=='balducci':\n        tp=p/(1-(1-t)*q)\n        mu=q/(1-(1-t)*q)\n    else:\n        return 'unknown assumption'\n    if mu is None: return 'infinite force'\n    return [round(float(tp),8),round(float(mu),8)]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['udd mid-year', {'q': 3964, 't': [1, 4], 'assumption': 'udd'}, [0.99009, 0.04003676]], ['udd third of year', {'q': 57411, 't': [1, 3], 'assumption': 'udd'}, [0.80863, 0.70997861]], ['cfm mid-year', {'q': 31716, 't': [3, 4], 'assumption': 'cfm'}, [0.7511717, 0.38149471]], ['cfm third of year', {'q': 35719, 't': [1, 3], 'assumption': 'cfm'}, [0.86303328, 0.44190609]], ['balducci mid-year', {'q': 2891, 't': [2, 4], 'assumption': 'balducci'}, [0.98533299, 0.02933402]], ['balducci third of year', {'q': 37692, 't': [1, 3], 'assumption': 'balducci'}, [0.83219361, 0.50341917]], ['udd full year', {'q': 34482, 't': [1, 1], 'assumption': 'udd'}, [0.65518, 0.52629812]], ['cfm at start', {'q': 29787, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.35363671]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 38019, 't': [2, 4], 'assumption': 'udd'}, [0.809905, 0.46942543]], ['udd third of year', {'q': 44263, 't': [1, 3], 'assumption': 'udd'}, [0.85245667, 0.51924047]], ['cfm mid-year', {'q': 36269, 't': [2, 4], 'assumption': 'cfm'}, [0.79831698, 0.45049909]], ['cfm third of year', {'q': 41961, 't': [1, 3], 'assumption': 'cfm'}, [0.83414197, 0.54405499]], ['balducci mid-year', {'q': 22422, 't': [2, 4], 'assumption': 'balducci'}, [0.87373436, 0.25253128]], ['balducci third of year', {'q': 25020, 't': [1, 3], 'assumption': 'balducci'}, [0.89990398, 0.30028805]], ['udd full year', {'q': 37371, 't': [1, 1], 'assumption': 'udd'}, [0.62629, 0.5967044]], ['cfm at start', {'q': 12769, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.13661041]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 7646, 't': [2, 4], 'assumption': 'udd'}, [0.96177, 0.07949926]], ['udd third of year', {'q': 30081, 't': [1, 3], 'assumption': 'udd'}, [0.89973, 0.33433363]], ['cfm mid-year', {'q': 8794, 't': [2, 4], 'assumption': 'cfm'}, [0.95501832, 0.0920495]], ['cfm third of year', {'q': 26692, 't': [1, 3], 'assumption': 'cfm'}, [0.90167589, 0.31050044]], ['balducci mid-year', {'q': 6887, 't': [1, 4], 'assumption': 'balducci'}, [0.98184474, 0.07262106]], ['balducci third of year', {'q': 38785, 't': [1, 3], 'assumption': 'balducci'}, [0.82563054, 0.52310839]], ['udd full year', {'q': 23553, 't': [1, 1], 'assumption': 'udd'}, [0.76447, 0.3080958]], ['cfm at start', {'q': 30697, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.36668199]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 31223, 't': [3, 4], 'assumption': 'udd'}, [0.7658275, 0.40770278]], ['udd third of year', {'q': 27799, 't': [1, 3], 'assumption': 'udd'}, [0.90733667, 0.30638021]], ['cfm mid-year', {'q': 5158, 't': [3, 4], 'assumption': 'cfm'}, [0.96106006, 0.05295784]], ['cfm third of year', {'q': 20081, 't': [1, 3], 'assumption': 'cfm'}, [0.92800435, 0.22415656]], ['balducci mid-year', {'q': 2076, 't': [2, 4], 'assumption': 'balducci'}, [0.98951113, 0.02097775]], ['balducci third of year', {'q': 51959, 't': [1, 3], 'assumption': 'balducci'}, [0.73501392, 0.79495823]], ['udd full year', {'q': 28689, 't': [1, 1], 'assumption': 'udd'}, [0.71311, 0.4023082]], ['cfm at start', {'q': 30130, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.35853381]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']], [['udd mid-year', {'q': 3152, 't': [2, 4], 'assumption': 'udd'}, [0.98424, 0.03202471]], ['udd third of year', {'q': 29489, 't': [1, 3], 'assumption': 'udd'}, [0.90170333, 0.32703661]], ['cfm mid-year', {'q': 34830, 't': [1, 4], 'assumption': 'cfm'}, [0.89848727, 0.42817095]], ['cfm third of year', {'q': 57603, 't': [1, 3], 'assumption': 'cfm'}, [0.75123943, 0.85809258]], ['balducci mid-year', {'q': 37115, 't': [3, 4], 'assumption': 'balducci'}, [0.69316726, 0.40911032]], ['balducci third of year', {'q': 20896, 't': [1, 3], 'assumption': 'balducci'}, [0.919073, 0.24278101]], ['udd full year', {'q': 24445, 't': [1, 1], 'assumption': 'udd'}, [0.75555, 0.32353914]], ['cfm at start', {'q': 24358, 't': [0, 1], 'assumption': 'cfm'}, [1.0, 0.2791585]], ['udd terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'udd'}, [0.5, 2.0]], ['cfm terminal year', {'q': 100000, 't': [1, 2], 'assumption': 'cfm'}, 'infinite force'], ['beyond one year rejected', {'q': 1000, 't': [5, 4], 'assumption': 'udd'}, 'invalid'], ['unknown assumption', {'q': 1000, 't': [1, 2], 'assumption': 'gompertz'}, 'unknown assumption']]]\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 bounded teaching model of a stipulated toy actuarial contract. Rates are small synthetic tables, exact rationals are used where practical and floats are rounded at the output; it makes no claim of conformance with any published table, standard of practice or regulation. 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-actuarial_life_tables-fractional-age-cfm-survival","generated_at":"2026-09-29T14:47:14.193277+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Life-table arithmetic compounds across ages, so one misplaced index or assumption shifts every downstream value.","root_cause":"The CFM branch uses 1-tq.","sha256":"04cce0e5d5ac8128aa873e5faa6ae776a02b5b8d3401369bcf1ff6b4fd4d2194","title":"Fractional age survival assumptions: Constant-force survival is linear · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":43.909,"exit_code":1,"observations":[{"actual":[0.99009,0.04003676],"check":"udd mid-year","expected":[0.99009,0.04003676],"passed":true},{"actual":[0.80863,0.70997861],"check":"udd third of year","expected":[0.80863,0.70997861],"passed":true},{"actual":[0.90903319,0.38149471],"check":"cfm mid-year","expected":[0.7511717,0.38149471],"passed":false},{"actual":[0.74482644,0.44190609],"check":"cfm third of year","expected":[0.86303328,0.44190609],"passed":false},{"actual":[0.98533299,0.02933402],"check":"balducci mid-year","expected":[0.98533299,0.02933402],"passed":true},{"actual":[0.83219361,0.50341917],"check":"balducci third of year","expected":[0.83219361,0.50341917],"passed":true},{"actual":[0.65518,0.52629812],"check":"udd full year","expected":[0.65518,0.52629812],"passed":true},{"actual":[0.70213,0.35363671],"check":"cfm at start","expected":[1.0,0.35363671],"passed":false},{"actual":[0.5,2.0],"check":"udd terminal year","expected":[0.5,2.0],"passed":true},{"actual":"infinite force","check":"cfm terminal year","expected":"infinite force","passed":true},{"actual":"invalid","check":"beyond one year rejected","expected":"invalid","passed":true},{"actual":"unknown assumption","check":"unknown assumption","expected":"unknown assumption","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"udd mid-year\", \"actual\": [0.99009, 0.04003676], \"expected\": [0.99009, 0.04003676], \"passed\": true}, {\"check\": \"udd third of year\", \"actual\": [0.80863, 0.70997861], \"expected\": [0.80863, 0.70997861], \"passed\": true}, {\"check\": \"cfm mid-year\", \"actual\": [0.90903319, 0.38149471], \"expected\": [0.7511717, 0.38149471], \"passed\": false}, {\"check\": \"cfm third of year\", \"actual\": [0.74482644, 0.44190609], \"expected\": [0.86303328, 0.44190609], \"passed\": false}, {\"check\": \"balducci mid-year\", \"actual\": [0.98533299, 0.02933402], \"expected\": [0.98533299, 0.02933402], \"passed\": true}, {\"check\": \"balducci third of year\", \"actual\": [0.83219361, 0.50341917], \"expected\": [0.83219361, 0.50341917], \"passed\": true}, {\"check\": \"udd full year\", \"actual\": [0.65518, 0.52629812], \"expected\": [0.65518, 0.52629812], \"passed\": true}, {\"check\": \"cfm at start\", \"actual\": [0.70213, 0.35363671], \"expected\": [1.0, 0.35363671], \"passed\": false}, {\"check\": \"udd terminal year\", \"actual\": [0.5, 2.0], \"expected\": [0.5, 2.0], \"passed\": true}, {\"check\": \"cfm terminal year\", \"actual\": \"infinite force\", \"expected\": \"infinite force\", \"passed\": true}, {\"check\": \"beyond one year rejected\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"unknown assumption\", \"actual\": \"unknown assumption\", \"expected\": \"unknown assumption\", \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.154,"exit_code":1,"observations":[{"actual":[0.99009,0.04003676],"check":"udd mid-year","expected":[0.99009,0.04003676],"passed":true},{"actual":[0.80863,0.70997861],"check":"udd third of year","expected":[0.80863,0.70997861],"passed":true},{"actual":[0.76213,0.38149471],"check":"cfm mid-year","expected":[0.7511717,0.38149471],"passed":false},{"actual":[0.88093667,0.44190609],"check":"cfm third of year","expected":[0.86303328,0.44190609],"passed":false},{"actual":[0.98533299,0.02933402],"check":"balducci mid-year","expected":[0.98533299,0.02933402],"passed":true},{"actual":[0.83219361,0.50341917],"check":"balducci third of year","expected":[0.83219361,0.50341917],"passed":true},{"actual":[0.65518,0.52629812],"check":"udd full year","expected":[0.65518,0.52629812],"passed":true},{"actual":[1.0,0.35363671],"check":"cfm at start","expected":[1.0,0.35363671],"passed":true},{"actual":[0.5,2.0],"check":"udd terminal year","expected":[0.5,2.0],"passed":true},{"actual":"infinite force","check":"cfm terminal year","expected":"infinite force","passed":true},{"actual":"invalid","check":"beyond one year rejected","expected":"invalid","passed":true},{"actual":"unknown assumption","check":"unknown assumption","expected":"unknown assumption","passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"udd mid-year\", \"actual\": [0.99009, 0.04003676], \"expected\": [0.99009, 0.04003676], \"passed\": true}, {\"check\": \"udd third of year\", \"actual\": [0.80863, 0.70997861], \"expected\": [0.80863, 0.70997861], \"passed\": true}, {\"check\": \"cfm mid-year\", \"actual\": [0.76213, 0.38149471], \"expected\": [0.7511717, 0.38149471], \"passed\": false}, {\"check\": \"cfm third of year\", \"actual\": [0.88093667, 0.44190609], \"expected\": [0.86303328, 0.44190609], \"passed\": false}, {\"check\": \"balducci mid-year\", \"actual\": [0.98533299, 0.02933402], \"expected\": [0.98533299, 0.02933402], \"passed\": true}, {\"check\": \"balducci third of year\", \"actual\": [0.83219361, 0.50341917], \"expected\": [0.83219361, 0.50341917], \"passed\": true}, {\"check\": \"udd full year\", \"actual\": [0.65518, 0.52629812], \"expected\": [0.65518, 0.52629812], \"passed\": true}, {\"check\": \"cfm at start\", \"actual\": [1.0, 0.35363671], \"expected\": [1.0, 0.35363671], \"passed\": true}, {\"check\": \"udd terminal year\", \"actual\": [0.5, 2.0], \"expected\": [0.5, 2.0], \"passed\": true}, {\"check\": \"cfm terminal year\", \"actual\": \"infinite force\", \"expected\": \"infinite force\", \"passed\": true}, {\"check\": \"beyond one year rejected\", \"actual\": \"invalid\", \"expected\": \"invalid\", \"passed\": true}, {\"check\": \"unknown assumption\", \"actual\": \"unknown assumption\", \"expected\": \"unknown assumption\", \"passed\": true}], \"passed\": false}\n"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}