{"abstract":"Outer whitespace is trimmed without joining internal digits 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: Outer whitespace is trimmed without joining internal digits.","contract_signature":"d","evaluation_group":"s3-filter-interfaces-numeric-text-editor","failed_approach":"The attempted correction `d['text'].replace(' ','')` still violates the explicit contract fixtures.","family":"s3-filter-interfaces-numeric-text-editor-trim-draft","id":"FA-25321","implementations":{"attempt":{"sha256":"2783c9beab2c8b02e7906c8968ae1c4e547cdd96a42d03d826126d11487761f5","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'trim-draft':(d['text'].replace(' ','')), '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': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, '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': ' 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': '٢'}, {'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': ' '}, {'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})], 3: [({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, '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': '-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': '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})], 4: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, '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': 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': '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': '+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': ' 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}), ({'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":"5b9d5b5c292a1c1908856a57efc807d72286847b8dd4908ec3be08b56b18d357","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(d):\n    return {'trim-draft':(d['text']), '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': '1 2'}, {'trim-draft': '1 2', 'complete-integer': False, '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': ' 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': '٢'}, {'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': ' '}, {'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})], 3: [({'text': ' + '}, {'trim-draft': '+', 'complete-integer': False, 'incomplete-sign': True, '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': '-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': '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})], 4: [({'text': ' '}, {'trim-draft': '', 'complete-integer': False, 'incomplete-sign': False, 'blank-open': True, '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': 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': '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': '+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': ' 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}), ({'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-trim-draft","generated_at":"2026-09-29T14:41:05.655867+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.","root_cause":"The trim-draft decision uses `d['text']` instead of the stipulated numeric-text-editor projection.","sha256":"156fcaaea086803344067aac3630bb140907c4e530af960688e2850c6d901553","title":"Outer whitespace is trimmed without joining internal digits · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verified":true,"visibility":"public","verification":{"attempt":{"elapsed_ms":38.585,"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":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"12"},"check":"contract fixture 1","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1 2"},"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\": \"12\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1 2\", \"complete-integer\": false, \"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":42.008,"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":false},{"actual":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1 2"},"check":"contract fixture 1","expected":{"blank-open":false,"complete-integer":false,"exponent-rejection":false,"fraction-rejection":false,"incomplete-sign":false,"trim-draft":"1 2"},"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":false},{"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\": false}, {\"check\": \"contract fixture 1\", \"actual\": {\"trim-draft\": \"1 2\", \"complete-integer\": false, \"incomplete-sign\": false, \"blank-open\": false, \"fraction-rejection\": false, \"exponent-rejection\": false}, \"expected\": {\"trim-draft\": \"1 2\", \"complete-integer\": false, \"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\": false}, {\"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"}},"member_only":{"stages":["fixed"],"fields":["implementations.fixed","verification.fixed","harness","repair"],"note":"The verified repair, its recorded checks, the repair description, and the scoring harness are available to members."}}