Expand description
Shape-based lens dispatch.
Choosing a lens for a value is overload selection, which is exactly what the
kernel Shape matcher already does. The dispatcher reuses that matcher and
the documented resolution order; it is implemented once here and never
reimplemented per domain. Resolution order (WEBUI_4 “Dispatch”):
- explicit operator choice;
- saved workspace preference;
- best Shape match (most specific wins; ties by quality then cost);
- class match fallback;
- the universal default (always matches, lowest quality).
Every candidate must pass capability filtering; a denied lens is skipped and resolution falls through, ending at the read-only universal default.
Structs§
- Dispatch
Context - The context a dispatch runs in: operator choice, saved preference, active mode, the value’s class, and the capability predicate.
- Dispatch
Outcome - The outcome of a successful dispatch.
- Lens
Registry - A registry of lenses with a single shared dispatcher.
Enums§
- Dispatch
Reason - Why the dispatcher chose a lens.