FA-92656 / HVAC thermostat control / Open access

Degree-minutes integrate target minus supply · case 01

A cold supply drives DM positive and the compressor never starts.

Verified by executionVariant 1 · 8 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The integration subtracts supply from target.

VERIFIED REPAIR

Accumulate supply - target each minute.

Unsuccessful approach: Integrating only the magnitude of the error drives DM negative even when supply is too hot.

Case contract

Hydronic heat pump degree-minute controller, one sample per minute of [supply_temp, target_supply] in whole F. Degree-minutes DM accumulate supply - target each minute and are clamped to [floor, 100]. The compressor starts when DM <= start_dm and stops when DM >= stop_dm. Auxiliary heat starts when DM <= aux_dm and stops when DM >= start_dm. Decisions use the DM value after this minute's update. Return [DM, compressor, aux] per minute.

Why this case matters

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.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(settings, samples):
    dm = 0
    comp = False
    aux = False
    out = []
    for supply, target in samples:
        dm = max(settings['floor'], min(100, dm + target - supply))
        if comp and dm >= settings['stop_dm']:
            comp = False
        elif not comp and dm <= settings['start_dm']:
            comp = True
        if aux and dm >= settings['start_dm']:
            aux = False
        elif not aux and dm <= settings['aux_dm']:
            aux = True
        out.append([dm, comp, aux])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[11, 40],
     [50, 40],
     [49, 40],
     [53, 40],
     [49, 40],
     [71, 40],
     [105, 40],
     [100, 40],
     [17, 40],
     [13, 40],
     [102, 40],
     [102, 40],
     [99, 40],
     [105, 40],
     [96, 40],
     [50, 40],
     [48, 40],
     [46, 40],
     [47, 40],
     [50, 40],
     [52, 40],
     [48, 40],
     [71, 40]]],
   [[-29, False, False],
    [-19, False, False],
    [-10, False, False],
    [3, False, False],
    [12, False, False],
    [43, False, False],
    [100, False, False],
    [100, False, False],
    [77, False, False],
    [50, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[67, 40],
     [67, 40],
     [73, 40],
     [71, 40],
     [11, 40],
     [19, 40],
     [69, 40],
     [70, 40],
     [65, 40],
     [70, 40],
     [66, 40],
     [66, 40],
     [71, 40],
     [68, 40],
     [70, 40],
     [73, 40],
     [74, 40],
     [73, 40],
     [65, 40],
     [75, 40],
     [104, 40]]],
   [[27, False, False],
    [54, False, False],
    [87, False, False],
    [100, False, False],
    [71, False, False],
    [50, False, False],
    [79, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[71, 40],
     [75, 40],
     [72, 40],
     [68, 40],
     [75, 40],
     [48, 40],
     [45, 40],
     [30, 40],
     [18, 40],
     [19, 40],
     [12, 40],
     [16, 40],
     [10, 40],
     [18, 40],
     [18, 40],
     [18, 40],
     [72, 40],
     [20, 40],
     [20, 40],
     [17, 40]]],
   [[31, False, False],
    [66, False, False],
    [98, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [90, False, False],
    [68, False, False],
    [47, False, False],
    [19, False, False],
    [-5, False, False],
    [-35, False, False],
    [-57, False, False],
    [-79, True, False],
    [-101, True, False],
    [-69, True, False],
    [-89, True, False],
    [-109, True, False],
    [-132, True, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[27, 40],
     [23, 40],
     [28, 40],
     [67, 40],
     [96, 40],
     [101, 40],
     [18, 40],
     [11, 40],
     [16, 40],
     [18, 40],
     [13, 40],
     [16, 40],
     [18, 40],
     [16, 40],
     [17, 40],
     [10, 40],
     [15, 40]]],
   [[-13, False, False],
    [-30, False, False],
    [-42, False, False],
    [-15, False, False],
    [41, False, False],
    [100, False, False],
    [78, False, False],
    [49, False, False],
    [25, False, False],
    [3, False, False],
    [-24, False, False],
    [-48, False, False],
    [-70, True, False],
    [-94, True, False],
    [-117, True, False],
    [-147, True, False],
    [-172, True, True]]]],
 [['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[57, 40],
     [101, 40],
     [100, 40],
     [98, 40],
     [95, 40],
     [100, 40],
     [101, 40],
     [103, 40],
     [96, 40],
     [97, 40],
     [14, 40],
     [17, 40],
     [12, 40],
     [20, 40],
     [13, 40]]],
   [[17, False, False],
    [78, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [74, False, False],
    [51, False, False],
    [23, False, False],
    [3, False, False],
    [-24, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[10, 40],
     [10, 40],
     [19, 40],
     [28, 40],
     [26, 40],
     [27, 40],
     [28, 40],
     [26, 40],
     [75, 40],
     [65, 40],
     [73, 40],
     [71, 40],
     [71, 40],
     [72, 40],
     [11, 40],
     [13, 40],
     [19, 40],
     [15, 40],
     [27, 40],
     [30, 40]]],
   [[-30, False, False],
    [-60, True, False],
    [-81, True, False],
    [-93, True, False],
    [-107, True, False],
    [-120, True, False],
    [-132, True, False],
    [-146, True, False],
    [-111, True, False],
    [-86, True, False],
    [-53, True, False],
    [-22, True, False],
    [9, False, False],
    [41, False, False],
    [12, False, False],
    [-15, False, False],
    [-36, False, False],
    [-61, True, False],
    [-74, True, False],
    [-84, True, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[13, 40],
     [95, 40],
     [100, 40],
     [49, 40],
     [97, 40],
     [103, 40],
     [97, 40],
     [101, 40],
     [99, 40],
     [99, 40],
     [105, 40],
     [101, 40]]],
   [[-27, False, False],
    [28, False, False],
    [88, False, False],
    [97, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[21, 40],
     [25, 40],
     [46, 40],
     [48, 40],
     [21, 40],
     [24, 40],
     [26, 40],
     [25, 40],
     [25, 40],
     [45, 40],
     [49, 40],
     [50, 40],
     [50, 40],
     [48, 40],
     [45, 40],
     [55, 40],
     [20, 40],
     [23, 40],
     [103, 40],
     [102, 40],
     [73, 40],
     [75, 40]]],
   [[-19, False, False],
    [-34, False, False],
    [-28, False, False],
    [-20, False, False],
    [-39, False, False],
    [-55, False, False],
    [-69, True, False],
    [-84, True, False],
    [-99, True, False],
    [-94, True, False],
    [-85, True, False],
    [-75, True, False],
    [-65, True, False],
    [-57, True, False],
    [-52, True, False],
    [-37, True, False],
    [-57, True, False],
    [-74, True, False],
    [-11, True, False],
    [51, False, False],
    [84, False, False],
    [100, False, False]]]],
 [['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[14, 40],
     [17, 40],
     [19, 40],
     [12, 40],
     [16, 40],
     [10, 40],
     [16, 40],
     [12, 40],
     [16, 40],
     [19, 40],
     [16, 40],
     [12, 40],
     [20, 40],
     [10, 40],
     [20, 40],
     [11, 40],
     [20, 40]]],
   [[-26, False, False],
    [-49, False, False],
    [-70, True, False],
    [-98, True, False],
    [-122, True, False],
    [-152, True, True],
    [-176, True, True],
    [-204, True, True],
    [-228, True, True],
    [-249, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[68, 40],
     [72, 40],
     [75, 40],
     [69, 40],
     [70, 40],
     [66, 40],
     [65, 40],
     [68, 40],
     [75, 40],
     [71, 40],
     [70, 40],
     [74, 40],
     [68, 40],
     [74, 40],
     [68, 40],
     [67, 40],
     [69, 40],
     [72, 40],
     [68, 40],
     [70, 40],
     [75, 40],
     [72, 40],
     [75, 40],
     [66, 40]]],
   [[28, False, False],
    [60, False, False],
    [95, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[67, 40],
     [23, 40],
     [22, 40],
     [25, 40],
     [49, 40],
     [10, 40],
     [100, 40],
     [95, 40],
     [103, 40],
     [100, 40],
     [104, 40],
     [14, 40],
     [50, 40],
     [48, 40],
     [51, 40],
     [48, 40],
     [46, 40],
     [53, 40],
     [52, 40],
     [47, 40],
     [52, 40]]],
   [[27, False, False],
    [10, False, False],
    [-8, False, False],
    [-23, False, False],
    [-14, False, False],
    [-44, False, False],
    [16, False, False],
    [71, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [74, False, False],
    [84, False, False],
    [92, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[57, 40],
     [54, 40],
     [54, 40],
     [50, 40],
     [55, 40],
     [52, 40],
     [53, 40],
     [50, 40],
     [59, 40],
     [50, 40],
     [51, 40],
     [57, 40],
     [73, 40],
     [67, 40],
     [15, 40],
     [71, 40],
     [65, 40],
     [74, 40]]],
   [[17, False, False],
    [31, False, False],
    [45, False, False],
    [55, False, False],
    [70, False, False],
    [82, False, False],
    [95, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [75, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]]],
 [['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[55, 40],
     [51, 40],
     [74, 40],
     [47, 40],
     [27, 40],
     [24, 40],
     [105, 40],
     [55, 40],
     [46, 40],
     [45, 40],
     [55, 40],
     [53, 40],
     [101, 40],
     [105, 40],
     [95, 40],
     [54, 40]]],
   [[15, False, False],
    [26, False, False],
    [60, False, False],
    [67, False, False],
    [54, False, False],
    [38, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[52, 40],
     [102, 40],
     [104, 40],
     [97, 40],
     [46, 40],
     [49, 40],
     [53, 40],
     [53, 40],
     [51, 40],
     [50, 40],
     [47, 40],
     [52, 40]]],
   [[12, False, False],
    [74, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[102, 40],
     [98, 40],
     [95, 40],
     [51, 40],
     [53, 40],
     [52, 40],
     [51, 40],
     [53, 40],
     [53, 40],
     [52, 40],
     [46, 40],
     [53, 40],
     [47, 40],
     [46, 40],
     [46, 40]]],
   [[62, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[14, 40], [17, 40], [17, 40], [13, 40], [12, 40], [20, 40], [12, 40], [19, 40], [14, 40], [20, 40]]],
   [[-26, False, False],
    [-49, False, False],
    [-72, True, False],
    [-99, True, False],
    [-127, True, False],
    [-147, True, False],
    [-175, True, False],
    [-196, True, False],
    [-222, True, False],
    [-242, True, False]]]],
 [['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[67, 40],
     [73, 40],
     [101, 40],
     [96, 40],
     [104, 40],
     [99, 40],
     [101, 40],
     [98, 40],
     [95, 40],
     [95, 40],
     [65, 40],
     [71, 40]]],
   [[27, False, False],
    [60, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[20, 40], [25, 40], [21, 40], [22, 40], [26, 40], [25, 40], [26, 40], [24, 40], [73, 40], [71, 40]]],
   [[-20, False, False],
    [-35, False, False],
    [-54, False, False],
    [-72, True, False],
    [-86, True, False],
    [-101, True, False],
    [-115, True, False],
    [-131, True, False],
    [-98, True, False],
    [-67, True, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[10, 40],
     [18, 40],
     [24, 40],
     [27, 40],
     [27, 40],
     [27, 40],
     [30, 40],
     [25, 40],
     [26, 40],
     [103, 40],
     [99, 40],
     [97, 40],
     [101, 40],
     [14, 40],
     [19, 40],
     [17, 40]]],
   [[-30, False, False],
    [-52, False, False],
    [-68, True, False],
    [-81, True, False],
    [-94, True, False],
    [-107, True, False],
    [-117, True, False],
    [-132, True, False],
    [-146, True, False],
    [-83, True, False],
    [-24, True, False],
    [33, False, False],
    [94, False, False],
    [68, False, False],
    [47, False, False],
    [24, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[104, 40],
     [99, 40],
     [100, 40],
     [98, 40],
     [96, 40],
     [96, 40],
     [100, 40],
     [103, 40],
     [99, 40],
     [105, 40]]],
   [[64, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: deficit and recovery	`[[20, False, False], [40, False, False], [60, False, False], [80, False, False], [100, False, False], [100, False, False], [100, False, False], [80, False, False], [60, False, False], [40, False, False], [20, False, False], [0, False, False], [-20, False, False], [-40, False, False]]`	`[[-20, False, False], [-40, False, False], [-60, True, False], [-80, True, False], [-100, True, True], [-120, True, True], [-140, True, True], [-120, True, True], [-100, True, True], [-80, True, True], [-60, True, False], [-40, True, False], [-20, True, False], [0, False, False]]`	Failed
regression: long surplus	`[[-30, False, False], [-60, True, False], [-90, True, False], [-120, True, True], [-150, True, True], [-150, True, True], [-130, True, True], [-110, True, True], [-90, True, True], [-70, True, True], [-50, True, False]]`	`[[30, False, False], [60, False, False], [90, False, False], [100, False, False], [100, False, False], [100, False, False], [80, False, False], [60, False, False], [40, False, False], [20, False, False], [0, False, False]]`	Failed
regression: deep deficit floor	`[[40, False, False], [80, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [60, False, False], [20, False, False], [-20, False, False], [-60, True, False]]`	`[[-40, False, False], [-80, True, False], [-120, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-110, True, True], [-70, True, True], [-30, True, False], [10, False, False]]`	Failed
regression: start then immediate surplus	`[[40, False, False], [60, False, False], [30, False, False], [0, False, False], [-5, False, False]]`	`[[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]`	Failed
regression: scenario 1	`[[29, False, False], [19, False, False], [10, False, False], [-3, False, False], [-12, False, False], [-43, False, False], [-108, True, False], [-168, True, True], [-145, True, True], [-118, True, True], [-180, True, True], [-242, True, True], [-301, True, True], [-366, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True]]`	`[[-29, False, False], [-19, False, False], [-10, False, False], [3, False, False], [12, False, False], [43, False, False], [100, False, False], [100, False, False], [77, False, False], [50, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	Failed
regression: scenario 2	`[[-27, False, False], [-54, False, False], [-87, True, False], [-118, True, False], [-89, True, False], [-68, True, False], [-97, True, False], [-127, True, False], [-152, True, False], [-182, True, False], [-208, True, False], [-234, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False]]`	`[[27, False, False], [54, False, False], [87, False, False], [100, False, False], [71, False, False], [50, False, False], [79, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	Failed
regression: scenario 3	`[[-31, False, False], [-66, True, False], [-98, True, False], [-126, True, False], [-161, True, False], [-169, True, False], [-174, True, False], [-164, True, False], [-142, True, False], [-121, True, False], [-93, True, False], [-69, True, False], [-39, True, False], [-17, True, False], [5, False, False], [27, False, False], [-5, False, False], [15, False, False], [35, False, False], [58, False, False]]`	`[[31, False, False], [66, False, False], [98, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [90, False, False], [68, False, False], [47, False, False], [19, False, False], [-5, False, False], [-35, False, False], [-57, False, False], [-79, True, False], [-101, True, False], [-69, True, False], [-89, True, False], [-109, True, False], [-132, True, False]]`	Failed
regression: scenario 4	`[[13, False, False], [30, False, False], [42, False, False], [15, False, False], [-41, False, False], [-102, True, False], [-80, True, False], [-51, True, False], [-27, True, False], [-5, True, False], [22, False, False], [46, False, False], [68, False, False], [92, False, False], [100, False, False], [100, False, False], [100, False, False]]`	`[[-13, False, False], [-30, False, False], [-42, False, False], [-15, False, False], [41, False, False], [100, False, False], [78, False, False], [49, False, False], [25, False, False], [3, False, False], [-24, False, False], [-48, False, False], [-70, True, False], [-94, True, False], [-117, True, False], [-147, True, False], [-172, True, True]]`	Failed

SHA-256 / 19766363abb6b53e95c2e642496eb46c0f2873b308f0326fc6315578c56682be

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(settings, samples):
    dm = 0
    comp = False
    aux = False
    out = []
    for supply, target in samples:
        dm = max(settings['floor'], min(100, dm - abs(supply - target)))
        if comp and dm >= settings['stop_dm']:
            comp = False
        elif not comp and dm <= settings['start_dm']:
            comp = True
        if aux and dm >= settings['start_dm']:
            aux = False
        elif not aux and dm <= settings['aux_dm']:
            aux = True
        out.append([dm, comp, aux])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[11, 40],
     [50, 40],
     [49, 40],
     [53, 40],
     [49, 40],
     [71, 40],
     [105, 40],
     [100, 40],
     [17, 40],
     [13, 40],
     [102, 40],
     [102, 40],
     [99, 40],
     [105, 40],
     [96, 40],
     [50, 40],
     [48, 40],
     [46, 40],
     [47, 40],
     [50, 40],
     [52, 40],
     [48, 40],
     [71, 40]]],
   [[-29, False, False],
    [-19, False, False],
    [-10, False, False],
    [3, False, False],
    [12, False, False],
    [43, False, False],
    [100, False, False],
    [100, False, False],
    [77, False, False],
    [50, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[67, 40],
     [67, 40],
     [73, 40],
     [71, 40],
     [11, 40],
     [19, 40],
     [69, 40],
     [70, 40],
     [65, 40],
     [70, 40],
     [66, 40],
     [66, 40],
     [71, 40],
     [68, 40],
     [70, 40],
     [73, 40],
     [74, 40],
     [73, 40],
     [65, 40],
     [75, 40],
     [104, 40]]],
   [[27, False, False],
    [54, False, False],
    [87, False, False],
    [100, False, False],
    [71, False, False],
    [50, False, False],
    [79, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[71, 40],
     [75, 40],
     [72, 40],
     [68, 40],
     [75, 40],
     [48, 40],
     [45, 40],
     [30, 40],
     [18, 40],
     [19, 40],
     [12, 40],
     [16, 40],
     [10, 40],
     [18, 40],
     [18, 40],
     [18, 40],
     [72, 40],
     [20, 40],
     [20, 40],
     [17, 40]]],
   [[31, False, False],
    [66, False, False],
    [98, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [90, False, False],
    [68, False, False],
    [47, False, False],
    [19, False, False],
    [-5, False, False],
    [-35, False, False],
    [-57, False, False],
    [-79, True, False],
    [-101, True, False],
    [-69, True, False],
    [-89, True, False],
    [-109, True, False],
    [-132, True, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[27, 40],
     [23, 40],
     [28, 40],
     [67, 40],
     [96, 40],
     [101, 40],
     [18, 40],
     [11, 40],
     [16, 40],
     [18, 40],
     [13, 40],
     [16, 40],
     [18, 40],
     [16, 40],
     [17, 40],
     [10, 40],
     [15, 40]]],
   [[-13, False, False],
    [-30, False, False],
    [-42, False, False],
    [-15, False, False],
    [41, False, False],
    [100, False, False],
    [78, False, False],
    [49, False, False],
    [25, False, False],
    [3, False, False],
    [-24, False, False],
    [-48, False, False],
    [-70, True, False],
    [-94, True, False],
    [-117, True, False],
    [-147, True, False],
    [-172, True, True]]]],
 [['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[57, 40],
     [101, 40],
     [100, 40],
     [98, 40],
     [95, 40],
     [100, 40],
     [101, 40],
     [103, 40],
     [96, 40],
     [97, 40],
     [14, 40],
     [17, 40],
     [12, 40],
     [20, 40],
     [13, 40]]],
   [[17, False, False],
    [78, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [74, False, False],
    [51, False, False],
    [23, False, False],
    [3, False, False],
    [-24, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[10, 40],
     [10, 40],
     [19, 40],
     [28, 40],
     [26, 40],
     [27, 40],
     [28, 40],
     [26, 40],
     [75, 40],
     [65, 40],
     [73, 40],
     [71, 40],
     [71, 40],
     [72, 40],
     [11, 40],
     [13, 40],
     [19, 40],
     [15, 40],
     [27, 40],
     [30, 40]]],
   [[-30, False, False],
    [-60, True, False],
    [-81, True, False],
    [-93, True, False],
    [-107, True, False],
    [-120, True, False],
    [-132, True, False],
    [-146, True, False],
    [-111, True, False],
    [-86, True, False],
    [-53, True, False],
    [-22, True, False],
    [9, False, False],
    [41, False, False],
    [12, False, False],
    [-15, False, False],
    [-36, False, False],
    [-61, True, False],
    [-74, True, False],
    [-84, True, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[13, 40],
     [95, 40],
     [100, 40],
     [49, 40],
     [97, 40],
     [103, 40],
     [97, 40],
     [101, 40],
     [99, 40],
     [99, 40],
     [105, 40],
     [101, 40]]],
   [[-27, False, False],
    [28, False, False],
    [88, False, False],
    [97, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[21, 40],
     [25, 40],
     [46, 40],
     [48, 40],
     [21, 40],
     [24, 40],
     [26, 40],
     [25, 40],
     [25, 40],
     [45, 40],
     [49, 40],
     [50, 40],
     [50, 40],
     [48, 40],
     [45, 40],
     [55, 40],
     [20, 40],
     [23, 40],
     [103, 40],
     [102, 40],
     [73, 40],
     [75, 40]]],
   [[-19, False, False],
    [-34, False, False],
    [-28, False, False],
    [-20, False, False],
    [-39, False, False],
    [-55, False, False],
    [-69, True, False],
    [-84, True, False],
    [-99, True, False],
    [-94, True, False],
    [-85, True, False],
    [-75, True, False],
    [-65, True, False],
    [-57, True, False],
    [-52, True, False],
    [-37, True, False],
    [-57, True, False],
    [-74, True, False],
    [-11, True, False],
    [51, False, False],
    [84, False, False],
    [100, False, False]]]],
 [['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[14, 40],
     [17, 40],
     [19, 40],
     [12, 40],
     [16, 40],
     [10, 40],
     [16, 40],
     [12, 40],
     [16, 40],
     [19, 40],
     [16, 40],
     [12, 40],
     [20, 40],
     [10, 40],
     [20, 40],
     [11, 40],
     [20, 40]]],
   [[-26, False, False],
    [-49, False, False],
    [-70, True, False],
    [-98, True, False],
    [-122, True, False],
    [-152, True, True],
    [-176, True, True],
    [-204, True, True],
    [-228, True, True],
    [-249, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[68, 40],
     [72, 40],
     [75, 40],
     [69, 40],
     [70, 40],
     [66, 40],
     [65, 40],
     [68, 40],
     [75, 40],
     [71, 40],
     [70, 40],
     [74, 40],
     [68, 40],
     [74, 40],
     [68, 40],
     [67, 40],
     [69, 40],
     [72, 40],
     [68, 40],
     [70, 40],
     [75, 40],
     [72, 40],
     [75, 40],
     [66, 40]]],
   [[28, False, False],
    [60, False, False],
    [95, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[67, 40],
     [23, 40],
     [22, 40],
     [25, 40],
     [49, 40],
     [10, 40],
     [100, 40],
     [95, 40],
     [103, 40],
     [100, 40],
     [104, 40],
     [14, 40],
     [50, 40],
     [48, 40],
     [51, 40],
     [48, 40],
     [46, 40],
     [53, 40],
     [52, 40],
     [47, 40],
     [52, 40]]],
   [[27, False, False],
    [10, False, False],
    [-8, False, False],
    [-23, False, False],
    [-14, False, False],
    [-44, False, False],
    [16, False, False],
    [71, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [74, False, False],
    [84, False, False],
    [92, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[57, 40],
     [54, 40],
     [54, 40],
     [50, 40],
     [55, 40],
     [52, 40],
     [53, 40],
     [50, 40],
     [59, 40],
     [50, 40],
     [51, 40],
     [57, 40],
     [73, 40],
     [67, 40],
     [15, 40],
     [71, 40],
     [65, 40],
     [74, 40]]],
   [[17, False, False],
    [31, False, False],
    [45, False, False],
    [55, False, False],
    [70, False, False],
    [82, False, False],
    [95, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [75, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]]],
 [['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[55, 40],
     [51, 40],
     [74, 40],
     [47, 40],
     [27, 40],
     [24, 40],
     [105, 40],
     [55, 40],
     [46, 40],
     [45, 40],
     [55, 40],
     [53, 40],
     [101, 40],
     [105, 40],
     [95, 40],
     [54, 40]]],
   [[15, False, False],
    [26, False, False],
    [60, False, False],
    [67, False, False],
    [54, False, False],
    [38, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[52, 40],
     [102, 40],
     [104, 40],
     [97, 40],
     [46, 40],
     [49, 40],
     [53, 40],
     [53, 40],
     [51, 40],
     [50, 40],
     [47, 40],
     [52, 40]]],
   [[12, False, False],
    [74, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[102, 40],
     [98, 40],
     [95, 40],
     [51, 40],
     [53, 40],
     [52, 40],
     [51, 40],
     [53, 40],
     [53, 40],
     [52, 40],
     [46, 40],
     [53, 40],
     [47, 40],
     [46, 40],
     [46, 40]]],
   [[62, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[14, 40], [17, 40], [17, 40], [13, 40], [12, 40], [20, 40], [12, 40], [19, 40], [14, 40], [20, 40]]],
   [[-26, False, False],
    [-49, False, False],
    [-72, True, False],
    [-99, True, False],
    [-127, True, False],
    [-147, True, False],
    [-175, True, False],
    [-196, True, False],
    [-222, True, False],
    [-242, True, False]]]],
 [['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[67, 40],
     [73, 40],
     [101, 40],
     [96, 40],
     [104, 40],
     [99, 40],
     [101, 40],
     [98, 40],
     [95, 40],
     [95, 40],
     [65, 40],
     [71, 40]]],
   [[27, False, False],
    [60, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[20, 40], [25, 40], [21, 40], [22, 40], [26, 40], [25, 40], [26, 40], [24, 40], [73, 40], [71, 40]]],
   [[-20, False, False],
    [-35, False, False],
    [-54, False, False],
    [-72, True, False],
    [-86, True, False],
    [-101, True, False],
    [-115, True, False],
    [-131, True, False],
    [-98, True, False],
    [-67, True, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[10, 40],
     [18, 40],
     [24, 40],
     [27, 40],
     [27, 40],
     [27, 40],
     [30, 40],
     [25, 40],
     [26, 40],
     [103, 40],
     [99, 40],
     [97, 40],
     [101, 40],
     [14, 40],
     [19, 40],
     [17, 40]]],
   [[-30, False, False],
    [-52, False, False],
    [-68, True, False],
    [-81, True, False],
    [-94, True, False],
    [-107, True, False],
    [-117, True, False],
    [-132, True, False],
    [-146, True, False],
    [-83, True, False],
    [-24, True, False],
    [33, False, False],
    [94, False, False],
    [68, False, False],
    [47, False, False],
    [24, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[104, 40],
     [99, 40],
     [100, 40],
     [98, 40],
     [96, 40],
     [96, 40],
     [100, 40],
     [103, 40],
     [99, 40],
     [105, 40]]],
   [[64, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: deficit and recovery	`[[-20, False, False], [-40, False, False], [-60, True, False], [-80, True, False], [-100, True, True], [-120, True, True], [-140, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True]]`	`[[-20, False, False], [-40, False, False], [-60, True, False], [-80, True, False], [-100, True, True], [-120, True, True], [-140, True, True], [-120, True, True], [-100, True, True], [-80, True, True], [-60, True, False], [-40, True, False], [-20, True, False], [0, False, False]]`	Failed
regression: long surplus	`[[-30, False, False], [-60, True, False], [-90, True, False], [-120, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True]]`	`[[30, False, False], [60, False, False], [90, False, False], [100, False, False], [100, False, False], [100, False, False], [80, False, False], [60, False, False], [40, False, False], [20, False, False], [0, False, False]]`	Failed
regression: deep deficit floor	`[[-40, False, False], [-80, True, False], [-120, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-150, True, True]]`	`[[-40, False, False], [-80, True, False], [-120, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-110, True, True], [-70, True, True], [-30, True, False], [10, False, False]]`	Failed
regression: start then immediate surplus	`[[-40, False, False], [-60, True, False], [-90, True, False], [-120, True, True], [-125, True, True]]`	`[[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]`	Failed
regression: scenario 1	`[[-29, False, False], [-39, False, False], [-48, False, False], [-61, True, False], [-70, True, False], [-101, True, False], [-166, True, True], [-226, True, True], [-249, True, True], [-276, True, True], [-338, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True]]`	`[[-29, False, False], [-19, False, False], [-10, False, False], [3, False, False], [12, False, False], [43, False, False], [100, False, False], [100, False, False], [77, False, False], [50, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	Failed
regression: scenario 2	`[[-27, False, False], [-54, False, False], [-87, True, False], [-118, True, False], [-147, True, False], [-168, True, False], [-197, True, False], [-227, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False], [-250, True, False]]`	`[[27, False, False], [54, False, False], [87, False, False], [100, False, False], [71, False, False], [50, False, False], [79, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	Failed
regression: scenario 3	`[[-31, False, False], [-66, True, False], [-98, True, False], [-126, True, False], [-161, True, False], [-169, True, False], [-174, True, False], [-184, True, False], [-206, True, False], [-227, True, False], [-255, True, False], [-279, True, False], [-309, True, True], [-331, True, True], [-353, True, True], [-375, True, True], [-400, True, True], [-400, True, True], [-400, True, True], [-400, True, True]]`	`[[31, False, False], [66, False, False], [98, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [90, False, False], [68, False, False], [47, False, False], [19, False, False], [-5, False, False], [-35, False, False], [-57, False, False], [-79, True, False], [-101, True, False], [-69, True, False], [-89, True, False], [-109, True, False], [-132, True, False]]`	Failed
regression: scenario 4	`[[-13, False, False], [-30, False, False], [-42, False, False], [-69, True, False], [-125, True, False], [-186, True, True], [-208, True, True], [-237, True, True], [-250, True, True], [-250, True, True], [-250, True, True], [-250, True, True], [-250, True, True], [-250, True, True], [-250, True, True], [-250, True, True], [-250, True, True]]`	`[[-13, False, False], [-30, False, False], [-42, False, False], [-15, False, False], [41, False, False], [100, False, False], [78, False, False], [49, False, False], [25, False, False], [3, False, False], [-24, False, False], [-48, False, False], [-70, True, False], [-94, True, False], [-117, True, False], [-147, True, False], [-172, True, True]]`	Failed

SHA-256 / 70e86c248f378d91a85956a2a4cf40e3b00a1a581621abd7a081c9d64f12da77

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(settings, samples):
    dm = 0
    comp = False
    aux = False
    out = []
    for supply, target in samples:
        dm = max(settings['floor'], min(100, dm + supply - target))
        if comp and dm >= settings['stop_dm']:
            comp = False
        elif not comp and dm <= settings['start_dm']:
            comp = True
        if aux and dm >= settings['start_dm']:
            aux = False
        elif not aux and dm <= settings['aux_dm']:
            aux = True
        out.append([dm, comp, aux])
    return out
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
fixtures = [[['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[11, 40],
     [50, 40],
     [49, 40],
     [53, 40],
     [49, 40],
     [71, 40],
     [105, 40],
     [100, 40],
     [17, 40],
     [13, 40],
     [102, 40],
     [102, 40],
     [99, 40],
     [105, 40],
     [96, 40],
     [50, 40],
     [48, 40],
     [46, 40],
     [47, 40],
     [50, 40],
     [52, 40],
     [48, 40],
     [71, 40]]],
   [[-29, False, False],
    [-19, False, False],
    [-10, False, False],
    [3, False, False],
    [12, False, False],
    [43, False, False],
    [100, False, False],
    [100, False, False],
    [77, False, False],
    [50, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[67, 40],
     [67, 40],
     [73, 40],
     [71, 40],
     [11, 40],
     [19, 40],
     [69, 40],
     [70, 40],
     [65, 40],
     [70, 40],
     [66, 40],
     [66, 40],
     [71, 40],
     [68, 40],
     [70, 40],
     [73, 40],
     [74, 40],
     [73, 40],
     [65, 40],
     [75, 40],
     [104, 40]]],
   [[27, False, False],
    [54, False, False],
    [87, False, False],
    [100, False, False],
    [71, False, False],
    [50, False, False],
    [79, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[71, 40],
     [75, 40],
     [72, 40],
     [68, 40],
     [75, 40],
     [48, 40],
     [45, 40],
     [30, 40],
     [18, 40],
     [19, 40],
     [12, 40],
     [16, 40],
     [10, 40],
     [18, 40],
     [18, 40],
     [18, 40],
     [72, 40],
     [20, 40],
     [20, 40],
     [17, 40]]],
   [[31, False, False],
    [66, False, False],
    [98, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [90, False, False],
    [68, False, False],
    [47, False, False],
    [19, False, False],
    [-5, False, False],
    [-35, False, False],
    [-57, False, False],
    [-79, True, False],
    [-101, True, False],
    [-69, True, False],
    [-89, True, False],
    [-109, True, False],
    [-132, True, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[27, 40],
     [23, 40],
     [28, 40],
     [67, 40],
     [96, 40],
     [101, 40],
     [18, 40],
     [11, 40],
     [16, 40],
     [18, 40],
     [13, 40],
     [16, 40],
     [18, 40],
     [16, 40],
     [17, 40],
     [10, 40],
     [15, 40]]],
   [[-13, False, False],
    [-30, False, False],
    [-42, False, False],
    [-15, False, False],
    [41, False, False],
    [100, False, False],
    [78, False, False],
    [49, False, False],
    [25, False, False],
    [3, False, False],
    [-24, False, False],
    [-48, False, False],
    [-70, True, False],
    [-94, True, False],
    [-117, True, False],
    [-147, True, False],
    [-172, True, True]]]],
 [['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[57, 40],
     [101, 40],
     [100, 40],
     [98, 40],
     [95, 40],
     [100, 40],
     [101, 40],
     [103, 40],
     [96, 40],
     [97, 40],
     [14, 40],
     [17, 40],
     [12, 40],
     [20, 40],
     [13, 40]]],
   [[17, False, False],
    [78, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [74, False, False],
    [51, False, False],
    [23, False, False],
    [3, False, False],
    [-24, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[10, 40],
     [10, 40],
     [19, 40],
     [28, 40],
     [26, 40],
     [27, 40],
     [28, 40],
     [26, 40],
     [75, 40],
     [65, 40],
     [73, 40],
     [71, 40],
     [71, 40],
     [72, 40],
     [11, 40],
     [13, 40],
     [19, 40],
     [15, 40],
     [27, 40],
     [30, 40]]],
   [[-30, False, False],
    [-60, True, False],
    [-81, True, False],
    [-93, True, False],
    [-107, True, False],
    [-120, True, False],
    [-132, True, False],
    [-146, True, False],
    [-111, True, False],
    [-86, True, False],
    [-53, True, False],
    [-22, True, False],
    [9, False, False],
    [41, False, False],
    [12, False, False],
    [-15, False, False],
    [-36, False, False],
    [-61, True, False],
    [-74, True, False],
    [-84, True, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[13, 40],
     [95, 40],
     [100, 40],
     [49, 40],
     [97, 40],
     [103, 40],
     [97, 40],
     [101, 40],
     [99, 40],
     [99, 40],
     [105, 40],
     [101, 40]]],
   [[-27, False, False],
    [28, False, False],
    [88, False, False],
    [97, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[21, 40],
     [25, 40],
     [46, 40],
     [48, 40],
     [21, 40],
     [24, 40],
     [26, 40],
     [25, 40],
     [25, 40],
     [45, 40],
     [49, 40],
     [50, 40],
     [50, 40],
     [48, 40],
     [45, 40],
     [55, 40],
     [20, 40],
     [23, 40],
     [103, 40],
     [102, 40],
     [73, 40],
     [75, 40]]],
   [[-19, False, False],
    [-34, False, False],
    [-28, False, False],
    [-20, False, False],
    [-39, False, False],
    [-55, False, False],
    [-69, True, False],
    [-84, True, False],
    [-99, True, False],
    [-94, True, False],
    [-85, True, False],
    [-75, True, False],
    [-65, True, False],
    [-57, True, False],
    [-52, True, False],
    [-37, True, False],
    [-57, True, False],
    [-74, True, False],
    [-11, True, False],
    [51, False, False],
    [84, False, False],
    [100, False, False]]]],
 [['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[14, 40],
     [17, 40],
     [19, 40],
     [12, 40],
     [16, 40],
     [10, 40],
     [16, 40],
     [12, 40],
     [16, 40],
     [19, 40],
     [16, 40],
     [12, 40],
     [20, 40],
     [10, 40],
     [20, 40],
     [11, 40],
     [20, 40]]],
   [[-26, False, False],
    [-49, False, False],
    [-70, True, False],
    [-98, True, False],
    [-122, True, False],
    [-152, True, True],
    [-176, True, True],
    [-204, True, True],
    [-228, True, True],
    [-249, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True],
    [-250, True, True]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[68, 40],
     [72, 40],
     [75, 40],
     [69, 40],
     [70, 40],
     [66, 40],
     [65, 40],
     [68, 40],
     [75, 40],
     [71, 40],
     [70, 40],
     [74, 40],
     [68, 40],
     [74, 40],
     [68, 40],
     [67, 40],
     [69, 40],
     [72, 40],
     [68, 40],
     [70, 40],
     [75, 40],
     [72, 40],
     [75, 40],
     [66, 40]]],
   [[28, False, False],
    [60, False, False],
    [95, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -250},
    [[67, 40],
     [23, 40],
     [22, 40],
     [25, 40],
     [49, 40],
     [10, 40],
     [100, 40],
     [95, 40],
     [103, 40],
     [100, 40],
     [104, 40],
     [14, 40],
     [50, 40],
     [48, 40],
     [51, 40],
     [48, 40],
     [46, 40],
     [53, 40],
     [52, 40],
     [47, 40],
     [52, 40]]],
   [[27, False, False],
    [10, False, False],
    [-8, False, False],
    [-23, False, False],
    [-14, False, False],
    [-44, False, False],
    [16, False, False],
    [71, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [74, False, False],
    [84, False, False],
    [92, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[57, 40],
     [54, 40],
     [54, 40],
     [50, 40],
     [55, 40],
     [52, 40],
     [53, 40],
     [50, 40],
     [59, 40],
     [50, 40],
     [51, 40],
     [57, 40],
     [73, 40],
     [67, 40],
     [15, 40],
     [71, 40],
     [65, 40],
     [74, 40]]],
   [[17, False, False],
    [31, False, False],
    [45, False, False],
    [55, False, False],
    [70, False, False],
    [82, False, False],
    [95, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [75, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]]],
 [['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[55, 40],
     [51, 40],
     [74, 40],
     [47, 40],
     [27, 40],
     [24, 40],
     [105, 40],
     [55, 40],
     [46, 40],
     [45, 40],
     [55, 40],
     [53, 40],
     [101, 40],
     [105, 40],
     [95, 40],
     [54, 40]]],
   [[15, False, False],
    [26, False, False],
    [60, False, False],
    [67, False, False],
    [54, False, False],
    [38, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[52, 40],
     [102, 40],
     [104, 40],
     [97, 40],
     [46, 40],
     [49, 40],
     [53, 40],
     [53, 40],
     [51, 40],
     [50, 40],
     [47, 40],
     [52, 40]]],
   [[12, False, False],
    [74, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[102, 40],
     [98, 40],
     [95, 40],
     [51, 40],
     [53, 40],
     [52, 40],
     [51, 40],
     [53, 40],
     [53, 40],
     [52, 40],
     [46, 40],
     [53, 40],
     [47, 40],
     [46, 40],
     [46, 40]]],
   [[62, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -300, 'floor': -400},
    [[14, 40], [17, 40], [17, 40], [13, 40], [12, 40], [20, 40], [12, 40], [19, 40], [14, 40], [20, 40]]],
   [[-26, False, False],
    [-49, False, False],
    [-72, True, False],
    [-99, True, False],
    [-127, True, False],
    [-147, True, False],
    [-175, True, False],
    [-196, True, False],
    [-222, True, False],
    [-242, True, False]]]],
 [['regression: scenario 1',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[67, 40],
     [73, 40],
     [101, 40],
     [96, 40],
     [104, 40],
     [99, 40],
     [101, 40],
     [98, 40],
     [95, 40],
     [95, 40],
     [65, 40],
     [71, 40]]],
   [[27, False, False],
    [60, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]],
  ['regression: scenario 2',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[20, 40], [25, 40], [21, 40], [22, 40], [26, 40], [25, 40], [26, 40], [24, 40], [73, 40], [71, 40]]],
   [[-20, False, False],
    [-35, False, False],
    [-54, False, False],
    [-72, True, False],
    [-86, True, False],
    [-101, True, False],
    [-115, True, False],
    [-131, True, False],
    [-98, True, False],
    [-67, True, False]]],
  ['regression: deficit and recovery',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40],
     [60, 40]]],
   [[-20, False, False],
    [-40, False, False],
    [-60, True, False],
    [-80, True, False],
    [-100, True, True],
    [-120, True, True],
    [-140, True, True],
    [-120, True, True],
    [-100, True, True],
    [-80, True, True],
    [-60, True, False],
    [-40, True, False],
    [-20, True, False],
    [0, False, False]]],
  ['regression: long surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [70, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40],
     [20, 40]]],
   [[30, False, False],
    [60, False, False],
    [90, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [80, False, False],
    [60, False, False],
    [40, False, False],
    [20, False, False],
    [0, False, False]]],
  ['regression: deep deficit floor',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [0, 40], [80, 40], [80, 40], [80, 40], [80, 40]]],
   [[-40, False, False],
    [-80, True, False],
    [-120, True, True],
    [-150, True, True],
    [-150, True, True],
    [-150, True, True],
    [-110, True, True],
    [-70, True, True],
    [-30, True, False],
    [10, False, False]]],
  ['regression: start then immediate surplus',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -100, 'floor': -150},
    [[0, 40], [20, 40], [70, 40], [70, 40], [45, 40]]],
   [[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]],
  ['regression: scenario 3',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -400},
    [[10, 40],
     [18, 40],
     [24, 40],
     [27, 40],
     [27, 40],
     [27, 40],
     [30, 40],
     [25, 40],
     [26, 40],
     [103, 40],
     [99, 40],
     [97, 40],
     [101, 40],
     [14, 40],
     [19, 40],
     [17, 40]]],
   [[-30, False, False],
    [-52, False, False],
    [-68, True, False],
    [-81, True, False],
    [-94, True, False],
    [-107, True, False],
    [-117, True, False],
    [-132, True, False],
    [-146, True, False],
    [-83, True, False],
    [-24, True, False],
    [33, False, False],
    [94, False, False],
    [68, False, False],
    [47, False, False],
    [24, False, False]]],
  ['regression: scenario 4',
   [{'start_dm': -60, 'stop_dm': 0, 'aux_dm': -150, 'floor': -250},
    [[104, 40],
     [99, 40],
     [100, 40],
     [98, 40],
     [96, 40],
     [96, 40],
     [100, 40],
     [103, 40],
     [99, 40],
     [105, 40]]],
   [[64, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False],
    [100, False, False]]]]]
for label, args, expected in fixtures[N-1]:
    check(label, solve(*args), expected)
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
regression: deficit and recovery	`[[-20, False, False], [-40, False, False], [-60, True, False], [-80, True, False], [-100, True, True], [-120, True, True], [-140, True, True], [-120, True, True], [-100, True, True], [-80, True, True], [-60, True, False], [-40, True, False], [-20, True, False], [0, False, False]]`	`[[-20, False, False], [-40, False, False], [-60, True, False], [-80, True, False], [-100, True, True], [-120, True, True], [-140, True, True], [-120, True, True], [-100, True, True], [-80, True, True], [-60, True, False], [-40, True, False], [-20, True, False], [0, False, False]]`	Passed
regression: long surplus	`[[30, False, False], [60, False, False], [90, False, False], [100, False, False], [100, False, False], [100, False, False], [80, False, False], [60, False, False], [40, False, False], [20, False, False], [0, False, False]]`	`[[30, False, False], [60, False, False], [90, False, False], [100, False, False], [100, False, False], [100, False, False], [80, False, False], [60, False, False], [40, False, False], [20, False, False], [0, False, False]]`	Passed
regression: deep deficit floor	`[[-40, False, False], [-80, True, False], [-120, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-110, True, True], [-70, True, True], [-30, True, False], [10, False, False]]`	`[[-40, False, False], [-80, True, False], [-120, True, True], [-150, True, True], [-150, True, True], [-150, True, True], [-110, True, True], [-70, True, True], [-30, True, False], [10, False, False]]`	Passed
regression: start then immediate surplus	`[[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]`	`[[-40, False, False], [-60, True, False], [-30, True, False], [0, False, False], [5, False, False]]`	Passed
regression: scenario 1	`[[-29, False, False], [-19, False, False], [-10, False, False], [3, False, False], [12, False, False], [43, False, False], [100, False, False], [100, False, False], [77, False, False], [50, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	`[[-29, False, False], [-19, False, False], [-10, False, False], [3, False, False], [12, False, False], [43, False, False], [100, False, False], [100, False, False], [77, False, False], [50, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	Passed
regression: scenario 2	`[[27, False, False], [54, False, False], [87, False, False], [100, False, False], [71, False, False], [50, False, False], [79, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	`[[27, False, False], [54, False, False], [87, False, False], [100, False, False], [71, False, False], [50, False, False], [79, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False]]`	Passed
regression: scenario 3	`[[31, False, False], [66, False, False], [98, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [90, False, False], [68, False, False], [47, False, False], [19, False, False], [-5, False, False], [-35, False, False], [-57, False, False], [-79, True, False], [-101, True, False], [-69, True, False], [-89, True, False], [-109, True, False], [-132, True, False]]`	`[[31, False, False], [66, False, False], [98, False, False], [100, False, False], [100, False, False], [100, False, False], [100, False, False], [90, False, False], [68, False, False], [47, False, False], [19, False, False], [-5, False, False], [-35, False, False], [-57, False, False], [-79, True, False], [-101, True, False], [-69, True, False], [-89, True, False], [-109, True, False], [-132, True, False]]`	Passed
regression: scenario 4	`[[-13, False, False], [-30, False, False], [-42, False, False], [-15, False, False], [41, False, False], [100, False, False], [78, False, False], [49, False, False], [25, False, False], [3, False, False], [-24, False, False], [-48, False, False], [-70, True, False], [-94, True, False], [-117, True, False], [-147, True, False], [-172, True, True]]`	`[[-13, False, False], [-30, False, False], [-42, False, False], [-15, False, False], [41, False, False], [100, False, False], [78, False, False], [49, False, False], [25, False, False], [3, False, False], [-24, False, False], [-48, False, False], [-70, True, False], [-94, True, False], [-117, True, False], [-147, True, False], [-172, True, True]]`	Passed

SHA-256 / fbf01913268a362c14d0b89b930536bb2f02dfa24bb6813ec78120e8ce83f064

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:51:47.814415+00:00.

Case digest / d80198803976f41c7d011598bdf15d13aa84c79efd0f5a85512fa28b1ab18609