This covers the question of spendability (strong, mature, unlocked prevout). The other question is spentness. Spentness must search for any *other* confirmed input that spends the input's prevout. So this is not a search over prevouts (outputs) but a search over inputs (two inputs with the same spend target).
(edited)