FA-8521 / Form lifecycle / Open access

Application form reset semantics: Reset discards default text values · case 01

Reset discards default text values.

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

ROOT CAUSE

The text default operation uses `else: value = ''` where the contract requires `else: value = default`.

VERIFIED REPAIR

Implement the text default operation as `else: value = default`.

Unsuccessful approach: Keeping current text ignores reset.

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 = ''
    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	`['', False, [], '']`	`['original', False, [], '']`	Failed
validity	`['', False, [], '']`	`['original', False, [], '']`	Failed
parameterized reset default	`['', False, [], '']`	`[1, False, [], '']`	Failed
repeat validity	`['', False, [], '']`	`['original', False, [], '']`	Failed

SHA-256 / a6338a4695ecad55d3d163a190c21d0192379f553c9ec8079800e3285f7e2009

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 = value
    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	`['edited', False, [], '']`	`['original', False, [], '']`	Failed
validity	`['edited', False, [], '']`	`['original', False, [], '']`	Failed
parameterized reset default	`['edited', False, [], '']`	`[1, False, [], '']`	Failed
repeat validity	`['edited', False, [], '']`	`['original', False, [], '']`	Failed

SHA-256 / 953c5b8ca8454aef734873c2383efd412387ab0e6cde153b1e3b5c9622c606b0

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

Case digest / d3e8aa0a8791f6282b52beddf94cb21571ebfc1b6491c5041110bda125364517