FA-54290 / Accessibility interaction semantics / Member archive

Repeated declarations duplicate inverse relation descriptors · case 05

Repeated declarations duplicate inverse relation descriptors.

Member previewVariant 5 · 3 implementations · 6 checks per implementation

Case contract

Input [node_ids,relations] relations [source,kind,target]. Kind label_for maps inverse labelled_by, description_for maps described_by, controls maps controlled_by, details maps details_for. Unknown types ignored. Resolve only existing distinct nodes. For each node output direct and inverse [kind,other_id] pairs, deduping while preserving relation encounter order. Direct is appended before inverse. Nodes with no links are retained in input order; input node IDs are unique. Forward and reverse kinds remain distinct even for reciprocal declarations.

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
contract fixture 3	`[["a", [["controls", "b"]]], ["b", [["controlled_by", "a"], ["controlled_by", "a"]]]]`	`[["a", [["controls", "b"]]], ["b", [["controlled_by", "a"]]]]`	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.