Well described. A tangled web they've woven.
"...Sedevacantism in the first form given above is properly a theological error."
Actually, the funny thing is that many Eastern Orthodox most sympathetic to Rome are functional sedevacantists. "We'd recognized the Pope if only he'd recant X, Y, and Z".