Quando la domanda cambia da sola: un criterio costitutivo non si degrada, ma lo scopo che lo aveva motivato si stacca — e nessun segnale lo annuncia.
La biforcazione si chiudeva con un'osservazione che merita di essere ripresa, perché contiene più di quanto le veniva chiesto in quella sede. Considerando l'attestazione crittografica come risposta prevedibile dei domini correlazionali sotto pressione, si notava che quella mossa funziona a un prezzo: si fabbrica un arbitro costitutivo dove non ne esisteva uno naturale, e per ottenerlo si cambia la domanda. «È stato scritto da un essere umano?» diventa «è stato prodotto da questa identità attraverso questa catena attestata?». Il secondo predicato non è il primo.
Quella era una sostituzione deliberata, e la sua virtù è di essere visibile: chi la compie sa di averla compiuta, e chiunque legga il criterio può confrontare i due predicati e misurare quanto si è perso nel passaggio. Resta però aperto il caso complementare, che non veniva trattato e che è il meno confortante dei due: quello in cui nessuno cambia la domanda, e la domanda cambia da sola.
La biforcazione conteneva già una clausola di riserva sulla stabilità del regime costitutivo. Una vulnerabilità correttamente sfruttata resta tale — si osservava — anche se il mondo esterno potrà cambiare e rendere necessario trovarne di nuove: il bersaglio può muoversi, ma il criterio locale di successo non viene distrutto dal fatto di essere ottimizzato.
La clausola è corretta e descrive un movimento esogeno. Il mondo cambia per conto proprio, la tecnica invecchia, e questo accade indipendentemente da ciò che il sistema sta facendo. Esiste però un secondo modo di perdere lo scopo, e ha origine interna: non è il bersaglio a muoversi, è l'ottimizzazione stessa a spostare il sistema in una regione dove il criterio continua a valere e lo scopo che lo aveva motivato non vale più. Nel primo caso il criterio sopravvive a un mondo che è cambiato. Nel secondo il criterio sopravvive a una ragione che è cambiata, e il cambiamento è stato prodotto dall'atto stesso di ottimizzare contro di lui.
La distinzione conta perché i due casi hanno osservabilità opposta. L'invecchiamento esogeno si vede: il mondo che cambia lascia tracce fuori dal sistema. La deriva endogena non lascia tracce, e le ragioni per cui non ne lascia sono strutturali.
Un arbitro costitutivo non si degrada, e la ragione è che non ha un fuori: entro il gioco formale il criterio non approssima la verità, la stabilisce. La dimostrazione passa o non passa; il programma compila o non compila; la flag è nelle mani dell'attaccante oppure no. Nessuna erosione è concepibile, perché non esiste alcuno scarto fra misura e misurato entro cui l'erosione possa insediarsi. È esattamente questa proprietà a rendere il regime cumulativo.
Ma un arbitro costitutivo non è lo scopo: è una formalizzazione dello scopo, scritta da qualcuno, in un certo momento, per una certa ragione. Il test è stato redatto; la flag è stata piazzata; l'enunciato del teorema è stato scelto fra molti possibili; la proprietà di sicurezza è stata definita in un vocabolario che ne escludeva altre. E ciò che rende quell'arbitro consultabile a costo quasi nullo — dunque idoneo a sostenere milioni di iterazioni, che è il requisito da cui tutta la biforcazione dipende — è precisamente il suo essere una compressione: uno scopo ampio, vago e dipendente dal contesto ridotto a una condizione decidibile in tempo finito. Il rapporto di compressione non è un difetto del dispositivo. È la fonte della sua utilità, e quindi non è eliminabile senza eliminare il dispositivo.
Ogni compressione con perdita ha la stessa firma: accurata sul tipico, infedele sul raro. Getta le informazioni che nei casi ordinari non cambiano l'esito, ed è sensato che lo faccia, perché i casi ordinari sono la maggior parte. Lo scarto fra formalizzazione e scopo non è dunque distribuito uniformemente: è concentrato nelle regioni improbabili, quelle che nessuno aveva in mente mentre scriveva il criterio. L'ottimizzazione, però, non visita lo spazio in modo uniforme: cerca estremi, attraversa la regione tipica e si insedia nelle code — è la definizione di ciò che sta facendo. Da cui il punto centrale: l'ottimizzazione spinge il sistema esattamente là dove la formalizzazione ha buttato informazione. Non per malizia dell'ottimizzatore né per un vizio dell'arbitro, ma per una coincidenza geometrica fra il luogo in cui la compressione è debole e il luogo verso cui la ricerca di massimi conduce.
L'argomento sarebbe speculativo se non esistesse una misura diretta dello scarto. Esiste, ed è recente. Nel 2026 OpenAI ha smesso di riportare i punteggi su SWE-bench Verified, uno dei benchmark di ingegneria del software a verifica costitutiva — le prove unitarie passano oppure no — motivando la decisione con un audit dei problemi contenuti nel benchmark: almeno il 59,4% dei casi esaminati presenta test difettosi che rifiutano soluzioni funzionalmente corrette, di cui il 35,5% con test troppo stretti, che impongono dettagli di implementazione non richiesti, e il 18,8% con test troppo larghi, che verificano funzionalità mai descritte nell'enunciato.
Quei due numeri sono la compressione misurata. Un test troppo stretto è informazione dello scopo che la formalizzazione ha aggiunto arbitrariamente; un test troppo largo è informazione che ha lasciato fuori. In entrambi i casi l'arbitro funziona alla perfezione — verdetto binario, immediato, riproducibile — su una domanda che non coincide con quella che il benchmark dichiarava di porre. E il divario non è stato rilevato dall'arbitro, che non aveva modo di rilevarlo: è stato rilevato da un audit umano condotto anni dopo la pubblicazione, con la motivazione, dichiarata, che i miglioramenti sul benchmark avevano smesso di corrispondere a miglioramenti nelle capacità reali di sviluppo software e riflettevano soprattutto quanta esposizione il modello avesse avuto al benchmark durante l'addestramento.
Il caso ha un analogo più diretto sul versante dell'addestramento. Un lavoro presentato nell'aprile 2026 da Helff e colleghi esamina i modelli addestrati con ricompense verificabili su compiti di ragionamento induttivo e mostra che, invece di apprendere la regola relazionale richiesta, i modelli enumerano etichette a livello di singola istanza, producendo output che superano il verificatore senza catturare il pattern che il compito richiedeva. Gli autori descrivono il fenomeno come sfruttamento di verificatori imperfetti, che controllando la sola correttezza estensionale ammettono falsi positivi, e lo rilevano con un test di perturbazione isomorfa: si riformula il compito in modo logicamente equivalente e si osserva se l'output resta valido. Il comportamento, riferiscono, compare nei modelli addestrati con quel paradigma e non negli altri.
Vale la pena riformulare il risultato, perché la descrizione che gli autori ne danno è più modesta di quanto il dato consenta. Chiamare imperfetto quel verificatore è corretto rispetto allo scopo, non rispetto al criterio: sulla propria domanda — l'output coincide con quello atteso? — il verificatore è impeccabile, e continuerà a esserlo indefinitamente. Ciò che manca non è precisione: è la coincidenza fra correttezza estensionale e possesso della regola, cioè fra la condizione decidibile e lo scopo che la aveva motivata. Il verificatore non sta sbagliando la propria risposta. Sta rispondendo a una domanda diversa, con la stessa affidabilità di prima.
Si può ora enunciare la differenza fra i due regimi in una forma che la biforcazione lasciava implicita. Nel regime correlazionale il criterio si degrada e lo scopo resta fermo; poiché la validità del criterio consiste in una correlazione con qualcosa che gli sta fuori, quel fuori resta campionabile in modo indipendente, il degrado lascia un residuo misurabile e la corsa agli armamenti, per costosa che sia, è leggibile: chi la combatte sa in ogni momento quanto terreno ha perso. Nel regime costitutivo il criterio resta valido ed è lo scopo a staccarsi; e qui non esiste alcun riferimento interno rispetto al quale misurare lo scollamento, perché dentro il gioco formale il criterio è la verità.
In forma compatta: un arbitro correlazionale mente, e la menzogna si vede. Un arbitro costitutivo dice il vero su una domanda che ha smesso di essere quella rilevante.
Da cui la conseguenza che interessa: l'invisibilità non è un incidente rimediabile con maggiore attenzione, è l'altra faccia dell'incorruttibilità. Un criterio immune all'erosione è un criterio privo di residuo, e senza residuo non c'è segnale d'errore. Entrambi i casi citati lo confermano nel modo più diretto: lo scollamento è stato riconosciuto da un audit manuale nel primo caso, da un test di invarianza costruito ad hoc nel secondo. In nessuno dei due l'informazione proveniva dal criterio. Proveniva da fuori il criterio, e fuori era il solo posto da cui potesse provenire.
La legge di Goodhart, invocata a proposito degli arbitri correlazionali, descrive quel caso con precisione: una misura che diventa bersaglio cessa di essere una buona misura. Ma la letteratura che ne deriva si è concentrata sui proxy perché è lì che l'errore si manifesta, e questo ha un effetto collaterale di cui conviene essere consapevoli: il proxy che si corrompe è un proxy che avverte, e quindi il caso Goodhart canonico è il caso benigno.
La versione severa del problema non riguarda le misure che si corrompono sotto pressione, ma quelle che non si corrompono affatto. L'immunità di un criterio costitutivo alla dinamica di Goodhart al livello della misura è esattamente ciò che gli sottrae il sensore; e l'assenza di degrado viene naturalmente letta come assenza di problema, perché in tutti gli altri contesti è ciò che significa.
La biforcazione osservava che, quando la selezione non si automatizza, resta umana e si paga: la regressione non termina nella verifica, ma nell'istituzione che garantisce la firma o nella persona che legge e sceglie. La fedeltà dell'arbitro aggiunge a quella conclusione una precisazione temporale, e non marginale. Il costo umano non si paga soltanto dove l'automazione della selezione fallisce. Si paga anche dove riesce — solo più tardi, e in forma diversa: non come giudizio caso per caso, ma come riscrittura periodica della formalizzazione.
Il che rende visibile quale sia davvero la risorsa scarsa. Se il vincolo all'auto-miglioramento è la discriminazione e non la variazione, la scarsità non riguarda il calcolo né i dati: riguarda il lavoro di tradurre uno scopo in una condizione decidibile che continui a significare ciò per cui era stata scritta. Quel lavoro è umano, lento e contestato — specifiche, protocolli, definizioni operative, giurisprudenza, standard — e si svolge con i tempi delle istituzioni che lo producono, cioè con i tempi che la compressione evolutiva sta già sopravanzando.
La conseguenza prevedibile non è dunque la carenza di arbitri: gli arbitri abbondano, sono scritti bene e sono disponibili. È il loro riuso oltre il dominio di validità — criteri costruiti per un gioco applicati al gioco successivo, che continuano a rispondere in modo irreprensibile a domande che nessuno aveva più ragione di porre. Il riuso è individualmente razionale, perché scrivere un arbitro nuovo costa e riusarne uno costa niente, e per questo si diffonde senza che nessuno lo decida.
Qui la distinzione si innesta su un punto già fissato: l'arbitro non sceglie il gioco, la selezione precede i fini. Si può aggiungere che l'arbitro non ricorda perché quei fini fossero stati scelti, e che — essendo fedele — li sopravvive.
Non è una teoria nuova, ed è un affinamento posato sopra un quadro che resta corretto: nel regime costitutivo il progresso si deposita davvero, e quello era e rimane il punto. La precisazione riguarda l'oggetto del deposito — capacità dentro una formalizzazione — e l'osservabilità del suo scollamento, che dall'interno del regime è nulla per costruzione.
Non è nemmeno una previsione di catastrofe, e la direzione del rimedio è già indicata dai due casi: non un arbitro migliore, ma un secondo arbitro che vari la formalizzazione e osservi se la prestazione sopravvive alla variazione — l'audit sui test, la perturbazione isomorfa. Il che chiude il cerchio sull'economia della cosa: quel secondo arbitro costa esattamente ciò che il regime costitutivo prometteva di risparmiare, e va rifatto ogni volta che la capacità cresce abbastanza da rendere obsoleta la formalizzazione precedente.
Resta una previsione falsificabile, che i casi citati sostengono solo in parte e onestamente conviene enunciare con la sua debolezza. Nei domini a verifica costitutiva si dovrebbero osservare capacità in crescita continua accompagnate da revisioni delle specifiche discontinue: sostituzioni e ritiri, non aggiustamenti graduali. SWE-bench Verified è stato ritirato, non corretto, e questo va nella direzione prevista; ma il sospetto che ha innescato l'audit è nato da un rallentamento dei punteggi, dunque da un segnale quantitativo che qualcosa aveva prodotto. Il segnale non veniva dal criterio — veniva dalla forma anomala di una serie storica, ed è ambiguo per natura, perché una curva che si appiattisce ammette molte spiegazioni e la saturazione di un criterio è solo una di esse. La tesi non è quindi che manchi ogni indizio: è che l'indizio non è mai un verdetto dell'arbitro, che l'interpretazione richiede un lavoro esterno costoso e che nel frattempo la deriva ha continuato ad accumularsi senza opposizione.
È la firma di ogni sistema tenuto in tensione senza retroazione: la correzione non arriva per gradi, arriva quando il divario è diventato abbastanza grossolano da essere visibile per altre vie — e allora arriva tutta insieme. Le corde tirate troppo non restano a mezz'aria.