FA-8866 / Client state / Open access

Controlled and uncontrolled input ownership: Controlled input events mutate internal draft state · case 01

Controlled input events mutate internal draft state.

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

ROOT CAUSE

The controlled write operation uses `if True: local = incoming` where the contract requires `if not controlled: local = incoming`.

VERIFIED REPAIR

Implement the controlled write operation as `if not controlled: local = incoming`.

Unsuccessful approach: Writing only controlled inputs prevents uncontrolled editing.

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 not mounted: local = default
    if event == 'input':
        if True: 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', 'new', 'new']`	`['old', 'local', 'new']`	Failed
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', '1', '1']`	`['old', 'local', '1']`	Failed
repeat uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed

SHA-256 / 5dafb3610bbf18dd09d78e405439be05fb1bd59846b91e4ebc9b5d24fc583460

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 not mounted: local = default
    if event == 'input':
        if 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', 'new', 'new']`	`['old', 'local', 'new']`	Failed
uncontrolled event	`['local', 'local', 'new']`	`['new', 'new', 'new']`	Failed
controlled reset	`['old', 'local', None]`	`['old', 'local', None]`	Passed
uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed
parameterized proposed value	`['old', '1', '1']`	`['old', 'local', '1']`	Failed
repeat uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed

SHA-256 / e5199314373f453300a10b46650b12dba8578bd4a3e30522de74b333cf4dedb8

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

Case digest / 32be0451a09bbb6864e713fd6e40273a75922c8a6dbd949c8acc2038d1651338