This idea of a procedural interface between compiler and debugger goes back Norman Ramsey's ldb: https://www.cs.tufts.edu/~nr/retargeting-summary.html (if not further). It seems like a good one.