feat(reasoning): 9o motor — Analise de Ressurgencia (Ecalle). Alien Calculus, Borel-Laplace, sintese efetiva. Fonte: Fauvet arXiv:2007.09708

Author: marce

skills/reasoning/resurgence-analysis/SKILL.md

@@ -0,0 +1,44 @@
+---
+name: resurgence-analysis
+description: "Raciocinio por ressurgência — analisa fenomenos complexos atraves de suas singularidades, series divergentes e reconstrucao global via Borel-Laplace. Baseado na teoria de Jean Ecalle (alien calculus)."
+category: reasoning
+engine: "Analise de Ressurgencia (Ecalle)"
+reference: "FAUVET, F. Ecalle's paralogarithmic resurgence monomials and effective synthesis. arXiv:2007.09708, 2020."
+applications: ["Sistemas Dinamicos", "Fisica Teorica", "Teoria Quântica de Campos", "Classificacao de Singularidades"]
+---
+
+# Analise de Ressurgencia (Ecalle) — Raciocinio por Singularidades
+
+## Origem Teorica
+
+Jean Ecalle desenvolveu o "calculo alienigena" (alien calculus) ha mais de 40 anos
+para classificar singularidades de sistemas dinamicos com dados analiticos.
+A Teoria da Ressurgencia trata series divergentes que, quando expressas na
+variavel adequada, podem ser sistematicamente tratadas pelo formalismo de
+somação de Borel-Laplace.
+
+FAUVET, F. arXiv:2007.09708v1 [math-ph], 2020.
+
+## Como Funciona
+
+1. **Identificar singularidades**: Localizar os pontos onde a descricao convencional diverge
+2. **Analisar o fenomeno de ressurgência**: As transformadas de Borel exibem
+   propriedades de "auto-reproducao" em seus pontos singulares
+3. **Aplicar operadores alienigenas**: Caracterizar o comportamento resurgente
+4. **Resolver o problema de sintese**: Reconstruir o objeto analitico global a partir
+   de seus "moduli" (invariantes) locais
+
+## Aplicacoes
+
+- Sistemas Dinamicos Complexos (classificacao de saddle-nodes)
+- Mecanica Quantica e Teoria Quantica de Campos (series perturbativas)
+- Wall-crossing e geometria enumerativa
+- Reconstrucao de objetos globais a partir de dados locais (sintese efetiva)
+
+## Integracao com o Ecossistema
+
+Este e o 9o motor de raciocinio do OpenCode Ecosystem, complementando:
+- Z3 (prova formal), SymPy (matematica simbolica), miniKanren (logica)
+- Critical (falacias), Ascensão Dialetica (Davidov), Teoria da Atividade
+- Generalizacao Substantiva, Analise Genetico-Estrutural (Vygotsky)
+- + 10 estrategias de Teoria dos Jogos (Nash, Shapley, Harsanyi, Axelrod)