# osmani-agentic-verification-2026-10-14

## Veille

Post di **Addy Osmani** sulla sua Substack *Elevate*, pubblicato il **14 ottobre 2026**; ~1.900 parole. Tesi: con i modelli attuali, il collo di bottiglia non è più la scrittura del codice ma la sua **verifica**; il lavoro umano passa dal *"revisionare ogni riga"* al *"costruire loop che l'agente può eseguire da solo."*

## Titre Article

Agentic Verification — The bottleneck has moved from writing code to knowing it's correct.

## Date

2026-10-14

## URL

https://addyo.substack.com/p/agentic-verification

## Keywords

verifica agentica, loop di feedback, agente auto-verificante, test end-to-end, E2E, test basati su proprietà, test basato su proprietà, test differenziali, oracolo, migrazione, invarianti, idempotenza, determinismo, test instabili, test instabili, mappa delle funzionalità, metodi formali, TLA+, Lean, criterio di successo, revisione delle evidenze

## Authors

Addy Osmani — ingénieur (Anthropic, cf. fiches antérieures) ; billet sur son Substack *Elevate*.

## Ton

Profilo: una guida pratica destinata agli ingegneri che lavorano con agenti di codifica, con un tono sicuro e didattico. Il testo si apre con una tesi (la verifica è il collo di bottiglia), ridefinisce il ruolo dei test, poi percorre tre famiglie di controlli, ciascuna con i propri benefici, limiti e consigli per iniziare, prima di un elenco "come si presenta il buono" e una direttiva conclusiva. I riquadri "Nota" rimandano a pratiche adiacenti (feature map, metodi formali, agenti reviewer). L'argomentazione si basa sull'esperienza personale dell'autore e sui riscontri di team non nominati, senza cifre né studi. I commenti ampliano la discussione: IronBee (verificare anche l'API dietro l'interfaccia) e un lettore che suggerisce di mantenere i criteri di accettazione nascosti all'agente che costruisce.

## Pense-betes

- **Tesi**: il collo di bottiglia si sposta dalla scrittura alla verifica; l'essere umano definisce il successo ed esamina le evidenze, non i diff.
- **Loop**: scrivere → controllare → leggere → ripetere, prima di qualsiasi sguardo umano; un loop molto migliore batte un modello leggermente migliore.
- **Capitalizzare il gusto**: ogni errore dell'agente diventa una configurazione condivisa, un hook o un test.
- **E2E**: un oracolo fedele all'utente; deve indicare *cosa* è andato storto (screenshot, trace); pochi e di alto valore, poiché sono lenti e instabili.
- **Proprietà**: *"I test di esempio dicono cosa dovrebbe accadere; le proprietà dicono cosa non deve accadere"*; iniziare da una funzione pura, scrivere prima la proprietà in linguaggio semplice, conservare il caso minimizzato come regressione.
- **Differenziale**: vecchio sistema = oracolo; input casuali o traffico reale riprodotto; normalizzare ciò che è insignificante; un elenco motivato dei cambiamenti approvati.
- **Loop sano**: sotto il secondo per il loop centrale, aleatorietà con seed, orologio bloccato, rete controllata; test instabili rimossi dalla suite; output breve; test E2E e differenziali prima dell'integrazione.
- **Abitudini adiacenti**: riformulare i criteri di successo prima di scrivere codice, un agente reviewer in un contesto nuovo, ispezionare i test generati.
- Collegato a [[monperrus-end-of-code-review-agents-supersede-2026-06-11]] e [[osmani-three-joys-engineering-agents-2026-10-09]].

## RésuméDe400mots

Addy Osmani parte da un'osservazione: dare a un agente un modo per verificare il proprio lavoro migliora notevolmente la qualità di ciò che produce. Ciò che rendeva costoso il "buon codice" — test, benchmark, specifiche, percorsi end-to-end reali — può ora essere delegato all'agente. Il lavoro umano passa quindi dalla revisione riga per riga alla costruzione di loop che l'agente esegue autonomamente, e il gusto viene capitalizzato: ogni errore diventa una configurazione condivisa, un hook o un test. Un essere umano resta responsabile di ciò che viene rilasciato, ma esamina le evidenze piuttosto che i diff.

A suo avviso, i modelli sono ora sufficientemente buoni perché la verifica sia il collo di bottiglia. Un agente che non può controllarsi da solo indovina, e la correzione richiede allora un andirivieni umano lento, costoso e non scalabile. Un agente che si testa da solo scrive, controlla, legge il risultato e riprova prima che qualsiasi essere umano intervenga. I test cambiano ruolo: diventano il modo in cui l'agente percepisce il mondo e sa di aver finito.

I test end-to-end sono l'oracolo privilegiato: descrivono ciò che fa l'utente e sono difficili da ingannare, a differenza di un test unitario basato su mock, che può condividere lo stesso fraintendimento dell'agente. Devono indicare il passaggio che fallisce, trasformando un'istruzione vaga in un obiettivo. Lenti e instabili, devono restare pochi di numero.

I test basati su proprietà stabiliscono ciò che non deve mai accadere; strumenti come fast-check, Hypothesis o proptest generano migliaia di input e riducono i fallimenti a un caso minimo. Proprietà comuni: round-trip, invarianti, idempotenza, equivalenza con una versione semplice. Impediscono all'agente di scegliere esempi che si limitano a confermare la propria logica e fungono da specifica.

Per una riscrittura, i test differenziali trasformano il vecchio sistema nell'oracolo: input identici, casuali o tratti dal traffico reale, confronto degli output, normalizzazione di ciò che è insignificante e un elenco motivato dei cambiamenti previsti, finché il vecchio sistema non può essere ritirato.

Il loop deve essere rapido e deterministico: un agente alle prese con test lenti o instabili impara a riprovare piuttosto che correggere, oppure distanzia le proprie esecuzioni e perde traccia delle cause. Osmani raccomanda un loop centrale sotto il secondo, un'aleatorietà controllata, l'esclusione immediata dei test instabili, un output conciso e test più pesanti prima dell'integrazione. La sua conclusione: scrivere il controllo prima del codice.

## GrapheDeConnaissance

- Addy Osmani —publie→ article Agentic Verification (DOCUMENT, 0.98)
- Addy Osmani —affirme_que→ le goulot des agents de codage est la vérification, non l'écriture du code (AFFIRMATION, 0.95)
- Addy Osmani —affirme_que→ une bien meilleure boucle de rétroaction vaut mieux qu'un modèle un peu meilleur (AFFIRMATION, 0.92)
- Agentic verification —améliore→ Agents de codage (TECHNOLOGIE, 0.9)
- Agentic verification —utilise→ Tests E2E (METHODOLOGIE, 0.93)
- Agentic verification —utilise→ Property-based testing (METHODOLOGIE, 0.93)
- Agentic verification —utilise→ Differential testing (METHODOLOGIE, 0.93)
- Property-based testing —utilise→ fast-check (TECHNOLOGIE, 0.9)
- Property-based testing —utilise→ Hypothesis (TECHNOLOGIE, 0.9)
- Property-based testing —utilise→ proptest (TECHNOLOGIE, 0.9)
- Differential testing —s_applique_à→ migration logicielle (CONCEPT, 0.9)
- Tests instables —réduit→ Agentic verification (METHODOLOGIE, 0.85)
- Addy Osmani —recommande→ écrire le contrôle avant le code (AFFIRMATION, 0.95)
- Addy Osmani —recommande→ une boucle de tests rapide et déterministe, sous la seconde pour la boucle cœur (AFFIRMATION, 0.9)
- Addy Osmani —référence→ Lauren (@poteto) (PERSONNE, 0.85)
- Lauren (@poteto) —recommande→ Feature map (CONCEPT, 0.85)
- Boris Cherny —utilise→ TLA+ (TECHNOLOGIE, 0.85)
- Boris Cherny —utilise→ Lean (TECHNOLOGIE, 0.85)
- Boris Cherny —a_créé→ Claude Code (TECHNOLOGIE, 0.85)

---
Canonical: https://www.thekb.eu/it/fiches/osmani-agentic-verification-2026-10-14/