La funzione deterministica mostra un comportamento indeterminato, com'è possibile?

Quando ti capisco correttamente, la tua domanda non è specificatamente su GD, ma come in generale una funzione con requisiti completamente deterministici può mostrare un comportamento non deterministico: dato esattamente lo stesso input, l'output (o in questo caso il comportamento) è diverso, anche se non esiste una causa ovvia come un generatore di clock o un generatore casuale.

Ogni volta che esegui un programma o una funzione su un sistema, anche quando il codice viene eseguito in un processo separato, non viene mai eseguito in perfetto isolamento: c'è sempre un ambiente intorno ad esso, molti altri processi che si svolgono contemporaneamente stessa macchina. Ci sono sempre risorse condivise come la memoria principale, lo spazio su disco, i core del processore, la memoria della scheda gfx, le variabili di ambiente globali e così via, che non sono prevedibili esattamente nello stesso stato quando si esegue il programma due volte in momenti diversi. Solo questo può essere la causa del comportamento non deterministico che stai osservando.

Inoltre, GD è scritto in C, che è un linguaggio in cui è possibile creare un "comportamento indefinito" in diversi modi. Ad esempio, questo può accadere accidentalmente dimenticando di inizializzare una variabile prima dell'uso (non che questo sia veramente il caso di GD, prendilo come uno scenario ipotetico). Ciò rende possibile che il valore di una variabile possa dipendere dallo stato delle risorse condivise che ho menzionato sopra. E supponendo che la lib di GD contenga un pezzo di codice in qualche parte nel codice di rendering di SVG, o nel suo binding di PHP, allora posso immaginare che potrebbe portare esattamente al comportamento che hai descritto.