Re: [PATCH RFC] bpf: add DAG fast-path in verifier to skip redundant state pruning

Alexei, Daniel, Eduard,

A brief ping on the follow-up below. I may have missed newer work: has
the transfer + join prototype been posted somewhere public, and would
the tnum x cnum Kani model be useful to compare against it?

A one-line pointer, or "already covered / not useful", would be enough
for me to decide whether to continue or stop here.

Thanks,
Seunghyeon