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
_resolve_type and _resolve_space forwarders are
type-narrowing wrappers so callers that already know they want a
discrete object can demand one without re-encoding the constraint
in every call site.