AdS/CFT 

In what sense are dualities like AdS/CFT implementations of BI? Bulk diffeomorphisms that leave the boundary unchanged are gauge symmetries of the bulk theory, so there’s background independence here in our first sense.