Keep the edge identity still while the world moves.
Seven possible edges receive one frozen glyph and one fixed node-relative
slot. The primary comparison changes only the edge-encoding channel. A separate
movement block asks whether the visual template survives endpoint relocation.
Computed render diagnostics are evidence; reader performance remains unmeasured.
Nodes, positions, labels, scale, viewport, and State A
membership are frozen. The outline is intentionally a low-information control:
it answers only “adjacent to O?” The overlay compares State A with State B and
keeps an inspectable quiet slot for edges in neither.
A only, B only, both, and neither with redundant appearance · all four A/B states visible
solid green + dark border · A ∩ Brust fill · A onlyblue border · B onlydashed empty · neither
Absence needs its own treatment
Both candidates preserve the frozen slot. The quiet view
keeps “neither” inspectable without filling the field with active ink; the
on-demand view raises only absent candidates during an explicit comparison.
Their relative human legibility remains unmeasured.
Quiet reserved slot
Persistent, low-contrast, dashed.
On-demand absence focus
Explicit, high-contrast, interaction-gated.
Deterministic boundary cases
Each pair preserves the same state and node geometry.
The sparse case is a counterexample: its line is already unambiguous, so the
experiment does not treat every line as defective.
Crossed-node ambiguity
1 non-endpoint mask crossings · 4 present edges
persistent linesinvariant tokens
Shared corridor and plausible near-passes
1 non-endpoint mask crossings · 3 present edges
persistent linesinvariant tokens
Sparse counterexample
0 non-endpoint mask crossings · 1 present edges
persistent linesinvariant tokens
Movement is isolated from adjacency
Edge e01 is unchanged while its second endpoint moves near,
far, and across the origin. The line changes angle or length; the circle token
keeps its shape, scale, orientation, and normalized slot.
Endpoint-spanning line
Geometry is part of the patch.
Frozen endpoint token
The local patch is identical.
0.074minimum line descriptor similarity
1.00token patch similarity
1State A non-endpoint mask crossings
The global dictionary has a hard boundary
Eight identities receive distinct marks. The ninth is
rejected. The implementation does not shrink marks, reuse tokens, drop edges,
or rebuild the dictionary per panel.