context-kernel

{
  "name": "context-kernel",
  "description": "Pipeline P_Q di proiezione del contesto: T1 compressione signal-preserving degli output dei tool (canary end-to-end con auto-degrade: dopo N violazioni updatedToolOutput nella sessione, raw pass-through; auto-heal su evidenza dal transcript: auto-ack dei failure transitori dopo M verified consecutive e un-degrade a sonda — 1 output comprimibile ogni K ripassa dal flusso normale, M sonde verificate consecutive tolgono il degrado, mai a tempo, code-aware sui sorgenti, JSON-aware sugli output MCP, page fault su elisione con recall mirato e recall storage di sessione (recall --search: grep su tutti gli output parcheggiati), escape per-comando # ck:raw), T2 slice deterministico del repository dal sintomo (budget automatico, AMBIENTALE: traceback nel prompt o test falliti nell'output Bash -> manifest iniettato; cambio-task dichiarato col diff dei manifest; resolver supervisionato dei riferimenti dinamici: import_module/__import__ con argomento letterale -> seed col call site, il resto punto cieco dichiarato, mai indovinato; slice formale a simbolo su budget insoddisfacibile: Python esatto via AST, Go conservativo via tokenizer con fallback al file intero su split infido; oracle di sufficienza deterministico: la proiezione e' sufficiente sse contiene la chiusura answer-preserving dei seed, altrimenti i file droppati dal budget sono dichiarati page fault attesi; grafo generico promosso a preciso dall'indice ctags se il repo lo shippa: archi simbolo->definitore univoco, zero dipendenze, ambiguo saltato; prior da accoppiamento evolutivo git: i file che co-cambiano coi seed nella storia diventano seed additivi, segnale cold-start ortogonale a T5; prior di copertura: consuma .coverage/coverage.xml/lcov.info se presenti (stdlib, zero dip) e aggiunge come seed i file ESEGUITI fuori dalla chiusura statica = reachability dinamica che il grafo perde, troppi -> dichiarati non seminati), T3 carta del task con vincoli citati — ATTIVA: gua