| name | kernel-verify |
| description | Verifica se una compressione/proiezione del contesto ha preservato la risposta (answer-invariance A(x) = A(pi(x))). Usa la sessione corrente per rispondere e giudicare — nessuna chiave API, nessun costo extra oltre l'abbonamento. |
| disable-model-invocation | false |
| effort | medium |
kernel-verify — answer-invariance in-sessione (zero chiavi)
Serve a rispondere a una sola domanda: la versione compressa/proiettata del
contesto porta alla stessa risposta di quella completa? Cioe' A(x) = A(pi(x)).
Questo controllo non usa API ne' chiavi: lo esegui tu, Claude, dentro la
sessione — quindi pesa solo sull'abbonamento gia' attivo.
Input
L'utente ti fornisce (o indica dove trovarli):
- un task/domanda
Q;
- il contesto completo
x;
- il contesto ridotto
pi(x) (output di compress.py, dello slicer, o
di un proiettore span(Q)).
Procedura (falla in silenzio, poi riporta solo il verdetto)
- Rispondi a
Q usando solo x. Chiama questa A(x).
- Rispondi a
Q usando solo pi(x). Chiama questa A(pi(x)).
Trattale come due contesti separati: non lasciare che x "riempia i buchi"
di pi(x).
- Confronta
A(x) e A(pi(x)) nel merito (stessa conclusione, stessi
fatti rilevanti). Ignora differenze di forma, lunghezza o parole.
Output
Riporta in modo compatto:
- INVARIANTE: si/no
- se no: quale informazione presente in
x e' andata persa in pi(x) e
ha cambiato la risposta (indica l'unita'/riga mancante).
- una riga di verdetto (es. "stessa risposta: 30s di timeout" oppure
"persa: il limite upload del Pro, ora la risposta e' incompleta").
A cosa serve
E' il gate che trasforma la compressione euristica (conservativa, non
provabile) in una misura verificata per quel task. Usalo per:
- tarare quanto puoi comprimere prima che l'invarianza si rompa (il "ginocchio"
della curva rate-distortion di
span_rd.py);
- validare a campione l'output del compressore su casi delicati.
Nota: lo slicer del codice (kernel-slice) e' gia' answer-preserving per
costruzione — su quello questo controllo e' ridondante. Serve soprattutto sul
testo/documenti, dove la proiezione e' empirica.
