{"abstract":"Whitespace-only bounds become open while zero remains a bound is violated by the widget projection.","category":"Filter interfaces","checks":10,"contract":"This bounded numeric editor accepts ASCII signed integers with surrounding spaces, preserving incomplete drafts and disallowing exponent, decimal and non-ASCII forms. This example checks: Whitespace-only bounds become open while zero remains a bound.","evaluation_group":"s3-filter-interfaces-numeric-text-editor","failed_approach":"The attempted correction `d['text'].strip() in ('','0')` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-numeric-text-editor-blank-open","id":"FA-25336","implementations":{"attempt":{"sha256":"323767d853bd66226ab4db04b760f2d771166414bf4eb6f17c87dfe400fa29b0","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'trim-draft':(d['text'].strip()), 'complete-integer':(bool(d['text'].strip()) and d['text'].strip().lstrip('+-').isascii() and d['text'].strip().lstrip('+-').isdigit() and d['text'].strip().count('+')+d['text'].strip().count('-')<=1), 'incomplete-sign':(d['text'].strip() in ('+','-')), 'blank-open':(d['text'].strip() in ('','0')), 'fraction-rejection':('.' in d['text'].strip()), 'exponent-rejection':('e' in d['text'].lower())}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 2: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ''}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' 2 '}, {'trim-draft': '2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 3: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 4: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ''}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' 2 '}, {'trim-draft': '2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 5: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True})]}\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":"00fe569a7e99f1b95ff0aa515bb8aa876624a6d433429a7e31f2dd47c8d15a9e","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'trim-draft':(d['text'].strip()), 'complete-integer':(bool(d['text'].strip()) and d['text'].strip().lstrip('+-').isascii() and d['text'].strip().lstrip('+-').isdigit() and d['text'].strip().count('+')+d['text'].strip().count('-')<=1), 'incomplete-sign':(d['text'].strip() in ('+','-')), 'blank-open':(not d['text']), 'fraction-rejection':('.' in d['text'].strip()), 'exponent-rejection':('e' in d['text'].lower())}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 2: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ''}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' 2 '}, {'trim-draft': '2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 3: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 4: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ''}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' 2 '}, {'trim-draft': '2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 5: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True})]}\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":"f2e5aa33df33985ba3a887a23f579040abe17b0b71a6a6523d2213c1a9e79668","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'trim-draft':(d['text'].strip()), 'complete-integer':(bool(d['text'].strip()) and d['text'].strip().lstrip('+-').isascii() and d['text'].strip().lstrip('+-').isdigit() and d['text'].strip().count('+')+d['text'].strip().count('-')<=1), 'incomplete-sign':(d['text'].strip() in ('+','-')), 'blank-open':(d['text'].strip()==''), 'fraction-rejection':('.' in d['text'].strip()), 'exponent-rejection':('e' in d['text'].lower())}\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\nfixtures = {1: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 2: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ''}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' 2 '}, {'trim-draft': '2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 3: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 4: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '++2'}, {'trim-draft': '++2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '٢'}, {'trim-draft': '٢', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ''}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' 2 '}, {'trim-draft': '2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False})], 5: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '0'}, {'trim-draft': '0', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '+2'}, {'trim-draft': '+2', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-3'}, {'trim-draft': '-3', 'complete-integer': True, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '-'}, {'trim-draft': '-', 'complete-integer': False, 'incomplete-sign': True, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': False}), ({'text': '1.0'}, {'trim-draft': '1.0', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1.5'}, {'trim-draft': '1.5', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': True, 'exponent-rejection': False}), ({'text': '1e2'}, {'trim-draft': '1e2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True}), ({'text': '1E2'}, {'trim-draft': '1E2', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': False, 'fraction-rejection': False, 'exponent-rejection': True})]}\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-numeric-text-editor-blank-open","generated_at":"2026-09-29T14:41:05.748142+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 blank-open projection: `d['text'].strip()==''`.","root_cause":"The blank-open decision uses `not d['text']` instead of the stipulated numeric-text-editor projection.","sha256":"b7f735746da6da7cb61d62961e8ef780af4d49df24145a80af7caab13d38eb6d","title":"Whitespace-only bounds become open while zero remains a bound · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":41.05,"exit_code":1,"observations":[{"actual":{"blank-open":true,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":""},"check":"contract fixture 0","expected":{"blank-open":true,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":""},"passed":true},{"actual":{"blank-open":true,"complete-integer":true,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"0"},"check":"contract fixture 1","expected":{"blank-open":false,"complete-integer":true,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"0"},"passed":false},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"+"},"check":"contract fixture 2","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"+"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"-"},"check":"contract fixture 3","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"-"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.0"},"check":"contract fixture 4","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.0"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.5"},"check":"contract fixture 5","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.5"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1e2"},"check":"contract fixture 6","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1e2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1E2"},"check":"contract fixture 7","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1E2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"++2"},"check":"contract fixture 8","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"++2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"٢"},"check":"contract fixture 9","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"٢"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"trim-draft\": \"\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": true, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": true, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"trim-draft\": \"0\", \"complete-integer\": true, \"incomplete-sign\": false, \"blank-open\": true, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"0\", \"complete-integer\": true, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": false}, {\"check\": \"contract fixture 2\", \"actual\": {\"trim-draft\": \"+\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"+\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"trim-draft\": \"-\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"-\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"trim-draft\": \"1.0\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1.0\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"trim-draft\": \"1.5\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1.5\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"trim-draft\": \"1e2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"expected\": {\"trim-draft\": \"1e2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"trim-draft\": \"1E2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"expected\": {\"trim-draft\": \"1E2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"trim-draft\": \"++2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"++2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"trim-draft\": \"٢\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"٢\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":39.477,"exit_code":1,"observations":[{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":""},"check":"contract fixture 0","expected":{"blank-open":true,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":""},"passed":false},{"actual":{"blank-open":false,"complete-integer":true,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"0"},"check":"contract fixture 1","expected":{"blank-open":false,"complete-integer":true,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"0"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"+"},"check":"contract fixture 2","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"+"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"-"},"check":"contract fixture 3","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"-"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.0"},"check":"contract fixture 4","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.0"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.5"},"check":"contract fixture 5","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.5"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1e2"},"check":"contract fixture 6","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1e2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1E2"},"check":"contract fixture 7","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1E2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"++2"},"check":"contract fixture 8","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"++2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"٢"},"check":"contract fixture 9","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"٢"},"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"trim-draft\": \"\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": true, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"trim-draft\": \"0\", \"complete-integer\": true, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"0\", \"complete-integer\": true, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"trim-draft\": \"+\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"+\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"trim-draft\": \"-\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"-\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"trim-draft\": \"1.0\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1.0\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"trim-draft\": \"1.5\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1.5\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"trim-draft\": \"1e2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"expected\": {\"trim-draft\": \"1e2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"trim-draft\": \"1E2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"expected\": {\"trim-draft\": \"1E2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"trim-draft\": \"++2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"++2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"trim-draft\": \"٢\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"٢\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":43.741,"exit_code":0,"observations":[{"actual":{"blank-open":true,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":""},"check":"contract fixture 0","expected":{"blank-open":true,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":""},"passed":true},{"actual":{"blank-open":false,"complete-integer":true,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"0"},"check":"contract fixture 1","expected":{"blank-open":false,"complete-integer":true,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"0"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"+"},"check":"contract fixture 2","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"+"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"-"},"check":"contract fixture 3","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":true,"trim-draft":"-"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.0"},"check":"contract fixture 4","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.0"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.5"},"check":"contract fixture 5","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":true,"incomplete-sign":false,"trim-draft":"1.5"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1e2"},"check":"contract fixture 6","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1e2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1E2"},"check":"contract fixture 7","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":true,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1E2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"++2"},"check":"contract fixture 8","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"++2"},"passed":true},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"٢"},"check":"contract fixture 9","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"٢"},"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"contract fixture 0\", \"actual\": {\"trim-draft\": \"\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": true, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": true, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 1\", \"actual\": {\"trim-draft\": \"0\", \"complete-integer\": true, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"0\", \"complete-integer\": true, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 2\", \"actual\": {\"trim-draft\": \"+\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"+\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 3\", \"actual\": {\"trim-draft\": \"-\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"-\", \"complete-integer\": false, \"incomplete-sign\": true, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 4\", \"actual\": {\"trim-draft\": \"1.0\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1.0\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 5\", \"actual\": {\"trim-draft\": \"1.5\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1.5\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": true, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 6\", \"actual\": {\"trim-draft\": \"1e2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"expected\": {\"trim-draft\": \"1e2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"passed\": true}, {\"check\": \"contract fixture 7\", \"actual\": {\"trim-draft\": \"1E2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"expected\": {\"trim-draft\": \"1E2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": true}, \"passed\": true}, {\"check\": \"contract fixture 8\", \"actual\": {\"trim-draft\": \"++2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"++2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}, {\"check\": \"contract fixture 9\", \"actual\": {\"trim-draft\": \"٢\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"٢\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}