Endpoint topology and a conditional certificate

This is an implication from constructed or explicitly assumed protocol data. It does not assert that those data exist. It also proves no global channel evolution at intermediate times.