FA-8871 / Client state / Open access

Controlled and uncontrolled input ownership: Change events report the old controlled value · case 01

Change events report the old controlled value.

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

ROOT CAUSE

The notification operation uses `notification = prop` where the contract requires `notification = incoming`.

VERIFIED REPAIR

Implement the notification operation as `notification = incoming`.

Unsuccessful approach: Reporting local state also misses the proposed controlled input.

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 not controlled: local = incoming
        notification = prop
    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', 'old']`	`['old', 'local', 'new']`	Failed
uncontrolled event	`['new', 'new', None]`	`['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', 'local', 'old']`	`['old', 'local', '1']`	Failed
repeat uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed

SHA-256 / 31c3e2191548f2fb00963963cf60185283b022eee0f0dd5bcbc0d799bc0fb923

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 not controlled: local = incoming
        notification = local
    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', 'local']`	`['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', 'local', 'local']`	`['old', 'local', '1']`	Failed
repeat uncontrolled reset	`['default', 'default', None]`	`['default', 'default', None]`	Passed

SHA-256 / e1476c99c1e7328e3593cc7ec33796d95a3bf7e6f50953cb361a4b84186cfdf0

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

Case digest / 27211cda9ece51752fec22bfc5ead50aafc44313bb8176130b7f5ae12dbedb8d