FA-8861 / Client state / Open access

Controlled and uncontrolled input ownership: Default values overwrite user edits on each render · case 01

Default values overwrite user edits on each render.

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

ROOT CAUSE

The initialization operation uses `if True: local = default` where the contract requires `if not mounted: local = default`.

VERIFIED REPAIR

Implement the initialization operation as `if not mounted: local = default`.

Unsuccessful approach: Never initializing leaves a fresh input without its default.

Case contract

None alone signals uncontrolled; defaults initialize only on mount/reset; controlled values stay prop-owned while proposed changes are emitted; uncontrolled changes update local state.

Why this case matters

A deterministic model of controlled and uncontrolled input ownership; 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(prop, local, default, event, incoming, mounted):
    controlled = prop is not None
    if True: local = default
    if event == 'input':
        if not controlled: local = incoming
        notification = incoming
    else: notification = None
    if event == 'reset' and not controlled: local = default
    visible = prop if controlled else local
    return (visible, local, notification)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('empty controlled', solve('', 'draft', 'default', 'none', None, True), ('', 'draft', None))
check('mounted', solve(None, 'edited', 'default', 'none', None, True), ('edited', 'edited', None))
check('mount', solve(None, None, 'default', 'none', None, False), ('default', 'default', None))
check('controlled event', solve('old', 'local', 'default', 'input', 'new', True), ('old', 'local', 'new'))
check('uncontrolled event', solve(None, 'local', 'default', 'input', 'new', True), ('new', 'new', 'new'))
check('controlled reset', solve('old', 'local', 'default', 'reset', None, True), ('old', 'local', None))
check('uncontrolled reset', solve(None, 'local', 'default', 'reset', None, True), ('default', 'default', None))
check('parameterized proposed value', solve('old','local','default','input',str(N),True), ('old','local',str(N)))
for repetition in range(N):
    check('repeat uncontrolled reset', solve(None, 'local', 'default', 'reset', None, True), ('default', 'default', None))
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
empty controlled	`['', 'default', None]`	`['', 'draft', None]`	Failed
mounted	`['default', 'default', None]`	`['edited', 'edited', None]`	Failed
mount	`['default', 'default', None]`	`['default', 'default', None]`	Passed
controlled event	`['old', 'default', 'new']`	`['old', 'local', 'new']`	Failed
uncontrolled event	`['new', 'new', 'new']`	`['new', 'new', 'new']`	Passed
controlled reset	`['old', 'default', None]`	`['old', 'local', None]`	Failed
uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed
parameterized proposed value	`['old', 'default', '1']`	`['old', 'local', '1']`	Failed
repeat uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed

SHA-256 / 1af4177bae6a727425244b96a6bc67f709906f8625b3bac20cecdeb635df881c

2 / The unsuccessful fix

Exit 1

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

N = 1
observations = []
def solve(prop, local, default, event, incoming, mounted):
    controlled = prop is not None
    if False: local = default
    if event == 'input':
        if not controlled: local = incoming
        notification = incoming
    else: notification = None
    if event == 'reset' and not controlled: local = default
    visible = prop if controlled else local
    return (visible, local, notification)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('empty controlled', solve('', 'draft', 'default', 'none', None, True), ('', 'draft', None))
check('mounted', solve(None, 'edited', 'default', 'none', None, True), ('edited', 'edited', None))
check('mount', solve(None, None, 'default', 'none', None, False), ('default', 'default', None))
check('controlled event', solve('old', 'local', 'default', 'input', 'new', True), ('old', 'local', 'new'))
check('uncontrolled event', solve(None, 'local', 'default', 'input', 'new', True), ('new', 'new', 'new'))
check('controlled reset', solve('old', 'local', 'default', 'reset', None, True), ('old', 'local', None))
check('uncontrolled reset', solve(None, 'local', 'default', 'reset', None, True), ('default', 'default', None))
check('parameterized proposed value', solve('old','local','default','input',str(N),True), ('old','local',str(N)))
for repetition in range(N):
    check('repeat uncontrolled reset', solve(None, 'local', 'default', 'reset', None, True), ('default', 'default', None))
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
empty controlled	`['', 'draft', None]`	`['', 'draft', None]`	Passed
mounted	`['edited', 'edited', None]`	`['edited', 'edited', None]`	Passed
mount	`[None, None, None]`	`['default', 'default', None]`	Failed
controlled event	`['old', 'local', 'new']`	`['old', 'local', 'new']`	Passed
uncontrolled event	`['new', 'new', 'new']`	`['new', 'new', 'new']`	Passed
controlled reset	`['old', 'local', None]`	`['old', 'local', None]`	Passed
uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed
parameterized proposed value	`['old', 'local', '1']`	`['old', 'local', '1']`	Passed
repeat uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed

SHA-256 / 703f99dc90c36f45f0e7431e79c46d686d7d3eed4d8ec4fff9725b9714ace978

3 / The verified repair

Exit 0

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

N = 1
observations = []
def solve(prop, local, default, event, incoming, mounted):
    controlled = prop is not None
    if not mounted: local = default
    if event == 'input':
        if not controlled: local = incoming
        notification = incoming
    else: notification = None
    if event == 'reset' and not controlled: local = default
    visible = prop if controlled else local
    return (visible, local, notification)
def check(label, actual, expected):
    observations.append({"check": label, "actual": actual, "expected": expected, "passed": actual == expected})
check('empty controlled', solve('', 'draft', 'default', 'none', None, True), ('', 'draft', None))
check('mounted', solve(None, 'edited', 'default', 'none', None, True), ('edited', 'edited', None))
check('mount', solve(None, None, 'default', 'none', None, False), ('default', 'default', None))
check('controlled event', solve('old', 'local', 'default', 'input', 'new', True), ('old', 'local', 'new'))
check('uncontrolled event', solve(None, 'local', 'default', 'input', 'new', True), ('new', 'new', 'new'))
check('controlled reset', solve('old', 'local', 'default', 'reset', None, True), ('old', 'local', None))
check('uncontrolled reset', solve(None, 'local', 'default', 'reset', None, True), ('default', 'default', None))
check('parameterized proposed value', solve('old','local','default','input',str(N),True), ('old','local',str(N)))
for repetition in range(N):
    check('repeat uncontrolled reset', solve(None, 'local', 'default', 'reset', None, True), ('default', 'default', None))
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
empty controlled	`['', 'draft', None]`	`['', 'draft', None]`	Passed
mounted	`['edited', 'edited', None]`	`['edited', 'edited', None]`	Passed
mount	`['default', 'default', None]`	`['default', 'default', None]`	Passed
controlled event	`['old', 'local', 'new']`	`['old', 'local', 'new']`	Passed
uncontrolled event	`['new', 'new', 'new']`	`['new', 'new', 'new']`	Passed
controlled reset	`['old', 'local', None]`	`['old', 'local', None]`	Passed
uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed
parameterized proposed value	`['old', 'local', '1']`	`['old', 'local', '1']`	Passed
repeat uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed

SHA-256 / 044bf1425e9ccf3192b50c30d160246d7effd44fbafd16c7e31c2db164649187

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

Case digest / 04e039cac5a3abcffa981a49b4325722aced0213faf7a2ff0ceeb72e97c3970b