{"abstract":"Expected aftershock counts are negative.","category":"Seismic magnitude estimation","checks":8,"contract":"Rate K/(t+c)^p aftershocks per day. Expected count on [t1, t2] days: for p == 1 (within 1e-12) K ln((t2+c)/(t1+c)); otherwise K((t1+c)^(1-p) - (t2+c)^(1-p))/(p-1). t1 < 0 or t2 <= t1 returns None. Round to 0.001.","evaluation_group":"w2-seismic_magnitude_estimation-omori-utsu-count","failed_approach":"Flipping only the denominator sign also negates the result.","family":"w2-seismic_magnitude_estimation-omori-utsu-count-integral-bound-order","id":"FA-71621","implementations":{"attempt":{"sha256":"fa5ecf85c9b33f07ea0d65ecf126bce18d41cd36dc3221ab5ef873ed3a460304","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(k, c, p, t1, t2):\n    if t1 < 0 or t2 <= t1:\n        return None\n    if abs(p - 1.0) < 1e-12:\n        n = k * (math.log(t2 + c) - math.log(t1 + c))\n    else:\n        n = k * ((t1 + c) ** (1 - p) - (t2 + c) ** (1 - p)) / (1 - p)\n    return round(n, 3)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['K 50.0 c 0.01 p 0.8 window 0.0-1.0 d', [50.0, 0.01, 0.8, 0.0, 1.0], 150.971], ['K 50.0 c 0.01 p 0.8 window 0.5-10.0 d', [50.0, 0.01, 0.8, 0.5, 10.0], 177.801], ['K 50.0 c 0.01 p 0.8 window 1.0-30.0 d', [50.0, 0.01, 0.8, 1.0, 30.0], 243.123], ['K 50.0 c 0.01 p 0.8 window 5.0-5.0 d', [50.0, 0.01, 0.8, 5.0, 5.0], None], ['K 50.0 c 0.01 p 0.8 window 3.0-2.0 d', [50.0, 0.01, 0.8, 3.0, 2.0], None], ['K 50.0 c 0.01 p 0.8 window 0.0-0.0 d', [50.0, 0.01, 0.8, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.0 window 0.0-1.0 d', [50.0, 0.01, 1.0, 0.0, 1.0], 230.756], ['K 50.0 c 0.01 p 1.0 window 0.5-10.0 d', [50.0, 0.01, 1.0, 0.5, 10.0], 148.846]], [['K 50.0 c 0.01 p 1.0 window 0.5-10.0 d', [50.0, 0.01, 1.0, 0.5, 10.0], 148.846], ['K 50.0 c 0.01 p 1.0 window 1.0-30.0 d', [50.0, 0.01, 1.0, 1.0, 30.0], 169.579], ['K 50.0 c 0.01 p 1.0 window 5.0-5.0 d', [50.0, 0.01, 1.0, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.0 window 3.0-2.0 d', [50.0, 0.01, 1.0, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.0 window 0.0-0.0 d', [50.0, 0.01, 1.0, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.1 window 0.0-1.0 d', [50.0, 0.01, 1.1, 0.0, 1.0], 292.944], ['K 50.0 c 0.01 p 1.1 window 0.5-10.0 d', [50.0, 0.01, 1.1, 0.5, 10.0], 137.702], ['K 50.0 c 0.01 p 1.3 window 0.0-1.0 d', [50.0, 0.01, 1.3, 0.0, 1.0], 497.342]], [['K 50.0 c 0.01 p 1.1 window 1.0-30.0 d', [50.0, 0.01, 1.1, 1.0, 30.0], 143.672], ['K 50.0 c 0.01 p 1.1 window 5.0-5.0 d', [50.0, 0.01, 1.1, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.1 window 3.0-2.0 d', [50.0, 0.01, 1.1, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.1 window 0.0-0.0 d', [50.0, 0.01, 1.1, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.3 window 0.0-1.0 d', [50.0, 0.01, 1.3, 0.0, 1.0], 497.342], ['K 50.0 c 0.01 p 1.3 window 0.5-10.0 d', [50.0, 0.01, 1.3, 0.5, 10.0], 120.469], ['K 50.0 c 0.01 p 1.3 window 1.0-30.0 d', [50.0, 0.01, 1.3, 1.0, 30.0], 106.098], ['K 50.0 c 0.05 p 0.8 window 1.0-30.0 d', [50.0, 0.05, 0.8, 1.0, 30.0], 241.301]], [['K 50.0 c 0.01 p 1.3 window 5.0-5.0 d', [50.0, 0.01, 1.3, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.3 window 3.0-2.0 d', [50.0, 0.01, 1.3, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.3 window 0.0-0.0 d', [50.0, 0.01, 1.3, 0.0, 0.0], None], ['K 50.0 c 0.05 p 0.8 window 0.0-1.0 d', [50.0, 0.05, 0.8, 0.0, 1.0], 115.131], ['K 50.0 c 0.05 p 0.8 window 0.5-10.0 d', [50.0, 0.05, 0.8, 0.5, 10.0], 174.793], ['K 50.0 c 0.05 p 0.8 window 1.0-30.0 d', [50.0, 0.05, 0.8, 1.0, 30.0], 241.301], ['K 50.0 c 0.05 p 0.8 window 5.0-5.0 d', [50.0, 0.05, 0.8, 5.0, 5.0], None], ['K 50.0 c 0.05 p 1.3 window 0.5-10.0 d', [50.0, 0.05, 1.3, 0.5, 10.0], 116.0]], [['K 50.0 c 0.05 p 0.8 window 3.0-2.0 d', [50.0, 0.05, 0.8, 3.0, 2.0], None], ['K 50.0 c 0.05 p 0.8 window 0.0-0.0 d', [50.0, 0.05, 0.8, 0.0, 0.0], None], ['K 50.0 c 0.05 p 1.0 window 0.0-1.0 d', [50.0, 0.05, 1.0, 0.0, 1.0], 152.226], ['K 50.0 c 0.05 p 1.0 window 0.5-10.0 d', [50.0, 0.05, 1.0, 0.5, 10.0], 145.27], ['K 50.0 c 0.05 p 1.0 window 1.0-30.0 d', [50.0, 0.05, 1.0, 1.0, 30.0], 167.704], ['K 50.0 c 0.05 p 1.0 window 5.0-5.0 d', [50.0, 0.05, 1.0, 5.0, 5.0], None], ['K 50.0 c 0.05 p 1.1 window 0.0-1.0 d', [50.0, 0.05, 1.1, 0.0, 1.0], 177.075], ['K 200.0 c 0.01 p 1.1 window 0.0-1.0 d', [200.0, 0.01, 1.1, 0.0, 1.0], 1171.775]]]\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":"8382650b2fae0a61a58311af8f86d5d5834ba0f58e94a14a0c2fca92051d17f6","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(k, c, p, t1, t2):\n    if t1 < 0 or t2 <= t1:\n        return None\n    if abs(p - 1.0) < 1e-12:\n        n = k * (math.log(t2 + c) - math.log(t1 + c))\n    else:\n        n = k * ((t2 + c) ** (1 - p) - (t1 + c) ** (1 - p)) / (p - 1)\n    return round(n, 3)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['K 50.0 c 0.01 p 0.8 window 0.0-1.0 d', [50.0, 0.01, 0.8, 0.0, 1.0], 150.971], ['K 50.0 c 0.01 p 0.8 window 0.5-10.0 d', [50.0, 0.01, 0.8, 0.5, 10.0], 177.801], ['K 50.0 c 0.01 p 0.8 window 1.0-30.0 d', [50.0, 0.01, 0.8, 1.0, 30.0], 243.123], ['K 50.0 c 0.01 p 0.8 window 5.0-5.0 d', [50.0, 0.01, 0.8, 5.0, 5.0], None], ['K 50.0 c 0.01 p 0.8 window 3.0-2.0 d', [50.0, 0.01, 0.8, 3.0, 2.0], None], ['K 50.0 c 0.01 p 0.8 window 0.0-0.0 d', [50.0, 0.01, 0.8, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.0 window 0.0-1.0 d', [50.0, 0.01, 1.0, 0.0, 1.0], 230.756], ['K 50.0 c 0.01 p 1.0 window 0.5-10.0 d', [50.0, 0.01, 1.0, 0.5, 10.0], 148.846]], [['K 50.0 c 0.01 p 1.0 window 0.5-10.0 d', [50.0, 0.01, 1.0, 0.5, 10.0], 148.846], ['K 50.0 c 0.01 p 1.0 window 1.0-30.0 d', [50.0, 0.01, 1.0, 1.0, 30.0], 169.579], ['K 50.0 c 0.01 p 1.0 window 5.0-5.0 d', [50.0, 0.01, 1.0, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.0 window 3.0-2.0 d', [50.0, 0.01, 1.0, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.0 window 0.0-0.0 d', [50.0, 0.01, 1.0, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.1 window 0.0-1.0 d', [50.0, 0.01, 1.1, 0.0, 1.0], 292.944], ['K 50.0 c 0.01 p 1.1 window 0.5-10.0 d', [50.0, 0.01, 1.1, 0.5, 10.0], 137.702], ['K 50.0 c 0.01 p 1.3 window 0.0-1.0 d', [50.0, 0.01, 1.3, 0.0, 1.0], 497.342]], [['K 50.0 c 0.01 p 1.1 window 1.0-30.0 d', [50.0, 0.01, 1.1, 1.0, 30.0], 143.672], ['K 50.0 c 0.01 p 1.1 window 5.0-5.0 d', [50.0, 0.01, 1.1, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.1 window 3.0-2.0 d', [50.0, 0.01, 1.1, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.1 window 0.0-0.0 d', [50.0, 0.01, 1.1, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.3 window 0.0-1.0 d', [50.0, 0.01, 1.3, 0.0, 1.0], 497.342], ['K 50.0 c 0.01 p 1.3 window 0.5-10.0 d', [50.0, 0.01, 1.3, 0.5, 10.0], 120.469], ['K 50.0 c 0.01 p 1.3 window 1.0-30.0 d', [50.0, 0.01, 1.3, 1.0, 30.0], 106.098], ['K 50.0 c 0.05 p 0.8 window 1.0-30.0 d', [50.0, 0.05, 0.8, 1.0, 30.0], 241.301]], [['K 50.0 c 0.01 p 1.3 window 5.0-5.0 d', [50.0, 0.01, 1.3, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.3 window 3.0-2.0 d', [50.0, 0.01, 1.3, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.3 window 0.0-0.0 d', [50.0, 0.01, 1.3, 0.0, 0.0], None], ['K 50.0 c 0.05 p 0.8 window 0.0-1.0 d', [50.0, 0.05, 0.8, 0.0, 1.0], 115.131], ['K 50.0 c 0.05 p 0.8 window 0.5-10.0 d', [50.0, 0.05, 0.8, 0.5, 10.0], 174.793], ['K 50.0 c 0.05 p 0.8 window 1.0-30.0 d', [50.0, 0.05, 0.8, 1.0, 30.0], 241.301], ['K 50.0 c 0.05 p 0.8 window 5.0-5.0 d', [50.0, 0.05, 0.8, 5.0, 5.0], None], ['K 50.0 c 0.05 p 1.3 window 0.5-10.0 d', [50.0, 0.05, 1.3, 0.5, 10.0], 116.0]], [['K 50.0 c 0.05 p 0.8 window 3.0-2.0 d', [50.0, 0.05, 0.8, 3.0, 2.0], None], ['K 50.0 c 0.05 p 0.8 window 0.0-0.0 d', [50.0, 0.05, 0.8, 0.0, 0.0], None], ['K 50.0 c 0.05 p 1.0 window 0.0-1.0 d', [50.0, 0.05, 1.0, 0.0, 1.0], 152.226], ['K 50.0 c 0.05 p 1.0 window 0.5-10.0 d', [50.0, 0.05, 1.0, 0.5, 10.0], 145.27], ['K 50.0 c 0.05 p 1.0 window 1.0-30.0 d', [50.0, 0.05, 1.0, 1.0, 30.0], 167.704], ['K 50.0 c 0.05 p 1.0 window 5.0-5.0 d', [50.0, 0.05, 1.0, 5.0, 5.0], None], ['K 50.0 c 0.05 p 1.1 window 0.0-1.0 d', [50.0, 0.05, 1.1, 0.0, 1.0], 177.075], ['K 200.0 c 0.01 p 1.1 window 0.0-1.0 d', [200.0, 0.01, 1.1, 0.0, 1.0], 1171.775]]]\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":"ff2b06d4e58d0a379d0785efecadbb2fa6c848b9eeeabaf251fd934401e67d6c","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(k, c, p, t1, t2):\n    if t1 < 0 or t2 <= t1:\n        return None\n    if abs(p - 1.0) < 1e-12:\n        n = k * (math.log(t2 + c) - math.log(t1 + c))\n    else:\n        n = k * ((t1 + c) ** (1 - p) - (t2 + c) ** (1 - p)) / (p - 1)\n    return round(n, 3)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['K 50.0 c 0.01 p 0.8 window 0.0-1.0 d', [50.0, 0.01, 0.8, 0.0, 1.0], 150.971], ['K 50.0 c 0.01 p 0.8 window 0.5-10.0 d', [50.0, 0.01, 0.8, 0.5, 10.0], 177.801], ['K 50.0 c 0.01 p 0.8 window 1.0-30.0 d', [50.0, 0.01, 0.8, 1.0, 30.0], 243.123], ['K 50.0 c 0.01 p 0.8 window 5.0-5.0 d', [50.0, 0.01, 0.8, 5.0, 5.0], None], ['K 50.0 c 0.01 p 0.8 window 3.0-2.0 d', [50.0, 0.01, 0.8, 3.0, 2.0], None], ['K 50.0 c 0.01 p 0.8 window 0.0-0.0 d', [50.0, 0.01, 0.8, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.0 window 0.0-1.0 d', [50.0, 0.01, 1.0, 0.0, 1.0], 230.756], ['K 50.0 c 0.01 p 1.0 window 0.5-10.0 d', [50.0, 0.01, 1.0, 0.5, 10.0], 148.846]], [['K 50.0 c 0.01 p 1.0 window 0.5-10.0 d', [50.0, 0.01, 1.0, 0.5, 10.0], 148.846], ['K 50.0 c 0.01 p 1.0 window 1.0-30.0 d', [50.0, 0.01, 1.0, 1.0, 30.0], 169.579], ['K 50.0 c 0.01 p 1.0 window 5.0-5.0 d', [50.0, 0.01, 1.0, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.0 window 3.0-2.0 d', [50.0, 0.01, 1.0, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.0 window 0.0-0.0 d', [50.0, 0.01, 1.0, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.1 window 0.0-1.0 d', [50.0, 0.01, 1.1, 0.0, 1.0], 292.944], ['K 50.0 c 0.01 p 1.1 window 0.5-10.0 d', [50.0, 0.01, 1.1, 0.5, 10.0], 137.702], ['K 50.0 c 0.01 p 1.3 window 0.0-1.0 d', [50.0, 0.01, 1.3, 0.0, 1.0], 497.342]], [['K 50.0 c 0.01 p 1.1 window 1.0-30.0 d', [50.0, 0.01, 1.1, 1.0, 30.0], 143.672], ['K 50.0 c 0.01 p 1.1 window 5.0-5.0 d', [50.0, 0.01, 1.1, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.1 window 3.0-2.0 d', [50.0, 0.01, 1.1, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.1 window 0.0-0.0 d', [50.0, 0.01, 1.1, 0.0, 0.0], None], ['K 50.0 c 0.01 p 1.3 window 0.0-1.0 d', [50.0, 0.01, 1.3, 0.0, 1.0], 497.342], ['K 50.0 c 0.01 p 1.3 window 0.5-10.0 d', [50.0, 0.01, 1.3, 0.5, 10.0], 120.469], ['K 50.0 c 0.01 p 1.3 window 1.0-30.0 d', [50.0, 0.01, 1.3, 1.0, 30.0], 106.098], ['K 50.0 c 0.05 p 0.8 window 1.0-30.0 d', [50.0, 0.05, 0.8, 1.0, 30.0], 241.301]], [['K 50.0 c 0.01 p 1.3 window 5.0-5.0 d', [50.0, 0.01, 1.3, 5.0, 5.0], None], ['K 50.0 c 0.01 p 1.3 window 3.0-2.0 d', [50.0, 0.01, 1.3, 3.0, 2.0], None], ['K 50.0 c 0.01 p 1.3 window 0.0-0.0 d', [50.0, 0.01, 1.3, 0.0, 0.0], None], ['K 50.0 c 0.05 p 0.8 window 0.0-1.0 d', [50.0, 0.05, 0.8, 0.0, 1.0], 115.131], ['K 50.0 c 0.05 p 0.8 window 0.5-10.0 d', [50.0, 0.05, 0.8, 0.5, 10.0], 174.793], ['K 50.0 c 0.05 p 0.8 window 1.0-30.0 d', [50.0, 0.05, 0.8, 1.0, 30.0], 241.301], ['K 50.0 c 0.05 p 0.8 window 5.0-5.0 d', [50.0, 0.05, 0.8, 5.0, 5.0], None], ['K 50.0 c 0.05 p 1.3 window 0.5-10.0 d', [50.0, 0.05, 1.3, 0.5, 10.0], 116.0]], [['K 50.0 c 0.05 p 0.8 window 3.0-2.0 d', [50.0, 0.05, 0.8, 3.0, 2.0], None], ['K 50.0 c 0.05 p 0.8 window 0.0-0.0 d', [50.0, 0.05, 0.8, 0.0, 0.0], None], ['K 50.0 c 0.05 p 1.0 window 0.0-1.0 d', [50.0, 0.05, 1.0, 0.0, 1.0], 152.226], ['K 50.0 c 0.05 p 1.0 window 0.5-10.0 d', [50.0, 0.05, 1.0, 0.5, 10.0], 145.27], ['K 50.0 c 0.05 p 1.0 window 1.0-30.0 d', [50.0, 0.05, 1.0, 1.0, 30.0], 167.704], ['K 50.0 c 0.05 p 1.0 window 5.0-5.0 d', [50.0, 0.05, 1.0, 5.0, 5.0], None], ['K 50.0 c 0.05 p 1.1 window 0.0-1.0 d', [50.0, 0.05, 1.1, 0.0, 1.0], 177.075], ['K 200.0 c 0.01 p 1.1 window 0.0-1.0 d', [200.0, 0.01, 1.1, 0.0, 1.0], 1171.775]]]\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":"Stipulated deterministic teaching model of a seismological magnitude procedure; constants and tables are fixed by the contract and no claim of agency or standards conformance is made. 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-seismic_magnitude_estimation-omori-utsu-count-integral-bound-order","generated_at":"2026-09-29T14:48:31.262384+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Aftershock forecasts integrate the Omori-Utsu rate over the forecast window.","repair":"Use ((t1+c)^(1-p) - (t2+c)^(1-p))/(p-1).","root_cause":"The antiderivative is evaluated upper minus lower with the (p-1) denominator.","sha256":"a61c339e4423d9747b88fa73ddba337e5a0b2aac9b43489646e86aef2e074ff7","title":"Omori-Utsu expected aftershock count: integral bound order · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.996,"exit_code":1,"observations":[{"actual":-150.971,"check":"K 50.0 c 0.01 p 0.8 window 0.0-1.0 d","expected":150.971,"passed":false},{"actual":-177.801,"check":"K 50.0 c 0.01 p 0.8 window 0.5-10.0 d","expected":177.801,"passed":false},{"actual":-243.123,"check":"K 50.0 c 0.01 p 0.8 window 1.0-30.0 d","expected":243.123,"passed":false},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 5.0-5.0 d","expected":null,"passed":true},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 3.0-2.0 d","expected":null,"passed":true},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 0.0-0.0 d","expected":null,"passed":true},{"actual":230.756,"check":"K 50.0 c 0.01 p 1.0 window 0.0-1.0 d","expected":230.756,"passed":true},{"actual":148.846,"check":"K 50.0 c 0.01 p 1.0 window 0.5-10.0 d","expected":148.846,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"K 50.0 c 0.01 p 0.8 window 0.0-1.0 d\", \"actual\": -150.971, \"expected\": 150.971, \"passed\": false}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 0.5-10.0 d\", \"actual\": -177.801, \"expected\": 177.801, \"passed\": false}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 1.0-30.0 d\", \"actual\": -243.123, \"expected\": 243.123, \"passed\": false}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 5.0-5.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 3.0-2.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 0.0-0.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 1.0 window 0.0-1.0 d\", \"actual\": 230.756, \"expected\": 230.756, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 1.0 window 0.5-10.0 d\", \"actual\": 148.846, \"expected\": 148.846, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.419,"exit_code":1,"observations":[{"actual":-150.971,"check":"K 50.0 c 0.01 p 0.8 window 0.0-1.0 d","expected":150.971,"passed":false},{"actual":-177.801,"check":"K 50.0 c 0.01 p 0.8 window 0.5-10.0 d","expected":177.801,"passed":false},{"actual":-243.123,"check":"K 50.0 c 0.01 p 0.8 window 1.0-30.0 d","expected":243.123,"passed":false},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 5.0-5.0 d","expected":null,"passed":true},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 3.0-2.0 d","expected":null,"passed":true},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 0.0-0.0 d","expected":null,"passed":true},{"actual":230.756,"check":"K 50.0 c 0.01 p 1.0 window 0.0-1.0 d","expected":230.756,"passed":true},{"actual":148.846,"check":"K 50.0 c 0.01 p 1.0 window 0.5-10.0 d","expected":148.846,"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"K 50.0 c 0.01 p 0.8 window 0.0-1.0 d\", \"actual\": -150.971, \"expected\": 150.971, \"passed\": false}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 0.5-10.0 d\", \"actual\": -177.801, \"expected\": 177.801, \"passed\": false}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 1.0-30.0 d\", \"actual\": -243.123, \"expected\": 243.123, \"passed\": false}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 5.0-5.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 3.0-2.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 0.0-0.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 1.0 window 0.0-1.0 d\", \"actual\": 230.756, \"expected\": 230.756, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 1.0 window 0.5-10.0 d\", \"actual\": 148.846, \"expected\": 148.846, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":40.1,"exit_code":0,"observations":[{"actual":150.971,"check":"K 50.0 c 0.01 p 0.8 window 0.0-1.0 d","expected":150.971,"passed":true},{"actual":177.801,"check":"K 50.0 c 0.01 p 0.8 window 0.5-10.0 d","expected":177.801,"passed":true},{"actual":243.123,"check":"K 50.0 c 0.01 p 0.8 window 1.0-30.0 d","expected":243.123,"passed":true},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 5.0-5.0 d","expected":null,"passed":true},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 3.0-2.0 d","expected":null,"passed":true},{"actual":null,"check":"K 50.0 c 0.01 p 0.8 window 0.0-0.0 d","expected":null,"passed":true},{"actual":230.756,"check":"K 50.0 c 0.01 p 1.0 window 0.0-1.0 d","expected":230.756,"passed":true},{"actual":148.846,"check":"K 50.0 c 0.01 p 1.0 window 0.5-10.0 d","expected":148.846,"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"K 50.0 c 0.01 p 0.8 window 0.0-1.0 d\", \"actual\": 150.971, \"expected\": 150.971, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 0.5-10.0 d\", \"actual\": 177.801, \"expected\": 177.801, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 1.0-30.0 d\", \"actual\": 243.123, \"expected\": 243.123, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 5.0-5.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 3.0-2.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 0.8 window 0.0-0.0 d\", \"actual\": null, \"expected\": null, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 1.0 window 0.0-1.0 d\", \"actual\": 230.756, \"expected\": 230.756, \"passed\": true}, {\"check\": \"K 50.0 c 0.01 p 1.0 window 0.5-10.0 d\", \"actual\": 148.846, \"expected\": 148.846, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}