菜单
T3 della pipeline kernel: dall'output dello slicer estrae la CARTA DEL TASK — i vincoli che il fix deve rispettare, ognuno con citazione file:riga. Converte massa di codice in proposizioni verificabili. Usala dopo kernel-repo-slice e prima di scrivere il fix.
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
T2 della pipeline kernel: proietta un intero repository sul working set rilevante per un bug (P_Q a livello repo). Usalo PRIMA di esplorare un repo grande quando hai un sintomo concreto: stack trace, messaggio d'errore, file indiziati. Output: manifest ordinato con motivazioni + esclusioni recuperabili (page fault).
Operazioni e diagnostica del plugin context-kernel a linguaggio naturale, senza dover digitare slash command. Usala quando l'utente chiede — con parole sue — lo stato o la salute del kernel, quanti token ha risparmiato, un health-check (doctor), di giudicare i campioni A/B (answer-invariance), di recuperare un output parcheggiato/eliso (recall), la carta del task attiva, uno smoke test della compressione, o i tassi/prior appresi (tune). Esempi: "come va il context-kernel", "quanto ho risparmiato", "fai il doctor del kernel", "controlla che il plugin sia a posto", "giudica gli A/B", "recupera quell'output parcheggiato", "che carta del task ho attiva". Instrada verso lo script giusto; le attuazioni che SCRIVONO stato restano sempre esplicite.
Estrae la fetta minimale di un file Python o Go rilevante per un simbolo (funzione/classe/tipo), scartando tutto cio' che non puo' influenzarne il comportamento. Usalo prima di leggere per intero un file grande quando ti interessa solo un simbolo specifico.
Orchestrazione completa della pipeline kernel su un bug: T1 compressione (hook, ambientale) -> T2 repo slice -> T3 carta del task -> fix -> T4 verifica. Usala per bug non banali in repo medio-grandi; per bug piccoli usa direttamente kernel-repo-slice o niente.
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.
| name | kernel-invariants |
| description | T3 della pipeline kernel: dall'output dello slicer estrae la CARTA DEL TASK — i vincoli che il fix deve rispettare, ognuno con citazione file:riga. Converte massa di codice in proposizioni verificabili. Usala dopo kernel-repo-slice e prima di scrivere il fix. |
Input: il manifest di kernel-repo-slice (o una lista di file) + il task Q. Output: la carta del task — poche proposizioni citabili che il fix deve rispettare. E' lossy per scelta: converte codice in vincoli. La regola che rende l'operazione verificabile: ogni vincolo cita la riga da cui viene.
kernel_slice (MCP) sul simbolo rilevante
invece di leggere tutto.api.py:12 si aspetta che connect() sollevi ConnectionError, non ritorni None)db.py:30: pool inizializzato prima di connect — mai None dopo setup())test_db.py:8: retry esattamente 3 volte prima di propagare)# carta del task
Q: <il bug, una riga>
## vincoli
1. [contratto] <proposizione> (file.py:riga)
2. [invariante] <proposizione> (file.py:riga)
3. [comportamento] <proposizione> (test_x.py:riga)
## percorso del sintomo
<errore> nasce in <file:riga>, raggiunto da <catena breve>
## fuori slice ma sospetti (page fault suggeriti)
- <file/config> perche' <motivo> (se nessuno: "nessuno")
python3 "${CLAUDE_PLUGIN_ROOT}/hooks/charter.py" save --repo <repo_root> <<'CK_EOF'
<la carta, esattamente come prodotta al punto 3>
CK_EOF