Codex Hyper · Implementazione basata su evidenze

Trasforma lo scope autorizzato in codice validato.

Hyper è incluso in Codex Council. Sceglie Solo per interventi circoscritti e a basso rischio oppure Relay quando incertezza, contratti o impatto giustificano explorer read-only delimitati. Un solo agente root possiede ogni modifica. Hyper registra ogni check richiesto come PASS, FAIL o UNKNOWN e chiude solo quando non restano gate critici irrisolti. Relay aggiunge un verifier read-only nuovo.

Routing adattivo

Solo per lavoro diretto e circoscritto. Relay per ogni handoff da Mind o quando cresce l'incertezza.

Solo — un ciclo stretto

Per un task Hyper diretto, localizzato e reversibile, con percorso chiaro e check deterministico.

L'agente root ispeziona, scrive, testa e revisiona in un unico ciclo limitato.

Relay — prove prima e dopo

Per ogni handoff approvato da Mind e per lavoro diretto incerto, cross-module o sensibile ai contratti.

Explorer read-only restringono il percorso. Il root scrive. Un verifier fresco mette alla prova il risultato.

Non decide il numero di file Ogni handoff da Mind entra in Relay. Nelle run dirette decidono incertezza e impatto: contratti pubblici, dati persistenti, auth, concorrenza, build, deploy o stato esterno passano a Relay. Hyper non usa mai writer paralleli.

Il metodo

Contratto. Osserva. Orienta. Agisci. Falsifica. Chiudi.

Sviluppo contract-first, ciclo Osserva–Orienta–Agisci, ownership a writer singolo e un tentativo esplicito di smentire il completamento.

00

Contratto

Definisce risultato, done, scope, vincoli, rischio, rollback, check e route prima della prima modifica.

01

Osserva

Legge regole del repository, codice, test e worktree. Stabilisce la baseline sicura più piccola.

02

Orienta

Controlla le ipotesi sulle fonti e lega ogni criterio di accettazione a un metodo di verifica.

03

Agisci

Applica patch piccole e reversibili. Esegue check mirati dopo ogni incremento significativo.

04

Falsifica

Mette alla prova contratto, diff e risultati dei check. Relay usa un verifier nuovo; Solo dichiara la minore copertura indipendente.

05

Chiudi

Riconcilia ogni done-when con le evidenze. Qualsiasi gate richiesto non soddisfatto impedisce il completamento.

Topologia Relay

Un solo writer. Un verifier fresco mette alla prova il risultato.

Esplora senza toccare

Ogni explorer riceve una domanda read-only limitata e restituisce evidenze file:riga. Nessuna modifica.

Un solo writer integra

Il root controlla i riscontri, protegge le modifiche dell'utente e possiede ogni patch.

Verifica a freddo

Un verifier fresco cerca regressioni, criteri mancanti, scope non sicuro e controesempi riproducibili.

Le affermazioni richiedono evidenze Gli agenti non votano sulla correttezza. Se i riscontri confliggono, Hyper torna ai file o esegue il più piccolo check discriminante.

Record di completamento

Cosa riporta una run completata.

Hyper dichiara completa una modifica solo quando passano tutti i gate richiesti. Il record finale include:

  • Route e motivazione — perché Solo o Relay era la topologia minima giustificata.
  • Risultato e superfici modificate — cosa è cambiato e cosa è rimasto fuori scope.
  • Evidenze legate al done — ogni criterio di accettazione associato a un risultato concreto.
  • Check e stato — ogni controllo richiesto e il relativo risultato.
  • Risultato della falsificazione — review root in Solo o verifier nuovo in Relay, con controesempi e incertezza residua.
  • Rollback e rischio residuo — come annullare la modifica e cosa non è stato verificato.
Esempio di prompt Usa $codex-council:codex-hyper per implementare <modifica> con la topologia di agenti minima giustificata e una verifica basata su evidenze.
Invocazione diretta o handoff da Mind Invoca Hyper direttamente per una modifica autorizzata su quello scope esatto. Mind completa prima il preflight di esecuzione e può passare solo uno scope approvato e invariato dopo un verdetto build senza blocker e un'autorizzazione implementativa valida. Ogni handoff da Mind entra in Relay; nelle run dirette Hyper sceglie Solo o Relay. Hyper gestisce modifiche, check e falsificazione. Un verdetto Council non equivale mai al permesso di scrivere.