FA-8526 / Form lifecycle / Open access

Application form reset semantics: Reset leaves stale custom validation errors · case 01

Reset leaves stale custom validation errors.

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

ROOT CAUSE

The custom validity operation uses `custom_error = custom_error` where the contract requires `custom_error = ''`.

VERIFIED REPAIR

Implement the custom validity operation as `custom_error = ''`.

Unsuccessful approach: Replacing the message still leaves a validation error.

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 = default_checked
    else: value = default
    custom_error = 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, [], 'bad']`	`['', False, [], '']`	Failed
default checked	`['yes', True, [], '']`	`['yes', True, [], '']`	Passed
unchecked	`['yes', False, [], '']`	`['yes', False, [], '']`	Passed
text	`['original', False, [], '']`	`['original', False, [], '']`	Passed
validity	`['original', False, [], 'bad']`	`['original', False, [], '']`	Failed
parameterized reset default	`[1, False, [], 'bad']`	`[1, False, [], '']`	Failed
repeat validity	`['original', False, [], 'bad']`	`['original', False, [], '']`	Failed

SHA-256 / 92385d4f2aa15d8e2513a54c1086d29a6ebdd0777e47cc901d961f850b4ca59b

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 = default_checked
    else: value = default
    custom_error = 'invalid'
    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, [], 'invalid']`	`['', False, [], '']`	Failed
default checked	`['yes', True, [], 'invalid']`	`['yes', True, [], '']`	Failed
unchecked	`['yes', False, [], 'invalid']`	`['yes', False, [], '']`	Failed
text	`['original', False, [], 'invalid']`	`['original', False, [], '']`	Failed
validity	`['original', False, [], 'invalid']`	`['original', False, [], '']`	Failed
parameterized reset default	`[1, False, [], 'invalid']`	`[1, False, [], '']`	Failed
repeat validity	`['original', False, [], 'invalid']`	`['original', False, [], '']`	Failed

SHA-256 / 80cfcefe9749f8962236d74c59b3d71661b649cc1f1e677c67706bd18a481133

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:22.061297+00:00.

Case digest / 5dc1ba382d2b5884f9a3b61fe2ee7cf62a33b821ded0de9dc91fcf876aba2d87