Resolution Lenses¶
Bidirectional resolution from QVR TypeExpr / SpaceExpr AST trees to runtime SetObject / ContinuousSpace values, expressed as a dx.Lens family. The resolution environment (object/space inventory) is carried on each lens instance.
Compiler mixin: unified type resolution.
A single _resolve_any_space walks any ObjectExpr to
either a SetObject (discrete) or a ContinuousSpace
(continuous). The legacy _resolve_type and _resolve_space
forwarders are preserved as type-narrowing wrappers so callers that
already know they want a discrete object can continue to demand
one without re-encoding the constraint in every call site.