{"abstract":"Each patient occupies a bed one day longer than the length of stay.","category":"Epidemic compartment models","checks":7,"contract":"admissions[t] = hosp_frac*infections[t-delay] (0 before the delay); each admission occupies a bed on days t..t+los-1; return [admissions rounded 4, occupancy rounded 4, earliest peak day].","evaluation_group":"w2-epidemic-hospital-occupancy","failed_approach":"Flooring at day 1 silently discards day-0 admissions.","family":"w2-epidemic-hospital-occupancy-stay-window-start","id":"FA-65201","implementations":{"attempt":{"sha256":"17fec468952d5b417e8faf974e262b4723bc6bf569018a5d297089765fe1d4de","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(infections, hosp_frac, delay, los):\n    n = len(infections)\n    adm = [hosp_frac * infections[t - delay] if t - delay >= 0 else 0.0 for t in range(n)]\n    occ = []\n    for t in range(n):\n        lo = max(1, t - los + 1)\n        occ.append(round(sum(adm[lo:t + 1]), 4))\n    peak = max(range(n), key=lambda t: (occ[t], -t)) if n else None\n    return [[round(a, 4) for a in adm], occ, peak]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('regression: plateau tie',\n   ([10, 10, 10, 10, 10, 10, 10], 0.05, 1, 3),\n   [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('regression: plateau tie',\n   ([10, 10, 10, 10, 10, 10, 10], 0.05, 1, 3),\n   [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])]]\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":"4dc63c6b22ceab60d8fd0e3edba636d728886728ae2096c3b324f43e66d99980","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(infections, hosp_frac, delay, los):\n    n = len(infections)\n    adm = [hosp_frac * infections[t - delay] if t - delay >= 0 else 0.0 for t in range(n)]\n    occ = []\n    for t in range(n):\n        lo = max(0, t - los)\n        occ.append(round(sum(adm[lo:t + 1]), 4))\n    peak = max(range(n), key=lambda t: (occ[t], -t)) if n else None\n    return [[round(a, 4) for a in adm], occ, peak]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('regression: plateau tie',\n   ([10, 10, 10, 10, 10, 10, 10], 0.05, 1, 3),\n   [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('regression: plateau tie',\n   ([10, 10, 10, 10, 10, 10, 10], 0.05, 1, 3),\n   [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])]]\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":"9172a5dbee393f3ab877ee891741ffad2a284d5c4f49f978ccd9341a342a1608","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\nimport math\nN = 1\nobservations = []\ndef solve(infections, hosp_frac, delay, los):\n    n = len(infections)\n    adm = [hosp_frac * infections[t - delay] if t - delay >= 0 else 0.0 for t in range(n)]\n    occ = []\n    for t in range(n):\n        lo = max(0, t - los + 1)\n        occ.append(round(sum(adm[lo:t + 1]), 4))\n    peak = max(range(n), key=lambda t: (occ[t], -t)) if n else None\n    return [[round(a, 4) for a in adm], occ, peak]\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('regression: plateau tie',\n   ([10, 10, 10, 10, 10, 10, 10], 0.05, 1, 3),\n   [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('regression: no delay one day stay',\n   ([5, 10, 15, 10, 5], 0.2, 0, 1),\n   [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2]),\n  ('regression: plateau tie',\n   ([10, 10, 10, 10, 10, 10, 10], 0.05, 1, 3),\n   [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2])],\n [('regression: wave with 3 day delay',\n   ([10, 20, 40, 60, 50, 30, 20, 10, 5], 0.1, 3, 4),\n   [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8]),\n  ('control: long stay',\n   ([100, 80, 60, 40, 20, 10, 5, 0], 0.03, 2, 6),\n   [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7]),\n  ('control: delay beyond series', ([1, 2, 3], 0.5, 5, 2), [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0]),\n  ('control: empty series', ([], 0.1, 1, 3), [[], [], None]),\n  ('regression: twin peaks',\n   ([0, 30, 0, 0, 30, 0, 0, 0], 0.1, 1, 2),\n   [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2]),\n  ('control: rising',\n   ([1, 3, 7, 12, 20, 33], 0.08, 2, 5),\n   [[0.0, 0.0, 0.08, 0.24, 0.56, 0.96], [0.0, 0.0, 0.08, 0.32, 0.88, 1.84], 5]),\n  ('regression: near-tie peaks',\n   ([10, 12, 10, 0, 11.8, 12.1, 0, 0], 0.5, 0, 1),\n   [[5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], [5.0, 6.0, 5.0, 0.0, 5.9, 6.05, 0.0, 0.0], 5])]]\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-hospital-occupancy-stay-window-start","generated_at":"2026-09-29T14:47:31.855939+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.","repair":"Restore the stay window start rule: `lo = max(0, t - los + 1)`.","root_cause":"The occupancy window starts los days back instead of los-1.","sha256":"4de9f34722aa0a4b5388ea541a23c732020f94586f797f698ea0ee659ad47b7e","title":"Hospital occupancy from delayed admissions: stay window start · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.077,"exit_code":1,"observations":[{"actual":[[0.0,0.0,0.0,1.0,2.0,4.0,6.0,5.0,3.0],[0,0.0,0.0,1.0,3.0,7.0,13.0,17.0,18.0],8],"check":"regression: wave with 3 day delay","expected":[[0.0,0.0,0.0,1.0,2.0,4.0,6.0,5.0,3.0],[0.0,0.0,0.0,1.0,3.0,7.0,13.0,17.0,18.0],8],"passed":true},{"actual":[[1.0,2.0,3.0,2.0,1.0],[0,2.0,3.0,2.0,1.0],2],"check":"regression: no delay one day stay","expected":[[1.0,2.0,3.0,2.0,1.0],[1.0,2.0,3.0,2.0,1.0],2],"passed":false},{"actual":[[0.0,0.5,0.5,0.5,0.5,0.5,0.5],[0,0.5,1.0,1.5,1.5,1.5,1.5],3],"check":"regression: plateau tie","expected":[[0.0,0.5,0.5,0.5,0.5,0.5,0.5],[0.0,0.5,1.0,1.5,1.5,1.5,1.5],3],"passed":true},{"actual":[[0.0,0.0,3.0,2.4,1.8,1.2,0.6,0.3],[0,0.0,3.0,5.4,7.2,8.4,9.0,9.3],7],"check":"control: long stay","expected":[[0.0,0.0,3.0,2.4,1.8,1.2,0.6,0.3],[0.0,0.0,3.0,5.4,7.2,8.4,9.0,9.3],7],"passed":true},{"actual":[[0.0,0.0,0.0],[0,0.0,0.0],0],"check":"control: delay beyond series","expected":[[0.0,0.0,0.0],[0.0,0.0,0.0],0],"passed":true},{"actual":[[],[],null],"check":"control: empty series","expected":[[],[],null],"passed":true},{"actual":[[0.0,0.0,3.0,0.0,0.0,3.0,0.0,0.0],[0,0.0,3.0,3.0,0.0,3.0,3.0,0.0],2],"check":"regression: twin peaks","expected":[[0.0,0.0,3.0,0.0,0.0,3.0,0.0,0.0],[0.0,0.0,3.0,3.0,0.0,3.0,3.0,0.0],2],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: wave with 3 day delay\", \"actual\": [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8], \"expected\": [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8], \"passed\": true}, {\"check\": \"regression: no delay one day stay\", \"actual\": [[1.0, 2.0, 3.0, 2.0, 1.0], [0, 2.0, 3.0, 2.0, 1.0], 2], \"expected\": [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2], \"passed\": false}, {\"check\": \"regression: plateau tie\", \"actual\": [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3], \"expected\": [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3], \"passed\": true}, {\"check\": \"control: long stay\", \"actual\": [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7], \"expected\": [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7], \"passed\": true}, {\"check\": \"control: delay beyond series\", \"actual\": [[0.0, 0.0, 0.0], [0, 0.0, 0.0], 0], \"expected\": [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0], \"passed\": true}, {\"check\": \"control: empty series\", \"actual\": [[], [], null], \"expected\": [[], [], null], \"passed\": true}, {\"check\": \"regression: twin peaks\", \"actual\": [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2], \"expected\": [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.678,"exit_code":1,"observations":[{"actual":[[0.0,0.0,0.0,1.0,2.0,4.0,6.0,5.0,3.0],[0.0,0.0,0.0,1.0,3.0,7.0,13.0,18.0,20.0],8],"check":"regression: wave with 3 day delay","expected":[[0.0,0.0,0.0,1.0,2.0,4.0,6.0,5.0,3.0],[0.0,0.0,0.0,1.0,3.0,7.0,13.0,17.0,18.0],8],"passed":false},{"actual":[[1.0,2.0,3.0,2.0,1.0],[1.0,3.0,5.0,5.0,3.0],2],"check":"regression: no delay one day stay","expected":[[1.0,2.0,3.0,2.0,1.0],[1.0,2.0,3.0,2.0,1.0],2],"passed":false},{"actual":[[0.0,0.5,0.5,0.5,0.5,0.5,0.5],[0.0,0.5,1.0,1.5,2.0,2.0,2.0],4],"check":"regression: plateau tie","expected":[[0.0,0.5,0.5,0.5,0.5,0.5,0.5],[0.0,0.5,1.0,1.5,1.5,1.5,1.5],3],"passed":false},{"actual":[[0.0,0.0,3.0,2.4,1.8,1.2,0.6,0.3],[0.0,0.0,3.0,5.4,7.2,8.4,9.0,9.3],7],"check":"control: long stay","expected":[[0.0,0.0,3.0,2.4,1.8,1.2,0.6,0.3],[0.0,0.0,3.0,5.4,7.2,8.4,9.0,9.3],7],"passed":true},{"actual":[[0.0,0.0,0.0],[0.0,0.0,0.0],0],"check":"control: delay beyond series","expected":[[0.0,0.0,0.0],[0.0,0.0,0.0],0],"passed":true},{"actual":[[],[],null],"check":"control: empty series","expected":[[],[],null],"passed":true},{"actual":[[0.0,0.0,3.0,0.0,0.0,3.0,0.0,0.0],[0.0,0.0,3.0,3.0,3.0,3.0,3.0,3.0],2],"check":"regression: twin peaks","expected":[[0.0,0.0,3.0,0.0,0.0,3.0,0.0,0.0],[0.0,0.0,3.0,3.0,0.0,3.0,3.0,0.0],2],"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: wave with 3 day delay\", \"actual\": [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 18.0, 20.0], 8], \"expected\": [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8], \"passed\": false}, {\"check\": \"regression: no delay one day stay\", \"actual\": [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 3.0, 5.0, 5.0, 3.0], 2], \"expected\": [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2], \"passed\": false}, {\"check\": \"regression: plateau tie\", \"actual\": [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 2.0, 2.0, 2.0], 4], \"expected\": [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3], \"passed\": false}, {\"check\": \"control: long stay\", \"actual\": [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7], \"expected\": [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7], \"passed\": true}, {\"check\": \"control: delay beyond series\", \"actual\": [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0], \"expected\": [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0], \"passed\": true}, {\"check\": \"control: empty series\", \"actual\": [[], [], null], \"expected\": [[], [], null], \"passed\": true}, {\"check\": \"regression: twin peaks\", \"actual\": [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 3.0, 3.0, 3.0, 3.0], 2], \"expected\": [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2], \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":41.438,"exit_code":0,"observations":[{"actual":[[0.0,0.0,0.0,1.0,2.0,4.0,6.0,5.0,3.0],[0.0,0.0,0.0,1.0,3.0,7.0,13.0,17.0,18.0],8],"check":"regression: wave with 3 day delay","expected":[[0.0,0.0,0.0,1.0,2.0,4.0,6.0,5.0,3.0],[0.0,0.0,0.0,1.0,3.0,7.0,13.0,17.0,18.0],8],"passed":true},{"actual":[[1.0,2.0,3.0,2.0,1.0],[1.0,2.0,3.0,2.0,1.0],2],"check":"regression: no delay one day stay","expected":[[1.0,2.0,3.0,2.0,1.0],[1.0,2.0,3.0,2.0,1.0],2],"passed":true},{"actual":[[0.0,0.5,0.5,0.5,0.5,0.5,0.5],[0.0,0.5,1.0,1.5,1.5,1.5,1.5],3],"check":"regression: plateau tie","expected":[[0.0,0.5,0.5,0.5,0.5,0.5,0.5],[0.0,0.5,1.0,1.5,1.5,1.5,1.5],3],"passed":true},{"actual":[[0.0,0.0,3.0,2.4,1.8,1.2,0.6,0.3],[0.0,0.0,3.0,5.4,7.2,8.4,9.0,9.3],7],"check":"control: long stay","expected":[[0.0,0.0,3.0,2.4,1.8,1.2,0.6,0.3],[0.0,0.0,3.0,5.4,7.2,8.4,9.0,9.3],7],"passed":true},{"actual":[[0.0,0.0,0.0],[0.0,0.0,0.0],0],"check":"control: delay beyond series","expected":[[0.0,0.0,0.0],[0.0,0.0,0.0],0],"passed":true},{"actual":[[],[],null],"check":"control: empty series","expected":[[],[],null],"passed":true},{"actual":[[0.0,0.0,3.0,0.0,0.0,3.0,0.0,0.0],[0.0,0.0,3.0,3.0,0.0,3.0,3.0,0.0],2],"check":"regression: twin peaks","expected":[[0.0,0.0,3.0,0.0,0.0,3.0,0.0,0.0],[0.0,0.0,3.0,3.0,0.0,3.0,3.0,0.0],2],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: wave with 3 day delay\", \"actual\": [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8], \"expected\": [[0.0, 0.0, 0.0, 1.0, 2.0, 4.0, 6.0, 5.0, 3.0], [0.0, 0.0, 0.0, 1.0, 3.0, 7.0, 13.0, 17.0, 18.0], 8], \"passed\": true}, {\"check\": \"regression: no delay one day stay\", \"actual\": [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2], \"expected\": [[1.0, 2.0, 3.0, 2.0, 1.0], [1.0, 2.0, 3.0, 2.0, 1.0], 2], \"passed\": true}, {\"check\": \"regression: plateau tie\", \"actual\": [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3], \"expected\": [[0.0, 0.5, 0.5, 0.5, 0.5, 0.5, 0.5], [0.0, 0.5, 1.0, 1.5, 1.5, 1.5, 1.5], 3], \"passed\": true}, {\"check\": \"control: long stay\", \"actual\": [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7], \"expected\": [[0.0, 0.0, 3.0, 2.4, 1.8, 1.2, 0.6, 0.3], [0.0, 0.0, 3.0, 5.4, 7.2, 8.4, 9.0, 9.3], 7], \"passed\": true}, {\"check\": \"control: delay beyond series\", \"actual\": [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0], \"expected\": [[0.0, 0.0, 0.0], [0.0, 0.0, 0.0], 0], \"passed\": true}, {\"check\": \"control: empty series\", \"actual\": [[], [], null], \"expected\": [[], [], null], \"passed\": true}, {\"check\": \"regression: twin peaks\", \"actual\": [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2], \"expected\": [[0.0, 0.0, 3.0, 0.0, 0.0, 3.0, 0.0, 0.0], [0.0, 0.0, 3.0, 3.0, 0.0, 3.0, 3.0, 0.0], 2], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}