FA-8516 / Form lifecycle / Open access

Application form reset semantics: Reset unchecks choices whose default is checked · case 01

Reset unchecks choices whose default is checked.

Verified by executionVariant 1 · 7 checks per implementationDownload source bundle ↓JSON ↗

ROOT CAUSE

The checked default operation uses `checked = False` where the contract requires `checked = default_checked`.

VERIFIED REPAIR

Implement the checked default operation as `checked = default_checked`.

Unsuccessful approach: Toggling depends on current state rather than declared defaults.

Case contract

File inputs clear paths and file objects; choices restore default checkedness; text restores default value; reset clears custom validity.

Why this case matters

A deterministic model of application form reset semantics; this isolates one interface invariant without requiring a browser.

1 / The failure

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(kind, value, default, checked, default_checked, files, custom_error):
    if kind == 'file': value = ''; files = []
    elif kind in ('checkbox','radio'): checked = False
    else: value = default
    custom_error = ''
    return (value, checked, files, custom_error)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('file', solve('file', 'chosen', 'default-path', False, False, ['blob'], 'bad'), ('', False, [], ''))
check('default checked', solve('checkbox', 'yes', 'yes', True, True, [], ''), ('yes', True, [], ''))
check('unchecked', solve('radio', 'yes', 'yes', True, False, [], ''), ('yes', False, [], ''))
check('text', solve('text', 'edited', 'original', False, False, [], ''), ('original', False, [], ''))
check('validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))
check('parameterized reset default', solve('text', 'edited', N, False, False, [], 'bad'), (N,False,[],''))
for repetition in range(N):
    check('repeat validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
file	`['', False, [], '']`	`['', False, [], '']`	Passed
default checked	`['yes', False, [], '']`	`['yes', True, [], '']`	Failed
unchecked	`['yes', False, [], '']`	`['yes', False, [], '']`	Passed
text	`['original', False, [], '']`	`['original', False, [], '']`	Passed
validity	`['original', False, [], '']`	`['original', False, [], '']`	Passed
parameterized reset default	`[1, False, [], '']`	`[1, False, [], '']`	Passed
repeat validity	`['original', False, [], '']`	`['original', False, [], '']`	Passed

SHA-256 / 2b10b374fab3801db4501142670948c2ec1f48675fb4df81f0a477d9dc2f2220

2 / The unsuccessful fix

Exit 1

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(kind, value, default, checked, default_checked, files, custom_error):
    if kind == 'file': value = ''; files = []
    elif kind in ('checkbox','radio'): checked = not checked
    else: value = default
    custom_error = ''
    return (value, checked, files, custom_error)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('file', solve('file', 'chosen', 'default-path', False, False, ['blob'], 'bad'), ('', False, [], ''))
check('default checked', solve('checkbox', 'yes', 'yes', True, True, [], ''), ('yes', True, [], ''))
check('unchecked', solve('radio', 'yes', 'yes', True, False, [], ''), ('yes', False, [], ''))
check('text', solve('text', 'edited', 'original', False, False, [], ''), ('original', False, [], ''))
check('validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))
check('parameterized reset default', solve('text', 'edited', N, False, False, [], 'bad'), (N,False,[],''))
for repetition in range(N):
    check('repeat validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
file	`['', False, [], '']`	`['', False, [], '']`	Passed
default checked	`['yes', False, [], '']`	`['yes', True, [], '']`	Failed
unchecked	`['yes', False, [], '']`	`['yes', False, [], '']`	Passed
text	`['original', False, [], '']`	`['original', False, [], '']`	Passed
validity	`['original', False, [], '']`	`['original', False, [], '']`	Passed
parameterized reset default	`[1, False, [], '']`	`[1, False, [], '']`	Passed
repeat validity	`['original', False, [], '']`	`['original', False, [], '']`	Passed

SHA-256 / 88e8860122d05b0e9b2d20ef10238fa6d51e2149a92dd84e30e24883e1c0dc52

3 / The verified repair

Exit 0

"""Failure Map reference implementation. Python standard library only."""
import json

N = 1
observations = []
def solve(kind, value, default, checked, default_checked, files, custom_error):
    if kind == 'file': value = ''; files = []
    elif kind in ('checkbox','radio'): checked = default_checked
    else: value = default
    custom_error = ''
    return (value, checked, files, custom_error)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('file', solve('file', 'chosen', 'default-path', False, False, ['blob'], 'bad'), ('', False, [], ''))
check('default checked', solve('checkbox', 'yes', 'yes', True, True, [], ''), ('yes', True, [], ''))
check('unchecked', solve('radio', 'yes', 'yes', True, False, [], ''), ('yes', False, [], ''))
check('text', solve('text', 'edited', 'original', False, False, [], ''), ('original', False, [], ''))
check('validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))
check('parameterized reset default', solve('text', 'edited', N, False, False, [], 'bad'), (N,False,[],''))
for repetition in range(N):
    check('repeat validity', solve('text', 'edited', 'original', False, False, [], 'bad'), ('original', False, [], ''))
print(json.dumps({"observations": observations, "passed": all(x["passed"] for x in observations)}, ensure_ascii=False))
raise SystemExit(0 if all(x["passed"] for x in observations) else 1)

Boundary fixture	Actual	Expected	Outcome
file	`['', False, [], '']`	`['', False, [], '']`	Passed
default checked	`['yes', True, [], '']`	`['yes', True, [], '']`	Passed
unchecked	`['yes', False, [], '']`	`['yes', False, [], '']`	Passed
text	`['original', False, [], '']`	`['original', False, [], '']`	Passed
validity	`['original', False, [], '']`	`['original', False, [], '']`	Passed
parameterized reset default	`[1, False, [], '']`	`[1, False, [], '']`	Passed
repeat validity	`['original', False, [], '']`	`['original', False, [], '']`	Passed

SHA-256 / ad56be63cd4529932da58027e9b8314948cd9bdd3a9951cd0f2ca5010f139153

Verification & scope

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.

Observations recorded using Python 3.12.14 at 2026-09-29T14:38:21.992407+00:00.

Case digest / 1dc162aaef1377b0f78b3bac6c132a9b8f79bf042106f304ac73cc72b0b44591