Made a correction to my original post (which botched up the description of posterior surprise) - now says it’s “the surprise you would have at finding out that the true parameter value was in the posterior tail(s) cut off the given parameter value, which would be defensible if the CI was a credible posterior interval”. Further corrections welcome.