메뉴
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 페이지를 검토하고 설치를 진행할 수 있습니다.
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.
SOC 직업 분류 기준
| 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