docs: alinha PROJECT_SPEC.md com estado real do git

Fase 5.1 e 5.2 agora commitadas, remove divergencia entre SPEC e git log

PROJECT_SPEC.md

@@ -4,7 +4,7 @@ INTEIRO antes de iniciar qualquer tarefa, e revisitar a seção de Guardrails
 e Lições Aprendidas durante a execução. Se algo aqui divergir do código
 real, pare e reporte — não assuma, não invente.
 
-Última atualização: 2026-07-23 — pós Fase 5 (fallback automático de providers)
+Última atualização: 2026-07-23 — pós Fase 5.2 (compactação automática de sessão)
 
 ---
 
@@ -81,10 +81,24 @@ test_robustez_fase1b_2_1.py, test_agente_real_pexpect.py, test_tokens.py
 - [x] Fase 5 — Provider padrão + fallback automático por rate limit
       (default openrouter, ProviderRateLimitError, chat_completion_with_fallback,
       ordem configurável em ~/.thcrc, thc fora da cadeia automática)
+- [x] Fase 5.1 — Modelos free por padrão + resolução configurável de modelo
+      (resolve_default_model() em BaseProvider, model_strategy ["quality"|"speed"]
+      em ~/.thcrc default "speed", model_fallback_within_provider em ~/.thcrc default
+      True, listas *_MODELS de cada provider contêm SOMENTE modelos free, comando
+      `thc models` lista free de todos os providers ou de um específico via --provider)
+- [x] Fase 5.2 — Compactação automática de sessão (should_compact, 
+      generate_session_report, build_compacted_messages em core/compaction.py;
+      gatilho duplo tokens/rounds configurável via config["compaction"] em
+      ~/.thcrc; integrado em run_agent() e no REPL de chat.py; sessão compactada
+      persiste via save_session)
 - [ ] Fase 6 — MCP (MCPTool, config em ~/.thcrc)
 - [ ] Fase 7 — Sub-agentes/orquestração (AgentTool, TaskCreateTool)
 - [ ] Fase 8 — Integrações de sistema (browser, LSP, git worktree)
 - [ ] Fase 9 — Empacotamento (pip install thc-cli, testes, CI)
+- [ ] Fase 10 — Suporte a providers pagos (extensibilidade): hoje o sistema assume por
+      design que todo modelo listado é free. Adicionar suporte a providers/modelos
+      pagos é trabalho futuro explícito, fora do escopo desta rodada — não implementar
+      nada disso agora, só deixar registrado.
 
 ## 5. Lições aprendidas (atualizado pelo Claude a cada rodada)
 
@@ -97,6 +111,14 @@ test_robustez_fase1b_2_1.py, test_agente_real_pexpect.py, test_tokens.py
   rate limit (skip), não o cenário original de resposta malformada em bloco de
   código. O parser de fallback ainda não foi validado contra esse formato
   específico.
+- Fase 5.1: quando `--model` não é passado, `model` ficava `None` e era enviado
+  cru no payload para a API do provider. Isso causou 400 Bad Request no Groq
+  durante validação real. A causa raiz não era o provider, era a ausência de
+  resolução de modelo default no lado da CLI antes de chamar `chat_completion()`.
+- Fase 5.2: o `max_tokens=6000` default para compaction é uma estimativa
+  conservadora, não confirmada contra os limites reais de contexto de cada modelo
+  free. Trabalho futuro é validar/calibrar esse valor por provider e modelo, em
+  vez de usar um teto único global.
 
 ## 6. Ethos compartilhado (injetado no system prompt de todo provider)