Sintesi Tecnica: La verifica locale non può rilevare la non-trasportabilità

Definizione del Problema

I sistemi di IA agentica trasportano sempre più conclusioni attraverso contesti biologici, clinici e commerciali diversificati. Le attuali architetture allo stato dell'arte (ad es. Medea) si affidano alla verifica locale: controllare in ogni fase che le entità siano rappresentabili, che i parametri siano compatibili e che gli output siano coerenti con il piano. Questi controlli sono "locali" in quanto supportati su porzioni limitate dello spazio di contesto (singoli contesti, coppie o triadi).

Il documento identifica un'incompletezza strutturale in questo approccio. Sebbene i controlli locali possano rilevare tipi specifici di errori, essi sono ciechi alla non-trasportabilità strutturale. Ciò si manifesta come una situazione in cui un agente supera ogni controllo di verifica locale, ma produce una conclusione che dipende dal percorso di ragionamento specifico intrapreso. Questo fenomeno è formalmente analogo all' "incoerenza di loop" nella meta-analisi di rete, dove le evidenze dirette e indirette attorno a un ciclo chiuso sono individualmente solide ma congiuntamente incoerenti.

Metodologia

Quadro Teorico

L'autore modella il problema utilizzando la topologia algebrica e la teoria dei fasci (sheaf theory):

1. Sito di Contesto: Lo spazio delle situazioni rilevanti per le decisioni $X$ è coperto da un insieme finito di contesti $\mathcal{U} = \{U_i\}$. Viene costruito il nervatura (nerve) $N(\mathcal{U})$ dove i vertici sono i contesti, gli spigoli rappresentano le sovrapposizioni (evidenza di ponte) e i triangoli rappresentano le sovrapposizioni triple.
2. Cociclo di Evidenza: L'evidenza è modellata come un cociclo 1-reale $\omega \in C^1(N(\mathcal{U}); \mathbb{R})$, che assegna un contrasto misurato a ogni sovrapposizione.
3. Trasporto Agentico come Integrazione di Percorso: Un agente che trasporta una tesi dall'ancora $a$ al target $t$ esegue un'integrazione di percorso: $\hat{\theta}_t = \theta_a + \langle \omega, \gamma \rangle$, dove $\gamma$ è il percorso nella nervatura.
4. Decomposizione di Hodge: Lo spazio dei cocicli 1 è scomposto ortogonalmente in tre componenti:
   • Gradiente ($g = \delta_0 \beta$): Offset strumentali per contesto. Rimuovibili tramite ricalibrazione.
   • Rotore (Curl) ($c \in \text{im}(\delta_1)^\top$): Incoerenze locali rilevabili alle sovrapposizioni triple (non nullo $\delta_1 c$).
   • Armonico ($h \in H^1$): La componente nel nucleo sia di $\delta_1$ che di $\delta_0^\top$. Rappresenta la prima classe di coomologia di Čech $[\omega] \in H^1$.

Risultati Teorici Chiave

• Indipendenza dal Percorso: La stima trasportata è indipendente dal percorso se e solo se il cociclo di evidenza è esatto ($\omega \in \text{im } \delta_0$).
• Olonomia: Il disaccordo tra due percorsi di ragionamento è esattamente l'olonomia della classe di coomologia $[\omega]$.
• Cecità della Verifica Locale: Qualsiasi controllo di coerenza supportato su simplessi (spigoli, triangoli) non può distinguere tra un cociclo esatto e uno perturbato da una componente armonica. Poiché le componenti armoniche soddisfano $\delta_1 h = 0$, esse superano tutti i controlli di sovrapposizione tripla, pur generando un disaccordo non nullo tra i percorsi.
• Meccanismo di Ostruzione: La componente armonica deriva dalla modificazione dell'effetto combinata con la composizione della popolazione specifica per contesto (paradosso di Simpson su una rete). Se la modifica dell'effetto è assente, l'energia armonica svanisce fino alla precisione di macchina.

Metodo Proposto: Ks.etra

L'autore propone Ks.etra (Ksetra), una procedura che:

1. Costruisce il sito di contesto e assembla il cociclo di evidenza.
2. Decompone $\omega$ in parti gradiente, rotore e armonica tramite minimi quadrati.
3. Triage:
   • Gradiente Dominante $\to$ Ricalibrare gli strumenti.
   • Rotore Dominante $\to$ Rimesurare o rieseguire la deliberazione (incoerenza locale).
   • Armonico Dominante $\to$ Ostruzione strutturale; la copertura deve essere raffinata (stratificazione).
4. Gating (Soglia): Il sistema si astiene dal prendere una decisione se l'energia armonica $\|\omega_h\|$ supera una soglia. In caso di astensione, esso restituisce il ciclo specifico che trasporta la maggiore olonomia come istruzione per la raccolta dati.

Risultati

Studi di Simulazione

L'autore ha condotto simulazioni in due domini:

1. Pharma RWE: Contesti definiti da (stadio CKD $\times$ setting di cura). Lo spazio degli attributi è contrattile; $H^1$ sorge solo da lacune di evidenza.
2. Credito al Consumo: Contesti definiti da (regione $\times$ regime macroeconomico). L'asse del regime è ciclico (espansione $\to$ ripresa), creando un'ostruzione topologica per costruzione.

Risultati Chiave:

• Potere Predittivo: Nel modello meccanicistico in cui l'olonomia emerge dalla modifica dell'effetto, sia l'energia armonica che quella del rotore sono comparabilmente predittive dell'errore irreducibile dello stimatore ottimale (Spearman $\rho \approx 0.37$ per l'armonica e $\approx 0.33$ per il rotore). Questa correlazione sorge perché una singola causa latente (modifica dell'effetto) genera entrambe le componenti. Tuttavia, l'energia armonica mantiene un valore predittivo indipendente dopo il condizionamento sulle altre componenti (part $\rho \approx 0.19$), mentre il rotore no. La distinzione operativa tra i due è definita dal loro rimedio (ri-misurazione per il rotore vs. raffinamento per l'armonica), non solo dal loro valore predittivo.
• Dipendenza dal Percorso: Sia la componente armonica che quella del rotore predicono la dipendenza dal percorso (dispersione tra i percorsi di ragionamento), ma solo l'armonica predice il limite inferiore dell'errore indipendentemente dalle altre componenti.
• Performance: Ks.etra (gating sull'energia armonica) supera il baseline "Residual-gated" (gating sul conflitto totale) nell'Area Sotto la Curva Rischio-Copertura (AURC), riducendola di 0.029 (pharma) e 0.039 (credit).
• Costo del Drift: Il "coarsening silenzioso" (collasso dei contesti senza verifica) incurre in un errore significativo anche in sistemi perfetti.

Caso di Test Finanziario (FX e IFRS 9)

• F-Test Esatto: L'autore deriva un F-test esatto per l'esistenza di un claim globale, partizionando i gradi di libertà in calibrazione, coerenza locale e trasporto. Il test è correttamente dimensionato sotto rumore isotropo.
• Arbitraggio FX: In un complesso di 15 valute costruito con vincoli di eseguibilità, la componente armonica rileva l' "arbitraggio di loop" (P&L su cicli non colmati da triangoli eseguibili) che i controlli standard di arbitraggio triangolare (rotore) non rilevano.
• IFRS 9: Applicato a un inventario di modelli PD su uno spazio di regime ciclico, il metodo identifica 17 loop indipendenti capaci di trasportare storie incoerenti non rilevabili tramite validazione di coppia o tripla.

Significato e Rivendicazioni

Il documento presenta un risultato negativo come suo contributo centrale: Nessuna famiglia di controlli di coerenza supportata su simplessi può rilevare l'ostruzione armonica. Ciò implica che le attuali strategie di verifica agentica, indipendentemente dalla qualità dell'implementazione, hanno un punto cieco fondamentale.

Significato:

1. Teorico: Identifica l'incoerenza di loop nella sintesi delle evidenze come la prima coomologia di un sito di contesto, estendendo il concetto dalle reti di trattamento a arbitrarie coperture di contesto.
2. Operativo: Inquadra l'astensione non come un punteggio euristico di fiducia, ma come una quantità coomologica. Una componente armonica non nulla non è solo un avvertimento; è un'istruzione specifica per raffinare la copertura (stratificare ulteriormente) piuttosto che raccogliere più evidenza alla stessa granularità. La distinzione tra componenti di rotore e armoniche è definita dal loro rimedio (ri-misurazione vs. raffinamento), non solo dal loro valore predittivo.
3. Economico: Il metodo offre una mappatura trasparente dalla geometria del rischio selettivo agli esiti del portafoglio, mostrando che il gating coomologico è economicamente sostenibile solo dove il costo di un impegno errato supera materialmente il guadagno di uno corretto (ad es. decisioni terapeutiche e di credito regolate).

Limitazioni e Modestia:

• Il documento dichiara esplicitamente di non contenere una validazione su dati reali. Le simulazioni sono validazioni controllate della teoria.
• Il meccanismo di generazione armonica (modifica dell'effetto) è modellato, non osservato in tracce di agenti reali.
• L'autore riconosce che gli errori correlati attraverso le sovrapposizioni e l'estrazione del corretto fattorizzazione del contesto sono problemi aperti non risolti qui.
• Il contributo è formulato come un'identificazione teorica di un punto cieco e come una proposta di rimedio, con l'appello per una validazione su dati reali (ad es. utilizzando meta-analisi di rete pubblicate o i benchmark del lievito di Medea) come passo necessario per spostare i risultati dalla simulazione alla realtà.