Function list_tx 

pub async fn list_tx(
    tx: &mut Transaction<'_, Postgres>,
) -> Result<Vec<ViewDefinitionRow>, Error>

The transaction-scoped counterpart of ViewDefinitionStore::list, for a caller (the DDL executor) already holding an open sqlx::Transaction – so a pre-mutation read cannot miss a concurrent, uncommitted write from a sibling transaction, and a post-mutation read sees this transaction’s own write.