Documentação
Da primeira execução ao CI, aos SDKs e à teoria por trás das classes de anomalia.
- ComeçandoGuia de Início Rápido & Primeiros PassosAprenda os fundamentos do ChaosSQL, como instalar a ferramenta com zero dependências externas (Pure Go, CGO_ENABLED=0) e executar seu primeiro teste de concorrência com detecção de anomalia e redução do trace.
- EspecificaçãoEspecificação da Linguagem Declarativa (chaos.yaml DSL)Referência exaustiva da DSL declarativa YAML: taxonomia completa de campos, sintaxe de captura léxica, interpolação de expressões dinâmicas, predicados de guarda condicional, asserções de invariantes e injeção de falhas controladas.
- InterfaceManual Completo da CLI, Subcomandos & FlagsGuia definitivo de uso da interface de linha de comando do ChaosSQL: subcomandos, parâmetros posicionais, códigos de saída e a tabela de flags de execução e exportação.
- VisualizaçãoVisualizador Interativo de Traces (chaossql ui)Arquitetura e recursos do visualizador web interativo embutido: navegação pelo Gantt swimlane em microssegundos, inspeção visual do grafo de conflitos de Adya (arestas rw, ww, wr), comparação de delta-debugging e inspetor de queries SQL.
- CI/CD & SegurançaIntegração com CI/CD, SARIF 2.1.0 & GitHub ActionsAutomatize o fuzzer em pipelines de CI/CD: guia completo de uso do action.yml, exportação OASIS SARIF v2.1.0 para a aba Security/Code Scanning do GitHub, catálogo de regras formais, relatórios JUnit XML e traces OpenTelemetry (OTLP JSON).
- MotoresMotores Suportados & Arquitetura de DriversGuia de configuração e particularidades técnicas dos bancos de dados suportados: SQLite puro em Go (CGO=0 com WAL mode), PostgreSQL (pgx, READ COMMITTED vs SSI) e MySQL/MariaDB (InnoDB Repeatable Read e gap locks).
- SDKGo Developer Testing SDK (pkg/chaostest)Como integrar o ChaosSQL diretamente em suítes de testes unitários do Go (*testing.T): referência completa da API fluente do builder chaostest.New(), asserções de invariantes e síntese automática de repro_test.go.
- TeoriaTeoria Formal & Fundamentação MatemáticaO embasamento científico rigoroso do ChaosSQL: Condições de Conflito de Bernstein, Teorema da Serializabilidade por Conflito (CSR), agendamento probabilístico PCT com Teorema de Burckhardt, minimização com Zeller ddmin e verificação de linearizabilidade estilo Elle.