Symmetric Lenses

Document status: reviewed. Canonical source.

Summary

Symmetric lenses model synchronization where both sides may contain information absent from the other, avoiding a permanently privileged source/view direction.

NUIF relevance

Design files and source frameworks are peers with asymmetric capabilities. Synchronization should therefore be symmetric at the system level even when individual adapters implement directional lowering/lifting passes.