Documentation

From a first run to CI, the SDKs and the theory behind the anomaly classes.

1. Getting StartedQuickstart Guide & Core ArchitectureComplete guide to installing, configuring, and executing your first deterministic database race condition stress test with zero CGO dependencies.
2. SpecificationDeclarative Language SpecificationExhaustive syntax reference for chaos.yaml: transaction definitions, dynamic expressions, variable bindings, and invariant assertions.
3. InterfaceCLI Manual, Subcommands & FlagsComprehensive manual for the chaossql command-line interface, detailed options, exit codes, and operational flags.
4. VisualizationInteractive Trace Visualizer (chaossql ui)Embedded HTTP visualizer with microsecond-resolution Gantt swimlanes, interactive Adya dependency graphs, and statement inspector.
5. CI/CD & SecurityCI/CD, SARIF 2.1.0 & GitHub ActionsAutomated pipeline integration with GitHub Code Scanning, OASIS SARIF 2.1.0 output, JUnit XML, and OpenTelemetry OTLP tracing.
6. EnginesSupported Database Engines & DriversDeep dive into pure-Go SQLite, PostgreSQL pgx connection pooling, and MySQL/MariaDB isolation quirks and gap locks.
7. SDKGo Developer Testing SDK (chaostest)Programmatic API in pkg/chaostest for embedding deterministic isolation fuzzing directly into standard go test suites.
8. TheoryFormal Theory & Mathematical FoundationMathematical foundations of concurrency fuzzing: Bernstein conditions, Adya CSR theorems, Burckhardt PCT probability bounds, and Zeller delta-debugging.