{"abstract":"A stock that starts at equilibrium is reported as converging in year 1.","category":"Ecological population dynamics","checks":7,"contract":"N[t+1] = r0*N/(1+(r0-1)*N/K); equilibrium K if r0>1 else 0; band = 0.01*K; hit = first year (0 = start) with |N-eq|<=band, else None; return [trajectory rounded 4, equilibrium, hit]; None for invalid inputs.","contract_signature":"n0, r0, k, years","evaluation_group":"w2-ecopop-beverton-holt","failed_approach":"Labelling an initially converged stock as year 1 shifts the answer.","family":"w2-ecopop-beverton-holt-initial-state-check","id":"FA-65401","implementations":{"attempt":{"sha256":"cc08bd8f014a5e5999a19b442ae89ef1122653c30d438ec0d68d0eb43cbd5f87","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(n0, r0, k, years):\n    if k <= 0 or r0 <= 0 or n0 < 0:\n        return None\n    eq = float(k) if r0 > 1 else 0.0\n    band = 0.01 * k\n    n = float(n0)\n    traj = []\n    hit = 1 if abs(n - eq) <= band else None\n    for year in range(1, years + 1):\n        n = r0 * n / (1 + (r0 - 1) * n / k)\n        traj.append(round(n, 4))\n        if hit is None and abs(n - eq) <= band:\n            hit = year\n    return [traj, eq, hit]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('control: herring recruitment',\n   (50, 3.0, 1000, 10),\n   [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783],\n    1000.0,\n    7]),\n  ('control: slow approach',\n   (10, 1.5, 500, 12),\n   [[14.8515,\n     21.9512,\n     32.2196,\n     46.8208,\n     67.09,\n     94.3079,\n     129.2706,\n     171.709,\n     219.8186,\n     270.309,\n     319.1849,\n     362.9343],\n    500.0,\n    None]),\n  ('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: declining r0 half',\n   (400, 0.5, 1000, 8),\n   [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5])],\n [('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: declining r0 half',\n   (400, 0.5, 1000, 8),\n   [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5]),\n  ('control: invalid r0', (100, 0.0, 1000, 5), None),\n  ('control: never reaches band',\n   (1, 1.2, 10000, 5),\n   [[1.2, 1.4399, 1.7279, 2.0734, 2.4879], 10000.0, None])],\n [('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5]),\n  ('control: invalid r0', (100, 0.0, 1000, 5), None),\n  ('control: never reaches band', (1, 1.2, 10000, 5), [[1.2, 1.4399, 1.7279, 2.0734, 2.4879], 10000.0, None]),\n  ('control: one year from band', (985, 2.0, 1000, 4), [[992.4433, 996.2073, 998.1001, 999.0491], 1000.0, 1]),\n  ('control: small capacity',\n   (2, 4.0, 20, 6),\n   [[6.1538, 12.8, 17.5342, 19.3208, 19.8258, 19.9562], 20.0, 5])],\n [('control: herring recruitment',\n   (50, 3.0, 1000, 10),\n   [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783],\n    1000.0,\n    7]),\n  ('control: slow approach',\n   (10, 1.5, 500, 12),\n   [[14.8515,\n     21.9512,\n     32.2196,\n     46.8208,\n     67.09,\n     94.3079,\n     129.2706,\n     171.709,\n     219.8186,\n     270.309,\n     319.1849,\n     362.9343],\n    500.0,\n    None]),\n  ('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: one year from band', (985, 2.0, 1000, 4), [[992.4433, 996.2073, 998.1001, 999.0491], 1000.0, 1]),\n  ('control: small capacity',\n   (2, 4.0, 20, 6),\n   [[6.1538, 12.8, 17.5342, 19.3208, 19.8258, 19.9562], 20.0, 5])],\n [('control: slow approach',\n   (10, 1.5, 500, 12),\n   [[14.8515,\n     21.9512,\n     32.2196,\n     46.8208,\n     67.09,\n     94.3079,\n     129.2706,\n     171.709,\n     219.8186,\n     270.309,\n     319.1849,\n     362.9343],\n    500.0,\n    None]),\n  ('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: declining r0 half',\n   (400, 0.5, 1000, 8),\n   [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5]),\n  ('control: invalid r0', (100, 0.0, 1000, 5), None)]]\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":"c6cc26fa8170ccaeb54e5618a02b6ad29eabe808851448033de672814f0ea4c1","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(n0, r0, k, years):\n    if k <= 0 or r0 <= 0 or n0 < 0:\n        return None\n    eq = float(k) if r0 > 1 else 0.0\n    band = 0.01 * k\n    n = float(n0)\n    traj = []\n    hit = None\n    for year in range(1, years + 1):\n        n = r0 * n / (1 + (r0 - 1) * n / k)\n        traj.append(round(n, 4))\n        if hit is None and abs(n - eq) <= band:\n            hit = year\n    return [traj, eq, hit]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('control: herring recruitment',\n   (50, 3.0, 1000, 10),\n   [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783],\n    1000.0,\n    7]),\n  ('control: slow approach',\n   (10, 1.5, 500, 12),\n   [[14.8515,\n     21.9512,\n     32.2196,\n     46.8208,\n     67.09,\n     94.3079,\n     129.2706,\n     171.709,\n     219.8186,\n     270.309,\n     319.1849,\n     362.9343],\n    500.0,\n    None]),\n  ('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: declining r0 half',\n   (400, 0.5, 1000, 8),\n   [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5])],\n [('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: declining r0 half',\n   (400, 0.5, 1000, 8),\n   [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5]),\n  ('control: invalid r0', (100, 0.0, 1000, 5), None),\n  ('control: never reaches band',\n   (1, 1.2, 10000, 5),\n   [[1.2, 1.4399, 1.7279, 2.0734, 2.4879], 10000.0, None])],\n [('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5]),\n  ('control: invalid r0', (100, 0.0, 1000, 5), None),\n  ('control: never reaches band', (1, 1.2, 10000, 5), [[1.2, 1.4399, 1.7279, 2.0734, 2.4879], 10000.0, None]),\n  ('control: one year from band', (985, 2.0, 1000, 4), [[992.4433, 996.2073, 998.1001, 999.0491], 1000.0, 1]),\n  ('control: small capacity',\n   (2, 4.0, 20, 6),\n   [[6.1538, 12.8, 17.5342, 19.3208, 19.8258, 19.9562], 20.0, 5])],\n [('control: herring recruitment',\n   (50, 3.0, 1000, 10),\n   [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783],\n    1000.0,\n    7]),\n  ('control: slow approach',\n   (10, 1.5, 500, 12),\n   [[14.8515,\n     21.9512,\n     32.2196,\n     46.8208,\n     67.09,\n     94.3079,\n     129.2706,\n     171.709,\n     219.8186,\n     270.309,\n     319.1849,\n     362.9343],\n    500.0,\n    None]),\n  ('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: one year from band', (985, 2.0, 1000, 4), [[992.4433, 996.2073, 998.1001, 999.0491], 1000.0, 1]),\n  ('control: small capacity',\n   (2, 4.0, 20, 6),\n   [[6.1538, 12.8, 17.5342, 19.3208, 19.8258, 19.9562], 20.0, 5])],\n [('control: slow approach',\n   (10, 1.5, 500, 12),\n   [[14.8515,\n     21.9512,\n     32.2196,\n     46.8208,\n     67.09,\n     94.3079,\n     129.2706,\n     171.709,\n     219.8186,\n     270.309,\n     319.1849,\n     362.9343],\n    500.0,\n    None]),\n  ('regression: start at capacity', (1000, 2.0, 1000, 4), [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0]),\n  ('regression: start within band', (995, 2.0, 1000, 3), [[997.4937, 998.7453, 999.3723], 1000.0, 0]),\n  ('control: replacement r0 one', (200, 1.0, 1000, 4), [[200.0, 200.0, 200.0, 200.0], 0.0, None]),\n  ('control: declining r0 half',\n   (400, 0.5, 1000, 8),\n   [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7]),\n  ('control: above capacity',\n   (3000, 2.5, 1000, 6),\n   [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5]),\n  ('control: invalid r0', (100, 0.0, 1000, 5), None)]]\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-ecopop-beverton-holt-initial-state-check","generated_at":"2026-09-29T14:47:33.471331+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Population projections set harvest quotas, conservation status and pest-control timing; a wrong update order, boundary or rate conversion silently changes management advice.","root_cause":"Year 0 is never tested against the band.","sha256":"619a55c1247539fe165b53e0d94f7cf981bd19bb24afadf39c3278035ad1de9d","title":"Beverton-Holt recruitment convergence: initial state check · 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":44.166,"exit_code":1,"observations":[{"actual":[[136.3636,321.4286,586.9565,810.0,927.4809,974.5989,991.3871,997.1125,999.0356,999.6783],1000.0,7],"check":"control: herring recruitment","expected":[[136.3636,321.4286,586.9565,810.0,927.4809,974.5989,991.3871,997.1125,999.0356,999.6783],1000.0,7],"passed":true},{"actual":[[14.8515,21.9512,32.2196,46.8208,67.09,94.3079,129.2706,171.709,219.8186,270.309,319.1849,362.9343],500.0,null],"check":"control: slow approach","expected":[[14.8515,21.9512,32.2196,46.8208,67.09,94.3079,129.2706,171.709,219.8186,270.309,319.1849,362.9343],500.0,null],"passed":true},{"actual":[[1000.0,1000.0,1000.0,1000.0],1000.0,1],"check":"regression: start at capacity","expected":[[1000.0,1000.0,1000.0,1000.0],1000.0,0],"passed":false},{"actual":[[997.4937,998.7453,999.3723],1000.0,1],"check":"regression: start within band","expected":[[997.4937,998.7453,999.3723],1000.0,0],"passed":false},{"actual":[[200.0,200.0,200.0,200.0],0.0,null],"check":"control: replacement r0 one","expected":[[200.0,200.0,200.0,200.0],0.0,null],"passed":true},{"actual":[[250.0,142.8571,76.9231,40.0,20.4082,10.3093,5.1813,2.5974],0.0,7],"check":"control: declining r0 half","expected":[[250.0,142.8571,76.9231,40.0,20.4082,10.3093,5.1813,2.5974],0.0,7],"passed":true},{"actual":[[1363.6364,1119.403,1044.5682,1017.363,1006.8736,1002.7381],1000.0,5],"check":"control: above capacity","expected":[[1363.6364,1119.403,1044.5682,1017.363,1006.8736,1002.7381],1000.0,5],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control: herring recruitment\", \"actual\": [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783], 1000.0, 7], \"expected\": [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783], 1000.0, 7], \"passed\": true}, {\"check\": \"control: slow approach\", \"actual\": [[14.8515, 21.9512, 32.2196, 46.8208, 67.09, 94.3079, 129.2706, 171.709, 219.8186, 270.309, 319.1849, 362.9343], 500.0, null], \"expected\": [[14.8515, 21.9512, 32.2196, 46.8208, 67.09, 94.3079, 129.2706, 171.709, 219.8186, 270.309, 319.1849, 362.9343], 500.0, null], \"passed\": true}, {\"check\": \"regression: start at capacity\", \"actual\": [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 1], \"expected\": [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0], \"passed\": false}, {\"check\": \"regression: start within band\", \"actual\": [[997.4937, 998.7453, 999.3723], 1000.0, 1], \"expected\": [[997.4937, 998.7453, 999.3723], 1000.0, 0], \"passed\": false}, {\"check\": \"control: replacement r0 one\", \"actual\": [[200.0, 200.0, 200.0, 200.0], 0.0, null], \"expected\": [[200.0, 200.0, 200.0, 200.0], 0.0, null], \"passed\": true}, {\"check\": \"control: declining r0 half\", \"actual\": [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7], \"expected\": [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7], \"passed\": true}, {\"check\": \"control: above capacity\", \"actual\": [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5], \"expected\": [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":44.076,"exit_code":1,"observations":[{"actual":[[136.3636,321.4286,586.9565,810.0,927.4809,974.5989,991.3871,997.1125,999.0356,999.6783],1000.0,7],"check":"control: herring recruitment","expected":[[136.3636,321.4286,586.9565,810.0,927.4809,974.5989,991.3871,997.1125,999.0356,999.6783],1000.0,7],"passed":true},{"actual":[[14.8515,21.9512,32.2196,46.8208,67.09,94.3079,129.2706,171.709,219.8186,270.309,319.1849,362.9343],500.0,null],"check":"control: slow approach","expected":[[14.8515,21.9512,32.2196,46.8208,67.09,94.3079,129.2706,171.709,219.8186,270.309,319.1849,362.9343],500.0,null],"passed":true},{"actual":[[1000.0,1000.0,1000.0,1000.0],1000.0,1],"check":"regression: start at capacity","expected":[[1000.0,1000.0,1000.0,1000.0],1000.0,0],"passed":false},{"actual":[[997.4937,998.7453,999.3723],1000.0,1],"check":"regression: start within band","expected":[[997.4937,998.7453,999.3723],1000.0,0],"passed":false},{"actual":[[200.0,200.0,200.0,200.0],0.0,null],"check":"control: replacement r0 one","expected":[[200.0,200.0,200.0,200.0],0.0,null],"passed":true},{"actual":[[250.0,142.8571,76.9231,40.0,20.4082,10.3093,5.1813,2.5974],0.0,7],"check":"control: declining r0 half","expected":[[250.0,142.8571,76.9231,40.0,20.4082,10.3093,5.1813,2.5974],0.0,7],"passed":true},{"actual":[[1363.6364,1119.403,1044.5682,1017.363,1006.8736,1002.7381],1000.0,5],"check":"control: above capacity","expected":[[1363.6364,1119.403,1044.5682,1017.363,1006.8736,1002.7381],1000.0,5],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"control: herring recruitment\", \"actual\": [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783], 1000.0, 7], \"expected\": [[136.3636, 321.4286, 586.9565, 810.0, 927.4809, 974.5989, 991.3871, 997.1125, 999.0356, 999.6783], 1000.0, 7], \"passed\": true}, {\"check\": \"control: slow approach\", \"actual\": [[14.8515, 21.9512, 32.2196, 46.8208, 67.09, 94.3079, 129.2706, 171.709, 219.8186, 270.309, 319.1849, 362.9343], 500.0, null], \"expected\": [[14.8515, 21.9512, 32.2196, 46.8208, 67.09, 94.3079, 129.2706, 171.709, 219.8186, 270.309, 319.1849, 362.9343], 500.0, null], \"passed\": true}, {\"check\": \"regression: start at capacity\", \"actual\": [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 1], \"expected\": [[1000.0, 1000.0, 1000.0, 1000.0], 1000.0, 0], \"passed\": false}, {\"check\": \"regression: start within band\", \"actual\": [[997.4937, 998.7453, 999.3723], 1000.0, 1], \"expected\": [[997.4937, 998.7453, 999.3723], 1000.0, 0], \"passed\": false}, {\"check\": \"control: replacement r0 one\", \"actual\": [[200.0, 200.0, 200.0, 200.0], 0.0, null], \"expected\": [[200.0, 200.0, 200.0, 200.0], 0.0, null], \"passed\": true}, {\"check\": \"control: declining r0 half\", \"actual\": [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7], \"expected\": [[250.0, 142.8571, 76.9231, 40.0, 20.4082, 10.3093, 5.1813, 2.5974], 0.0, 7], \"passed\": true}, {\"check\": \"control: above capacity\", \"actual\": [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5], \"expected\": [[1363.6364, 1119.403, 1044.5682, 1017.363, 1006.8736, 1002.7381], 1000.0, 5], \"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."}}