{"abstract":"Reset restores a file input path that cannot be retained.","category":"Form lifecycle","checks":7,"contract":"File inputs clear paths and file objects; choices restore default checkedness; text restores default value; reset clears custom validity.","evaluation_group":"xi-form-reset","failed_approach":"Keeping its current path still exposes a stale file selection.","family":"xi-form-reset-file-value","id":"FA-8506","implementations":{"attempt":{"sha256":"264e80d6b4da985d27bb59a61e50dfb0550c3885b2c9160f4ce8a13119394c14","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, value, default, checked, default_checked, files, custom_error):\n    if kind == 'file': value = value; files = []\n    elif kind in ('checkbox','radio'): checked = default_checked\n    else: value = default\n    custom_error = ''\n    return (value, checked, files, custom_error)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('file', solve('file', 'chosen', 'default-path', False, False, ['blob'], 'bad'), ('', False, [], ''))\ncheck('default checked', solve('checkbox', 'yes', 'yes', True, True, [], ''), ('yes', True, [], ''))\ncheck('unchecked', solve('radio', 'yes', 'yes', True, False, [], ''), ('yes', False, [], ''))\ncheck('text', solve('text', 'edited', 'original', False, False, [], ''), ('original', False, [], ''))\ncheck('validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))\ncheck('parameterized reset default', solve('text', 'edited', N, False, False, [], 'bad'), (N,False,[],''))\nfor repetition in range(N):\n    check('repeat validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))\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":"4622b743bb2df7f23eeb9aeb3c4101790b685f359ce70b6ea70196c165743e19","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, value, default, checked, default_checked, files, custom_error):\n    if kind == 'file': value = default; files = []\n    elif kind in ('checkbox','radio'): checked = default_checked\n    else: value = default\n    custom_error = ''\n    return (value, checked, files, custom_error)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('file', solve('file', 'chosen', 'default-path', False, False, ['blob'], 'bad'), ('', False, [], ''))\ncheck('default checked', solve('checkbox', 'yes', 'yes', True, True, [], ''), ('yes', True, [], ''))\ncheck('unchecked', solve('radio', 'yes', 'yes', True, False, [], ''), ('yes', False, [], ''))\ncheck('text', solve('text', 'edited', 'original', False, False, [], ''), ('original', False, [], ''))\ncheck('validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))\ncheck('parameterized reset default', solve('text', 'edited', N, False, False, [], 'bad'), (N,False,[],''))\nfor repetition in range(N):\n    check('repeat validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))\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":"ad56be63cd4529932da58027e9b8314948cd9bdd3a9951cd0f2ca5010f139153","source":"\"\"\"Failure Map reference implementation. Python standard library only.\"\"\"\nimport json\n\nN = 1\nobservations = []\ndef solve(kind, value, default, checked, default_checked, files, custom_error):\n    if kind == 'file': value = ''; files = []\n    elif kind in ('checkbox','radio'): checked = default_checked\n    else: value = default\n    custom_error = ''\n    return (value, checked, files, custom_error)\ndef check(label, actual, expected):\n    observations.append({\"check\": label, \"actual\": actual, \"expected\": expected, \"passed\": actual == expected})\ncheck('file', solve('file', 'chosen', 'default-path', False, False, ['blob'], 'bad'), ('', False, [], ''))\ncheck('default checked', solve('checkbox', 'yes', 'yes', True, True, [], ''), ('yes', True, [], ''))\ncheck('unchecked', solve('radio', 'yes', 'yes', True, False, [], ''), ('yes', False, [], ''))\ncheck('text', solve('text', 'edited', 'original', False, False, [], ''), ('original', False, [], ''))\ncheck('validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))\ncheck('parameterized reset default', solve('text', 'edited', N, False, False, [], 'bad'), (N,False,[],''))\nfor repetition in range(N):\n    check('repeat validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))\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":" 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":"xi-form-reset-file-value","generated_at":"2026-09-29T14:38:21.981858+00:00","license":"CC0-1.0","python":"3.12.14","seed":1,"split":"open-access"},"relevance":"A deterministic model of application form reset semantics; this isolates one interface invariant without requiring a browser.","repair":"Implement the file value operation as `value = ''; files = []`.","root_cause":"The file value operation uses `value = default; files = []` where the contract requires `value = ''; files = []`.","sha256":"ab35755bc9d057a8abeff9f8b82be14e1dd1b68b5d0799cbb80e54ddb618e260","title":"Application form reset semantics: Reset restores a file input path that cannot be retained · case 01","variant":1,"variant_policy":"Five numbered records share a model and may reuse boundary fixtures.","verification":{"attempt":{"elapsed_ms":39.511,"exit_code":1,"observations":[{"actual":["chosen",false,[],""],"check":"file","expected":["",false,[],""],"passed":false},{"actual":["yes",true,[],""],"check":"default checked","expected":["yes",true,[],""],"passed":true},{"actual":["yes",false,[],""],"check":"unchecked","expected":["yes",false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"text","expected":["original",false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"validity","expected":["original",false,[],""],"passed":true},{"actual":[1,false,[],""],"check":"parameterized reset default","expected":[1,false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"repeat validity","expected":["original",false,[],""],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"file\", \"actual\": [\"chosen\", false, [], \"\"], \"expected\": [\"\", false, [], \"\"], \"passed\": false}, {\"check\": \"default checked\", \"actual\": [\"yes\", true, [], \"\"], \"expected\": [\"yes\", true, [], \"\"], \"passed\": true}, {\"check\": \"unchecked\", \"actual\": [\"yes\", false, [], \"\"], \"expected\": [\"yes\", false, [], \"\"], \"passed\": true}, {\"check\": \"text\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}, {\"check\": \"validity\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}, {\"check\": \"parameterized reset default\", \"actual\": [1, false, [], \"\"], \"expected\": [1, false, [], \"\"], \"passed\": true}, {\"check\": \"repeat validity\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}], \"passed\": false}\n"},"broken":{"elapsed_ms":37.388,"exit_code":1,"observations":[{"actual":["default-path",false,[],""],"check":"file","expected":["",false,[],""],"passed":false},{"actual":["yes",true,[],""],"check":"default checked","expected":["yes",true,[],""],"passed":true},{"actual":["yes",false,[],""],"check":"unchecked","expected":["yes",false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"text","expected":["original",false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"validity","expected":["original",false,[],""],"passed":true},{"actual":[1,false,[],""],"check":"parameterized reset default","expected":[1,false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"repeat validity","expected":["original",false,[],""],"passed":true}],"passed":false,"stderr":"","stdout":"{\"observations\": [{\"check\": \"file\", \"actual\": [\"default-path\", false, [], \"\"], \"expected\": [\"\", false, [], \"\"], \"passed\": false}, {\"check\": \"default checked\", \"actual\": [\"yes\", true, [], \"\"], \"expected\": [\"yes\", true, [], \"\"], \"passed\": true}, {\"check\": \"unchecked\", \"actual\": [\"yes\", false, [], \"\"], \"expected\": [\"yes\", false, [], \"\"], \"passed\": true}, {\"check\": \"text\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}, {\"check\": \"validity\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}, {\"check\": \"parameterized reset default\", \"actual\": [1, false, [], \"\"], \"expected\": [1, false, [], \"\"], \"passed\": true}, {\"check\": \"repeat validity\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}], \"passed\": false}\n"},"fixed":{"elapsed_ms":38.73,"exit_code":0,"observations":[{"actual":["",false,[],""],"check":"file","expected":["",false,[],""],"passed":true},{"actual":["yes",true,[],""],"check":"default checked","expected":["yes",true,[],""],"passed":true},{"actual":["yes",false,[],""],"check":"unchecked","expected":["yes",false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"text","expected":["original",false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"validity","expected":["original",false,[],""],"passed":true},{"actual":[1,false,[],""],"check":"parameterized reset default","expected":[1,false,[],""],"passed":true},{"actual":["original",false,[],""],"check":"repeat validity","expected":["original",false,[],""],"passed":true}],"passed":true,"stderr":"","stdout":"{\"observations\": [{\"check\": \"file\", \"actual\": [\"\", false, [], \"\"], \"expected\": [\"\", false, [], \"\"], \"passed\": true}, {\"check\": \"default checked\", \"actual\": [\"yes\", true, [], \"\"], \"expected\": [\"yes\", true, [], \"\"], \"passed\": true}, {\"check\": \"unchecked\", \"actual\": [\"yes\", false, [], \"\"], \"expected\": [\"yes\", false, [], \"\"], \"passed\": true}, {\"check\": \"text\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}, {\"check\": \"validity\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}, {\"check\": \"parameterized reset default\", \"actual\": [1, false, [], \"\"], \"expected\": [1, false, [], \"\"], \"passed\": true}, {\"check\": \"repeat validity\", \"actual\": [\"original\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": true}], \"passed\": true}\n"}},"verified":true,"visibility":"public"}