Function pending_moves 

async fn pending_moves(
    conn: &mut PgConnection,
    scope: &RegistrationScope,
    limit: i64,
) -> ModelResult<Vec<PendingMove>>

The facts of the rows that may need a move, so limit cannot be spent on rows that need nothing.

The WHERE only narrows to the rows precondition_target could move, and must keep every one of them: the decision itself is that function’s.