{"abstract":"With 7 or 9 cycles per hour the heater only cycles once, at minute 0, and then stays off.","category":"HVAC thermostat control","checks":8,"contract":"Time-proportioning heating thermostat with a cycles-per-hour setting, sampled per minute. The cycle length is 60 // cph minutes. At each cycle start the error (setpoint - temp) is clamped to 0..band and the on time is error/band of the cycle rounded half up; an on time of 1 minute is extended to the 2-minute minimum, and an off time of 1 minute is eliminated (full on). The output is on for the first on-time minutes of the cycle. Return the heat output per minute.","contract_signature":"cph, band, setpoint, temps","evaluation_group":"w2-hvac-thermostat-control-cycle-rate-time-proportioning","failed_approach":"Rounding 60 / cph gives the wrong cycle length for some settings.","family":"w2-hvac-thermostat-control-cycle-rate-time-proportioning-integer-cycle-length","id":"FA-92731","implementations":{"attempt":{"sha256":"8dc57b3f2167f64dc74bfc6e43b47d5a2cc90a4ca5026f8e7b673e70f4a4bd85","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cph, band, setpoint, temps):\n    period = round(60 / cph)\n    out = []\n    on_left = 0\n    for minute, temp in enumerate(temps):\n        if minute % period == 0:\n            err = setpoint - temp\n            num = max(0, min(err, band)) * period\n            on = (2 * num + band) // (2 * band)\n            if 0 < on < 2:\n                on = 2\n            if 0 < period - on < 2:\n                on = period\n            on_left = on\n        out.append(on_left > 0)\n        if on_left > 0:\n            on_left -= 1\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['regression: scenario 3',\n   [7,\n    30,\n    700,\n    [693,\n     691,\n     695,\n     691,\n     695,\n     698,\n     697,\n     700,\n     702,\n     704,\n     706,\n     708,\n     709,\n     707,\n     706,\n     702,\n     702,\n     701,\n     698,\n     701,\n     700,\n     704,\n     703,\n     702,\n     702,\n     699,\n     695,\n     694,\n     696,\n     699,\n     696,\n     692,\n     694,\n     693,\n     694,\n     697,\n     700]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [4,\n    10,\n    700,\n    [673,\n     669,\n     665,\n     669,\n     667,\n     665,\n     664,\n     662,\n     659,\n     662,\n     661,\n     659,\n     660,\n     656,\n     659,\n     660,\n     656,\n     652,\n     654,\n     652,\n     656,\n     657,\n     653,\n     653,\n     653,\n     653,\n     654,\n     653,\n     650,\n     650,\n     650,\n     650,\n     651,\n     654,\n     651,\n     650,\n     650,\n     650,\n     650]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['control: scenario 2',\n   [6,\n    30,\n    700,\n    [697,\n     695,\n     691,\n     695,\n     691,\n     692,\n     693,\n     692,\n     690,\n     690,\n     690,\n     687,\n     684,\n     683,\n     687,\n     688,\n     688,\n     691,\n     690,\n     692,\n     693,\n     689,\n     692]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: scenario 4',\n   [4,\n    10,\n    700,\n    [680,\n     684,\n     685,\n     683,\n     684,\n     685,\n     686,\n     682,\n     681,\n     679,\n     677,\n     681,\n     680,\n     681,\n     677,\n     681,\n     680,\n     682,\n     682,\n     678,\n     677,\n     673,\n     672,\n     676,\n     673,\n     670,\n     669,\n     665,\n     662]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]],\n [['regression: scenario 5',\n   [9,\n    10,\n    700,\n    [684,\n     682,\n     680,\n     682,\n     681,\n     682,\n     686,\n     685,\n     684,\n     682,\n     679,\n     682,\n     686,\n     688,\n     688,\n     689,\n     689,\n     689,\n     693,\n     689,\n     685,\n     682,\n     681,\n     682,\n     684,\n     685]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True]],\n  ['regression: scenario 4',\n   [9,\n    30,\n    700,\n    [705,\n     708,\n     704,\n     703,\n     700,\n     701,\n     701,\n     702,\n     699,\n     698,\n     698,\n     697,\n     698,\n     702,\n     699,\n     700,\n     701,\n     697,\n     700,\n     697,\n     694,\n     695,\n     696]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [6,\n    30,\n    700,\n    [690,\n     689,\n     690,\n     691,\n     689,\n     685,\n     682,\n     686,\n     682,\n     680,\n     684,\n     687,\n     690,\n     693,\n     692,\n     689,\n     688,\n     685,\n     683,\n     685,\n     687,\n     683,\n     684,\n     688,\n     691,\n     689,\n     686,\n     683,\n     679,\n     679,\n     682,\n     680,\n     680,\n     684]],\n   [True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True]],\n  ['control: scenario 2',\n   [6,\n    10,\n    700,\n    [686,\n     687,\n     685,\n     682,\n     682,\n     678,\n     681,\n     677,\n     676,\n     673,\n     674,\n     676,\n     672,\n     670,\n     669,\n     673,\n     674,\n     676,\n     675,\n     673,\n     675,\n     672,\n     673,\n     674,\n     670,\n     672]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]],\n [['regression: scenario 2',\n   [9,\n    20,\n    700,\n    [702,\n     703,\n     707,\n     703,\n     700,\n     697,\n     699,\n     698,\n     696,\n     693,\n     696,\n     695,\n     694,\n     690,\n     692,\n     695,\n     697,\n     700,\n     698,\n     699,\n     701,\n     704,\n     708,\n     712,\n     710,\n     709,\n     713,\n     709,\n     710,\n     714,\n     711,\n     711,\n     707,\n     706,\n     706]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 3',\n   [7,\n    30,\n    700,\n    [701,\n     704,\n     708,\n     708,\n     709,\n     711,\n     707,\n     709,\n     710,\n     706,\n     707,\n     703,\n     701,\n     697,\n     697,\n     698,\n     698,\n     701,\n     700,\n     699,\n     699,\n     695,\n     696,\n     700,\n     698,\n     701,\n     700]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 1',\n   [7,\n    20,\n    700,\n    [688,\n     691,\n     689,\n     691,\n     692,\n     691,\n     687,\n     691,\n     692,\n     691,\n     695,\n     695,\n     692,\n     689,\n     688,\n     684,\n     682,\n     681,\n     679,\n     678,\n     682,\n     682,\n     680,\n     682,\n     686,\n     689,\n     687,\n     687,\n     690,\n     686,\n     687,\n     691]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False]],\n  ['control: scenario 4',\n   [4,\n    30,\n    700,\n    [675,\n     676,\n     675,\n     674,\n     673,\n     676,\n     674,\n     672,\n     673,\n     672,\n     674,\n     677,\n     674,\n     671,\n     668,\n     664,\n     668,\n     667,\n     668,\n     670,\n     668,\n     670,\n     672]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]],\n [['regression: scenario 8',\n   [7,\n    30,\n    700,\n    [680,\n     684,\n     686,\n     690,\n     693,\n     690,\n     694,\n     694,\n     695,\n     695,\n     691,\n     694,\n     694,\n     696,\n     699,\n     700,\n     701,\n     702,\n     706,\n     709,\n     710,\n     713,\n     715,\n     713,\n     715,\n     715,\n     715,\n     715,\n     712]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 25',\n   [8,\n    20,\n    700,\n    [686,\n     685,\n     683,\n     680,\n     677,\n     673,\n     671,\n     669,\n     666,\n     666,\n     666,\n     664,\n     664,\n     664,\n     667,\n     663,\n     663,\n     662,\n     661,\n     663,\n     667,\n     666,\n     663,\n     664,\n     663,\n     665,\n     668,\n     664,\n     667,\n     670,\n     669,\n     670,\n     667,\n     666,\n     664,\n     667,\n     670,\n     666,\n     670,\n     669]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [6,\n    10,\n    700,\n    [702,\n     699,\n     703,\n     707,\n     704,\n     708,\n     705,\n     701,\n     698,\n     700,\n     703,\n     703,\n     700,\n     697,\n     696,\n     697,\n     697,\n     701,\n     703,\n     703,\n     704,\n     705,\n     708,\n     704,\n     706,\n     705,\n     702,\n     706,\n     707,\n     704,\n     708,\n     707,\n     703,\n     706,\n     707,\n     703,\n     703,\n     706,\n     707,\n     706]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 2',\n   [3,\n    20,\n    700,\n    [682, 683, 684, 687, 687, 686, 682, 683, 680, 676, 680, 683, 679, 675, 674, 671, 671, 672, 670, 672]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False]]],\n [['regression: scenario 11',\n   [9,\n    10,\n    700,\n    [681,\n     685,\n     683,\n     685,\n     683,\n     682,\n     681,\n     682,\n     686,\n     688,\n     685,\n     688,\n     686,\n     684,\n     686,\n     688,\n     690,\n     688,\n     692,\n     696,\n     697,\n     695,\n     694,\n     692,\n     696,\n     694,\n     698,\n     702,\n     703,\n     703,\n     700,\n     698,\n     700,\n     696,\n     699,\n     698]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 12',\n   [7,\n    30,\n    700,\n    [696,\n     694,\n     690,\n     693,\n     689,\n     689,\n     691,\n     693,\n     689,\n     687,\n     685,\n     682,\n     686,\n     689,\n     688,\n     692,\n     689,\n     689,\n     689,\n     689,\n     692,\n     694,\n     696,\n     697,\n     698,\n     698,\n     695,\n     698,\n     699,\n     702,\n     706,\n     708,\n     710,\n     714,\n     715]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [5,\n    10,\n    700,\n    [698,\n     700,\n     702,\n     701,\n     700,\n     700,\n     699,\n     697,\n     694,\n     696,\n     698,\n     694,\n     697,\n     697,\n     694,\n     698,\n     700,\n     698,\n     699,\n     700,\n     703,\n     707,\n     708,\n     706,\n     708,\n     712,\n     710,\n     706,\n     702,\n     700,\n     696,\n     696,\n     692]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 2',\n   [3,\n    10,\n    700,\n    [669,\n     665,\n     665,\n     665,\n     666,\n     665,\n     663,\n     665,\n     667,\n     665,\n     667,\n     663,\n     663,\n     667,\n     667,\n     668,\n     664,\n     664,\n     664,\n     663,\n     661,\n     661,\n     661,\n     664,\n     666,\n     664,\n     668]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]]]\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":"6b4477637c10dacb44f723382f6f9bdad1f593753e92e8c69670e31df267a9b7","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(cph, band, setpoint, temps):\n    period = 60 / cph\n    out = []\n    on_left = 0\n    for minute, temp in enumerate(temps):\n        if minute % period == 0:\n            err = setpoint - temp\n            num = max(0, min(err, band)) * period\n            on = (2 * num + band) // (2 * band)\n            if 0 < on < 2:\n                on = 2\n            if 0 < period - on < 2:\n                on = period\n            on_left = on\n        out.append(on_left > 0)\n        if on_left > 0:\n            on_left -= 1\n    return out\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = [[['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['regression: scenario 3',\n   [7,\n    30,\n    700,\n    [693,\n     691,\n     695,\n     691,\n     695,\n     698,\n     697,\n     700,\n     702,\n     704,\n     706,\n     708,\n     709,\n     707,\n     706,\n     702,\n     702,\n     701,\n     698,\n     701,\n     700,\n     704,\n     703,\n     702,\n     702,\n     699,\n     695,\n     694,\n     696,\n     699,\n     696,\n     692,\n     694,\n     693,\n     694,\n     697,\n     700]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [4,\n    10,\n    700,\n    [673,\n     669,\n     665,\n     669,\n     667,\n     665,\n     664,\n     662,\n     659,\n     662,\n     661,\n     659,\n     660,\n     656,\n     659,\n     660,\n     656,\n     652,\n     654,\n     652,\n     656,\n     657,\n     653,\n     653,\n     653,\n     653,\n     654,\n     653,\n     650,\n     650,\n     650,\n     650,\n     651,\n     654,\n     651,\n     650,\n     650,\n     650,\n     650]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['control: scenario 2',\n   [6,\n    30,\n    700,\n    [697,\n     695,\n     691,\n     695,\n     691,\n     692,\n     693,\n     692,\n     690,\n     690,\n     690,\n     687,\n     684,\n     683,\n     687,\n     688,\n     688,\n     691,\n     690,\n     692,\n     693,\n     689,\n     692]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: scenario 4',\n   [4,\n    10,\n    700,\n    [680,\n     684,\n     685,\n     683,\n     684,\n     685,\n     686,\n     682,\n     681,\n     679,\n     677,\n     681,\n     680,\n     681,\n     677,\n     681,\n     680,\n     682,\n     682,\n     678,\n     677,\n     673,\n     672,\n     676,\n     673,\n     670,\n     669,\n     665,\n     662]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]],\n [['regression: scenario 5',\n   [9,\n    10,\n    700,\n    [684,\n     682,\n     680,\n     682,\n     681,\n     682,\n     686,\n     685,\n     684,\n     682,\n     679,\n     682,\n     686,\n     688,\n     688,\n     689,\n     689,\n     689,\n     693,\n     689,\n     685,\n     682,\n     681,\n     682,\n     684,\n     685]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True]],\n  ['regression: scenario 4',\n   [9,\n    30,\n    700,\n    [705,\n     708,\n     704,\n     703,\n     700,\n     701,\n     701,\n     702,\n     699,\n     698,\n     698,\n     697,\n     698,\n     702,\n     699,\n     700,\n     701,\n     697,\n     700,\n     697,\n     694,\n     695,\n     696]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [6,\n    30,\n    700,\n    [690,\n     689,\n     690,\n     691,\n     689,\n     685,\n     682,\n     686,\n     682,\n     680,\n     684,\n     687,\n     690,\n     693,\n     692,\n     689,\n     688,\n     685,\n     683,\n     685,\n     687,\n     683,\n     684,\n     688,\n     691,\n     689,\n     686,\n     683,\n     679,\n     679,\n     682,\n     680,\n     680,\n     684]],\n   [True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True]],\n  ['control: scenario 2',\n   [6,\n    10,\n    700,\n    [686,\n     687,\n     685,\n     682,\n     682,\n     678,\n     681,\n     677,\n     676,\n     673,\n     674,\n     676,\n     672,\n     670,\n     669,\n     673,\n     674,\n     676,\n     675,\n     673,\n     675,\n     672,\n     673,\n     674,\n     670,\n     672]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]],\n [['regression: scenario 2',\n   [9,\n    20,\n    700,\n    [702,\n     703,\n     707,\n     703,\n     700,\n     697,\n     699,\n     698,\n     696,\n     693,\n     696,\n     695,\n     694,\n     690,\n     692,\n     695,\n     697,\n     700,\n     698,\n     699,\n     701,\n     704,\n     708,\n     712,\n     710,\n     709,\n     713,\n     709,\n     710,\n     714,\n     711,\n     711,\n     707,\n     706,\n     706]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 3',\n   [7,\n    30,\n    700,\n    [701,\n     704,\n     708,\n     708,\n     709,\n     711,\n     707,\n     709,\n     710,\n     706,\n     707,\n     703,\n     701,\n     697,\n     697,\n     698,\n     698,\n     701,\n     700,\n     699,\n     699,\n     695,\n     696,\n     700,\n     698,\n     701,\n     700]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 1',\n   [7,\n    20,\n    700,\n    [688,\n     691,\n     689,\n     691,\n     692,\n     691,\n     687,\n     691,\n     692,\n     691,\n     695,\n     695,\n     692,\n     689,\n     688,\n     684,\n     682,\n     681,\n     679,\n     678,\n     682,\n     682,\n     680,\n     682,\n     686,\n     689,\n     687,\n     687,\n     690,\n     686,\n     687,\n     691]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False]],\n  ['control: scenario 4',\n   [4,\n    30,\n    700,\n    [675,\n     676,\n     675,\n     674,\n     673,\n     676,\n     674,\n     672,\n     673,\n     672,\n     674,\n     677,\n     674,\n     671,\n     668,\n     664,\n     668,\n     667,\n     668,\n     670,\n     668,\n     670,\n     672]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]],\n [['regression: scenario 8',\n   [7,\n    30,\n    700,\n    [680,\n     684,\n     686,\n     690,\n     693,\n     690,\n     694,\n     694,\n     695,\n     695,\n     691,\n     694,\n     694,\n     696,\n     699,\n     700,\n     701,\n     702,\n     706,\n     709,\n     710,\n     713,\n     715,\n     713,\n     715,\n     715,\n     715,\n     715,\n     712]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 25',\n   [8,\n    20,\n    700,\n    [686,\n     685,\n     683,\n     680,\n     677,\n     673,\n     671,\n     669,\n     666,\n     666,\n     666,\n     664,\n     664,\n     664,\n     667,\n     663,\n     663,\n     662,\n     661,\n     663,\n     667,\n     666,\n     663,\n     664,\n     663,\n     665,\n     668,\n     664,\n     667,\n     670,\n     669,\n     670,\n     667,\n     666,\n     664,\n     667,\n     670,\n     666,\n     670,\n     669]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [6,\n    10,\n    700,\n    [702,\n     699,\n     703,\n     707,\n     704,\n     708,\n     705,\n     701,\n     698,\n     700,\n     703,\n     703,\n     700,\n     697,\n     696,\n     697,\n     697,\n     701,\n     703,\n     703,\n     704,\n     705,\n     708,\n     704,\n     706,\n     705,\n     702,\n     706,\n     707,\n     704,\n     708,\n     707,\n     703,\n     706,\n     707,\n     703,\n     703,\n     706,\n     707,\n     706]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 2',\n   [3,\n    20,\n    700,\n    [682, 683, 684, 687, 687, 686, 682, 683, 680, 676, 680, 683, 679, 675, 674, 671, 671, 672, 670, 672]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False]]],\n [['regression: scenario 11',\n   [9,\n    10,\n    700,\n    [681,\n     685,\n     683,\n     685,\n     683,\n     682,\n     681,\n     682,\n     686,\n     688,\n     685,\n     688,\n     686,\n     684,\n     686,\n     688,\n     690,\n     688,\n     692,\n     696,\n     697,\n     695,\n     694,\n     692,\n     696,\n     694,\n     698,\n     702,\n     703,\n     703,\n     700,\n     698,\n     700,\n     696,\n     699,\n     698]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['regression: scenario 12',\n   [7,\n    30,\n    700,\n    [696,\n     694,\n     690,\n     693,\n     689,\n     689,\n     691,\n     693,\n     689,\n     687,\n     685,\n     682,\n     686,\n     689,\n     688,\n     692,\n     689,\n     689,\n     689,\n     689,\n     692,\n     694,\n     696,\n     697,\n     698,\n     698,\n     695,\n     698,\n     699,\n     702,\n     706,\n     708,\n     710,\n     714,\n     715]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: three cycles',\n   [5,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     700,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681,\n     681]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]],\n  ['regression: seven cycles per hour',\n   [7,\n    20,\n    700,\n    [690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     690,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     685,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    True,\n    True,\n    False]],\n  ['control: tiny error',\n   [6,\n    30,\n    700,\n    [696, 696, 696, 696, 696, 696, 696, 696, 696, 696, 698, 698, 698, 698, 698, 698, 698, 698, 698, 698]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: above setpoint',\n   [4,\n    10,\n    700,\n    [705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     705,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695,\n     695]],\n   [False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 1',\n   [5,\n    10,\n    700,\n    [698,\n     700,\n     702,\n     701,\n     700,\n     700,\n     699,\n     697,\n     694,\n     696,\n     698,\n     694,\n     697,\n     697,\n     694,\n     698,\n     700,\n     698,\n     699,\n     700,\n     703,\n     707,\n     708,\n     706,\n     708,\n     712,\n     710,\n     706,\n     702,\n     700,\n     696,\n     696,\n     692]],\n   [True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    True,\n    True,\n    True,\n    True,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False,\n    False]],\n  ['control: scenario 2',\n   [3,\n    10,\n    700,\n    [669,\n     665,\n     665,\n     665,\n     666,\n     665,\n     663,\n     665,\n     667,\n     665,\n     667,\n     663,\n     663,\n     667,\n     667,\n     668,\n     664,\n     664,\n     664,\n     663,\n     661,\n     661,\n     661,\n     664,\n     666,\n     664,\n     668]],\n   [True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True,\n    True]]]]\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 one thermostat or HVAC controller decision evaluated per sample. Temperatures are integer tenths of a degree Fahrenheit unless stated otherwise. The contract is a stipulated toy convention, not a claim of conformance to any manufacturer, ASHRAE guideline or code. 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-hvac-thermostat-control-cycle-rate-time-proportioning-integer-cycle-length","generated_at":"2026-09-29T14:51:48.521500+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Residential and light-commercial thermostats make these decisions sample by sample; each defect changes equipment calls in a way that shows up as short cycling, comfort complaints or equipment stress.","root_cause":"The cycle length 60 / cph is a non-integer, so minute % period never returns to 0.","sha256":"e9b193eb6f2dec0dab2d6f87031e0c93e414e85156fcb62634d080e27f9e68ef","title":"Cycle length is computed with float division · 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.358,"exit_code":1,"observations":[{"actual":[true,true,true,true,true,false,false,false,false,true,true,true,true,true,true,true,false,false,true,true,false,false,false,false,false,false,false],"check":"regression: seven cycles per hour","expected":[true,true,true,true,false,false,false,false,true,true,true,true,false,false,false,false,true,true,true,true,true,true,false,false,true,true,false],"passed":false},{"actual":[true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,false,false,false,false,false,false,false,true,true,false,false,false,false,false,false,false,false],"check":"regression: scenario 3","expected":[true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,false,false,false],"passed":false},{"actual":[true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: three cycles","expected":[true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[true,true,false,false,false,false,false,false,false,false,true,true,false,false,false,false,false,false,false,false],"check":"control: tiny error","expected":[true,true,false,false,false,false,false,false,false,false,true,true,false,false,false,false,false,false,false,false],"passed":true},{"actual":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false],"check":"control: above setpoint","expected":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 1","expected":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[true,true,false,false,false,false,false,false,false,false,true,true,true,false,false,false,false,false,false,false,true,true,false],"check":"control: scenario 2","expected":[true,true,false,false,false,false,false,false,false,false,true,true,true,false,false,false,false,false,false,false,true,true,false],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 4","expected":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: seven cycles per hour\", \"actual\": [true, true, true, true, true, false, false, false, false, true, true, true, true, true, true, true, false, false, true, true, false, false, false, false, false, false, false], \"expected\": [true, true, true, true, false, false, false, false, true, true, true, true, false, false, false, false, true, true, true, true, true, true, false, false, true, true, false], \"passed\": false}, {\"check\": \"regression: scenario 3\", \"actual\": [true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, false, false, false, false, false, false, false, true, true, false, false, false, false, false, false, false, false], \"expected\": [true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, false, false, false], \"passed\": false}, {\"check\": \"control: three cycles\", \"actual\": [true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: tiny error\", \"actual\": [true, true, false, false, false, false, false, false, false, false, true, true, false, false, false, false, false, false, false, false], \"expected\": [true, true, false, false, false, false, false, false, false, false, true, true, false, false, false, false, false, false, false, false], \"passed\": true}, {\"check\": \"control: above setpoint\", \"actual\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false], \"expected\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: scenario 2\", \"actual\": [true, true, false, false, false, false, false, false, false, false, true, true, true, false, false, false, false, false, false, false, true, true, false], \"expected\": [true, true, false, false, false, false, false, false, false, false, true, true, true, false, false, false, false, false, false, false, true, true, false], \"passed\": true}, {\"check\": \"control: scenario 4\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":43.364,"exit_code":1,"observations":[{"actual":[true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false],"check":"regression: seven cycles per hour","expected":[true,true,true,true,false,false,false,false,true,true,true,true,false,false,false,false,true,true,true,true,true,true,false,false,true,true,false],"passed":false},{"actual":[true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false],"check":"regression: scenario 3","expected":[true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,false,false,false],"passed":false},{"actual":[true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: three cycles","expected":[true,true,true,true,true,true,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[true,true,false,false,false,false,false,false,false,false,true,true,false,false,false,false,false,false,false,false],"check":"control: tiny error","expected":[true,true,false,false,false,false,false,false,false,false,true,true,false,false,false,false,false,false,false,false],"passed":true},{"actual":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false],"check":"control: above setpoint","expected":[false,false,false,false,false,false,false,false,false,false,false,false,false,false,false,true,true,true,true,true,true,true,true,false,false,false,false,false,false,false],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 1","expected":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true},{"actual":[true,true,false,false,false,false,false,false,false,false,true,true,true,false,false,false,false,false,false,false,true,true,false],"check":"control: scenario 2","expected":[true,true,false,false,false,false,false,false,false,false,true,true,true,false,false,false,false,false,false,false,true,true,false],"passed":true},{"actual":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"check":"control: scenario 4","expected":[true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true,true],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"regression: seven cycles per hour\", \"actual\": [true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false], \"expected\": [true, true, true, true, false, false, false, false, true, true, true, true, false, false, false, false, true, true, true, true, true, true, false, false, true, true, false], \"passed\": false}, {\"check\": \"regression: scenario 3\", \"actual\": [true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false], \"expected\": [true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, false, false, false], \"passed\": false}, {\"check\": \"control: three cycles\", \"actual\": [true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: tiny error\", \"actual\": [true, true, false, false, false, false, false, false, false, false, true, true, false, false, false, false, false, false, false, false], \"expected\": [true, true, false, false, false, false, false, false, false, false, true, true, false, false, false, false, false, false, false, false], \"passed\": true}, {\"check\": \"control: above setpoint\", \"actual\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false], \"expected\": [false, false, false, false, false, false, false, false, false, false, false, false, false, false, false, true, true, true, true, true, true, true, true, false, false, false, false, false, false, false], \"passed\": true}, {\"check\": \"control: scenario 1\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"passed\": true}, {\"check\": \"control: scenario 2\", \"actual\": [true, true, false, false, false, false, false, false, false, false, true, true, true, false, false, false, false, false, false, false, true, true, false], \"expected\": [true, true, false, false, false, false, false, false, false, false, true, true, true, false, false, false, false, false, false, false, true, true, false], \"passed\": true}, {\"check\": \"control: scenario 4\", \"actual\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"expected\": [true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true, true], \"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."}}