Yeah, I am normally a bit pedantic, sorry about that :)

Yup! That's exactly right. The only slight correction I can offer is that an instance can have either a blocklist or allowlist, it can't have both. If an allowlist exists, then anything not on it is implicitly blocked. If it does not, then anything not in the blocklist is allowed. If it has neither, it's in open federation (everything is allowed).