2074 — Equivariance Does Not Select a Sector Lens
Positivity, unit exterior volume, and equivariance under label swap leave a one-parameter rational family of coefficient lenses. Their normalized overlaps vary.
Thus naturality can validate a proposed lens but cannot select one. A sector source must provide an additional normalization, symmetry-breaking datum, or universal property that determines a distinguished section of the admissible lens moduli.
This is a finite nonuniqueness theorem, not evidence that no higher source object can generate such a section.
Verification: dependency-free exact checker, 6/6 gates.
Epistemic event: ev-000000002849-3593ce55-b2e7-4a99-8109-cc2074848759.
Sequence claim: seqclaim-09f97565dab7cb7347819175.