L’indipendenza della verifica significa che la persona, il test o il percorso di revisione che controlla un sistema non dovrebbe essere controllato dallo stesso sistema che lo ha creato. Nella sicurezza e nell’affidabilità del software, questa separazione riduce la convalida circolare: l’output, i test e la spiegazione non dovrebbero provenire tutti da un’unica fonte che può far sembrare corretto il lavoro senza dimostrarlo.
Questo è importante perché sia gli aggressori sia l’automazione rischiosa sfruttano le lacune di fiducia. Una modifica malevola può passare se il generatore fornisce anche il test che “dimostra” che funziona, oppure se un agente di IA scrive il codice e poi giustifica le proprie decisioni di progettazione. Difese solide mantengono separate la generazione e la verifica, usano una revisione indipendente, richiedono prove da fonti primarie e applicano l’approvazione umana finale. L’obiettivo non è diffidare per principio, ma avere una traccia di audit che possa reggersi da sola.