[elij]

I like this idea and this is very much the future. I wish it wasn't out of band and these proofs could be embedded in the relatively small address space of IP headers. This also lets us take advantage of merchant silicon for branching logic.

Obviously some work is needed in the host IP stack for per packet tagging (DCSP/traffic class) rather than per socket and then flushing.