Credo che num_documento è un numero "univoco" intero con ordine ascendente/decrescente, i dati sono già ordinati per lo più puoi iterare da 0 (la seconda parentesi quadra), $i termina quando è uguale a count($arr) se vuoi effettuare una ricerca per n tentantivi fino a trovare numero documento.
L'array dovrà sempre iniziare da 0 e proseguire dal numero successivo a 0 altrimenti alcune funzioni php potrebbero dare risultati inaspettati.
Altrimenti se vuoi prova a inserire num_documento al posto di $i d'altronde se unico è una chiave valida anche per php se non supera PHP_INT_MAX, ovviamente il ciclo for puoi anche inserire una variabile di count in modo da non iterare ogni volta e usa $i altrimenti non termini il loop.
Rispondi quotando