FA-53572 / Accessibility interaction semantics / Member archive

Stale create replaces a newer semantic proxy · case 02

Stale create replaces a newer semantic proxy.

Member previewVariant 2 · 3 implementations · 8 checks per implementation

Case contract

Bounded accessibility proxy registry: input operations [kind,id,generation,value]. create installs a nonnegative generation only if newer than existing generation; retired generations remain recorded. destroy only applies to matching generation. get returns value only for matching generation live proxy. set changes matching live proxy and never creates objects. pin/unpin maintain nonnegative reference count; destroying a pinned proxy immediately makes reads unavailable but keeps tombstone until unpinned. Each operation returns a snapshot [id,generation,live,value,pins] for its ID, or None when absent; dead value is always None. Unknown operations do nothing.

Why this case matters

Offline accessibility bridge model with explicit policy; useful for testing semantic API adapters independently of browser implementations.

One recorded failure

Sample boundary fixture

This sample comes from the broken implementation of a controlled reproducer.

Boundary fixture	Actual	Expected	Outcome
stale create and pinned generation	`[["a", 2, true, "x", 0], ["a", 2, true, "x", 1], ["a", 3, true, "y", 0], ["a", 2, true, "stale", 0]]`	`[["a", 2, true, "x", 0], ["a", 2, true, "x", 1], ["a", 3, true, "y", 0], ["a", 3, true, "y", 0]]`	Failed

MEMBER ARCHIVE

The complete case is available to members.

This record includes three runnable implementations, regression fixtures, execution results, and source hashes.

Member access is invitation-based. Sign in with your invited account to inspect the sources.