D2: record pullback versus instrument compatibility

Thus record compatibility is a pullback, whereas residual compatibility requires a separate instrument certificate. The example supplies a self-contained instance of the record/residual distinction associated with En03-A CheungEn03A (section on residual instruments, including :obstruction).