docs(readme): terminar sprint 3

Author: BeyondMagic

README.md

@@ -14,23 +14,30 @@ O que não será suportado:
 
 ```
 .
-├── lexer/        # regras léxicas (lexer.l)
-├── parser/       # gramática e ações (parser.y)
-├── src/          # main.c, AST, tabela de símbolos, gerador Lua
+├── lexer/       # regras léxicas (lexer.l)
+├── parser/      # gramática e ações (parser.y)
+├── src/         # main.c, AST, tabela de símbolos, gerador Lua
 ├── tests/
-│   ├── smoke/    # testes rápidos de tradução (pares C/Lua)
-│   └── semantic/ # casos PASS/FAIL com golden files
+│   ├── pass/    # casos que devem passar
+│   └── fail/    # casos que precisam falhar
 └── Makefile
 ```
 
-Ambiente rápido (Linux):
-```nu
+## Ambiente de Desenvolvimento
+
+Ubuntu Linux:
+```bash
 sudo apt update
 sudo apt install -y flex bison build-essential git
 ```
 
+Arch Linux:
+```bash
+sudo pacman -Syu flex bison base-devel git
+```
+
 Build local (exemplo mínimo):
-```nu
+```bash
 make           # gera o binário ./c2lua a partir das fontes
 ./c2lua tests/smoke/expressions.c
 ```
@@ -40,19 +47,17 @@ make           # gera o binário ./c2lua a partir das fontes
 - [1ª sprint](./docs/sprints/1.md);
 - [2ª sprint](./docs/sprints/2.md);
 - [3ª sprint](./docs/sprints/3.md);
-- 4ª sprint;
+- [4ª sprint](./docs/sprints/4.md);
 
 # Testes
 
 A pasta `tests/` está organizada em:
-- `tests/smoke/`: pares simples C/Lua utilizados pelos testes rápidos do Makefile;
 - `tests/semantic/pass`: casos que devem gerar Lua válido e executar com sucesso;
 - `tests/semantic/fail`: casos que precisam falhar na análise semântica (arquivos `.err` com a mensagem esperada);
-- `tests/semantic/golden/fail`: mensagens de erro normalizadas utilizadas como golden files.
 
 Execute as suítes pelo Makefile:
 
-```nu
+```bash
 make test            # verifica os smoke tests (tradução direta C -> Lua)
 make semantic-test   # valida casos PASS/FAIL com comparação de golden files
 ```

docs/sprints/3.md

@@ -2,7 +2,7 @@
 
 ### Núcleo semântico unificado: definir AST (expr/stmt/decl/fun), tabela de símbolos com escopos, checagem/conversão int↔float e mensagens de erro com linha/coluna
 
-  - [ ] responsáveis: @Sophiassilva
+  - [x] responsáveis: @Sophiassilva
   - **Entregáveis obrigatórios:**
       - `src/ast.h` / `src/ast.c` com a hierarquia de nós (expressões, comandos, declarações, funções) e utilitários de criação/destruição.
       - `src/symbol_table.h` / `src/symbol_table.c` com pilha de escopos (funções para `enter_scope`, `leave_scope`, `insert_symbol`, `lookup`).
@@ -27,7 +27,7 @@
 
 ### Suporte sintático essencial: declarações, atribuições, blocos, if/else, while/for, curto-circuito lógico e comparações (==, \!=, \<, \<=, \>, \>=)
 
-  - [ ] responsáveis: @marcomarquesdc
+  - [x] responsáveis: @marcomarquesdc
   - **Entregáveis obrigatórios:**
     - Regras no `src/parser.y` cobrindo:
     - Declaração de variáveis (com inicialização opcional) e de vetores 1D.
@@ -57,9 +57,8 @@
 
 ### Análise Semântica: missão Lua abrangente: variáveis locais, expressões, operadores lógicos, arrays 1D como tabelas, mapeamento de printf/puts, helpers de runtime quando necessário
 
-  - [ ] responsáveis: @Liviarodrigues1
+  - [x] responsáveis: @Liviarodrigues1
   - **Entregáveis obrigatórios:**
-      - Módulo `src/semantics.c` com passagens sobre a AST para checar tipos, resolver identificadores e anotar cada nó com tipo final.
       - Implementação das regras de promoção (int→float, char→int, bool→int quando permitido) e erros quando a combinação é inválida (`int + string`, `if` com expressão não booleana, etc.).
       - Representação de arrays como vetores Lua (`{}`) incluindo deslocamento +1 no índice.
       - Funções helper em `runtime/printf.lua` ou similar para cobrir `printf`/`puts` e conversões básicas.
@@ -102,7 +101,7 @@
 
 ### Funções completas: traduzir assinaturas e return de C para function Lua, preservar escopos e chamadas
 
-  - [ ] responsáveis: @BeyondMagic
+  - [x] responsáveis: @BeyondMagic
   - **Entregáveis obrigatórios:**
     - Tradução de declarações de função para AST (`AstFunction`) com lista de parâmetros, tipo de retorno e bloco corpo.
     - Geração Lua correspondente em `src/codegen_lua.c` (novo arquivo) ou módulo existente, incluindo:
@@ -140,7 +139,7 @@
 
 ### Garantia de qualidade: testes de semântica (erros de escopo/tipo), golden files de erro, pipeline end-to-end (C → Lua → execução), linemap/diagnóstico e atualização de docs/demo
 
-  - [ ] responsáveis: @andrelopesdesousa
+  - [x] responsáveis: @andrelopesdesousa
   - **Entregáveis obrigatórios:**
       - Estrutura de testes automatizados:
         - `tests/semantic/pass/*.c` + `.lua` esperados.