Retentive Lenses

Document status: reviewed. Canonical source.

Summary

Retentive lenses strengthen ordinary lens laws by requiring unchanged regions of a view to preserve corresponding source regions when other parts change. The work demonstrates tree transformation and resugaring use cases where provenance/correspondence enables minimal retention.

NUIF relevance

This is a direct theoretical foundation for design↔source synchronization. NUIF adapters should maintain correspondence maps and source provenance so an edit to one property does not regenerate unrelated source regions.