Why the merge function is the whole defence
One merge point means one place to audit. Every input list in the Basic tier points at that same function.
The test that proves the channel
An attack that tries to close the data channel and fails, on the running system, is the proof. Not a claim in a document.