Proposition: Boundary attainability for actual event pairs

In a faithful realization, every distinct event pair with $q-p\in \partial K$ admits an influence-witnessing protocol and is horismotic for the chronology induced by $\mathrm{int}K$.

Proof. The boundary is contained in $K$, so faithfulness supplies the protocol. Theorem thm:kpcone supplies the horismos statement.