{"abstract":"Freezing a live date filter captures current time once is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"Relative filter presets retain symbolic duration until apply when frozen mode is selected; changing anchor or direction invalidates an absolute draft preview. This example checks: Freezing a live date filter captures current time once.","evaluation_group":"s3-filter-interfaces-relative-date-mode","failed_approach":"The attempted correction `d['now']` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-relative-date-mode-freeze-action","id":"FA-25796","implementations":{"attempt":{"sha256":"8aeed13d2f5c2b99c9b4bf2f2c68bb7f6ebd014520cf12ee802d5c9016482496","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'symbolic-payload':({'duration':d['duration'],'direction':d['direction']} if d['mode']=='live' else {'anchor':d['anchor'],'duration':d['duration'],'direction':d['direction']}), 'direction-caption':('past' if d['direction']==-1 else 'next'), 'anchor-control':(d['mode']=='frozen'), 'preview-validity':(d['preview_anchor']==d['anchor'] and d['preview_direction']==d['direction']), 'duration-required':(d['duration']>0), 'freeze-action':(d['now'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': False, 'freeze-action': 10}), ({'duration': 1, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10})], 2: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 1, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10})], 3: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10})], 4: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10})], 5: [({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': False, 'freeze-action': 10})]}\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":"053ece5dd10df34bab0d98b898f9f2b95c33d8e493a6ab88dbb00567eecffac3","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'symbolic-payload':({'duration':d['duration'],'direction':d['direction']} if d['mode']=='live' else {'anchor':d['anchor'],'duration':d['duration'],'direction':d['direction']}), 'direction-caption':('past' if d['direction']==-1 else 'next'), 'anchor-control':(d['mode']=='frozen'), 'preview-validity':(d['preview_anchor']==d['anchor'] and d['preview_direction']==d['direction']), 'duration-required':(d['duration']>0), 'freeze-action':(d['anchor'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': False, 'freeze-action': 10}), ({'duration': 1, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10})], 2: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 1, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10})], 3: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10})], 4: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10})], 5: [({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': False, 'freeze-action': 10})]}\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":"cc42f91ccff43a6f7419edcd34f98bd3261a8e2273e82c229983faaaefe82a7b","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'symbolic-payload':({'duration':d['duration'],'direction':d['direction']} if d['mode']=='live' else {'anchor':d['anchor'],'duration':d['duration'],'direction':d['direction']}), 'direction-caption':('past' if d['direction']==-1 else 'next'), 'anchor-control':(d['mode']=='frozen'), 'preview-validity':(d['preview_anchor']==d['anchor'] and d['preview_direction']==d['direction']), 'duration-required':(d['duration']>0), 'freeze-action':(d['now'] if d['mode']=='live' else d['anchor'])}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': False, 'freeze-action': 10}), ({'duration': 1, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10})], 2: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 1, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10})], 3: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 1, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10})], 4: [({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10})], 5: [({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 9, 'preview_direction': -1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 1, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 1, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': True, 'freeze-action': 10}), ({'duration': 7, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': True, 'freeze-action': 12}), ({'duration': 7, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 7, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': True, 'freeze-action': 10}), ({'duration': 0, 'direction': -1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': False, 'preview-validity': False, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': -1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': -1}, 'direction-caption': 'past', 'anchor-control': True, 'preview-validity': False, 'duration-required': False, 'freeze-action': 10}), ({'duration': 0, 'direction': 1, 'mode': 'live', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': False, 'preview-validity': True, 'duration-required': False, 'freeze-action': 12}), ({'duration': 0, 'direction': 1, 'mode': 'frozen', 'anchor': 10, 'now': 12, 'preview_anchor': 10, 'preview_direction': 1}, {'symbolic-payload': {'anchor': 10, 'duration': 0, 'direction': 1}, 'direction-caption': 'next', 'anchor-control': True, 'preview-validity': True, 'duration-required': False, 'freeze-action': 10})]}\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-relative-date-mode-freeze-action","generated_at":"2026-09-29T14:41:09.997392+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 freeze-action projection: `d['now'] if d['mode']=='live' else d['anchor']`.","root_cause":"The freeze-action decision uses `d['anchor']` instead of the stipulated relative-date-mode projection.","sha256":"aa1d0897776d9b245ce783cdef7e2a600100f034e3ac40a9c71b4ec8928b2bae","title":"Freezing a live date filter captures current time once · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":48.925,"exit_code":1,"observations":[{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":false,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":0}},"check":"contract fixture 0","expected":{"anchor-control":false,"direction-caption":"past","duration-required":false,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":0}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":false,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":0}},"check":"contract fixture 1","expected":{"anchor-control":true,"direction-caption":"past","duration-required":false,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":0}},"passed":false},{"actual":{"anchor-control":false,"direction-caption":"next","duration-required":false,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":0}},"check":"contract fixture 2","expected":{"anchor-control":false,"direction-caption":"next","duration-required":false,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":0}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"next","duration-required":false,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":0}},"check":"contract fixture 3","expected":{"anchor-control":true,"direction-caption":"next","duration-required":false,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":0}},"passed":false},{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":1}},"check":"contract fixture 4","expected":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":1}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":1}},"check":"contract fixture 5","expected":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":1}},"passed":false},{"actual":{"anchor-control":false,"direction-caption":"next","duration-required":true,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":1}},"check":"contract fixture 6","expected":{"anchor-control":false,"direction-caption":"next","duration-required":true,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":1}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"next","duration-required":true,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":1}},"check":"contract fixture 7","expected":{"anchor-control":true,"direction-caption":"next","duration-required":true,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":1}},"passed":false},{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":7}},"check":"contract fixture 8","expected":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":7}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":7}},"check":"contract fixture 9","expected":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":7}},"passed":false}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 10}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 10}, \"passed\": false}, {\"check\": \"contract fixture 4\", \"actual\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": false}, {\"check\": \"contract fixture 6\", \"actual\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": false}, {\"check\": \"contract fixture 8\", \"actual\": {\"symbolic-payload\": {\"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":42.611,"exit_code":1,"observations":[{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":false,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":0}},"check":"contract fixture 0","expected":{"anchor-control":false,"direction-caption":"past","duration-required":false,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":0}},"passed":false},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":false,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":0}},"check":"contract fixture 1","expected":{"anchor-control":true,"direction-caption":"past","duration-required":false,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":0}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"next","duration-required":false,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":0}},"check":"contract fixture 2","expected":{"anchor-control":false,"direction-caption":"next","duration-required":false,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":0}},"passed":false},{"actual":{"anchor-control":true,"direction-caption":"next","duration-required":false,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":0}},"check":"contract fixture 3","expected":{"anchor-control":true,"direction-caption":"next","duration-required":false,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":0}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":1}},"check":"contract fixture 4","expected":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":1}},"passed":false},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":1}},"check":"contract fixture 5","expected":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":1}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"next","duration-required":true,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":1}},"check":"contract fixture 6","expected":{"anchor-control":false,"direction-caption":"next","duration-required":true,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":1}},"passed":false},{"actual":{"anchor-control":true,"direction-caption":"next","duration-required":true,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":1}},"check":"contract fixture 7","expected":{"anchor-control":true,"direction-caption":"next","duration-required":true,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":1}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":7}},"check":"contract fixture 8","expected":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":7}},"passed":false},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":7}},"check":"contract fixture 9","expected":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":7}},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 12}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 12}, \"passed\": false}, {\"check\": \"contract fixture 3\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": false}, {\"check\": \"contract fixture 5\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": false}, {\"check\": \"contract fixture 7\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"symbolic-payload\": {\"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": false}, {\"check\": \"contract fixture 9\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":45.807,"exit_code":0,"observations":[{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":false,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":0}},"check":"contract fixture 0","expected":{"anchor-control":false,"direction-caption":"past","duration-required":false,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":0}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":false,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":0}},"check":"contract fixture 1","expected":{"anchor-control":true,"direction-caption":"past","duration-required":false,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":0}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"next","duration-required":false,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":0}},"check":"contract fixture 2","expected":{"anchor-control":false,"direction-caption":"next","duration-required":false,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":0}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"next","duration-required":false,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":0}},"check":"contract fixture 3","expected":{"anchor-control":true,"direction-caption":"next","duration-required":false,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":0}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":1}},"check":"contract fixture 4","expected":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":1}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":1}},"check":"contract fixture 5","expected":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":1}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"next","duration-required":true,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":1}},"check":"contract fixture 6","expected":{"anchor-control":false,"direction-caption":"next","duration-required":true,"freeze-action":12,"preview-validity":true,"symbolic-payload":{"direction":1,"duration":1}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"next","duration-required":true,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":1}},"check":"contract fixture 7","expected":{"anchor-control":true,"direction-caption":"next","duration-required":true,"freeze-action":10,"preview-validity":true,"symbolic-payload":{"anchor":10,"direction":1,"duration":1}},"passed":true},{"actual":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":7}},"check":"contract fixture 8","expected":{"anchor-control":false,"direction-caption":"past","duration-required":true,"freeze-action":12,"preview-validity":false,"symbolic-payload":{"direction":-1,"duration":7}},"passed":true},{"actual":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":7}},"check":"contract fixture 9","expected":{"anchor-control":true,"direction-caption":"past","duration-required":true,"freeze-action":10,"preview-validity":false,"symbolic-payload":{"anchor":10,"direction":-1,"duration":7}},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": false, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 0, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": false, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": false, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 1, \"direction\": 1}, \"direction-caption\": \"next\", \"anchor-control\": true, \"preview-validity\": true, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"symbolic-payload\": {\"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"expected\": {\"symbolic-payload\": {\"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": false, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 12}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"expected\": {\"symbolic-payload\": {\"anchor\": 10, \"duration\": 7, \"direction\": -1}, \"direction-caption\": \"past\", \"anchor-control\": true, \"preview-validity\": false, \"duration-required\": true, \"freeze-action\": 10}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}