{"abstract":"Upper-bound crossing is clamped only under range lock is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"Editing one numeric endpoint clamps only when the range lock is enabled; linked-width edits translate the opposite endpoint, and unbounded sides remain unbounded. This example checks: Upper-bound crossing is clamped only under range lock.","evaluation_group":"s3-filter-interfaces-coupled-range-edit","failed_approach":"The attempted correction `d['new']` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-coupled-range-edit-upper-clamp","id":"FA-25866","implementations":{"attempt":{"sha256":"2e8d6d750e0bd619a1e42cd646eaadc7e38d28104c8d563c12acde613df66f38","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'lower-clamp':(min(d['new'],d['hi']) if d['lock'] and d['hi'] is not None else d['new']), 'upper-clamp':(d['new']), 'linked-upper':(d['hi']+d['new']-d['lo'] if d['linked'] and d['hi'] is not None and d['lo'] is not None else d['hi']), 'linked-lower':(d['lo']+d['new']-d['hi'] if d['linked'] and d['hi'] is not None and d['lo'] is not None else d['lo']), 'link-enabled':(d['lo'] is not None and d['hi'] is not None), 'reversal-warning':(d['lo'] is not None and d['hi'] is not None and d['lo']>d['hi'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'lo': None, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 4, 'linked-lower': -6, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False})], 2: [({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 2, 'upper-clamp': 7, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 2, 'upper-clamp': 7, 'linked-upper': 9, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False})], 3: [({'lo': 0, 'hi': 2, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 9, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': True}), ({'lo': 5, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 4, 'linked-lower': 10, 'link-enabled': True, 'reversal-warning': True})], 4: [({'lo': 0, 'hi': 2, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': 2, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': True}), ({'lo': None, 'hi': 5, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 3, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': -2, 'linked-lower': 4, 'link-enabled': True, 'reversal-warning': True})], 5: [({'lo': 0, 'hi': 5, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': 5, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': -1, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 3, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 12, 'linked-lower': 2, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': -2, 'linked-lower': 4, 'link-enabled': True, 'reversal-warning': True}), ({'lo': 5, 'hi': 5, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': 5, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"broken":{"sha256":"699fd24ffdc1568dd142ea15235e5e22d5114e67459f671a8766eacaaedcacbb","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'lower-clamp':(min(d['new'],d['hi']) if d['lock'] and d['hi'] is not None else d['new']), 'upper-clamp':(max(d['new'],d['lo']) if d['lo'] is not None else d['new']), 'linked-upper':(d['hi']+d['new']-d['lo'] if d['linked'] and d['hi'] is not None and d['lo'] is not None else d['hi']), 'linked-lower':(d['lo']+d['new']-d['hi'] if d['linked'] and d['hi'] is not None and d['lo'] is not None else d['lo']), 'link-enabled':(d['lo'] is not None and d['hi'] is not None), 'reversal-warning':(d['lo'] is not None and d['hi'] is not None and d['lo']>d['hi'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'lo': None, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 4, 'linked-lower': -6, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False})], 2: [({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 2, 'upper-clamp': 7, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 2, 'upper-clamp': 7, 'linked-upper': 9, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False})], 3: [({'lo': 0, 'hi': 2, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 9, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': True}), ({'lo': 5, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 4, 'linked-lower': 10, 'link-enabled': True, 'reversal-warning': True})], 4: [({'lo': 0, 'hi': 2, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': 2, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': True}), ({'lo': None, 'hi': 5, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 3, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': -2, 'linked-lower': 4, 'link-enabled': True, 'reversal-warning': True})], 5: [({'lo': 0, 'hi': 5, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': 5, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': -1, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 3, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 12, 'linked-lower': 2, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': -2, 'linked-lower': 4, 'link-enabled': True, 'reversal-warning': True}), ({'lo': 5, 'hi': 5, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': 5, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"},"fixed":{"sha256":"ca19a46897cf3e4e51e7ec23552cce0a8e346247e25e8bd937f74af321082f11","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'lower-clamp':(min(d['new'],d['hi']) if d['lock'] and d['hi'] is not None else d['new']), 'upper-clamp':(max(d['new'],d['lo']) if d['lock'] and d['lo'] is not None else d['new']), 'linked-upper':(d['hi']+d['new']-d['lo'] if d['linked'] and d['hi'] is not None and d['lo'] is not None else d['hi']), 'linked-lower':(d['lo']+d['new']-d['hi'] if d['linked'] and d['hi'] is not None and d['lo'] is not None else d['lo']), 'link-enabled':(d['lo'] is not None and d['hi'] is not None), 'reversal-warning':(d['lo'] is not None and d['hi'] is not None and d['lo']>d['hi'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'lo': None, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 4, 'linked-lower': -6, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False})], 2: [({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 2, 'upper-clamp': 7, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 2, 'upper-clamp': 7, 'linked-upper': 9, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False})], 3: [({'lo': 0, 'hi': 2, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 9, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': True}), ({'lo': 5, 'hi': 2, 'new': 7, 'lock': False, 'linked': True}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': 4, 'linked-lower': 10, 'link-enabled': True, 'reversal-warning': True})], 4: [({'lo': 0, 'hi': 2, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': True, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': 2, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': True}), ({'lo': None, 'hi': 5, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 3, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 1, 'lock': False, 'linked': False}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': -1, 'lock': False, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 7, 'lock': True, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': True, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 5, 'linked-upper': -2, 'linked-lower': 4, 'link-enabled': True, 'reversal-warning': True})], 5: [({'lo': 0, 'hi': 5, 'new': -1, 'lock': False, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': 5, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': -1, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': None, 'hi': 5, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 5, 'linked-lower': None, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': None, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 0, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 0, 'hi': 2, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': 3, 'linked-lower': -1, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 5, 'linked-lower': 0, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 0, 'hi': 5, 'new': 7, 'lock': True, 'linked': True}, {'lower-clamp': 5, 'upper-clamp': 7, 'linked-upper': 12, 'linked-lower': 2, 'link-enabled': True, 'reversal-warning': False}), ({'lo': 5, 'hi': None, 'new': 7, 'lock': False, 'linked': False}, {'lower-clamp': 7, 'upper-clamp': 7, 'linked-upper': None, 'linked-lower': 5, 'link-enabled': False, 'reversal-warning': False}), ({'lo': 5, 'hi': 2, 'new': 1, 'lock': False, 'linked': True}, {'lower-clamp': 1, 'upper-clamp': 1, 'linked-upper': -2, 'linked-lower': 4, 'link-enabled': True, 'reversal-warning': True}), ({'lo': 5, 'hi': 5, 'new': -1, 'lock': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 5, 'linked-upper': 5, 'linked-lower': 5, 'link-enabled': True, 'reversal-warning': False})]}\nfor index, (data, expected) in enumerate(fixtures[N]):\n    check(\"contract fixture \" + str(index), solve(data), expected)\nprint(json.dumps({\"observations\": observations, \"passed\": all(x[\"passed\"] for x in observations)}, ensure_ascii=False))\nraise SystemExit(0 if all(x[\"passed\"] for x in observations) else 1)\n"}},"limitations":"Deterministic bounded UI-state model only; no browser, query engine, network, or production-standard conformance is claimed. This reproducer isolates one failure mechanism. Results cover the supplied fixtures. Variants within a family share a test contract and should remain grouped when constructing evaluation splits. Related mechanisms with a shared evaluation_group must also remain together; these controlled models are not independent production incidents.","method":"Deterministic executable model with adversarial boundary fixtures.","provenance":{"created_by":"Failure Map","dependencies":"Python standard library","family":"s3-filter-interfaces-coupled-range-edit-upper-clamp","generated_at":"2026-09-29T14:41:10.649890+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"Filter-widget state and serialization must preserve user constraints while the view changes.","repair":"Implement the declared upper-clamp projection: `max(d['new'],d['lo']) if d['lock'] and d['lo'] is not None else d['new']`.","root_cause":"The upper-clamp decision uses `max(d['new'],d['lo']) if d['lo'] is not None else d['new']` instead of the stipulated coupled-range-edit projection.","sha256":"50b58729321205c5737d49747fe1336a1bfa15202859266cd9aed91446e81a12","title":"Upper-bound crossing is clamped only under range lock · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.196,"exit_code":1,"observations":[{"actual":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 0","expected":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":-3,"linked-upper":1,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 1","expected":{"link-enabled":true,"linked-lower":-3,"linked-upper":1,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":0},"passed":false},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 2","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 3","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 4","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"check":"contract fixture 5","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"passed":true},{"actual":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 6","expected":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 7","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":-6,"linked-upper":4,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 8","expected":{"link-enabled":true,"linked-lower":-6,"linked-upper":4,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"check":"contract fixture 9","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 1, \"linked-lower\": -3, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": 0, \"linked-upper\": 1, \"linked-lower\": -3, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 4, \"linked-lower\": -6, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 4, \"linked-lower\": -6, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":40.132,"exit_code":1,"observations":[{"actual":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":0},"check":"contract fixture 0","expected":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":false},{"actual":{"link-enabled":true,"linked-lower":-3,"linked-upper":1,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":0},"check":"contract fixture 1","expected":{"link-enabled":true,"linked-lower":-3,"linked-upper":1,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":0},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 2","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 3","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 4","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"check":"contract fixture 5","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"passed":true},{"actual":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 6","expected":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 7","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":-6,"linked-upper":4,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":0},"check":"contract fixture 8","expected":{"link-enabled":true,"linked-lower":-6,"linked-upper":4,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":false},{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"check":"contract fixture 9","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": 0, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": 0, \"linked-upper\": 1, \"linked-lower\": -3, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": 0, \"linked-upper\": 1, \"linked-lower\": -3, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": 0, \"linked-upper\": 4, \"linked-lower\": -6, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 4, \"linked-lower\": -6, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":42.105,"exit_code":0,"observations":[{"actual":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 0","expected":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":-3,"linked-upper":1,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":0},"check":"contract fixture 1","expected":{"link-enabled":true,"linked-lower":-3,"linked-upper":1,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":0},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 2","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 3","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 4","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":true},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"check":"contract fixture 5","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"passed":true},{"actual":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 6","expected":{"link-enabled":false,"linked-lower":0,"linked-upper":null,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"check":"contract fixture 7","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":1,"reversal-warning":false,"upper-clamp":1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":-6,"linked-upper":4,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 8","expected":{"link-enabled":true,"linked-lower":-6,"linked-upper":4,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":true},{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"check":"contract fixture 9","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":5,"lower-clamp":5,"reversal-warning":false,"upper-clamp":7},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": 0, \"linked-upper\": 1, \"linked-lower\": -3, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": 0, \"linked-upper\": 1, \"linked-lower\": -3, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 4, \"linked-lower\": -6, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 4, \"linked-lower\": -6, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}