oa::ExecutionBindingDesc

Handle-free boundary contract for one exact compiled specialization. A binding describes selection/validation only: immutable plans retain their captured resources and are never silently rebound to a different matrix.