{"abstract":"The epidemic never reaches an unseeded patch.","category":"Epidemic compartment models","checks":7,"contract":"Each day: local frequency-dependent SIR in each patch using the current patch size, then every compartment exchanges fraction travel of each patch simultaneously; return [S pair, I pair, R pair] rounded 3.","contract_signature":"beta, gamma, pops, i0s, travel, days","evaluation_group":"w2-epidemic-two-patch-sir","failed_approach":"Excluding recovered travellers distorts patch immunity.","family":"w2-epidemic-two-patch-sir-infected-mobility","id":"FA-65311","implementations":{"attempt":{"sha256":"fb9ad9df9ae3c4eb8f0d47d59c549f2054018bf78aac81f42b5cbb8f172e4ae7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(beta, gamma, pops, i0s, travel, days):\n    s = [float(pops[k] - i0s[k]) for k in range(2)]\n    i = [float(x) for x in i0s]\n    r = [0.0, 0.0]\n    for _ in range(days):\n        n = [s[k] + i[k] + r[k] for k in range(2)]\n        inf = [beta * s[k] * i[k] / n[k] if n[k] > 0 else 0.0 for k in range(2)]\n        rec = [gamma * i[k] for k in range(2)]\n        for k in range(2):\n            s[k] -= inf[k]\n            i[k] += inf[k] - rec[k]\n            r[k] += rec[k]\n        for comp in (s, i):\n            a, b = comp[0] * travel, comp[1] * travel\n            comp[0] += b - a\n            comp[1] += a - b\n    return [[round(x, 3) for x in s], [round(x, 3) for x in i], [round(x, 3) for x in r]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])]]\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":"1f3cb3866d668d0fe5fea58f6346fd385853c92aec4dfb23441797c68f7bab6a","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(beta, gamma, pops, i0s, travel, days):\n    s = [float(pops[k] - i0s[k]) for k in range(2)]\n    i = [float(x) for x in i0s]\n    r = [0.0, 0.0]\n    for _ in range(days):\n        n = [s[k] + i[k] + r[k] for k in range(2)]\n        inf = [beta * s[k] * i[k] / n[k] if n[k] > 0 else 0.0 for k in range(2)]\n        rec = [gamma * i[k] for k in range(2)]\n        for k in range(2):\n            s[k] -= inf[k]\n            i[k] += inf[k] - rec[k]\n            r[k] += rec[k]\n        for comp in (s, r):\n            a, b = comp[0] * travel, comp[1] * travel\n            comp[0] += b - a\n            comp[1] += a - b\n    return [[round(x, 3) for x in s], [round(x, 3) for x in i], [round(x, 3) for x in r]]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])],\n [('regression: city and town',\n   (0.5, 0.2, [1000, 200], [10, 0], 0.05, 10),\n   [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]]),\n  ('control: isolated patches',\n   (0.4, 0.2, [500, 500], [5, 0], 0.0, 8),\n   [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]]),\n  ('regression: high mobility',\n   (0.6, 0.25, [300, 900], [0, 9], 0.3, 6),\n   [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]]),\n  ('regression: both seeded',\n   (0.3, 0.1, [800, 400], [4, 4], 0.1, 12),\n   [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]]),\n  ('control: boundary zero days',\n   (0.5, 0.2, [100, 100], [1, 1], 0.1, 0),\n   [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]]),\n  ('regression: equal patches',\n   (0.5, 0.2, [400, 400], [8, 0], 0.2, 5),\n   [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]]),\n  ('regression: tiny second patch',\n   (0.7, 0.3, [2000, 50], [20, 0], 0.02, 9),\n   [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]])]]\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":"Deterministic bounded teaching model with a stipulated contract; not a validated scientific or public-health modelling library. 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-epidemic-two-patch-sir-infected-mobility","generated_at":"2026-09-29T14:47:32.674995+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Compartmental epidemic calculations drive outbreak forecasts, vaccine targets and hospital planning; a single wrong flow, rate conversion or boundary silently changes every downstream number.","root_cause":"Infectious individuals are excluded from travel.","sha256":"427014065bc6e344406835eadd96aee7bffa89f6d9487eedf0e978a95ee8e729","title":"Two-patch SIR with daily migration: infected mobility · 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":41.885,"exit_code":1,"observations":[{"actual":[[612.65,396.679],[74.336,38.015],[59.609,18.711]],"check":"regression: city and town","expected":[[611.99,397.105],[74.874,37.65],[52.607,25.773]],"passed":false},{"actual":[[464.204,500.0],[19.812,0.0],[15.984,0.0]],"check":"control: isolated patches","expected":[[464.204,500.0],[19.812,0.0],[15.984,0.0]],"passed":true},{"actual":[[557.654,559.836],[25.351,25.503],[13.47,18.187]],"check":"regression: high mobility","expected":[[557.673,559.801],[25.331,25.533],[15.766,15.895]],"passed":false},{"actual":[[565.741,538.405],[32.741,32.614],[15.276,15.223]],"check":"regression: both seeded","expected":[[565.74,538.406],[32.741,32.614],[15.262,15.237]],"passed":false},{"actual":[[99.0,99.0],[1.0,1.0],[0.0,0.0]],"check":"control: boundary zero days","expected":[[99.0,99.0],[1.0,1.0],[0.0,0.0]],"passed":true},{"actual":[[377.261,380.417],[15.117,13.049],[9.617,4.539]],"check":"regression: equal patches","expected":[[377.224,380.426],[15.15,13.039],[7.625,6.535]],"passed":false},{"actual":[[1243.051,262.597],[241.23,47.027],[228.727,27.368]],"check":"regression: tiny second patch","expected":[[1241.271,264.206],[242.617,45.744],[216.332,39.829]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: city and town\", \"actual\": [[612.65, 396.679], [74.336, 38.015], [59.609, 18.711]], \"expected\": [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]], \"passed\": false}, {\"check\": \"control: isolated patches\", \"actual\": [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]], \"expected\": [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]], \"passed\": true}, {\"check\": \"regression: high mobility\", \"actual\": [[557.654, 559.836], [25.351, 25.503], [13.47, 18.187]], \"expected\": [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]], \"passed\": false}, {\"check\": \"regression: both seeded\", \"actual\": [[565.741, 538.405], [32.741, 32.614], [15.276, 15.223]], \"expected\": [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]], \"passed\": false}, {\"check\": \"control: boundary zero days\", \"actual\": [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]], \"expected\": [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]], \"passed\": true}, {\"check\": \"regression: equal patches\", \"actual\": [[377.261, 380.417], [15.117, 13.049], [9.617, 4.539]], \"expected\": [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]], \"passed\": false}, {\"check\": \"regression: tiny second patch\", \"actual\": [[1243.051, 262.597], [241.23, 47.027], [228.727, 27.368]], \"expected\": [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.692,"exit_code":1,"observations":[{"actual":[[587.893,430.529],[104.983,0.0],[65.042,11.552]],"check":"regression: city and town","expected":[[611.99,397.105],[74.874,37.65],[52.607,25.773]],"passed":false},{"actual":[[464.204,500.0],[19.812,0.0],[15.984,0.0]],"check":"control: isolated patches","expected":[[464.204,500.0],[19.812,0.0],[15.984,0.0]],"passed":true},{"actual":[[564.757,555.204],[0.0,48.808],[12.924,18.307]],"check":"regression: high mobility","expected":[[557.673,559.801],[25.331,25.533],[15.766,15.895]],"passed":false},{"actual":[[565.68,538.465],[32.893,32.463],[15.285,15.215]],"check":"regression: both seeded","expected":[[565.74,538.406],[32.741,32.614],[15.262,15.237]],"passed":false},{"actual":[[99.0,99.0],[1.0,1.0],[0.0,0.0]],"check":"control: boundary zero days","expected":[[99.0,99.0],[1.0,1.0],[0.0,0.0]],"passed":true},{"actual":[[373.353,385.239],[27.368,0.0],[9.412,4.628]],"check":"regression: equal patches","expected":[[377.224,380.426],[15.15,13.039],[7.625,6.535]],"passed":false},{"actual":[[1205.061,314.427],[277.356,0.0],[237.92,15.236]],"check":"regression: tiny second patch","expected":[[1241.271,264.206],[242.617,45.744],[216.332,39.829]],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: city and town\", \"actual\": [[587.893, 430.529], [104.983, 0.0], [65.042, 11.552]], \"expected\": [[611.99, 397.105], [74.874, 37.65], [52.607, 25.773]], \"passed\": false}, {\"check\": \"control: isolated patches\", \"actual\": [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]], \"expected\": [[464.204, 500.0], [19.812, 0.0], [15.984, 0.0]], \"passed\": true}, {\"check\": \"regression: high mobility\", \"actual\": [[564.757, 555.204], [0.0, 48.808], [12.924, 18.307]], \"expected\": [[557.673, 559.801], [25.331, 25.533], [15.766, 15.895]], \"passed\": false}, {\"check\": \"regression: both seeded\", \"actual\": [[565.68, 538.465], [32.893, 32.463], [15.285, 15.215]], \"expected\": [[565.74, 538.406], [32.741, 32.614], [15.262, 15.237]], \"passed\": false}, {\"check\": \"control: boundary zero days\", \"actual\": [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]], \"expected\": [[99.0, 99.0], [1.0, 1.0], [0.0, 0.0]], \"passed\": true}, {\"check\": \"regression: equal patches\", \"actual\": [[373.353, 385.239], [27.368, 0.0], [9.412, 4.628]], \"expected\": [[377.224, 380.426], [15.15, 13.039], [7.625, 6.535]], \"passed\": false}, {\"check\": \"regression: tiny second patch\", \"actual\": [[1205.061, 314.427], [277.356, 0.0], [237.92, 15.236]], \"expected\": [[1241.271, 264.206], [242.617, 45.744], [216.332, 39.829]], \"passed\": false}], \"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."}}