Agente dentro.
Executor fuori.

Un executor intelligente usa un modello per risolvere uno o più passaggi incerti, ma conserva il normale contratto di un executor. Il pianificatore gli affida un compito preciso e riceve il risultato previsto, senza dover conoscere il percorso interno.

Idea centrale. Il modello può proporre come procedere entro un insieme limitato di possibilità. Non ottiene per questo nuovi permessi e non decide da solo che cosa conta come successo.
Contratto stabileArgomenti, autorità e forma del risultato non cambiano quando interviene il modello.
Scelta circoscrittaIl modello propone soltanto valori o azioni che l'adattatore sa convalidare.
Esito verificatoLa postcondizione dell'executor, non una dichiarazione del modello, stabilisce se il tentativo è riuscito.

Il confine architetturale

Il manifest e il codice dell'executor definiscono lo scopo, gli argomenti, le capacità, il consenso, i limiti e la forma del risultato. Quando una parte del percorso richiede un modello, l'adattatore prepara un'osservazione limitata, controlla la proposta e decide quale operazione concreta eseguire. Il modello non invoca direttamente gli executor e non modifica il proprio contratto.

Nel manifest, intelligence = "agentic" dichiara questa modalità e permette al registro e all'interfaccia di rappresentarla correttamente. La dichiarazione viene convalidata, ma da sola non dimostra che l'implementazione sia sicura: limiti, validazione delle proposte e postcondizioni devono essere verificati nel codice e nei test.

Bounded loop inside an intelligent executor A stable public contract surrounds a bounded internal loop with deterministic validation and outcome checks. FIXED AUTHORITY: capabilities · consent · secrets · targets Observebounded state Proposeone candidate Validateadapter rules Execute and checkpostcondition OUTCOME: completed · inconclusive · exhausted Attempts, elapsed time, history, and observation size are bounded.
Il ciclo comune limita tentativi, tempo, cronologia e dimensione delle osservazioni. L'adattatore conserva il controllo dell'azione.

Che cosa offre oggi il runtime comune

Metnos fornisce un ciclo sincrono e uno asincrono. A ogni tentativo può aggiornare l'osservazione, chiedere una proposta, convalidarla, eseguirla e controllare la postcondizione. L'esito interno è uno fra completed, inconclusive ed exhausted. Esiste anche la variante «prima il metodo deterministico, poi il modello»: se il ripiego non produce un risultato valido, resta valido il risultato deterministico iniziale.

ResponsabilitàRuntime comuneAdattatore dell'executor
LimitiImpone massimi a tentativi, tempo, cronologia e osservazioniPuò scegliere limiti più stretti e deve limitare ogni singola operazione
PropostaLa richiede e ne gestisce il cicloDecide che cosa il modello può vedere e proporre
ValidazioneNon accetta una proposta respintaDefinisce le regole concrete di ammissione
SuccessoRestituisce l'esito del cicloDefinisce e verifica la postcondizione
AutoritàNon la ampliaOpera entro manifest, policy, consenso e sandbox
Il limite di tempo del ciclo non interrompe automaticamente un'azione già iniziata. Serve a impedire nuovi tentativi. L'adattatore deve assegnare un proprio timeout a ogni operazione, soprattutto quando questa può modificare dati.

Dove viene usato

Scelta controllata

Nella navigazione web il modello può scegliere l'identificatore di un controllo fra candidati preparati dal broker. Non produce selettori CSS o XPath.

Nella ricerca di immagini può riordinare identificatori noti quando i metadati non offrono un segnale lessicale sufficiente.

Ripiego controllato

L'OCR prova prima Tesseract. Soltanto se il testo è insufficiente può chiedere al modello visivo una trascrizione; un risultato debole non sostituisce quello iniziale.

L'estrazione strutturata e alcuni percorsi di consultazione usano lo stesso principio con contratti propri.

Il modello è utile quando lo scopo è ristretto, il percorso può variare e la conclusione è verificabile. Non è adatto a nascondere dentro un executor una ricerca aperta, una strategia fra domini o un compito senza un criterio netto di completamento: quelle decisioni appartengono al pianificatore.

Se non riesce

Se nessuna proposta viene ammessa, il ciclo è inconclusive. Se sono terminati i tentativi o il tempo disponibile, è exhausted. L'adattatore traduce poi questo esito nel contratto pubblico del proprio executor: può mantenere il risultato deterministico, restituire un errore tipizzato o chiedere l'intervento dell'utente. Il ciclo comune non inventa un risultato e non promette da solo una ripresa persistente.

Trasporto e intelligenza sono indipendenti. Un executor locale o remoto può essere diretto oppure intelligente. Il trasporto stabilisce come raggiungerlo; manifest, policy e codice stabiliscono che cosa può fare.