{"abstract":"Reset discards default text values.","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.","contract_signature":"kind, value, default, checked, default_checked, files, custom_error","evaluation_group":"xi-form-reset","failed_approach":"Keeping current text ignores reset.","family":"xi-form-reset-text-default","id":"FA-8521","implementations":{"attempt":{"sha256":"953c5b8ca8454aef734873c2383efd412387ab0e6cde153b1e3b5c9622c606b0","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 = value\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":"a6338a4695ecad55d3d163a190c21d0192379f553c9ec8079800e3285f7e2009","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 = ''\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-text-default","generated_at":"2026-09-29T14:38:22.061297+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.","root_cause":"The text default operation uses `else: value = ''` where the contract requires `else: value = default`.","sha256":"f66a94b5f5877de17917c05107b2841d995f2bf7c0d4b26eeedcca3657709ca8","title":"Application form reset semantics: Reset discards default text values · 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":39.672,"exit_code":1,"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":["edited",false,[],""],"check":"text","expected":["original",false,[],""],"passed":false},{"actual":["edited",false,[],""],"check":"validity","expected":["original",false,[],""],"passed":false},{"actual":["edited",false,[],""],"check":"parameterized reset default","expected":[1,false,[],""],"passed":false},{"actual":["edited",false,[],""],"check":"repeat validity","expected":["original",false,[],""],"passed":false}],"passed":false,"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\": [\"edited\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": false}, {\"check\": \"validity\", \"actual\": [\"edited\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": false}, {\"check\": \"parameterized reset default\", \"actual\": [\"edited\", false, [], \"\"], \"expected\": [1, false, [], \"\"], \"passed\": false}, {\"check\": \"repeat validity\", \"actual\": [\"edited\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": false}], \"passed\": false}\n"},"broken":{"elapsed_ms":38.451,"exit_code":1,"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":["",false,[],""],"check":"text","expected":["original",false,[],""],"passed":false},{"actual":["",false,[],""],"check":"validity","expected":["original",false,[],""],"passed":false},{"actual":["",false,[],""],"check":"parameterized reset default","expected":[1,false,[],""],"passed":false},{"actual":["",false,[],""],"check":"repeat validity","expected":["original",false,[],""],"passed":false}],"passed":false,"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\": [\"\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": false}, {\"check\": \"validity\", \"actual\": [\"\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": false}, {\"check\": \"parameterized reset default\", \"actual\": [\"\", false, [], \"\"], \"expected\": [1, false, [], \"\"], \"passed\": false}, {\"check\": \"repeat validity\", \"actual\": [\"\", false, [], \"\"], \"expected\": [\"original\", false, [], \"\"], \"passed\": false}], \"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."}}