Add bounded reference registration evidence to isolated refinement

876fa4c

Running

verified

mantrakp commited on 24 days ago