docs(readme): terminar sprint 4

Author: BeyondMagic

docs/sprints/4.md

@@ -0,0 +1,168 @@
+## Sprint 4 (D51–D60) — Polimento, empacote e entrega
+
+### Otimizações simples (constant folding, dead‑code leve)
+
+#### Eliminação de subexpressão comum
+
+- [ ] responsável: @beyondmagic
+
+```c
+int main() {
+	int a = 1 + 2;
+	int b = 1 + 2;
+	printf("%d\n", a + b);
+}
+```
+
+```lua
+os.exit((function(args)
+	local tmp = 1 + 2;
+	local a = tmp;
+	local b = tmp;
+	printf("%d\n", a + b);
+	return 0
+end)(arg))
+```
+
+#### Copy Propagation
+
+- [ ] responsável: @Sophiassilva 
+
+```c
+int main() {
+	int a = 1;
+	int b = a;
+	printf("%d\n", b);
+}
+```
+
+```lua
+os.exit((function(args)
+	local a = 1;
+	printf("%d\n", a);
+	return 0
+end)(arg))
+```
+
+#### Strength reduction (multiplicação por 2 vira soma)
+
+- [ ] responsável: @Liviarodrigues1 
+
+```c
+for (int i = 0; i < 10; i = i + 2) {
+	printf("%d\n", i * 2);
+}
+```
+
+```lua
+for i = 0, 9, 2 do
+	printf("%d\n", i + i)
+end
+```
+
+#### Eliminar variável não usada
+
+- [ ] responsável: @marcomarquesdc 
+
+```c
+int main() {
+	int a = 1;
+}
+```
+
+```lua
+os.exit((function(args)
+	local a = 1;
+	return 0
+end)(arg))
+```
+
+#### Eliminar código não alcançável
+
+- [ ] responsável: @andrelopesdesousa 
+
+```c
+int F() {
+	printf("1\n");
+	return 1;
+	printf("2\n");
+}
+```
+
+```lua
+function F()
+	printf("1\n")
+	return 1
+end
+```
+
+
+#### Condição falsa em tempo de compilação
+
+- [ ] responsável: @andrelopesdesousa 
+
+```c
+printf("1\n");
+if (0) {
+	printf("2\n");
+}
+printf("3\n");
+```
+
+```lua
+printf("1\n");
+printf("3\n");
+```
+
+#### Condição verdadeira em tempo de compilação
+
+- [ ] responsável: @andrelopesdesousa 
+
+```c
+printf("1\n");
+if (1) {
+	printf("2\n");
+}
+printf("3\n");
+```
+
+```lua
+printf("1\n");
+printf("2\n");
+printf("3\n");
+```
+
+### Testes adicionais de integração e cobertura de todas as funcionalidades implementadas e funcionalidades que não serão implementadas
+
+- [ ] responsável: @marcomarquesdc 
+
+### Documentação final (uso, limites, exemplos) 
+
+- [ ] responsável: @Liviarodrigues1 
+
+### Release binária
+
+- [ ] responsável: @BeyondMagic 
+
+### Estudar e preparar apresentação/entrevista e roteiro de demo
+
+- [ ] responsável: @andrelopesdesousa 
+- [ ] responsável: @BeyondMagic 
+- [ ] responsável: @Liviarodrigues1 
+- [ ] responsável: @marcomarquesdc 
+- [ ] responsável: @Sophiassilva 
+
+## Critérios de pronto por fase
+- Léxico: todos tokens do MVP reconhecidos; sem vazamentos de memória.
+- Sintático: AST correta para expressões e comandos principais.
+- Semântico: checagens básicas de tipos/escopos; mensagens com linha/coluna.
+- Geração Lua: programas do MVP executam em Lua com mesmo resultado.
+- Qualidade: testes cobrindo happy path + erros; build reprodutível.
+- Documentação: instruções claras de uso, exemplos, limitações.
+
+## Referências rápidas
+- Flex: padrões, yytext, yylex, yylval.
+- Bison: gramática, precedência, $$/$1, yyparse, yyerror.
+- Lua 5.x: escopo local, funções, tabelas, operadores, print.
+
+Observação: atualize os checkboxes conforme avança  e preencha os responsáveis inline.