{"abstract":"Width linking requires two finite endpoints including zero 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: Width linking requires two finite endpoints including zero.","evaluation_group":"s3-filter-interfaces-coupled-range-edit","failed_approach":"The attempted correction `d['lo'] is not None or d['hi'] is not None` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-coupled-range-edit-link-enabled","id":"FA-25881","implementations":{"attempt":{"sha256":"049e0eb4ded340324344dc61d1b99ab1df676a7c596b490e2539045168537199","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 or 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': 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': None, 'hi': 2, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, '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': 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': 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': -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': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, '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': -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': 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': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'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': 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': 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': None, 'hi': 5, 'new': -1, 'lock': True, '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': 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":"52d4a865b3d0e2ae8850d94f893c91d67d06c892ac9891f819d895dbc28b1042","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':(bool(d['lo']) and bool(d['hi'])), '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': 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': None, 'hi': 2, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, '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': 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': 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': -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': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, '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': -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': 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': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'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': 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': 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': None, 'hi': 5, 'new': -1, 'lock': True, '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': 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":"6d8d29cf64d0bec1cc7378af9f69bca400576eadb981807313cd5d7fca05d2cb","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': 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': None, 'hi': 2, 'new': -1, 'lock': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': -1, 'linked-upper': 2, 'linked-lower': None, 'link-enabled': False, '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': 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': 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': -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': True, 'linked': False}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 2, 'linked-lower': 0, 'link-enabled': True, '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': -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': 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': True, 'linked': True}, {'lower-clamp': -1, 'upper-clamp': 0, 'linked-upper': 1, 'linked-lower': -3, 'link-enabled': True, 'reversal-warning': False}), ({'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': 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': 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': None, 'hi': 5, 'new': -1, 'lock': True, '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': 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-link-enabled","generated_at":"2026-09-29T14:41:10.866004+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 link-enabled projection: `d['lo'] is not None and d['hi'] is not None`.","root_cause":"The link-enabled decision uses `bool(d['lo']) and bool(d['hi'])` instead of the stipulated coupled-range-edit projection.","sha256":"2a66a9cb0334ba1e61950fa43fb5cf4a47e9ca999483430cc119c58ba9e2b94a","title":"Width linking requires two finite endpoints including zero · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":40.036,"exit_code":1,"observations":[{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 0","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":null,"linked-upper":2,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 1","expected":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"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":true,"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":false},{"actual":{"link-enabled":true,"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":false},{"actual":{"link-enabled":true,"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":false},{"actual":{"link-enabled":true,"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":false},{"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\": 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 1\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"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\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": true, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": null, \"link-enabled\": false, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": null, \"linked-lower\": 0, \"link-enabled\": true, \"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 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":38.733,"exit_code":1,"observations":[{"actual":{"link-enabled":false,"linked-lower":0,"linked-upper":2,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 0","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"passed":false},{"actual":{"link-enabled":false,"linked-lower":null,"linked-upper":2,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 1","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":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":false,"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":false},{"actual":{"link-enabled":false,"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":false},{"actual":{"link-enabled":false,"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":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"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 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\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 1, \"upper-clamp\": 1, \"linked-upper\": 2, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"lower-clamp\": -1, \"upper-clamp\": -1, \"linked-upper\": 4, \"linked-lower\": -6, \"link-enabled\": false, \"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\": false, \"reversal-warning\": false}, \"expected\": {\"lower-clamp\": 5, \"upper-clamp\": 7, \"linked-upper\": 5, \"linked-lower\": 0, \"link-enabled\": true, \"reversal-warning\": false}, \"passed\": false}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.408,"exit_code":0,"observations":[{"actual":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"lower-clamp":-1,"reversal-warning":false,"upper-clamp":-1},"check":"contract fixture 0","expected":{"link-enabled":true,"linked-lower":0,"linked-upper":2,"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 1","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":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\": 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 1\", \"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 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"}